The inequality is

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

            (Commutative property of addition: )

                  (Additive inverse property: )

                  (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 7 and  less than or equal to 7 in

                          (Substitute ) 

                              (Add: )

The inequality is true.

The inequality solution is .