Number of problems: 5714
Mathematica 98.30%
[145 , 204 , 769 , 796 , 1535 , 2496 , 2536 , 4298 , 7407 , 7419 , 7428 , 7475 , 7759 , 8219 , 8220 , 8248 , 8371 , 8372 , 8381 , 8389 , 8397 , 8398 , 8399 , 8400 , 8401 , 8402 , 8415 , 8424 , 8425 , 8426 , 8427 , 8896 , 8897 , 9984 , 10002 , 11647 , 14567 , 15700 , 15919 , 15929 , 15933 , 15934 , 15936 , 15937 , 15956 , 15957 , 15958 , 15959 , 15960 , 15964 , 15965 , 15967 , 15968 , 15974 , 15975 , 15976 , 15978 , 15979 , 15981 , 15985 , 15988 , 15989 , 15990 , 15999 , 16000 , 16001 , 16002 , 16003 , 16004 , 16083 , 16367 , 17232 , 17344 , 17348 , 17349 , 18063 , 18083 , 18084 , 18090 , 18607 , 18613 , 18620 , 18621 , 18622 , 21185 , 21188 , 21943 , 21965 , 22459 , 22711 , 22717 , 23237 , 24001 , 24263 , 24321 , 24343 , 25150 ]
Maple 99.61%
[2955 , 3034 , 4251 , 5294 , 8420 , 9137 , 11647 , 17344 , 17348 , 17349 , 18673 , 18676 , 18719 , 19411 , 20442 , 21462 , 21943 , 22539 , 22662 , 23175 , 23237 , 24350 ]
Sympy 84.53%
[29 , 47 , 54 , 55 , 71 , 97 , 132 , 137 , 138 , 139 , 140 , 141 , 142 , 144 , 145 , 146 , 173 , 174 , 182 , 195 , 201 , 204 , 671 , 683 , 689 , 690 , 728 , 756 , 761 , 762 , 763 , 764 , 765 , 766 , 768 , 769 , 770 , 774 , 787 , 793 , 796 , 1133 , 1149 , 1150 , 1155 , 1166 , 1171 , 1195 , 1199 , 1201 , 1206 , 1210 , 1215 , 1216 , 1220 , 1222 , 1224 , 1226 , 1228 , 1233 , 1236 , 1238 , 1242 , 1248 , 1544 , 1573 , 1590 , 1592 , 1604 , 1606 , 1607 , 1621 , 1623 , 1624 , 1636 , 1657 , 1661 , 1676 , 1681 , 1683 , 1686 , 1688 , 1693 , 1694 , 1695 , 1697 , 1704 , 1706 , 1708 , 1709 , 1710 , 1719 , 1721 , 1725 , 1733 , 1734 , 1735 , 2305 , 2334 , 2338 , 2339 , 2340 , 2343 , 2344 , 2345 , 2478 , 2506 , 2510 , 2511 , 2512 , 2516 , 2517 , 2536 , 2916 , 2917 , 2918 , 2920 , 2921 , 2923 , 2926 , 2928 , 2929 , 2931 , 2932 , 2933 , 2935 , 2936 , 2938 , 2949 , 2972 , 2997 , 3009 , 3013 , 3018 , 3024 , 3026 , 3029 , 3034 , 3035 , 3043 , 3462 , 3463 , 3465 , 3478 , 3481 , 3524 , 3579 , 3580 , 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 , 4338 , 4340 , 4343 , 4353 , 4366 , 4403 , 4406 , 4415 , 4417 , 4418 , 4424 , 4431 , 4441 , 4442 , 4634 , 4635 , 4636 , 4715 , 4718 , 4720 , 4729 , 4730 , 4766 , 4796 , 4813 , 4818 , 5006 , 5034 , 5059 , 5079 , 5093 , 5094 , 5095 , 5120 , 5122 , 5123 , 5133 , 5166 , 5170 , 5171 , 5176 , 5177 , 5181 , 5182 , 5185 , 5200 , 5202 , 5212 , 5213 , 5217 , 5218 , 5221 , 5222 , 5223 , 5225 , 5228 , 5237 , 5242 , 5244 , 5245 , 5247 , 5252 , 5256 , 5257 , 5263 , 5264 , 5269 , 5270 , 5271 , 5276 , 5285 , 5286 , 5290 , 5292 , 5293 , 5294 , 5295 , 5303 , 5306 , 5312 , 5313 , 5314 , 5317 , 5318 , 5327 , 5329 , 5330 , 5331 , 5336 , 5347 , 5348 , 5349 , 5350 , 5351 , 5352 , 5354 , 6829 , 6849 , 6860 , 6863 , 6864 , 6872 , 6877 , 6906 , 6932 , 6934 , 6935 , 6936 , 6937 , 6939 , 6940 , 6941 , 6942 , 6943 , 6946 , 6951 , 6955 , 6956 , 6958 , 6959 , 6961 , 6962 , 6963 , 6965 , 6967 , 6968 , 6971 , 6973 , 7012 , 7030 , 7033 , 7036 , 7045 , 7048 , 7170 , 7238 , 7257 , 7259 , 7347 , 7409 , 7411 , 7416 , 7444 , 7460 , 7463 , 7467 , 7471 , 7473 , 7474 , 7475 , 7476 , 7477 , 7478 , 7480 , 7490 , 7495 , 7498 , 7534 , 7538 , 7541 , 7546 , 7559 , 7570 , 7724 , 7748 , 7873 , 7897 , 7898 , 7900 , 7901 , 7916 , 7917 , 7923 , 7934 , 7945 , 7948 , 8234 , 8243 , 8246 , 8247 , 8267 , 8389 , 8391 , 8395 , 8419 , 8424 , 8425 , 8426 , 8427 , 8445 , 8481 , 8720 , 8732 , 8760 , 8793 , 8794 , 8834 , 8842 , 9021 , 9023 , 9033 , 9039 , 9043 , 9065 , 9130 , 9135 , 9137 , 9138 , 9142 , 9145 , 9147 , 9151 , 9155 , 9179 , 9180 , 9184 , 9187 , 9188 , 9989 , 10010 , 10075 , 10146 , 10463 , 11377 , 11382 , 11383 , 11384 , 11389 , 11422 , 11433 , 11509 , 11511 , 11552 , 11553 , 11557 , 11560 , 11578 , 11579 , 11582 , 11583 , 11591 , 11593 , 11596 , 11598 , 11602 , 11607 , 11613 , 11615 , 11619 , 11625 , 11627 , 11631 , 11632 , 11643 , 11647 , 11648 , 11653 , 11655 , 11659 , 11662 , 11663 , 11667 , 11668 , 11670 , 11671 , 11971 , 11981 , 11985 , 11986 , 11989 , 12025 , 12026 , 12045 , 12047 , 12078 , 12090 , 12094 , 12096 , 12118 , 12120 , 12127 , 12156 , 12167 , 12196 , 12254 , 12255 , 12260 , 12263 , 12264 , 13710 , 13713 , 13723 , 13740 , 13746 , 13760 , 13763 , 14079 , 14114 , 14139 , 14143 , 14151 , 14325 , 14345 , 14388 , 14389 , 14550 , 14555 , 14557 , 14558 , 14562 , 14563 , 14564 , 14565 , 14567 , 14570 , 14582 , 14583 , 14587 , 14593 , 14620 , 14633 , 14647 , 14649 , 14656 , 15019 , 15021 , 15023 , 15024 , 15025 , 15145 , 15168 , 15175 , 15470 , 15474 , 15484 , 15493 , 15494 , 15496 , 15497 , 15498 , 15501 , 15660 , 15669 , 15671 , 15719 , 15728 , 15739 , 15741 , 15742 , 15743 , 15744 , 15745 , 15747 , 15748 , 15750 , 15759 , 15760 , 15761 , 15902 , 15955 , 15956 , 15957 , 15962 , 15965 , 15967 , 15968 , 15978 , 15979 , 15981 , 15982 , 15983 , 15985 , 16045 , 16048 , 16083 , 16341 , 16345 , 16353 , 16359 , 16369 , 16379 , 16417 , 16444 , 16484 , 16489 , 17093 , 17138 , 17151 , 17159 , 17161 , 17163 , 17165 , 17166 , 17172 , 17187 , 17190 , 17199 , 17206 , 17211 , 17226 , 17239 , 17311 , 17314 , 17316 , 17317 , 17324 , 17326 , 17327 , 17331 , 17333 , 17335 , 17337 , 17344 , 17345 , 17346 , 17347 , 17348 , 17349 , 17350 , 17351 , 17357 , 17360 , 17361 , 17402 , 17439 , 17440 , 17441 , 17455 , 17456 , 17458 , 18008 , 18082 , 18083 , 18084 , 18085 , 18086 , 18087 , 18088 , 18089 , 18090 , 18091 , 18092 , 18093 , 18158 , 18159 , 18162 , 18185 , 18591 , 18596 , 18621 , 18659 , 18664 , 18684 , 18688 , 18690 , 18695 , 18697 , 18700 , 18706 , 18740 , 18742 , 19211 , 19212 , 19213 , 19214 , 19218 , 19348 , 19411 , 19412 , 19415 , 19418 , 19420 , 19424 , 19428 , 19430 , 19431 , 19435 , 19438 , 19439 , 19449 , 19450 , 19472 , 19494 , 19501 , 19506 , 19516 , 19520 , 19524 , 19782 , 19784 , 19791 , 19833 , 19836 , 19837 , 19922 , 19923 , 20022 , 20023 , 20025 , 20026 , 20036 , 20059 , 20061 , 20066 , 20071 , 20072 , 20084 , 20336 , 20341 , 20362 , 20386 , 20398 , 20402 , 20403 , 20409 , 20411 , 20420 , 20422 , 20424 , 20428 , 20429 , 20430 , 20437 , 20440 , 20441 , 20442 , 20443 , 20562 , 20565 , 20795 , 20796 , 20804 , 21066 , 21077 , 21093 , 21121 , 21128 , 21145 , 21149 , 21150 , 21152 , 21156 , 21166 , 21176 , 21177 , 21184 , 21185 , 21186 , 21187 , 21189 , 21190 , 21430 , 21467 , 21484 , 21486 , 21493 , 21495 , 21496 , 21498 , 21499 , 21507 , 21514 , 21518 , 21520 , 21530 , 21535 , 21536 , 21538 , 21562 , 21565 , 21927 , 21928 , 21929 , 21934 , 21943 , 21965 , 22043 , 22045 , 22088 , 22134 , 22139 , 22141 , 22144 , 22153 , 22171 , 22206 , 22459 , 22494 , 22516 , 22530 , 22532 , 22533 , 22534 , 22539 , 22540 , 22542 , 22545 , 22549 , 22556 , 22561 , 22562 , 22579 , 22583 , 22584 , 22585 , 22586 , 22587 , 22588 , 22591 , 22637 , 22642 , 22659 , 22660 , 22665 , 22687 , 22693 , 23108 , 23239 , 23243 , 23300 , 23302 , 23305 , 23317 , 23978 , 23990 , 23996 , 23997 , 23998 , 24000 , 24001 , 24002 , 24003 , 24005 , 24007 , 24013 , 24014 , 24016 , 24058 , 24065 , 24069 , 24263 , 24280 , 24292 , 24298 , 24300 , 24301 , 24302 , 24304 , 24305 , 24308 , 24309 , 24312 , 24313 , 24314 , 24315 , 24321 , 24322 , 24324 , 24327 , 24329 , 24330 , 24331 , 24332 , 24333 , 24334 , 24339 , 24341 , 24343 , 24349 , 24350 , 24357 , 24388 , 24394 , 24402 , 24403 , 24405 , 24409 , 24416 , 24417 , 24419 , 24437 , 24438 , 24447 , 24481 , 24482 , 24483 , 24484 , 24485 , 24486 , 24490 , 24491 , 24493 , 24495 , 24500 , 24501 , 24502 , 25071 , 25093 , 25123 , 25142 , 25150 , 25166 ]