The inequality is .

Apply substration property of inequality: Subtract 7 from each side.

        (Apply commutative property of addition: )

             (Apply additive inverse property: )

                   (Apply additive identity property: )

                           (Subtract: )

Graph the solution set on a number line.

Note: A dot means that this point is included in the solution set.

Check:

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

                    (Substitute )

                        (Add: )

The inequality is true.

The inequality solution is .