def METHOD_NAME():
    x, y = te.var("x"), te.var("y")
    solution = arith.solve_linear_equations(
        [
            tvm.tir.EQ(x + y, 20),
            tvm.tir.EQ(x - y, 10),
        ],
        [x, y],
    )
    assert list(solution.dst.variables) == []
    assert ir.structural_equal(solution.src_to_dst[x], 15)
    assert ir.structural_equal(solution.src_to_dst[y], 5)