t^ 0: (lhs - rhs) reduces to 0
t^ 1: (lhs - rhs) reduces to 0
t^ 2: (lhs - rhs) reduces to 0
t^ 3: (lhs - rhs) reduces to 0
t^ 4: (lhs - rhs) reduces to 0
t^ 5: (lhs - rhs) reduces to 0
t^ 6: (lhs - rhs) reduces to 0
t^ 7: (lhs - rhs) reduces to 0
t^ 8: (lhs - rhs) reduces to 0
t^ 9: (lhs - rhs) reduces to 0
t^10: (lhs - rhs) reduces to 0
t^11: (lhs - rhs) reduces to 0
t^12: (lhs - rhs) reduces to 0
t^13: (lhs - rhs) reduces to 0
t^14: (lhs - rhs) reduces to 0
q^6 - 1 = r^2 - 1 reduces to 58212000/197486809 - 12644520*S/197486809  (nonzero: True )
RESULT: PASS (identity (*) holds exactly; t is a sum of six 7th powers of quadratics)
