Hay que "revivir" el problema, está padre. Solución completamente análoga (i.e. lo mismo) a una de mathlinks (para futuras referencias):
Como $4027$ es primo, entonces para cada $i\in\{1,2,3,\ldots\},$ $\mathbf{x}_i^{4026}\equiv 0\hspace{3pt}\text{ó}\hspace{3pt}1\pmod{4027},$ por lo que $\mathbf{x}_i^{2013}\equiv-1,0\hspace{3pt}\text{ó}\hspace{3pt}1\pmod{4027},$ que implica que $$\tag{1}\mathbf{x}_1^{2013}+\cdots+\mathbf{x}_{1006}^{2013}-\mathbf{y}_1^{2013}-\cdots-\mathbf{y}_{1006}^{2013}-2013\equiv j\pmod{4027},$$ donde $j\in\{2,3,4,\ldots,4026\}$ y como $j\not\equiv0\pmod{4027}$ para todo $j,$ entonces el lado izquierdo de la congruencia $(1)$ no puede ser cero y por lo tanto el número de soluciones (enteras) de la expresión original es $0.$
A ver si mañana puedo con el otro de teoría de números (pero sin trampa como éste).