How do you solve #x - 7 > 12 #?