Avaldis 6: left parenthesis, "x" plus 0 , right parenthesis squared plus left parenthesis, "y" plus 0 , right parenthesis squared greater than 15x+02+y+02>15
6
Avaldis 7: left parenthesis, "x" plus 0 , right parenthesis squared plus left parenthesis, "y" plus 0 , right parenthesis squared greater than 15x+02+y+02>15
7
Avaldis 8: left parenthesis, "x" plus 0 , right parenthesis squared plus left parenthesis, "y" plus 0 , right parenthesis squared greater than 15x+02+y+02>15
8
Avaldis 9: left parenthesis, "x" plus 0 , right parenthesis squared plus left parenthesis, "y" plus 0 , right parenthesis squared greater than 15x+02+y+02>15
9
Avaldis 10: left parenthesis, "x" plus 0 , right parenthesis squared plus left parenthesis, "y" plus 0 , right parenthesis squared greater than 15x+02+y+02>15
10
Avaldis 11: left parenthesis, "x" plus 1.5 , right parenthesis squared plus left parenthesis, "y" minus 1.5 , right parenthesis squared less than 0.7 5x+1.52+y−1.52<0.75
