4x - 9 = 23