benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Find all ordered 4-tuples of integers (a,b,c,d) (not necessarily distinct) satisfying the following system of equations: a²−b²−c²−d²=c−b−2, 2ab=a−d−32, 2ac=28−a−d, 2ad=b+c+31. · Discussion

Discussing Find all ordered 4-tuples of integers (a,b,c,d) (not necessarily distinct) satisfying the following system of equations: a²−b²−c²−d²=c−b−2, 2ab=a−d−32, 2ac=28−a−d, 2ad=b+c+31. · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.