solve(2x^2 – 16x + 32 = 0, x)