for a.
4
Let y = 22 - 16. Suppose o + o = y. Let v be -1 - 2/o*-6. Solve v*m + 5*g - 14 = 0, 8 = -0*m - 2*m + g for m.
-2
Let i(y) = -3*y + 10. Let t be i(0). Let h be (-16)/t*(-20)/8. Solve 5*n = -h*z + 14, -5*z + 4*n = 2*n - 1 for z.
1
Let h(l) be the first derivative of l**3/3 + l**2/2 - l + 4. Let o be h(0). Let m be (2 + o)*(13 - 1). Solve -5*j + 30 = -c, c - 2*j + m = -3 for c.
-5
Let a be -10 + 433 - (-2 - -5*1). Let p be (a/98)/(4/((-56)/(-3))). Solve 4*v = -3*c + p + 15, v = -3*c + 20 for c.
5
Suppose h + 3*r - 5 = 0, 13*h - 11*h = -5*r + 10. Suppose -4*i = -3*b + 5*b - 112, -3*i - 5*b + 70 = 0. Solve 5*k - 15 = 4*d - 2*d, -5*d + h*k = i for d.
-5
Let h = -23 - -20. Let p be (-4 - h) + 1 + 3. Let x be (11*(-3)/p)/(-1). Solve 4*k - 11 = g + 2, -2*k - x = 3*g for g.
-5
Let r(x) = 4*x**3 - 2*x + 2. Let m be r(1). Suppose 24 = m*q + 4*g, g + g = q + 6. Suppose 0 = -4*b + q*b. Solve -k + 3*v = v + 6, 5*k + 2*v + 18 = b for k.
-4
Suppose -54 = 12*f - 102. Solve 4*s - u - 2 = -4, 5*u - 10 = -f*s for s.
0
Suppose -6*p - 3 = -5*y - 5*p, -15 = 5*p. Solve 3*c - 16 = -k, y = -3*c - k - k + 20 for c.
4
Suppose 199 = 49*h + 52. Solve -5*n + h*n = -5*c - 11, 3*c = 3*n - 12 for n.
3
Let k be (-2)/10 + (-84)/(-20). Let s = -267 + 270. Solve 5 = k*r - y, r + 4*y - 20 = -s*r for r.
2
Let n be 6/10 + 2/5. Let f be (-5)/(-10)*(n + 7). Solve -2*z - f*l + 4 = z, 2*l = 4*z + 24 for z.
-4
Let y(o) = -26*o - 42. Let w be y(-2). Solve -4*u + 8 + 17 = 5*a, -2*a - 4*u + w = 0 for a.
5
Let y be (-6)/10 + (-24)/(-40). Let j = 22 + -19. Solve 5*z = -4*h + 12 + 15, y = 5*z - j*h - 6 for z.
3
Suppose 2*x + 1 = 3*j, 2*x - 3 = 2*j - 1. Suppose v = -5*q, -3*v - 2*v = -j*q - 28. Solve 3*i + v*z = 2 + 14, 14 = -3*i + z for i.
-3
Let k be (1*2)/(10/25). Solve b = -k*u - 8, -5*b = -8 + 23 for u.
-1
Let u be 5 + 6 - (3 + -9). Solve 4*f = -5*r + 20, -5*f = -4*r - u - 8 for r.
0
Let w = -339 - -343. Solve -w = -u + 4*q, 3*q - 4 = 7*q for u.
0
Suppose 2*m = -2*m. Suppose 0*w = -3*y + w + 12, m = -2*w. Let n = -167 + 167. Solve n = -c + y*c + 2*o - 13, -4*c + 2*o = 6 for c.
1
Suppose 2*y + 5 = 2*f + y, 0 = -5*f + 2*y + 12. Solve -4*c + p - 10 = 6*p, 0 = -3*c + f*p + 4 for c.
0
Suppose -4*v - 24*m + 22*m = 0, 0 = 4*v + 3*m + 4. Solve r = v*r - 1, 4*r = 3*w + 4 for w.
0
Let n be (-2)/6 + (-50)/(-15). Suppose v - 24 = -5*v. Suppose n*l + 3 = v*k + 19, 4*l = -5*k + 11. Solve 3 = -5*w - 3*r - l, -5*w = -r - 9 for w.
1
Let n(l) = -2*l**2 + 24*l + 30. Let c be n(13). Solve -3*p = -5*m - p - 14, -p + c = -m for m.
-2
Suppose 4*x + 28 = 2*d, -d + 3*x - 18 = -6*d. Suppose 0 = -11*p + d*p. Suppose 4*f - 4 = 3*u + 17, p = 2*u - 2. Solve -2*b + 7*b = -4*n + f, 2 = -n - 3*b for n.
4
Let l = -520 - -522. Solve -l*w + 1 - 3 = -2*y, 2*y - 8 = 5*w for y.
-1
Suppose 0 = -k + 3*k + 16. Let r be 2/k + 375/60. Solve 3*f = -4*q - 14, -r*q = -q + 10 for f.
-2
Let m(p) = p**2 - 5*p + 7. Let j be m(4). Suppose -4*k = j*z + 11, k = -3*z - k - 1. Solve 0 = z*i - 2*i + 4, -3*i - 12 = 5*n for n.
0
Suppose 5*s - 20 = -3*n, 2*n = -n + 5*s + 10. Solve -2*k - 2*y = 16, -5*y - 14 = -2*k + n for k.
-3
Let d(n) be the first derivative of -n**4/4 - 22*n**3/3 - 12. Let v be d(-22). Solve 5*r + 5 = -4*f - 11, v = -5*f - 5*r - 15 for f.
1
Suppose 0 = 5*j - 5*m - 20, -3*m - 5 = -j - 1. Let l = j - -22. Let n = -21 + l. Solve -f = n*a + 8, 5*a + 4*f + 3 = 1 for a.
-2
Let g(o) be the third derivative of -o**6/120 - o**5/6 - 3*o**4/8 + 2*o**3/3 + 9*o**2. Let k be g(-9). Solve 4*r - 13 = 3*x - k*x, -3*x = r - 17 for x.
5
Suppose 5*r + 3*z - 35 = 0, -r = 5*z - z + 10. Suppose s + k = 7, -3*s + r + 3 = k. Solve 3*h + 3*o = -s, 0*h + 8 = -5*h - 4*o for h.
-4
Suppose -6*x - 16 + 46 = 0. Suppose -3*m + 3 = c, x*m = m. Solve 8 = 5*z - 3*n, n = c*z - 5 - 3 for z.
4
Suppose -4*b + 1 = -35. Suppose -3*a - 9 = -b*f + 4*f, -5*f = -2*a - 6. Let h = 5 - a. Solve -2*r - h = -4*w, -5*w = -8 - 2 for r.
0
Let i be ((-2)/4)/((-1)/(-2)). Let h(x) be the second derivative of -x**3/6 + 8*x. Let o be h(i). Solve -2*b = 2*c - b + o, 0 = -5*c - 3*b - 1 for c.
-2
Suppose 0 = a + 3*w - 40, -4*a = -w - w - 174. Let m = a + -25. Solve -p - 5 = -0*p + 2*o, m = 2*p - 3*o for p.
3
Suppose 3*f - f - 14 = -v, -5*v + 20 = 0. Solve -2*q = -4*p + 8*p, q + f*p = -3 for q.
2
Let x be 0/(-16) - (1 - 1). Solve 3*c + x*c + 23 = -5*w, -15 = 3*c + 3*w for c.
-1
Suppose 4*j = -4*x - 12, -2*j - 23 + 12 = 3*x. Solve j*i = 4*p - 7 + 3, 17 = -5*i + 3*p for i.
-4
Let k = 16 + -11. Let o = 14 - k. Let z = 11 - o. Solve 0 = y + z*h + 8, -y + h + 27 = -4*h for y.
2
Let g = -57 + 43. Let f be 4/g + ((-60)/(-14))/1. Solve f*t - 4 = 3*r, -2*t = -4*t - 3*r + 20 for t.
4
Let j = -14 - -22. Suppose 0 = -j*x + 6*x. Solve x = 3*b - 12, -12 = -5*y - 2*b + 4*b for y.
4
Let y be ((-459)/(-85))/(3/10). Suppose g + 2*g - y = 0. Solve -2*o - g = 3*t, -3*t - 5*o = -6*t - 6 for t.
-2
Let f(t) = t + 5. Let a be f(-16). Let r = -6 - a. Solve 0 = -2*k - 8, -r*z = -2*k - k - 32 for z.
4
Let o(x) = 4*x**2 + 3*x + 2. Let d be o(-1). Solve -q - 16 = 2*g - d*q, 0 = 5*g - 4*q + 37 for g.
-5
Let s = 16 - 15. Suppose 3*d = -s + 16. Solve 3*t = t + 3*o + 2, -3*o = -d*t + 5 for t.
1
Let h(n) = -5*n**2 - 26*n + 4. Let k be h(-4). Solve -3*z + k = 5*u + 9, 5*z = u - 15 for u.
5
Let t = -167 + 169. Solve -3*k - 5*u - t = -13, 0 = 3*k - 4*u + 25 for k.
-3
Let h be (2 - 3)*3 + (25 - 22). Solve 3*v + h*p - 16 = -4*p, 3*p = -v + 12 for v.
0
Let i be (3 - (-2)/(-6))*-3. Let m be ((-12)/(-15))/(i/(-40)). Solve 4*k - r = 21, 3*k + r = m + 3 for k.
4
Let w(v) = v**3 + 7*v**2 - 8*v + 7. Let g be w(-8). Let t = -26 - 14. Let h = -40 - t. Solve 3*y = h, -3*c - y + g = -8 for c.
5
Suppose -23*x - 10 = -22*x. Let r(v) = -2*v - 18. Let a be r(x). Solve 0*w + a*w = -4*o - 12, -2 = 5*o - 4*w for o.
-2
Let f = 29 - 24. Suppose -2*t = -11 + f. Solve 2*l + 17 = t*l - 4*j, 2*j = -2*l + 4 for l.
5
Suppose -7*k + 9*k = -4, z + 49 = -5*k. Let v = -36 - z. Solve -d = -2, -2*d = 2*u + 1 - v for u.
-1
Let b be (-1092)/(-28) + (-3 - -1). Let x = -35 + b. Solve 4*k - 21 = r, -r - x*k + 1 = -2 for r.
-5
Suppose 12*a + 21 = 81. Suppose 0 = -2*q + 2*s + 18, -2*s = -5*q - a*s + 13. Solve q*g - 18 = -3*i + i, -2*i + 14 = 3*g for i.
4
Let w be (-2)/4*2*1. Let k be w - (3 + -3 + -1). Suppose 0 = -k*n - n. Solve n = -2*t - 3*p + p + 4, -4*t - 16 = -4*p for t.
-1
Let r = -9221 + 9225. Let m(t) = -t**2 - 3*t. Let p be m(-3). Solve p = -r*q + 6 - 14, 21 = -5*w + 2*q for w.
-5
Let l = -535 + 535. Solve 5*g - k + 6 = l, 2*k + 4 + 8 = -2*g for g.
-2
Suppose 78*v - 12 = 74*v. Solve 5*l + 3*b - b = 7, -4*l = v*b for l.
3
Suppose 2 = -a - 3*n, a - 2*a - 6 = 5*n. Suppose 0 = 2*q - b + 12, -a*q + 3*q + 4*b + 1 = 0. Let f = q - -9. Solve 2*l + 12 = f*j - 6*j, 2*l - 28 = 4*j for j.
-5
Let d be (-18)/(-15)*(1 + 14). Let m(b) = b**2 + 15*b + 64. Let a be m(-8). Suppose -4*h = -3*h - 5. Solve -10 - a = 5*t + 4*p, 4*t = -h*p - d for t.
-2
Let x(l) = -l**2 + 4. Let y be x(0). Suppose 0 = 4*c + y*c - 24. Solve -9 = 4*z + 5*m, c*z + m + 2 = -2 for z.
-1
Let s(p) = p**3 + 3*p**2 - p - 3. Let g be s(2). Suppose 5*x + 5*q = g + 5, 5*x = 3*q + 28. Solve 2*j = 4*m - j, x*m - 5*j = 0 for m.
0
Let x be (6/2 - 1)*2. Solve 4*a - f = -14, -2*f + 10 = -x*a + f for a.
-4
Let t(m) = m**3 - 3*m**2 - 4*m - 6. Let f be t(4). Let z be f*(28/8 + -4). Solve 5*i = -z*k + 7*k - 32, 2*i + 3*k - 1 = 0 for i.
-4
Let w = 2 - -2. Suppose -w*y + 92 - 20 = 0. Let b be (-96)/(-45) - 6/45. Solve 6*m = 3*m + 4*j + y, 0 = -5*m - 4*j - b for m.
2
Suppose 14*f - 10*f = 12. Suppose -f*b = -1 - 8. Solve -l + 3*n - b = -n, 0 = -4*n for l.
-3
Let n be (-1)/(-3) - (-78)/9. Solve -c - 3*g - 3 = -2*c, -n = -3*c - g for c.
3
Suppose -3*q - 5*s + 16 = 0, 5*q = s + 4 + 4. Suppose q*f + 3*f - 85 = 0. Let u = -13 + f. Solve -10 = -5*z + u*c, -2 = -5*z + c + 8 for z.
2
Suppose 2*p - 4*r = -16, -27 = -3*p + 5*r - 47. Solve p = -w + 4*u + 11, u - 3 + 7 = 0 for w.
-5
Suppose 4*j = 6*j - 6. Solve 0 = i - 2*n, 5*i + j*n = -19 - 7 for i.
-4
Suppose 0 = -221*d + 300 + 142. Let k(j) = -j + 5. Let p be k(5). Solve -3*g = c, -d*g = -p*g + 3*c for g.
0
Suppose -2*q = -0*y - 2*y - 14, -q - 2*y = 5. Suppose -4 - 2 = -3*t. Suppose k + 11 = t*w - 0, -4*k - 16 = -w. Solve -3*m + m + 6 = 3*h, -m + q = w*h for m.
3
Suppo