Question: satisfiability of linear inequalities system

Hi every body,
I am new in Maple, I am intend to use Maple in order to check the satisfiability of linear inequalities system which mean to determine of there is exist a solution for a set of linear inequalities system. For example for:
x>=2y, x<=2y, x=y, x>0, y>0
there is no solution. I use this in my thesis research (Actually nequalities system represnt the constraints of my system)
How can I use Maple for this issue? can any one give me an example for the above constraints? Thanks in advanced
Please Wait...