Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

3*a > 4

⇒ algebra.equations.coverup.times-positive

a > 4/3