from sympy import Symbol, Contains, S, Interval, FiniteSet


def test_contains_basic():
    assert Contains(2, S.Integers) is S.true
    assert Contains(-2, S.Naturals) is S.false

    i = Symbol('i', integer=True)
    assert Contains(i, S.Naturals) == Contains(i, S.Naturals, evaluate=False)


def test_issue_6194():
    x = Symbol('x')
    assert Contains(x, Interval(0, 1)) == (x >= 0) & (x <= 1)
    assert Contains(x, FiniteSet(0)) != S.false
    assert Contains(x, Interval(1, 1)) != S.false
    assert Contains(x, S.Integers) != S.false

@@ -53,16 +53,41 @@
 iteSet%0A%0A
+from sympy.abc import x%0A%0A
 %0Adef tes
@@ -311,16 +311,95 @@
 =False)%0A
+    assert S.Naturals0.contains(x) == Contains(x, S.Naturals0, evaluate=False)%0A
 %0A%0Adef te
@@ -419,28 +419,8 @@
 ():%0A
-    x = Symbol('x')%0A
     

Add coverage for Naturals0._contains