Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
-2*x-5 < -1
⇒ algebra.equations.coverup.onevar.minus-left-2*x < 4
⇒ algebra.inequalities.flip-sign2*x > -4
⇒ algebra.equations.coverup.times-positivex > -2
Description
solve a linear inequation