Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
11+3*a > 15-5*a+5*a
⇒ algebra.equations.linear.merge11+3*a > 15
⇒ algebra.equations.coverup.onevar.plus3*a > 4
⇒ algebra.equations.coverup.times-positivea > 4/3
Description
solve a linear inequation