Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
-12*x+3 > 2-x+1
⇒ algebra.equations.linear.merge-12*x+3 > 3-x
⇒ algebra.equations.linear.var-left, term=(-1)*x-11*x+3 > 3
⇒ algebra.equations.coverup.onevar.plus-11*x > 0
⇒ algebra.inequalities.flip-sign11*x < 0
⇒ algebra.equations.coverup.times-positivex < 0