*s - o, 5*c - 25 = -5*s for s.
1
Suppose -v + 3*v = 0. Suppose 0*x - x + 4 = v. Solve x*a + 20 = -a + 5*o, 2*o = 4*a + 6 for a.
1
Let h(n) = -61*n. Let m be h(0). Solve 5*l - 8 = -2*w, 0*l - 5*l + 5*w - 20 = m for l.
0
Suppose -11*l + 5*l = -36. Suppose -33 = -l*s - 9. Solve -18 = -s*y - 5*n + 10, -4*y - 4*n + 24 = 0 for y.
2
Let c(v) be the second derivative of -v**5/20 + 5*v**4/12 - v**3/2 - 5*v**2/2 - 5*v. Let r be c(4). Let k = 7 + r. Solve -k*l + l = 5*q - 10, 0 = 4*q for l.
2
Let k = 2 + 137. Let q = k + -90. Suppose 4*b - q = -l, -b + 1 = -l - 5. Solve -j - 5*z = -b, 5*j - 15 = -4*z - 2 for j.
1
Suppose 0*y + 3*y + 15 = 0, 0 = 5*f + 2*y + 25. Let d = -2 - f. Let c = 1 + d. Solve c = r + u, 5*u = -r - 2*r for r.
5
Let s be 2/3 + 52/12. Suppose 0 = 4*k - 3 - s. Suppose -3*u - 5*m = -4*m - 5, -5*u + 27 = -3*m. Solve -y = -k*t + 4*y - 23, -23 = -u*t - 4*y for t.
1
Let q = 38 - 25. Let o = -8 + q. Solve 15 = -5*j, o*z - 5 - 16 = 2*j for z.
3
Let n(z) = z**2 - 4*z - 8. Let t be n(4). Let j = t - -11. Let w be (-1)/j + 31/3. Solve -w = -3*o - 5*f, -4*o - 4*f = -8 - 8 for o.
5
Suppose 12*d - 135 = -3*d. Solve -2*j - 5*n = -0*n + d, -2*j + n = 3 for j.
-2
Suppose -5*z - 2*d + 36 = 0, -2*z = 5*d - 5 - 1. Solve h + 3*m = 3*h + z, m = -3*h - 12 for h.
-4
Suppose 0 = -3*x + 15, 3*l + 2*x - 3 = 46. Let d = -4 + l. Solve 0 = -2*s - f + d, 4*f = -2 + 22 for s.
2
Suppose -55 + 28 = -5*c + w, -w = 2. Solve -4*t + 14 = 3*o, 0 = c*o + 2*t - 4 - 10 for o.
2
Let o(d) = -d**2 + 6*d - 3. Let w be o(5). Suppose -11*y + 12*y = -1. Let c = 3 + y. Solve -c*g - w*g = 2*u + 30, 0 = -u - 5 for g.
-5
Suppose 5*d - 4*g = 62, 11*g = d + 13*g - 4. Solve 4*c + z + 3 = -d, -2*c = -z + 11 for c.
-4
Let b(u) = u**3 - 6*u**2 - 7*u + 2. Let f be b(7). Let r(s) = 18*s - 6. Let c be r(f). Solve 3*t - 2*t + 17 = 4*m, 5*t + 3*m = c for t.
3
Let r = 105 + -102. Suppose 0 = -5*o + r*o + 10. Solve 0*d = g - 4*d, o*d = 4*g for g.
0
Suppose -3*h + 37 = -5*l, h + 4 = 5*l + 33. Suppose 3*g + 0*g + 2*u = 15, -5*g = h*u - 27. Solve -g*q = 2*q, v = -q for v.
0
Let y(g) = -g**3 + 11*g**2 - 7*g - 24. Let l be y(10). Solve 4*b + 2 = 5*x, b = -4*x - l - 5 for x.
-2
Let f = 833 + -818. Solve -4*b - 12 = -4*o, -4*o + 6*o - f = 5*b for o.
0
Let w = 1404 + -1399. Solve w*g - 8*g + 7 = 4*p, 0 = 3*p - 5*g - 27 for p.
4
Let h be 26/8 - (-2)/(-8). Let b(d) = 2*d**2 + 13*d + 17. Let g be b(-5). Solve -h*t + 3*r = -9, g*t + 5*r - 30 = -2*t for t.
5
Let b be ((-48)/9)/((-24)/(-18) + -2). Solve 11 = 3*k - 4*q, -2*k + q + b = -3*k for k.
-3
Suppose 105 = 3*z + 60. Suppose 6*r + 18 = z*r. Solve -2*a + r*m = -4, -5*a = -3*m - m - 12 for a.
4
Let d(w) = w - 23 + 11 + 8. Let h be d(5). Solve -t + c = 0, -c - 13 = 3*t - h for t.
-3
Suppose -3*v - 3 = -12, -3*v = a - 29. Suppose 4*l - 24 = 2*y, -5*l = -5*y - a - 15. Solve -l*m + m - t - 11 = 0, -m + 11 = 3*t for m.
-4
Let k be -12 - -7 - ((3 - 6) + -6). Solve k*m - 6 = 2*g, 0*m = 2*m + 2*g - 18 for m.
4
Let c(t) = -2 - 12*t**2 + 5 - 5 + 7 + t**3 - 13*t. Let u be c(13). Solve s + 4 = z + z, u*z - 1 = -2*s for s.
-2
Let j be (2 - (2 + -1))/((-4)/(-20)). Solve -3*i = -i + j*m - 15, 0 = -3*i - 5*m + 20 for i.
5
Let r = -25 + 48. Let v = -18 + r. Let o = 4 + v. Solve 4*j + o = -k, -8*j + 5*k - 5 = -3*j for j.
-2
Suppose -4*s = 16, 10*y - 15*y - s = -656. Suppose -y*g = -126*g. Suppose -5 = -4*l + 3. Solve g = -5*w - b - 10, -w + 4*b = -l*w + 17 for w.
-3
Suppose 3176 = -9*l + 3194. Solve -10 = -5*v, -4*k - k + l*v = 29 for k.
-5
Let h be 2*2/4*-19. Let k = h - -27. Solve x + 1 = -n + k, -5*x = n - 15 for x.
2
Suppose 21*l - 42*l = -546. Solve 4*k + 4*w + l = k, -5*k - w - 15 = 0 for k.
-2
Suppose 7 = -7*f + 49. Solve 0 = -5*d - 5*s + 5, 5*s - 5 = d + f for d.
-1
Let a be 2/(-6) - 56/(-6). Let j(c) = -c + 13. Let v be j(a). Solve -w + 4*g + 10 = 0, -3*g - v - 15 = 5*w for w.
-2
Suppose -5*s - 4*x - 1 = -19, 4*s + x = 10. Solve -3*n - 32 = -5*k, -2 = -s*n + 3*k - 22 for n.
-4
Let x be (-19 - -25)*8/3. Solve 4*d = x, 4*y - 10 = 2*y - 5*d for y.
-5
Let o be 11/22 + 14/4. Let x be (6/o)/(12/16). Suppose -x*g = -3*w + 6, -w - g = g - 2. Solve 14 = -3*d + c, -16 = w*d - 3*c - c for d.
-4
Let u(o) = -5*o**3 + 3*o**2 + 5*o + 4. Let n be u(-3). Suppose n = 3*j + 5*r, 4*j + 82 - 280 = -5*r. Solve 0 = v - 4*f - 25, -4*f = -5*v + j - 2 for v.
5
Let x be (-60)/(-42) + (-3)/7 + 2. Solve -r + 2*u = 4*r + 10, -u = x*r - 5 for r.
0
Let f(x) = 4*x**2 + x + 1. Let i be f(-1). Suppose -n - 21 = -34. Suppose -5*j + 8 = i*h, -h = j - 4*h - n. Solve 2*v + 0*v = 2*c + j, 5*v + 8 = -4*c for v.
0
Let g(d) = 8*d - 3*d + 5*d**2 - 3*d**3 - 23 + 2*d**3 + 0*d**3. Let v be g(5). Solve -5*m - 5*n + 20 = 0, -v*n = m - 7*n - 4 for m.
4
Suppose -16*x + 36 = -7*x. Suppose -5*z + x*z - 30 = 0. Let j = z - -32. Solve 12 = 4*c, 3*c - 19 = -0*i + j*i for i.
-5
Let n = 1 - -1. Suppose -6*w + n*w = -12. Solve 4*y + 2*i = 4, 0 = 4*y - w*y - i + 5 for y.
-1
Suppose -3*u + 4 + 2 = 3*n, 4*u = n + 8. Suppose -7*d + 2*d = -2*p - 19, 2*d + 3*p = n. Solve 13 = -h + d*h - w, -4*h - w = -11 for h.
4
Suppose -2*s + 96 = s. Let g(q) = 10*q + 462. Let d be g(-49). Let i = d + s. Solve 2*j - 5*j + 3 = 0, -i*p + 4*j - 12 = 0 for p.
-2
Let i = 2 - 0. Suppose 0 = -6*z + 2*z + 16. Solve w + 19 = -z*v, -v - 19 = -4*w + i*v for w.
1
Suppose 0 = -x + 2 + 8. Suppose -3*r + x - 1 = 0. Suppose r*l = 8 + 127. Solve 0*b = -5*j - 4*b - l, 0 = 2*j + 3*b + 25 for j.
-5
Suppose -45 = -b - 1. Let y = -44 + b. Solve 3*v - z - 3*z - 12 = y, 4 = v - 4*z for v.
4
Suppose 3*a = 4*d + 25, -d + 1 = -a + 8. Let n = -1 - d. Solve -g = z, n*z - 2*g - 8 = -g for z.
2
Suppose -7*m + 4*m + 3*z = -18, -3*z - 9 = 0. Solve 2*i + 2*x = -2, -2*i - 3*i - m = 3*x for i.
0
Let f(c) = c**2 + 41*c - 38. Let x be f(-42). Solve x*u - 2*z = 12, 16 = -4*u + z - 6*z for u.
1
Suppose -100*u = -86*u - 28. Solve -4*h - 2*q - 13 + 3 = 0, u*h + 4 = -2*q for h.
-3
Suppose -4*r = -5*r - 2. Let u be (1/r)/(5/(-20)). Let d be 0/(4*u/(-4)). Solve 0 = 3*h - 5*a - d*a, -h + 3*a = 0 for h.
0
Suppose -6*h - 1 - 35 = 0. Let z(j) = -2*j - 12. Let t be z(h). Solve 4*q + 4 = t, 3 - 7 = -3*n - 2*q for n.
2
Suppose -c - 1 = -7. Let h be (c/(-9))/((-1)/3). Solve p + 0*y + h*y + 15 = 0, 5*y = 5*p for p.
-5
Suppose -k + 2*p = 2, -3*k - 2*p + 1 = -17. Solve m = -2, 2*j + 2*m - k = -0*m for j.
4
Let w = 8 + -7. Suppose 0 = 2*t - 5 - w. Solve -6 = -5*a + t*o - 0*o, a = -3*o - 6 for a.
0
Let q(m) = -m**3 - 17*m**2 - 42*m. Let d be q(-14). Solve -5*j - 2*b - 10 = 0, d*j + 2*j + 2*b = -4 for j.
-2
Let n(q) = -q - 32. Let b be n(8). Let a be b/(-30)*18/4. Solve -2*z + 5*g - a = -z, -5*g = 2*z - 18 for z.
4
Suppose 48*g + 23 = 4*p + 51*g, 5*g = 5. Solve -p*f = -0*f - 2*i - 23, -3*f = -i - 14 for f.
5
Let z(t) = -t**3 - 6*t**2 - t - 2. Let a be z(-6). Let c be ((-2)/a)/(1/(-14)). Suppose c*x - 6 = 8. Solve 4*g - x*j - 8 = -0*g, 2*j = -g - 8 for g.
0
Suppose -2*i + 233 = 229. Solve 0 = -3*q + i*b - 13, 4*q - 7*q = 4*b - 17 for q.
-1
Let y = -225 + 231. Solve y = 5*f - 19, -22 = -k - 5*f for k.
-3
Let w = -53 - -57. Solve -4*p - 26 = a + a, -w*p + a = 11 for p.
-4
Let g = -249 - -249. Solve g = -3*l - 2*l - 3*w + 8, 2*l + 12 = -5*w for l.
4
Suppose -5*z - 211 = -2*i, 3*i = z - 5*z - 155. Let f = z - -44. Solve -g = -j - 5, 0 = -3*j + f - 15 for g.
1
Let u(c) = c**3 + 11*c**2 - 12*c - 10. Let d = 19 - 31. Let v be u(d). Let b(t) = 2*t + 24. Let y be b(v). Solve y*j + 5*r = 0, -2*j + 2*r = -2*r for j.
0
Let h be 116/(-145) - (-84)/5. Suppose 0 = 18*a - 16*a - h. Solve 9 = 4*q - 5*j, -3*q + 4*j + a = q for q.
1
Let r(w) = 6*w - 1. Suppose 5 = -14*n + 19*n. Let x be r(n). Solve x = 5*a - 3*t + t, -5*a = t - 20 for a.
3
Let x = 63 + -58. Solve 4*n = 5*w + 1, w + 6 = -x*n - 0 for n.
-1
Let l = 30 + -26. Suppose -2*x + 8 = 2*a, -a + 2*a - l = -4*x. Solve -4*m + 8 = 3*u - 4, x = -2*m + 6 for u.
0
Let k(y) = y + 19. Let d be k(-13). Let o be (-4)/6*(1 + (-42)/d). Solve r = o*r + 3*p + 3, -5*p = 2*r + 17 for r.
4
Let b be 1/3 + 2/3. Let w be -1 - (b - (11 + 1)). Suppose u - 5*u + 4*i + 16 = 0, 3*i = 4*u - 14. Solve -5*a - u*q - 12 = 0, -4*a = 4*q + 2 + w for a.
-2
Let x = -22 - -30. Suppose 29 = x*c + 5. Solve -w = -c*h + 7, 4*h - 6 = -2*w - 0*h for w.
-1
Suppose 0 = d + l - 12, -4*d + 4*l - 7 + 31 = 0. Let