Number of problems: 4705
Mathematica 99.28%
[145 , 204 , 769 , 796 , 1535 , 2496 , 2536 , 4111 , 4298 , 7129 , 7138 , 7139 , 7140 , 7141 , 14567 , 14568 , 14571 , 14592 , 14593 , 14619 , 14622 , 14623 , 14624 , 15857 , 15978 , 15982 , 15983 , 16631 , 16652 , 16653 , 16717 , 16718 , 16724 , 17247 ]
Maple 99.62%
[2955 , 3034 , 4251 , 5270 , 5507 , 7134 , 7851 , 8488 , 13651 , 15978 , 15982 , 15983 , 16652 , 16710 , 17307 , 17310 , 18046 , 19078 ]
Sympy 84.34%
[29 , 47 , 54 , 55 , 71 , 97 , 132 , 137 , 138 , 139 , 140 , 141 , 142 , 143 , 144 , 145 , 146 , 173 , 174 , 182 , 190 , 195 , 201 , 204 , 671 , 683 , 689 , 690 , 728 , 756 , 761 , 762 , 763 , 764 , 765 , 766 , 767 , 768 , 769 , 770 , 774 , 782 , 787 , 793 , 796 , 1133 , 1149 , 1150 , 1155 , 1166 , 1171 , 1195 , 1199 , 1201 , 1206 , 1210 , 1215 , 1216 , 1220 , 1222 , 1224 , 1226 , 1228 , 1233 , 1236 , 1238 , 1239 , 1242 , 1248 , 1544 , 1573 , 1590 , 1592 , 1604 , 1606 , 1607 , 1621 , 1623 , 1624 , 1636 , 1657 , 1659 , 1661 , 1676 , 1683 , 1686 , 1688 , 1693 , 1694 , 1695 , 1697 , 1704 , 1706 , 1708 , 1709 , 1710 , 1719 , 1721 , 1725 , 1733 , 1734 , 1735 , 2305 , 2338 , 2339 , 2340 , 2343 , 2344 , 2345 , 2478 , 2510 , 2511 , 2512 , 2516 , 2517 , 2536 , 2854 , 2916 , 2917 , 2918 , 2920 , 2921 , 2923 , 2926 , 2928 , 2929 , 2931 , 2932 , 2933 , 2936 , 2938 , 2949 , 2964 , 2972 , 2997 , 3009 , 3013 , 3018 , 3024 , 3029 , 3034 , 3035 , 3040 , 3043 , 3462 , 3463 , 3465 , 3481 , 3524 , 3579 , 3580 , 3607 , 3609 , 3626 , 3655 , 3690 , 3692 , 3694 , 3695 , 4077 , 4078 , 4107 , 4111 , 4117 , 4207 , 4208 , 4211 , 4212 , 4238 , 4251 , 4252 , 4256 , 4259 , 4261 , 4262 , 4282 , 4287 , 4292 , 4293 , 4298 , 4299 , 4326 , 4327 , 4328 , 4331 , 4332 , 4336 , 4337 , 4338 , 4340 , 4343 , 4353 , 4366 , 4403 , 4406 , 4415 , 4417 , 4418 , 4424 , 4431 , 4441 , 4442 , 4629 , 4709 , 4713 , 4715 , 4724 , 4725 , 4756 , 4786 , 4799 , 4804 , 4903 , 4981 , 5012 , 5037 , 5057 , 5071 , 5073 , 5098 , 5100 , 5109 , 5142 , 5146 , 5147 , 5152 , 5153 , 5157 , 5159 , 5162 , 5177 , 5179 , 5190 , 5191 , 5195 , 5196 , 5199 , 5200 , 5201 , 5203 , 5206 , 5213 , 5218 , 5220 , 5221 , 5223 , 5228 , 5232 , 5233 , 5239 , 5240 , 5245 , 5246 , 5247 , 5252 , 5261 , 5262 , 5266 , 5268 , 5269 , 5270 , 5271 , 5279 , 5282 , 5288 , 5289 , 5290 , 5293 , 5294 , 5303 , 5305 , 5306 , 5307 , 5312 , 5324 , 5325 , 5326 , 5327 , 5328 , 5329 , 5331 , 5507 , 5694 , 5714 , 5725 , 5726 , 5728 , 5729 , 5737 , 5742 , 5771 , 5797 , 5799 , 5800 , 5801 , 5802 , 5804 , 5805 , 5806 , 5807 , 5808 , 5811 , 5816 , 5820 , 5821 , 5823 , 5824 , 5826 , 5827 , 5828 , 5830 , 5832 , 5833 , 5836 , 5838 , 5877 , 5895 , 5898 , 5901 , 5910 , 5913 , 6035 , 6094 , 6103 , 6122 , 6124 , 6212 , 6274 , 6276 , 6281 , 6309 , 6325 , 6328 , 6332 , 6336 , 6338 , 6341 , 6344 , 6436 , 6439 , 6461 , 6586 , 6610 , 6611 , 6613 , 6614 , 6629 , 6630 , 6636 , 6647 , 6658 , 6661 , 6948 , 6957 , 6960 , 6961 , 6965 , 6981 , 7089 , 7101 , 7102 , 7103 , 7109 , 7133 , 7138 , 7139 , 7140 , 7141 , 7143 , 7144 , 7159 , 7195 , 7434 , 7446 , 7474 , 7507 , 7508 , 7548 , 7556 , 7733 , 7735 , 7737 , 7747 , 7753 , 7757 , 7779 , 7844 , 7849 , 7851 , 7852 , 7856 , 7859 , 7861 , 7865 , 7893 , 7894 , 7898 , 7901 , 7902 , 8488 , 8703 , 8724 , 8789 , 8860 , 9163 , 10077 , 10081 , 10082 , 10083 , 10084 , 10086 , 10089 , 10122 , 10133 , 10209 , 10211 , 10252 , 10253 , 10257 , 10260 , 10278 , 10279 , 10282 , 10283 , 10291 , 10293 , 10296 , 10298 , 10302 , 10307 , 10313 , 10315 , 10319 , 10325 , 10326 , 10327 , 10331 , 10332 , 10343 , 10348 , 10353 , 10355 , 10359 , 10362 , 10363 , 10367 , 10368 , 10370 , 10371 , 10372 , 10552 , 10671 , 10681 , 10685 , 10686 , 10689 , 10726 , 10727 , 10746 , 10748 , 10779 , 10791 , 10795 , 10797 , 10819 , 10821 , 10828 , 10857 , 10868 , 10897 , 10955 , 10956 , 10961 , 10964 , 10965 , 12415 , 12418 , 12719 , 12727 , 12754 , 12779 , 12783 , 12791 , 12965 , 12985 , 12988 , 13028 , 13029 , 13190 , 13191 , 13195 , 13197 , 13198 , 13202 , 13203 , 13204 , 13205 , 13210 , 13222 , 13223 , 13226 , 13227 , 13233 , 13248 , 13260 , 13273 , 13287 , 13289 , 13296 , 13651 , 13659 , 13661 , 13663 , 13664 , 13665 , 13785 , 13808 , 13815 , 14104 , 14118 , 14127 , 14128 , 14130 , 14131 , 14135 , 14294 , 14303 , 14313 , 14314 , 14353 , 14362 , 14364 , 14367 , 14373 , 14375 , 14376 , 14377 , 14378 , 14379 , 14381 , 14382 , 14384 , 14393 , 14394 , 14395 , 14536 , 14547 , 14569 , 14589 , 14590 , 14591 , 14596 , 14599 , 14600 , 14601 , 14602 , 14611 , 14612 , 14613 , 14614 , 14615 , 14616 , 14617 , 14618 , 14619 , 14679 , 14682 , 14710 , 14717 , 14975 , 14979 , 14987 , 14993 , 15003 , 15013 , 15051 , 15078 , 15118 , 15123 , 15727 , 15772 , 15785 , 15793 , 15795 , 15797 , 15799 , 15800 , 15806 , 15821 , 15824 , 15833 , 15840 , 15845 , 15860 , 15873 , 15948 , 15950 , 15951 , 15958 , 15960 , 15961 , 15965 , 15967 , 15969 , 15971 , 15978 , 15979 , 15980 , 15981 , 15982 , 15983 , 15984 , 15985 , 15991 , 15994 , 15995 , 16036 , 16073 , 16074 , 16075 , 16089 , 16090 , 16092 , 16095 , 16641 , 16642 , 16652 , 16653 , 16696 , 16716 , 16717 , 16718 , 16719 , 16720 , 16721 , 16723 , 16724 , 16725 , 16726 , 16727 , 16748 , 16792 , 16793 , 16796 , 16819 , 17225 , 17230 , 17249 , 17255 , 17293 , 17298 , 17318 , 17322 , 17324 , 17329 , 17331 , 17334 , 17340 , 17374 , 17376 , 17815 , 17847 , 17848 , 17849 , 17853 , 17983 , 18046 , 18047 , 18050 , 18053 , 18055 , 18059 , 18065 , 18066 , 18070 , 18073 , 18074 , 18084 , 18085 , 18107 , 18129 , 18136 , 18141 , 18151 , 18155 , 18159 , 18164 , 18415 , 18417 , 18419 , 18426 , 18461 , 18468 , 18471 , 18472 , 18555 , 18557 , 18558 , 18658 , 18659 , 18661 , 18662 , 18672 , 18679 , 18695 , 18697 , 18702 , 18707 , 18708 , 18720 , 18972 , 18977 , 18978 , 18998 , 19018 , 19022 , 19034 , 19038 , 19039 , 19045 , 19047 , 19056 , 19058 , 19060 , 19064 , 19065 , 19066 , 19073 , 19076 , 19077 , 19078 , 19079 , 19198 , 19201 , 19432 , 19433 , 19441 ]