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