 + 2*t, -4 = m - 2*t for m.
2
Let a = -3033 + 3037. Solve -2*u - 8 = a*s, -3*s - 1 = 3*u + 2 for s.
-3
Let g = -40 + 42. Let q = 2 - -4. Suppose -s + q = -1. Solve 4*v + 2 = -g*c, s = 3*v - 4*c + 25 for v.
-2
Let j(u) = -u**3 + 10*u**2 + u - 2. Let c be j(10). Let y be ((-10)/3)/(c/12). Let d be 6/15 + (-18)/y. Solve -k = 2*k - 9, d*i + 35 = 5*k for i.
-5
Suppose 0 = 32*y - 27*y - 180. Let t = -29 + y. Solve -s - 2*n - 2 = 0, 3*n - t = -2*s - 2*s for s.
4
Let o(w) = -3*w - 10. Let z be o(-5). Suppose -z*j = 6*t - t - 5, -j - 8 = -2*t. Solve 4*x + 2*u + 8 = 0, -1 = -x + 4*u - t for x.
-2
Suppose h = -y - 19, y - 5*h + 2 = 7. Let u = y - -19. Solve -3*c + u = 4*v, -5*v + c + 4 = -v for v.
1
Let h be (16/(-6))/(92/(-138)). Let z be 272/72 + 2/9. Solve -9 = -3*r - z*v, h*r = 4*v - 4 + 16 for r.
3
Let f(a) = a**2 + 10*a - 4. Let b be f(7). Let t = 129 - b. Solve -12 = 4*j + 2*z, 4*j - 3*j - 5*z + t = 0 for j.
-4
Suppose 5*y = 5*y - 5*y. Solve 5*n - 5*g + 7*g = -2, -3*g + 12 = y for n.
-2
Let s be 546/22 + (-42)/(-231). Suppose -2*r - 2*v + s = r, -5*r + 20 = -v. Solve u - 25 = 5*h, -3*u = h - 0*h + r for u.
0
Suppose 4*c = 5*c - 20. Let o = 690 + -688. Suppose 0*w - o*w = -c. Solve -x - 3*a + 8 = -5*x, w = -2*x + 3*a for x.
1
Suppose 16*i = 415 - 383. Let y = -5 - -7. Suppose 0 = y*p + 5*x + 3, -5*p + 22 = 2*x - 2. Solve -i*r + 0*w + 2*w = -p, -5*r + 4*w = -12 for r.
0
Suppose 3*j + 5*j = 80. Suppose 0 = -2*f - 4 + j. Solve -3*s - 13 = 2*i, -f*i = i + 4*s + 20 for i.
-2
Let g(l) = -2*l - 6. Suppose -2*t + 6 = 14. Let j be g(t). Let o be (j/(-2))/((-6)/30). Solve 2*x + 0*x = 8, o*x = f + 16 for f.
4
Let z(q) = q**3 - 7*q**2 + 8*q - 1. Let o be z(6). Let w = 243 + -236. Suppose 2*f - w = o. Solve -4*k - 4*a = 0, f = -2*k - 5*a + 6*a for k.
-3
Suppose -51 - 69 = -12*q. Solve p = z + 2, -6*p = 4*z - p - q for z.
0
Suppose 68*b - 72 = 50*b. Solve -3*j = 5*r + 3, 31 = 4*j - b*r - r for j.
4
Suppose -10*k = 82 - 102. Solve 0 = k*m - 0*m + 2*a - 12, 0 = 2*m + 5*a - 21 for m.
3
Suppose 2*l - l - 8*l = 0. Let t be 7 - (-3 + 2 + -2). Let r = t + -7. Solve l = k + 3*z - 1, 0 = 5*k + r*z - 2*z - 19 for k.
4
Let c = -30 + 50. Let z = 41 - 35. Suppose -d = v + 3, 4*v - d = -3*d - z. Solve g + c = 5*q, v = g - 3*q + 13 + 1 for g.
-5
Let m(c) = -c**3 + 4*c**2 - 4*c + 7. Let n be m(3). Solve 2*z + 2*w + 18 = -0, -3*z - 32 = n*w for z.
-4
Suppose -f + 4*f = 0. Let k = 138 + -136. Suppose f*c - c = -k. Solve c*m + 9 = -3*q, 0 = 4*q + m - 3*m - 2 for q.
-1
Suppose -o + 4*i + 102 = 28, 5*i + 25 = 0. Suppose o = 2*m + 7*m. Solve -m = -y + 2*s, 0 = 3*y + s + 10 + 7 for y.
-4
Let x = 3 + 1. Let l = 44 - 42. Solve -x*s = 4*v - 15 - 9, 0 = 5*v - l*s - 9 for v.
3
Suppose -14 - 37 = c. Let d = 72 + c. Solve 4*n + 12 = 0, 4*m + n = -2*n - d for m.
-3
Let q(l) = -l**2 + 9*l - 9. Suppose -3*k = -18 + 9. Let b be q(k). Solve -p - 3*v + b = 0, -5*p + 5*v - 15 = -0*v for p.
0
Let x = -18 - -18. Let m = x + 1. Solve -4*t + 16 = 2*j, 2*j - 3 = -t + m for t.
4
Let l(y) = 3*y**2 - 149*y - 200. Let d be l(51). Solve -3*m = 3*u - 15, -d*m + 24 = -2*u + 7*u for u.
4
Let m = 52 - 27. Let p = m - 18. Solve -p*k + 2*k = 5*a + 15, 0 = k - 2*a + 9 for k.
-5
Let h(x) = -x**2 + 3*x + 9. Let l be h(7). Let w = l + 28. Let f be (-18)/4*(-6)/w. Solve 7 = r + 2*v, -f*r + 2 - 1 = 2*v for r.
-3
Let y = 62 - 59. Suppose 0 = g + v - 7, 26 = y*g - 5*v - 27. Solve -t - 4*o + 8 = -2*t, 4*t + 5*o + g = 0 for t.
-4
Suppose -7*r = -3*r - 12, x - 6 = -r. Suppose -x*q + 9 = 3. Suppose 0*k = -5*k + 20. Solve -k = m + q*h, -4*m - 2*h = -6*h - 20 for m.
2
Suppose -3*x = -0*x - 2*v - 11, -3*x - v + 17 = 0. Solve 13 = 5*m - q, 0 = 4*m - 3*q - 12 - x for m.
2
Suppose 5*o = 16*o - 33. Suppose -3*f = -8*f + 5. Let l = 3 + f. Solve -5*r - l*j + 0*j - 37 = 0, 9 = -o*r + 2*j for r.
-5
Suppose 3*p - 8 = 4*k, -p + 2*k + 3*k + 10 = 0. Let c be (p*1/3)/3 - -2. Solve 2*f = 0, 11 = -c*z - f + 3 for z.
-4
Let h = -23 - -24. Let f be (-5 + h)*(-63)/84. Suppose 5*i - 162 = f*j, i + i - 2*j = 68. Solve -3*m - 2*m = -4*n - i, m - 17 = 3*n for n.
-5
Let d be (3 - 105/9)*-6. Let q = d - 49. Solve b - 2*c - 18 = -b, -q*c - 19 = -b for b.
4
Suppose -28*z + 53 + 3 = 0. Solve 3*g - 22 = -5*j - 14, 2*j + z*g = 0 for j.
4
Let m(a) = a**3 - 8*a**2 + a - 8. Let r be m(8). Let w = 2 + 3. Let o(s) = -s**2 + 5*s + 3. Let q be o(w). Solve q*j = c + 6, 2*j - 4 = -r*c - 4*c for j.
2
Let q = -574 + 577. Solve 3*x + 5*i + 14 = 0, 0 = 2*x + q*i + 13 - 4 for x.
-3
Let b(m) = -23*m - 138. Let u be b(-6). Solve -z = -i - 2, -4*z + u*z + 4 = 0 for i.
-1
Suppose 4*j + 3*x = -j + 29, 4*j - 31 = -5*x. Suppose 0 = -3*y + 9 + 15. Let v be 5/20 + 358/y. Solve -j*o - v = -5*t, 3*t = 2*t + o + 10 for t.
5
Let z = 4 + 0. Suppose 5*j + 1 = -f + 3*j, 0 = 3*j. Let p be 4 - ((1 - 0) + f). Solve -5*m - z*k = -k - 8, p = -m - 2*k for m.
4
Let l = 118 - 61. Let p = l - 38. Solve -p = -5*x + 2*w - 8, -4*w - 14 = -2*x for x.
1
Let n(k) be the first derivative of 13*k + 3 + 1/2*k**2. Let i be n(-11). Solve 0 = i*j + 4*a + 10, 3*a = 4*j - 7 - 28 for j.
5
Let p(z) = z**3 - 14*z**2 + 2*z - 21. Let n be p(14). Solve 5*a - h = 2*a + n, 25 = 5*h for a.
4
Let u be 32/(-14)*14/(-4). Suppose -s - 28 = -u*s. Solve -7*x + 11 = 4*j - 2*x, -3*j + 9 = s*x for j.
-1
Let t be 19/3 - (-1)/(-3). Suppose r + 3*p - t*p + 1 = 0, -4*p = -5*r + 17. Suppose r*u = 2*u. Solve -h = -u*f - f + 2, 32 = -4*h - 4*f for h.
-5
Let m be (3/6)/((-5)/(-90)). Suppose -10*d = -m*d - 4. Solve -2*s - 10 = -3*i, -2*i = 2*i + d*s for i.
2
Let r = -3 - -6. Suppose 5*s = 2*i + 23 + 5, -3*i = r*s. Let h be 2 + (-3 - 4*-4). Solve 3*q + h = 0, 3*k + s*q = -0 - 5 for k.
5
Suppose -2*g = -3*r + 6, 6 = -4*r + 12*g - 14*g. Solve 5*s + r*z - 3*z = 10, -4*s + 1 = -z for s.
-1
Let f = -94 + 87. Let o be ((-60)/(-35))/((-1)/f). Solve -5*m - z = 0, -5*m - 18 = -5*z + o for m.
-1
Let y(f) = f**2 + 6*f - 4. Let k be y(-7). Suppose j = 3*d - 23, -2*d = -4*d - k*j + 30. Suppose -4*g + d = -7. Solve 2 = -r - r, 9 = p - g*r for p.
5
Let q be (-2)/((-18)/20 + (-9)/(-18)). Suppose -3*a + 4*s = -8, -2*s - s - 6 = a. Suppose -2*j - 2 + 8 = a. Solve 5 = j*l - q*n, -6*l + 2*l = 3*n - 26 for l.
5
Let r(f) = f**3 + 6*f**2 + 3*f - 7. Let a be r(-5). Suppose 6*x = 4*x + 2. Let z be (-1 - -2)/(x/5). Solve i = -i + a*c, -i - z*c = -13 for i.
3
Suppose -3*c + 6 = 3*b - 33, -5*c + 53 = 2*b. Suppose -4*t + 5*v - 30 = -c*t, -3*t = -5*v - 10. Solve t*z = j + 4*z, j = -2*z - 12 for j.
-4
Let y = -33 + 23. Let k = y + 15. Solve -x = i + 3*x + 1, -3*i - 20 = -k*x for i.
-5
Let h(o) = 5*o**2 - o - 3*o**3 + 4*o**3 + 3 + 7*o. Let g be h(-2). Solve 5*y = 2*c - 23, g*y - 3*c = -8*c - 20 for y.
-5
Suppose 2*j + 68 = 2*t, -4*j - 73 - 55 = -2*t. Suppose 0 = 644*i - 651*i + 14. Let n be (i/5)/((-6)/j). Solve b - 5*g = -n*b - 2, 6 = -3*g for b.
-4
Let g(f) = f**2 + 11*f + 28. Let n be g(-3). Solve 0 = 4*u - 5*w - 17 - 4, n*u = 2*w + 6 for u.
-1
Suppose 5*a = l - 44, 4*a - 81 = -4*l + 5*a. Solve t - 11 - 6 = 5*o, 2*t - l = 5*o for o.
-3
Let m(t) = 10 + 8 + t**2 + 7 + 6 - 15*t. Let x be m(13). Solve 6 = -r - 5*k + 3*k, 26 = 3*r - x*k for r.
2
Let t(v) = v**2 - 8. Let c be t(-6). Let i = 95 - 93. Solve -j = j - 2*p, i*p - c = -5*j for j.
4
Let u be 12/(-54) + 8/36. Solve 2*f = 4*k - 4, -3*k + u*k + 6 = -3*f for k.
0
Let a be (10/(-2))/((-24)/4 - -7). Let b be ((-3)/(-5))/(a/(-25)). Solve b*q + c - 26 = -2*q, c = -q + 6 for q.
5
Suppose 0 = -2*t + 5*p - 0 + 5, -3*t = 4*p - 19. Suppose 2*u = t*b - u - 127, 4*u + 48 = 2*b. Solve -2*s = 4*m + 10, m + 2*s = 6*m + b for m.
-4
Let t = 75 - 62. Suppose -x + 2*g + t = 0, -2*g - 3 = 5. Solve -8 = -2*u, x*v + 18 + 11 = u for v.
-5
Suppose 7*l - 39 = 129. Suppose -2*p + 18 = 3*b, -2*b = 2*p - 0*p - 14. Solve b*i = 4*u + l, -i - i + u = -8 for i.
2
Let f = 37 - 37. Solve 4*h + 3*n + 7 = 0, n + f*n + 1 = 0 for h.
-1
Suppose 0 = 5*w - 8 - 2, 0 = 5*x - 2*w - 21. Solve 3*m - 10 = 2*n, -5*n - 25 = -4*m + x*m for n.
-5
Let a(g) = g - 6. Let f be a(9). Solve -3*r + 35 = -5*s, 4*r + r - f*s = 37 for r.
5
Suppose -5*a + 62 = r, -2*a = -5*r - 5 - 9. Let x = 4 - a. Let l be (-56)/8*x/14. Solve 0 = -3*k + 3*d - 6, -2*k = -l*d + 4 + 2 for k.
-1
Let y(b) be the second derivative of b**3/6 + b**2 - b. Let g be (2/(-4))/(1/(-2)). Let v be y(