tmp=x,y,z\
u,v,w\
a,b,c
val1=!randline $tmp
!distribute items $val1 into val2,val3,val4
val5=!randitem n,m

donnees=\forall $(val2)\in\RR\char44 \quad \exists $(val3)\in\RR\char44 \quad $(val3)^2=$(val2),2,2\
\
\forall $(val2)\in\CC\char44 \quad \exists $(val3)\in\CC\char44 \quad $(val3)^2=$(val2),0,0\
\
\exists $(val3)\in\CC\char44 \quad \forall $(val2)\in\CC\char44 \quad $(val3)^2=$(val2),2,2\
\
\forall $(val2)\in\RR^+\char44 \quad \exists $(val5)\in\NN\char44 \quad $(val2)\geq $(val5) \quad et \quad $(val2)<$(val5)+1,0,0\
\
\exists $(val5)\in\NN\char44 \quad \forall $(val2)\in\RR\char44 \quad $(val2)\geq $(val5) \quad et \quad $(val2)<$(val5)+1,2,2\
\
\forall $(val2)\char44 $(val3)\in \RR\char44 \quad \exists $(val4)\in \RR\char44 \quad $(val2)<$(val4)<$(val3),2,2\
\
\forall $(val2)\char44 $(val3)\in \RR\char44 \quad $(val2)<$(val3) \Rightarrow (\exists $(val4)\in \RR\char44 \quad $(val2)< $(val4)< $(val3)\enspace ),0,0\
\
\forall $(val2)\char44 $(val3)\in \CC\char44 \quad \exists $(val4)\in \CC\char44 \quad $(val2)\leq $(val4)\leq $(val3),1,1\
\
\forall $(val2)\in\CC\char44 \quad \exists $(val5)\in\NN\char44 \quad $(val2)\geq $(val5) \quad et \quad $(val2)<$(val5)+1,1,1\
\
\forall $(val2)\in\CC\char44 \quad \exists $(val3)\in\CC\char44 \quad \sqrt{$(val3)}=$(val2),1,1\
\
\forall $(val2)\in\RR\char44 \quad \exists $(val3)\in\RR\char44  \quad \sqrt{$(val3)}=$(val2),1,1\
\
\forall $(val2)\in\RR\char44 \quad \exists $(val3)\in\RR^+\char44  \quad \sqrt{$(val3)}=$(val2),2,2\
\
\forall $(val2)\in\RR^+\char44 \quad \exists $(val3)\in\RR\char44  \quad \sqrt{$(val3)}=$(val2),1,1\
\
\forall $(val2)\in\RR^+\char44 \quad \exists $(val3)\in\RR^+\char44  \quad \sqrt{$(val3)}=$(val2),0,0\
\
\exists $(val3)\in\CC\char44 \quad \forall $(val2)\in\CC\char44  \quad \sqrt{$(val3)}=$(val2),1,1\
\
\exists $(val3)\in\RR^+\char44 \quad \forall $(val2)\in\RR^+\char44  \quad \sqrt{$(val3)}=$(val2),2,2\
\
\forall $(val2)\in[-1\char44 1]\char44 \quad \exists $(val3)\in\RR\char44 \quad sin($(val3))=$(val2),0,0\
\
\forall $(val2)\in[-1\char44 1]\char44 \quad \exists $(val3)\in\RR\char44 \quad cos($(val3))=$(val2),0,0\
\
\forall $(val2)\in[-1\char44 1]\char44 \quad \exists $(val3)\in\CC\char44 \quad sin($(val3))=$(val2),1,1\
\
\forall $(val2)\in[-1\char44 1]\char44 \quad \exists $(val3)\in\CC\char44 \quad cos($(val3))=$(val2),1,1\
\
\exists $(val3)\in\RR\char44 \quad \forall $(val2)\in[-1\char44 1]\char44 \quad sin($(val3))=$(val2),2,2\
\
\exists $(val3)\in\RR\char44 \quad \forall $(val2)\in[-1\char44 1]\char44 \quad cos($(val3))=$(val2),2,2\
\
\forall $(val2)\in\NN\char44 \quad \exists $(val3)\in\NN\char44 \quad $(val2)\leq $(val3),0,0\
\
\exists $(val3)\in\NN\char44 \quad \forall $(val2)\in\NN\char44 \quad $(val2)\leq $(val3),2,2\
\
\forall $(val2)\char44 $(val3) \in \RR\char44 \quad \exists $(val4)\in\RR\char44 \quad $(val2)=$(val3)$(val4),2,2\
\
\forall $(val2)\char44 $(val3) \in \RR^*\char44 \quad \exists $(val4)\in\RR\char44 \quad $(val2)=$(val3)$(val4),0,0\
\
\forall $(val4)\in\CC^*\char44 \quad \exists $(val2)\in\CC\char44 \quad $(val2)\leq $(val4),1,1\
\
\forall $(val4)\in\CC\char44 \quad \exists $(val2)\in\CC\char44 \quad $(val2)\geq $(val4),1,1\
\
\forall $(val4)\in\CC^*\quad \exists $(val2)\in\RR^*\char44 \quad $(val2)<|$(val4)|,0,0\
\
\exists $(val3)\in\CC\char44 \quad \forall $(val2)\in[-1\char44 1]\char44 \quad sin($(val3))=$(val2),1,1\
\
\exists $(val3)\in\CC\char44 \quad \forall $(val2)\in[-1\char44 1]\char44 \quad cos($(val3))=$(val2),1,1\
\
\forall $(val2)\char44 $(val3)\in \RR\char44 \quad \exists $(val4)\in \RR\char44 \quad $(val2)\leq $(val4)\leq $(val3),2,2\
\
\forall $(val2)\in\RR\char44 \quad \exists $(val5)\in\NN\char44 \quad $(val2)\geq $(val5) \quad et \quad $(val2)<$(val5)+1,2,2\
\
\forall $(val2)\in\CC\char44 \quad \exists $(val5)\in\NN\char44 \quad $(val2)\geq $(val5) \quad et \quad $(val2)<$(val5)+1,1,1\
\
\forall $(val2)\in\RR\char44 \frac{1}{$(val2)^2}=(\frac{1}{$(val2)})^{2},1,1\
\
\exists $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad et \quad Re($(val4))\neq 0,0,0\
\
\exists $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad ou \quad Re($(val4))\neq 0,0,0\
\
\forall $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad \Rightarrow \quad Re($(val4))\neq 0,0,0\
\
\forall $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad \Rightarrow \quad Re($(val4))=0,2,2\
\
\exists $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad et \quad Re($(val4))=0,2,2\
\
\forall $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad ou \quad Re($(val4))\neq 0,2,2\
\
\forall $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad ou \quad Arg($(val4))=0,1,1\
\
\forall $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=1 \quad ou \quad Arg($(val4))=0[2\pi],1,1\
\
\forall $(val4)\in\CC\char44 \quad $(val4)^2+$(val4)=0 \quad ou \quad Arg($(val4))=0[2\pi],2,2\
\
\forall $(val4)\in\CC\char44 \quad Arg($(val4))=\frac{\pi}{2}[2\pi]\quad \Rightarrow \quad Im($(val4))=0,2,2\
\
\forall $(val4)\in\CC\char44 \quad Arg($(val4))=\frac{\pi}{2}[2\pi]\quad \Rightarrow \quad Im($(val4))\neq 0,1,1\
\
\forall $(val4)\in\CC^*\char44 \quad Arg($(val4))=\frac{\pi}{2}[2\pi]\quad \Rightarrow \quad Im($(val4))\neq 0,0,0\
\
\forall $(val4)\in\CC^*\char44 \quad Arg($(val4))=\frac{\pi}{2}[2\pi]\quad \Rightarrow \quad Im($(val4))=0,2,2\
\
\forall $(val4)\in\CC\char44 \quad Arg($(val4))=\frac{\pi}{2}[2\pi]\quad \Rightarrow \quad Re($(val4))=0,0,0\
\
\forall $(val4)\in\CC\char44 \quad Arg($(val4))=\frac{\pi}{2}[2\pi]\quad \Rightarrow \quad Re($(val4))\neq 0,1,1\
\
\forall $(val2)\char44 $(val3)\in\RR\char44  \quad \frac{$(val2)}{$(val3)}=\frac{$(val3)}{$(val2)},1,1\
\
\exists $(val2)\char44 $(val3)\in\RR\char44  \quad \frac{$(val2)}{$(val3)}=\frac{$(val3)}{$(val2)},1,1\
\
\forall $(val2)\char44 $(val3)\in\RR^*\char44  \quad \frac{$(val2)}{$(val3)}=\frac{$(val3)}{$(val2)},2,2\
\
\exists $(val2)\char44 $(val3)\in\RR^*\char44  \quad \frac{$(val2)}{$(val3)}=\frac{$(val3)}{$(val2)},0,0\
\
\forall $(val2)\char44 $(val3)\in\RR\char44  \quad $(val2)\leq $(val3) \Rightarrow $(val2)^2\leq $(val3)^2,2,2\
\
\exists $(val2)\char44 $(val3)\in\RR\char44  \quad $(val2)\leq $(val3) \Rightarrow $(val2)^2\leq $(val3)^2,0,0\
\
\exists $(val2)\in\RR\char44 \quad $(val2)^2=$(val2),0,0\
\
\forall $(val2)\in\RR\char44 \quad $(val2)^2=$(val2),2,2\
\
\forall $(val2)\in\RR\char44 \quad $(val2)\leq $(val2)^2,2,2\
\
\exists $(val2)\in\RR\char44 \quad $(val2)\leq $(val2)^2,0,0\
\
\forall $(val2)\in\CC\char44 \quad $(val2)\leq $(val2)^2,1,1\
\
\exists $(val2)\in\CC\char44 \quad $(val2)\leq $(val2)^2,1,1

tmp=!linecnt $donnees
val30=$tmp
val6=$[($(tmp)+1)/2]
val7=!randint 1,$val6
val8=!line $[$val7*2-1] of $donnees

tmp=!item 1 of $val8
enonce=\($tmp)
!read convention.ini $wims_read_parm

!if $wims_read_parm=maximale
   tmp=!item 2 of $val8
!else
   tmp=!item 3 of $val8
!endif
goodrep=!item $[$tmp+1] of $bool
badrep1=$bool
badrep2=$empty
affgoodrep=100
question=Evaluer: <center> $enonce </center>. <p> 
convent=convention.phtml quant
chronodirect=oui
