Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
11-2*a > 15-5*a
⇒ algebra.equations.linear.var-left, term=(-5)*a11+3*a > 15
⇒ algebra.equations.coverup.onevar.plus3*a > 4
⇒ algebra.equations.coverup.times-positivea > 4/3