Solve for x x+5<=13