Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

-(x-12)/2-1/3*x > (x+3)/3-1/3*x

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

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

-5*x > -30

⇒ algebra.inequalities.flip-sign

5*x < 30

⇒ algebra.equations.coverup.times-positive

x < 6