Решено вроде бы правильное, только как раз

будет называться свободной переменной, а выражающиеся через неё

и

- зависимыми.
Хотя всё относительно: можно было бы и

или

объявить свободной и выразить через неё остальные зависимые. Главное, что для любой системы
количество свободных переменных одинаково при любом раскладе. Оно определяет размерность пространства решений.