Lemma
MediumDivisibility
AQuA-RAT train #22114 · 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 position integer each of which is less than n, and has no position factor in common with n other than 1. If p is any prime number then f(p)

This problem repeats another one in the library (at most with different numbers), so it's left out of browsing.

~8 minAnswer checked instantly

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

Stuck? A gentle nudge

No hints for this one.

Something off?
Workspace
Your answer

Checked against the answer in AQuA-RAT.