The equality is .

Apply subtraction property of equality: If a = b then .

(Subtract 4 from each side)

       (Apply additive inverse property:  )

             (Apply additive identity property: )

                  (Subtract: )

Apply addition property of equality: If a = b then a + c = b + c.

      (Add y to each side)

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

               (Apply additive inverse property: )

                     (Apply additive identity property: )

                           (Add: )

Apply division property of equality: If a = b then .

                      (Divide each side by 6)

                           (Cancel common terms)

                                (Divide: )

                      (Multiply each side by negative one)

                               (Product of two same signs is positive)

Check:

To check, substitute , in ,

(Substitute )

                   (Multiply: )

                               (Add: )

The equality is true.

The equality solution is .