tmp=x,y,z\
u,v,w\
a,b,c
val2=!randline $tmp
!distribute items $val2 into val4,val5,val6
val7=!randitem P,Q,R
val8=!randitem I,J,K
val9=!randitem f,g,h
val10=!randitem r,d,r'
val11=!randint 2, 10
val12=!htmlmath CC

val13=$val4 et $val5 sont des entiers,\forall $val6\in\NN\char44 \quad (\exists p\in\NN\char44 \quad p$val6=$val4)\quad et \quad (\exists q\in\NN\char44 \quad q$val6=$val5) \Rightarrow $val6=1, $val4 et $val5 sont premiers entre eux,$val6 divise p et q,p et q sont premiers entre eux, p et q ne sont pas premiers entre eux\
\
$val4 est un nombre rel,\forall $val5\in\NN\char44 \quad \forall $val6\in\NN^*\char44 \quad $val4\neq\frac{$val5}{$val6}, $val4 n'est pas un rationnel positif ou nul,$val4 n'est pas gal  $val5/$val6,$val4 est un rationnel ngatif,$val4 n'est pas un rationnel\
\
$val6 est un nombre complexe, \exists $val4\in\NN\char44 \quad $val6^{$val4}=1,$val6 est une racine de l'unit,$val6 est une racine $val4-ime de l'unit,$val6 puissance $val4 gal un,$val6 gal un\
\
$val6 et $val6' sont deux nombres complexes,\exists $val4\in\RR^*\char44 \quad $val4$val6=$val6',$val6 et $val6' sont nuls ou ils ont le mme argument modulo \pp, $val6 et $val6' ont le mme argument modulo \pp,$val6 et $val6' ont le mme argument,$val6 et $val6' sont nuls ou ils ont le mme argument\
\
$val8 est un intervalle et $val9 est une fonction sur $val8,\forall $val4\char44 $val4'\in $val8\char44 \quad $val9($val4)=$val9($val4')=0\Rightarrow $val4=$val4', 0 possde au plus un antcdant par $val9 sur $val8,0 possde un unique antcdant par $val9 sur $val8,$val9 est injective sur $val8,0 possde au moins un antcdant par $val9 sur $val8\
\
x et y sont deux entiers naturels,\exists z\in\NN\char44 \quad x=8^z,x est une puissance de 8,x est gale  8 puissance z,x est un multiple de z,Il existe deux entiers, x et z , tels que x est gale  8 puissance z\
\
x est un nombre rel,\exists m\in\NN\char44 \quad m=x,x est un entier naturel,Tout rel est gal  un entier naturel,Les entiers naturels sont des rels,m et x sont gaux\
\
x est un entier naturel,\exists z\in\NN\char44 \quad x=8z,x est multiple de 8,x est multiple de z,x gale 8 fois z,z divise x\
\
x et z sont des entiers naturels,x=8z,x gale 8 fois z,x est multiple de z,x est multiple de 8,z divise x\
\
P est une partie de $m_RR,\forall x\in P\char44 \quad x\geq0,Tous les lments de P sont positifs ou nuls,P contient les rels positifs ou nuls,P contient un rel positif ou nul,x est positif ou nul\
\
P est une partie de $m_RR,\exists x\in P\char44 \quad x\geq0,P contient un rel positif ou nul,P contient les rels positifs ou nuls,Tous les lments de P sont positifs ou nuls,x est positif ou nul\
\
P est une partie de $m_RR,\forall x\in\RR\char44 \quad x\in P\Leftrightarrow x\geq 0,P est l'ensemble des rels positifs ou nuls,P contient l'ensemble des rels positifs ou nuls,P est contenu dans l'ensemble des rels positifs ou nuls,x est positif ou nul\
\
P est une partie de $m_RR,\forall x\in\RR\char44 \quad x\in P\Rightarrow x\geq 0,P est contenu dans l'ensemble des rels positifs ou nuls,P contient l'ensemble des rels positifs ou nuls,P est l'ensemble des rels positifs ou nuls,x est positif ou nul\
\
P et R' sont deux parties de $m_RR,\forall x\in\RR\char44 \quad x\in P\Leftrightarrow x\in R',P et R' sont gaux,P contient Q,R' contient P,x appartient  P et  R'\
\
P et R' sont deux parties de $m_RR,\forall x\in\RR\char44 \quad x\in P\Rightarrow x\in R',R' contient P,P contient Q,P et R' sont gaux,x appartient  P et  R'\
\
0,\forall x\char44 y\in\RR\char44 \quad x\geq y \quad ou \quad y\geq x,Deux rels sont toujours comparables,x et y sont comparables,Certains rels sont comparables,x gale y\
\
0,\forall x\char44 y\in\RR\char44 \quad (x^2=y^2 \quad et\quad xy\geq0)\Rightarrow x=y,Deux rels de signe et de carr identiques sont gaux,Deux rels sont gaux si et seulement si leur signe et leur carr le sont,Deux rels avec le mme carr sont gaux,Certains rels de mme carr et de mme signe sont gaux\
\
0,\forall x\char44 y\in\RR\char44 \quad x^2=y^2\Rightarrow x=y,Deux rels de mme carr sont gaux,Deux rels sont gaux si et seulement si leur carr le sont,Deux complexes avec le mme carr sont gaux,Deux rels de signe et de carr identiques sont gaux\
\
0,\forall x\char44 y\in\RR\char44 \quad (x^2=y^2 \quad et\quad xy\geq0)\Leftrightarrow x=y,Deux rels sont gaux si et seulement si leur signe et leur carr le sont,Certains rels de mme carr et de mme signe sont gaux,Deux rels avec le mme carr sont gaux,Deux rels de signe et de carr identiques sont gaux\
\
0,\forall z\in\CC^*\char44 \quad \overline{\frac{1}{z}}=\frac{1}{\overline{z}},Le conjugu de l'inverse d'un nombre complexe non nul est gal  l'inverse de son conjugu,Le conjugu de l'inverse de z est gal  l'inverse du conjugu de z,Tout nombre complexe non nul admet un inverse,Tout nombre complexe est egal  son conjugu modulo inversion	\
\
z est un nombre complexe non nul,\overline{\frac{1}{z}}=\frac{1}{\overline{z}},Le conjugu de l'inverse de z est gal  l'inverse du conjugu de z,Le conjugu de l'inverse d'un nombre complexe non nul est gal  l'inverse de son conjugu,Tout nombre complexe non nul admet un inverse,Tout nombre complexe est egal  son conjugu modulo inversion

tmp0=!linecnt $val13
val14=$[rint(($(tmp0)+1)/2)]
tmp0=!randint 1, $val14
val15=$[rint(2*$(tmp0)-1)]

val16=!line $val15 of $val13
contexte=!item 1 of $val16
tmp0=!item 2 of $val16
enonce=\($(tmp0))
goodrep=!item 3 of $val16
tmp0=!itemcnt $val16
val22=$[rint($(tmp0)-3)]
badrep1=!item 3 to $tmp0 of $val16
badrep2=$empty
!read question.ini formtrad
chronodirect=non
convent=$empty
