Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

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

⇒ algebra.equations.linear.remove-div, factor=6

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

⇒ algebra.equations.linear.distr-times

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

⇒ algebra.equations.linear.var-left, term=(-2)*x

5*x-36 < -6

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

5*x < 30

⇒ algebra.equations.coverup.times-positive

x < 6