>350
(y-1)=3のときxが無理数のとき(y-1)=3以外でxが有理数になる場合が判定できません

xが無理数のときは、考える必要はありません。
(y,xは有理数)のときの成否のみでよいです。