Lemma. If x∈Z, then every prime divisor of x2+1 is of the form 4k+1.
Proof of the lemma. Let p∣x2+1. So clearly gcd(x,p)=1. Then x2+1≡0(modp), x2≡−1(modp). Hence (x2)2p−1≡(−1)2p−1(modp) i.e. x2p−1≡(−1)2p−1(modp). From Fermat's theorem we get x2p−1≡1(modp). So 2p−1=2k i.e. p=4k+1. The lemma is proved.
Now the given equation is equivalent to
x2010+1=4y2009+2007y+4y2008+2007 i.e. x2010+1=(4y2008+2007)(y+1).
But 4y2008+2007=4y2008+2008−1 is of the form 4k−1 which implies that it must have a prime divisor of the form 4k−1. Hence (x1005)2+1 has a prime divisor of the form 4k−1 which contradicts the above lemma. So the equation doesn't have a solution in the set of integers.