Number of problems: 4344
Mathematica 99.84%
[9236 , 9238 , 9656 , 9658 , 17110 , 17957 , 18869 ]
Maple 100.00%
Sympy 74.08%
[381 , 907 , 1268 , 1271 , 1272 , 1342 , 1346 , 1347 , 1348 , 1350 , 1353 , 1354 , 1742 , 1750 , 1754 , 1756 , 1807 , 1812 , 1813 , 1814 , 1817 , 1819 , 1821 , 1822 , 1824 , 1825 , 1826 , 1827 , 1829 , 1830 , 1831 , 1832 , 1833 , 1834 , 1835 , 1836 , 1837 , 1839 , 2411 , 2593 , 3160 , 3494 , 3495 , 3500 , 3748 , 3752 , 3757 , 3760 , 3761 , 4139 , 4460 , 4507 , 4512 , 6087 , 6251 , 6253 , 6255 , 6407 , 6408 , 6413 , 6414 , 6490 , 6491 , 6574 , 6725 , 6753 , 6754 , 6755 , 6756 , 6757 , 6758 , 6759 , 6760 , 6761 , 6762 , 6764 , 6765 , 6768 , 6770 , 6771 , 7002 , 7480 , 7483 , 7484 , 7489 , 7490 , 7491 , 7493 , 7494 , 7495 , 7498 , 7499 , 7523 , 7524 , 7525 , 7527 , 7535 , 7542 , 7546 , 7557 , 7676 , 7697 , 7990 , 8000 , 8001 , 8002 , 8003 , 8363 , 8805 , 8806 , 8807 , 8808 , 8809 , 8810 , 8811 , 8812 , 8813 , 8814 , 8848 , 8853 , 8957 , 8963 , 8964 , 8966 , 8967 , 8981 , 9138 , 9140 , 9146 , 9147 , 9150 , 9151 , 9153 , 9154 , 9155 , 9156 , 9158 , 9173 , 9174 , 9175 , 9176 , 9177 , 9178 , 9179 , 9180 , 9181 , 9182 , 9183 , 9191 , 9192 , 9193 , 9194 , 9195 , 9196 , 9197 , 9198 , 9200 , 9202 , 9203 , 9204 , 9205 , 9206 , 9211 , 9212 , 9214 , 9215 , 9216 , 9217 , 9218 , 9219 , 9220 , 9221 , 9222 , 9223 , 9224 , 9225 , 9226 , 9227 , 9228 , 9229 , 9230 , 9231 , 9232 , 9233 , 9235 , 9237 , 9238 , 9240 , 9241 , 9242 , 9243 , 9244 , 9245 , 9246 , 9247 , 9248 , 9249 , 9250 , 9251 , 9252 , 9253 , 9254 , 9255 , 9256 , 9257 , 9258 , 9259 , 9260 , 9263 , 9264 , 9265 , 9267 , 9268 , 9269 , 9270 , 9271 , 9272 , 9273 , 9274 , 9275 , 9276 , 9277 , 9278 , 9279 , 9280 , 9281 , 9282 , 9283 , 9284 , 9285 , 9286 , 9287 , 9288 , 9289 , 9290 , 9291 , 9292 , 9293 , 9294 , 9295 , 9296 , 9297 , 9298 , 9299 , 9300 , 9301 , 9302 , 9303 , 9304 , 9305 , 9307 , 9308 , 9309 , 9310 , 9311 , 9312 , 9313 , 9314 , 9315 , 9316 , 9317 , 9318 , 9319 , 9320 , 9321 , 9322 , 9323 , 9324 , 9325 , 9326 , 9327 , 9328 , 9329 , 9330 , 9331 , 9332 , 9333 , 9334 , 9335 , 9336 , 9337 , 9338 , 9339 , 9340 , 9341 , 9342 , 9343 , 9344 , 9345 , 9346 , 9347 , 9348 , 9349 , 9350 , 9351 , 9352 , 9353 , 9354 , 9356 , 9357 , 9358 , 9359 , 9360 , 9361 , 9362 , 9363 , 9380 , 9385 , 9391 , 9392 , 9393 , 9394 , 9395 , 9396 , 9397 , 9398 , 9399 , 9400 , 9401 , 9403 , 9404 , 9405 , 9406 , 9408 , 9409 , 9410 , 9411 , 9412 , 9416 , 9417 , 9419 , 9420 , 9421 , 9422 , 9423 , 9426 , 9428 , 9429 , 9431 , 9432 , 9433 , 9435 , 9436 , 9438 , 9439 , 9440 , 9441 , 9442 , 9454 , 9456 , 9457 , 9458 , 9459 , 9460 , 9461 , 9462 , 9463 , 9464 , 9465 , 9467 , 9469 , 9470 , 9471 , 9472 , 9473 , 9474 , 9475 , 9476 , 9477 , 9478 , 9479 , 9480 , 9481 , 9482 , 9483 , 9484 , 9485 , 9486 , 9488 , 9489 , 9492 , 9496 , 9504 , 9505 , 9506 , 9507 , 9508 , 9509 , 9511 , 9512 , 9514 , 9516 , 9517 , 9523 , 9524 , 9526 , 9527 , 9529 , 9531 , 9532 , 9534 , 9536 , 9537 , 9538 , 9539 , 9540 , 9541 , 9542 , 9543 , 9544 , 9545 , 9546 , 9550 , 9551 , 9552 , 9553 , 9559 , 9560 , 9561 , 9563 , 9565 , 9566 , 9567 , 9568 , 9569 , 9571 , 9572 , 9573 , 9574 , 9575 , 9576 , 9577 , 9578 , 9579 , 9580 , 9583 , 9592 , 9593 , 9594 , 9595 , 9596 , 9597 , 9598 , 9599 , 9601 , 9603 , 9604 , 9605 , 9606 , 9607 , 9608 , 9609 , 9610 , 9611 , 9612 , 9613 , 9615 , 9617 , 9619 , 9620 , 9621 , 9622 , 9624 , 9625 , 9626 , 9627 , 9632 , 9633 , 9635 , 9636 , 9637 , 9638 , 9639 , 9640 , 9641 , 9642 , 9643 , 9644 , 9645 , 9646 , 9647 , 9648 , 9649 , 9650 , 9651 , 9652 , 9653 , 9655 , 9657 , 9658 , 9660 , 9661 , 9662 , 9663 , 9664 , 9665 , 9666 , 9667 , 9668 , 9669 , 9670 , 9671 , 9672 , 9673 , 9674 , 9675 , 9676 , 9678 , 9679 , 9680 , 9683 , 9684 , 9685 , 9687 , 9688 , 9689 , 9690 , 9691 , 9692 , 9693 , 9694 , 9695 , 9696 , 9697 , 9698 , 9699 , 9700 , 9701 , 9702 , 9703 , 9704 , 9705 , 9706 , 9707 , 9708 , 9709 , 9710 , 9711 , 9712 , 9713 , 9714 , 9715 , 9716 , 9717 , 9718 , 9719 , 9720 , 9721 , 9722 , 9723 , 9724 , 9725 , 9727 , 9728 , 9729 , 9730 , 9731 , 9732 , 9733 , 9734 , 9735 , 9736 , 9737 , 9738 , 9739 , 9740 , 9741 , 9742 , 9743 , 9744 , 9745 , 9746 , 9747 , 9748 , 9749 , 9750 , 9751 , 9752 , 9753 , 9754 , 9755 , 9756 , 9757 , 9758 , 9759 , 9760 , 9761 , 9762 , 9763 , 9764 , 9765 , 9766 , 9767 , 9768 , 9769 , 9770 , 9771 , 9772 , 9773 , 9774 , 9776 , 9777 , 9778 , 9779 , 9780 , 9781 , 9782 , 9783 , 9800 , 9805 , 9811 , 9813 , 9815 , 9816 , 9817 , 9818 , 9819 , 9820 , 9821 , 9822 , 9823 , 9824 , 9825 , 9826 , 9828 , 9829 , 9830 , 9831 , 9833 , 9834 , 9835 , 9836 , 9837 , 9841 , 9842 , 9844 , 9845 , 9846 , 9847 , 9848 , 9851 , 9853 , 9854 , 9856 , 9857 , 9858 , 9859 , 9860 , 9861 , 9863 , 9864 , 9865 , 9866 , 9867 , 9879 , 9881 , 9882 , 9883 , 9884 , 9885 , 9886 , 9887 , 9888 , 9889 , 9890 , 9891 , 9892 , 9893 , 9894 , 9895 , 9897 , 9899 , 9900 , 9901 , 9902 , 9903 , 9904 , 9905 , 9906 , 9907 , 9908 , 9909 , 9910 , 9911 , 9912 , 9913 , 9914 , 9915 , 9917 , 9918 , 9921 , 9925 , 9933 , 9934 , 9935 , 9936 , 9937 , 9938 , 9940 , 9941 , 9943 , 9945 , 9946 , 9952 , 9953 , 9955 , 9956 , 9958 , 9960 , 9961 , 9963 , 9964 , 9965 , 9966 , 9967 , 9968 , 9969 , 9970 , 9971 , 9972 , 9973 , 9974 , 9978 , 9979 , 9980 , 9981 , 9987 , 9988 , 9990 , 9998 , 10001 , 10002 , 10003 , 10005 , 10010 , 10012 , 11001 , 11007 , 11009 , 11030 , 11031 , 11034 , 11036 , 11038 , 11040 , 11041 , 11042 , 11047 , 11048 , 11049 , 11050 , 11052 , 11053 , 11062 , 11063 , 11073 , 11082 , 11091 , 11093 , 11094 , 11101 , 11103 , 11104 , 11105 , 11107 , 11108 , 11109 , 11111 , 11115 , 11118 , 11140 , 11159 , 11160 , 11163 , 11173 , 11174 , 11175 , 11176 , 11178 , 11180 , 11184 , 11185 , 11186 , 11190 , 11191 , 11193 , 11203 , 11204 , 11205 , 11206 , 11208 , 11209 , 11210 , 11215 , 11222 , 11223 , 11227 , 11230 , 11231 , 11233 , 11234 , 11242 , 11243 , 11244 , 11247 , 11250 , 11256 , 11260 , 11261 , 11262 , 11263 , 11264 , 11266 , 11267 , 11270 , 11272 , 11277 , 11280 , 11283 , 11286 , 11291 , 11294 , 11298 , 11299 , 11300 , 11302 , 11303 , 11305 , 11307 , 11310 , 11316 , 11317 , 11319 , 11324 , 11325 , 11330 , 11331 , 11332 , 11333 , 11334 , 11337 , 11340 , 11345 , 11349 , 11355 , 11357 , 11358 , 11359 , 11360 , 11361 , 11362 , 11365 , 11366 , 11373 , 11374 , 11375 , 11376 , 11383 , 11384 , 11400 , 11421 , 11422 , 12424 , 12426 , 12435 , 12445 , 12446 , 12447 , 12448 , 12451 , 12454 , 12455 , 12456 , 12459 , 12463 , 12464 , 12490 , 12493 , 12496 , 12497 , 12501 , 12502 , 12508 , 12509 , 12510 , 12550 , 12551 , 12561 , 12572 , 12573 , 12576 , 12583 , 12585 , 12586 , 12595 , 12598 , 12599 , 12610 , 12613 , 12614 , 12634 , 12635 , 12637 , 12638 , 12646 , 12650 , 12654 , 12655 , 12656 , 12659 , 12698 , 12853 , 12871 , 12872 , 12886 , 12887 , 12888 , 12889 , 12890 , 12891 , 12893 , 12895 , 12897 , 12898 , 12899 , 12900 , 12902 , 12903 , 12906 , 12922 , 12925 , 12937 , 12942 , 13170 , 13438 , 13439 , 13445 , 13446 , 13447 , 13448 , 13449 , 13480 , 13590 , 13605 , 13606 , 13844 , 13847 , 13852 , 13911 , 13914 , 13916 , 13917 , 13918 , 13920 , 13922 , 13925 , 13932 , 13933 , 13934 , 13935 , 13936 , 13939 , 14055 , 14081 , 14192 , 14403 , 14404 , 15225 , 15439 , 15445 , 15446 , 15447 , 15499 , 15504 , 16200 , 16217 , 16258 , 16281 , 16283 , 16285 , 16410 , 16411 , 16412 , 16413 , 16414 , 16415 , 16416 , 16984 , 16990 , 17043 , 17054 , 17055 , 17056 , 17057 , 17058 , 17070 , 17072 , 17073 , 17081 , 17484 , 17490 , 17577 , 17617 , 17620 , 17621 , 17622 , 17623 , 17624 , 17625 , 17923 , 17929 , 17952 , 17957 , 17958 , 18179 , 18192 , 18205 , 18206 , 18207 , 18242 , 18265 , 18273 , 18274 , 18275 , 18276 , 18335 , 18539 , 18612 , 18613 , 18615 , 18616 , 18853 , 18857 , 18865 , 18869 , 18870 , 18904 , 18924 , 18925 , 18926 , 18928 , 18931 , 18932 , 18933 , 18936 , 18941 , 18944 , 18946 , 18950 , 18951 , 18952 , 18953 , 19266 , 19268 , 19270 , 19274 , 19275 , 19276 , 19277 , 19279 , 19284 , 19306 , 19313 , 19348 , 19356 , 19357 , 19358 , 19359 , 19360 , 19361 , 19367 , 19370 , 19371 , 19373 , 19374 , 19375 , 19377 , 19378 , 19379 , 19380 , 19383 , 19384 , 19387 , 19390 , 19391 , 19392 , 19393 , 19397 , 19399 , 19400 , 19401 , 19403 , 19404 , 19406 , 19407 , 19409 , 19410 , 19412 , 19413 , 19414 , 19415 , 19416 , 19419 , 19421 , 19422 , 19423 , 19426 , 19427 , 19428 , 19462 , 19506 , 19508 , 19510 , 19518 , 19535 , 19537 , 19538 , 19542 , 19544 , 19545 , 19546 , 19550 , 19552 , 19553 , 19554 , 19557 ]