12 - x = -17