CPU vs Screen Resolution for game dev?

I wanna buy a new laptop(budget under 1000$) and right now I'm totally confused. At this price range, I'm stuck between two models.

Lenovo IdeaPad Z5070 {
CPU => core i7 4510U, 2.00GHz up to 3.10 GHz, 2 cores, Haswell;
RAM => 8GB DDR3;
GPU => NVIDIA GeForce 840M 4GB;
Screen => 15.6" Full HD 1080p
};

Lenovo ThinkPad Edge E531 {
CPU => Core i7 3632QM, 2.20GHz up to 3.20 GH, 4 cores, Ivy Bridge;
RAM => 8GB DDR3;
GPU => NVIDIA GeForce GT 740M 2GB;
Screen => 15.6" 1366x768;
};
Right now I'm just developing websites, but in a near future there's a great possibility that I will start android game development(using unity or any other engine).

Now the question is considering the better GPU and CPU of E531, does the full hd resolution of z5070 outweigh the GPU and CPU power of E531 for me?

If I didn't wanna start game dev, I'd definitely buy E531, since z5070 is even more expensive.

Note 1: Haswell(4510U) processors perform 2% - 10% better than Ivy Bridge(3632QM) at equal frequencies but still 3632QM has got 4 cores.

Note 2: GeForce GT 740M is only SLIGHTLY better than 840M(Or at least that's what I think).

As far as I know NVIDIA GeForce 840M supports 2Gb memory maximum.
Also the screen resolution is not the thing you should always be chasing, but hardware is.
You can always buy the big 30 inch monitor, connect it with your laptop and work that way.
I think you should purchase Edge E531.
Some info about its GPU http://www.geforce.com/...ifications

For Android development, full HD is irrelevant. CPU power and RAM is more important.
I would go for the E531

According to CPUBoss, it shows the 3632QM is slightly faster than 4510U, even though it's slightly older, rated 7.0 vs. 6.7 respectively. But the 4510U has much better power consumption, 35W vs. 15W. The performance differential doesn't seem to be too big, but the power consumption is definitely huge.

Intel Core i7 3632QM vs 4510U
http://cpuboss.com/cpus/Intel-Core-i7-3632QM-vs-Intel-4510U

GPUBoss does rate the 740M slightly higher than the 840M, 6.1 vs. 6.0 respectively. But if you look at the individual benchmarks, the 840M has much higher synthetic benchmark scores, while the 740M has higher real-world benchmarks. They seem to have been designed to be the polar opposites of each other in terms of what performance they excel at.

GeForce GT 740M vs 840M
http://gpuboss.com/gpus/GeForce-GT-740M-vs-GeForce-840M

I'd be inclined to go with the first system, with the 4510U and 840M. But then you didn't mention the cost of each system, which would possibly change the equations.