Solve for x x+7=12