. Let f be y(t). Solve 0 = 3*i + 3*z + 15, -2*i + 4*z - f - 3 = 0 for i.
-4
Suppose -y = 3*x - 2, 7*y = 4*y - 12. Solve -t + 3 + 3 = -x*z, -4*t - 16 = 2*z for t.
-2
Let r = -29 - -19. Let u(d) = d**2 + 10*d + 3. Let z be u(r). Suppose z*t + 30 = 8*t. Solve -8 = -n + 2*o, 5*o = n - t*n - 5 for n.
2
Let j be (-16)/32 + 3/2. Suppose -c - c = -3*o + 5, c + j = 0. Let f = 1 + 1. Solve 2*n - o - 1 = 0, 5*t - f*n - 23 = 0 for t.
5
Suppose -3 = 2*c - 7. Suppose y - c*y = t - 26, 2*t + 32 = y. Solve 0*x = 2*q - 4*x - y, 0 = -2*x - 10 for q.
4
Let a(j) = -j**2 - 10*j - 21. Let b be a(-6). Solve -4*y + s = -y - 15, -b*s = 0 for y.
5
Suppose -3*i - 3 = -n - 4*i, -4 = 4*i. Suppose -5*f + b = -5, 6*f - 11*f - 5*b + 5 = 0. Solve -c = f - n, 0 = 2*v - 2*c + 10 for v.
-2
Let b(q) = -47*q + 240. Let c be b(5). Solve -31 = -c*w - 3*k, 0 = -4*w - 3*k + 8*k + 10 for w.
5
Let v = 5 - 3. Let t(n) = -1. Let y(x) = -x - 4. Let l(i) = 18*t(i) - 2*y(i). Let u be l(7). Solve 2*g - 3 = v*c + 13, -17 = g + u*c for g.
3
Let b = 30 - 30. Suppose b = -3*z + 40 + 26. Solve 5*w - z = -0*m - m, 0 = -m + 2 for w.
4
Suppose 5*k - 9 = -2*v, k + 2*k - 5*v - 24 = 0. Suppose -7*u = -k*u. Suppose u = -2*y + 2 + 4. Solve -5*x - n = 10, -y*x + 2*n = -5*x - 4 for x.
-2
Let q = 7 + -2. Let y(b) = -6*b + 10. Let a be y(q). Let t = -17 - a. Solve 6*p = -3*g + 3*p - t, -14 = 2*g - p for g.
-5
Let s(j) = -2*j**2 + 17*j - 10. Let v be s(7). Solve v = 4*u - 5, 3*l - 14 = -2*u for l.
2
Let o be (-6)/8 - (-133)/(-84)*-3. Solve 2*z = 5*z - 5*j - 7, 7 = z - o*j for z.
-1
Suppose 48*d = -11*d. Solve -2*y + 20 = 4*q, d = 4*q - 4*y + 5 - 1 for q.
3
Suppose -78 = 5*n - m, 38 = -2*n - 0*n - 3*m. Let q be (-2 - (-5)/4)*n. Solve -15 = 5*h + 4*g, -q = 4*h + 2*g - 7*g for h.
-3
Suppose 4*t - 3*l - 20 = 0, -4*l - 7 + 27 = 4*t. Solve p = j - 4*p - 12, -2 = 4*j + t*p for j.
2
Let d(q) = -q**2 - 53*q - 282. Let w be d(-47). Solve w = -i + 6*i - 2*b + 31, 2*b - 26 = 4*i for i.
-5
Let f be -3*(20/(-4) + 4). Suppose 3*v - 9 = -f. Solve -3*h + h = -v*c, -3*h - 2 = -5*c for h.
1
Let q(v) be the first derivative of -5*v**2/2 - 15*v - 6. Let y be q(-3). Solve n + y*s - 11 = 5*s, 5*n - 2*s - 9 = 0 for n.
1
Let m(q) = q + 27. Let n(w) = w + 28. Let l(d) = -6*m(d) + 5*n(d). Let h be l(-24). Solve -y + 2*o + 6 = 0, -3*y - h*o = -0*o + 6 for y.
0
Let a = 48 + -45. Suppose -3*x - 4*w = -43, -6*x - a*w + 48 = -3*x. Solve -25 = 5*o, -h + 0*h = 4*o + x for h.
-1
Let f be (-23 + 73)*(2/(-4) - -1). Solve 0 = -w + 4*c - f, -5*w + 3*c - 30 = 2*c for w.
-5
Let i(j) = j**3 + 19*j**2 + 32*j - 9. Let w be i(-17). Solve 0 = 5*u + 2*m - w, 4*u - 2*m - 2 = -0*m for u.
3
Let t = -39 - -41. Suppose x + 4 = 4*w, -x - 6 = -t*w - 3*w. Let y = 3 + -1. Solve -y*b + 4 = z, 3*b = x*z - 2 - 3 for b.
1
Suppose -766 = -0*w - 2*w. Suppose -17*o - 128 + w = 0. Solve -5*m + 5*j - 22 = -2*m, 0 = -3*j + o for m.
1
Let y(c) = c**3 - 17*c**2 - 62*c + 42. Let t be y(20). Solve -3*r = f - r - 12, -2*r = -t*f for f.
4
Let p = -57 - -60. Solve q - 16 = -p*v, -2*q + 22 - 5 = 3*v for v.
5
Let o = -202 + 228. Solve 0 = v + 2*u + 2 - 3, 0 = 4*v - 3*u - o for v.
5
Suppose 0 = 5*s + 4*k - 6*k - 16, 6 = -3*s - 4*k. Solve 5*n - 10*n = s*h + 23, 0 = -3*h - 12 for n.
-3
Let m = -34 - -37. Suppose -2*s + m*p + 12 = -s, 20 = -3*s - 5*p. Solve s = -5*a + 2*g, 16 = -3*a - 5*g - 15 for a.
-2
Suppose 5*l + 0 - 15 = 0. Suppose 6 = 5*b - l*b. Let a = 875 + -870. Solve -b = -p + 3*m - 0, -4*p + 5 = -a*m for p.
0
Suppose -3*x + 8*x = 10, -2*s = 4*x - 16. Solve k + s*p + 1 - 16 = 0, k - p = -5 for k.
-1
Let b(t) = -t**2 + 5*t + 8. Suppose 0 = 5*u - 3*u + 5*p - 17, -4*p - 14 = -3*u. Let o be b(u). Solve 0 = 5*f - 6*l + 2*l + 1, -o*f = -l + 1 for f.
-1
Let t = 74 + -46. Let z(l) = l**2 - 2. Let u be z(2). Suppose -u*s = 2*s - 8. Solve 2*i = 5*n - t, -16 = 5*i - n + s*n for i.
-4
Let a be 9 - (-6)/(36/(-6)). Suppose 5*v - v - a = 0. Solve 5*u + 4 = 3*i, 3*i - 3*u = -v*i + 12 for i.
3
Let i be 1*3 - 2/(16/(-104)). Solve z - i = c + 4*c, -2*c - 10 = -4*z for c.
-3
Let i(b) = b**3 - 45*b**2 + 126*b. Let r be i(42). Solve 5*u = -3*y - 1, 4*y - 3*u - 18 = -r*u for y.
3
Let n(s) be the first derivative of s**2/2 + 13*s - 12. Let h be n(-9). Let m be (-12)/(-1 + h - 5). Solve 0 = 2*x - m, -5*p - x - 1 = -9 for p.
1
Suppose 12*u = 20*u - 32. Solve z = -u*t - 15, -3*t + 4*z + 1 = -2 for t.
-3
Suppose 0 = 5*f - 36 + 11. Suppose k + t - f = 0, 0 = 4*k - 2*t - 14. Solve 2*n = k*g + 28, 6*n = 4*g + n + 40 for g.
-5
Let c(q) = -2*q + 2*q - 4 + 8*q - q**3 + 5*q**2. Let o be c(6). Let m(f) = -f**2 + 13*f - 9. Let z be m(12). Solve -2*u + 3*s + o = s, u + z*s = 0 for u.
3
Let v(y) = y**3 - 19*y**2 + 43*y - 150. Let g be v(17). Solve -3*w - 3*i - 1 = -7, g*w - 5*i + 2 = 0 for w.
1
Suppose -3*j = -15*j - 10*j. Solve j = 3*z - 9, 17 = l + 2*z + 2*z for l.
5
Let t = -411 + 430. Let o(l) = -5 - 5*l - 4*l - l**2 - 2*l. Let k be o(-10). Solve t = k*s - j, -3*s + 1 = -2*s - 3*j for s.
4
Let w(b) = 4*b - 2. Let c(f) = 2*f - 1. Let p(l) = 7*c(l) - 4*w(l). Let i be p(-1). Solve 3*v = i*d - 12, 6*v = v - 25 for d.
-1
Let x = 17 - 6. Let p(n) = n**3 - 10*n**2 + 8*n + 12. Let a be p(9). Suppose a*k - 55 = -2*k. Solve y = 3*t + 3*y + x, 4*t + k = y for t.
-3
Suppose -8*m + 60 = -6*m. Let h = -26 + m. Solve -9 = -3*a - 4*u, -h*a = 4*u - 11 - 1 for a.
3
Suppose 3*k = 7*k + 5*a - 167, -5*k - 5*a = -210. Let m = 48 - k. Solve -m*t + 4*u + 3 + 3 = 0, 2*u + 14 = -3*t for t.
-2
Suppose 3*a = y - 38, -5*y + 0*a - a + 110 = 0. Let q = y + -19. Solve 2*r = 2*m + 2 + 2, q*r = -m + 8 for m.
0
Suppose 0*b + 95 = -2*b + a, 3*b + 160 = -2*a. Let o = b - -55. Solve 3*k + 35 = -o*t - k, 2*k + 25 = -5*t for t.
-3
Let a(w) = 11*w - 3. Suppose -9*x + 4*x - 55 = 0. Let y = x + 13. Let h be a(y). Solve 2*g + h = -5*m - 0*m, -g = -5*m - 28 for m.
-5
Suppose -5*x = 2*n - 3*n - 16, -4*x - 4*n + 8 = 0. Suppose -6 = -x*p + 6. Solve 4*r - 5 + 1 = -p*q, -5*q + 2*r + 12 = 0 for q.
2
Suppose -51 + 36 = -5*u. Solve -q - 19 = 4*o, o - 2*q - u + 1 = 0 for o.
-4
Let h = -26 - -30. Suppose 0 = 5*j + 5, 0*z + 4*z - 12 = -h*j. Solve -3*w + 2 = -d, -2*d = -z*d - 3*w + 14 for d.
4
Let q be 9/(-18) - (-14)/4. Solve 0 = -q*f + 3 + 3, -2*d = 2*f - 8 for d.
2
Let q = 123 + -102. Let z = 39 - q. Solve -x = -3*f - 14, -7 = 4*x + 3*f - z for x.
5
Let a(l) = -3*l + 42. Suppose 0 = q + 4 - 17. Let z be a(q). Suppose -3*j + 2*m + 1 = -0*m, 3*m = -j + 15. Solve 5*d - 3*d - z = -s, -d + j*s = -12 for d.
3
Suppose 7*q = -2*q + 36. Solve -2*m - p - p - 2 = 0, q*m - 3*p = -32 for m.
-5
Suppose 4*k + 34 = 5*f, 26 = -0*k - 5*k - 2*f. Let x be 6/(k/3 + 3). Suppose -x*d + 4*d = 0. Solve 3*l - 10 = -s, d = -4*s - l - l for s.
-2
Suppose 3*c = 4*c. Suppose c = -11*n + 15*n - 20. Solve -5*t + 3*o = 5, -n*t - 2*o - 5 = -0*t for t.
-1
Let j be 32/(-40)*(-10)/4. Solve -5*x - 27 = j*t, x + 4 = -0*x + t for x.
-5
Let n = 364 - 359. Solve 8*o + p = 3*o + 11, 0 = n*o + 5*p - 15 for o.
2
Let m(c) = 9 + 3*c + 3*c - 12*c + 7*c. Let y be m(-7). Solve -3*q - 4 = -y*j, -3*q - 6*j = -4*j - 4 for q.
0
Suppose 0*t + 5*t = 35. Suppose -z + t + 3 = 0. Suppose 6*j + 12 = z*j. Solve -3*k + 5 - 2 = 0, j*k - 9 = -2*b for b.
3
Let d(t) = 12*t**2 + 122*t + 32. Let v be d(-10). Suppose 5*b + 0*b = 20. Solve -v = 5*c - 3*q + 8, -c = q + b for c.
-4
Let b(i) = -21*i - 185. Let k be b(-9). Solve 0 = -2*m + k*c - 14, 2*m + 3*c - 21 = -0*m for m.
3
Suppose -18*h = -21*h + 30. Suppose h*v - 35 = 3*v. Solve -o + 5*u = 20, u + 1 - v = 5*o for o.
0
Let u = 72 - 43. Let s = u + -24. Suppose -s = 2*w - 11. Solve -k = 2*a + 6, 4*k + 2 - 11 = w*a for a.
-3
Suppose d = 5*h - 22, d + 17 = h + 3*h. Solve 0 = -y + 5*n - 13, -2*y + 2*n - d*n = -7 for y.
2
Suppose -3*n = -x + 8, 5*x - 20 = -n + 36. Solve -h = 3*d + 2 + 5, 5*d + x = -2*h for h.
2
Suppose 1 - 25 = -4*g + 4*t, 16 = 3*g - t. Let c = 4 + 31. Solve 0 = -5*r - g*l + c, 6 + 3 = 3*l for r.
4
Let t(f) = 0*f + 23 + 2*f - 3*f + f**3 + 5*f - 8*f**2. Let p be t(7). Solve 5*a = 5*j, -a + 2 = p*j - 4*a for j.
-2
Let z(n) = -21*n + 68. Let x be z(3). Solve 3*r = -5*s - 3 + 13, 35 = -x*r + 2*s for r.
-5
Let n = 1 - -5. Suppose 2 - n = -y. Solve -3*b = -3*m - 18, 5*b + 6 = -y*m - 0*b for m.
-4
Let g(x) be the second derivative of x**3/6 + 7*x**2/2 - 3*x. Let r be g(-