88 - 6y = -1 Â Â Â substitution property (as 8 is substituted to replace x)
-6y = -89 Â Â Â Â Â subtraction property (88 is subtracted to the whole eqn)
y = 89/6 Â Â Â Â Â Â division property (-6 is the divisor)
89/6 = y       transitive property (exchange of places results to the same value)