已知条件p:-3小于等于