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