lean_workbook_plus_62479

Proved

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

Given $P(x)=x^4+ax^3+bx^2+cx+d$ and $P(1)=10, P(2)=20, P(3)=30$ , compute $P(10)+P(-6)$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_62479 (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 10 + P (-6) = 8104   :=  by sorry

Source

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

View graph