The inequality is .

Apply subtraction property of inequality: Subtract 9 from each side.

(Apply commutative property of addition: a + b = b + a)

       (Apply additive inverse property: )

              (Apply additive identity property: )

                    (Subtract: )

Check:

To check, substitute a number less than or equal to in .

            (Substitute b = )

              (Subtract: )

The inequality is true.

The inequality solution set is .