Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

2*(x-1)-3*(x-2) > 6

⇒ algebra.equations.linear.distr-times

2*x-2-3*x+6 > 6

⇒ algebra.equations.linear.merge

-x+4 > 6

⇒ algebra.equations.coverup.onevar.plus

-x > 2

⇒ algebra.inequalities.flip-sign

x < -2