Пусть x - количество марок у Коли.
По условию, если увеличить количество марок на 25, а затем уменьшить полученную сумму втрое, получится 30. Это можно записать уравнением:
\[\frac{x + 25}{3} = 30\]
Решим уравнение:
1. Умножим обе части уравнения на 3:
\[x + 25 = 30 \times 3\]
\[x + 25 = 90\]
2. Вычтем 25 из обеих частей уравнения:
\[x = 90 - 25\]
\[x = 65\]
Таким образом, у Коли 65 марок.
Ответ: 65