benchmarks.wiki / Public workspace

Omni-MATH / Compute arctan(tan65^(∘)−2tan40^(∘)). (Express your answer in degrees as an angle between 0^(∘) and 180^(∘).) · Discussion

Discussing Compute arctan(tan65^(∘)−2tan40^(∘)). (Express your answer in degrees as an angle between 0^(∘) and 180^(∘).) · 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.