That resale value on MBP is pretty fucking insane. Honestly it shock given how fast technology goes obsolete that it is worth that much still.
That being said get an 2013 HP. I love my MBP, but I honestly wouldn't want to pick one up that is 5 years old. Now if this was between a 2013 MBP vs a 2013 HP I would say get the MBP, the longevity of those laptops is insane, proof with their resale value.