check.py

from hypothesis import find, strategies


def check(x):
    if x+1 is 1+x:
        return False
    if x+2 is not 2+x:
        return False
    return True


print(
    find(
        strategies.one_of(strategies.integers(), strategies.floats()),
        check,
    )
)

output

~/Desktop
⊙  cpython3/bin/python check.py
/Users/jberman/Desktop/cpython3/lib/python3.7/site-packages/hypothesis/core.py:1049: HypothesisDeprecationWarning: `find(s, f)` is deprecated, because it is rarely used but takes ongoing work to maintain as we upgrade other parts of Hypothesis.
  since="2019-07-11",
-7

~/Desktop
⊙  pypy3/bin/python check.py
/Users/jberman/Desktop/pypy3/site-packages/hypothesis/core.py:1049: HypothesisDeprecationWarning: `find(s, f)` is deprecated, because it is rarely used but takes ongoing work to maintain as we upgrade other parts of Hypothesis.
  since="2019-07-11",
Traceback (most recent call last):
  File "test.py", line 15, in <module>
    check,
  File "/Users/jberman/Desktop/pypy3/site-packages/hypothesis/core.py", line 1121, in find
    raise NoSuchExample(get_pretty_function_description(condition))
hypothesis.errors.NoSuchExample: No examples found of condition check