Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
5-2*a+6 > 15-5*a
⇒ algebra.equations.linear.merge11-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