# Domains
var x1  >= -1.0e8, <= 1.0e8;
var x2  >= -1.0e8, <= 1.0e8;
var x3  >= -1.0e8, <= 1.0e8;
var x4  >= -1.0e8, <= 1.0e8;
var x5  >= -1.0e8, <= 1.0e8;
var x6  >= -1.0e8, <= 1.0e8;
var x7  >= -1.0e8, <= 1.0e8;
var x8  >= -1.0e8, <= 1.0e8;
var x9  >= -1.0e8, <= 1.0e8;
var x10  >= -1.0e8, <= 1.0e8;
var x11  >= -1.0e8, <= 1.0e8;
var x12  >= -1.0e8, <= 1.0e8;
var x13  >= -1.0e8, <= 1.0e8;
var x14  >= -1.0e8, <= 1.0e8;
var x15  >= -1.0e8, <= 1.0e8;
var x16  >= -1.0e8, <= 1.0e8;
var x17  >= -1.0e8, <= 1.0e8;
var x18  >= -1.0e8, <= 1.0e8;
var x19  >= -1.0e8, <= 1.0e8;
var x20  >= -1.0e8, <= 1.0e8;

subject to
cons1 : x1*(2+5*x1^2) + 1 - (x1*(1+x1) + x2*(1+x2)) = 0;
cons2 : x2*(2+5*x2^2) + 1 - (x1*(1+x1) + x3*(1+x3)) = 0;
cons3 : x3*(2+5*x3^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x4*(1+x4)) = 0;
cons4 : x4*(2+5*x4^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x5*(1+x5)) = 0;
cons5 : x5*(2+5*x5^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x6*(1+x6)) = 0;
cons6 : x6*(2+5*x6^2) + 1 - (x1*(1+x1) + x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x7*(1+x7)) = 0;
cons7 : x7*(2+5*x7^2) + 1 - (x2*(1+x2) + x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x8*(1+x8)) = 0;
cons8 : x8*(2+5*x8^2) + 1 - (x3*(1+x3) + x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x9*(1+x9)) = 0;
cons9 : x9*(2+5*x9^2) + 1 - (x4*(1+x4) + x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x10*(1+x10)) = 0;
cons10 : x10*(2+5*x10^2) + 1 - (x5*(1+x5) + x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x11*(1+x11)) = 0;
cons11 : x11*(2+5*x11^2) + 1 - (x6*(1+x6) + x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x12*(1+x12)) = 0;
cons12 : x12*(2+5*x12^2) + 1 - (x7*(1+x7) + x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x13*(1+x13)) = 0;
cons13 : x13*(2+5*x13^2) + 1 - (x8*(1+x8) + x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x14*(1+x14)) = 0;
cons14 : x14*(2+5*x14^2) + 1 - (x9*(1+x9) + x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x15*(1+x15)) = 0;
cons15 : x15*(2+5*x15^2) + 1 - (x10*(1+x10) + x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x16*(1+x16)) = 0;
cons16 : x16*(2+5*x16^2) + 1 - (x11*(1+x11) + x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x17*(1+x17)) = 0;
cons17 : x17*(2+5*x17^2) + 1 - (x12*(1+x12) + x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x18*(1+x18)) = 0;
cons18 : x18*(2+5*x18^2) + 1 - (x13*(1+x13) + x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x19*(1+x19)) = 0;
cons19 : x19*(2+5*x19^2) + 1 - (x14*(1+x14) + x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x20*(1+x20)) = 0;
cons20 : x20*(2+5*x20^2) + 1 - (x15*(1+x15) + x16*(1+x16) + x17*(1+x17) + x18*(1+x18) + x19*(1+x19)) = 0;

solve;
display x1, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x2, x20, x3, x4, x5, x6, x7, x8, x9;