Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
-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