По определению, для делимости нацело целого числа А на целое число Б, необходимо существование такого целого числа С, что А = Б * С. С называют частным от деления, а Б делителем.
В нашем случае мы берём в качестве делителя 9, в качестве частного выражение

, которое будет целым, т.к. множество целых чисел замкнуто относительно действий сложения и умножения.
И, как вывод, мы получаем, что наше исходное выражение

делится на 9.
Это уравнение не может иметь отрицательных корней.
Докажем от противного. Действительно, пусть существует отрицательный корень

. Т.к. это корень уравнения, то

.
Теперь подставим корень в исходное уравнение:
Учитывая, что:
Получим, что:
Мы пришли к противоречию, следовательно, предположение о существовании отрицательного корня не верно. У уравнения не может быть отрицательных вещественных корней.