benchmarks.wiki / Public workspace
.·:=+#%%%#*+=-:··....····::::::····::--=++**#**+=-:·.. ..·:-=++****++======++*#####**+=-:···.··::-=+***+=-:·.
.·:-=+*++=--:·.. ...············::---===--::·.. ..··:--=====---::::::-***##**+=-::·....··:-=++**+=-:·.
..···::··... ..............·······... ...·········......::++***++==-:··....··:-==++*+=:·..
..::==++++==-:··......·:--=+++=-:·..
..··--====--::·.......·:--=++++-:·..
.·::-----::··......··:-==+**+=-··.
..··:::::::··......·::-=+***+=-:·.
..··:::::········::-=+**##*=-:·.
...··::::::::::::--=+**###*=-:·..
..··:::::::::···············..... ......···.... ..·::-----------==++*####*=-:·.
..·:=+*********++=---::---------::··......··::::::::·.. .·::-==++++=====+++******+=:·..
...·:-+*%@@@@@@@@@@@%*++=====++++++==-::···.···::--==--::·. ..:-=+**###***++++++++++++=-:·.
.·:-==++=-:··......··::---==-----==++*#%%@@@%#*+=:·. ...······.....··:-=++**##*++=-:::·::--=+##%@@@%#+-:·.
..·::---::·.. ...··::::::::::::--===+++==-:·.. ...····.......··::--*###**+=--:::::-=+*#%%@@%%*=-·..
...···... ...............·········... ......... ......--#####*+=--:::::-=+**#%%%##+-:..
..-=####**+=--:::::--=+*####*+=:·.
..--*###*++=-:::::::-=++****+=-·.
..--*****+=--::···::--=++**++=:·.
..:-+++++==-::·····::-==++++==:·.
..::======--::·····::-==++++==:·..
.··--===---:::··:::--==++++==-:·..
..···::::·····......·····..... ...········.... .·:---==----:::::--==+++++==-:·..
.·:-=+*****++==-------------::···......··:--=====--:··.. ...:--=======------===+++++==::·..
.·:=+#%@@@@@@@@%#**++++++++++++=-::······:-==+****++=-:·. ..·:-=++***+++=============--:·..
..·····.. .··:--=======+++*#%@@@@@@@@@@@#*=-:·............ .·:-==+++==-::·····:-=+*#%@@@@@%#+=:·..
...·.... ..··:::---------==+*********+=-:·.. ..·::--+++==-::::::-=+*#%@@@@@@%*=-·.
.. ....·············:::::::::··.. ....--***++=--::--==+#%@@@@@@#*+-·.
.·==##**++=-----=+*#%%@@@%#*=-·.
··==%##**+===--==++*##%##*+=:·.
··=+%%##*++==---==++****+=-:·.
··=+%%##*+==------===++==-:·..
··==###*++=--:::::----=---:··.
··==#***+==-::::::::-----:::··..
..··········.............. ...·······...........--**+++=--:::··::::-----:::··......
.·:--=+++++==--:::::::::::··.. ..·:--=====--::·······:::-+++++==--:::::::::-----:::··.....
.·:=+#%%@@@%##*+===---===---::·.. .·:-+*##%%##*+=-::····::-=+++**++==--:::::::::---::::··.....
.. ..··::::::::--=+*%@@@@@@@@@@@@@#*+=------:::··.. ..·:-=++++=--:··...··:-=*#%%@@@%##+=-:·..
..···::::::::--==+************=--:···......... ..·::----==-::····:-=+*#%@@@@@%#*=-·.
..........····:::::::::::::··... ....·--+==--::::-=+*#%@@@@@%#+=:·
··=-*++==---==+*#%%@@@@%*+-·.
··==#**++====++*##%%%#*+=:·
··++%##*+++===+++***++=-:.
::++%%#**+==========--:·. ...
::++%%#*+==--::::::::··.. ..··..
::++%#*+=--:···········.........·····..
...···:::::::············.... ....····......·······==#*+=-::··......··········::::::··.
...... ..·::-=+*****+++==-------:::··. .·::-======---::::----====*++=-:··.......···:::::----:::···.
............·:-+*#@@@@@@@%##*++====---::·. ·:=+*#%%%%#**+==---==+++****+==-:··.......··::--------:::··..
...·····.......·:-=*#@@@@@@@@@%#*++======---::··. ..·:=+*#####*+=-:··..··:-=+*#####**+=-:·..
.............··:-=+*********+=--:::········... ..·::-====--:-::·····:-=+*#%@@%#*+=:·.
... ....··:::::::::::···....... ...······-:--::·::--=*#%%@@%%*+-:.
··--=------=++*#%%%%#*=-·.
··=-++======+**###**=-:. ....
··==**++=====++++==-:·. .····.
::++#*++==------::··.. .·:--:·.
::++#*+=-::····..... .·:--==-:·.
::+=*+=::·.. ......··:--==+==-:·.
..···::::::::::::::::::::··.. .....·············:::··=-+-:·.. ..··::--==+++++==-:·
....·:-==+**********+++++++==--:·. .·:-========-----=======--:-:·. .··:-==+++****+=--:·.
.......··:-=*#%@@@@@@@@@@@%###***+==-:. .:=+#%@@@@@%#**+++++++***++=--:·. .·:-=++*******+=-::·..
..··:--===--::··....··:-=+*#%%%##*+==-::::::::::··.. .·:-+#%@@@@@@%*+=:··...··:-==+++++=--:·.... .....
...········.... ...·:--=+++++==-::····....·...... ..·:-=++***+==-:···...··:-=+**##*+=-:·. ....
...... ...···:::::···.... ...····::····.·······::-=+*###*+=-·. ..··.
..:·::·::--=+**#**+=:·. .·:::·.
·.::------==++++==-·. .·:---:·.
··-:=-----------:·.. ·:-=+=-:·.
··--=--:::·····... .·:=+**+=-:·.
··-:-::·... ..·:-=+#%#*+=-:·.
··:·:·. ..··::-=+*#%@%#*+=-:·
...············:::::::::··.. ....·····················.·.. ..·:-=+**##%%@@%#*+=:·.
..·:--=++*****++++++****++=-:·. .·:-=++++++====---=====--::·.. .·:-+*#%%@@@@%%%#*=-:·.
..·:=+*%@@@@@@@@@@@@%%%%##*+=-:. .·-+#@@@@@@@%%#*+++=+++++==-:·.. .·-=*#%@@@@@@%##*+--:·..
..·:=*##%%%##*+==-----=+**#%%%%#**+=-:···........ .·:=*%@@@@@@@@@#+-:·.. ..··:--===--:··......··::::··.
..·:-=======--::·····::--======--::·.... ..·:-=+*******+=:·.. .·:-==+++==-:·.. ..·:::::·..
..········..... .....········.... ....··:::::::··.. ..·:-=++*++=-:·. .·:--=--:·.
. ..··:-=++++==-·. ·:-=++=-:·.
. ..··::--====--:·. .·-+*#*+=-:·.
..··::::::::::··.. .·:=*%%#*+=-:·.
..·····........... ...·:-+#@@%#*+=-:·.
...... ....··:--=+#%@@@%#*+=-:.
. . ..·:-==+*#%%@@@@@%#*+=:·.
..............·····::::···.. ..······················... .·:-+*#%@@@@@@@@@@%#+-:·.
.··::---====---====+++++==-:·. .·:-=++***++==----------:::··. .:-+*%@@@@@@@@@@%##+=-:·.
..·-=+*##%%%%%%%########**+=-·. .:=*%@@@@@@@@%*+==---------:··. ·:=*%@@@@@@@@@%#*+==-:·..
.·:=*#%@@@%%#**+++**##%@@@@@@%#*+=-:··...... .·-+#@@@@@@@@@@%+-·. .··:------::·····:--=+*++=-:·.
..·-=++**+++==-------==+++++==-::·.. ..·:-=+********+=:·. .·:-==++==-:··...··:-=+**++=-·.
..··::::::····......·········... ....···::::::::··.. .·-=+++++=-:··.....·:-+*##*+=-:.
.·:-==++++=-:·.. .·:-=*%%#*+=-:.
.·::--====-::·... ..·:-+*%@%#*+=-:.
..··::::::::··.....··:=+#@@@%#*+=-·.
.....············::-=+*%@@@@%#*+=:·.
..···::--==+*#%@@@@@@%#*+-·.
..·:-=+**##%%@@@@@@@@%#+-:.
....................······... ...···::·····................ .:-=*#%@@@@@@@@@@@@%%*=-:.
..··:::::::::::::::---===--:·.. ..:-=++****+==-:::·····::::···.. .·:=*#@@@@@@@@@@@%##*++-:·.
..·:-==+++++++++++++++++++=-:·. .·-+#@@@@@@@@%*+=-::···::::::··.. .·-=*%@@@@@@@@@@%#*+=--:·..
.·-=+*##***+++++**#%%@@@@@%#*+=-::··..... .·:=*%@@@@@@@@@@#=:. .·:--=====-------=+*#%%@%#+=:·.
.·:-=+++===------===++++++==-:··.. ...·:-=+*********+-:. .·-=++**++=--::::--=+*#%%%*+=:·.
..··::::··················... ....···:::::::::··.. ·:-=+****+==-::··::-=+*#%@%#+=:·.
.:-++****+==-:·····:-=+#%@@%#+=:·.
.·-=++++++=--:·····:-=+*%@@@%#+=:·.
··--=====---::···::-=+*%@@@@%#+=:·.
..::::------::::--=+*#%@@@@@%#+-·.
...···::---=====++**#%@@@@@@%*=:·.
..·:-==++***####%%@@@@@@%*=-·.
.......... ........... ..···::::···.... .......... .·:-=+*#%%@@@@%%%%%%%%##*=-·.
...··::::····.....··:::---:::·.. .··:-=+****+=--:··.....···::::··.. .·:-+*%@@@@@@@@@%%###**++=-·.
..··::-==-----:::---=======-:··. .·-=*#@@@@@@@#*+-:··...···::--::··.. .·:=*#@@@@@@@@@@%##*+==--::·.
.·:-=+++===---==++*######**+=--:···........ ..·:-=*%@@@@@@@@@%+-· .·:-=++++++=====++*#%%@@@@%#+-:..
.··:--=---::::::---=======-::·.. ....··:--=+********+-:·. .-=+*####*++======+*##%%%%#*=:·.
...······.......·········... ....·····:::::::···.. ·:+*#%%%%#*+==----==+*###%##+-:·.
.:-*#%%%%#*+=--::::-==+*####*+-:.
..--##%%##*+=-::::::-==+*####*=-·.
..--*****++=--::::::-=+**####*=-·.
..::=++++==---:::::-==+*#####*=-·.
..··--======-------==+*######*=:·.
..:--============++**#####*+=:·.
........ .......... ...···:::···... ....··..... ..:--=++******+++****####*++-·.
...·····.... ....··::::-:::···......··:--=++++==-:··.. ...··::---::··.. ..:-=**#%%%%###**********+==:·.
..···:::::·····::--=======-::···.···:-=+*#%%%%#*+=-:·.....··:--=====-:·.. ..·:-+*#%@@@@@%%##**++++++==-:·.
.··:--===-::::::--==++++++==--:::···········..···::-+*#@@@@@@@@%*=:. .·:=+******++===++*##%@@@@@%#*=:·.
..··::::········::---==---::·... ....···::--==++*****+=-:·. ..·:-#%%%%##*++===++*##%%%%%#*=-·.
................·······... ....······:::·····... ..·=+@@@@%%#*+=====++**#####*+-:.
··++@@@@%#*+==----==++****++=:·.
··++@@@%#*+=--::::--=+++*++=-:.
··++%%%#*+=-:::·:::-==++++==-:.
··==##*++=-::····::--==+++=-:·.
..--+++==--::····::--==+++=-:·.
..::=====--:::··:::-==++++=-:·.
............. .....········.. ...·······.... .·:=====---::::::--==++++=--:.
....... ...··::-----:::········::---==--::·.. ..·::-=====--:··........··-=======-------==+++++=--:..
....········:::-===+++++==-:::::::--==+****+==-:·......·:-=+**##**+=-:·......··:-=+++++++===---===+++++=-::..
.·::::::··...···:--==+++===---:::::::::::···::::-=+*#%@@@@@%#+=:· .:-=+*****++==--===+*#%%@@@@%#*+=-··..
...···.........··:-------::··...........···::::---===+++===-:·.. .··:-==+%##**+=====++*#%%@@@%#*+=-:·.
....······... ....··············.... ..···++@%%#*+======+**#%%%%#*+=-:·.
::**@@%#*+==---==+**####*+=-:·.
::**@%#*+==-----==+*****+=-:·.
::*+@%#*+=-:::::-==+++++=-:·.
::++##*+=-::···::--==++==-:·.
··==*++=-::·····::--====-:·.
··--+==-::··..···:---==--:·.
......·...............······... ..···::·····...........::==-::··....··::------:·.
.........···::-------:::·······:::---:::··. .·:-==++*+++=--:········::::---::··....··::------:·.
...···:::::--==+++++++==--::::::::--=====--:··......·:-+*#%@@@@%#*+=-:······::------::····.···::------:·..
..··... ..·::-=++***+++==---::::::::::·::::--=++*##%##**=-:·. .·:-=+****+==-::···::-=++*####**+==---:::··..
.. ..·::-======--:··.........····::::::-----===---:··. ..·:--====-+=--:::::-==+*######*++=--::····..
...···:····... ....··········......... ...·····=-++=-::::--=+*##%%%##*+==--:···...
··==*+=--:::--=+*##%%%##*+=-::··.....
:·==*+=---:--==+*##%%%#*+=--:·.....
:·+=*+=--:::--=+**#####*+=-:·..
:·==*+=--:::--=++*###**+=-:·..
··==+==-:::::--=++****+=-:·..
··=-+=-::···::-==+++++==-·..
.......................·····... ..············...········--=-::·····::-==+++==-:·.
......····::::-----:::········::::::::··.. .·:-==++**++==---::::--------:--:·······:--=====-:·.
..···:::-----==++++++==--:::··:::-------::·.. ..·:=+#%@@@@@@%#*++=----====++==--::··...···:--===--:·.
..·-=+*##%%##*++=--:::::···········::-==+*####**+=-:··....··:-=+**#**+=-::·......··::----:::·····:::--:::·.
.·:-=++**++==-:··... .....·······:::::---===---::·... ...··:-------:····......·::--===---::::::-----::·.
..··::::::··.. ...............···...... ....·····..···......··:-===++===-----------::·.
..····....··:-==++**+++==---------::·.
..····...··::-=+******++==-------::··.
..:·:······:-=+**####**+==------:::·..
·.:·:·····:--=+*#%%%##*+==----::::··..
·.:·::···::-=+*##%%%##*+=--::::····..
·.:::::·:::-=+*#%%%%##*+=-::·····....
............. .....········... .....··...........········.::-:::::--=+*##%%##*+=-:··........
.......·····:::::::········:::------::·.. ..·::--====---::::::---====---::-:::::--=+*#####*+=-:··..
..·····::::---=====---:::::::--======--:·. .·:-+*##%%%##*++=====++******++=-:::·:::-=+**###**+=:·..
.:-+*#%@@@%%#*+=-::···········...···::-=+**####*+==-::···::-=+*#%%%%#*+=-:···...········.. .··:::::·..
.·:-=+*****+=-:·.. ......·······::---=====--::···...··::--======-::·.........······... ..·:---::·..
..·::::::::·.. .............·········..... ....·······... . ...·······.......··:-----::·.
..···:::···....··:-====--:·.
.··::::::::····::-==++==-:·.
..·::-------::::--==++++=-:·.
.·::-===+===-----==+++++=-:·.
.··:-=++***++=======++++==-:·.
..·:-=+*####**++=====+++==-:·..
...···:::::···... ........ ........... . ....·:-=+*#%%%%#**++========-::·.
.......············::-==+++++=-::·.. ..···:::····.....···:::::::···.....··:-=+*#%@@@%%#*+==-------::·..
.......···:::------::---==+**####**+-:·.. .·::-=====--:::·:::--===++==--:······::=+*#%@@@@%%#*+=-::::::···...
.·-+#%@@@@%#*+=-:···...·········..···::-=++**#**++=-:·····:-=+*#%@@@@%%#*+==----======--:··. .··:---::·..
..·:=+*****+=-:·.. ..........···:::--=====--::··...···:--=++++++==-::···:::------:··.. .·::----:·..
..··::::::·.. ............··········..... .....····::····......···::::::··.. ..·:-==--:·..
.....········.. .··:-===-::·.
...······... ..·:-=++==-:·.
..······.......··:-=+**+=-:·..
..·············::-=+*#**+=:·..
..··:::::::::::--=+**##*+=:·..
.·::--===------==+**###*+=:·.
..··:::::::::···................. ....... .·:--=++++++====+++**##*+=-:·.
.....·::-=+********+=-::··...····::::···.... ....·······... .·:-=+**###***+++++++***+=-:·..
...······:::--=+*%@@@@@@@@@#*=-:·······::-----::··......··:::--::··.. .·:-=+*#%%%%%##*+++===+++=-::·.
██████╗ ███╗ ███╗███╗ ██╗██╗ ███╗ ███╗ █████╗ ████████╗██╗ ██╗
██╔═══██╗████╗ ████║████╗ ██║██║ ████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
██║ ██║██╔████╔██║██╔██╗ ██║██║█████╗██╔████╔██║███████║ ██║ ███████║
██║ ██║██║╚██╔╝██║██║╚██╗██║██║╚════╝██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
╚██████╔╝██║ ╚═╝ ██║██║ ╚████║██║ ██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /benchmarks/omni-math/tasks/test--82f02b6e-5129-…▌ posts · files
Omni-MATH / I have chosen five of the numbers {1,2,3,4,5,6,7}. If I told you what their product was, that would not be enough information for you to figure out whether their sum was even or od…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
problem
I have chosen five of the numbers . If I told you what their product was, that would not be enough information for you to figure out whether their sum was even or odd. What is their product?
Plain-text mathematical notation (without MathML)
I have chosen five of the numbers {1,2,3,4,5,6,7}. If I told you what their product was, that would not be enough information for you to figure out whether their sum was even or odd. What is their product?Original LaTeX notation
I have chosen five of the numbers $\{1,2,3,4,5,6,7\}$. If I told you what their product was, that would not be enough information for you to figure out whether their sum was even or odd. What is their product?Discussion
No discussion posts on this page yet. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.
Source and history
- task_id
82f02b6e-5129-504c-a70c-9e81a151cbdf- task_key
test--82f02b6e-5129-504c-a70c-9e81a151cbdf- task_revision_id
- 1
- config / split
- / test
initial import