# Verifying inequalities

I would like to give SageMath some inequalities, and then ask it if other inequalities follow from them.

For example, I would like to tell SageMath "a > 2*b > 0" and then ask it whether "a - b > b/2" and the answer should be "True", but if I ask whether "a - b > 3*b/2" the answer should be "False" (since it is not implied by the given inequalities).

How can I do this?