the sum of a number and seven is 12​