The sum of twice a number and 5 is at most 15