et r = -8 + 12. Suppose -4*s - 2*a = -a - 8, 5*s = a + 10. Suppose 0*i + r*i + s*w - 12 = 0, i = -2*w. Solve 0 = 4*z - b + 17, z + 3*b = i*z + 6 for z.
-5
Suppose 17 = -4*x - 23. Let g = 14 + x. Solve 7 = y - 2*z, z - g*z - 9 = 0 for y.
1
Suppose -w + 2*w = -3*y + 4, 3*w - 20 = -5*y. Let b be 1 - 3/1 - -5. Let l be (b - 2) + 0 + 3. Solve -5*t + 4 - 10 = -l*x, -5*t - w = 0 for x.
-1
Let p(w) = w**2 + 4*w. Let x be p(-5). Let k = 10 - x. Solve 0*v + 35 = -5*v - k*j, -27 = 5*v + j for v.
-5
Let s be (-16)/(-7) + 4/(-14). Let z = 6 + -10. Let n(l) = -2*l - 4. Let k be n(z). Solve 0 = -3*g + k*b - 15, 6*g = s*g - 4*b + 8 for g.
-1
Let m = 2 - -4. Suppose 0 = q - m*q - 30. Let z be ((-6)/(-9))/(-2)*q. Solve -4*h + z*h - 8 = 0, -5*c = -2*h - 8 for c.
0
Let o = -5 + 8. Suppose o*f - 34 = g, g + 64 = 5*f + 4. Suppose 5*u - f - 7 = 0. Solve q + 11 = -u*d, d - 6*q - 10 = -2*q for d.
-2
Suppose -4*n = -9*n + 240. Suppose -11*b = -7*b - n. Let j(o) = -o - 3. Let t be j(-7). Solve -d - b = 3*m - 6*d, -d = -t*m + 1 for m.
1
Suppose 0 = -g + 3 + 2. Solve 5*t - 14 = 2*y, -y + 1 = g*t - 7 for t.
2
Let k(b) = -8*b - 1. Let c be k(-1). Suppose -3*y + c*v = 4*v - 36, 2*y - 36 = -4*v. Solve -2*j + 1 = -4*l - 15, 0 = 4*l - 3*j + y for l.
-5
Let z(o) = 2*o**2 + o - 1. Let c be 1 + (0 - 1 - -11). Suppose 0 = -5*d + 1 - c. Let s be z(d). Solve -2*h - 31 = 2*h + 3*r, -5 = -5*h + s*r for h.
-4
Let i(u) = -u**2 + 8*u - 5. Let g = 8 - 1. Let s be i(g). Suppose -3*j + j - 4*y - 2 = 0, 0 = 4*j - s*y - 16. Solve 0 = c - 4 - 0, -5*o + 7 = j*c for o.
-1
Let f(v) = v**2 - 5*v - 4. Let y be f(7). Suppose 2*o - 3*o + y = 0. Solve n - o = 2*r - 2, 5*n = -10 for r.
-5
Let w be -2*((6 - 3) + -4). Suppose 5*j - 4*v = 15, 5*v + 8 = 5*j - 7. Suppose -j - 3 = -w*b. Solve -b*h = 3*n, 4*h - 5*n = 10 + 8 for h.
2
Let b(a) be the first derivative of 25*a**3/3 + a**2/2 + a - 6. Let k be b(-1). Let i = 1 + 2. Solve 5*q + k = -4*f, -i*q + q = 2*f + 10 for q.
-5
Let z be (-22)/55 + (-24)/(-10). Solve -5*v - 3*a = 9, -2*v - 6*a = -z*a - 2 for v.
-3
Let n be 3/(-6)*0/2. Suppose 3*j - 12 = -n*j. Solve j*x = 5*t, 2 = -t - 2 for x.
-5
Suppose -3 = 8*o - 5*o. Let i = o + 20. Solve 0 = t - z + 4*z - i, 4*z = 2*t + 12 for t.
4
Let i = -103 + 108. Solve 2*g + 0*g - 3*n + 4 = 0, i*g - 3*n + 1 = 0 for g.
1
Let a be (-2 - -4)/((-1)/(-6)). Suppose 3*p - a = p. Solve -1 = 4*f - 3*f - b, -b = 4*f - p for f.
1
Suppose 2*v = -2*v + 5*q - 7, 2*v - 4*q + 8 = 0. Let p be (-3)/9*v*-3. Solve -l - 1 = 2*r, 2*r + p*r + 22 = 2*l for l.
5
Let b(n) = n - 6. Let y be b(8). Solve -2*d + 0 = 5*x + 11, 0 = -d + y for x.
-3
Let j(n) = 3*n - 2. Let t be j(2). Solve 4*i - 2*g - 23 + 7 = 0, i - 2*g = t for i.
4
Suppose -3 = -k + 2*c + c, 5*k - c = 15. Suppose w - 4*w = -k. Suppose -3*l = -4*l. Solve l = -v + t + w, t = 5*v + 1 - 6 for v.
1
Suppose -48 - 37 = 5*d. Let q = 26 + d. Suppose -11 = -5*a + q. Solve 3*n = -n + a*r - 32, n + 5*r = 22 for n.
-3
Let c(k) = 16*k**3 - k + 1. Let u be c(1). Solve x = 4, 4*x + 0*x = 3*o + u for o.
0
Let t = 4 + -2. Suppose 0*u - 2*u + 8 = 0, -5*g - u + 64 = 0. Suppose -g = -5*n + 8. Solve -5*y + 3*h = 13, 3*y + 4*h = t*h - n for y.
-2
Let g be (-3)/(-15) + 2/(-10). Let r = -5 + 8. Solve -5*u - 5*v + 6 - 1 = 0, g = r*u + 4*v for u.
4
Let u = 19 + -16. Solve -5*d + y - 20 = 0, 4*d + 45 = u*y - 8*y for d.
-5
Let g(n) = 8 + 0*n**3 + n + 10*n**3 - n**2 - 8. Let u be g(1). Solve -k = k - 4*f + u, -5 = k + f for k.
-5
Suppose 0 = -3*v + 12. Let h = -1 + 1. Suppose -4*w = u - 2 + 7, -4*u - w + 10 = h. Solve -4*k + 10 = -v*a - 6*k, -a + u*k = -8 for a.
-1
Let s(v) = -v - 3. Let i be s(-7). Solve 0 = -4*g - i*d - 8, -4 = 3*g + d + 4 for g.
-3
Let o be -2 + 2 - (-3 - 17). Suppose 0 = -0*f + 5*f - o. Suppose -f*c = c - 60. Solve 0*b = -2*r + b + c, 0 = -3*r - b + 8 for r.
4
Suppose -4*h - 4 = s, 4*h + 4 = 4*s - 3*s. Suppose z - 29 + 8 = s. Solve 24 = -r - 5*l, -4*l = 4*r + l + z for r.
1
Let m(c) = 3*c - 2. Let u be m(3). Let n = 2 + u. Let p = 35 - n. Solve -p = 5*g - b, -5*b + 2 = 3*g + 12 for g.
-5
Suppose 2 = -5*i + 122. Suppose 4*z = -5*n + i, 9 = 2*n - 0*z + z. Suppose -32 = -5*t + t. Solve 2*c + 4*q - t = n*c, -c - 3 = -q for c.
-2
Let r = -2 + 3. Let o be r/(-5) - 21/(-5). Solve 0 = -3*q - 0*q + 2*i - 7, 14 = -o*q - 2*i for q.
-3
Suppose -4*z = 18 + 2. Let h be (-43)/5 - 8/20. Let a = z - h. Solve 0 = 5*j + 4*o + 5, -2*j + j + a*o = 1 for j.
-1
Let t(j) = 4*j**2 - j. Let u be (-2)/(-4)*(-2 + 4). Let g be t(u). Let f be (-2)/g + 11/3. Solve -r = -f*a - 2, -3*a + 29 = 4*r + 6 for a.
1
Suppose 0 = -3*k + 5*z + 3, -z = z. Let v = k - -18. Solve -5*o - a + 2*a = -v, -o + 1 = -3*a for o.
4
Let f(x) = -x - 31. Let l be f(-13). Let u be (l/(-3))/(1*2). Solve -4*m = 2*y - 3*y - 7, 0 = u*m - 3*y - 12 for m.
1
Let n(f) = f. Let c be n(-5). Let a be c + 10 - (1 + 0). Let o be (-1)/a + 4/16. Solve o*d + 5*g = d - 15, -d = 5*g + 5 for d.
5
Suppose 2*f + 19 = 3. Let b(d) = d - 3. Let s be b(-5). Let v = s - f. Solve 4*k - 8 = -2*g, v = 3*g - 5*k + 10 + 22 for g.
-4
Suppose -5*w - 5*h = -30, 0 = -4*w + h - 10 + 54. Let p be (-2 - -7)*4/w. Solve p*a - 2*y = 3*a, -4*y = -8 for a.
-4
Suppose -w = 3*l - 60, 4*l - w - 80 = 3*w. Solve 25 = -5*h + 4*f, 0*h = -5*h - 5*f + l for h.
-1
Let h = -39 + 52. Solve 4*b - 19 + 5 = 2*w, -2*w - h = -3*b for b.
1
Let r = -2 - 5. Let q = r + 15. Solve 0 = 5*j - 0*j - 3*g - q, -4*j - 5*g = -36 for j.
4
Let j(h) = -h**3 + 2*h**2 + 5*h - 3. Let n be j(3). Solve 4*q + 3*x = -9, n*q = -5*x + x - 12 for q.
0
Let s(c) = c**2 - 9*c + 1. Let b be s(9). Let n be -1 + (-2)/((-2)/b). Solve n = -l - 3, -4*l = 3*q + 2*q + 2 for q.
2
Let t = 31 + -26. Solve 2*w = 5*d - 2*d + 4, 0 = t*w - 25 for d.
2
Suppose 4*g + 2 = -2*i, 5*i = i - 2*g + 8. Suppose -i*b = -b. Solve -2*p = p - 12, b = 2*q - p for q.
2
Suppose -2*v - v = -2*x - 470, -12 = 3*x. Suppose 5*z = v - 34. Solve -4*f + 3*t + 28 = -0*f, 0 = 4*f - 2*t - z for f.
4
Let d be -2*6*(-3)/12. Suppose d*t + 2*t = 10. Solve 5*s - f - t = 18, -5*f + 4 = s for s.
4
Suppose -9 = -5*t + 2*t. Let u = -8 + 12. Let i(o) = -o**2 + 5*o. Let n be i(u). Solve 4*r = 5*s + 6 + n, -17 = -s - t*r for s.
2
Let m be ((-5)/(-10))/(2/(-4)). Let r = -2 - m. Let b be 0 - r - (2 + -6). Solve -d = b*a + 4*d, -4 = -a + 3*d for a.
1
Let d(m) = -m**2 + 7*m + 10. Let z be d(7). Solve 2*v = 3*h - 3*v + z, -5*v + 50 = 5*h for h.
5
Let b(i) = 2*i**3 - 3*i**2 - 4*i + 1. Let s be b(-3). Let f be (-1028)/s - 6/51. Solve 0 = -x - 5*q - 3, f = -5*x - 0*q - 3*q for x.
-3
Let d be (1 + 1)*14/(-4). Let s be (15 + -9)*d/(-3). Solve -a + 11 = -2*p, 4*p + a = p - s for p.
-5
Suppose 0 = m - 3 - 0. Let u be 4/(-8)*6 + 7. Solve s = -4*s + b - 10, m*b = 2*s + u for s.
-2
Let o be ((-15)/6 - -3)*4. Suppose m = f - 2 - 13, -f + o*m + 19 = 0. Solve 0 = -5*a + 3*a - 2*i - 10, -f = -2*a + 5*i for a.
-2
Let o(j) = -j**2 + 9*j + 22. Let m be o(11). Solve -4*d - h - 15 = m, -h = 4*d + 3*h for d.
-5
Let p(j) = -j**2 - 4*j + 1. Let y be p(-3). Solve -4*a - 5*o + y = -o, 2*a + 8 = 3*o for a.
-1
Let y(c) = 2*c + 22. Let f be y(-9). Solve -2*g - v + 5 = -2*v, 0 = -f*v - 4 for g.
2
Let p(i) = i**3 - 5*i**2 - 3*i - 8. Let u be p(6). Let z = u - 3. Solve 4*s = -3*m - 8, -4*s - 2*m = -z*s - 6 for s.
-2
Suppose 0 = -5*y - 20, -5*a + y = -y - 13. Solve -g + a = 3*b, -7*g + 2*g - 23 = b for b.
2
Let v = 9 + -9. Suppose -5*d - 15 + 40 = v. Solve 4*p - 4 = 2*f + 2*p, d*p - 5 = 0 for f.
-1
Let n be (20/6)/((-8)/(-12)). Suppose n*z + 29 = a + 2*a, 4*z + 16 = 0. Solve 0*r - 5*r = -4*i - a, -r + 1 = -i for i.
-2
Suppose 3*s - 3 = 6. Suppose 2*m + s - 11 = 0. Solve -29 + 5 = -4*j + m*c, -5*c - 20 = -3*j for j.
5
Let b be 2 + 2 - 1 - 0. Suppose 2*d = 3*d - b. Suppose -3*z + 10 = -z. Solve -4*k = -3*s - d, -s + z*k = 4*s for s.
3
Let g = 21 - 28. Let o(c) be the third derivative of -c**4/24 - 2*c**3/3 - c**2. Let m be o(g). Solve -3*f = -m*z + 6, -2*z - z + 5*f = -12 for z.
-1
Suppose -15*t + 5*t + 11*t = 0. Solve 4*o + t*o + k + 4 = 0, 2*o + k = -2 for o.
-1
Let c = 5 + -3. Let f = 1 + c. Let x(j) = -j**2 + 3*j + 2. Let u be x(f). Solve -u*p + 3*o = -15, o + 2*o = 3*p - 15 for p.
0
Suppose -7*n + 6*n - 8 = -4*p, 0 = -2*n - 2*p + 14. Solve 3*y = n*d + 31, -4*y + 4*d + 1 = -7*y for y.
5
Suppose -28 = 3*h + 5*o, -6*h + 