Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

x-12 > -12

⇒ algebra.equations.coverup.onevar.minus-left

x > 0