5x + 2 <= 17