Ja, das ist richtig gut.
Die Schlussfolgering
3y-5 muss Teiler von -9 sein
kann man sogar schon eine Zeile vorher:
x(3y-5) = -9
gewinnen und dort ergänzen, dass auch x ein Teiler von -9 sein muss.
Das führt auf die Möglichkeiten
x=1 und 3y-5=-9 (für y nicht erfüllbar)
x=-1 und 3y-5=9 (für y nicht erfüllbar)
x=3 und 3y-5=-3 (für y nicht erfüllbar)
x=-3 und 3y-5=3 (für y nicht erfüllbar)
x=9 und 3y-5=-1 (für y nicht erfüllbar)
x=-9 und 3y-5=1 gilt für y=2.