Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
-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-sign5*x < 30
⇒ algebra.equations.coverup.times-positivex < 6