lean_workbook_plus_322

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_322 (a b c : ℝ) : a = 5 ∧ b = 3 ∧ c = 7 → (a + b) / (a + b + c) + (b + c) / (b + c + 4 * a) + (c + a) / (c + a + 16 * b) = 16 / 15   :=  by sorry