\title{Cross fractions II}
\author{Gang Xiao}
\email{xiao@unice.fr}
\language{en}
\options{nofloat expand}
\text{methrand=random(trans,addineq)}
\methods{ineq/rewrite, ineq/simpdeduc, ineq/mulexp, ineq/divexp,
ineq/\methrand, ineq/mulineq, ineq/sqrpos}
\minsteps{3}

\text{kind=random(integer, rational number, real number)}
\text{x=random(a,b,c,d,r,s,t,u,v,x,y,z)}
\matrix{data=>,>=,2,positive
<,<=,-2,negative
}
\text{data=randomrow(\data)}
\text{s1=item(1,\data)}
\text{sign=item(2,\data)}
\text{right=item(3,\data)}
\text{posneg=item(4,\data)}
\integer{y=random(6..99)}

\text{left=expand(\x/\y + \y/\x;)}
\text{prv=\left \sign \right}
\context{\x \s1 0
}
\goal{\prv}

\statement{Let \(\x) be a strictly \posneg \kind.
Prove \( \prv ) .
}

