Let y(z) = 2*z**2 + 6*z + 1. Let h be y(-4). Solve -d - 2*d = h for d.
-3
Suppose -4*c + 7 = l, -5 = -5*c - l - 4*l. Solve u - c = 1 for u.
3
Let z = 65 + -63. Let t = -3 + 5. Let y be t + (-2 - (-1 - -1)). Solve z = -f - y for f.
-2
Let j be -1 - -9*(-3)/(-3). Let h(x) = -x**3 - 1. Let t be h(-1). Suppose 2*n + j = t, p = 2*p + 3*n + 10. Solve 5*u - p - 3 = 0 for u.
1
Let n = 33 + -18. Solve 0 = -5*x - 0*x - n for x.
-3
Suppose -5 = 2*a + 3*w, -3*a - 2*w = w. Solve 0 = a*p - 11 - 9 for p.
4
Let g = -66 + 73. Let f be (3 - 7)/((-2)/4). Solve -5*k + g = -f for k.
3
Suppose -3*c + 11 = -1. Suppose -d + 0 = -3. Suppose -4*l = k - 1, d*k - 20 = l - c. Solve 11 = -k*z - 9 for z.
-4
Let u(d) = -2*d + 6. Let i be u(2). Solve -4 - i = -3*l for l.
2
Suppose -g = g - 20. Let d = -5 + g. Solve 0 = 2*v + 5 + d for v.
-5