User blog comment:Vel!/Call for math facts/@comment-1605058-20140730102014

Could you also replace the one about polynomial evaluating to 0 with this, simplier one?

Determining if a polynomial equation has integer solution is undecidable.