Thanks for these ideas. I will dig in.
I used the code
listed here to solve your particular example. It returns None, so probably there isn't an x that solves the equation when y is 0.
As N is odd and all points are duals (x,y) and (x,-y), there is at least one point (x,0), so you must get one.