lean_workbook_plus_68586

Proved

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

Find the value of the expression $5x^4 + 7x^3 + 8x^2 + 9x + 10$ when $x = 1.98$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_68586 (x : ℝ) (hx : x = 1.98) : 5 * x ^ 4 + 7 * x ^ 3 + 8 * x ^ 2 + 9 * x + 10 = 190.3676248   :=  by sorry

Source