Ответ:

Прибавим 10: \(2x\ge17\). Разделим на 2: \(x\ge\frac{17}{2}\).

Ответ: \(x\ge\frac{17}{2}\).