x − 23 = 613