Bob thinks of a number. He subtracts 5 from the number and then adds 7 to the
result. The final result is -20. What is the original number?