Find notebookcheck and see if they did benchmarks. We know the CPU won't factor much into the gaming speed. Why?
"Our tests demonstrate fairly little difference between a $225 LGA 1155 Core i5-2500K and a $1000 LGA 2011 Core i7-3960X, even when three-way graphics card configurations are involved. It turns out that memory bandwidth and PCIe throughput don't hold back the performance of existing Sandy Bridge-based machines. "
Which would be better for gaming?
Lenovo IBM ThinkPad Edge E530 i7-3612QM Quad Core 8GB 750GB Nvidia
Samsung NP700Z5A S07AU i7 2.2Ghz 8GB DDR3 1GB Graphic 1TB HDD
HP Laptop i7 Pavilion DV6-3042TX 8gb ddr3 ATI MOBILITY RADEON HD 5650