9-x=2