Является ли линейной функцией, заданной формулой y = 8 - 7x?

Да, это линейная функция, так как ее можно представить в виде y = kx + b.