val2=x,y,z,t\
a,b,c,d\
x_0,x_1,x_2,x_3\
y_0,y_1,y_2,y_3
val3=!randline $val2
!distribute items $val3 into val4,val5,val6,val7
val8=!randitem I,J,K
val9=!randitem f,g,h
val1=\forall $val4\char44 $val5 \in $val8\char44\quad

donnees=$val9 est croissante sur $val8, $val8 est un intervalle de $m_RR et $val9 une fonction de $val8 dans $m_RR, $val1 $val4\leq $val5 \Rightarrow $val9($val4)\leq $val9($val5), $val1 $val4\geq $val5 \Rightarrow $val9($val4)\geq $val9($val5), $val1 $val9($val4)>$val9($val5) \Rightarrow  $val4>$val5, $val1 $val9($val4)<$val9($val5) \Rightarrow  $val4<$val5\
$val1 $val4<$val5 \Rightarrow $val9($val4)<$val9($val5),$val1 $val4 \leq $val5 \Leftrightarrow $val9($val4)\leq $val9($val5), $val1 $val4> $val5 \Rightarrow $val9($val4)> $val9($val5),$val1 $val4 \geq $val5 \Leftrightarrow $val9($val4)\geq $val9($val5), $val1 $val9($val4)\geq $val9($val5) \Rightarrow  $val4\geq $val5,$val1 $val9($val4)\leq $val9($val5) \Rightarrow  $val4\leq $val5\
\
$val9 est strictement croissante sur $val8 , $val8 est un intervalle de $m_RR et $val9 une fonction de $val8 dans $m_RR, $val1 $val4<$val5 \Rightarrow $val9($val4)<$val9($val5),$val1 $val4 \leq $val5 \Leftrightarrow $val9($val4)\leq $val9($val5), $val1 $val4> $val5 \Rightarrow $val9($val4)> $val9($val5),$val1 $val4 \geq $val5 \Leftrightarrow $val9($val4)\geq $val9($val5), $val1 $val9($val4)\geq $val9($val5) \Rightarrow  $val4\geq $val5,$val1 $val9($val4)\leq $val9($val5) \Rightarrow  $val4\leq $val5\
$val1 $val4\leq $val5 \Rightarrow $val9($val4)\leq $val9($val5), $val1 $val4\geq $val5 \Rightarrow $val9($val4)\geq $val9($val5), $val1 $val9($val4)>$val9($val5) \Rightarrow  $val4>$val5, $val1 $val9($val4)<$val9($val5) \Rightarrow  $val4<$val5\
\
$val9 est dcroissante sur $val8 , $val8 est un intervalle de $m_RR et $val9 une fonction de $val8 dans $m_RR, $val1 $val4\leq $val5 \Rightarrow $val9($val4)\geq $val9($val5), $val1 $val4\geq $val5 \Rightarrow $val9($val4)\leq $val9($val5), $val1 $val9($val4)<$val9($val5) \Rightarrow  $val4>$val5, $val1 $val9($val4)>$val9($val5) \Rightarrow  $val4<$val5\
$val1 $val4<$val5 \Rightarrow $val9($val4)>$val9($val5),$val1 $val4 \leq $val5 \Leftrightarrow $val9($val4)\geq $val9($val5), $val1 $val4> $val5 \Rightarrow $val9($val4)< $val9($val5),$val1 $val4 \geq $val5 \Leftrightarrow $val9($val4)\leq $val9($val5), $val1 $val9($val4)\leq $val9($val5) \Rightarrow  $val4\geq $val5,$val1 $val9($val4)\eq $val9($val5) \Rightarrow  $val4\leq $val5\
\
$val9 est strictement dcroissante sur $val8 , $val8 est un intervalle de $m_RR et $val9 une fonction de $val8 dans $m_RR, $val1 $val4<$val5 \Rightarrow $val9($val4)>$val9($val5),$val1 $val4 \leq $val5 \Leftrightarrow $val9($val4)\geq $val9($val5), $val1 $val4> $val5 \Rightarrow $val9($val4)< $val9($val5),$val1 $val4 \geq $val5 \Leftrightarrow $val9($val4)\leq $val9($val5), $val1 $val9($val4)\leq $val9($val5) \Rightarrow  $val4\geq $val5,$val1 $val9($val4)\eq $val9($val5) \Rightarrow  $val4\leq $val5\
$val1 $val4\leq $val5 \Rightarrow $val9($val4)\geq $val9($val5), $val1 $val4\geq $val5 \Rightarrow $val9($val4)\leq $val9($val5), $val1 $val9($val4)<$val9($val5) \Rightarrow  $val4>$val5, $val1 $val9($val4)>$val9($val5) \Rightarrow  $val4<$val5\
\
$val9 est constante sur $val8 , $val8 est un intervalle de $m_RR et $val9 une fonction de $val8 dans $m_RR, $val1 $val9($val4)=$val9($val5), \exists $val5\in \RR \char44\quad \forall $val4\in $val8\char44\quad $val9($val4)=$val5\
\forall $val4\in $val8\char44\quad \exists $val5\in \RR \char44\quad  $val9($val4)=$val5, \forall $val4\in \RR\char44\quad \exists $val5\in $val8 \char44\quad  $val9($val4)=$val5, \exists $val5\in $val8 \char44\quad \forall $val4\in\RR \char44\quad $val9($val4)=$val5

tmp0=!linecnt $donnees
tmp1=$[rint(($(tmp0)+1)/3)]
tmp0=!randint 1, $tmp1
val10=$[rint(3*$(tmp1)-2)]
val11=!line $val10 of $donnees

enonce=!item 1 of $val11
contexte=!item 2 of $val11
tmp=!itemcnt $val11
goodrep=!item 3 to $tmp of $val11
badrep1=!line $[$val10+1] of $donnees
badrep2=$empty
tmp=(),\()
tmp=!char 2 to -2 of $tmp
badrep1=!replace internal , by $tmp in $badrep1
badrep1=\($badrep1)
goodrep=!replace internal , by $tmp in $goodrep
goodrep=\($goodrep)

question=Soit le contexte:<center>$contexte .</center>Parmi les noncs suivants, lequelle ou lesquelles peuve(nt) signifier que $enonce ? <p> (Ne cochez aucune rponse si vous pensez qu'aucune ne convient)
convent=$empty
chronodirect=oui
