Lemma
MediumDigits
AQuA-RAT train #31544 · Number Theory · Digits

How many leading zeros (zeros after the decimal point but before the…

How many leading zeros (zeros after the decimal point but before the first nonzero digit of a number) are in 1/7!?

~8 minAnswer checked instantly

AQuA-RAT — Algebra Question Answering with Rationales (Ling et al., DeepMind, 2017) · train #31544

Stuck? A gentle nudge

No hints for this one.

Something off?
Workspace
Your answer

Checked against the answer in AQuA-RAT.