ACCO: Algebraic Computation with Comparison