lean_workbook_plus_76916

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

We see that: $60=(2-1) \cdot 60$ , $60=(3-1) \cdot 30$ , $60 = (5-1) \cdot 15$ , $60 = (7-1) \cdot 10$ , $60 = (11-1) \cdot 6$ , $60 = (13-1) \cdot 5$ , $60 = (31-1) \cdot 2$ , $60 = (61-1) \cdot 60$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_76916 : {n : ℕ | 1 < n ∧ (n-1)∣60} = {2,3,5,7,11,13,31,61}   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph