Solve for x 5-x=12