code: def time_verify_sol_10x8():
      eqs = eqs_10x8()
      sol = sol_10x8()
      zeros = [eq.compose(sol) for eq in eqs]
      if not all(zero == 0 for zero in zeros):
          raise ValueError("All values in zero should be 0")
  
imports: from sympy.polys.rings import ring
  from sympy.polys.fields import field
  from sympy.polys.domains import ZZ, QQ
  from sympy.polys.solvers import solve_lin_sys
label_desc: Use image node_id 17 for calling a global function with example usage: time_verify_sol_10x8() without return types