Originally Posted by
Drageuth
I would go with the Gateway NV55S04u, personally. It only weighs half a pound more than the HP ProBook 4525, and while it is the slightly more expensive of the three, it's a quad-core. A low-end quad-core, sure, but still better than a mid-grade dual-core (ProBook 4525) or what appears to be a single-core i3 (ProBook 4530).
If I had to narrow it down to any particular one, I would choose that one. If you're not quite as worried about being able to play games and whatnot on it and are pretty much only going to be using it for college and day-to-day Internet stuffs, then save yourself a few bucks and grab the Probook 4525.