A system of simultaneous non-linear equations in three-thousand variables