Number of problems: 3836
Mathematica 99.22%
[31 , 204 , 2957 , 3054 , 3056 , 4390 , 4392 , 4393 , 5634 , 5638 , 6689 , 7129 , 8475 , 12416 , 12809 , 12812 , 14567 , 14568 , 14571 , 14592 , 14593 , 14622 , 14623 , 14624 , 16094 , 16631 , 16775 , 18761 , 19180 , 19492 ]
Maple 99.71%
[2909 , 5543 , 7134 , 10538 , 10787 , 10908 , 13651 , 17307 , 18500 , 18756 , 19225 ]
Sympy 84.05%
[29 , 47 , 112 , 116 , 137 , 146 , 173 , 174 , 190 , 204 , 671 , 683 , 736 , 740 , 761 , 770 , 782 , 1155 , 1161 , 1162 , 1194 , 1198 , 1243 , 1248 , 1544 , 1573 , 1590 , 1592 , 1621 , 1624 , 1657 , 1659 , 1660 , 1661 , 1663 , 1664 , 1665 , 1667 , 1695 , 1710 , 1733 , 1735 , 2876 , 2887 , 2893 , 2895 , 2899 , 2903 , 2904 , 2910 , 2913 , 2916 , 2929 , 2935 , 2938 , 2957 , 2964 , 2972 , 3018 , 3037 , 3054 , 3056 , 3320 , 3463 , 3465 , 3476 , 3549 , 3551 , 3557 , 3607 , 3609 , 3644 , 3650 , 3651 , 3653 , 3655 , 4112 , 4113 , 4114 , 4238 , 4261 , 4277 , 4278 , 4314 , 4316 , 4320 , 4324 , 4337 , 4353 , 4358 , 4389 , 4390 , 4391 , 4392 , 4393 , 4399 , 4402 , 4410 , 4424 , 4433 , 4441 , 4697 , 4702 , 4713 , 4725 , 4740 , 4741 , 4756 , 4798 , 4801 , 4806 , 4812 , 4813 , 4814 , 4818 , 4820 , 4862 , 4908 , 4938 , 4971 , 4977 , 4981 , 4984 , 5018 , 5030 , 5047 , 5049 , 5052 , 5053 , 5054 , 5065 , 5073 , 5076 , 5086 , 5087 , 5093 , 5097 , 5098 , 5100 , 5106 , 5107 , 5109 , 5112 , 5119 , 5124 , 5130 , 5131 , 5157 , 5158 , 5177 , 5180 , 5195 , 5196 , 5201 , 5210 , 5211 , 5212 , 5213 , 5215 , 5219 , 5221 , 5222 , 5228 , 5230 , 5232 , 5233 , 5235 , 5239 , 5240 , 5246 , 5252 , 5268 , 5274 , 5279 , 5282 , 5283 , 5298 , 5301 , 5303 , 5305 , 5306 , 5315 , 5323 , 5327 , 5328 , 5392 , 5403 , 5421 , 5483 , 5543 , 5602 , 5603 , 5620 , 5625 , 5632 , 5633 , 5634 , 5638 , 5639 , 5640 , 5641 , 5644 , 5674 , 5678 , 5686 , 5694 , 5710 , 5771 , 5780 , 5782 , 5789 , 5797 , 5875 , 5888 , 5910 , 5912 , 6019 , 6103 , 6344 , 6436 , 6439 , 6457 , 6461 , 6586 , 6676 , 6689 , 6948 , 6961 , 6965 , 7089 , 7101 , 7102 , 7103 , 7104 , 7109 , 7159 , 7412 , 7423 , 7433 , 7434 , 7448 , 7449 , 7450 , 7452 , 7458 , 7459 , 7477 , 7735 , 7737 , 7869 , 7878 , 7884 , 7889 , 7891 , 7904 , 7921 , 8462 , 8465 , 8474 , 8475 , 8541 , 8556 , 8724 , 8733 , 8751 , 8789 , 8860 , 9047 , 9049 , 10052 , 10065 , 10071 , 10089 , 10099 , 10114 , 10125 , 10128 , 10138 , 10195 , 10197 , 10198 , 10199 , 10200 , 10214 , 10223 , 10237 , 10240 , 10245 , 10254 , 10256 , 10258 , 10275 , 10279 , 10290 , 10293 , 10294 , 10298 , 10299 , 10300 , 10301 , 10302 , 10304 , 10307 , 10319 , 10334 , 10336 , 10337 , 10340 , 10345 , 10346 , 10356 , 10367 , 10370 , 10371 , 10372 , 10392 , 10397 , 10436 , 10486 , 10528 , 10538 , 10539 , 10542 , 10543 , 10545 , 10551 , 10554 , 10561 , 10569 , 10575 , 10576 , 10577 , 10578 , 10582 , 10587 , 10594 , 10595 , 10596 , 10598 , 10603 , 10606 , 10610 , 10614 , 10618 , 10619 , 10620 , 10622 , 10625 , 10627 , 10631 , 10633 , 10641 , 10653 , 10655 , 10660 , 10681 , 10691 , 10695 , 10696 , 10701 , 10708 , 10711 , 10712 , 10721 , 10723 , 10724 , 10733 , 10736 , 10743 , 10745 , 10753 , 10764 , 10771 , 10773 , 10774 , 10780 , 10781 , 10782 , 10783 , 10786 , 10787 , 10790 , 10791 , 10793 , 10795 , 10797 , 10798 , 10799 , 10807 , 10822 , 10848 , 10849 , 10855 , 10860 , 10863 , 10864 , 10872 , 10876 , 10882 , 10884 , 10888 , 10896 , 10908 , 10909 , 10910 , 10911 , 10915 , 10918 , 10919 , 10921 , 10922 , 10925 , 10927 , 10930 , 10932 , 10934 , 10937 , 10938 , 10939 , 10940 , 10941 , 10946 , 10947 , 10957 , 10965 , 10978 , 10979 , 10981 , 11934 , 11947 , 11966 , 11986 , 12248 , 12336 , 12415 , 12416 , 12728 , 12750 , 12778 , 12783 , 12792 , 12809 , 12812 , 12819 , 12827 , 12965 , 12985 , 12988 , 13191 , 13207 , 13210 , 13222 , 13223 , 13233 , 13273 , 13287 , 13309 , 13651 , 13669 , 13781 , 13785 , 13788 , 14078 , 14104 , 14108 , 14118 , 14132 , 14135 , 14303 , 14353 , 14364 , 14367 , 14373 , 14375 , 14376 , 14377 , 14379 , 14384 , 14396 , 14398 , 14399 , 14547 , 14569 , 14590 , 14591 , 14596 , 14599 , 14600 , 14601 , 14602 , 14611 , 14612 , 14613 , 14614 , 14615 , 14618 , 14643 , 14710 , 14717 , 14979 , 15051 , 15073 , 15077 , 15078 , 15110 , 15710 , 15785 , 15793 , 15800 , 15824 , 15845 , 15860 , 15945 , 15960 , 15961 , 16009 , 16018 , 16023 , 16028 , 16036 , 16049 , 16055 , 16589 , 16641 , 16642 , 16658 , 16727 , 16745 , 16748 , 16757 , 16758 , 16775 , 16785 , 16792 , 16796 , 16799 , 16815 , 16821 , 16824 , 17255 , 17299 , 17317 , 17321 , 17347 , 17348 , 17374 , 17376 , 17825 , 17846 , 17847 , 17852 , 17873 , 17890 , 18032 , 18040 , 18063 , 18065 , 18070 , 18085 , 18089 , 18123 , 18124 , 18155 , 18415 , 18417 , 18419 , 18468 , 18470 , 18471 , 18483 , 18500 , 18561 , 18564 , 18569 , 18570 , 18655 , 18657 , 18658 , 18659 , 18661 , 18672 , 18675 , 18676 , 18702 , 18706 , 18720 , 18729 , 18756 , 18761 , 18768 , 18972 , 18977 , 18998 , 19008 , 19038 , 19046 , 19047 , 19058 , 19059 , 19065 , 19079 , 19157 , 19180 , 19201 , 19202 , 19223 , 19225 , 19432 , 19433 , 19441 , 19477 , 19492 ]