Two times the sum of a number and 7