OpenConjecture Dataset for Evaluating LLM Mathematical Reasoning | HACKOBAR_