Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
-4*x+1 < 5
⇒ algebra.equations.coverup.onevar.plus-4*x < 4
⇒ algebra.inequalities.flip-sign4*x > -4
⇒ algebra.equations.coverup.times-positivex > -1
Description
solve a linear inequation