Solve for x x-7=12