Neither Dell (Alienware) nor Lenovo sell reasonable pre-built hardware configurations.

Companies like http://www.ibuypower.com/ let you start with a base system and configure it until it meets the requirements. The recommended configuration costs about $1300, a premium one would be $1600.