Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

-x < -8

⇒ algebra.inequalities.flip-sign

x > 8