The product of twice a number and 7 less than the number