Is x-1 a factor of P(x)=x^567-3x^400+x^9+2?