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