2
Let b be 6 + (2 + -1)*-1. Suppose -2*v = -b*i - 6, 4*i + 36 = v + 3*v. Let w be (v/2)/((-2)/(-4)). Solve 3*k = -2*x - 0*x + w, 5*x = 2*k + 23 for k.
1
Suppose 12*v - 13*v = -2. Solve 0 = -v*n - 4*s, -2*s = 4*n - 0*s + 6 for n.
-2
Let m be 0/(3/(-3)*-1). Suppose m = 5*g - g - 100. Solve 5*z - g = -2*q, -7*q + z - 5 = -6*q for q.
0
Let p be (-1 - (-2 + 2)) + 4. Suppose -2*j = -0*j - 4. Let a = 0 - -2. Solve a*m + 2*m = 4*o, -o + j = -p*m for m.
-1
Suppose 2*u = -2 + 18. Suppose -6*y + 2*y + u = 2*f, 0 = y + 4*f - 9. Let o be 1*(-2 - y*-2). Solve 2*l = 4*j - l - 4, o = 4*l + 16 for j.
-2
Let m = -4 + 4. Let o = m - 3. Let c be o/3 + (-9)/(-1). Solve 0 = i - p + 6, -3*p = 3*i - c*p + 24 for i.
-3
Let s be (-52)/(-14) + 10/35. Solve 4*d - s*l + 15 + 1 = 0, -2*l - 16 = 4*d for d.
-4
Let k be (-1)/(-2)*10 - -2. Let c(h) = h - 2. Let q be c(k). Solve q*n = -2*m - 10, 0 = -5*n + 5*m - 3*m - 10 for n.
-2
Let z(c) = -4 + 2 + 0 + 5*c. Let t be z(1). Solve -4*j = t*k - 5*j + 16, 3*k + 5*j - 8 = 0 for k.
-4
Suppose 0 = -p - 1 + 6. Suppose -15 = p*s, 4*i - 47 = -i + 4*s. Solve 4*m - 16 = -4*l, m + 5*l + i - 23 = 0 for m.
1
Let q(v) be the first derivative of -v**2/2 - v + 1. Let t be q(-3). Let w be 1 + 3/(-3) + 3. Solve 0 = -5*d - 20, -2*f - t*d - w*d = 12 for f.
4
Suppose 5*z + 0 = -10. Let g(o) = 10*o + 26. Let i(f) = 3*f + 9. Let k(w) = z*g(w) + 7*i(w). Let j be k(9). Solve 3*q + 2*h + j = -3*h, 4*q - 4 = h for q.
0
Suppose 12 + 0 = a. Let u be 4/14 - (-88)/(-14). Let s = 8 + u. Solve -s*h - 9 = 2*i - 3, -5*i - 2*h - a = 0 for i.
-2
Let i(d) = -d**2 - 17*d - 13. Let y be i(-16). Solve 5 = y*l - 2*o, l - 6 = -3*o + 8*o for l.
1
Let l = 41 - 24. Let c(v) = v**3 - 2*v**2 - 3*v + 2. Let i be c(3). Let s(g) = -g**2 - 6*g. Let q be s(-5). Solve -i + 6 = 4*w, 3*w + l = q*h for h.
4
Let x(l) be the second derivative of l**3/6 + 12*l**2 - 4*l. Let g be x(0). Solve -5*j - 4*f = 9 - g, -1 = -4*j - f for j.
-1
Let c = 8 + -5. Suppose 0*r - c*u = 2*r, 4*r = -3*u. Solve 4*m = -3*q - 15, r*q - 3*m - 10 = 2*q for q.
-5
Suppose -62 = -2*d - 4*b, -b + 3*b - 4 = 0. Suppose 0*n + n = -5*z + 21, -z + d = 4*n. Solve -c + 4*t = 8, 3*c = 3*t - 0*t - n for c.
0
Let s = 4 + -2. Suppose 0 = -s*n + 3*n - 2. Solve 0 = -4*c - 2*o - 2, 5*c - n*o = -1 - 15 for c.
-2
Let g(w) = -w**3 - 2*w**2 + w - 3. Let q be g(-3). Solve -q*k = o + 7, 2*k + 4*o = 5 + 7 for k.
-4
Let k(q) = -q - 1. Let w be k(-6). Let h = -51 + 55. Solve x = -w*g + 15, -h*x = -7*g + 2*g + 15 for x.
0
Suppose 0 = -4*d + 15 + 5. Let m = -61 + 65. Solve 2*u = -6, -k = -m*k - d*u - 15 for k.
0
Let k(s) = 2*s**3 - 17*s**2 + 6*s + 19. Let a be k(8). Suppose 0 = y - 5*y + 16. Solve -5*g - y*p = 19, -2*g + 5*p - 4 + a = 0 for g.
-3
Suppose 1 = -3*a + 4*a. Let h be (-2)/(-3) - a/(-3). Solve x + 3*w = 0, w - h = -5*x + 13 for x.
3
Suppose -l + 4 = 3*l. Let x be -1 + l + (0 - -2). Let w be (18 - 12)/(6/20). Solve -3*t = -0*t, 5*o - x*t = -w for o.
-4
Let b = 211 + -210. Solve -4*n - b = w, -w + 3 = -n + 9 for w.
-5
Suppose 0*a - a + 5 = 0, -4*j - 2*a + 30 = 0. Solve 5*o + 3*z - 15 = 2*z, -2*z + 20 = j*o for o.
2
Let x = -2 + -3. Let v = x - -11. Solve 0 = 5*r - 2*r + v, 10 = -3*o - 5*r for o.
0
Let m(u) = u**2 + 3*u - 9. Let f be m(-7). Let r = -14 + f. Solve r*b + j = -0*b + 5, 0 = -4*b + 5*j + 4 for b.
1
Let k be 21*4/12 + -2. Solve 2*u - 2 = -k*j + 11, u + j = 2 for u.
-1
Let l be -12 - (0 - (5 - 2)). Let w(m) = -m**3 - 14*m**2 + 1 + 1 + 5*m**2. Let s be w(l). Solve s*j - 7*j - 3*u - 15 = 0, -3*j - 9 = -4*u for j.
-3
Let d be 2/(-4*3/(-18)). Let y = 8 + 2. Let p(l) = l - 1. Let m be p(6). Solve 5*q = m*k - y, 2*k = -d*q - q - 20 for q.
-4
Let p(b) = 3*b - 2. Suppose -5*o + 3 = -4*o. Suppose -2*j = o*j + 3*w - 4, 0 = 2*j + 2*w. Let a be p(j). Solve -3*m = 3*q - 12, q + a*m - 13 = -0*q for q.
1
Let m be (-5)/(-25) - (-48)/10. Solve -d + 2 = x - 1, -m*x + d - 9 = 0 for x.
-1
Let k(c) = 4*c**2 + c - 1. Let h be k(-2). Let w = h - 3. Solve 5*n + x = -2*x - 22, 0 = -n - 2*x - w for n.
-2
Let o = -50 - -52. Solve -4 = z - 0*z + y, 13 = 3*z - o*y for z.
1
Let y = -2 + -1. Let j be 3 - ((y - 0) + 1). Solve q + 5 = j*q + w, 2*q + w = 1 for q.
2
Let x(d) = -4*d + 4*d + 9 + d**2 - 4*d - 4*d. Let w(r) = -r**3 + 4*r**2 - r + 1. Let g be w(2). Let f be x(g). Solve f*c + 6 = 5*z, 4*c - 5*z = 5*c - 12 for c.
2
Suppose -g = -t + 6*t - 16, 2*t - 1 = 5*g. Suppose -p + 6 = -0*p + 2*i, -p - t*i + 7 = 0. Suppose 3*f = -f + p. Solve y + f + 15 = 4*j, 4*y - 20 = -5*j for y.
0
Let z be (3/(-2))/(12/(-160)). Let c = z - 10. Solve 5*y + 40 = 3*r, 0*r = -5*y - 3*r - c for y.
-5
Let x = -10 + 3. Let b = x - -12. Solve 0 = -4*o + r + 5, -2*o - 5*r = -b*o + 25 for o.
0
Suppose -6*n + 45 = -3*n. Solve 3*a + 4*f - n = 0, 41 = 5*a - 2*f + 16 for a.
5
Let f be -4 - (-2 - (-4)/(-2)). Solve 3*s + r - 6*r + 27 = f, -s + 8 = 4*r for s.
-4
Let a be 1/1 - 1*-4. Let h(v) = -6*v + 80. Let z be h(12). Solve -a*d + 4*k - z = 0, -4*d + 3*k = 4*k - 2 for d.
0
Suppose -r - 3*n + n + 16 = 0, 0 = 4*r + 4*n - 44. Solve -r*o = 2*c - 3*o + 4, -5*o = 0 for c.
-2
Let f be 30 - (2 - 2)/(-5). Solve -f = 5*u - p, 3*u - 25 = 7*u - p for u.
-5
Let r be -2 + 118/10 + 4/(-5). Solve -4*s + 20 = 0, -r*f + 4*f + 3*s - 15 = 0 for f.
0
Suppose 3*l + 0 - 5 = 2*q, 4*q - 10 = 2*l. Suppose -l*v + 4 + 6 = 0. Suppose 11 + 58 = 3*a. Solve -4*f - v*k - k = -a, 3*k + 17 = 4*f for f.
5
Suppose -3*p + 118 - 27 = 2*a, -2*a + 33 = p. Let n be 5/30 + (-46)/(-12). Let k be (0 - (1 - 1)) + n. Solve -5*d - 4*s = 0, -k*s = -p + 9 for d.
-4
Suppose -2*k + 6 = 2*q, 5*k - 11 = -0*q - q. Solve -3*t = k*h + h + 6, -2*h + 14 = -4*t for t.
-3
Let x = 15 + 5. Suppose -x - 4 = 3*z. Let h(i) = -2*i + 5. Let t be h(z). Solve -5*y + t = 4*w, w = -2*y + 5 + 4 for y.
5
Let v be 21/(-6)*16/(-14). Solve -5*m - 2*y - 1 = 0, -2*y + 1 - 3 = v*m for m.
1
Let p(z) = -53*z**3 - 2*z**2 + 2*z - 1. Let x be p(1). Let r be 2/(-9) - 282/x. Solve 4*f + 0*q + 5*q = -20, 0 = -r*f - 3*q - 12 for f.
0
Suppose -o = 3*o + 3*l - 85, 0 = o + 3*l - 28. Suppose -126 = -5*d + o. Solve 0 = 2*u + 5*p - 28, -3*u - 3*p = -d + 5 for u.
4
Suppose 2*n + 2 = 4*n. Suppose 3*p - n = 14. Suppose -4*v = -q - 13, -5*q - 2*v + 5*v + 3 = 0. Solve q*i - 12 = p*z + 5*i, 3*i + 11 = -4*z for z.
-2
Let l be (12/3)/(-3 - -5). Solve l*a + 18 = -4*v, -4*a = -v - 2*v + 14 for a.
-5
Let o(n) = 3*n - 26. Let s be o(9). Solve 0*h = -3*h, s = x + 3*h for x.
1
Suppose 0 = 2*t - 3*s - 13, -4*t + 2 = -s + 1. Let n = t - -6. Solve -5*j - 10 = 5*a - 0, 0 = 2*a - n*j - 17 for a.
1
Let w = -6 + 10. Suppose -4*g = 2*b + b - 50, -g = -w*b + 54. Solve 4*v = -3*t - b, 4 = -5*t + 2*v + 24 for t.
2
Let r(s) = -s - 12. Let z(h) = 3*h - 1. Let p be z(-3). Let x be r(p). Let t be 3 - ((5 - 3) + x). Solve 2*o + 10 = 2*q, -q - t = -4*q - 3*o for q.
3
Suppose 4*l - 25 = b - 7, 0 = -4*l + 20. Solve -5*w + 15 = 5*x, -b*x + 3*x - 1 = -3*w for w.
-1
Let z(a) be the third derivative of a**5/60 + 7*a**4/24 - 2*a**3/3 - 5*a**2. Let o be z(-8). Solve -3*w - 3*n = -21, -o*w - n + 4 = -3*n for w.
3
Suppose 0 = 5*q - 5*m + 15, 0 = 3*q - 4*m - 0*m + 12. Suppose -n + 7 + 1 = q. Solve -i - 5*t + n = 31, -5*t = -i + 27 for i.
2
Suppose b = -4 + 13. Solve -5*g + y = b, 11 = 5*g - y + 5*y for g.
-1
Let c = 2 - -3. Suppose -4*t + c = -3. Suppose 0 = 4*n - 28 - 0. Solve -t + n = -z - 4*r, -1 = -z + 2*r for z.
-1
Suppose -a + 2*a = 0. Let j = a - -4. Solve 0 = 2*n + 2*q, -j*n - n + 3*q - 8 = 0 for n.
-1
Let u be 2*1/2 + -1. Suppose -2*m + 4*m = u. Suppose 0*n - n = -8. Solve -d + 2 = -j - 5, m = -4*j - 5*d + n for j.
-3
Let c = 3 + 5. Let k be (-46)/(-8) - (-2)/c. Solve 5*r = -4*s + k, 4*s - 1 = -r - 3 for s.
-1
Suppose 10 = 4*k + 2*m, -5*k + 4*m = 2 - 8. Let g be (k/(-6))/((-6)/18). Solve -3*b + 4*f = g, -b + 3 = -2*b + 2*f for b.
5
Let s be 0 + -4 + 15 + -9. Solve a + 17 = 3*w, 2*a = 3*w + s*w - 30 for a.
-5
Suppose -5*o - 6*o = -44. Solve 2*y = o*t + 12, -6*y + y + 14 = -2*t for t.
-2
Suppose -35 - 5 = -4*f. Suppose 0 = -8*j + 3*j + f. Solve -a - j = -4*a + 2*v, 5*v = -5*a + 20 for a.
2
Suppose -2*d + 4*d = -12. Let j = d + 16. Let y = j + -5. Solve t - y = 3*q + 10, -3*t = q - 5 for t.
3
Suppose 0 = 4*k + 2*m - 6 - 38, -3*k - 3*m + 27 = 0. Solve -l + 5*y = -0*y + k, -2*y = 5*l - 16 for l.
2
Let l = 15 - 