!set title=Upper-bound the squrare Ib
!if $wims_read_parm!=$empty
 !goto $wims_read_parm
!endif
oef2wims_version=3.22
author=Gang Xiao
email=xiao@unice.fr
language=en

varcnt=12
prevarcnt=10
postvarcnt=1
replycnt=0
choicecnt=0
conditioncnt=1
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/exsides,	ineq/trans, ineq/constineq, ineq/addineq, ineq/mulineq	ineq/sqrpos
m_minsteps=4
tmp0=!randitem a,b,c,d,r,s,t,x,y,z

val2=$(tmp0)
tmp0=!randint 2, 100

val3=$[rint($(tmp0))]
val4=$[rint($val3^2)]
tmp0=!randint 2, 200

val5=$[rint($val4+$(tmp0))]
tmp0=!randitem ,=

val6=$(tmp0)
val7=<$val6
val8=>$val6
val9=$val2^2<$val5
val10=$val2 $val8 -$val3
val11=$val2 $val7 $val3
m_context=$val10	$val11	
question=__EXECUTED_1692754_EXERCISE__

!goto stat

!exit

:question
$()Let 
!insmath $val2
$() be a real number with 
!insmath -$val3 $val7 $val2 $val7 $val3
$().	Prove 
!insmath  $val2^2 < $val5 
$() .	
$()
!exit

:hint
$()
$()
!exit

:help
$()
$()
!exit

:solution
$()
$()
!exit

:postdef
tmp0=!nospace $m_newobject

val12=$(tmp0)

!exit

:feedback

!exit

:test

!ifval $val12 issametext $val9
 condtest1=1
!else
 condtest1=0
!endif
condname1=

!exit

:stat
vsavelist=2,3,5,7,9
embedcnt=0
