Lemma
MediumDivisibility
AQuA-RAT train #81776 · Number Theory · Divisibility

The function f is defined for all positive integers n by the…

The function f is defined for all positive integers n by the following rule: f(n) is the number of positive integers each of which is less than n and has no positive factor in common with n other than 1. If p is prime, then f(p) =

~8 minAnswer checked instantly

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

Stuck? A gentle nudge

No hints for this one.

Something off?
Workspace
Your answer

Checked against the answer in AQuA-RAT.