The expression is
.
Apply subtraction property of inequality: Subtract 9 from each side.
\
(Apply commutative property of addition:
)
(Apply additive inverse property:
)
(Apply additive identity property:
)
(Subtract:
)
CHECK:
\The inequality is
, substitute
.

(Product of two different signs is negative)
(Subtract:
)
The solution is true.
The solution is
.