python3 -c "import sympy