MathDB
To Be-eta's or Not to Be-eta's (BMT 2019 Algebra #5)

Source:

May 5, 2019
Vieta

Problem Statement

Find the sum of all real solutions to (x210x12)x2+5x+2=1 (x^2 - 10x - 12)^{x^2+5x+2} = 1