3*t + 2*t - 3*h - 37 = s, 7 = -t - 3*h for t.
5
Let r be 21 - ((-1)/(-1) + 0). Let y be ((-25)/r)/((-1)/20). Solve -2*m + 0*u = -u - 15, -2*u = -3*m + y for m.
5
Let b(x) = -2*x - 8. Let u be b(-6). Suppose -6*m + 8 = -u*m. Solve -2*o + 4 = -0*o, -m*z + 14 = 5*o for z.
1
Let k be 66/(-88) - (-46)/8. Solve 3*v = 0, 0*r - k*v - 12 = -3*r for r.
4
Let x(j) = -5*j + 25. Let w be x(4). Solve -5*o + l + 25 = w*l, 0 = 2*l - 10 for o.
1
Let y = -6 - -13. Let t be (-2 - -1) + y - 2. Solve -4*i - 4 = 0, t = x + i + 9 for x.
-4
Suppose -b - 5*a = 17, 2*a - 10 = -4*b - 42. Let j(t) = -t**2 - 8*t + 7. Let x be j(b). Solve -l - x = 5*o, 5*o + l + 19 = 5*l for o.
-3
Suppose -i - 2*j + 11 = 2, i = -j + 6. Suppose 0 = 4*h - i*h - 18. Solve -5*q + 2*w + 5 = 0, -3*w + 0*w = q - h for q.
3
Let n(g) = -g + 16. Let x be n(12). Suppose -x*o - 4 = 4*m, 4*o = o + 5*m + 37. Solve -3*a - 14 = -o*y, y - 3*a + 6 = 14 for y.
2
Suppose 1 = -b + 6. Suppose 1 = 2*d - b. Solve -3*a + 5*f + 10 = 0, d*a = -0*f - f - 20 for a.
-5
Let p be 4/(-10) - 27/(-5). Solve l + 18 = p*v, 0*v - 2*v + 2 = -3*l for l.
2
Suppose b + 24 = 2*b. Suppose 0*n = -2*n. Solve -11 = -3*c - 2*z, n = 5*c + 3*z - b + 5 for c.
5
Let d = 7 - 4. Let b = d + -1. Solve g - 6 = b*m + 5*g, -5*m - g = -21 for m.
5
Suppose -2*n + 6 = 3*y, -5 = 3*y + 5*n - 2. Suppose -2*o + 6*o = 0. Let a = 22 - 8. Solve o = -5*f + 15, -4*w = -3*w + y*f - a for w.
2
Let a = 2 + -4. Let n be a*(-3 - 6/4). Solve -n = -3*o, x + 5*o = 4*o + 6 for x.
3
Let f(q) = q**2 + 3. Let t be f(0). Suppose -20 = -2*c - t*c. Suppose -c*b + 9 + 3 = 0. Solve b*j - 8 = -5*u, u - 2 = 2*j - 3 for j.
1
Suppose 4*h + 12 = 0, -5*h - 11 = -f - f. Let n be -2*f*2/8. Solve 2*k - 4 = -3*b, 4*b - 1 = -2*k + n for k.
5
Suppose 0 = -u + x - 3, x + 5 = 3*u + 2*u. Solve -3*y + 7*y + 22 = -2*q, u*y = 4*q - 6 for y.
-5
Let x(r) = -r + 3. Let y be x(0). Let q be 2/(-8) - 18/(-8). Suppose 0 = 3*f + 3 - 0, f = 2*z - 5. Solve o = z*b + 2, -q*b - y*b = -2*o + 4 for o.
2
Let j(q) = -q**2 - 8*q - 11. Let c be j(-4). Solve -v - 4 - 3 = -c*o, -3*o = -2*v for v.
3
Suppose 0 = 4*l + 4 - 0. Let k be 6*1*l/(-3). Suppose k*u - u - 1 = 0. Solve 0 = 3*v + 3*w - 15 - 6, -v = -w - u for v.
4
Let z(b) = 3*b**2 + 4 - 3*b**2 + 0 - 3*b + b**2. Let y be z(3). Solve 5*l + 37 = -y*x, -40 = 3*l + 5*x - 10 for l.
-5
Let r(n) = n**2 + 12*n + 17. Let s be 2 - ((-2)/2 - -15). Let h be r(s). Let k = -4 + h. Solve 4*u = 4*l - 5 + k, -2*u = -3*l - 9 for u.
-3
Let g(n) = -n**2 + 19. Let s be g(0). Solve s + 18 = 4*k - 5*j, -5*k + 4*j = -35 for k.
3
Let s = 3 + -3. Let c = s + -15. Let u be 3/((-27)/6)*c. Solve 3*f - 3*o - 24 = 0, -u = -3*f + 2*o + 9 for f.
3
Let t(q) = -2*q**3 + 4*q**2 - 2*q - 2. Let n be t(2). Let z = n - -6. Suppose 4*f - 16 = -z*f. Solve f*a = 0, -j - 2*a = -0*j - 2 for j.
2
Let z = -58 + 60. Solve -3*y + 7*s - 2*s = -z, 3*y - 6 = 3*s for y.
4
Let g be 2 + 0 - 18/(-3). Let t = -5 + g. Suppose 3*c = -3*k + 15, 9*k - 4*k = t*c + 33. Solve -z - 4*a - k = z, -2*a = 2*z for z.
3
Let t(v) = v**3 - 7*v**2 + v - 4. Let a be t(7). Suppose -5*p + 22 = -3*z + 2*z, -a*p + 4*z = -3. Solve -3*c - 14 = 5*y, 5*c - p - 9 = y for y.
-4
Let c(t) be the first derivative of 4*t**3/3 + 3*t**2/2 + 2*t + 2. Let k be c(-2). Solve -k = -4*h, h + 2 = o + 2*h for o.
-1
Let h be (-2)/4*(0 + -4). Suppose 0 = r + r - 6. Suppose r*o + t = 5*t + 28, 5*o = -t + 16. Solve 0 = -5*v + h*a + 25, o = -v - 3*a - 8 for v.
3
Let w(q) = -3*q + 1. Let m be w(-1). Let d be 12/(-4)*5/(-3). Solve -h - m = -5*u, u = -d*h - u + 7 for h.
1
Let n = 0 + 4. Let g be 2/(-5) - 96/10. Let o = g + 20. Solve -5*i + o = n*s, 2*i - 10 - 6 = -4*s for i.
-2
Let p(a) = -a + 1. Let b be p(-1). Solve -4*u - 2*z + 20 = 0, 26 = b*u + 8*z - 3*z for u.
3
Let x = -27 + 47. Suppose 2*k - 2 = 0, -5 = -0*j - 4*j + 3*k. Let y = 6 - j. Solve 2*f = -2*b + f - 1, -y*f = -x for b.
-3
Let h be 2/11 - (-12)/(-66). Suppose 5*a + h = -n + 12, 5*n - 10 = 0. Solve 2*j = a*r + 1 + 1, -j - 2*r = 5 for j.
-1
Let w be ((-4)/3)/2*-3. Suppose 3*x - 6*y = -y + 12, w*y - 16 = -4*x. Solve -2*r = -3*g + 7*g + 8, 2*g = -3*r + x for r.
4
Let x = -1 + -2. Let m be x + (-2 - -3) + 27. Solve 5*g - m = -w, -5*w + 19 = -2*w + g for w.
5
Let u be 1340/35 + 2/(-7). Suppose -4*s - u = 78. Let n = -13 - s. Solve 0*y - 7 = -d + 2*y, -4*d + 5*y = -n for d.
-1
Let s be (1/2)/((-17)/(-170)). Solve -5*w + 45 = s*k, -3*w - 2*k + 3*k + 7 = 0 for w.
4
Let z(v) = -v + 3. Let w be z(0). Let c = 31 - 20. Suppose -3*b + 21 = -5*t + 48, 0 = 5*t + b - c. Solve 2*k + 4*l + 2 = t*l, 3*k - 6 = w*l for k.
0
Let t be -2*2/12*3. Let b be (-2 + 1)/t*1. Let l = -1 + b. Solve 3*u + 4 = 2*c - l*c, u + 12 = -2*c for u.
-4
Let n(y) be the second derivative of -y**5/20 + 5*y**4/12 - y**3/6 + 7*y**2/2 - 3*y. Let j be n(5). Solve -4*w = -2*z + 1 - 7, -j*z - 6 = 5*w for z.
-3
Suppose 5*y = 3*m, 0 = 4*m - 3*y + 2*y - 17. Solve -3*r = -9, m*w - 17 = 3*r - 6 for w.
4
Suppose 3*b + j + 0*j = 6, -3*b + 6 = 2*j. Solve 2*z = -6, -5*w + 14 = -2*z - b for w.
2
Suppose 5*v - 9 = -2*b, 5*b + v + 3*v - 48 = 0. Suppose 3*n + 5 = 14. Solve 0 = n*i + b, -3*c - c - 2*i - 12 = 0 for c.
-1
Let v = -7 - -8. Solve r - v = -l + 4*r, -4*r - 8 = 0 for l.
-5
Let a be 6/(-30) - (-11)/5. Solve -n = -3*g - 10, 0*n = 2*g - a*n + 4 for g.
-4
Let y(j) = j + 3. Let d be y(0). Suppose -l + d*b = 2*l - 78, -2*l + 3*b = -47. Solve -5*a = -4*n - 17, 3*n + 2*a - l = -3*a for n.
2
Let d be (-3)/(-15) + 7/(-35). Suppose -p + 1 = -d*p. Solve z + i + p = -0, 7 = 3*z - 2*i for z.
1
Let k = 20 + -18. Let r = 11 + -7. Solve 4 = -r*q + k*q, 0 = -2*p + 4*q + 6 for p.
-1
Let t be 3*(2 + (-4)/6). Suppose t*y - 25 = -y. Let n = y - 0. Solve 6*h - 10 = -5*j + 3*h, 0 = 3*j + n*h + 10 for j.
5
Let o be 3/(-2)*(3 - 5). Solve 5*c - o*i - 15 = -2*i, 5*i + 6 = 2*c for c.
3
Let h be ((-2)/(-4))/(2/12). Let l(g) = g**3 - g**2 + 2. Let o be l(0). Solve -k = -2*q + o, -h*q + 0*q + 13 = -4*k for q.
-1
Let z = 3 + -1. Suppose n - 5 + z = 0. Solve 5*l + 5*m = -15, 3 = -l - 0*m - n*m for l.
-3
Let d = -9 + 13. Suppose 0*f - 25 = -5*f, -2*o + 44 = 4*f. Solve -z - 5*c = -3*z + o, -2*z - d*c = 24 for z.
-4
Let d(h) = -7*h - 2. Let u be d(2). Let n = 10 + u. Let i = n + 10. Solve 0 = m + i*q + 21, 0*m = 2*m + 3*q + 17 for m.
-1
Let j be 2/(-8) + 6*(-57)/(-24). Suppose 15 = -0*q + 3*q. Solve 5*c + 31 = -2*l, c - q*l + 4 - j = 0 for c.
-5
Let r = 1 - -4. Suppose 2*f - r*s - 21 = 0, -5*s + 4*s = -3*f + 12. Solve -m + 7 = f*v, -m + 5*v - 11 = 2*v for m.
-2
Suppose 3*x + 630 + 198 = 0. Let i be (-8)/6 + x/(-18). Solve 2*m + 4*b = i, 5*b - 7 = -2 for m.
5
Let k(z) = -z**2 + 3*z - 5. Let l be k(4). Let n = l + 14. Solve -2*u + 0*u = -5*y + 19, 25 = n*y for u.
3
Suppose -3*y + 1 = -l - 6, 4*y = -4*l + 36. Suppose -4*d - m - 2*m = -26, 24 = y*d + 2*m. Solve 4*a - d = 3*b - 36, 4*a - b = -21 for a.
-4
Let d be (8/6)/((-1)/(-3)). Suppose -d = -r - r. Solve a = 4*l + 18, -5 = r*a + 2*l - 1 for a.
2
Suppose 5*f + 3*w - 45 = 0, 14 = -2*f + 2*w + 48. Let a be (0 - -3)*(-2)/(-3). Solve 4*v + f = -v + d, a*v = 2*d - 8 for v.
-2
Let l(o) = -13*o**2 + 2*o + 1. Let j be l(-1). Let x = -10 - j. Solve 15 = 5*f - 2*g, -3*g - 6 = 5*f + x for f.
1
Let j(f) = -f**2 + 3*f. Let o be j(3). Suppose o*q = -4*q - 8. Let i = 0 - q. Solve 0 = 5*g - 4*w - i, -3*g = 2*w + 2*w - 14 for g.
2
Let s = 87 + -62. Let h(w) = 3*w. Let z be h(6). Solve 0 = 4*i - 2*t - z, 0 = -4*i - 0*t - 5*t + s for i.
5
Suppose 5*i - 12 + 7 = 0. Solve -2*f + 3 = -i, 2*c + 8 = -f for c.
-5
Suppose 2*z = -r + 5*r + 16, 3*z - 2*r = 16. Solve 5*f - 4*m = z - 1, -4*f - m = -15 for f.
3
Let o be 2/(-4) - 99/(-22). Suppose 0 = i + o*j + 28, -6*j - 2 = -4*j. Let p be (-6)/i*(5 + -1). Solve 5*t - 1 - 11 = -2*x, 5*x = 3*t - p for x.
1
Let s be (-302)/(-18) - (-12)/54. Solve x + 5*a - s = 0, -3*x + 0*x = -a - 3 for x.
2
Suppose -6 = -m - 1. Solve -4*h - 3*d + 1 = 0, 0*d = -m*h - 4*d + 1 for h.
1
Let s be (-2 + 1)*(0 + 2). Let w be (-12)/(-9)*(-9)/s. Suppose -2*i - w = -4*i. Solve -r + 5 = t + i*t, -2*t - 3*r = -15 for t.
0
Let n = 3 + -1. Let u(z) = 5*z - 5. Let s be u(4). Suppose 3*j + s = 51. Solve n*f + f - 2*h = -j, 4*h = 12 for f.
-2
Suppose 0 = g - 5*g + 2*a + 2, 15 = 5*a. Solve g*j = 3*c - 1, 2*c - 2*j = 3*j + 19 for c.
-3
Suppose 7*l - 3