lean_workbook_plus_66340

Disproved

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

The sum of three numbers is $96$ . The first number is $6$ times the third number, and the third number is $40$ less than the second number. What is the absolute value of the difference between the first and second numbers?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_66340 (x y z : ℤ) (h₁ : x + y + z = 96) (h₂ : x = 6 * z) (h₃ : z = y - 40) : |x - y| = 64   :=  by sorry

Source

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

View graph