Вычислитель в аренду
Да. Amazon EC2 вам в помощь. Можете развернуть много слабых юнитов, если задача хорошо параллелится. Я языковую модель большую через EC2 обсчитывал. В принципе, удобно. 

Правда, на счет Mathematica сильно сомневаюсь. Теоретически, можно ее поставить на созданные инстансы. Однако, почему бы не воспользоваться какими-нибудь специализированными инструментами попроще.
Рекомендую взять Amazon EC2 Cluster GPU Instances или Peer1 HPC Cloud 
Для цифромолотилок Quardo самое лучшее решение.