The sum of 3 and c is less than or equal to -23.