 0 for t.
-2
Let k = 105 - 100. Solve f + 4 = -2*r, 0*r = f - k*r - 24 for f.
4
Suppose -v - 16 = -14. Let d be (v/5)/((-6)/360). Suppose 0 = o + 5*o - d. Solve -10 = 2*c - o*i, 3*i = -5*c + 5*i - 1 for c.
1
Let g = -384 - -386. Solve 0*m = -g*m - 5*i + 20, 4 = -2*m + i for m.
0
Suppose -2*p = p - 3. Let y be (-2)/((-3 - p) + 2). Suppose -y = o - 4. Solve 4*j - 3*b = o, 4*b = 3*j - 4 + 7 for j.
3
Suppose -548 + 533 = -5*s. Solve -3*n = -s*b + 4*b + 8, 0 = -4*n - 3*b - 14 for n.
-2
Let t(w) = 5*w**3. Let c be t(1). Suppose -c*r - 4*q = -5, 2*q + 0 = -3*r + 3. Suppose -2*x + 5 = r. Solve 2*s + 2*j + 18 = 0, -3*j - 7 = x*s - 3*s for s.
-5
Let q = -27 + 25. Let a be q/(-8) + 312/32. Solve -4*o = -3*r - 4 + 15, -a = -2*r for o.
1
Suppose -z + 4*b = 15, -2*b = 4*z - 30 - 0. Solve -v + 22 = -z*s, v = s - 4*s - 18 for v.
-3
Suppose -5*b - 5*x = 0, 2*x + 3*x = -20. Suppose 5*i = b*p + 37, 2*i - 27 = 3*p - i. Let q = p + 10. Solve -5*z + 20 = 2*o, 0*o + 8 = q*z - 3*o for z.
4
Suppose -c = 3, 8*c - 3 = -2*m + 3*c. Suppose -m*s = -6*s. Let i be 10 + 4 + s + -5. Solve 0*y - i = -4*x - 3*y, -y = 3*x - 3 for x.
0
Suppose 3*b - 5 = i - 2*i, 0 = -5*b + 5*i - 25. Let l = 1 + b. Let g(d) = 2*d. Let t be g(l). Solve -4*q = -2*k + 6, -k - t*q + 3 = 4*k for k.
1
Suppose 250 = 7*g + 229. Solve 0*l = -4*y + 5*l - 16, -g*l + 13 = y for y.
1
Suppose -2*f - 12 = -4*h, -2*h - f + 14 = -0*h. Solve -h*x + 5*z = 0, -z = 4*z + 25 for x.
-5
Let s be (6/(-3))/((-76)/68 - -1). Let a be s/(34/20) - 2*1. Solve 12 = -j + 3*y - 0*y, j + a = 2*y for j.
0
Let o(x) = x + 20. Let s be o(-19). Suppose -4*p - 2*w + 6*w - 8 = 0, w + s = 0. Let z be (-5)/(-3) + 2/p. Solve -g = -k + z, 4*k = -3*g - 0 - 3 for k.
0
Suppose 11*s - 9*s + 4*b - 206 = 0, -108 = -s + 3*b. Let g = 112 - s. Solve 3*p + 2*p = 5*t - 5, 0 = -p + 4*t - g for p.
1
Let u = -9 + 13. Let o = 1 - 1. Let f(a) = a**2 + a + 6. Let p be f(3). Solve -2*c + u*d - p = 0, 6*d - 2*d - 20 = o for c.
1
Suppose -3*i + 13 = 31. Let f be 1/((-2 - 1)/i). Solve f*s - 3*q - 40 = -15, -3*s + 5 = 2*q for s.
5
Suppose 0*y + 5*v + 17 = y, -2*v = 5*y - 31. Let k = 9 - y. Solve 3*s + 12 = 4*p, -k*p + 6*s = 5*s - 6 for p.
3
Suppose j - 5*o = 3*j + 44, 4*o = j + 22. Let g = 6 - j. Suppose 4*h - g = -0*h - 4*b, h - b = 1. Solve -7 = v + 4*i, 0*i + i + 23 = h*v for v.
5
Suppose 167 = 3*w + 161. Suppose 32 - 9 = -3*q - 4*n, 4*q - 4*n - 16 = 0. Let d = q + 5. Solve -w*s = 4, g + 7*s - d*s = -1 for g.
5
Suppose -u = -u + u. Suppose u = w - 25 + 8. Solve 3*a - 4*p - 14 = w, -2*a + 2*p + 18 = 0 for a.
5
Let w(q) = q**3 - 18*q**2 - 19*q + 2. Let n be w(19). Solve -3*s + 13 = n*b, 0*b + 4*s - 23 = 3*b for b.
-1
Let w(x) = -6*x - 1. Let t be w(-1). Let r(n) = -n + 6. Let m be r(t). Let c be (m + 6)*40/28. Solve -2*d = -2*i - c, 0 = -i - d - d - 5 for i.
-5
Let i(c) = -c**2 + 14*c - 11. Let n be i(9). Suppose 5*g + 151 = 3*x, 0 = -4*x - 2*g + g + 186. Let u = x - n. Solve 3*s - 3*f = 24, -s + 5*f - 3*f = -u for s.
3
Suppose 68 = 6*q - 70. Suppose -1 = 3*a - 5*t - 0, 4*t - q = -5*a. Solve 2*f = 4*p + 5*f + 2, a*p = 4*f + 11 for p.
1
Let s(k) = k**3 - 22. Let p be s(3). Solve 0 = u + c + 7, p*u - 2*u + 13 = -c for u.
-3
Let o be (-2)/10 - 2/(-10). Suppose -28 = -h + 4*m, 2*h - 2*m = 40 + 10. Suppose o = -0*s - 6*s + h. Solve -4*t - s*d + 16 = 0, 4*t - 16 = -d - 0*d for t.
4
Suppose 0*q = -2*h + 3*q + 44, 76 = 4*h - 3*q. Solve 4*x + h = -4*t, -2*t - 10*x = -12*x - 8 for t.
0
Let b(y) = 12*y**3 - 94*y**2 - 14*y - 11. Let c be b(8). Solve d - 15 = -w + c*d, -2*w + 5*d = -15 for w.
-5
Let z(i) = -i**2 - 25*i - 95. Let g be z(-5). Solve -h + 8 = -5*f, 2*h - g*f = -h + 14 for h.
3
Suppose 4*y = -3*b + 32, 2*b + 5*y - 23 = 2*y. Solve -14 = -4*s - 2*q - 32, -b*q = -5*s - 29 for s.
-5
Let s be (-1938)/(-714) - 2/(-7). Solve -4*o + 4 + 21 = 5*l, 2*l + 13 = s*o for l.
1
Let a be (1 - 3)*-2 + 0. Solve a*l - t + 4 = 7, 4*t - 26 = -3*l for l.
2
Suppose 8*t - 326 = -126. Solve 5*m - t = -5*s, -3*m + 0*s + s + 15 = 0 for m.
5
Let c = -21 - -24. Solve 10 = -5*k + c*k, -5*r + 3*k + 35 = 0 for r.
4
Suppose 0*l = -l - 26. Let o = 29 + l. Suppose 4 = n + 1. Solve -4*d = 12, 3*y - o = -y - n*d for y.
3
Let c(z) = -z + 8. Suppose -18 = -4*d + 18. Let a be (2 + d/3)/1. Let b be c(a). Solve -4*j - 13 = 5*t, -t + b*j - 2*j + 1 = 0 for t.
-1
Suppose -5*m + 3*r = 288, -2*m - 2*m = -5*r + 220. Let j = -9 + 5. Let g be (m/(-45))/(j/(-6)). Solve 20 = -l + 5*l, -g*l = -n - 7 for n.
3
Let m(f) = -2*f - 2. Let p be m(-7). Suppose -5*g + 27 = p. Suppose -4*d + 5*s = -56, 33 = 5*d - 0*s + g*s. Solve -5*q - d = -3*u, -3*u + q + 7 = -2 for u.
3
Suppose 5*m + 22 = 4*d, -4*d + 4*m = 2*m - 16. Let p = 84 + -84. Solve -d*g + 6 = -4*w + 2, p = -2*g - 8 for w.
-4
Suppose -3*x + 5*g - 39 = 0, -2*x - x = 5*g + 39. Let k(z) be the first derivative of z**2/2 + 16*z + 1. Let b be k(x). Solve b*r - 28 = 4*q + r, r = 4 for q.
-5
Suppose -3*f + 12 = -3. Suppose 48 = f*m - 2. Suppose 4*c = 18 + m. Solve -12 = -5*a + a + 4*u, c = a - 3*u for a.
1
Let a(u) be the first derivative of -u**2 + 15*u - 18. Let o be a(-8). Solve -2*h = 5*s - o, s - 4*h + 10 = h for s.
5
Suppose -2*j = 2*w - 3 - 7, 0 = -3*j + 2*w. Suppose j*c - 2*z - 28 = -2*c, 9 = c - z. Solve -15 = c*o, -2*h + 2*o - 3 = -13 for h.
2
Let w = 6 + -7. Let x be (-4)/w - 33/(-3). Solve -3 = -4*n + 7*n - 3*z, -z - x = 3*n for n.
-4
Let y be (135/(-60))/(6/(-8)). Solve -g + 2*u + 10 = 0, -4 - 1 = g + y*u for g.
4
Let g = -83 + 86. Let h be 19/((-4 - -7)/g). Solve -2*v - 4*d = -10 + 38, v + h = -3*d for v.
-4
Suppose 3*w = 79 - 52. Suppose -1 = p + a, 3*p - w = -a + 2*a. Let g be -1*5*6/(-10). Solve g*t + u = -t + 16, p*u - 8 = 0 for t.
3
Let o(i) = -i + 3. Let m(u) = -2*u + 2. Let y(t) = 5*m(t) - 4*o(t). Let h = -49 - -48. Let d be y(h). Solve -4*k = x + d, 4*x + 4*k = 7*k + 22 for x.
4
Suppose -2*h = -19*h + 68. Solve 0 = r + 3, -o - h = 5*r + 9 for o.
2
Let c(o) = o**2 + 13*o + 6. Let q be c(-13). Let u = -13 + 11. Let z be 3/(4*u/(-24)). Solve -4*r - q = -b - 27, 0 = -r + b + z for r.
4
Suppose 2*o - 3*o = -2. Let c = -6 - -9. Solve 25 = o*s + c*d, 0 = -s - 0*s - 5*d + 30 for s.
5
Let q(r) = -7*r - 40. Let x(w) = 36*w + 199. Let t(n) = -11*q(n) - 2*x(n). Let g be t(-6). Solve -3*o - v + 18 = 2*v, 2*o = 4*v - g for o.
2
Suppose -174 = 3*g + 54. Let u be g/95*(0/(-1) - 25). Solve -2*r + 3*l = 6*l - 9, -5*r - 5*l = -u for r.
3
Let l = 501 + -498. Solve -4*x - i = 8, l*x + i + 4 + 1 = 0 for x.
-3
Let m(j) = j**3 + 12*j**2 - 17*j - 41. Let i be m(-13). Solve -f + i - 2 = -s, -13 = 2*s - f for s.
-4
Suppose -19*t + 10 + 28 = 0. Solve -p + t*b + 4 = 3*b, -4*p = 5*b - 17 for p.
3
Let x = -91 - -115. Suppose 0*q + 5*q = 2*k + 16, q = 2*k. Suppose 4*c - s - x = 0, 0 = k*c - 4*c + 4*s + 12. Solve -i + c - 17 = 2*r, 0 = -3*r - 12 for i.
-3
Suppose -n = 7*q - 3*q - 16, 2*q - 3*n + 6 = 0. Solve 5*x + q = -4*p, -p + 6 = p for x.
-3
Suppose 3*s - p - 32 = 17, -2*p + 14 = s. Suppose 18*d - s*d - 36 = 0. Solve 2 = 3*b + q, -d = -3*b + b - 4*q for b.
-1
Let c(i) = -i**2 + 18*i - 39. Let x be c(15). Suppose x*u = u + 20. Solve -3*a + 0*q + q = u, 0 = a - q + 2 for a.
-1
Suppose 18*t - 148 = -58. Solve -i + 0*r + 20 = 4*r, -r = 3*i - t for i.
0
Suppose -5*h + 127 = 2. Suppose -h = -5*r - 10. Solve -r*j = 4*g - 2*j - 8, 5*g + 5*j = 10 for g.
2
Suppose 2*r - 5*k - 11 = -4*k, -4*k = -5*r + 32. Suppose v = -g + 5, -v = r*v + g - 25. Solve 2*q = -v*i + 8, i + 2*q = -q - 1 for i.
2
Let l = 2306 - 2294. Solve 5*p = 2*n + 2, -4*n - 13*p + 15*p + l = 0 for n.
4
Let y = -304 + 306. Solve 0 = y*u + 8*g - 11*g - 16, -5*g = 4*u - 10 for u.
5
Let z = -107 + 81. Let f = z - -36. Solve -2*v + 7 = -5*m, 4*m + f - 2 = v for m.
-3
Suppose 0 = v - 3*i - 11, -2*i + 5*i + 5 = -2*v. Suppose r = 5, 2*h + 3*r - 28 = -9. Suppose 4 = x + h. Solve 2*p - v = -6*b + b, 0 = -b + x for p.
-4
Let x(y) = -2*y**2 + 18*y + 46. Let p be x(11). Solve 4*t - 8 = p*v + 2*v, 2*t = 10 for v.
3
Suppose -4 = -2*b + 2. Suppose 5*s + 2 = -u, 0 = 3*s + 13 - 10. Suppose -5*q + 51 = b*w - 3*q, -q = u. Solve -3*n = -4*g - 19, 4*n + 3*g - 2*g - w = 0 for n.
5
Let w be 7 + 0*(-5)/40. Solve 2*a - w = -3*z, 4*a - 2 = 4*z + 22 for z.
-1
Let j = -3 + -8. Let l = j - -15. Let c = 3 - -1. Solve y - l = -c*w, y - 3*w = w - 12 for y.