from math import *
def f(x):
  y=x**3+x-9
  return y
def sol(a,b):
  y1=f(a);y2=f(b)
  if ...:
    return True
  else:
    return False