val3=a,b,c\
x,y,z\
u,v,w\
X,Y,Z

val5=!randline $val3
!distribute items $val5 into val6,val9,val11 

val7=!randitem n,p,q
val8=!randitem M,N,P
val10=!randitem r,s,t
val12=!randitem f,g,h
val13=!randitem l,m,l'
val14=!randitem U,V,W
val15=!randint 2, 15

donnees=0,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6\geq $val7,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6<$val7,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6<$val7,\forall $val7\in\NN\char44 \exists $val6\in\RR\char44 \quad $val6<$val7,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6\leq $val7\
\
0,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6\geq $val7,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6<$val7,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6<$val7,\exists $val7\in\NN\char44 \forall $val6\in\RR\char44 \quad $val6<$val7,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6\leq $val7\
\
0,\forall $val8\in\NN\char44 \exists $val7\in\NN\char44 \quad $val7\geq $val8, \exists $val8\in\NN\char44 \forall $val7\in\NN\char44 \quad $val7< $val8,\forall $val8\in\NN\char44 \exists $val7\in\NN\char44 \quad $val7< $val8,\forall $val7\in\NN\char44 \exists $val8\in\NN\char44 \quad $val7< $val8,\exists $val8\in\NN\char44 \forall $val7\in\NN\char44 \quad $val7\leq $val8\
\
0,\exists $val8\in\NN\char44 \forall $val7\in\NN\char44 \quad $val7\geq $val8,\forall $val8\in\NN\char44 \exists $val7\in\NN\char44 \quad $val7<$val8,\exists $val8\in\NN\char44 \forall $val7\in\NN\char44 \quad $val7<$val8,\exists n\in\NN\char44 \forall $val8\in\NN\char44 \quad $val7<$val8,\forall $val8\in\NN\char44 \exists $val7\in\NN\char44 \quad $val7\leq $val8\
\
0,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6\geq $val7\quad ou \quad $val6<$val7+1,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6< $val7\quad  et\quad  $val6\geq $val7+1,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6< $val7\quad  et \quad  $val6\geq $val7+1,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6< $val7\quad  ou \quad  $val6\geq $val7+1,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6< $val7\quad  ou \quad  $val6\geq $val7+1\
\
0,\forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6\geq $val7\quad et \quad $val6<$val7+1, \exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6< $val7\quad  ou \quad  $val6\geq $val7+1, \forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6< $val7\quad  ou \quad  $val6\geq $val7+1, \forall $val6\in\RR\char44 \exists $val7\in\NN\char44 \quad $val6< $val7\quad  et \quad  $val6\geq $val7+1,\exists $val6\in\RR\char44 \forall $val7\in\NN\char44 \quad $val6< $val7\quad  et \quad  $val6\geq $val7+1\
\
0,\forall $val9\in\CC\char44 \exists $val10\in\CC\char44 \quad $val10^3=$val9,\exists $val9\in\CC\char44 \forall $val10\in\CC\char44 \quad $val10^3\neq $val9,\forall $val9\in\CC\char44 \exists $val10\in\CC\char44 \quad $val10^3\neq $val9, \forall $val10\in\CC\char44 \exists $val9\in\CC\char44 \quad $val10^3\neq $val9,\exists $val9\in\CC\char44 \forall $val10\in\CC\char44 \quad $val10^3=$val9\
\
0,\forall $val11\in\RR\char44 \exists $val6\in\RR\char44 \quad e^$val6=$val11,\exists $val11\in\RR\char44  \forall $val6\in\RR\char44 \quad e^$val6\neq $val11,\forall $val11\in\RR\char44  \exists $val6\in\RR\char44 \quad e^$val6 \neq $val11,\forall $val6\in\RR\char44  \exists $val11\in\RR\char44 \quad e^$val6\neq $val11,\forall $val6\in\RR\char44  \exists $val11\in\RR\char44 \quad e^$val6=$val11\
\
$val6 est un rel, \forall \epsilon\in\RR^{+*}\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val11^2-$val6^2|<\epsilon,\exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad |$val11^2-$val6^2|\geq \epsilon, \forall \epsilon\in\RR^{+*}\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad |$val11^2-$val6^2|\geq \epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val11^2-$val6^2|<\epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val11^2-$val6^2|\geq \epsilon\
\
$val6 est un rel et $val12 une fonction de $m_RR dans $m_RR, \forall \epsilon\in\RR^{+*}\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val12($val11)-$val12($val6)|<\epsilon,\exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad |$val12($val11)-$val12($val6)|\geq \epsilon, \forall \epsilon\in\RR^{+*}\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad |$val12($val11)-$val12($val6)|\geq \epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val12($val11)-$val12($val6)|<\epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val12($val11)-$val12($val6)|\geq \epsilon\
\
$val6 et $val13 sont deux rels et $val12 une fonction $m_RR dans $m_RR, \forall \epsilon\in\RR^{+*}\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val12($val11)-$val13|<\epsilon,\exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad |$val12($val11)-$val13|\geq \epsilon, \forall \epsilon\in\RR^{+*}\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad |$val12($val11)-$val13|\geq \epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val12($val11)-$val13|<\epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow |$val12($val11)-$val13|\geq \epsilon\
\
$val13 est un rel et $val14 une suite relle, \forall \epsilon\in\RR^{+*}\char44\quad \exists N\in\NN\char44\quad \forall $val7\in\NN\char44\quad $val7\geq N \Rightarrow |$val14 _$val7-$val13|<\epsilon,\exists \epsilon\in\RR^{+*}\char44\quad \forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \quad {\rm et}\quad |$val14 _$val7-$val13|\geq \epsilon, \forall \epsilon\in\RR^{+*}\char44\quad \exists N\in\NN\quad \forall $val7\in\NN\char44\quad $val7\geq N \quad {\rm et}\quad |$val14 _$val7-$val13|\geq \epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \Rightarrow |$val14 _$val7-$val13|<\epsilon, \exists \epsilon\in\RR^{+*}\char44\quad \forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \Rightarrow |$val14 _$val7-$val13|\geq \epsilon\
\
$val12 est une fonction de $m_RR dans $m_RR,\forall $val6\char44 $val11\in\RR\char44\quad $val12($val6)=$val12($val11)\Rightarrow $val6=$val11, \exists $val6\char44$val11\in\RR\char44\quad $val12($val6)=$val12($val11)\quad {\rm et}\quad $val6\neq $val11,\forall $val6\char44$val11\in\RR\char44\quad $val12($val6)=$val12($val11)\quad {\rm et}\quad $val6\neq $val11, \forall $val6\char44$val11\in\RR\char44\quad $val12($val6)=$val12($val11)\quad {\rm ou}\quad $val6\neq $val11, \exists $val6\char44$val11\in\RR\char44\quad $val12($val6)=$val12($val11)\Rightarrow $val6\neq $val11 \
\
$val14 une suite relle, \forall A\in\RR\char44\quad\exists N\in\NN\char44\quad \forall $val7\in\NN\char44\quad $val7\geq N \Rightarrow $val14 _$val7>A, \exists A\in\RR\char44\quad\forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \quad {\rm et}\quad $val14 _$val7\leq A, \exists A\in\RR\char44\quad\forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \quad {\rm et}\quad $val14 _$val7<A, \exists A\in\RR\char44\quad\forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \Rightarrow $val14 _$val7\leq A, \forall A\in\RR\char44\quad\forall N\in\NN\char44\quad \exists $val7\in\NN\char44\quad $val7\geq N \quad {\rm et}\quad $val14 _$val7\leq A\
\
$val6 est un rel et $val12 une fonction de $m_RR dans $m_RR, \forall A\in\RR\char44\quad \exists \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow $val12($val11)<A,\exists A\in\RR\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad $val12($val11)\geq A, \forall A\in\RR\char44\quad \forall \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \quad {\rm et}\quad $val12($val11)\geq A, \exists A\in\RR\char44\quad \forall \eta\in\RR\char44\quad \forall $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow $val12($val11)\geq A, \exists A\in\RR\char44\quad \forall \eta\in\RR\char44\quad \exists $val11\in\RR\char44\quad |$val11-$val6|<\eta \Rightarrow $val12($val11)<A 

tmp=!linecnt $donnees
val17=($tmp+1)/2
tmp=!randint 1, $val17
val18=!line $[$tmp*2-1] of $donnees

tmp=!item 1 of $val18
!if $tmp=0
   contexte=$empty
   question=Quelle est la ngation de l'nonc suivant ?
!else
   contexte=Sous le contexte <b> $tmp </b>,
   question=$contexte quelle est la ngation de l'nonc suivant ?
!endif 
tmp=!item 2 of $val18
enonce=\($tmp)
tmp=!item 3 of $val18
goodrep=\($tmp)
tmp=!itemcnt $val18
tmp1=!item 4 to $tmp of $val18
tmp=(),\()
tmp=!char 2 to -2 of $tmp
badrep1=!replace internal , by $tmp in $tmp1
badrep1=\($badrep1)
badrep2=$empty
question=$question <center> $enonce </center>
chronodirect=non
convent=$empty