benchmarks.wiki / Public workspace
..·:::-::::··.... .·::-=++*######**++=-::·.. ..·::--=+++********+++==--::··....
..·······.... ..·--=++*******++=--:··.. ..··::-==++**#########***++==--:··...
...... .·--=+++*****++==--::··... ....··::--==++**#####%%%%####***++==-::··..
··-==+++****+++===--::···········::---==+++***################***++=-::·..
..::=+++******+++===----:::::::----===++++***************####*******+=--:··.
..--**********+++====---------====++++**********+++++++++++++******++==-:··..
··==######***+++===---------====++++*******+++++===============++++++=--:··..
::++%%%##**++===---::::::----====+++++++++++====----:::::::-----======-::··..
::*+@%%#**+==--::········::::---=============---::::········::::----=--::··.
... ......·····::::::::::++%##*+=--::··.........···::::----=====-----::::·····....·····:::--:::··..
...·····......····:::--==+++*******+++=**+=--:··... .....···::::-----------::::····..........···:::::···..
...··::::::::::::---==+**##%%%%%%%%##**+==-::··... .....····:::::::-------:::::····...........········...
..··:::-----------::··.. ..··:---========---:::·····......······::::----====+++++++++++==--:::··......
...····:··:::······.... ...::---===========--------:::::::::::::::----===+++*****#****++===-::··...
................. ..·::--===++++++****+++++++====----:::::::::---==++***###%%####**++=-:··...
..::--==+++***############**+++==--::::····::::--=++**##%%%%%%%###*+=-:··..
··---==++**###%%%%%%%%%%%##**++=--:::·········::--==+*##%%@@@@@%%%#*+--:·..
..·:-===++***###%%%%%%%%%###**+==--::···........··::-==+*##%%@@@@@@%%*+=-:·..
..::==+++++*****#######***+++==--::···..... .....··::-==+*##%%@@@@@%%#+=-:··.
..::========++++++++++=====---::····.... ....··::-==+*##%%%@@@%%#+=-:··.
..::===---------------::::::·····....... .....···::-==+**##%%%%%%*+=-:·..
...............·············.....::--:::::::::··············.....................···::--=++**###%%##*+=-:·..
.....···········:::::----------:::::····:::··················................···········:::--==++***#####*+-::·..
...·······::::::----=========-----::::········································:::::::::::::---==++*******+=-:··.
..··:--==++++++==--::··..... .......······::::::----===+++*******+++===---:::::::---===+++++++==--::··...
...·:::---------:::···.... .···::--==++*##%%@@@@@@@%%#**+=--::········::--==++******++=--::··......
....···········...... ..··:--=+*#%@@@@@@@@@@@@@@%#+=--:·.... ....·::-=++**#####**+==--:···...
.··::-=+*#%@@@@@@@@@@@@@@%#*=-:··. .··:-=+*##%%%%###*++=-::··...
.··:-=+*#%@@@@@@@@@@@@@@%#+=-:·. .·:-=+**#%%@@@%%##*+=-::··..
..··:-==+*#%@@@@@@@@@@@%#*+=:··. .·:-=+*#%@@@@@@%%#*+=-:··..
..··::-==+*##%%%%%%%##*++=-:·.. ..·-=+*#%@@@@@@@%%#*=-::·..
..··::--=+++******++==--:··. .·:-+*#%@@@@@@@@%%*+=-:··.
..···::---========---::··... .·:-=+#%%@@@@@@@@%#+=-:··.
........··········...... ..···:::----------::::···.... ..·:-=+*#%@@@@@@@@%#+=-:·..
...·····::::::::::::·····...... .....·::::----------::::····....... ..··:-=+*#%@@@@@@@@%#+=-:·..
...··::::::::::::::::·····........····:::----=======----:::······......................··::-=+*#%@@@@@@@@%#+=-:·..
.·::-==++++++++===---:::····...........···:--=+*#%%@@@@@@@@@@@%#*++=--:::··::::--=++*******+==-::·...
..·::--====++=====--:::···... ...·:--=*#%@@@@@@@@@@@@@@%#*+=-:··.......··:-==+***##***+=--:··....
...····::::::::::····.... ..·:-=+*%@@@@@@@@@@@@@@@%*+=-:·. ..·::-=+**####**++=-::··......
.·:-=+#%@@@@@@@@@@@@@@%#+=-·.. ..·:-=+*######**+=--::··.....
..·:-+*#%@@@@@@@@@@@@%*+=:·. .·:-=+*##%%##**+==-::··....
.·:-=+*#%@@@@@@@@@%#*+-:·. .:-=+*##%%%%##*+==-::··...
.··:-=+**##%%%%%##*+=-:··. .·:-=+*#%%%%%##*+==-:···...
..··:-==++*******++==-::·. .·-=+*#%%%%%%#**+=-::··...
..··::--====++++++===--::··.. .·:-+*#%%%@%%%#**+=-:··...
.....········...... ..·::---===========-----:::··.. .·:-=*##%%@@%%##*+=-:··..
...··::::::::·····.... ....···::===++++++=====-----::::::···... .·:-=+*#%%@@@%%#**=-:··..
...··::::::::····..... ....··::-==++***####***+++===---:::::::::::····.. .·:-=+*#%%@@@%%#**=-:··..
.·::-=++****###***+++==--::···......···:--=+*#%@@@@@@@@@@@@%##*+=-:::····:::-=++*#%%@@@@%%##*+==--:::···....
..·:--==++*******++==--::··... .··:-=+*#%@@@@@@@@@@@@%#*+=--:··.....··:--=+*#%%@@@@@%##*+==--:::···...
...··::::::::::::::···... ..·:-=+*#%@@@@@@@@@@@%#*+=-:·... ..··:-=+*#%%@@@@@%##*+==--::···...
.··:-+*#%%@@@@@@@@%#*+=-:·.. ..·:-=+*#%%@@@@%%#**+==--::··....
.··:-=+*#%%@@@@%%#**+=-:·. .·:-=+*#%%@@@@%%#*++=--::···...
.·::-=+**##%%%##**+=-:··. .·:-=+*#%%@@@%%#**+==--:···...
..··:-==++**####**++=-:··. .·:-=+*#%%%%%%##*+==--:···...
...··::--==+++******++=--:·. .·:-=+*#%%%%%##*++=--:··....
..····::::---===++++***+++==-:·.. .·:-+**##%%###*++=--:··...
............. .....··-----------=====+++++++++=--:·.. .·:-=+**#####**+==--:··...
.....···.................····:::--------**+++=====---=====++++++++=--:·.. .·:-=+**####**+==-:··...
..·········..... .....··::-=++*#%%%@@@@@%%##**++===------===++++++++=--:·.. .··:-=+******++=--:·...
.·:-==+**##%%%%%%###**+==---:::····::::--==++**##%%%%%%##**+==-::···...···::-=+**#%@@@@@@@@@%%%####*****+=-::·.
..·:--==++********+++==--::···.........··::--==++***###***++=--::··......··:--=+*#%@@@@@@@@@@@@%%####***+=-::·.
..···::::::::::::::···.... ...··::--==++++++++==--::··.......··:-=+*#%@@@@@@@@@@@@@%%%###**+=-::·.
..··:--===+++++==--::··... ...··:-=+*#%@@@@@@@@@@@@@%%###**+=-::·.
..·::--===+++===--:··... ..··:-=+#%@@@@@@@@@@@@@%%###**+=-:··.
..·::--==+++++==--:··.. ..··:-+*#%@@@@@@@@@@@@%%##***+=-:··.
..··:--==++++++==--:··.. ..·:-=+*#%@@@@@@@@@@@%%#**++=-::·..
..··::-==++*****++=--:·... ..·:-=+*#%@@@@@@@@@%%#**++=-::··..
. ..·.......···::-==+**####**+==-:·.. ..·:-=+*#%%@@@@@@%%#**+==-::·...
.......···········...:·:::·······::--=++*###%%##*++=-:·.. .··:-=+*##%%%%%%##*++=--:··..
.....···::--===++++++++==---=--:::···:::--=+**#%%%%%%##*+=-:·.. ..··:-=+**######**+==-::·..
....·····.........··::-=+**#%@@@@@@@@@@%##*+==--:::::::--=++*#%%@@@@%%#*+=-:·.. ..··:-==+******++=--:··.
.·::-+*###%%%%###***++===--------------========+++======--:::··.... ....··:--==+++*********####%%%@@@@@@#*+-:·.
..·::-============----::::::·············:::::::::::::::::···.... ...··:--=++**#######%%%%%%@@@@@@@@@%*+=:·.
....···············........... . .........··········..... ..··::-=+**##%%%%%@@@@@@@@@@@@@@@@%#+=-·..
.....······..... ...·::-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-·..
....·······..... ...··:-=+**#%%@@@@@@@@@@@@@@@@@@@@%#+=-:..
..····::·····.........··:--=+*#%@@@@@@@@@@@@@@@@@@@@@%*+=:·..
..··::::::::···.......··::-=+*#%%@@@@@@@@@@@@@@@@@@%%#+=-:·..
..··:--------:::··.....···:-=++*#%@@@@@@@@@@@@@@%%%###+=-:··.
. ... .··:--==+++===--::········:--=+*##%@@@@@@@@@@%%###**++=-:·..
....···::::::::::::···...·... ..·:--=++*****++=--::······::-==+*##%%@@@@@%%##**++==-::·..
....··::--==++*********++==-::···.. ..··:-=+**######*++=--::····::--==+**###%%%##**++=--::··.
....··········:::-==+**#%%@@@@@@@@@%##*+=-:··.. ...·:-=+*##%@@@@%%#*+==--:::::::--==++********++=--:··..
.·:==+*###**+==--::::····:::::---===============----:::···..... ....···:::-------:::::::::--==+**#%%%%%%#*+-:·.
..··::::-:::····.......·······::::::::::···:::::······...... ...··:::---------------==++*##%%@@@@@@#*=-:·.
... .................. ..··........... ...··::---=============++*##%@@@@@@@@%#+=:·.
.... ..··::--=========+++++**##%%@@@@@@@@%#*=-:·.
. ...··:--===++++++++****##%%@@@@@@@@@%#*+-:·.
. ..··::--==++++*******###%%@@@@@@@@@%#*+-:·.
. . ... ..··::--==+++*******####%%%%@@@@@@@%*+=-:·.
. . ........... ...···:--==+++********##############*+=-:·..
. . ...········.........···::-==+++****************++++++=-::·..
...····:::::::::::::::··... . ...··:::::::·····..····:::--==+++******+++++====-----::··...
.....···::--==++***********++=-::·.. ..·::--------::::·····:::---===+++++++++===---:::····....
...····:::::---===++**##%%%@@@@%%##*+=-:··. ..·::--===++===---::::::::---====+++++====--::···....
.·::-====--:··.. ...···::---============----:::····......···::-==+*******++=--:·········:--=++*******++-:··.
....·..... ...····:::::::::::::·--::::····...........··::--=++*****++==--::······::--=++**######*+=-:·..
..................··:::·····..... ...··:--==++***+++==--:::···:::--=++*###%%%%%*+=-:·..
..··:····...... ..··::-==+++++++==---::::::::--=++*##%%%@@@%*+=-:·.
..·····........ ..··::--==+++++===--::::::::--==+**##%%@@@%#*+=:·.
..·.··......... ..··::--=========---::::::::--==++*##%%%@%#*+=-·.
..·.··.......... ..··::---=======---::::::::::--==++**##%#*+=-:·.
..·.·.............. ...··::----===----::::······::::--==++**++=--:·.
..·.·................. ....··:::---------:::············:::--===--::·..
.....····:::::::::::::::···...................................···:::-------:::····.........····:::::::··..
....·····::::--===+++*******+++==-::··............···········.......····::::-----::::···.............···:·····..
..··:::--------===+++**##%%%%%%##*++=-::·.... .....····::::::···········:::::-----::::····.............········...
.········.. ....····:::::--------::::···.........··:-=+#%@@@@@@@@@@@%#*+==--::::---===+++**++++==-::·..
.. ......················::::···.... ...·::-=*#%@@@@@@@@@@@%#*+==--:::::---==+++++++++++=-::··.
...................··::::···.... ...·:-=+*#%@@@@@@@@@@%#*+==--:::::::---===+++*****++=-::·.
..··-::::···.... ..··:-=+*#%@@@@@@@@@%#*+==-:::·····:::---==++**##**+=-:·.
..:·---:::···.... ...··:-=+*#%@@@@@@@@%#*+=--:···.....···::--=++*###**+=-:·.
..::----:::···..... ....·::-=+*#%%@@@@%%#*++=-:··.. ...··:--=+*##**+=-:·.
..::------:::···........··::-=+**##%%%##*++=-:··. .··:-=+***++=-:·.
..::==-----:::···........··::-==+*******++=-:··. ..·:-=++++==-:·.
..::=====----:::···......···::-==+++++++==-:··. .·::-=++==-:·.
..........·······:::::········...::=======----:::····...····::--=======--::·.. .·:-==++==-:·.
.....·········::::---====++++====----::::=========----:::·········:::---------::··.. .·::-=+++==-:·.
..···::::::::::::--==++***######***+++================---::::······:::::------:::··... ..·::-==+*++==-:·.
..···::::::::·····..............··········... .·:-=*#@@@@@@@@@@@@@@%##*++++++++++++++**++++++===--::··..
...·············....... .............·... .·-=+#%@@@@@@@@@@@@@@%##*++==============+++++++++=--:··.
................ ..··... .·:-+*%@@@@@@@@@@@@@@@%#*++=---:::::::----===+++*++==-:·.
..··:···.. .·:-=*#@@@@@@@@@@@@@@@%#*+=-::···.....···::--==+**++==-:·.
..··:::··.. ..·-=+#%@@@@@@@@@@@@@%#*+=-:·.. .··:-=+***++=-:·.
..::---::··.. ..·:-=*#%@@@@@@@@@@@@#*+-:·. .·:-=+**++=-:·.
..::==---::··... ...·:-=+*#%@@@@@@@@@%#*+-:·. .·-=+***+=-:·.
..:-++===--::··......··::-=+*#%@@@@@@@%#*+-:·. .:-=****+=-:·.
..--**+++==--::········::-==+*##%%%%%#**+-:·. .·-=+*##*+=-:·.
........................··--******++==--::····:::--==+***##***+=--:·. .·:-=+*###*+=-:·.
...............······:::::::::::::----==######***+==---::::::---==++++++++==-:··.. ..·:-=++*#%##*+=-:·
.................···:::----========+++**###%%%%%%##**++==----------=========---::··..........··::-==+**#####*+=-:·.
..·:-=+#####*++=--:··.... ....·········.. .·:-=*#%@@@@@@@@@@@%%##***++++++++++++++++++******++=-:··.
.·::-=+*+++==--::··... ......... .·-=+#%@@@@@@@@@@@@@%%#**+++=====-----=====++++**++=-::·.
...···:::::····... . . .·:=+#%@@@@@@@@@@@@@@%#*++=--::::······:::---==+++==-::·.
... .·:-+*#@@@@@@@@@@@@@@%#++=-:··... ...··:--=++==--:·.
..... .·-=+#%@@@@@@@@@@@@%#*=-:·.. ..·:--=====-:·.
..····.. .·:=+*#@@@@@@@@@@@%#*=-:·. ..·:-=+++=--:·
..··::··.. .·:-=*#%@@@@@@@@@%#*+-:·. .·:-=+++++=-:·.
..::---:··.. ..·:-=+*#%@@@@@@@%#*+=-·. .·:-=+****+=-:·.
..::===--::··........··:-==+*##%%%%%%#*+=-:·.. .·:-=+*##**+=-:·.
.. ......--**+++==-::········::--=++**######*++=-::·.. ..··:--=++*#**++=-:·.
.................. ....··::--==#####**+==--:::::::---==++********++==--:::·········:::--===++++*++=--:·.
........ ............ .....··::-=+**#%%@@@%%%##*++===------====+++++++++++=================++++++======--::··..
.:-=+*#%@@@@%#*+=-:··.......··::-------::·.. .·::-=+*###%%%%%%###**+++======--=======+++*********+=-:··.
.··:-==+*****+=--:··... ....········.... .·:-=++*##%%%%%%%###**++==----:::::::-----====+++++=-::·..
...···::::::···... ....... ... .·:-=+**#%%%%%%%%##*++==--::············::::-----=--:··..
. ... .·:-=+**#%%%%%%##**+==-::··... ...···:::---:::··.
. .... ..·:-=+**###%###**++=-::·.. ..···::---:::·..
..·.·.. .··:-=++**####***+==-:··.. ...·::------::·.
..··:·.. .·::-=++*******++==-::··.. ..··::-====--:·..
..:·-:··.. .··:-==++*******++==--::··..... .....··::--====--::·.
..::=--::·.. ..··:--=++****##****++===--:::·············::--===---:··.
.............. .....·--++==--::··........··::--==++**#########***+++===---::::······:::----:::·..
....···········... ..··::---==##**++==--::·······:::--==++**####%%%%%%%%###**+++==--::················.
....···:::::····... .·::-=+*#%%%%%%%##*++==---::::::---===++***##%%%%@@@@@%%%##*++=--::··...............
.·:-=+*#%@@%#*+=-:··.......··::-========--:::······:::--==++**######***+++==---::::·····::::--===+++***++++==-:·..
.··:-==+***+=--:··... ...···:::::::::·············::--==+++******+++==--:::·····..·····:::---========---::·..
...···:::::··... ............·····.......···::--==========---:::···.........····::::--------::::··...
..··:··..........···:::--------::::····..........·····:::::::::::::::···...
..··:··... ....····:::::::::·················:::::::::::·····::·····..
..:·::··.. ....······::::::::::::----------::::::·········:::····..
·.::--:··.. ....···:::----===+++++++++++==---::·····..····::::···.
··--==-::·.. ...··::--==+**###%%%%%%%##**+=--::··.......····:::··.
··=-*+==-:··... ..··::-==+*#%%@@@@@@@@@@@%#*+=--:·... ..·······.
...··········.... .....······==#**+==-::··... ....·::-=+**#%@@@@@@@@@@@@@%#*+=-:·.. ..·····.
..·::-======--::··... ...·::--==+++++%%##*++=-::···......···:--=+*#%@@@@@@@@@@@@@@%#*=-:·.. ...···.
..··:-=+****++==-::·... ...·:-=+*##%@@@@@@@%%#**+=--::·········::-==+*#%%@@@@@@@@@@%%#*+=-:·. ......
.·:-=+****+=-:·. ...···:::::::::----==++**###%%%%%%%##**++=--:··... ...··::--==++++++++==--:··.
.··:--===--:··. ....············---===++****####***++=--:··.. ..··:--==++++++++==--::·..
...······... ..........··----=====+++++++===--::·... ..··::-==+++++++++==--:::··..
..::----------------:::···.. ...·::-==++******+++==--:::···....
..::==-------:::::····... ...·::-==+**######**++==--::::·····.....
··--+===---:::····.... ..··:--=+*##%%@@@@%%##*++=--::···········...
··==*++==--::···... ..··:-=+*#%@@@@@@@@@@@%#*+=--:··.........····...
:·++##*++=--:··... ..·::-+*#%@@@@@@@@@@@@@@%*+=-:·.. ...····..
::*+@%##*+=-::·... ..·:-=+*%@@@@@@@@@@@@@@@#*+-:·.. ..···..
..·········..... .....····:::::::**@@%%#*+=-:··.. ..·:-=+*#@@@@@@@@@@@@@@%#*=-:·. ...··..
..·:-=======--::····..···::--==+*********@@@%#*+=-::·.. ..··:-=+*#%@@@@@@@@@@@%#*+=-·.. ......
.·:-=*#####**+==--:::::::--=+*#%@@@@@@@@@@@@@%#*+=-:·... ...·::-=+**#%%%@@@%%##*+=-:··. ......
.··:-----::·. ..··::-=+**#%%%@@@@%%##*+=-::·.. .··:--=++******+++==-::··..
..··::::··.. ...··-=++**##%%%%##**+=--:·.. ..·::-=++**######**++==--::·...
........ ··-==+***####**++==-:·.. ..·:-==+**##%%%%%##**++==---:··...
..·:==+++*****+++=--:··.. ..·:-==+*##%%%%%%%%###**++==---::··...
..::++++++++++==--::··.. ..·::-=+*##%@@@@@@@@%%##**++==-----:::··...
··--******+++==--::··... ...··:-=++*#%@@@@@@@@@@%%#**+==---:::::::::···..
··+=%###***+==--:···........··:-==+*#%@@@@@@@@@@@@%#*+==--::··············..
::**@@%%#**+=--:···.......··::-=+*#%@@@@@@@@@@@@%#*+=--:··..........······...
::**@@@%%#*+=-::·.........··:-=+*#%@@@@@@@@@@@%#*+=-::·.. ....··....
........... .....···::::::::::**@@@%#*+=-:··.. ..··:-=++*#%%@@@@@@%%#*+=--:·.. ........
..··:::::::··········::--==+************@@@%*+=-:··.. ..·::-=++**#######**+==-:··.. .......
.·:-==+====----::::--==+**#%@@@@@@@@@@@@@%#*+=-:·.. ..··::--==++++++++===--:··.. .....
███╗ ███╗ █████╗ ████████╗██╗ ██╗
████╗ ████║██╔══██╗╚══██╔══╝██║ ██║
██╔████╔██║███████║ ██║ ███████║
██║╚██╔╝██║██╔══██║ ██║ ██╔══██║
██║ ╚═╝ ██║██║ ██║ ██║ ██║ ██║
╚═╝ ╚═╝╚═╝ ╚═╝ ╚═╝ ╚═╝ ╚═╝$ open /benchmarks/math/tasks/number~5ftheory--test--f3…▌ posts · files
MATH / A Chinese emperor orders a regiment of soldiers in his palace to divide into…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
problem
A Chinese emperor orders a regiment of soldiers in his palace to divide into groups of . They do so successfully. He then orders them to divide into groups of , upon which of them are left without a group. He then orders them to divide into groups of , upon which are left without a group. If the emperor estimates there are about two hundred soldiers in the regiment, what is the most likely number of soldiers in the regiment?
Plain-text mathematical notation (without MathML)
A Chinese emperor orders a regiment of soldiers in his palace to divide into groups of 4. They do so successfully. He then orders them to divide into groups of 3, upon which 2 of them are left without a group. He then orders them to divide into groups of 11, upon which 5 are left without a group. If the emperor estimates there are about two hundred soldiers in the regiment, what is the most likely number of soldiers in the regiment?
Original LaTeX notation
A Chinese emperor orders a regiment of soldiers in his palace to divide into groups of $4$. They do so successfully. He then orders them to divide into groups of $3$, upon which $2$ of them are left without a group. He then orders them to divide into groups of $11$, upon which $5$ are left without a group. If the emperor estimates there are about two hundred soldiers in the regiment, what is the most likely number of soldiers in the regiment?
level
Level 4
type
Number Theory
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
f3d19bf3-0313-503f-b6c4-e3dd3d0e4cd8- task_key
number~5ftheory--test--f3d19bf3-0313-503f-b6c4-e3dd3d0e4cd8- task_revision_id
- 1
- config / split
- number_theory / test
initial import