How do you solve #13-p>=15#?