sympy__sympy-14024
Inconsistency when simplifying (-a)**x * a**(-x), a a positive integer
Verdict: no quoted evidence found by either check.
No quoted evidence found. This is not proof the task is clean; see the methodology.
All SWE-bench Lite tasks · more sympy/sympy tasks · How the check works