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)