The sum of a number and 7 is -12​