Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

3*(x-12)+2*x < -2*(x+3)+2*x

⇒ algebra.equations.linear.distr-times

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

⇒ algebra.equations.linear.merge

5*x-36 < -6

⇒ algebra.equations.coverup.onevar.minus-left

5*x < 30

⇒ algebra.equations.coverup.times-positive

x < 6