!set title=Simple fraction 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=20
prevarcnt=19
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
m_methods=ineq/addterm, ineq/mulexp, ineq/divexp, ineq/exsides	ineq/trans, ineq/addineq, ineq/mulineq
m_minsteps=4
tmp0=!randitem a,b,c,d,p,q,r,s,t,u,v,x,y,z

val2=$(tmp0)
tmp0=!shuffle 15

val3=$(tmp0)
tmp0=!item 1 of $val3

tmp1=!randitem -1,1

val4=$[rint(($(tmp0)+1)*$(tmp1))]
tmp0=!item 2 of $val3

tmp1=!randitem -1,1

val5=$[rint(($(tmp0)+1)*$(tmp1))]
tmp0=!item 3 of $val3

val6=$[rint(($(tmp0)+1))]
tmp=!trim >,<,1	<,>,-1	
val7=!translate internal $	\
$ to ;; in $tmp
tmp=!translate internal $	$ to ; in $val7

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

tmp1=!randitem ,=

val8=$(tmp0)$(tmp1)
tmp0=!item 2 of $val7

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

val10=$[rint($(tmp0))]
tmp0=!randint 1, 10

val11=$[rint(-($val5)+($val10)*$(tmp0))]
val12=!rawmath ($val2 + $val4)/($val2 + $val5)
val13=$[($val11+($val4))/($val11+($val5))]

!ifval $val13>1
val6=$[rint(1-$val6)]
!else
val6=$[rint(1+$val6)]
!endif

!ifval $val13>1
val9=<
!else
val9=>
!endif
tmp0=!randitem ,=

val14=$(tmp0)
val15=$val9$val14
val16=$val2 $val8 $val11
val17=$val12 $val15 $val6
m_context=$val16	$val17
m_goal=contradiction
question=__EXECUTED_1692754_EXERCISE__

!goto stat

!exit

:question
$()	Prove that the inequality 
!insmath $val12 $val15 $val6
$() has no solution when	
!insmath $val2 $val8 $val11
$().	
$()
!exit

:hint
$()
$()
!exit

:help
$()
$()
!exit

:solution
$()
$()
!exit

:feedback

!exit

:test

!exit

:stat
vsavelist=2,6,8,11,12,15
embedcnt=0
