lean_workbook_plus_4532

Proved

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

Let $p(x)$ be defined as $x^4+ax^3+bx^2+cx+d=0$ where $a,b,c,d$ are constants. If $p(1)=10, p(2)=20, p(3)=30$ , then find $\frac{p(12)+p(-8)}{10}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_4532 (a b c d : ℝ) (p : ℝ → ℝ) (h₁ : p = fun x => x^4 + a*x^3 + b*x^2 + c*x + d) : p 1 = 10 ∧ p 2 = 20 ∧ p 3 = 30 → (p 12 + p (-8)) / 10 = 1984   :=  by sorry

Source

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

View graph