Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

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

⇒ algebra.equations.linear.merge

-5*x+36 > 6

⇒ algebra.equations.coverup.onevar.plus

-5*x > -30

⇒ algebra.inequalities.flip-sign

5*x < 30

⇒ algebra.equations.coverup.times-positive

x < 6