code: def test_modular():
      assert solve_congruence(*list(zip([3, 4, 2], [12, 35, 17]))) == (
          1719,
          7140,
      )
      assert (
          solve_congruence(*list(zip([3, 4, 2], [12, 6, 17]))) is None
      )
      assert solve_congruence(*list(zip([3, 4, 2], [13, 7, 17]))) == (
          172,
          1547,
      )
      assert solve_congruence(
          *list(zip([-10, -3, -15], [13, 7, 17]))
      ) == (172, 1547)
      assert (
          solve_congruence(
              *list(zip([-10, -3, 1, -15], [13, 7, 7, 17]))
          )
          is None
      )
      assert solve_congruence(
          *list(zip([-10, -5, 2, -15], [13, 7, 7, 17]))
      ) == (835, 1547)
      assert solve_congruence(
          *list(zip([-10, -5, 2, -15], [13, 7, 14, 17]))
      ) == (2382, 3094)
      assert solve_congruence(
          *list(zip([-10, 2, 2, -15], [13, 7, 14, 17]))
      ) == (2382, 3094)
      assert solve_congruence(*list(zip((1, 1, 2), (3, 2, 4)))) is None
      raises(
          ValueError,
          lambda: solve_congruence(
              *list(zip([3, 4, 2], [12.1, 35, 17]))
          ),
      )
  
imports: from sympy.ntheory.modular import crt, crt1, crt2, solve_congruence
  from sympy.testing.pytest import raises
label_desc: Use image node_id 2 for calling a global function with example usage: test_modular() without return types