| 1203 | Symmetric Product of Linear Forms | Deep | algebraic identitycube roots of unity+1 | |
| 1286 | Symmetric Quartic Equation | Deep | symmetric equationssubstitution+1 | |
| 1301 | Fourth Degree Polynomial Equation | Deep | Polynomial factorizationCompleting the square | |
| 1302 | Cubic Equation | Deep | Cubic equationsFactorization | |
| 1556 | Thirds of Trinomial Expansion Coefficients | Deep | cube roots of unitypolynomial expansion+1 | |
| 1726 | Condition for Quadratic Factorability | Deep | undetermined coefficientsfactorization+1 | |
| 1727 | Sum of Products of Powers | Deep | symmetric functionsseries of powers | |
| 1757 | Homogeneous products of three variables | Deep | generating functionspartial fractions+1 | |
| 1825 | Weighted Sum of Coefficients | Deep | polynomial differentiationidentities | |
| 1898 | Symmetric functions of powers | Deep | Symmetric functionsGeometric series | |
| 1904 | Algebraic Identity Verification | Deep | algebraic identitiespolynomial manipulation | |
| 1907 | Identity with fourth powers | Deep | Algebraic identitiesSymmetric functions | |