def test_Domain__contains__():
    assert ((0 in EX) is True)
    assert ((0 in ZZ) is True)
    assert ((0 in QQ) is True)
    assert ((0 in RR) is True)
    assert ((0 in CC) is True)
    assert ((0 in ALG) is True)
    assert ((0 in ZZ[(x, y)]) is True)
    assert ((0 in QQ[(x, y)]) is True)
    assert ((0 in RR[(x, y)]) is True)
    assert (((- 7) in EX) is True)
    assert (((- 7) in ZZ) is True)
    assert (((- 7) in QQ) is True)
    assert (((- 7) in RR) is True)
    assert (((- 7) in CC) is True)
    assert (((- 7) in ALG) is True)
    assert (((- 7) in ZZ[(x, y)]) is True)
    assert (((- 7) in QQ[(x, y)]) is True)
    assert (((- 7) in RR[(x, y)]) is True)
    assert ((17 in EX) is True)
    assert ((17 in ZZ) is True)
    assert ((17 in QQ) is True)
    assert ((17 in RR) is True)
    assert ((17 in CC) is True)
    assert ((17 in ALG) is True)
    assert ((17 in ZZ[(x, y)]) is True)
    assert ((17 in QQ[(x, y)]) is True)
    assert ((17 in RR[(x, y)]) is True)
    assert ((((- S(1)) / 7) in EX) is True)
    assert ((((- S(1)) / 7) in ZZ) is False)
    assert ((((- S(1)) / 7) in QQ) is True)
    assert ((((- S(1)) / 7) in RR) is True)
    assert ((((- S(1)) / 7) in CC) is True)
    assert ((((- S(1)) / 7) in ALG) is True)
    assert ((((- S(1)) / 7) in ZZ[(x, y)]) is False)
    assert ((((- S(1)) / 7) in QQ[(x, y)]) is True)
    assert ((((- S(1)) / 7) in RR[(x, y)]) is True)
    assert (((S(3) / 5) in EX) is True)
    assert (((S(3) / 5) in ZZ) is False)
    assert (((S(3) / 5) in QQ) is True)
    assert (((S(3) / 5) in RR) is True)
    assert (((S(3) / 5) in CC) is True)
    assert (((S(3) / 5) in ALG) is True)
    assert (((S(3) / 5) in ZZ[(x, y)]) is False)
    assert (((S(3) / 5) in QQ[(x, y)]) is True)
    assert (((S(3) / 5) in RR[(x, y)]) is True)
    assert ((3.0 in EX) is True)
    assert ((3.0 in ZZ) is True)
    assert ((3.0 in QQ) is True)
    assert ((3.0 in RR) is True)
    assert ((3.0 in CC) is True)
    assert ((3.0 in ALG) is True)
    assert ((3.0 in ZZ[(x, y)]) is True)
    assert ((3.0 in QQ[(x, y)]) is True)
    assert ((3.0 in RR[(x, y)]) is True)
    assert ((3.14 in EX) is True)
    assert ((3.14 in ZZ) is False)
    assert ((3.14 in QQ) is True)
    assert ((3.14 in RR) is True)
    assert ((3.14 in CC) is True)
    assert ((3.14 in ALG) is True)
    assert ((3.14 in ZZ[(x, y)]) is False)
    assert ((3.14 in QQ[(x, y)]) is True)
    assert ((3.14 in RR[(x, y)]) is True)
    assert ((oo in EX) is True)
    assert ((oo in ZZ) is False)
    assert ((oo in QQ) is False)
    assert ((oo in RR) is True)
    assert ((oo in CC) is True)
    assert ((oo in ALG) is False)
    assert ((oo in ZZ[(x, y)]) is False)
    assert ((oo in QQ[(x, y)]) is False)
    assert ((oo in RR[(x, y)]) is True)
    assert (((- oo) in EX) is True)
    assert (((- oo) in ZZ) is False)
    assert (((- oo) in QQ) is False)
    assert (((- oo) in RR) is True)
    assert (((- oo) in CC) is True)
    assert (((- oo) in ALG) is False)
    assert (((- oo) in ZZ[(x, y)]) is False)
    assert (((- oo) in QQ[(x, y)]) is False)
    assert (((- oo) in RR[(x, y)]) is True)
    assert ((sqrt(7) in EX) is True)
    assert ((sqrt(7) in ZZ) is False)
    assert ((sqrt(7) in QQ) is False)
    assert ((sqrt(7) in RR) is True)
    assert ((sqrt(7) in CC) is True)
    assert ((sqrt(7) in ALG) is False)
    assert ((sqrt(7) in ZZ[(x, y)]) is False)
    assert ((sqrt(7) in QQ[(x, y)]) is False)
    assert ((sqrt(7) in RR[(x, y)]) is True)
    assert ((((2 * sqrt(3)) + 1) in EX) is True)
    assert ((((2 * sqrt(3)) + 1) in ZZ) is False)
    assert ((((2 * sqrt(3)) + 1) in QQ) is False)
    assert ((((2 * sqrt(3)) + 1) in RR) is True)
    assert ((((2 * sqrt(3)) + 1) in CC) is True)
    assert ((((2 * sqrt(3)) + 1) in ALG) is True)
    assert ((((2 * sqrt(3)) + 1) in ZZ[(x, y)]) is False)
    assert ((((2 * sqrt(3)) + 1) in QQ[(x, y)]) is False)
    assert ((((2 * sqrt(3)) + 1) in RR[(x, y)]) is True)
    assert ((sin(1) in EX) is True)
    assert ((sin(1) in ZZ) is False)
    assert ((sin(1) in QQ) is False)
    assert ((sin(1) in RR) is True)
    assert ((sin(1) in CC) is True)
    assert ((sin(1) in ALG) is False)
    assert ((sin(1) in ZZ[(x, y)]) is False)
    assert ((sin(1) in QQ[(x, y)]) is False)
    assert ((sin(1) in RR[(x, y)]) is True)
    assert ((((x ** 2) + 1) in EX) is True)
    assert ((((x ** 2) + 1) in ZZ) is False)
    assert ((((x ** 2) + 1) in QQ) is False)
    assert ((((x ** 2) + 1) in RR) is False)
    assert ((((x ** 2) + 1) in CC) is False)
    assert ((((x ** 2) + 1) in ALG) is False)
    assert ((((x ** 2) + 1) in ZZ[x]) is True)
    assert ((((x ** 2) + 1) in QQ[x]) is True)
    assert ((((x ** 2) + 1) in RR[x]) is True)
    assert ((((x ** 2) + 1) in ZZ[(x, y)]) is True)
    assert ((((x ** 2) + 1) in QQ[(x, y)]) is True)
    assert ((((x ** 2) + 1) in RR[(x, y)]) is True)
    assert ((((x ** 2) + (y ** 2)) in EX) is True)
    assert ((((x ** 2) + (y ** 2)) in ZZ) is False)
    assert ((((x ** 2) + (y ** 2)) in QQ) is False)
    assert ((((x ** 2) + (y ** 2)) in RR) is False)
    assert ((((x ** 2) + (y ** 2)) in CC) is False)
    assert ((((x ** 2) + (y ** 2)) in ALG) is False)
    assert ((((x ** 2) + (y ** 2)) in ZZ[x]) is False)
    assert ((((x ** 2) + (y ** 2)) in QQ[x]) is False)
    assert ((((x ** 2) + (y ** 2)) in RR[x]) is False)
    assert ((((x ** 2) + (y ** 2)) in ZZ[(x, y)]) is True)
    assert ((((x ** 2) + (y ** 2)) in QQ[(x, y)]) is True)
    assert ((((x ** 2) + (y ** 2)) in RR[(x, y)]) is True)
    assert ((((((S(3) / 2) * x) / (y + 1)) - z) in QQ[(x, y, z)]) is False)
def test_Domain__contains__():
    assert ((0 in EX) is True)
    assert ((0 in ZZ) is True)
    assert ((0 in QQ) is True)
    assert ((0 in RR) is True)
    assert ((0 in CC) is True)
    assert ((0 in ALG) is True)
    assert ((0 in ZZ[(x, y)]) is True)
    assert ((0 in QQ[(x, y)]) is True)
    assert ((0 in RR[(x, y)]) is True)
    assert (((- 7) in EX) is True)
    assert (((- 7) in ZZ) is True)
    assert (((- 7) in QQ) is True)
    assert (((- 7) in RR) is True)
    assert (((- 7) in CC) is True)
    assert (((- 7) in ALG) is True)
    assert (((- 7) in ZZ[(x, y)]) is True)
    assert (((- 7) in QQ[(x, y)]) is True)
    assert (((- 7) in RR[(x, y)]) is True)
    assert ((17 in EX) is True)
    assert ((17 in ZZ) is True)
    assert ((17 in QQ) is True)
    assert ((17 in RR) is True)
    assert ((17 in CC) is True)
    assert ((17 in ALG) is True)
    assert ((17 in ZZ[(x, y)]) is True)
    assert ((17 in QQ[(x, y)]) is True)
    assert ((17 in RR[(x, y)]) is True)
    assert ((((- S(1)) / 7) in EX) is True)
    assert ((((- S(1)) / 7) in ZZ) is False)
    assert ((((- S(1)) / 7) in QQ) is True)
    assert ((((- S(1)) / 7) in RR) is True)
    assert ((((- S(1)) / 7) in CC) is True)
    assert ((((- S(1)) / 7) in ALG) is True)
    assert ((((- S(1)) / 7) in ZZ[(x, y)]) is False)
    assert ((((- S(1)) / 7) in QQ[(x, y)]) is True)
    assert ((((- S(1)) / 7) in RR[(x, y)]) is True)
    assert (((S(3) / 5) in EX) is True)
    assert (((S(3) / 5) in ZZ) is False)
    assert (((S(3) / 5) in QQ) is True)
    assert (((S(3) / 5) in RR) is True)
    assert (((S(3) / 5) in CC) is True)
    assert (((S(3) / 5) in ALG) is True)
    assert (((S(3) / 5) in ZZ[(x, y)]) is False)
    assert (((S(3) / 5) in QQ[(x, y)]) is True)
    assert (((S(3) / 5) in RR[(x, y)]) is True)
    assert ((3.0 in EX) is True)
    assert ((3.0 in ZZ) is True)
    assert ((3.0 in QQ) is True)
    assert ((3.0 in RR) is True)
    assert ((3.0 in CC) is True)
    assert ((3.0 in ALG) is True)
    assert ((3.0 in ZZ[(x, y)]) is True)
    assert ((3.0 in QQ[(x, y)]) is True)
    assert ((3.0 in RR[(x, y)]) is True)
    assert ((3.14 in EX) is True)
    assert ((3.14 in ZZ) is False)
    assert ((3.14 in QQ) is True)
    assert ((3.14 in RR) is True)
    assert ((3.14 in CC) is True)
    assert ((3.14 in ALG) is True)
    assert ((3.14 in ZZ[(x, y)]) is False)
    assert ((3.14 in QQ[(x, y)]) is True)
    assert ((3.14 in RR[(x, y)]) is True)
    assert ((oo in EX) is True)
    assert ((oo in ZZ) is False)
    assert ((oo in QQ) is False)
    assert ((oo in RR) is True)
    assert ((oo in CC) is True)
    assert ((oo in ALG) is False)
    assert ((oo in ZZ[(x, y)]) is False)
    assert ((oo in QQ[(x, y)]) is False)
    assert ((oo in RR[(x, y)]) is True)
    assert (((- oo) in EX) is True)
    assert (((- oo) in ZZ) is False)
    assert (((- oo) in QQ) is False)
    assert (((- oo) in RR) is True)
    assert (((- oo) in CC) is True)
    assert (((- oo) in ALG) is False)
    assert (((- oo) in ZZ[(x, y)]) is False)
    assert (((- oo) in QQ[(x, y)]) is False)
    assert (((- oo) in RR[(x, y)]) is True)
    assert ((sqrt(7) in EX) is True)
    assert ((sqrt(7) in ZZ) is False)
    assert ((sqrt(7) in QQ) is False)
    assert ((sqrt(7) in RR) is True)
    assert ((sqrt(7) in CC) is True)
    assert ((sqrt(7) in ALG) is False)
    assert ((sqrt(7) in ZZ[(x, y)]) is False)
    assert ((sqrt(7) in QQ[(x, y)]) is False)
    assert ((sqrt(7) in RR[(x, y)]) is True)
    assert ((((2 * sqrt(3)) + 1) in EX) is True)
    assert ((((2 * sqrt(3)) + 1) in ZZ) is False)
    assert ((((2 * sqrt(3)) + 1) in QQ) is False)
    assert ((((2 * sqrt(3)) + 1) in RR) is True)
    assert ((((2 * sqrt(3)) + 1) in CC) is True)
    assert ((((2 * sqrt(3)) + 1) in ALG) is True)
    assert ((((2 * sqrt(3)) + 1) in ZZ[(x, y)]) is False)
    assert ((((2 * sqrt(3)) + 1) in QQ[(x, y)]) is False)
    assert ((((2 * sqrt(3)) + 1) in RR[(x, y)]) is True)
    assert ((sin(1) in EX) is True)
    assert ((sin(1) in ZZ) is False)
    assert ((sin(1) in QQ) is False)
    assert ((sin(1) in RR) is True)
    assert ((sin(1) in CC) is True)
    assert ((sin(1) in ALG) is False)
    assert ((sin(1) in ZZ[(x, y)]) is False)
    assert ((sin(1) in QQ[(x, y)]) is False)
    assert ((sin(1) in RR[(x, y)]) is True)
    assert ((((x ** 2) + 1) in EX) is True)
    assert ((((x ** 2) + 1) in ZZ) is False)
    assert ((((x ** 2) + 1) in QQ) is False)
    assert ((((x ** 2) + 1) in RR) is False)
    assert ((((x ** 2) + 1) in CC) is False)
    assert ((((x ** 2) + 1) in ALG) is False)
    assert ((((x ** 2) + 1) in ZZ[x]) is True)
    assert ((((x ** 2) + 1) in QQ[x]) is True)
    assert ((((x ** 2) + 1) in RR[x]) is True)
    assert ((((x ** 2) + 1) in ZZ[(x, y)]) is True)
    assert ((((x ** 2) + 1) in QQ[(x, y)]) is True)
    assert ((((x ** 2) + 1) in RR[(x, y)]) is True)
    assert ((((x ** 2) + (y ** 2)) in EX) is True)
    assert ((((x ** 2) + (y ** 2)) in ZZ) is False)
    assert ((((x ** 2) + (y ** 2)) in QQ) is False)
    assert ((((x ** 2) + (y ** 2)) in RR) is False)
    assert ((((x ** 2) + (y ** 2)) in CC) is False)
    assert ((((x ** 2) + (y ** 2)) in ALG) is False)
    assert ((((x ** 2) + (y ** 2)) in ZZ[x]) is False)
    assert ((((x ** 2) + (y ** 2)) in QQ[x]) is False)
    assert ((((x ** 2) + (y ** 2)) in RR[x]) is False)
    assert ((((x ** 2) + (y ** 2)) in ZZ[(x, y)]) is True)
    assert ((((x ** 2) + (y ** 2)) in QQ[(x, y)]) is True)
    assert ((((x ** 2) + (y ** 2)) in RR[(x, y)]) is True)
    assert ((((((S(3) / 2) * x) / (y + 1)) - z) in QQ[(x, y, z)]) is False)