1-x>0, (x+3)/(x-5)>=0