6 : 12/17

Решение:

Чтобы разделить целое число на дробь, нужно это число умножить на обратную дробь.

\[ 6 : \frac{12}{17} = 6 \cdot \frac{17}{12} = \frac{6 \cdot 17}{12} = \frac{102}{12} = \frac{17}{2} = 8.5 \]

Ответ: 8.5