Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
-3*(x-12)-2*x > 6
⇒ algebra.equations.linear.distr-times-3*x+36-2*x > 6
⇒ 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