WolframAlpha computational knowledge AI
MinimalPolynomial[Sqrt[2] + 2 Sqrt[3] + 2 Sqrt[5] + Sqrt[7], x]/. x-> 12 + t//Expand