!set title=Cross fractions II
!if $wims_read_parm!=$empty
 !goto $wims_read_parm
!endif
oef2wims_version=3.22
author=Gang Xiao
email=xiao@unice.fr
language=en

varcnt=13
prevarcnt=12
postvarcnt=0
replycnt=0
choicecnt=0
conditioncnt=0
feedbackcnt=0
format=html

val1=$imagedir

!if $testcondition=yes
 !goto test
!endif
!if $status=waiting
 !exit
!endif

m_options=nofloat expand
tmp0=!randitem trans,addineq

val2=$(tmp0)
m_methods=ineq/rewrite, ineq/simpdeduc, ineq/mulexp, ineq/divexp,	ineq/$val2, ineq/mulineq, ineq/sqrpos
m_minsteps=3
tmp0=!randitem integer, rational number, real number

val3=$(tmp0)
tmp0=!randitem a,b,c,d,r,s,t,u,v,x,y,z

val4=$(tmp0)
tmp=!trim >,>=,2,positive	<,<=,-2,negative	
val5=!translate internal $	\
$ to ;; in $tmp
tmp=!translate internal $	$ to ; in $val5

tmp=!nonempty rows $tmp
tmp=!randrow $tmp
tmp0=!translate internal $\
$ to ; in $tmp
val5=$(tmp0)
tmp0=!item 1 of $val5

val6=$(tmp0)
tmp0=!item 2 of $val5

val7=$(tmp0)
tmp0=!item 3 of $val5

val8=$(tmp0)
tmp0=!item 4 of $val5

val9=$(tmp0)
tmp0=!randint 6, 99

val10=$[rint($(tmp0))]
val11=expand($val4/$val10 + $val10/$val4;)
val12=$val11 $val7 $val8
m_context=$val4 $val6 0	
m_goal=$val12
question=__EXECUTED_1692754_EXERCISE__

!goto stat

!exit

:question
$()Let 
!insmath $val4
$() be a strictly $val9 $val3.	Prove 
!insmath  $val12 
$() .	
$()
!exit

:hint
$()
$()
!exit

:help
$()
$()
!exit

:solution
$()
$()
!exit

:feedback

!exit

:test

!exit

:stat
vsavelist=3,4,9,12
embedcnt=0
