Hi, I have an equation p*V/(W+V) - q*S = 0 where W,p,q are nonnegative constants and V,S are positive constants i.e. definitely not zero! I want Maple (10) to output p > q*S to show that this is the condition for the main equation to hold. How can i do this??? cheers gillersuk p.s. I have > assume(0 <><><><><><> constants := constants, (S, V); at the start of my document to define my assumptions and my constants. Perhaps this is why i'm having problems?