Solve: x - 5 = 7