Number of problems: 3147
Mathematica 99.81%
[12478 , 13915 , 17037 , 17110 , 17957 , 18869 ]
Maple 100.00%
Sympy 83.32%
[381 , 525 , 907 , 1268 , 1271 , 1272 , 1342 , 1346 , 1347 , 1348 , 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 , 1839 , 2411 , 2593 , 3160 , 3494 , 3495 , 3500 , 3748 , 3752 , 3757 , 3761 , 4139 , 4507 , 4512 , 6087 , 6088 , 6251 , 6253 , 6255 , 6407 , 6408 , 6413 , 6414 , 6490 , 6491 , 6574 , 6725 , 6753 , 6754 , 6755 , 6756 , 6757 , 6758 , 6760 , 6761 , 6762 , 6765 , 6768 , 6770 , 6771 , 7002 , 7480 , 7483 , 7484 , 7489 , 7490 , 7493 , 7494 , 7495 , 7498 , 7499 , 7523 , 7527 , 7535 , 7542 , 7546 , 7557 , 7676 , 7697 , 7990 , 8000 , 8001 , 8002 , 8003 , 8305 , 8805 , 8806 , 8807 , 8812 , 8818 , 8848 , 8853 , 8957 , 8961 , 8963 , 8966 , 8967 , 8981 , 9138 , 9140 , 9141 , 9146 , 9147 , 9151 , 9153 , 9155 , 9158 , 11001 , 11007 , 11009 , 11010 , 11013 , 11014 , 11024 , 11025 , 11030 , 11031 , 11034 , 11036 , 11038 , 11040 , 11041 , 11042 , 11047 , 11048 , 11049 , 11050 , 11052 , 11053 , 11054 , 11062 , 11072 , 11073 , 11082 , 11086 , 11087 , 11088 , 11093 , 11094 , 11101 , 11103 , 11104 , 11105 , 11107 , 11108 , 11109 , 11111 , 11115 , 11118 , 11122 , 11123 , 11140 , 11147 , 11160 , 11163 , 11171 , 11173 , 11174 , 11175 , 11176 , 11178 , 11180 , 11184 , 11185 , 11186 , 11190 , 11191 , 11193 , 11203 , 11204 , 11205 , 11206 , 11208 , 11209 , 11210 , 11215 , 11222 , 11223 , 11230 , 11231 , 11233 , 11234 , 11242 , 11244 , 11247 , 11250 , 11256 , 11260 , 11261 , 11262 , 11263 , 11264 , 11266 , 11267 , 11270 , 11272 , 11277 , 11280 , 11283 , 11286 , 11291 , 11294 , 11298 , 11299 , 11300 , 11302 , 11303 , 11305 , 11307 , 11310 , 11316 , 11317 , 11319 , 11324 , 11325 , 11330 , 11331 , 11332 , 11333 , 11334 , 11337 , 11340 , 11345 , 11349 , 11355 , 11357 , 11358 , 11359 , 11361 , 11365 , 11366 , 11373 , 11374 , 11375 , 11376 , 11383 , 11384 , 11400 , 11408 , 11411 , 11421 , 11422 , 12424 , 12426 , 12428 , 12433 , 12435 , 12445 , 12446 , 12447 , 12448 , 12454 , 12455 , 12456 , 12459 , 12463 , 12464 , 12467 , 12477 , 12478 , 12483 , 12484 , 12488 , 12490 , 12493 , 12496 , 12497 , 12501 , 12502 , 12503 , 12508 , 12509 , 12510 , 12515 , 12517 , 12546 , 12550 , 12551 , 12553 , 12561 , 12572 , 12573 , 12576 , 12583 , 12586 , 12595 , 12598 , 12599 , 12610 , 12613 , 12614 , 12634 , 12635 , 12637 , 12646 , 12650 , 12654 , 12655 , 12656 , 12659 , 12685 , 12686 , 12687 , 12694 , 12695 , 12698 , 12702 , 12717 , 12853 , 12871 , 12872 , 12887 , 12888 , 12889 , 12893 , 12894 , 12895 , 12897 , 12898 , 12899 , 12900 , 12902 , 12903 , 12906 , 12922 , 12925 , 12937 , 12942 , 13170 , 13438 , 13439 , 13445 , 13446 , 13447 , 13448 , 13449 , 13480 , 13590 , 13605 , 13606 , 13844 , 13847 , 13852 , 13879 , 13911 , 13914 , 13915 , 13917 , 13918 , 13922 , 13924 , 13925 , 13932 , 13933 , 13934 , 13935 , 13936 , 13939 , 14055 , 14067 , 14081 , 14192 , 14404 , 15225 , 15439 , 15445 , 15446 , 15447 , 15499 , 15504 , 16200 , 16217 , 16258 , 16281 , 16285 , 16410 , 16411 , 16412 , 16413 , 16414 , 16415 , 16984 , 16990 , 17037 , 17043 , 17054 , 17055 , 17056 , 17057 , 17058 , 17070 , 17072 , 17073 , 17080 , 17081 , 17083 , 17478 , 17490 , 17577 , 17617 , 17620 , 17621 , 17622 , 17623 , 17923 , 17929 , 17930 , 17952 , 17955 , 17957 , 17958 , 18179 , 18192 , 18204 , 18205 , 18206 , 18207 , 18242 , 18265 , 18273 , 18274 , 18275 , 18276 , 18335 , 18539 , 18612 , 18613 , 18614 , 18615 , 18616 , 18853 , 18857 , 18865 , 18869 , 18870 , 18904 , 18926 , 18928 , 18931 , 18933 , 18936 , 18937 , 18941 , 18944 , 18951 , 18952 , 18953 , 19266 , 19268 , 19269 , 19270 , 19274 , 19275 , 19277 , 19279 , 19284 , 19306 , 19313 , 19348 , 19357 , 19359 , 19360 , 19361 , 19367 , 19373 , 19377 , 19378 , 19379 , 19380 , 19383 , 19384 , 19387 , 19390 , 19391 , 19393 , 19397 , 19399 , 19400 , 19401 , 19403 , 19406 , 19407 , 19409 , 19410 , 19412 , 19413 , 19414 , 19415 , 19416 , 19419 , 19421 , 19423 , 19426 , 19428 , 19462 , 19506 , 19508 , 19510 , 19518 , 19535 , 19538 , 19542 , 19544 , 19546 , 19549 , 19552 , 19553 , 19554 , 19557 ]