Number of problems: 5864
Mathematica 99.90%
[17647 , 18451 , 18476 , 19322 , 20233 , 22732 ]
Maple 99.97%
Sympy 75.22%
[381 , 907 , 1268 , 1271 , 1272 , 1302 , 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 , 2363 , 2393 , 2394 , 2395 , 2396 , 2397 , 2398 , 2411 , 2544 , 2593 , 3160 , 3494 , 3495 , 3500 , 3748 , 3752 , 3757 , 3760 , 3761 , 4139 , 4460 , 4507 , 4508 , 4512 , 5727 , 5821 , 5822 , 5823 , 5826 , 5827 , 5828 , 5830 , 5831 , 5832 , 5833 , 5834 , 5839 , 5840 , 5841 , 5842 , 5843 , 5853 , 5854 , 5860 , 5876 , 5877 , 5878 , 5883 , 5896 , 5902 , 5915 , 5918 , 5919 , 5920 , 5921 , 5924 , 5925 , 5926 , 5932 , 5933 , 5934 , 5935 , 5936 , 5937 , 5939 , 5940 , 5941 , 5948 , 5949 , 5950 , 5965 , 5973 , 6022 , 6032 , 6033 , 6037 , 6038 , 6039 , 6040 , 6041 , 6043 , 6044 , 6045 , 6047 , 6048 , 6049 , 6059 , 6060 , 6061 , 6062 , 6063 , 6064 , 6065 , 6066 , 6067 , 6068 , 6069 , 6073 , 6074 , 6075 , 6080 , 6081 , 6082 , 6083 , 6084 , 6085 , 6090 , 6096 , 6098 , 6099 , 6100 , 6101 , 6102 , 6103 , 6105 , 6106 , 6107 , 6108 , 6109 , 6112 , 6113 , 6114 , 6115 , 6116 , 6121 , 6122 , 6124 , 6125 , 6126 , 6128 , 6130 , 6131 , 6132 , 6133 , 6140 , 6141 , 6142 , 6143 , 6146 , 6147 , 6148 , 6149 , 6153 , 6154 , 6156 , 6162 , 6166 , 6167 , 6168 , 6169 , 6170 , 6174 , 6180 , 6181 , 6182 , 6185 , 6189 , 6191 , 6193 , 6194 , 6206 , 6207 , 6208 , 6209 , 6210 , 6211 , 6217 , 6218 , 6220 , 6221 , 6222 , 6223 , 6224 , 6225 , 6228 , 6230 , 6234 , 6235 , 6236 , 6238 , 6245 , 6246 , 6248 , 6251 , 6253 , 6254 , 6255 , 6257 , 6259 , 6260 , 6273 , 6275 , 6277 , 6278 , 6279 , 6281 , 6282 , 6286 , 6287 , 6288 , 6289 , 6295 , 6296 , 6424 , 7222 , 7386 , 7388 , 7390 , 7695 , 7696 , 7701 , 7702 , 7777 , 7778 , 7861 , 8012 , 8040 , 8041 , 8042 , 8043 , 8044 , 8045 , 8046 , 8047 , 8048 , 8049 , 8051 , 8054 , 8056 , 8057 , 8288 , 8766 , 8769 , 8770 , 8775 , 8776 , 8777 , 8779 , 8780 , 8781 , 8784 , 8785 , 8809 , 8811 , 8813 , 8821 , 8828 , 8832 , 8843 , 8962 , 8983 , 9276 , 9286 , 9287 , 9288 , 9289 , 9649 , 10091 , 10092 , 10093 , 10094 , 10095 , 10096 , 10097 , 10098 , 10099 , 10100 , 10134 , 10139 , 10243 , 10249 , 10250 , 10252 , 10253 , 10267 , 10438 , 10440 , 10446 , 10447 , 10450 , 10451 , 10453 , 10454 , 10455 , 10456 , 10458 , 10473 , 10474 , 10475 , 10476 , 10477 , 10478 , 10479 , 10480 , 10481 , 10482 , 10483 , 10484 , 10485 , 10486 , 10487 , 10489 , 10490 , 10491 , 10492 , 10493 , 10494 , 10495 , 10496 , 10497 , 10498 , 10500 , 10502 , 10503 , 10504 , 10505 , 10506 , 10511 , 10512 , 10514 , 10515 , 10516 , 10517 , 10518 , 10519 , 10520 , 10521 , 10522 , 10523 , 10524 , 10525 , 10526 , 10527 , 10528 , 10529 , 10530 , 10531 , 10532 , 10533 , 10534 , 10535 , 10537 , 10538 , 10539 , 10540 , 10541 , 10542 , 10543 , 10544 , 10545 , 10546 , 10547 , 10548 , 10549 , 10550 , 10551 , 10552 , 10553 , 10554 , 10555 , 10556 , 10557 , 10558 , 10559 , 10560 , 10563 , 10564 , 10565 , 10567 , 10568 , 10569 , 10570 , 10571 , 10572 , 10573 , 10574 , 10575 , 10576 , 10577 , 10578 , 10579 , 10580 , 10581 , 10582 , 10583 , 10584 , 10585 , 10586 , 10587 , 10588 , 10589 , 10590 , 10591 , 10592 , 10593 , 10594 , 10595 , 10596 , 10597 , 10598 , 10599 , 10600 , 10601 , 10602 , 10603 , 10604 , 10605 , 10607 , 10608 , 10609 , 10610 , 10611 , 10612 , 10613 , 10614 , 10615 , 10616 , 10617 , 10618 , 10619 , 10620 , 10621 , 10622 , 10623 , 10624 , 10625 , 10626 , 10627 , 10628 , 10629 , 10630 , 10631 , 10632 , 10633 , 10634 , 10635 , 10636 , 10637 , 10638 , 10639 , 10640 , 10641 , 10642 , 10643 , 10644 , 10645 , 10646 , 10647 , 10648 , 10649 , 10650 , 10651 , 10652 , 10653 , 10654 , 10656 , 10657 , 10658 , 10659 , 10660 , 10661 , 10662 , 10663 , 10664 , 10665 , 10666 , 10667 , 10668 , 10669 , 10671 , 10672 , 10673 , 10674 , 10678 , 10680 , 10682 , 10683 , 10685 , 10686 , 10687 , 10688 , 10691 , 10692 , 10693 , 10694 , 10695 , 10696 , 10697 , 10698 , 10699 , 10700 , 10701 , 10703 , 10704 , 10705 , 10706 , 10708 , 10709 , 10710 , 10711 , 10712 , 10716 , 10717 , 10719 , 10720 , 10721 , 10722 , 10723 , 10726 , 10728 , 10729 , 10731 , 10732 , 10733 , 10735 , 10736 , 10738 , 10739 , 10740 , 10741 , 10742 , 10754 , 10756 , 10757 , 10758 , 10759 , 10760 , 10761 , 10762 , 10763 , 10764 , 10765 , 10767 , 10769 , 10770 , 10771 , 10772 , 10773 , 10774 , 10775 , 10776 , 10777 , 10778 , 10779 , 10780 , 10781 , 10782 , 10783 , 10784 , 10785 , 10786 , 10788 , 10789 , 10792 , 10796 , 10804 , 10805 , 10806 , 10807 , 10808 , 10809 , 10811 , 10812 , 10814 , 10816 , 10817 , 10819 , 10820 , 10823 , 10824 , 10826 , 10827 , 10829 , 10831 , 10832 , 10834 , 10836 , 10837 , 10838 , 10839 , 10840 , 10841 , 10842 , 10843 , 10844 , 10845 , 10846 , 10850 , 10851 , 10852 , 10853 , 10859 , 10860 , 10861 , 10863 , 10865 , 10866 , 10867 , 10868 , 10869 , 10871 , 10872 , 10873 , 10874 , 10875 , 10876 , 10877 , 10878 , 10879 , 10880 , 10881 , 10882 , 10883 , 10886 , 10887 , 10888 , 10890 , 10891 , 10892 , 10893 , 10894 , 10895 , 10896 , 10897 , 10898 , 10899 , 10901 , 10903 , 10904 , 10905 , 10906 , 10907 , 10908 , 10909 , 10910 , 10911 , 10912 , 10913 , 10915 , 10917 , 10919 , 10920 , 10921 , 10922 , 10924 , 10925 , 10926 , 10927 , 10932 , 10933 , 10935 , 10936 , 10937 , 10938 , 10939 , 10940 , 10941 , 10942 , 10943 , 10944 , 10945 , 10946 , 10947 , 10948 , 10949 , 10950 , 10951 , 10952 , 10953 , 10954 , 10955 , 10957 , 10958 , 10959 , 10960 , 10961 , 10962 , 10963 , 10964 , 10965 , 10966 , 10967 , 10968 , 10969 , 10970 , 10971 , 10972 , 10973 , 10974 , 10975 , 10976 , 10978 , 10979 , 10980 , 10983 , 10984 , 10985 , 10987 , 10988 , 10989 , 10990 , 10991 , 10992 , 10993 , 10994 , 10995 , 10996 , 10997 , 10998 , 10999 , 11000 , 11001 , 11002 , 11003 , 11004 , 11005 , 11006 , 11007 , 11008 , 11009 , 11010 , 11011 , 11012 , 11013 , 11014 , 11015 , 11016 , 11017 , 11018 , 11019 , 11020 , 11021 , 11022 , 11023 , 11024 , 11025 , 11027 , 11028 , 11029 , 11030 , 11031 , 11032 , 11033 , 11034 , 11035 , 11036 , 11037 , 11038 , 11039 , 11040 , 11041 , 11042 , 11043 , 11044 , 11045 , 11046 , 11047 , 11048 , 11049 , 11050 , 11051 , 11052 , 11053 , 11054 , 11055 , 11056 , 11057 , 11058 , 11059 , 11060 , 11061 , 11062 , 11063 , 11064 , 11065 , 11066 , 11067 , 11068 , 11069 , 11070 , 11071 , 11072 , 11073 , 11074 , 11076 , 11077 , 11078 , 11079 , 11080 , 11081 , 11082 , 11083 , 11084 , 11085 , 11086 , 11087 , 11088 , 11089 , 11091 , 11092 , 11093 , 11094 , 11098 , 11100 , 11102 , 11103 , 11105 , 11106 , 11107 , 11108 , 11111 , 11113 , 11115 , 11116 , 11117 , 11118 , 11119 , 11120 , 11121 , 11122 , 11123 , 11124 , 11125 , 11126 , 11128 , 11129 , 11130 , 11131 , 11133 , 11134 , 11135 , 11136 , 11137 , 11141 , 11142 , 11144 , 11145 , 11146 , 11147 , 11148 , 11151 , 11153 , 11154 , 11156 , 11157 , 11158 , 11159 , 11160 , 11161 , 11163 , 11164 , 11165 , 11166 , 11167 , 11179 , 11181 , 11182 , 11183 , 11184 , 11185 , 11186 , 11187 , 11188 , 11189 , 11190 , 11191 , 11192 , 11193 , 11194 , 11195 , 11197 , 11199 , 11200 , 11201 , 11202 , 11203 , 11204 , 11205 , 11206 , 11207 , 11208 , 11209 , 11210 , 11211 , 11212 , 11213 , 11214 , 11215 , 11217 , 11218 , 11221 , 11225 , 11233 , 11234 , 11235 , 11236 , 11237 , 11238 , 11240 , 11241 , 11243 , 11245 , 11246 , 11248 , 11249 , 11252 , 11253 , 11255 , 11256 , 11258 , 11260 , 11261 , 11263 , 11264 , 11265 , 11266 , 11267 , 11268 , 11269 , 11270 , 11271 , 11272 , 11273 , 11274 , 11278 , 11279 , 11280 , 11281 , 11287 , 11288 , 11290 , 11298 , 11301 , 11302 , 11303 , 11305 , 11310 , 11312 , 12300 , 12306 , 12308 , 12329 , 12330 , 12333 , 12335 , 12337 , 12339 , 12340 , 12341 , 12346 , 12347 , 12348 , 12349 , 12351 , 12352 , 12361 , 12362 , 12372 , 12381 , 12390 , 12392 , 12393 , 12400 , 12402 , 12403 , 12404 , 12406 , 12407 , 12408 , 12410 , 12414 , 12417 , 12439 , 12458 , 12459 , 12462 , 12472 , 12473 , 12474 , 12475 , 12477 , 12479 , 12483 , 12484 , 12485 , 12489 , 12490 , 12492 , 12502 , 12503 , 12504 , 12505 , 12507 , 12508 , 12509 , 12514 , 12521 , 12522 , 12526 , 12529 , 12530 , 12532 , 12533 , 12541 , 12542 , 12543 , 12546 , 12549 , 12555 , 12559 , 12560 , 12561 , 12562 , 12563 , 12565 , 12566 , 12569 , 12571 , 12576 , 12579 , 12582 , 12585 , 12590 , 12593 , 12597 , 12598 , 12599 , 12601 , 12602 , 12604 , 12606 , 12609 , 12615 , 12616 , 12618 , 12623 , 12624 , 12629 , 12630 , 12631 , 12632 , 12633 , 12636 , 12639 , 12644 , 12648 , 12654 , 12656 , 12657 , 12658 , 12659 , 12660 , 12661 , 12664 , 12665 , 12672 , 12673 , 12674 , 12675 , 12677 , 12682 , 12683 , 12699 , 12720 , 12721 , 13776 , 13778 , 13787 , 13788 , 13797 , 13798 , 13799 , 13800 , 13803 , 13806 , 13807 , 13808 , 13809 , 13811 , 13812 , 13813 , 13814 , 13815 , 13816 , 13842 , 13845 , 13848 , 13849 , 13853 , 13854 , 13860 , 13861 , 13862 , 13902 , 13903 , 13913 , 13924 , 13925 , 13928 , 13935 , 13937 , 13938 , 13947 , 13950 , 13951 , 13962 , 13965 , 13966 , 13986 , 13987 , 13989 , 13990 , 13998 , 14002 , 14006 , 14007 , 14008 , 14011 , 14050 , 14213 , 14231 , 14232 , 14246 , 14247 , 14248 , 14249 , 14250 , 14251 , 14253 , 14255 , 14257 , 14258 , 14259 , 14260 , 14262 , 14263 , 14266 , 14282 , 14285 , 14297 , 14302 , 14530 , 14798 , 14799 , 14805 , 14806 , 14807 , 14808 , 14809 , 14840 , 14945 , 14949 , 14950 , 14953 , 14965 , 14966 , 15204 , 15207 , 15212 , 15271 , 15274 , 15276 , 15277 , 15278 , 15280 , 15282 , 15285 , 15292 , 15293 , 15294 , 15295 , 15296 , 15299 , 15415 , 15447 , 15558 , 15769 , 15770 , 16591 , 16805 , 16811 , 16812 , 16813 , 16865 , 16870 , 17566 , 17583 , 17624 , 17647 , 17649 , 17651 , 17776 , 17777 , 17778 , 17779 , 17780 , 17781 , 17782 , 17867 , 17890 , 18350 , 18356 , 18409 , 18420 , 18421 , 18422 , 18423 , 18424 , 18436 , 18438 , 18439 , 18447 , 18850 , 18856 , 18943 , 18982 , 18985 , 18986 , 18987 , 18988 , 18989 , 18990 , 19288 , 19294 , 19317 , 19322 , 19323 , 19544 , 19557 , 19570 , 19571 , 19572 , 19607 , 19630 , 19638 , 19639 , 19640 , 19641 , 19700 , 19904 , 19976 , 19977 , 19979 , 19980 , 20217 , 20221 , 20229 , 20233 , 20234 , 20268 , 20288 , 20289 , 20290 , 20292 , 20295 , 20296 , 20297 , 20300 , 20305 , 20308 , 20310 , 20314 , 20315 , 20316 , 20317 , 20630 , 20632 , 20634 , 20638 , 20639 , 20640 , 20641 , 20643 , 20648 , 20670 , 20677 , 20711 , 20719 , 20720 , 20721 , 20722 , 20723 , 20724 , 20730 , 20733 , 20734 , 20736 , 20737 , 20738 , 20740 , 20741 , 20742 , 20743 , 20746 , 20747 , 20750 , 20753 , 20754 , 20755 , 20756 , 20760 , 20762 , 20763 , 20764 , 20766 , 20767 , 20769 , 20770 , 20772 , 20773 , 20775 , 20776 , 20777 , 20778 , 20779 , 20782 , 20784 , 20785 , 20786 , 20789 , 20790 , 20791 , 20825 , 20869 , 20871 , 20873 , 20881 , 20898 , 20900 , 20901 , 20905 , 20907 , 20908 , 20909 , 20913 , 20915 , 20916 , 20917 , 20920 , 20959 , 20960 , 20972 , 21118 , 21278 , 21290 , 21576 , 21656 , 21669 , 21670 , 21672 , 21673 , 21716 , 21717 , 21725 , 21727 , 21730 , 21845 , 22066 , 22198 , 22706 , 22743 , 22754 , 22766 , 22769 , 22799 , 22854 , 22884 , 22885 , 22891 , 22899 , 22917 , 23197 , 23225 , 23360 , 23395 , 23515 , 23584 , 23653 , 23665 , 23670 , 23879 , 23880 , 23962 , 24154 , 24158 , 24160 , 24184 , 24193 , 24848 , 24849 , 24853 , 24859 , 24860 , 25300 , 25308 , 25309 , 25310 , 25311 , 25312 , 25313 , 25314 , 25315 , 25316 , 25317 , 25318 , 25319 , 25320 , 25328 , 25333 , 25335 , 25336 , 25393 , 25395 , 25396 ]