Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
12*x-3-x < -3
⇒ algebra.equations.linear.merge11*x-3 < -3
⇒ algebra.equations.coverup.onevar.minus-left11*x < 0
⇒ algebra.equations.coverup.times-positivex < 0
Description
solve a linear inequation