Является ли прямой пропорциональностью функция, заданная формулой: y = -5x?

Да, функция $y = -5x$ является примером прямой пропорциональности.

Прямая пропорциональность — это зависимость, при которой величины изменяются в одинаковой пропорции. То есть, если одна величина увеличивается или уменьшается, то другая тоже изменяется в той же пропорции, но с постоянным коэффициентом. В математическом виде это выражается формулой $y = kx$, где $k$ — это постоянная величина, называемая коэффициентом пропорциональности.

В функции $y = -5x$ мы видим, что коэффициент пропорциональности равен $-5$. Это означает, что $y$ изменяется на 5 единиц в противоположном направлении (отрицательное значение коэффициента) относительно изменения $x$. То есть, для каждого увеличения $x$ на 1, $y$ будет уменьшаться на 5 единиц.

Так что эта функция действительно описывает прямую пропорциональность, но с отрицательным коэффициентом.