 Let o = -23 + 28. Suppose 3*w - 4*t = -1 + 5, o*w - t - 1 = 0. Solve -3*n - m*a - 12 = w, 24 = 4*n - 0*n - 4*a for n.
1
Let i = -12 + 18. Suppose 2*c - 4*y + 4 = 0, -2*c - 1 = 3*y - i*y. Let k(o) = -o**2 - 14*o - 11. Let z be k(-13). Solve -l = -b, -5*l + c = -z*b - 2*l for b.
4
Suppose 0 = t - 7*t + 36. Let o be 9*(t/(-9) - -1). Solve 5*m + j - 14 = -2, o*j + 12 = m for m.
3
Suppose 5*u = -i + 11, 3*i = 5*u + i - 23. Suppose -u*y + 2*w = 4*w - 15, -w = 2*y - 9. Solve y*m + 5*b + 0 = 11, 5*m + 2*b = 12 for m.
2
Let o(n) = -n**3 - 2*n**2 + 4*n + 6. Let b be o(-3). Solve 5*v - 3*i = -0*i + 31, -2*v = b*i - 4 for v.
5
Let m(f) = 7*f**2 + 15*f + 6. Let u be m(-2). Solve 7*i - 6*i + 12 = 4*z, -u*i + 4*z = 12 for i.
0
Suppose -13 = 4*n - w, -6 = -n + 2*n - 3*w. Let a be (147/14)/(n/(-4)). Solve -5*v + 5*r = -25, -v + a = v - 4*r for v.
3
Let l = -1 - -3. Suppose 9 = -3*r, l*h - 19 = 2*r - 7. Suppose 3*z - 23 = 2*z - 2*k, 0 = h*z - 5*k - 36. Solve 5*a - 9 - z = 4*w, 2*w + 2 = -3*a for w.
-4
Let q(g) = 4*g - 16. Let a be q(4). Suppose -8*r + r + 35 = a. Solve -6 = -3*d, -4*u + 7 = r*d - 11 for u.
2
Let f(i) be the second derivative of i**4/12 - i**3/3 + 3*i**2/2 - 5*i. Let v be f(3). Suppose v - 3 = h. Solve -4*n = -12, 0 = m - 2*n - h*n + 16 for m.
-1
Let k be (-9)/1 + 36 + -23. Solve -2*j + 3*h = 3, -k*j = -9*j - 5*h + 5 for j.
0
Suppose 18*t - 21*t = -12. Solve -t*x + l = -18, -l + 1 = -x + 2*l for x.
5
Let t be ((-6 - 0) + (-160)/(-60))*-12. Solve -5*j + 2*x + x = -t, -3*x = j + 10 for j.
5
Let n(y) = y**2 + 4*y - 7. Let r be n(-5). Suppose 4*p + 63 = -5*p. Let i be ((-8)/(-2))/r - p. Solve -4*k - 5*m - 8 = -0*k, -10 = i*k - 2*m for k.
-2
Suppose u + 0*u - 2 = -2*x, -2*x + u + 10 = 0. Suppose 0 = c + d - 1, -x*c + 6*c = -d + 3. Solve -c = 5*f - 4*m, 0 = -3*f + 2*f + m for f.
-1
Let a be 12/15 + (82/10 - 4). Solve k - 5*y = -4*k + a, 2*k - 3*y = -1 for k.
4
Let i = -17 - -22. Let p be 3 - 0/i - -1. Solve 0 = -3*q - q - p*k - 8, -5*q = -4*k - 17 for q.
1
Suppose -p - 4*l - 29 = -47, -p - 3*l = -15. Solve 0 = 5*m - 5*w + 35, -5*m - 2*w - 1 - p = 0 for m.
-3
Let f(o) be the first derivative of -o**4 - o**3/3 - o**2/2 - 2*o + 32. Let r be f(-1). Solve -4*i = -4*b, -5*i - r - 2 = -b for i.
-1
Suppose -251 + 242 = -3*y. Solve 2*m + 4*g - 6 = 0, 2*m - 2*g + y + 3 = 0 for m.
-1
Let s be ((-120)/(-48))/(30/48). Solve 0 = 9*w - 4*w + 3*z - 29, s*z = 12 for w.
4
Let w be 2/7 + (-2)/7. Suppose w = -2*q - 35 + 41. Solve -4*m + q = -h + 8, -m = -h + 5 for m.
0
Let k be 2*((-445)/(-10) - -4). Let u = -47 + k. Suppose -5*v + 2*j = 6*j - 70, 0 = -3*v - 4*j + u. Solve -3*a - 14 = -4*z, 2*a = 5*z - 4 - v for a.
-2
Suppose -17*j + 21*j = 20. Suppose -3*i + 40 = -j. Solve 2*s = 5*g, -5*g + i = 3*s - 8*s for g.
-2
Let l be (-6)/2*(-72 + 29). Let a = l - 124. Solve a*o + 24 = 2*h, 5*h - 2*o + 4*o - 2 = 0 for h.
2
Let j(g) = -g + 15. Let l be j(15). Solve -4*t = -0*o + 2*o - 12, l = 2*t + 4*o + 6 for t.
5
Suppose 14*s = 4*s + 160. Solve 4*q = 5*t - s, 2*t = 2*q - 0*t + 8 for q.
-4
Let r = -83 + 83. Solve 4*c = 3*d - 6, r = -0*d + 2*d + 2*c + 10 for d.
-2
Let a be (-1 - 0)/((-9)/36)*-1. Let w be 3/(a/112*-4). Solve 5*l - 3*o + w = -o, 2*o = -4*l - 6 for l.
-3
Let u(t) = -t + 10. Let b be u(5). Let l = -2 - -5. Suppose 34*c = 5*c + 899. Solve -l*k + 2*m = 2*k - 7, -b*k = 4*m - c for k.
3
Suppose 4*i + i = 0. Suppose -4*j + 6 - 2 = i. Solve -2*r - j = -m, -3*r - 6 = -0*m - 3*m for m.
3
Suppose -2*x + 30 = -0. Suppose 4*j + 7 = x. Let r be (0/6 + 1)/((-1)/(-4)). Solve -j*t = 3*h - 12, -20 = -5*h + r*t - 9*t for h.
4
Let f = 25 + -25. Let i = -34 - -49. Solve -5*h = 3*k + i, f*h - h = 0 for k.
-5
Let k be ((-2)/(-7))/(4/28). Let o = -1 + 2. Let c = o - -1. Solve -3*m = 2*x + 1, c = x + m - k*m for x.
1
Let q(x) = -27*x + 33. Let u be q(1). Solve 4*z = h - 13, -u*h + h - 7 = -2*z for h.
-3
Suppose 4*a - 47 - 29 = 0. Let p be (-2)/6*(1 + -1). Suppose i + 3*i - 24 = p. Solve -5*y = -z - a, -z = 2*z + 2*y + i for z.
-4
Let x(g) = g**3 - 2*g**3 + 2*g - 6*g**2 + 3 + 5 + 5*g. Let f be x(-7). Suppose 2*c = -f + 26. Solve -5*s - 1 - c = 4*a, 4 = -2*a - 3*s for a.
-5
Let x = -420 + 431. Solve n - 5*n = -4*v - 28, -2*v = -n + x for n.
3
Suppose 0 = -4*q + 19 + 109. Let k be (-6)/30 + q/10. Solve -3*r - 9 = k*t, 4*t - 2 + 0 = 3*r for r.
-2
Let v(q) = q**3 + 2*q**2 + 4*q + 1. Let z be v(-3). Let j(f) = -f**2 - 20*f + 2. Let i be j(z). Solve -i*s = 2*y + 10, -5*y + 2*s - 3*s - 9 = 0 for y.
-1
Suppose y + 2*q - 2 = 0, 5*y - 16 = 3*q + 7. Let r = 6 - y. Let n be 1 - (-2 - r)/(-4). Solve 5 = 5*f - n, -5*t = 3*f + 17 for t.
-4
Let d = 14 + -10. Suppose 0 = -2*t + t + 2. Suppose 2*f + 2*f + t*h - 22 = 0, 0 = 3*f + 5*h - 20. Solve -3*l + 0*l - f*q = -21, d*q = 12 for l.
2
Let r be 14*(-2 + (-2 - -5)). Let d = -18 + 22. Solve -7*f = -d*i - 2*f + 17, 0 = -4*i + 2*f + r for i.
3
Let u(w) = -w**2 + 2*w + 2. Let t(n) = 2*n**2 + 2*n - 2. Let o be t(1). Let v be u(o). Solve v*x - 3*p + 19 = 1, p - 1 = -x for x.
-3
Let b = -58 + 75. Solve -4*j - c - b = 0, 7*c - 6*c = 4*j + 23 for j.
-5
Let d be (16/(-64))/((-2)/24). Let z be (-1 + d)/(-4)*-4. Solve 0*q = z*k + q + 1, 0 = 2*k - 2*q - 14 for k.
2
Suppose -31*z - 20 = -36*z. Suppose z*f = 2*h + 26, 0 = 5*f + 3*h + h - 13. Solve -3*u = -4*l, -1 = f*l + 5*u + 34 for l.
-3
Let m be (4/(-1) - -1) + 5. Solve i - 6 = 2*c, -25*i + 10 = -22*i - m*c for i.
2
Let i be -4 + 6 + 1 + (-2 - -2). Let z = 152 - 86. Suppose 2*g + 20 = 3*v + z, -2*g + 32 = 4*v. Solve g = -7*w + i*w, w = -f - 1 for f.
4
Suppose -13*s + 16*s - 6 = 0. Solve y + s*z = 5*y - 14, 0 = 5*z + 5 for y.
3
Let t = 183 + -178. Solve -3*n + 24 = -3*k, 4*k + 2*n - t*n + 28 = 0 for k.
-4
Suppose -14*g - 6 = -15*g. Let q be 0/(g*(-4)/(-8)). Suppose 5*s - 3*s - 4 = q. Solve 0 = s*o - 4*d + 3 - 27, 5*d + 28 = 2*o for o.
4
Let r(v) = v**2 - 5*v - 21. Let z be r(9). Let h be (2 + -4)*(-34)/4. Let n = h - z. Solve 4*k = -n*m - 6, -3 = m - 3*k + k for m.
-3
Suppose 4*w + 4 = 0, 5*g - 3*w = 2*g + 90. Suppose 0 = 3*o - 4*q - 12, -4*o - 3*q + 4*q = -g. Solve 2*x = -2*r - o, -4*r - 11 = 3*x - 0 for x.
-5
Suppose -5*b + 11 = -2*o + 3, 0 = -o - 5*b + 11. Let u be 0 - (-2 + o)*18. Let p = u - 14. Solve j - p*j = n - 1, 2 = -2*j for n.
4
Suppose 3*x = -y + 20, 3*x - 2*y = -2 + 7. Let c = x - 1. Suppose -3*i + 2*n + 6 = 2*i, c*n - 2 = 3*i. Solve 4*v + 23 = -3*b, v + 4*b = i*v - 18 for v.
-2
Let s = 203 - 200. Solve -2*n + 5 = 2*a + 3, 0 = s*n - a - 15 for n.
4
Let p(f) = 4*f**2 - 48*f - 50. Let t be p(13). Solve 0 = 2*i + 2*i - 5*a - 21, -2 = -i - t*a for i.
4
Let j(z) = z**2 - 15*z + 59. Let l be j(8). Solve -2*a + 3 = -5*o, -6*o - l*a = -10*o - 1 for o.
-1
Suppose -k + 4 = 4*r, 14 = -r + k - 5*k. Solve 2*x + 4*q + r = 0, -4 = x + 5*q + 6 for x.
5
Suppose 5*d + 2*g - 21 = 5, -4*d - 5*g = -31. Suppose 0 = 3*y + 2*r - 25, r + 3*r - 40 = -d*y. Solve 3*z = 5*x - 9, -y*x + 25 = 2*z + 6 for z.
2
Suppose -4*s - y - 3*y + 20 = 0, -4*y - 7 = -5*s. Suppose 0 = -s*k - 4*x + 7, -2*x - x + 2 = -k. Solve -2*u - 4 = 0, 5*u + 4 + k = 5*h for h.
-1
Let n = -23 + 27. Solve n*m + v = -8, -3*m + 0*v = 3*v + 15 for m.
-1
Let a(i) = -2*i + 33. Let d be a(14). Suppose 5*c = -2*f + d, -f - f + 4*c = -14. Solve -4*t + 0 = 5*o + f, -45 = -4*t + 5*o for t.
5
Suppose -4*h + 3*x = 12, 8*x = 5*h + 3*x + 20. Suppose h = 4*o - o - 3. Let u be (-15)/(-3) + o/(-1). Solve -5*f = -2*d - 0*f + 20, -4*f = u*d - 12 for d.
5
Let n = -664 - -668. Solve -2*x + 8 = -n*l, l - 2*x = -4*x - 12 for l.
-4
Suppose 5*c + 5 = 5*f, -7*f + 4*c = -5*f. Solve -3*a = -5*t + f*t + 9, 3*t - 9 = a for a.
0
Let u = -16 + 23. Suppose 0 = 4*g - u*g. Let z = 3 + g. Solve d + z = 5*l, 2*l - 5*d + 2*d = 9 for l.
0
Suppose 4*v = -5*c - 7, 3*v + 0*v = -c + 3. Let u = 11 - -5. Solve -i - v - 10 = 5*y, -5*y = 3*i + u for i.
-2
Suppose t = -5*r - t + 28, 0 = -4*r - 4*t + 32. Let f be ((-4)/(-3*r))/((-3)/(-72)). Solve f = 2*q - 2*g - 0, 0 = 5*g + 5 for q.
3
Suppose 20 = -5*z - 5*w + 55, -5*w - 35 = -2*z. Let o(j) = -j**2 + 2*j - 3. Let l be o(6). Let f = l + 42. Solve 3*g = f, -z = -3*b - g - g for b.
0
Suppose 31*o = 35*o - v - 24, 5*v + 20 = 0. Solve 0*d = -2*d + 3*k - o, -4*d - 5*k = 21 for d.
-4
Suppose 23*l + 44 = 19*l. Let m(f) = -f**2 - 11*f + 5. Let b be m(l). Let p be 2 + (0 