9 - x = (16 + x) - (7 + 2x)