How do you solve #d+5<=7#?