I changed it.
But I not sure, that test_N2 is correct
In Wester's paper
>>> solve(x**4 - x + 1 > 0)
True
>>> solve(x**4 - x + 1 > 1)
False