Solve for x x-12=9