 - 2*b = o - 0, 3*k = 2*b + 14 for k.
2
Let f be (-2)/((-10)/(-4) - 3). Suppose -4*t = -5*j - 14 - f, 4*j - 3*t + 14 = 0. Let z be -6 + (-8)/j - -5. Solve 5 = -0*b - z*b - 4*k, 3*b = 4*k + 35 for b.
5
Let m(a) = 2 - 12 + 1 - 3*a. Let q be m(-4). Solve g + 0*c = 3*c + 6, -3*c = q for g.
3
Let y(u) = u**3 + 8*u**2 + 8*u + 7. Let d be y(-7). Suppose d = -4*n + n + 15. Suppose -5*c = -2*c - 9. Solve -2*f = q - 5, n*f - c - 2 = -q for q.
5
Suppose 0*x - 112 = -4*x. Suppose 5*h + 9 = -1. Let v be (8/(-12))/(h/9). Solve -4*w - 4*g = -x, -3*w - 4*g = -v*g - 17 for w.
5
Let k = 636 + -636. Solve 2*i - 8 = k, 8 = 3*h + 2*h - 3*i for h.
4
Suppose 5*p - 37 = 4*v - 5*v, 2*v - 39 = -3*p. Solve -v = -4*o, 4*k = 2*k + o - 9 for k.
-3
Let c be 0/(8/(-2) - -6). Suppose -3*p + c*p = 0. Let u = -3 + 7. Solve p = -4*v, -u*n + 5 = n - 3*v for n.
1
Suppose 11 = 16*z - 69. Solve 3*r + c = -c - 8, r - 3 = z*c for r.
-2
Suppose 4 = -3*f + 13. Suppose 12 = -f*d + 24. Solve 3*l + 14 = -5*n + 4*l, 0 = -d*n + 3*l - 20 for n.
-2
Let w = -9 - -11. Suppose w*c - 12 = -0*c. Solve -d - 5 = -5*q, 0*d + 2*d - 2*q = c for d.
5
Suppose -2*i + 3*g = -14, 5*g = -i + 3*i - 22. Suppose i + 1 = n. Solve -3*t + 3*w - 3 = 0, -1 + n = 2*t + w for t.
0
Let m be (-16)/48 - (-122)/12*2. Solve 2*j = 2*p - 4, m + 0 = 5*p for j.
2
Suppose -55 = 10*s + 5. Let l = 17 + -6. Let w = s + l. Solve 4*u - u - p = -w, -u - p + 1 = 0 for u.
-1
Suppose 13*q - 147 + 82 = 0. Solve -3*p + 3 = -v - q, 2*v = 4*p - 14 for p.
1
Let v(w) = w**2 + 10*w + 2. Suppose 2*l + 24 = 4. Let f be v(l). Solve 4*n = -2*g, f*g - 2 = 4*g + 3*n for g.
-4
Let b(u) = -u + 2. Suppose 7*o = 4*o - 6. Let z be ((-4)/8)/(o/(-12)). Let j be b(z). Solve t = -4*c - 17, -2*c = -j*c - t - 13 for c.
-4
Let t(u) = -u + 1. Let c(m) = -3*m. Let s(k) = c(k) - 5*t(k). Let g be s(10). Solve d = 3*r + g, -d + 4*d - 3*r - 21 = 0 for d.
3
Suppose -5*q - 1 = -2*c, 0*c + 50 = -5*c - 5*q. Let z = -3 - c. Solve z*x = -3*k + 12, x + 4*k + 16 = 8*k for x.
0
Let p = -428 + 428. Solve 0 = -4*t, p = -2*o - 3*o + 2*t - 5 for o.
-1
Let k be 5/((-20)/8) - -38. Let u = k + -15. Solve -r + 4*r = -3*f - u, 0 = -f - 2*r - 10 for f.
-4
Suppose -9 - 18 = 3*s. Let n be 20 - -1 - (-3)/s*3. Let m = 0 - -2. Solve -m*k = -5*z - n, 3*z + 4 = 5*k - 8 for k.
0
Let a be -4 - (40/5 - 12). Suppose 5*v - 2*z - 22 = 0, 5*v = z + 2 + 19. Solve 5*g - i + 13 = a, 3*g - 3 = i - v*i for g.
-2
Suppose u + 3 = 3*g, 2*u + 0*g + 5*g = 16. Solve -u*r = 15, 5*w - 3*r = -1 - 4 for w.
-4
Let g(r) = -2*r - 1. Suppose -2*c + 19 = -5. Suppose -2*u - k + c = -5*u, 2*u = -2*k. Let s be g(u). Solve -a - 1 = 0, 0 = -s*v - a - 2 - 4 for v.
-1
Let x = 4 + 1. Suppose x*y - y = -y. Suppose 3*b = -15, 2*b = -3*u - 0*b + 29. Solve -5*z + 2*f = -y*f + u, 4 = 4*z + 2*f for z.
-1
Suppose 27*m - 68*m = 0. Solve 4*b + 5*f = 11, 3*b - 5*b - 2*f + 6 = m for b.
4
Suppose -4*l - 10 = 2*v, 8*v - 4*l = 12*v + 4. Solve 4*a + 20 - 2 = 5*i, -i - 4 = v*a for a.
-2
Let d be 16/(-3 - -7) + 6. Suppose -a - 5 = -d. Solve 6*b = 4*m + 2*b + 12, m - 27 = -a*b for m.
2
Suppose 14*j + 3*j - 68 = 0. Solve -s + 3 = -j*f, 2*s - 2 = 5*f + 4 for f.
0
Suppose -2*o + 3*o = 0. Let h(i) = -i. Let l be h(o). Suppose 3*t - 30 = -3*t. Solve -2*n - 18 + 0 = 4*s, -2*n + t*s = l for n.
-5
Suppose 4 = u - 3*i, 0*u - u - i + 4 = 0. Solve u*d = 3*s + 4, -d + 2*d + s = 8 for d.
4
Let j be (-46)/(-12) - 13/(-78). Solve -j*t = -2*a + 9 + 1, -5*t + a = 11 for t.
-2
Suppose 0 = 4*o - 14 - 2. Suppose 2*j - 10 = 4*c, j - 4 = -2*c + 1. Let s be (0 - 0)/(-4 + c - -5). Solve -p = 3*d - s*p + 14, 0 = 5*d - o*p + 29 for d.
-5
Let r be (-13 + 10)/(6/(-56)). Suppose -r = 3*y - 5*y. Suppose 10*o + 16 = y*o. Solve -5*f + 25 = 0, 2*d + f = -o*f + 19 for d.
-3
Suppose -2*r - 2 = -4*z + 6*z, -4*r + 20 = -4*z. Let a(g) = -2*g - 7. Let w be a(-6). Let i = w - -2. Solve -5*s + s = -r*b - 16, s - i = -b for s.
5
Suppose -11*c = -28*c + 34. Suppose -3*q + 10 = w, q - 2*w - 3 = -c. Solve -q*a = -2*l + 7, 4*l + 0*l = -4*a + 4 for l.
2
Suppose p - 4*p = 0. Suppose 2*r - 6 = r + 2*m, -2*r - 5*m - 15 = p. Solve 3*f - 7 = 4*o - r*f, -18 = -4*o - 2*f for o.
2
Let m be -5 + (-3 - (-13 + 5)). Suppose -17*k + 19*k - 6 = m. Solve -5*v + 3*t = 7*t - 16, -5*t = k*v - 20 for v.
0
Suppose -9 = h - 4*a + 10, 4*h - 5*a + 43 = 0. Let b = -15 - h. Let f be (4/b)/1*-10. Solve -6 = f*c + 3*l, -2*c + 4*l + 7 = -1 for c.
0
Let t be (12/8 - 1)*0. Solve h + t*h - 3 = -q, 5*q - 10 = -4*h for h.
5
Let l(o) = -o**3 + 4*o**2 + 8*o - 3. Let f be l(5). Let i(u) = -u. Let t be i(f). Let n = -10 - t. Solve n*q - 4*r + 14 = 0, 0 = 5*q - r - 1 for q.
1
Let w = 16 + -12. Suppose 0 = -4*q, l - w*q - 8 = -3*q. Suppose 3*k + k = l. Solve 14 = -4*f + p, 11 = -4*f + k*p - 1 for f.
-4
Let a(t) = 2*t - 5. Let g(v) = -v + 3. Let b(i) = 6*a(i) + 13*g(i). Let n be b(6). Solve -4*l - 4*o + 1 = -3*l, o = -n*l - 8 for l.
-3
Suppose -x + 225 = 4*u, -25 = -5*x - 0*x. Suppose 4*j = -j + u. Solve 3*n + 1 = -h, -4*h - 3*n + 3 + j = 0 for h.
5
Let u(n) = n**2 - 14*n - 11. Let i = 51 + -36. Let l be u(i). Let a be (-1)/(3/(-6)*1). Solve 0 = -v + 3*v + a*c + l, -2*v + 3*c = 9 for v.
-3
Let l be 162/(-39) + 8/52 + 7. Solve -2*k - 2*a - l*a = -7, k - 3*a = -2 for k.
1
Suppose -5*r + 948 = 5*s + 108, 5*s = 3*r + 832. Suppose -s = 5*j - 52. Let b = j + 27. Solve -h + 4*a - 3 = 0, 5*h + b*a = 5*a + 4 for h.
1
Suppose 0 = -8*r + 1 - 65. Let z = -11 - r. Let w be (z + 0 + 4)*3. Solve -1 = 2*k + w*x - 0, 3*k + 4*x = 0 for k.
4
Let q(x) = -x + 5. Let j be q(5). Let n be -1 + (j - -4) - -2. Solve 0 = -p + 2*d - 11, -d - 16 = n*p + 2*d for p.
-5
Suppose -3*a + 4*v + 7 = 2*v, 4*a - 8 = 3*v. Solve 2*g + 3*z + 3 = -3*g, 4*z + 4 = a*g for g.
0
Let j be ((-4)/12)/(1/(-57) - 0). Solve -5*v = -2*p + j, 4*p - 5 - 12 = 3*v for p.
2
Let a(i) be the third derivative of i**5/60 - i**4/6 + i**3/3 - 12*i**2. Let o be a(4). Solve 4*v - 2 = -5*b + 3*b, 0 = 2*v + o*b + 4 for v.
3
Suppose -5*b - 150 = -2*b. Let z = b - -50. Solve 0 = 4*k - 3*u + 21, z = 6*k - 3*k - u + 12 for k.
-3
Let j = -3 - -8. Suppose -3*q + 2*m + j = 0, 3*m - 30 = -q - 2*m. Solve -q*a + 2*p + 6 = -a, -p = 4*a - 9 for a.
2
Let j(s) = s**3 - 3*s**2 + 2*s + 2. Let o = -5 - -3. Let d be 8*(o/4 + 1). Let r be j(d). Solve -4*w - 2*p = r, 3*w + 2*w - 4*p + 13 = 0 for w.
-5
Suppose 11*d - 43 = 23. Suppose -13*c + 16*c - d = 0. Let z(j) = j + 3. Let x be z(-3). Solve 5*t + 27 - c = 2*m, -4*t - m - 7 = x for t.
-3
Let u be 1/(-4) - ((-1144)/(-32))/(-11). Solve 0 = -3*p + u*c + 12, 0 = -3*c - 0*c for p.
4
Let p = 1 - -7. Let x be ((-108)/27)/(p/(-6)). Solve -5*u + 2 = 17, x*i = -4*u for i.
4
Let o be 15/(-3) + (2 - -3). Solve g + 2 = o, -24 = -3*c + 4*g - 4 for c.
4
Let h = -9 + 2. Let s be (h + 4)*12/(-4). Solve -4*p - 5*d - 12 = 0, s*d + 30 = 5*p + 4*d for p.
2
Let b = -326 + 231. Let f be 10/(-6)*114/b. Solve -5*z = 4*a - 4 - 1, a - f*z + 2 = 0 for a.
0
Suppose 0 = 2*o - o + 8. Let t = o + 12. Let j = 59 + -47. Solve -j = -5*z + t*s, 0 = 6*z - z + 3*s - 26 for z.
4
Let h be -3*1/(-1)*(-8)/(-8). Suppose -3*n - y + 6 = 0, -h*n - 5*y + 6 = -0. Solve -u + 2 = 2*s + 2*s, -2*s = 2*u + n for u.
-2
Suppose -2 = -4*p + 2, 3*p + 12 = 3*u. Suppose u*n = n + 20. Solve 5*y - 30 = 3*o, -35 = -n*y + 2*o + 2*o for y.
3
Let z(x) be the first derivative of -x**3/3 + 13*x**2/2 + 2*x + 3. Let t be z(13). Suppose -w = t*w - 6. Solve 4*n = 4*g - 1 - 7, -2*n - w*g - 12 = 0 for n.
-4
Let v(s) = -9*s - 63. Let r be v(-7). Solve 3*i - m = 4, 2*i = -r*i - 2*m for i.
1
Let n = 499 + -494. Solve 5*s = 4*w - 2*w - 12, 2*s - w + n = 0 for s.
-2
Suppose r - 24 = -r. Let y = -89 - -94. Suppose -4*k - 2*m = 0, -k + y*m = m - 18. Solve -11 = 2*g + h, g - 3*h = -k*g - r for g.
-5
Let w = -181 + 184. Solve -4*g = w*f + 20, -g + 1 = -f + 6 for g.
-5
Suppose 0 = -3*x + 46 + 2. Suppose 2*q - x = -2*q. Solve 2*t - 19 = 2*o - 3*t, 2*t = -q*o - 2 for o.
-2
Suppose -3*t = -4*b + 5, 2*t + 2*b = -0*t + 20. Let w = 939 - 939. Solve 0 = 4*z + 6*g - 3*g - 27, -2*z - t*g + 31 = w for z.
3
Let l = -26 + 31. Suppose o = -5*m, -4*m - l*o - 16 - 5 = 0. Solve v - 2*r = 4*v - 5, 0 = -2*v + r + m for v.
1
Suppose -4*k - 84 = -5*g + 46, -5*g + 130 = 3*k. Let v = 26 - g. Solve 0 = -v*r - 2*r - f, -2*r + f = 0 for r.
0
Suppose 10*q - 14*q + 2*n