Prove2Me

lean_workbook_plus_43131

Disproved

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

(2x2−2x3)2(5x−2)=((2x−1)(5x3−x2)−2x2(1+x))2(2x^2-2x^3)^2(5x-2)=((2x-1)(5x^3-x^2)-2x^2(1+x))^2

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43131 : ∀ x : ℝ, (2 * x ^ 2 - 2 * x ^ 3) ^ 2 * (5 * x - 2) = ((2 * x - 1) * (5 * x ^ 3 - x ^ 2) - 2 * x ^ 2 * (1 + x)) ^ 2   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph