12 = 3*v - 9. Let g = 15 - v. Let x = -8 + g. Solve -a = 5, 4*s + a + 25 = -x*a for s.
-5
Let j(z) = -5*z - 34. Let g be j(-11). Let a = g - 19. Solve 0 = 2*t - 0*q + 5*q - 11, -17 = -5*t - a*q for t.
3
Let z = -63 + 66. Solve -h - h = -z*m - 9, 5*h - 15 = 5*m for m.
-3
Let y = 792 + -788. Solve 0 = -y*a - 8, 3*m = -2*a - a - 18 for m.
-4
Let t = 1397 + -1392. Solve -3*c - t*o - 1 = -6*c, 0 = 3*c - 2*o + 5 for c.
-3
Let c be 18*(0 - 2/(-3)). Let p be 52/c + (0 - (-2)/3). Solve 0*v - 4*q + 7 = -p*v, 3*q - 9 = 0 for v.
1
Suppose 5*o = 4*d + 18, -12 = -3*o + 2*d - 0*d. Suppose -17*b - o = -19*b. Solve 2*k = -b*x - 15, 6*x + k = x - 25 for x.
-5
Suppose -4*g + 13 - 1 = 0. Suppose -7 = -g*d + 11. Suppose 2*o + 2*n = 2, 4*o - 5 = 3*n + d. Solve o*l - 14 = 3*m + 4*l, -3*l = 5*m + 22 for m.
-2
Let l(r) be the first derivative of -3*r**2/2 + 1. Let d be (-23 - -22)*(-2)/(-2). Let a be l(d). Solve -3*y + a = 4*z + 5, -8 = 4*y for z.
1
Let o(m) = -m**2 - 6*m - 6. Let a be o(-4). Suppose 5 = y - a*z - 2*z, 4*z = 0. Suppose 28 = -6*b + 76. Solve y*w - 5*t = 30, b*w + t - 6 = 5*w for w.
3
Suppose 2*b - 4*b - 5 = 3*r, 2*r + 3*b + 10 = 0. Let t be (-3)/((-4)/(-8) + -2)*r. Let f = 7 - -2. Solve -t*q + f = 3*n, 4*n - 5 = 7 for q.
0
Suppose 0 = -5*r - 2*l + 15 - 2, 4 = -4*l. Let a = 56 + -15. Let c = a + -37. Solve -o - 4 = -3*x - 1, -r*x - c*o = -18 for x.
2
Let a be (-30)/(-50)*100/15. Solve -4*b + 12 = a*u, 2*u + 5*b + 0*b = 9 for u.
2
Let h = 12 + -6. Suppose -h*f - 144 = 30. Let n = f + 46. Solve -2*z - n = -0*z + 3*a, -4*a = -4*z + 16 for z.
-1
Let b = 185 - 180. Solve 0 = b*z + 4*m + 11, -3*z + 2*m = -8*z - 13 for z.
-3
Suppose 29*b = 26*b - 3*o + 9, o - 15 = -4*b. Solve 4*l + 24 = -0*l - 4*z, 4*z - 16 = b*l for l.
-5
Suppose -12 = -4*q + 4. Let a be 14 - 15 - 2/(-2). Solve 0 = -3*u + 5*m - 32, a*m = m - q for u.
-4
Let m be (4/(-8) - 2/4) + 2. Solve -4*t = 3*o + 25, -5*o + m = -4*t - 0*o for t.
-4
Let q(u) = -3*u + 5. Let v be q(-5). Let p = v + -17. Suppose 0*b = -p*k - 3*b - 9, 21 = 3*k - 3*b. Solve -3*h - t - k = -6, 0 = -h + t - 4 for h.
0
Let o = 16 - 14. Let f(b) = -11*b**o + b**3 - 20 + 0 + 14*b - 20*b + 21*b. Let m be f(10). Solve 4*q + q - m = -5*a, q + 2*a = 8 for q.
4
Let y be (3 - 0)/1 - (-5 + 6). Solve -a = -k, y*k - k - 4*a - 9 = 0 for k.
-3
Let i = 223 + -220. Solve -i*u + 12 = 0, -b + u - 14 = -2*u for b.
-2
Suppose 0 = -10*o + 104 - 64. Solve 2*k - 14 = o*y, -3*k + 7 = y - 0 for k.
3
Let o(p) = -p**2 - 8*p + 22. Let i be o(-10). Suppose i*u - 4 = -0. Solve 5*b + 13 = u*d, d - 10 = -2*b - 2*d for b.
-1
Let y = 578 + -576. Solve -2*g = -y*t + 10, 4*g + 2*t + 0*t + 20 = 0 for g.
-5
Let n = 5 - 3. Let l(c) = -626*c + 4387. Let j be l(7). Solve 0 = -2*d - j*f + 9 + 7, -4*f + n = -2*d for d.
3
Let r = 430 + -742. Let l be 1/(-5) - r/60. Suppose -36 = w - 5*w + l*b, -24 = -2*w + 4*b. Solve 5*p + 27 = -3*u, p - u = -3 + w for p.
-3
Suppose 30 = 16*k - 18. Let d(l) = l**2 - 2*l - 1 - 2 + 2. Let s be d(k). Solve 5*v - 8 = s*w, 0*v - 4 = -v - 2*w for v.
2
Suppose -3*b + b + 2 = 0. Suppose -9 + 26 = 2*w + 5*r, -2*w + 3*r - 23 = 0. Let t = w - -8. Solve -4*d - 5*z - t = 0, -4*z - b = -3*d - 4 for d.
-1
Let z = 1272 - 1268. Solve 4*i + 24 = 4*m, -2*m + 0*i - 18 = z*i for m.
1
Let t be (-3)/(-6) - 29/(-2). Let r be (-22)/3*t/(-10). Solve -m = -5*z - 4 + 1, 5*m = -z - r for m.
-2
Let u(s) = s**2 - 5*s + 3. Suppose -5*q + f = -0*f + 4, -3*f = 2*q - 12. Let x be u(q). Solve -x*p = -6, 16 = -r + 3*r + 3*p for r.
5
Suppose -2*o - 3*d + 30 = -3*o, -3*o - 4*d - 90 = 0. Let f = 120 + -85. Let c = f + o. Solve 4*g - 7 = -3*j, -4*g + c*j + 26 + 5 = 0 for g.
4
Let u(n) = 2*n**2 - 2*n - 24. Let q be u(4). Solve -3*w + 34 = -2*b - 3*b, q = 5*b - 5*w + 40 for b.
-5
Let b = -33 - -60. Solve 2*u + 2 = 0, -5*x = 5*u + b - 2 for x.
-4
Let r(t) be the second derivative of 5*t**3/6 - 9*t**2/2 - 3*t. Let g be r(2). Solve -g = -a + l, 0 = 5*a + 2*l + 2*l - 32 for a.
4
Let k = 17 + -9. Let l be 36/k*(-2)/(-1). Let t(v) = v - 1. Let d be t(3). Solve -6*f + 3*f = -3*u - l, 0 = -d*f + u + 7 for f.
4
Suppose 3*v + 0 = 3. Suppose v = 2*r - 5. Suppose 8 = 2*c, -r*b + 4*b + 6 = 2*c. Solve -5*a - b*q = 1, -14 = 5*a - 3*q - 3 for a.
-1
Let h(u) = -u - 14. Let t be h(-16). Solve k + t = s, 4*s = 3*s for k.
-2
Let x = -31 + 36. Let d be 3 - (1 - x)/(-4). Suppose 0 = m + d*m - 15. Solve 0 = 4*i - m*g - 23, -2*i = -i + 2*g + 4 for i.
2
Let v = -17 + 17. Let f(b) = -b**3 + b**2 - 12. Let g be f(v). Let n = g + 13. Solve 2 = 3*p - 2*a + n, 4*p = -3*a + 24 for p.
3
Suppose 99*y - 100*y = -5. Solve y*g = -2*q - 18, -2*g - 5*q - 16 = -4*g for g.
-2
Let j(v) = -v**3 + v**2 - 4*v + 6. Let f be j(0). Solve 3*d = -q + 11, 2*q + 2 = 3*d + f for d.
2
Suppose 2*s - 74 = -3*y, -100 = -4*y - 0*s - 4*s. Solve m - 6*m - d = y, 2*d = -4*m - 18 for m.
-5
Suppose 0*i + i - 25 = 2*g, 4*i - 100 = 5*g. Let p be (3 + -1 + -2)/(-2). Solve 4*x - 3*f + 10 + i = 0, -5*x - 5*f = p for x.
-5
Let y = 2 - 6. Let c = -7 + y. Let q = -8 - c. Solve 0 = -2*g + o + 8, q*g = -4*o + 20 + 3 for g.
5
Let f be 8/(-80) - 51/(-10). Suppose -3*d - 2 = f*p - 0*d, -5*p + d + 14 = 0. Solve 0*c - p*j = -c - 10, 0 = 3*j - 15 for c.
0
Suppose -10 = 2*b - 7*b. Let j be 1/4 - (-95)/20. Suppose 5*h - j = -3*v, 0 = v + 2*v + 15. Solve 0*t - 1 = h*t - r, b*r + 6 = 0 for t.
-1
Let x = 41 - 37. Let b(w) = w**3 - 6*w**2 - 6*w + 10. Let n be b(7). Solve -x*z - 1 = -4*g - n, 2*g + 7 = z for z.
1
Let k be 10 - (-8 - -5 - -10). Solve 4*v = k*d - 10, -5*v = -6*v - d + 1 for v.
-1
Suppose -4*r + 6*o = 3*o - 8, 5*o = -r + 25. Suppose m - 60 = -2*v + 6*v, 3*v - 231 = -r*m. Suppose 49*s = m*s. Solve s = 3*q - x + 10, 2*q = 6*x - x + 2 for q.
-4
Let y = 616 + -614. Let n(z) = z - 1. Let q be n(3). Let a be 2/(-4) + 55/q. Solve 0 = 5*j + y*k - a, -4*j + 22 = -k + 3 for j.
5
Let g(t) be the first derivative of -t**4/4 + 22*t**3/3 - 21*t**2/2 + 4*t - 13. Let f be g(21). Solve 0 = -3*x - f*c, 3*c - 2*c = x + 7 for x.
-4
Suppose -5*u + 10 = -15. Suppose 3*f - 25 = -2*f + 4*h, u*f - 2*h = 25. Solve 2*r - 9 = 3*r + 4*a, 0 = f*r - a + 3 for r.
-1
Suppose 8 = -4*v + p + 19, 0 = -5*v + 2*p + 13. Suppose 0 = 3*r + v*u - 6, 3*r - 3*u - 2 = -7*u. Solve -2*x - 12 = -0*s - 2*s, 3*s - r = -3*x for s.
4
Let v(a) = a**3 - 6*a**2 + 8. Let g be v(6). Let q(t) = -t**2 + 8*t + 2. Let b be q(g). Solve -s - 2 = 0, 0*n = b*n + 4*s for n.
4
Let n(o) = -o**3 + 9*o**2 + 11*o - 7. Let k be n(10). Suppose 0 = -2*l + k*w + 4, 0*l - 5*l = 4*w - 10. Solve -l*d = -2*u, 4*u + 3*d - 8 = 5*u for u.
4
Let k = -10 + 13. Suppose -22 = -38*w + 168. Solve i = -0*i - k*o + 1, -w = -5*o for i.
-2
Let j = -86 - -103. Solve -4*y + 3*m + j = 2, -17 = -5*y + 2*m for y.
3
Let x be 1/(-1) + 16 + 0. Let z = x + -11. Suppose -47*p - 242*p + 1156 = 0. Solve z = -5*v - 2*h - 19, 4*v - p = 4*h for v.
-3
Let t be (0 + 8/(-5))/(5/(-50)). Solve c + 3*c + 5*p = 33, -3*c = 2*p - t for c.
2
Suppose 5*h = -42 - 13. Let p(g) = -g - 7. Let j be p(h). Solve -c + 30 = -5*q + j, -27 = -2*c + 5*q for c.
1
Suppose -h + 0*f = -f - 64, h + 5*f - 64 = 0. Suppose -a + 85 = 3*c - 9, 2*a - h = -2*c. Solve 3*d = 5*w - c, -2*w = -d - 2*d - 16 for d.
-2
Suppose -4*a - a = 2*z - 27, -4*a - z = -21. Solve 4*s = 4*r + 16, a*s = -2*r + 1 + 5 for s.
2
Let q = 23 + -29. Let f(i) = i**2 + 5*i + 2. Let p be f(q). Solve -16 = 8*b - 4*b, p = -2*j - 2*b for j.
0
Suppose 82 = 4*l - 2*l. Suppose 0 = l*w - 37*w - 4. Solve w = 3*o + c + 2, 0 = -2*o + c + 6 for o.
1
Let j be (-2590)/(-105) - 2/3. Solve 0 = -3*z - z - v + j, -v = -4*z + 16 for z.
5
Let f = -200 + 321. Suppose -25*s + f - 21 = 0. Let v(b) = -b**2 + b + 1. Let i be v(0). Solve -n - 3*d + 0*d = -i, 0 = -s*n + 4*d + 20 for n.
4
Let f(t) be the third derivative of t**5/60 - t**4/24 + 4*t**3/3 + 34*t**2. Let a be f(0). Solve 6 = -w + 4*y, w - 2*y + a = -2*w for w.
-2
Suppose 2*n + 3 = 4*b - 5, -4 = 4*b + n. Let k be (-3)/(-12)*1*4. Let q(i) = i**2 - 1. Let w be q(k). Solve w*o + 2*o - 4 = 3*l, -l - o + 7 = b for l.
2
Let p = -16 + 24. Let v(q) = -q**3 + 8*q**2 + 2*q - 4. Let o be v(p). Let n be 14 - o/(-3 + 6). Solve 5*d - n = 0, 0 = -3*h - 0*h - 5*d + 16 for h.
2
Let p = 147 - 143. Suppose 0 = -f - 3. Let m(j) = -j**3 - 2*j**2 + j - 2. Let c be m(f). Solve -c*w + 29 = 3*r, 3*w - 5