solve the equation x + 5 = 12