0
Let l = 32 + -29. Suppose -l*b = -2*h + 1 + 1, -5*b + 4*h - 4 = 0. Solve -2*n - 16 = -4*i - b*n, i + 5*n = 4 for i.
4
Suppose -61 = -27*s + 263. Solve 4*i = -4*j + s, 2*i - i - 9 = 5*j for i.
4
Suppose -19 = -2*c - b, 9*c - 3*b - 53 = 5*c. Solve p + 3*s + c = 0, 0 = 4*s - 0*s + 16 for p.
1
Let c be 6/(-10) - 36/(-10). Suppose 2 = -5*v - c, 0 = -h - 2*v. Suppose 0*k + 30 = h*k. Solve k = -4*n - u, u + 2*u = 3*n for n.
-3
Let i(f) = -f**2 - 13*f - 30. Let z be i(-10). Let l be (-9)/(-2) + (-5)/10. Suppose z*j - j = -l. Solve -4*s + n - j*n - 24 = 0, 2*s - 4*n = 10 for s.
-3
Suppose 3*l - 52 = 2*c + 5*l, 3*c + 4*l = -80. Suppose 7*r = 2*r + 10. Let k be ((-32)/c)/(r/6). Solve 2 = -u + 6*b - k*b, 5*u - b = 17 for u.
4
Let r(o) be the first derivative of 13*o**2/2 - o - 10. Let g be r(1). Solve -2*u + 5 + 7 = 4*p, 0 = 2*u - 4*p + g for u.
0
Suppose 0 = -135*n + 125*n + 60. Solve 4*h = -p + 1, -2*h + p + n = h for h.
1
Let b(r) = 2*r**3 - 4*r**2 + 2*r + 1. Let a be b(2). Suppose -a*n = -14 - 6. Solve -3*k = n*q - k - 20, k = 4 for q.
3
Let x(q) = 20*q + 1. Let b be x(3). Let m = b - 39. Solve 5*k - 28 = o - 2, 0 = 3*o + 5*k - m for o.
-1
Let y(p) = -3 - 5 - 5*p + 4*p + 1. Let w be y(-9). Solve 0 = w*s - 5*l + 24, l - 6 = s - 0*s for s.
-2
Suppose k = -o + 4*k - 2, -4*o + 22 = 3*k. Solve 2*b - o*r + 6 + 12 = 0, 4*r - 6 = -2*b for b.
-3
Let g = 86 - 42. Let w = 47 - g. Solve -5 = w*v - 4*o, -3*v + 5*o = 3*o + 1 for v.
1
Suppose z + 10 = 7. Let w be z/(-3) - (-5 + 8)*-1. Solve -w*f = -2*t + 2, 2*f + 5 = 2*t + 3*t for f.
0
Suppose 0*v - 84 = -6*v. Solve 4*a + 13*n = 8*n - v, 4*n = -4*a - 12 for a.
-1
Let i = 153 - 107. Let c = -41 + i. Solve 2*m - 8 = -t, 3*t - c*m + 25 = 5 for t.
0
Suppose 2*q = -0*q + 24. Let w be (-6)/21 + q/(-7). Let t be 8 + w*3/2. Solve 6*n - n = t*y, 4*n - 20 = 0 for y.
5
Let t(j) = -j**2 + 6*j + 6. Let o be t(6). Suppose -o*g = -g. Solve g = 2*x + 5*l + 25, -4*x + 4*l + 0*l - 8 = 0 for x.
-5
Suppose -4*y - 14 = 26. Let z(t) be the second derivative of t**4/12 + 4*t**3/3 - 5*t**2 + 64*t. Let o be z(y). Solve -5*p + 2*j = -o, -j - 1 = 2*p - 14 for p.
4
Let q = -20 + 25. Let h be (-120)/q*(-6)/4. Suppose -6*z + h = 4*a - z, -4*a + 4*z = 0. Solve -5*j + u = -j - 13, 3*u + 23 = a*j for j.
2
Let x be (288/(-10))/(-4 - 172/(-40)). Let y = x - -101. Solve y*v + 2*k = -3*k + 35, 5*k = 15 for v.
4
Suppose -1419 = 13*p - 1458. Solve 18*m - 15*m - p*i = 12, 2*i + 14 = 5*m for m.
2
Let r(i) = i**2 - 19*i + 43. Let y be r(2). Solve -20 = -5*s - 4*b - b, s - y = 4*b for s.
5
Suppose -4*c = -j - 48, 15*j = 13*j. Solve -2*b - v = 2*v + 8, -4*v = -3*b - c for b.
-4
Let r be (9 + 60/(-5))/(-1). Solve -5*i + 3*p - 4 = 7, -r*i + 2*p - 7 = 0 for i.
-1
Let i be (1 + 1)*(-39)/260*-10. Solve -4*o - 3 = w - 6, -i*w = -4*o + 7 for w.
-1
Suppose 5*u - 2*o = 156 - 141, -u + 2*o + 3 = 0. Solve 0 = -3*p - u*l - 15, -p - 2*l - 11 = -6 for p.
-5
Suppose 13*i - 39 = 39. Solve -4*k - 33 = -5*d, -i*d = -d - 25 for k.
-2
Let g be ((-6)/48 - (-498)/16) + 4. Let j = 11 + -6. Solve -2*a = -j*h + g, -h = 3*a + 2*h for a.
-5
Let z be (-171)/(-33) + 12/(-66). Solve -20 = 5*s + 5*j, 10*s = 5*s + z*j - 30 for s.
-5
Let g = 204 - 204. Solve 0*t + 2*t = -4*c - 8, g = 3*t - 4*c - 8 for t.
0
Let x = -10 - -6. Let a be x/5 - 48/(-10). Solve 0 = a*r + 2*u - 22, r = 3*u - 8 - 4 for r.
3
Let t = -1001 - -1004. Suppose -2*v = j - 13, -8*j - v = -4*j - 17. Solve -2*o - 2*x = -j - 1, -t*x + 12 = 0 for o.
-2
Let o(r) = -519 + 481 + r**2 - 10*r + 0*r**2. Let i be o(13). Solve -l - i = 0, -5*l - 13 - 8 = 4*v for v.
-4
Let q = -148 + 150. Solve 4*s + 4*a = 8, 0*a = -a - q for s.
4
Let p be (2*(-13)/52)/((-1)/6). Solve -4*l - p*g = -14, 0*l = -4*l + 2*g + 4 for l.
2
Suppose 0 = -75*w + 43*w + 64. Solve -6 = w*k, 5*m - 2*k - 17 = 2*k for m.
1
Suppose 4*g = t + g, -4*t - g + 13 = 0. Suppose -t*x + 9 - 3 = 0. Solve w - 2*z = -7*z - 29, -x*w + 2*z = -2 for w.
-4
Suppose 12 = -3*s, -o + 0*s + 12 = -2*s. Solve o*z + 1 = 2*z + 3*b, -2*z = -4*b + 4 for z.
4
Let y(x) be the third derivative of -x**6/120 - 7*x**5/60 - 5*x**4/24 + 11*x**3/6 + 6*x**2. Let f be y(-6). Solve -m + 8 = 4*z + 2, 0 = -f*m + 5*z - 20 for m.
-2
Let k = -32 + 51. Solve -1 = d, -d + k = 5*l - 9*l for l.
-5
Let r(w) = 9*w**2 + 59*w - 3. Let l be r(-7). Solve -11*b = -13*b + 5*p + 3, 5*b + 5*p = l for b.
4
Let j be (3/4)/(4/384). Let u = j + -69. Solve 3*t - 4 + 22 = 3*c, -t + u*c = 16 for t.
-1
Let z(v) = -v**2 - 12*v - 32. Let m be z(-7). Suppose 5*w = m*x - 48, 3*x + 3*w - 3 = 69. Solve y + 2 = 2*y - 2*h, -x = -5*y - h for y.
4
Let l(w) = 5*w - 25. Let o be l(6). Suppose o*m - 5 = 15. Suppose 16 = 3*a + p, 4*a - 3 - 1 = 3*p. Solve 3*z - 6 = -0, m*z - 12 = -a*f for f.
1
Suppose 25 = 4*m - 3*w, -2*w + 0*w = -3*m + 20. Solve -5*h = 3*t - m, 2*t = -2*h - 2*t - 10 for h.
5
Suppose 5*t = 2*f - 3*f - 62, 0 = -t - 5*f - 22. Let s(j) = j**3 + 14*j**2 + 25*j + 18. Let x be s(t). Solve -5*c + x + 4 = 5*o, 5*c + 4*o = 12 for c.
4
Let z(i) = -i**3 + i**2 + 1. Let o be z(1). Suppose -7*x + 38 - 3 = 0. Solve -l + o = q - 0, 6 = 4*q + x*l for q.
-1
Let q(s) = s**2 + 7*s + 14. Let h be q(-6). Let f = h - 3. Suppose 3 = f*n - 12. Solve -z = -0*z - 2*v + 8, 0 = 5*z - n*v + 19 for z.
-2
Let n(l) = -l**2 + 25*l - 32. Let w be n(23). Solve w + 1 = -3*b, 5*b = t - 28 for t.
3
Let c(h) = -5*h + 41. Let z(s) = 4*s - 39. Let x(f) = -3*c(f) - 4*z(f). Let r be x(25). Solve -w + 0*w - r = 4*b, 0 = -3*w - 3*b + 3 for w.
4
Suppose 2 = 18*x - 17*x. Solve x*p + 8 = 5*r, -2*p + 3*r - 2 = 2*p for p.
1
Suppose -4*z + z + 3*y = -18, -2*y - 3 = z. Solve p + 2*p = -4*l - 6, 0 = -z*p + 6 for l.
-3
Suppose 0*g - 3*g = 5*s - 25, -g - 5*s = -15. Let t be (-6)/(-30) + 9/g. Solve -2*o = 5*q - 1, 0*o - 4*q + 8 = -t*o for o.
-2
Let m(u) = -u**2 + 12*u + 5. Let z be m(12). Solve 0 = -o - 3*y - 19, -5*o - 3*y + 8*y = -z for o.
-4
Let x be -1 + (-15)/(-6) - (-13)/26. Let y(p) = -p**2 - 5*p + 1. Let j be y(-5). Solve 0 = -2*a + 3*h - j, -23 = -4*a + x*a - 5*h for a.
4
Suppose 11*u = -43 + 120. Solve -u*x = -5*x, x - 5 = 5*m for m.
-1
Suppose 5*u - 20 = 2*z, 3*z + 0 = 2*u + 3. Solve -3*r = -5*f + 10, 11*r - u*r - 6 = -3*f for f.
2
Suppose -6*s + 5*v - 23 = -2*s, -4*s = 5*v - 7. Let u be s/3 + 119/21. Let c be (-2 - -6) + 20/(-10). Solve -u*n = -5, 2*t - t = c*n - 6 for t.
-4
Let q be 4*1*(29 + -26). Let p be 4 - -4*(-3)/q. Solve 0 = 5*m - n + 22, -5*n = -13 + p for m.
-4
Let s(l) = 8*l - 30. Let p be s(5). Solve -2*x - p + 0 = 2*i, 5*x + 1 = 3*i for i.
-3
Let y = -1 + -6. Suppose 5*f = 4*f + 13. Let t = f + y. Solve 3*w + 2*d + 1 = 0, -3*w + d = 4*d + t for w.
3
Let y(t) = -12*t - 10. Suppose -3*r + 15 = 18. Let l be y(r). Solve -1 = -2*n - 3*n + 3*q, -l*q = 4 for n.
-1
Suppose -47 + 11 = 3*l. Let x be (32/l)/(8/(-12)). Suppose r = -0 + 5. Solve x*t + 5*h = 23, t + r*h - 2 - 15 = 0 for t.
2
Let k = 83 - 81. Solve k = 5*o + f, o + 5*f = 16 - 6 for o.
0
Let w(c) = 2*c**2 - 4*c + 3. Let i be w(2). Let a(s) = -s**3 + 4*s**2 - s - 3. Let j be a(i). Solve -5*r - 5*d = -5, -5*r - 3 = -4*r - j*d for r.
0
Let r = 1467 + -1445. Solve z - 4*q + 7 = r, 3*q - 3 = -4*z for z.
3
Suppose 8*b + 27 = -21. Let j = b - -10. Solve c + 2*c + 5*i = -16, -j*i - 12 = 2*c for c.
-2
Suppose -5*w + 30 = -5*a, -4*w - w + 3*a + 24 = 0. Solve -n - 10 = w*o, 0*n = -n + 2*o for n.
-4
Let y be 0 + 0 - (-3 - -6). Let b = y - -8. Let z be 8 + -2 - (b - 2). Solve 8*w - 3*w = z*k - 22, 5*w = 2*k - 18 for k.
4
Let x = -395 - -399. Solve -x*g = g + 5*c + 20, 4 = -g + 3*c for g.
-4
Let k = -1483 - -1484. Solve -3*c + 0*t - 7 = 5*t, -t + k = 0 for c.
-4
Let a(y) = y**2 + 6*y - 15. Let x be a(-8). Solve 5*r = -4*d - 4, d = r - 0*d - x for r.
0
Let c be ((-36)/(-5))/(4/(-20)). Let u = 36 + c. Solve -4*j = 3*h + 2*h + 20, u = -5*h + 5*j - 20 for h.
-4
Suppose 0 = -21*s - 16 + 58. Solve -b = 3*m - 2, -3*m + s + 3 = -2*b for m.
1
Let b = -1 - -3. Suppose 9*i - 121 = -2*i. Suppose b*t + c = 20 + i, -t + 19 = -3*c. Solve -6*m - 3*v = -5*m - 13, -t = -4*v for m.
1
Let o be 579/18 + 2/(-12). Suppose 5*b + o = b. Let d = b - -12. Solve d*u - 2 = 2*s, 4*u = -s - 3*s - 28 for s.
-5
Let v(z) = 3*z + 48. Let i be v(-14). Suppose 24 = i*k - 0*k. Solve -k*n - 16 = 0, -n = -j + 2*j + 5 for j.
-1
Let k = 88 - 31. Suppose 2*w - k