Number of problems: 4557
Mathematica 99.32%
[145 , 204 , 769 , 796 , 1535 , 2496 , 2536 , 4298 , 7129 , 7138 , 7139 , 7140 , 7141 , 10347 , 14575 , 14576 , 14579 , 14600 , 14601 , 14627 , 14630 , 14631 , 14632 , 15865 , 15986 , 15990 , 15991 , 16725 , 16726 , 16732 , 17255 ]
Maple 99.63%
[1590 , 2955 , 3034 , 4251 , 5270 , 7134 , 7851 , 10347 , 13659 , 15986 , 15990 , 15991 , 17315 , 17318 , 17361 , 18054 , 19086 ]
Sympy 84.24%
[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 , 2916 , 2917 , 2918 , 2920 , 2921 , 2923 , 2926 , 2928 , 2929 , 2931 , 2932 , 2933 , 2935 , 2936 , 2938 , 2949 , 2964 , 2972 , 2997 , 3009 , 3013 , 3018 , 3024 , 3029 , 3034 , 3035 , 3043 , 3462 , 3463 , 3465 , 3481 , 3524 , 3579 , 3580 , 3607 , 3609 , 3626 , 3655 , 3690 , 3692 , 3694 , 3695 , 4077 , 4078 , 4107 , 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 , 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 , 7103 , 7105 , 7109 , 7133 , 7138 , 7139 , 7140 , 7141 , 7143 , 7144 , 7159 , 7195 , 7434 , 7446 , 7474 , 7507 , 7508 , 7548 , 7556 , 7733 , 7735 , 7737 , 7747 , 7753 , 7757 , 7844 , 7849 , 7851 , 7852 , 7856 , 7859 , 7861 , 7865 , 7869 , 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 , 10347 , 10348 , 10353 , 10355 , 10359 , 10362 , 10363 , 10367 , 10368 , 10370 , 10371 , 10372 , 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 , 12727 , 12762 , 12787 , 12791 , 12799 , 12973 , 12993 , 12996 , 13036 , 13037 , 13198 , 13199 , 13203 , 13205 , 13206 , 13210 , 13211 , 13212 , 13213 , 13215 , 13218 , 13230 , 13231 , 13235 , 13241 , 13256 , 13268 , 13281 , 13295 , 13297 , 13304 , 13659 , 13667 , 13669 , 13671 , 13672 , 13673 , 13793 , 13816 , 13823 , 14112 , 14126 , 14135 , 14136 , 14138 , 14139 , 14140 , 14143 , 14302 , 14311 , 14321 , 14322 , 14361 , 14370 , 14372 , 14375 , 14381 , 14383 , 14384 , 14385 , 14386 , 14387 , 14389 , 14390 , 14392 , 14401 , 14402 , 14403 , 14544 , 14555 , 14597 , 14598 , 14599 , 14604 , 14607 , 14609 , 14610 , 14620 , 14621 , 14623 , 14624 , 14625 , 14627 , 14687 , 14690 , 14725 , 14983 , 14987 , 14995 , 15001 , 15011 , 15021 , 15059 , 15085 , 15086 , 15126 , 15131 , 15735 , 15780 , 15793 , 15803 , 15805 , 15807 , 15808 , 15814 , 15829 , 15832 , 15841 , 15848 , 15853 , 15868 , 15881 , 15953 , 15956 , 15958 , 15959 , 15966 , 15968 , 15969 , 15973 , 15975 , 15977 , 15979 , 15986 , 15987 , 15988 , 15989 , 15990 , 15991 , 15992 , 15993 , 15999 , 16002 , 16003 , 16044 , 16081 , 16082 , 16083 , 16097 , 16098 , 16100 , 16103 , 16650 , 16724 , 16725 , 16726 , 16727 , 16728 , 16729 , 16731 , 16732 , 16733 , 16734 , 16735 , 16800 , 16801 , 16804 , 16827 , 17233 , 17238 , 17257 , 17263 , 17301 , 17306 , 17326 , 17330 , 17332 , 17337 , 17339 , 17342 , 17348 , 17382 , 17384 , 17854 , 17855 , 17856 , 17857 , 17861 , 18054 , 18055 , 18058 , 18061 , 18063 , 18067 , 18071 , 18073 , 18074 , 18078 , 18081 , 18082 , 18092 , 18093 , 18115 , 18137 , 18144 , 18149 , 18159 , 18163 , 18167 , 18172 , 18425 , 18427 , 18434 , 18476 , 18479 , 18480 , 18565 , 18566 , 18666 , 18667 , 18669 , 18670 , 18680 , 18687 , 18703 , 18705 , 18710 , 18715 , 18716 , 18728 , 18980 , 18985 , 19006 , 19026 , 19030 , 19042 , 19046 , 19047 , 19053 , 19055 , 19064 , 19066 , 19068 , 19072 , 19073 , 19074 , 19081 , 19084 , 19085 , 19086 , 19087 , 19206 , 19209 , 19440 , 19441 , 19449 ]