Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
7/4*x+6 > 2
⇒ algebra.equations.linear.remove-div, factor=47*x+24 > 8
⇒ algebra.equations.coverup.onevar.plus7*x > -16
⇒ algebra.equations.coverup.times-positivex > -16/7