Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

4*x > -4

⇒ algebra.equations.coverup.times-positive

x > -1