 for s.
4
Let o(h) = 2*h + 3. Suppose -4*a = -20, 3*a = b + 20 - 5. Let g be o(b). Solve -3*x + g = -3*w + 6, 0 = 4*w + 5*x + 14 for w.
-1
Suppose 0 = 2*f + x - 3*x - 10, x = -3*f + 7. Suppose 0*j = 2*j - 10. Solve -3*d = -f*v + 21, -j*v - d - 2*d + 11 = 0 for v.
4
Let y(u) = u**3 - 11*u**2 + 8*u + 8. Let c be y(10). Let z = c - -12. Solve 5*x = 2*g - 14, 5*g + z*g + 2*x = -23 for g.
-3
Let w be 5/((-6)/108*-15). Solve 5*i = -2*a - 8 - w, -3*i = -5*a + 27 for i.
-4
Let m = 7 + -2. Suppose -5*s - 5*i + 45 = 0, -m*s + 2*i + 3*i = -15. Let w be s/33 + (-357)/(-33). Solve -3*u + w = 3*z + z, 13 = 4*z + 5*u for z.
2
Let v = 28 + -4. Suppose 2*h + 3*f - 26 = -3*h, 0 = 16*h - 5*f - 54. Solve 2*u - 3*c = -h*c - 13, -4*c - v = u for u.
-4
Let f(n) = n**3 - 3*n**2 - 2*n - 35. Let l be f(5). Solve 20 = s - l*h, -2*s - s = -2*h - 8 for s.
0
Suppose -2*f - 12 = -6*f. Suppose 0 = q - 3*j - f, 3 + 6 = q + 3*j. Solve -2*w + 4*h = -q, -3*w - 5*h + 25 = w for w.
5
Suppose -3 = -5*o + 2, -9 = -2*x + o. Let y(t) = -t**3 + 3*t**2 + 14*t - 9. Let u be y(x). Solve 0 = 2*l - 3*k + 11, -2*l - 4*k = -u - 13 for l.
2
Let u be (-2)/(1/((-3)/(-2))). Let r be 1/(u - (-21)/6). Suppose -j - s - 2*s = -14, r*s - 14 = -3*j. Solve 6*v = y + 4*v, -j*y + 14 = 3*v for y.
4
Let w(j) = -2 - 35*j + 14*j + 11*j + 11*j. Let b be w(2). Solve 4*o = -5*d - 7, 2*d + 1 = -o - b*o for d.
1
Suppose -t = -3*k - 6, -2*t + 2*k - k + 7 = 0. Solve 7 = 5*c - 3*x, -3*c + 2*x = -t*x - 17 for c.
-1
Let b = -126 + 33. Let u = 103 + b. Solve 2*l + 5 = l - 4*v, -4*l - v = -u for l.
3
Suppose -68*a - 6 = -71*a. Solve -a*u + 8 = -z, -2*u + 2*z + 3 + 9 = 0 for u.
2
Let y = -214 + 219. Solve 5*f + 2 + 0 = d, -y*d = f - 10 for d.
2
Let d be -5 + 246/48 + (-302)/(-16). Solve -2*a = -6*z + z - 13, 5*z + 4*a + d = 0 for z.
-3
Let q be (2 - 5) + 2 - 3. Let j(y) = -2*y**2 + 0 + 3*y**2 + 3*y + 1. Let s be j(q). Solve -s*a = 8*x - 3*x + 25, a + 8 = -2*x for x.
-3
Let t be (-135)/(-19) - 46/437. Suppose -t*a + 10 = -4. Solve 0 = 3*y + 2*b - 4, 0*y + a*b - 4 = 5*y for y.
0
Let f be 45 + -32 - (9 + -1). Solve 4*n + 5*h = 2, -5*n - f*h + 8 = 3 for n.
3
Suppose -2*j + 25 = 5*y + 3*j, 0 = y - 3*j - 5. Suppose 26 = -3*g + 146. Suppose 0 = 2*p + 6*p - g. Solve -i = -5*c - p + 2, -y*i = -2*c - 15 for i.
3
Let m(v) = v**3 + v**2 - 3*v. Let c(o) = -o**2 - o. Let a be c(-4). Let j be a/8*(-4)/(-3). Let d be m(j). Solve 2*q + 7 = 5*s - 0*q, -q + 1 = d*s for s.
1
Let i be 540/18*2/(-4). Let u be 1/(-2)*(i - 9). Solve -j - 6 = -4*y + j, 5*y - j - u = 0 for y.
3
Let d(k) = -k**2 + 30*k + 64. Let b be d(32). Solve 6*u - 3*p + 24 = 3*u, u + 4*p - 7 = b for u.
-5
Let r = -31 + 60. Suppose r*g - 24*g = 20. Solve -p = 3*k - 13, -g*k = 5*p - 9 - 1 for k.
5
Let i(p) = 7*p**2 + 4*p + 2. Let y be i(-1). Suppose -6*a + 11*a = y. Solve -4*z - 5*m = -a - 5, 4*z - 2*m = -8 for z.
-1
Let p = -6 - -10. Suppose l + 13 = -b, p*b = l - b - 11. Let n = 17 + l. Solve 0*y + y = 2*w - 1, 0 = -4*w + n for y.
3
Suppose -m + 2*m - 60 = 0. Let f be (-1)/(-3) + m/36. Suppose s + 5*l = -7, -13 = -2*s + 4*l + 1. Solve -i = -s, f*w - 5*w = 4*i for w.
-4
Let i be (-6)/(-3) - 30/(-10). Let t = -5 - -9. Suppose 65 = t*k + 25. Solve 2*u + 27 = -5*a, -3*a = -2*a + i*u + k for a.
-5
Suppose 8 = -q + 11. Suppose -q*u - 52 = u. Let j = u + 16. Solve 4*t + 3*p - 28 = 0, 5*t + j*p - 19 = 13 for t.
4
Let a(w) = w**3 + 2*w**2. Let k be a(-2). Let z = -6 + 6. Suppose z = 3*i - 33 - 15. Solve m = 3, 5*b + k*m - i = -2*m for b.
2
Let v(i) be the second derivative of i**3 + 2*i**2 - i - 12. Let l be v(3). Solve -3*f = 4*q + l + 4, 4*q - f = -18 for q.
-5
Let d = -170 + 226. Let t = d - 52. Solve -t*v - 12 = 2*w, -w + 0*w + 10 = -2*v for w.
2
Let s be (4 - -19)*(2 - 1). Suppose 5*r - s = -8. Solve 12 = 5*n - r, -n + 6 = -3*h for h.
-1
Let u(m) = 3*m**3 + m**2 - m - 1. Let r be u(1). Solve 0 = -5*o - g + 10, -3*g + r = o - 4*g for o.
2
Suppose g = -14 + 18. Suppose -g = -2*j - 0*j. Solve u + 0*u + j*m = -7, -2*m - 9 = -u for u.
1
Suppose 3*o + 6 = 6*o. Let q be o - (4 - (-2 + 4)). Let m be (-4)/10 + 44/10. Solve q = 3*h - m*h + 5*s - 7, -h + 1 = -s for h.
3
Let s = -526 + 527. Let v be (-3 - -1)/(-1 + 0). Solve -4*x = 2*b - 2, -x + v - s = 0 for b.
-1
Suppose -3*x + 2*j = -10, 2*j = j - 2. Suppose 26*n - 22*n = 28. Suppose 2*q = -2*s + 11 + n, -2*s + 3*q = 7. Solve -4*k + 4 = v, -s*v - 2*k = -x*v - 8 for v.
4
Suppose 4*o - 2*x = 21 - 3, -3 = o - 3*x. Let h(n) = 40 - 14*n**2 + 15*n**2 - 37 - 34*n. Let s be h(34). Solve -v = -3*w + 6, w + o + 2 = -s*v for w.
1
Suppose 4*t - d = 26, 2*t + 4*d - 10 = 6*d. Solve i + 5*s - t = 0, -i = -4*i - 2*s - 5 for i.
-3
Let k = -4 - -7. Let t = 246 + -242. Solve 2*m = m - 5*j - 19, 7 = -t*m + k*j for m.
-4
Suppose -3*l = -b - 5, -4*b = -0*l - 2*l. Suppose 0 = -2*a - l*a + 3*r + 5, 0 = -3*a + 4*r - 5. Solve -z + a*p + 3 = 0, z - 3*z = -2*p + 2 for z.
-2
Let x be 1 + (1 - -9*1). Let f(o) be the first derivative of -o**3/3 + 5*o**2/2 - o - 15. Let a be f(4). Solve x = 3*p - 2*w, 3*w = -5*p + 28 + a for p.
5
Let f = -77 + 82. Solve f*j + 3*k = -14, -j + 5*k - 3*k = 8 for j.
-4
Let a be (-351)/(-39) - (5 - -1). Solve 4*l + 2*u + 14 = 0, a*l - 4*u - 3 = 3 for l.
-2
Suppose 4*p - 72 = m, -3*m + 73 = 210*p - 205*p. Solve -3*f = 12, -w - p = 5*f - 0*f for w.
3
Let k(x) = x**2 - 9*x + 5. Let l be k(9). Let q(b) = 4 - b**2 + 2*b + 2*b - l. Let d be q(2). Solve -2*p + 5*p = 3*r - 6, 0 = d*p + 5*r - 2 for p.
-1
Let g be (-2 - 3) + (-12 - -19). Solve v - 3*m = g*v - 17, -5*v - 2*m + 20 = 0 for v.
2
Suppose 0 = -12*m + 23*m - 77. Solve 0 = -d + 3*k + 2*k + m, -5*k - 13 = d for d.
-3
Suppose -s - 2*s = 4*i - 70, 4*i - 3*s = 58. Let f = 745 - 741. Solve 4*v = -4*b + i, -4*b - 7 = b - f*v for b.
1
Suppose -4*v - 10*f + 9*f = -50, -3*f = v - 18. Solve l + 8 = m, 8 = -4*l - v for m.
3
Suppose -11*t - 1 = -10*t. Let q = -20 + 23. Let r = q + t. Solve -2*w - 35 = -5*y, -4*y = 6*w - r*w for w.
-5
Let b be (-900)/110 + 15 + 4/22. Solve 2*l - 2*h + 10 = -b*h, -5*l = 4*h - 9 for l.
5
Suppose 5*f + 4*b = 67, 2*f - 91 = -2*b - 65. Solve 3*s = a - 15, -5*s = -2*s - 5*a + f for s.
-5
Suppose 0 = -5*a + 7 + 3. Let o(i) = 3*i + 3. Let k be o(-1). Suppose -8*t + 10*t - 4 = k. Solve t*c = 4*y + 12, 0 = -y + a*c - 0*c - 3 for y.
-3
Suppose 11 = q + 2. Let l = -1 + -5. Let z = l - -11. Solve 32 = -z*w - 4*m, 0*m = -3*w + m - q for w.
-4
Let i be -4 + (-4 - (-20)/(-2 - -4)). Let u be -6*(-6)/3 - 2. Let t be 10/3*15/u. Solve -i*z = x - 0 + 1, -x + t*z + 6 = 0 for x.
1
Suppose -202*z = -207*z - 670. Let y = 138 + z. Solve -2*u + 5 = -y*u - 3*j, -5*u + 5*j = 25 for u.
-4
Let u be -3*(-3 - 22/(-6)). Let t be (-35)/(-15)*(u - -5). Suppose 0 = 9*q - 14*q + 45. Solve 2*i - q - 4 = -3*m, -m - 2*i = -t for m.
3
Suppose -11*l + 4 = -9*l. Solve 4*b = -l*c - 4, -5*c = -3*c + 3*b + 1 for c.
4
Let i(g) = 11*g**2 + g - 1. Let r be i(1). Let b = 1025 - 1018. Solve -k = 3*q + r, -b*k = -3*k - 3*q - 16 for k.
1
Let n = 23 - 23. Let a be n/(4 - 2) + 4. Solve 5*s + 7 = -a*h, 3*s + 2*h - 1 = 2*s for s.
-3
Let i(q) = -q**2 - 9*q - 10. Let o be i(-8). Let s be 18/(-1 - (o - (3 - 3))). Solve -3*m - 4*h = -s, -5*m + m + 5*h = 7 for m.
2
Suppose -w + 8 + 2 = 0. Let z(j) = j**2 - 12*j + 24. Let p be z(w). Suppose 0*t + 5*t = 10. Solve 0 = t*c + p*x + 26, -x - 20 = 5*c for c.
-3
Let z be (-1)/3 - ((-65)/15 - 0). Let y be (0 - 0) + 6 - z. Solve -2*r + 8 = -3*r - 2*u, -3*u = y*r + 14 for r.
-4
Suppose 15*x = 21*x - 24. Solve -j - k - 8 = -0*k, 3*k + x = j for j.
-5
Let o be 1/(-5) - 165/(-75). Suppose -o*w = -9 + 1. Solve -3*r - 12 = -4*t, -5*t + w*r = -12 - 4 for t.
0
Let o be 6/21 - 108/(-14). Let w be (-12)/(-15)*(o + 2). Let k be w/(-3)*(-9)/6. Solve 2*a - 2*z = -4, k*a = -2*z + 3*z + 1 for a.
1
Suppose 0 = -4*k - 3*v - 80, k + 4*v + 8 = 1. Let w = k + 28. Let z = 5 + -3. Solve 0 = -5*d + w*q - 10, z*q + 3 = d + 6*q for d.
-1
Let h be 0 - ((-3)/1 + -12). Suppose -4*j - j + h = 0. Solve -t = a, j*a = 5*a + 3*t + 1 for a.
1
Suppose -k - 11 = -5*l, 0*l = -k - 4*l + 25. Suppose -r + s - 4*s = -17, r = -2*s + 12. Solve 0 = 3*m + i + 11, r*m = 3*m - 5*i + k for m.
-4
Let g = 41 - -6. Let n = 6 + -2. Suppose x = -2*u, -17 = n*x - 2*u - g. Solve 16 = x*f - 2*f - 2*i, -i = -f + 5 for f.
3
Suppose -13*b - 684 = 