Leaklens

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