Is x1 a factor of P(x)=x5673x400+x9+2?