How do you solve -x-1 < -9001?