標準ライブラリだけでも、Python やPyPyで、AtcoderやYukicoderの問題の、7-8割は解けると思う。
sympyを入れたからと言って、解ける問題は、そんなに増えないと思うのだけど。