Check for Contradictions in Equations

Given a set of equations and relations between variables, determine whether all constraints can be satisfied simultaneously by detecting any contradictory cycles in the implied relation graph. The core challenge is to model chained relative relations (equalities/inequalities or differences/ratios) and efficiently detect inconsistency across connected components using union‑find with potentials or graph cycle/negative‑cycle detection.