How do you solve #c+7<=3#?