Number of problems: 3218
Mathematica 95.80%
[1755 , 7481 , 7486 , 8249 , 8846 , 8847 , 8850 , 8851 , 8855 , 8857 , 8956 , 9236 , 9238 , 9656 , 9658 , 11015 , 11029 , 11139 , 11187 , 11194 , 11216 , 11258 , 11285 , 11341 , 11381 , 11387 , 11398 , 11413 , 11419 , 11565 , 11596 , 11606 , 11608 , 11609 , 11610 , 11615 , 11616 , 11619 , 11620 , 11622 , 11626 , 11678 , 11696 , 11712 , 11713 , 11740 , 11746 , 11747 , 11757 , 12430 , 12438 , 12453 , 12458 , 12469 , 12471 , 12472 , 12473 , 12474 , 12475 , 12478 , 12479 , 12480 , 12481 , 12489 , 12499 , 12505 , 12512 , 12518 , 12519 , 12521 , 12522 , 12523 , 12524 , 12525 , 12540 , 12542 , 12543 , 12563 , 12564 , 12565 , 12569 , 12609 , 12622 , 12626 , 12629 , 12633 , 12636 , 12652 , 12653 , 12662 , 12663 , 12664 , 12665 , 12666 , 12667 , 12668 , 12669 , 12670 , 12675 , 12676 , 12678 , 12679 , 12681 , 12682 , 12683 , 12684 , 12692 , 12697 , 12700 , 12715 , 12716 , 12718 , 12907 , 12908 , 12926 , 13588 , 13592 , 13597 , 13707 , 13906 , 13907 , 13909 , 13921 , 15707 , 16125 , 17033 , 17125 , 17481 , 17482 , 17483 , 18930 , 19338 , 19372 , 19420 , 19521 ]
Maple 96.30%
[459 , 460 , 472 , 2442 , 2445 , 2453 , 2639 , 2642 , 2659 , 3371 , 4009 , 6045 , 6058 , 6346 , 6864 , 6869 , 7232 , 7486 , 7710 , 8109 , 8117 , 8249 , 8260 , 8847 , 8855 , 8857 , 8956 , 11015 , 11029 , 11139 , 11187 , 11194 , 11216 , 11258 , 11387 , 11419 , 11565 , 11596 , 11606 , 11608 , 11609 , 11610 , 11615 , 11616 , 11619 , 11622 , 11624 , 11626 , 11678 , 11696 , 11757 , 11759 , 12453 , 12469 , 12471 , 12473 , 12474 , 12479 , 12480 , 12481 , 12512 , 12518 , 12519 , 12522 , 12523 , 12524 , 12525 , 12543 , 12564 , 12565 , 12569 , 12609 , 12619 , 12620 , 12621 , 12624 , 12629 , 12631 , 12636 , 12652 , 12653 , 12662 , 12663 , 12667 , 12668 , 12669 , 12670 , 12678 , 12679 , 12681 , 12684 , 12701 , 12706 , 12708 , 12713 , 12714 , 12715 , 12718 , 12926 , 13501 , 13502 , 13588 , 13597 , 13707 , 13909 , 13921 , 15707 , 16125 , 16454 , 17481 , 17482 , 17483 , 18341 , 18349 , 18358 , 18930 , 19338 , 19372 , 19521 ]
Sympy 54.69%
[266 , 267 , 381 , 413 , 422 , 459 , 460 , 463 , 472 , 490 , 495 , 907 , 930 , 931 , 1055 , 1064 , 1324 , 1346 , 1347 , 1348 , 1353 , 1354 , 1750 , 1752 , 1753 , 1755 , 1756 , 1757 , 1774 , 1776 , 1778 , 1781 , 1782 , 1784 , 1785 , 1786 , 1788 , 1832 , 1835 , 1836 , 1905 , 1945 , 1969 , 2085 , 2086 , 2089 , 2090 , 2098 , 2103 , 2411 , 2442 , 2443 , 2444 , 2445 , 2446 , 2453 , 2466 , 2467 , 2593 , 2639 , 2640 , 2641 , 2642 , 2643 , 2659 , 2664 , 2665 , 2670 , 3345 , 3361 , 3371 , 3385 , 3388 , 3389 , 3391 , 3392 , 3397 , 3399 , 3400 , 3784 , 3790 , 4007 , 4009 , 4010 , 4013 , 4016 , 4020 , 4022 , 4030 , 4031 , 4512 , 6040 , 6045 , 6058 , 6087 , 6088 , 6202 , 6203 , 6204 , 6205 , 6207 , 6251 , 6253 , 6255 , 6346 , 6351 , 6383 , 6407 , 6413 , 6414 , 6574 , 6756 , 6757 , 6759 , 6761 , 6766 , 6768 , 6771 , 6810 , 6818 , 6821 , 6833 , 6837 , 6838 , 6839 , 6858 , 6864 , 6869 , 6871 , 7002 , 7229 , 7232 , 7254 , 7268 , 7339 , 7481 , 7483 , 7486 , 7491 , 7493 , 7495 , 7497 , 7523 , 7535 , 7542 , 7546 , 7557 , 7558 , 7559 , 7679 , 7682 , 7698 , 7710 , 7714 , 7717 , 8000 , 8002 , 8003 , 8011 , 8013 , 8014 , 8015 , 8097 , 8109 , 8116 , 8117 , 8118 , 8134 , 8135 , 8144 , 8145 , 8152 , 8153 , 8155 , 8158 , 8165 , 8249 , 8257 , 8260 , 8282 , 8322 , 8363 , 8638 , 8805 , 8806 , 8807 , 8808 , 8812 , 8813 , 8815 , 8816 , 8818 , 8820 , 8821 , 8822 , 8823 , 8839 , 8840 , 8844 , 8845 , 8846 , 8847 , 8848 , 8849 , 8850 , 8851 , 8852 , 8853 , 8854 , 8855 , 8856 , 8857 , 8902 , 8907 , 8931 , 8956 , 8957 , 8963 , 8964 , 8981 , 9145 , 9150 , 9151 , 9158 , 9159 , 9166 , 9175 , 9177 , 9178 , 9179 , 9180 , 9181 , 9182 , 9183 , 9191 , 9192 , 9193 , 9194 , 9195 , 9196 , 9197 , 9198 , 9200 , 9202 , 9203 , 9204 , 9205 , 9206 , 9211 , 9212 , 9214 , 9215 , 9216 , 9217 , 9218 , 9219 , 9220 , 9221 , 9222 , 9223 , 9224 , 9226 , 9228 , 9229 , 9230 , 9231 , 9232 , 9233 , 9235 , 9237 , 9238 , 9240 , 9241 , 9242 , 9243 , 9244 , 9245 , 9246 , 9247 , 9248 , 9249 , 9250 , 9251 , 9252 , 9253 , 9254 , 9256 , 9258 , 9259 , 9260 , 9263 , 9264 , 9265 , 9267 , 9268 , 9269 , 9270 , 9271 , 9272 , 9274 , 9275 , 9276 , 9277 , 9278 , 9280 , 9281 , 9282 , 9283 , 9284 , 9285 , 9286 , 9287 , 9288 , 9289 , 9290 , 9291 , 9292 , 9293 , 9294 , 9295 , 9296 , 9297 , 9298 , 9299 , 9300 , 9301 , 9302 , 9303 , 9304 , 9305 , 9307 , 9308 , 9309 , 9310 , 9311 , 9312 , 9313 , 9314 , 9315 , 9316 , 9317 , 9318 , 9319 , 9320 , 9321 , 9322 , 9323 , 9324 , 9325 , 9327 , 9328 , 9329 , 9330 , 9331 , 9332 , 9333 , 9334 , 9335 , 9336 , 9337 , 9338 , 9339 , 9340 , 9341 , 9342 , 9343 , 9344 , 9345 , 9346 , 9347 , 9348 , 9349 , 9350 , 9351 , 9352 , 9353 , 9354 , 9356 , 9357 , 9358 , 9359 , 9360 , 9361 , 9362 , 9363 , 9385 , 9392 , 9393 , 9396 , 9397 , 9399 , 9400 , 9401 , 9403 , 9404 , 9405 , 9406 , 9408 , 9409 , 9410 , 9411 , 9412 , 9416 , 9417 , 9419 , 9420 , 9421 , 9422 , 9423 , 9426 , 9428 , 9429 , 9431 , 9432 , 9433 , 9435 , 9436 , 9438 , 9440 , 9454 , 9456 , 9457 , 9458 , 9459 , 9460 , 9461 , 9462 , 9464 , 9467 , 9469 , 9470 , 9471 , 9472 , 9473 , 9474 , 9475 , 9476 , 9477 , 9479 , 9481 , 9482 , 9483 , 9484 , 9486 , 9488 , 9489 , 9496 , 9504 , 9506 , 9508 , 9511 , 9514 , 9516 , 9523 , 9526 , 9527 , 9529 , 9531 , 9532 , 9534 , 9536 , 9537 , 9538 , 9539 , 9540 , 9541 , 9542 , 9543 , 9544 , 9545 , 9546 , 9550 , 9551 , 9552 , 9553 , 9559 , 9560 , 9561 , 9563 , 9566 , 9567 , 9572 , 9574 , 9575 , 9576 , 9577 , 9578 , 9579 , 9580 , 9583 , 9592 , 9593 , 9594 , 9595 , 9596 , 9597 , 9598 , 9599 , 9601 , 9603 , 9604 , 9605 , 9606 , 9607 , 9608 , 9609 , 9610 , 9611 , 9612 , 9613 , 9615 , 9617 , 9619 , 9620 , 9621 , 9622 , 9624 , 9625 , 9626 , 9627 , 9632 , 9633 , 9635 , 9636 , 9637 , 9638 , 9639 , 9640 , 9641 , 9642 , 9643 , 9644 , 9645 , 9647 , 9649 , 9650 , 9651 , 9652 , 9653 , 9655 , 9657 , 9658 , 9660 , 9661 , 9662 , 9663 , 9664 , 9665 , 9666 , 9667 , 9668 , 9669 , 9670 , 9671 , 9672 , 9673 , 9674 , 9676 , 9678 , 9679 , 9680 , 9683 , 9684 , 9685 , 9687 , 9688 , 9689 , 9690 , 9691 , 9692 , 9694 , 9695 , 9696 , 9697 , 9698 , 9700 , 9701 , 9702 , 9703 , 9704 , 9705 , 9706 , 9707 , 9708 , 9709 , 9710 , 9711 , 9712 , 9713 , 9714 , 9715 , 9716 , 9717 , 9718 , 9719 , 9720 , 9721 , 9722 , 9723 , 9724 , 9725 , 9727 , 9728 , 9729 , 9730 , 9731 , 9732 , 9733 , 9734 , 9735 , 9736 , 9737 , 9738 , 9739 , 9740 , 9741 , 9742 , 9743 , 9744 , 9745 , 9747 , 9748 , 9749 , 9750 , 9751 , 9752 , 9753 , 9754 , 9755 , 9756 , 9757 , 9758 , 9759 , 9760 , 9761 , 9762 , 9763 , 9764 , 9765 , 9766 , 9767 , 9768 , 9769 , 9770 , 9771 , 9772 , 9773 , 9774 , 9776 , 9777 , 9778 , 9779 , 9780 , 9781 , 9782 , 9783 , 9805 , 9811 , 9815 , 9817 , 9818 , 9821 , 9822 , 9824 , 9825 , 9826 , 9828 , 9829 , 9830 , 9831 , 9833 , 9834 , 9835 , 9836 , 9837 , 9841 , 9842 , 9844 , 9845 , 9846 , 9847 , 9848 , 9851 , 9853 , 9854 , 9856 , 9857 , 9858 , 9859 , 9860 , 9861 , 9863 , 9865 , 9879 , 9881 , 9882 , 9883 , 9884 , 9885 , 9886 , 9887 , 9888 , 9889 , 9890 , 9891 , 9892 , 9894 , 9897 , 9899 , 9900 , 9901 , 9902 , 9903 , 9904 , 9905 , 9906 , 9908 , 9910 , 9911 , 9912 , 9913 , 9915 , 9917 , 9918 , 9925 , 9933 , 9935 , 9937 , 9940 , 9943 , 9945 , 9952 , 9955 , 9956 , 9958 , 9960 , 9961 , 9963 , 9964 , 9965 , 9966 , 9967 , 9968 , 9969 , 9970 , 9971 , 9972 , 9973 , 9974 , 9978 , 9979 , 9980 , 9981 , 9987 , 9988 , 9990 , 9998 , 10001 , 10002 , 10003 , 10005 , 10010 , 10012 , 11007 , 11008 , 11009 , 11012 , 11013 , 11014 , 11015 , 11016 , 11017 , 11020 , 11021 , 11022 , 11023 , 11028 , 11029 , 11031 , 11032 , 11033 , 11037 , 11038 , 11039 , 11041 , 11043 , 11044 , 11045 , 11046 , 11047 , 11048 , 11049 , 11050 , 11051 , 11053 , 11056 , 11057 , 11058 , 11059 , 11060 , 11061 , 11062 , 11063 , 11065 , 11066 , 11067 , 11069 , 11070 , 11071 , 11072 , 11074 , 11078 , 11081 , 11087 , 11089 , 11090 , 11094 , 11096 , 11097 , 11098 , 11099 , 11100 , 11101 , 11102 , 11104 , 11105 , 11106 , 11108 , 11109 , 11110 , 11111 , 11113 , 11115 , 11116 , 11118 , 11119 , 11120 , 11121 , 11123 , 11124 , 11125 , 11126 , 11127 , 11136 , 11139 , 11140 , 11153 , 11154 , 11155 , 11170 , 11171 , 11172 , 11173 , 11174 , 11175 , 11176 , 11178 , 11179 , 11180 , 11182 , 11184 , 11185 , 11186 , 11187 , 11188 , 11189 , 11190 , 11191 , 11192 , 11193 , 11194 , 11195 , 11196 , 11197 , 11198 , 11199 , 11200 , 11201 , 11202 , 11206 , 11207 , 11208 , 11209 , 11216 , 11222 , 11223 , 11228 , 11229 , 11230 , 11231 , 11232 , 11234 , 11241 , 11242 , 11244 , 11245 , 11250 , 11253 , 11255 , 11258 , 11260 , 11261 , 11262 , 11265 , 11275 , 11276 , 11281 , 11282 , 11283 , 11284 , 11285 , 11286 , 11288 , 11290 , 11292 , 11293 , 11297 , 11299 , 11300 , 11303 , 11304 , 11305 , 11306 , 11307 , 11308 , 11309 , 11310 , 11312 , 11313 , 11314 , 11317 , 11318 , 11319 , 11322 , 11323 , 11324 , 11325 , 11327 , 11328 , 11330 , 11331 , 11332 , 11333 , 11334 , 11335 , 11336 , 11337 , 11338 , 11339 , 11340 , 11341 , 11342 , 11343 , 11347 , 11350 , 11353 , 11354 , 11357 , 11358 , 11359 , 11361 , 11362 , 11363 , 11365 , 11367 , 11368 , 11370 , 11371 , 11372 , 11373 , 11376 , 11377 , 11380 , 11381 , 11382 , 11383 , 11384 , 11386 , 11387 , 11389 , 11392 , 11393 , 11394 , 11395 , 11396 , 11397 , 11398 , 11399 , 11400 , 11401 , 11402 , 11403 , 11404 , 11405 , 11406 , 11407 , 11409 , 11410 , 11411 , 11413 , 11414 , 11415 , 11416 , 11417 , 11418 , 11419 , 11420 , 11421 , 11422 , 11565 , 11570 , 11595 , 11596 , 11606 , 11608 , 11609 , 11610 , 11613 , 11615 , 11616 , 11617 , 11618 , 11619 , 11620 , 11622 , 11623 , 11624 , 11626 , 11631 , 11678 , 11696 , 11701 , 11707 , 11712 , 11713 , 11729 , 11740 , 11745 , 11746 , 11747 , 11750 , 11755 , 11756 , 11757 , 11759 , 12424 , 12425 , 12426 , 12427 , 12429 , 12430 , 12431 , 12433 , 12434 , 12438 , 12439 , 12440 , 12441 , 12442 , 12443 , 12444 , 12445 , 12447 , 12448 , 12449 , 12450 , 12451 , 12452 , 12453 , 12454 , 12455 , 12456 , 12458 , 12459 , 12463 , 12464 , 12466 , 12467 , 12468 , 12469 , 12470 , 12471 , 12472 , 12473 , 12474 , 12475 , 12476 , 12478 , 12479 , 12480 , 12481 , 12484 , 12485 , 12489 , 12492 , 12493 , 12494 , 12495 , 12496 , 12497 , 12499 , 12500 , 12501 , 12502 , 12504 , 12505 , 12506 , 12507 , 12509 , 12510 , 12511 , 12512 , 12513 , 12514 , 12516 , 12517 , 12518 , 12519 , 12520 , 12521 , 12522 , 12523 , 12524 , 12525 , 12527 , 12528 , 12529 , 12535 , 12536 , 12538 , 12540 , 12541 , 12542 , 12543 , 12546 , 12550 , 12551 , 12552 , 12553 , 12554 , 12555 , 12556 , 12557 , 12559 , 12560 , 12561 , 12562 , 12563 , 12564 , 12565 , 12566 , 12567 , 12568 , 12569 , 12571 , 12579 , 12581 , 12582 , 12585 , 12586 , 12587 , 12588 , 12589 , 12590 , 12591 , 12593 , 12597 , 12599 , 12600 , 12601 , 12602 , 12604 , 12605 , 12606 , 12607 , 12608 , 12609 , 12611 , 12612 , 12613 , 12614 , 12615 , 12616 , 12617 , 12618 , 12619 , 12620 , 12621 , 12622 , 12624 , 12625 , 12626 , 12628 , 12629 , 12630 , 12631 , 12633 , 12634 , 12635 , 12636 , 12637 , 12639 , 12640 , 12647 , 12648 , 12649 , 12650 , 12652 , 12653 , 12654 , 12655 , 12659 , 12661 , 12662 , 12663 , 12664 , 12665 , 12666 , 12667 , 12668 , 12669 , 12670 , 12672 , 12674 , 12675 , 12676 , 12677 , 12678 , 12679 , 12680 , 12681 , 12682 , 12683 , 12684 , 12686 , 12687 , 12688 , 12689 , 12690 , 12691 , 12692 , 12693 , 12695 , 12696 , 12697 , 12698 , 12699 , 12700 , 12701 , 12702 , 12703 , 12704 , 12705 , 12706 , 12707 , 12708 , 12709 , 12710 , 12711 , 12712 , 12713 , 12714 , 12715 , 12716 , 12718 , 12872 , 12886 , 12887 , 12888 , 12889 , 12891 , 12892 , 12896 , 12900 , 12902 , 12903 , 12906 , 12907 , 12908 , 12925 , 12926 , 12932 , 13312 , 13323 , 13324 , 13325 , 13445 , 13446 , 13447 , 13480 , 13500 , 13501 , 13502 , 13588 , 13590 , 13592 , 13595 , 13597 , 13706 , 13707 , 13710 , 13847 , 13906 , 13907 , 13909 , 13911 , 13912 , 13918 , 13919 , 13921 , 13932 , 13933 , 13934 , 13935 , 13937 , 14051 , 15184 , 15185 , 15198 , 15199 , 15203 , 15212 , 15447 , 15611 , 15632 , 15636 , 15640 , 15647 , 15707 , 16125 , 16281 , 16283 , 16286 , 16287 , 16434 , 16454 , 16478 , 16540 , 17043 , 17055 , 17056 , 17058 , 17059 , 17060 , 17061 , 17064 , 17067 , 17068 , 17083 , 17086 , 17089 , 17090 , 17129 , 17478 , 17480 , 17481 , 17482 , 17483 , 17490 , 17491 , 17499 , 17620 , 17621 , 17622 , 17624 , 17632 , 17901 , 17902 , 17918 , 17923 , 17929 , 17958 , 18179 , 18192 , 18199 , 18201 , 18202 , 18203 , 18242 , 18243 , 18273 , 18275 , 18276 , 18341 , 18342 , 18348 , 18349 , 18350 , 18358 , 18379 , 18455 , 18852 , 18857 , 18872 , 18919 , 18925 , 18926 , 18928 , 18930 , 18931 , 18932 , 18933 , 18942 , 18943 , 18944 , 18945 , 18946 , 18947 , 18950 , 18951 , 19266 , 19338 , 19356 , 19360 , 19361 , 19364 , 19365 , 19367 , 19370 , 19372 , 19373 , 19375 , 19377 , 19378 , 19379 , 19381 , 19385 , 19388 , 19389 , 19390 , 19393 , 19397 , 19400 , 19401 , 19403 , 19404 , 19406 , 19413 , 19415 , 19420 , 19426 , 19427 , 19428 , 19508 , 19517 , 19518 , 19521 , 19533 , 19535 , 19536 , 19537 , 19538 , 19540 , 19542 , 19544 , 19553 , 19554 , 19557 ]