| 935 | Cyclic Sum Ratio Identity | Deep | ratiocyclic symmetry+1 | |
| 940 | Eliminant of a symmetric system | Deep | determinantsymmetry | |
| 942 | Quadratic ratios from cyclic definitions | Deep | cyclic equationsratios | |
| 948 | Relations among three fractional expressions | Deep | rationalisationsymmetry | |
| 965 | Prove proportion identity | Deep | ProportionalityAlgebraic manipulation | |
| 966 | Continued proportion identity | Deep | Continued proportionAlgebraic identities | |
| 995 | Planetary Attraction and Satellite Revolutions | Deep | ProportionalityAstrophysical formulas | |
| 1201 | Product of $2n$ factors with omega | Deep | Cube roots of unityProducts of sequences | |
| 1298 | Homogeneous Radical Equation | Deep | Homogeneous equationsFractional exponents | |
| 1299 | Radical Equation with Parameters | Deep | Radical equationsAlgebraic manipulation | |
| 1430 | Product of adjacent binomial coefficients | Deep | Binomial TheoremAlgebraic Manipulation | |
| 1433 | Sum of products of binomial coefficients | Deep | Binomial TheoremCombinatorial Identities | |
| 1496 | Middle Term Coefficient Identity | Deep | Binomial TheoremCoefficient Extraction | |
| 1497 | Expansion Form of Cubic Power | Deep | Binomial TheoremSeries Expansion | |
| 1503 | Quadratic form ratios | Deep | determinantssymmetry | |
| 1504 | Product identity for cofactors | Deep | determinantscofactor identity | |
| 1533 | Sum of Squares of Alternating Coefficients | Deep | Binomial TheoremCauchy Product | |
| 1897 | A joint work problem | Deep | Simultaneous equationsRate problems | |