lean_workbook_plus_77845

Proved

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

Let $P(x)=x^4+ax^3+bx^2+cx+d$ , where $a$ , $b$ , $c$ , and $d$ are constants. If $P(1)=10$ , $P(2)=20$ , and $P(3)=30$ , compute $\dfrac{P(12)+P(-8)}{10}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_77845 (a b c d : ℝ) (P : ℝ → ℝ) (hP : 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