＞t=4はあるとわかっているから、t=2、t=3 あたりの解の有無を判定してもらえませんか。
t=1、t=4ときていますから、t=7でもいいですよ。

参考にはなりますが、同値式ではないので、あまり意味はありません。