Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
-5*x+36 > 2*(x+3)-2*x
⇒ algebra.equations.linear.distr-times-5*x+36 > 2*x+6-2*x
⇒ algebra.equations.linear.merge-5*x+36 > 6
⇒ algebra.equations.coverup.onevar.plus-5*x > -30
⇒ algebra.inequalities.flip-sign5*x < 30
⇒ algebra.equations.coverup.times-positivex < 6