x/-5 ≥ -3