How do you solve #y + 12 = 7#?