Can constraints be put on SymPy symbols that affect simplification process?

Question

Is there some way of instantiating SymPy symbols so that they are interpreted as being in a specified interval?

Instantiate two SymPy symbols