How do you solve d+5<=7?