which one to choose?, entry level gaming laptop

i'm undecided which one to get my son.
he wants to use it for casual gaming and also for his college.
pls share your thoughts.
thks.

entry level gaming laptop.

dell inspiron 15 7577
i5-7300 w gtx 1050 4gb
approx $3.5k

hp omen 15 ( I read reviews that it had very poor batt life )
i7-7700 w gtx 1050 4gb
approx $3.5k

lenovo y520
i7-7700 w gtx 1050ti 2gb
approx $3.7k

thks.