Let r = -62 + 66. Solve 0 = -r*z - 10 + 2 for z.
-2
Let i(v) = -v3 - 4*v2 + 4*v - 6. Let s be i(-5). Let w be (-15)/(-5) + s/(-1). Solve 0 = u - w*u for u.
0
Let o = -2 + 11. Solve o + 1 = 5*k for k.
2
Let o = 6 + 2. Suppose 0*z - 5*c = z - 10, 2*z - 12 = -2*c. Suppose -o = -z*t + 2. Solve -t*a + 3 + 1 = 0 for a.
2
Let j(p) = -p + 1. Suppose -i + 4 = -2*i. Let k be j(i). Suppose -k*w - 6 = -7*w. Solve -1 = f - w for f.
2
Suppose 2 = r + 4*w, 5 = r + 5*w + 4. Suppose r*m - 6 = 3*m. Solve -5 = o - m*o for o.
5
Suppose 4*t - 4 = -4*k, 2*k - 3*t - 22 = -0*k. Suppose 4*y = -k*r + 40, -36 = -4*y - 2*r - 2*r. Solve -g + y = -0*g for g.
5
Let i = -10 - -6. Let d be 0/1 - (4 + i). Solve d*s + 6 = -3*s for s.
-2
Let h be 4/(-14) - (-8)/28. Solve -2*u + 4 = -h for u.
2
Let y(g) = -5*g**3 - 1. Let n be 6/(-9) + 2/(-6). Let z be y(n). Solve 0*s - s = z for s.
-4