code: def test_assuming():
      with assuming(Q.integer(x)):
          assert ask(Q.integer(x))
      assert not ask(Q.integer(x))
  
imports: from sympy.assumptions import ask, Q
  from sympy.assumptions.assume import assuming, global_assumptions
  from sympy.abc import x, y
label_desc: Use image node_id 1 for calling a global function with example usage: test_assuming() without return types