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.plus

-5*x > -30

⇒ algebra.inequalities.flip-sign

5*x < 30

⇒ algebra.equations.coverup.times-positive

x < 6