Является ли это формулой прямой про порциональности y=-12x.
Да.Конечно.С коэффициентом k=-12. Прямопропорцианален если y=kx Обратнопропорцианален если y=k/x