o*d + t = 5*t, -3*t + 3 = -3*d for d.
-2
Let r(b) = b + 1. Let x be r(-1). Let v be (-3)/5 - (-52)/20. Solve 5*k - 2*i - 25 = 3*i, 5*k + v*i + 3 = x for k.
1
Let o(p) = -2*p**3 + 21*p**2 - 26*p - 9. Let j be o(9). Let m be 0/2*(-1)/2. Solve 4*f + z - 21 = j, -3*z + 4*z - 5 = m for f.
4
Let a(y) = y + 1. Let j be a(3). Let l = -20 - -24. Solve 0 = 4*w - l*p - 4, 0 = -2*w + 4*p + j for w.
0
Let t(m) be the third derivative of m**5/60 + m**4/8 - 5*m**3/6 + 3*m**2. Let k be t(-5). Solve -k*b + 22 = -2*r - 0*r, -2*b = -r - 9 for r.
-1
Suppose -2*c - 4*i - 20 = 0, 25 = 4*c - 3*i - 2*i. Let n be -1 + -4 + 9 + c. Solve n*s = -2*u - 22, -s + 3*s - 5*u + 5 = 0 for s.
-5
Suppose -k = n + 4*k + 11, -k = -4*n + 19. Solve -4*m = -0*m, -3*m - n = -4*x for x.
1
Suppose 6*p = 3*p + 24. Solve -5*m - p = -0*m - 4*w, 18 = -3*m - 2*w for m.
-4
Suppose 9 = 4*r - 3*b - 0*b, 2*b = 2*r - 4. Let d be 1*(-3)/(-6)*18. Let v = d + r. Solve -3*s - 13 = 2*t, -v = -3*s + 5*t + 10 for s.
-1
Let q be -1 - 5 - (-1 - -2). Let f = 12 + q. Let x be 5/2 + f/10. Solve x*g - 5*g + o + 5 = 0, 0 = -g + 4*o + 13 for g.
1
Let p(j) = j**2 + 11*j + 8. Let q be p(-10). Let s be 0 - (-8 - (-5 - q)). Solve 2*z + 13 = -s*x + 5, -3 = -3*z for x.
-2
Let m be (21/14)/((-1)/2). Let h be -3 + 8 - m/(-3). Solve 2*q - 2 = 3*f, -h*q + f - 24 = 2*f for q.
-5
Let z be 18/8 - (-2)/(-8). Suppose 0 = 5*y - 12 + 2. Suppose j + 3*j = -3*f + 15, y*f = 2. Solve 0*p + j*p = -h, 2*h + 4*p = -z for h.
-3
Let n be (5 - 0)/(8 - (10 + -3)). Solve 0 = 2*a - 5*v + 15, 0*v = -n*a + 5*v for a.
5
Suppose -4*r + 2*k = -7*r + 10, -5*k + 25 = 4*r. Solve 0 = -3*l - 4*a + 2 - r, 0 = -a - 1 for l.
2
Let m = 4 - 2. Let r(y) = 2*y**2 - 4 - m*y - 3*y**3 + 4*y**3 + 2*y**2. Let f be r(-4). Solve 0 = -5*c - 2*h + 6, -f*c + h + 3 - 6 = 0 for c.
0
Suppose -12 + 4 = -2*n. Solve 12 = 4*c - n*z, -4*c + 4*z = z - 13 for c.
4
Let u(y) = 2*y + 4. Let v be u(-1). Solve 2*s - 2 = -4*x, -3*s - v*s + 13 = 2*x for x.
-1
Suppose 5*n = 17 + 3. Let r(i) = -i**3 - i**2 - 2*i + 3. Let s be r(-3). Solve n*a + 15 = b, -4*a + 2*b + 3*b - s = 0 for a.
-3
Let j(o) = -59*o**3 - o**2 + o - 1. Let u be j(1). Let l = -25 - u. Suppose 2 = 3*y - 2*x, 2*x = -5*y - x + l. Solve -2*w - 5*c = 6, 5*w - c = -y*c - 15 for w.
-3
Let u be (-1 - -3)*(-2)/(-2). Suppose -u*l + 4*l = 6. Let i = -1 + l. Solve m = -2*k - 4, -k - m - i*m - 7 = 0 for k.
-1
Suppose -4*r + 68 - 20 = 0. Suppose -7 + r = b. Solve 0 = -2*a + l - 7, 0 = -2*a + b*a + l + 8 for a.
-3
Let k be (2 - 2)/(3 + -2). Let x = -20 + 35. Solve -5*t = x, 0 = c - k*t + 3*t + 12 for c.
-3
Let o(n) = n**3 - 5*n**2 + 2*n - 3. Let w be o(6). Suppose -4*k + 9*k + w = 0. Let p = k - -14. Solve d - 4*f = 4, -2*d + p*f + 4 = -d for d.
4
Let k be 3*((-105)/9)/5. Let y be 2/3 - k/3. Solve -x - 4*i - 9 = 0, 5*x - y + 24 = 4*i for x.
-5
Suppose -5*a - 5*d = -8*a + 25, 2*d = 8. Let l(w) = 2*w**2 - 2*w - 2. Let r be l(3). Let z = a - r. Solve -6*g = -g - 20, 16 = -z*u - g for u.
-4
Suppose 134 + 91 = 9*g. Solve 4*b + b = g, -5*b + 19 = 3*h for h.
-2
Let a = 7 - 7. Suppose a = 2*r - 1 - 3. Solve -r*z + 6*f - 2*f + 28 = 0, 4*z + 2*f - 6 = 0 for z.
4
Suppose -4*t + 2*t = -6. Suppose t*p - 3 = 9. Suppose -2*s = -2*c - 2, s + 2*c - 5*c + 7 = 0. Solve -s*j - 2 = x, 8*x = 3*x - p*j + 11 for x.
3
Suppose -3*k + 3 = -2*z, -5*k + 8*z - 3*z = 0. Solve t + 1 = -3*w, -5*t - k*w - 3 = -2*t for t.
-1
Suppose -4*n + 40 = 16. Suppose n = 2*w - 4. Solve -2*t + 10 = -2*a, -4*t - w*a = -3*t + 25 for t.
0
Let t = -29 + 54. Suppose 0 = -q - 3*q + n + t, -29 = -5*q + 2*n. Solve 0 = -2*z - 4*o + 7*o - q, -14 = 2*z + 4*o for z.
-5
Let i = 34 + -18. Solve -3*c + 2*a + 0*a = 0, 0 = -5*c - 2*a - i for c.
-2
Suppose 135 = -3*t + q - 4*q, 227 = -5*t - 4*q. Let a = -27 - t. Solve 3*i - 8*i - 32 = -4*x, -4*x = -2*i - a for x.
3
Suppose -k = -35 + 7. Suppose -2*j + 2 = -2*a + 5*a, 0 = 4*a - 2*j - 26. Solve -3*v - 4 = 2*h - 0, -4*v + k = -a*h for v.
2
Let h(q) = 4*q**3 + 2*q**2 + q. Let j be h(-1). Let y(v) = v**3 + 4*v**2 + v - 2. Let b be y(j). Solve 2*n = -5*a - 33, 2*n - 17 = a + b*a for n.
-4
Let g be 342/66 + (-2)/11. Solve -i = i - f, 0 = -i - g*f for i.
0
Let v(o) be the first derivative of -o**2 + o - 1. Let t be v(-2). Solve t*c = -3*k - 31, 0*k + 2*k = -5*c - 29 for k.
-2
Let z = -18 + 30. Let b = 12 - 7. Suppose 3 = 2*q - 3, q = b*i - z. Solve -5 = 5*t, 3 = i*s + t - 8 for s.
4
Let f = -42 + 47. Solve -5*y + 0*y + 5 = f*d, 4*d = -y - 11 for d.
-4
Suppose 6*b = 2 + 10. Solve -2*y + 4*h + 16 = 0, 0*y = b*y - 5*h - 19 for y.
2
Let n = -35 - -37. Solve 8 = 4*d - m + 5*m, 3*d + n*m = 8 for d.
4
Let f be (-3 + 1)*(-6 + 10/2). Solve 8*z - 3*z = 3*b - 4, f*z = 3*b - 7 for z.
1
Let k(q) = 2*q - 12. Suppose l + 48 = 3*l. Suppose 3*b = 0, l = x + 2*x + 3*b. Let a be k(x). Solve -a*g = -z + 30 - 5, -g = z for z.
5
Suppose 0 + 7 = z - 3*n, 5*n - 7 = -z. Solve 2*a + 2*u = -4, 0*u - z = -4*a + u for a.
1
Suppose 0 = -v - 10 + 59. Let s = v - 33. Let n(t) = t - 3. Let d be n(6). Solve 21 = 4*j - k - d, k = -4*j + s for j.
5
Let s(p) = -p**3 + 5*p**2 + p. Suppose -3*f + 8*f = 5*o + 30, 5*o = -f + 6. Let n be ((-2)/(-3))/(f/45). Let j be s(n). Solve -2 = -w, j*w - w = -4*v + 8 for v.
0
Let z be 6/30 + 9/5. Let s = 1 - -6. Let j(l) = -6*l. Let t be j(-1). Solve -u + 10 = -z*n, -s = -t*u + 2*u - 3*n for u.
4
Suppose 12 = 4*c - 0*t + 5*t, -5*t = c - 18. Let v be (-21)/(-14) + (-7)/c. Solve -4*u + v = -s + 20, 0 = 4*u + 5*s + 21 for u.
-4
Let o = 13 + -11. Solve -4 = -3*t + o*f, 4*f + 2 - 4 = t for t.
2
Suppose 5*q - 145 = -2*m, 2*q + 2*m = 85 - 33. Let z = q - 24. Solve 5*v - 3*o = -25, 3*v - 26 = -5*o - z for v.
-2
Let u be (-8 + 13)*(0 + 1). Suppose u*n - n - 72 = 0. Solve 2 = -z, 0*z = 4*k + z + n for k.
-4
Suppose 5 = 3*o - 10. Suppose -2*z = o*g + 10, -2*z + 0*g + 10 = -5*g. Solve s = -z*s - 1, -p - 5 = s for p.
-4
Let h be -1 - (-1 + (1 - 3)). Suppose h = 5*l - 3*l. Let u be 6*1 + (-2 - l). Solve -12 = 2*p - 4*t - 0*t, -u*p + t + 2 = 0 for p.
2
Let h = 72 + -70. Solve -11 = -h*t + 3*d, 2*t + 4*d + 14 = 4*t for t.
1
Suppose 2*s - 5 - 3 = 0. Solve s*j + 0*w + 3*w = -12, 12 = -4*j - 5*w for j.
-3
Suppose -5*s = -7*s + 12. Solve -h - s = k, h + 7 = -4*k - 5 for k.
-2
Suppose -10 = o - 6*o. Let j(g) = g - 2. Let n be j(o). Suppose 0 = -3*t - n*l - 2*l + 8, -2*t + 16 = -4*l. Solve 0 = -t*k - 3*m - 25, 7 = -k + m - 2*m for k.
-4
Suppose 5*k = -5*o + 5, -k - 26 = -2*o + 3*k. Solve 4*c - o = s - 17, 2*c + 6 = 4*s for c.
-3
Suppose 0 = 3*d + 3*d - 30. Solve -5*k + d*p - 6 = 9, 0 = 5*p for k.
-3
Let c(w) = w**2 + 3. Let k be c(0). Suppose 2*j + 0*d - 5*d = 19, -d = k*j - 3. Solve 0*i = j*s + 3*i + 21, 3*i = -s - 18 for s.
-3
Suppose 6*p = 7*p - 6. Solve 2 = t - 2*h, -5*h = p*t - 4*t - 4 for t.
2
Let l(w) = w - 1. Let d be l(4). Suppose -3*z + 16 + 22 = -5*y, -y + 14 = d*z. Solve -2*q + 0*q = -4*m - z, 5*m + 2*q + 30 = 0 for m.
-4
Let a(u) = -u**3 + u**2 - u + 5. Let o be a(0). Solve 5*w - 5*q + 0 = -o, -4*q - 5 = -w for w.
-3
Suppose 16*i - 15*i - 4 = 0. Solve -i*l - 5*r = -16, 2*l + 3*l - 7 = -3*r for l.
-1
Let c(a) = a**3 - 5*a**2 - a + 4. Suppose -2*z - 25 = -7*z. Let f be c(z). Let v be -1*(f - 1/(-1)). Solve -2*t + 15 = 3*y - 7*t, -5*y - 3*t - 9 = v for y.
0
Let h be (15/(-6) - -2)*-4. Let v be (36/(-30))/(h/(-5)). Solve 2*g - 4 = 2*x + 12, -v*x + 2*g = 21 for x.
-5
Let u = 5 + 2. Let z = u + -5. Solve -l + 5*v = -8, -5*l = -3*l + z*v - 4 for l.
3
Let f(r) = r**2 + 12*r + 37. Let c be f(-8). Solve c*t = -l - l + 4, -5*t + 1 = 3*l for l.
-3
Let r be 17/5 + (-8)/20. Solve 5*w = r*o, -o = -3*o - 4*w for o.
0
Let x(w) = -5*w - 5. Let p be x(-5). Let z = p - 15. Solve 0 = 5*a + z*l + 20, 4*a = 3*a - 3*l - 8 for a.
-2
Suppose -2*q - 3 + 53 = 4*c, 3*q - 42 = 5*c. Solve -m = 5*d + q, m - 2*d + 16 = -6*d for m.
-4
Let d(y) = y**3 - 3*y**2 - 7*y + 5. Let z(a) = a**2 + 4*a. Let v be z(-5). Let k be d(v). Solve 0 = 3*c - t - 12, -c - 4*t = t - k for c.
5
Let b(j) = 4*j + 8. Let x be b(-5). Let m be (-4)/x - (-5)/3. Let k = 1 - -3. Solve -4*d + 14 = -f - m*d, f - k*d + 24 = 0 for f.
-4
Let l(m) = -2*m - 9. Let p be l(-6). Suppose 0 = -4*o - 0*o + 44. Let t(v) = -3*v - 85. Let c be t(-29). Solve -g = p*a + o, c*a - g = 4*a + 8 for a.
-3
Let t = -8 - -20. Let u be 7/3*(0 - -54). 