c for o.
-5
Suppose -5*w + 24 = l, -2*w - l + 0*l = -9. Suppose -4*k - f = -5 - 15, -2*f + 25 = w*k. Suppose k = u - 3. Solve 2*b = 5*z + u, b - 2*b + 4 = -5*z for b.
4
Let u be (75/(-12))/(-5)*4. Solve 5*w - 5 = u*s, -w = 4*w + 5*s - 35 for w.
4
Let z(f) = -f**3 - 11*f**2 - 9*f + 13. Let k be z(-10). Solve k = s - 5*d - 2, -19 = 3*s + 2*d for s.
-5
Let v(j) = j**2 - j. Let s be v(3). Suppose 4*m + s = 3*l, l - 2 + 0 = 3*m. Solve 0 = -3*d + 4*n - 26, -2*n - 3*n + 21 = l*d for d.
-2
Let z = 116 - 116. Solve 0 = 2*c + 3*s + 8, 3*s - s = z for c.
-4
Let c = -6 - -10. Solve 0 = 3*s - 0*s + 5*k + 25, 0 = c*s + 3*k + 15 for s.
0
Let w be 6/(3 + -4 + 3). Let o be 24 - w/2*2. Solve 0 = -3*i + 2*l - 0*l + o, 2*i = 3*l + 19 for i.
5
Suppose 7*t - 2*t = 10. Suppose -l - t*l + 6 = 0. Solve -2*f - 5 = 3*y - 3, 4*y = -l*f for f.
-4
Suppose t + 14 = 2*t. Suppose 5*h - t = 1. Solve h*n - m = 15, -8 = -n - 2*m - 3 for n.
5
Suppose -11 + 9 = -y. Solve w - y = -x, 0 = -w - x - x + 4 for w.
0
Suppose -6*l + 4*l = 5*i - 17, -i + 4 = l. Solve 0 = 3*b + m + 10, i = -4*m - 1 for b.
-3
Suppose 2*o - 4*o + 4 = 0. Let l = -4 + 13. Let h be ((-3)/l)/(2/(-12)). Solve h*s - b = -o + 3, 13 = 5*s + b for s.
2
Let q = -9 + 13. Solve 3*a = -0*a + 4*w - 20, -q*a + 5*w = 26 for a.
-4
Suppose i - 2 = 3*i. Let y = 3 + i. Let c = 0 + 0. Solve c = -2*w - g, y*w = -0*w + g - 4 for w.
-1
Suppose b + 3*c + 3 + 0 = 0, -4*b + 3*c + 3 = 0. Solve m = -2*v - b*m - 7, 0 = -3*v - 2*m - 11 for v.
-3
Let x be 18/8 - 2 - 56/(-32). Solve 5*c = t - 0*t + 5, -x*c = -4 for t.
5
Suppose 5*o + 4*f = 41, -4*f = 1 - 17. Solve g + 1 = o*t - 24, -t = g + 1 for g.
-5
Let h(t) = -t - 19. Let f be h(-13). Let g be 18/8 - f/(-24). Solve g*i + 0*n - 14 = -2*n, 2*i + n = 12 for i.
5
Suppose 1 = 4*u - 7. Solve -u*d - 2 - 2 = 2*n, 2*n - 2 = d for n.
0
Suppose -2*v + 15 = 5*r - 14, 0 = 5*r - 4*v - 17. Solve 5*w = -5*c - 0*c, r*c + w = -4 for c.
-1
Let x be (3/(-2))/((-18)/24). Let z(o) = 4*o - o**x + 0*o - 6 + 3*o. Let s be z(5). Solve 4*b = 5*u + s, 0 = 3*u + 12 for b.
-4
Let x(c) = c**3 - c**2 - 2. Let w be x(3). Let r = -6 + 9. Suppose -12*u + 8*u + 8 = 0. Solve r*j + 2*f = -u*f + 1, 0 = -4*f + w for j.
-5
Let i = 3 + 9. Suppose -i = -0*d - 3*d. Solve 2*b + 0*a - 3*a - 6 = 0, d*b - 2 = a for b.
0
Let v = 167 - 145. Solve 4*x = -3*m + 27 - 4, 0 = 4*x + 2*m - v for x.
5
Suppose -w + 5*f + 90 = 0, 4*f = -2*w + 2*f + 192. Suppose 0 = -4*i - 3*y + w, 89 = 4*i - 3*y - 0*y. Solve 5*k + s + i = -s, 4 = 4*s for k.
-5
Let t be 4/(-6)*(-72)/16. Solve 2*z = 2*m - 0*z + 6, m + 3 = t*z for m.
-3
Let g(r) = -r**3 - 5*r**2 - 6*r - 6. Let h be g(-4). Suppose -2*n = 4*i - 6, 3 - 5 = h*n. Solve -5*p + 10 = 3*c, -4 + 19 = -c + i*p for c.
-5
Let z = 0 - -4. Suppose z*x + x = 40. Let y = x - 3. Solve -y*v = 2*o - 35, 3*v - 14 = -4*o + 21 for o.
5
Let p(n) = -n + 4. Let w be p(8). Let j = -3 - -2. Let h = j - w. Solve -3*b + s = 9, b + 3*s + h = -2*s for b.
-3
Suppose -o - 3*c = -2*o - 12, 0 = 4*o + c - 17. Solve 2 - 1 = -o*j - 2*s, -2*s = -2*j + 16 for j.
3
Suppose 5*o - 5*s - 30 = -6*s, -2*o - 2*s + 20 = 0. Let x be 6/(-27) - (-112)/18. Suppose x*t = t + 60. Solve -4*w = -4*f - 8, -w = -o*w + t for f.
1
Suppose -4*w - w = -15. Let m be (-3)/(-6)*6 - 0. Solve 5*a = -4*o + o - 5, 0 = 5*o - w*a - m for o.
0
Let j be (-1)/((-1)/6*2). Suppose j*h = 23 + 10. Solve 3*a - q - h = -2*q, -4*q = -8 for a.
3
Let p(a) be the second derivative of -a**4/12 + a**3 - 2*a**2 + 3*a. Let s be p(4). Let x = -38 - -67. Solve -3*i = s*c + 19, 5*i = 4*c - 8*c - x for i.
-5
Let s = -20 - -28. Let u be (8/5)/(s/20). Solve -u*z = -2*v, 2*z - 2*v = -0*v + 4 for z.
-2
Let i(g) = -g**3 - 3*g**2 + 3*g + 1. Let f be i(-4). Suppose -f = q + 4*q. Let v = 4 - q. Solve -2*h - 6 = 0, v*n + h = 3*h + 1 for n.
-1
Let w be (-78)/(-15) + (-2)/10. Solve 4*b - 15 = -f - 0, -4*b - w*f = -27 for b.
3
Suppose 94 = -p + 3*p. Suppose -5*g + p = 3*y, 0 = 3*y - g + 5*g - 43. Suppose -4*t - 1 = -y. Solve -2*u - t = -2*d, u - 2*d - 1 = -2 for u.
-1
Let i = -73 + 105. Solve 0 - 15 = 5*m, 5*k - 4*m - i = 0 for k.
4
Suppose 9 = 4*q + y, 5*q + 2*y - 3 = 12. Let s(h) = -h**2 - 7*h - 4. Let i be s(-6). Suppose -3 - i = -c. Solve -v - 1 - q = 3*w, 5*v + c*w = 10 for v.
4
Suppose 4*l = 5*l - 9. Let w = 17 - l. Solve -2*f = 3*h + 2, 3*f - w*f + 25 = 0 for h.
-4
Suppose -3*o + 12 = 3*s, 5*o - 17 = 3*s - 5*s. Let l be (o - 1)/(6/9). Let a = -24 + 36. Solve 5 = l*b + p + 1, 3*p = 4*b + a for b.
0
Let o = -3 - -6. Suppose -z - 2 = -o*z. Let v be (8/(-2))/(z/(-4)). Solve 6 = 2*f - 2*t, 0 = 3*f + t - 5 + v for f.
-2
Let x = -5 - -9. Solve -5 = -r - c, x*r + 11 + 14 = 5*c for r.
0
Suppose 2*s + 0*s - 4 = 0. Let x = s - -2. Suppose -k - 2*j + 24 = -4*j, -x*j = 2*k - 8. Solve 5*b = 2*h - k, 0*b = -3*b - h - 4 for b.
-2
Suppose -10*w + 8*w + 10 = 0. Solve w*r = 15, -q + 1 = -r + 2 for q.
2
Let o = 19 + -16. Solve z + 5*r = -20, o*z - 4*r + r = 12 for z.
0
Let y(g) = 2*g + 14. Let d be y(-10). Let a = d + 10. Solve -w + 2 = w, -5*w = -a*l + 7 for l.
3
Let p(f) = -f - 2. Let d be p(-7). Solve -4*w + n + 5 = -7, 2*w - d*n = -12 for w.
4
Let b = 115 - 112. Solve -b*h = m + 4*m - 13, -5*h - 25 = -m for m.
5
Let q be 28/16 - 2/(-8). Suppose -2*o - 3*o = 5. Let j be (-3)/(o - 8)*9. Solve 5*x - j*g + 5 = 3, 0 = 2*x + q*g + 4 for x.
-1
Suppose -2*w - 32 = -6*w. Suppose w = 4*c - 16. Solve -5*m + 21 = -c*x + 2*x, 3*m + 5*x - 20 = 0 for m.
5
Let d = -20 - -20. Solve -2*x = -3*x + 3*s - 20, -3*s + 15 = d for x.
-5
Suppose -4*z + 1 = -47. Suppose 6 = 3*v - z. Suppose 2*n = y - v, 0 = 2*y + y + 2*n - 18. Solve 0 = y*d - d - 2*b - 18, 3*b + 1 = d for d.
4
Suppose 11*r = 6*r. Solve -2*f - 2 = r, 7*n - 17 = 2*n + 2*f for n.
3
Suppose 17*j = 14*j. Solve -y + j*a = -5*a + 5, -2 = -a for y.
5
Suppose 3*r - n - 108 = -2*r, -5*n = r - 32. Suppose -2*f = -0*f - r. Solve 4*i - j - 9 = 0, -5*j = 2*i - f + 34 for i.
1
Suppose 0 = -2*i - 2*b, 4*i + 5*b = 3*i - 12. Solve 3*l - 2*z = 19, i*l + 4*z - 3 = 4 for l.
5
Suppose 2*j = j. Suppose 0 = -2*u - j*u + 6. Suppose 0 = -i - u*w - 8, i - w - 20 = -3*i. Solve 2*q = -i*d - 22, 5*q = 3*d - 8 - 8 for d.
-3
Let t = 88 - 48. Suppose 5*w + 5*y = -t, 3*y = 4*w + w. Let l(o) = -o**2 - 4*o + 1. Let i be l(w). Solve 4*z = -5*n - i, 5*n - n = 5*z + 5 for z.
-1
Let t(y) = 3*y + 2 + 3 - 2*y + 4. Suppose -2*x - 3*u = 2*u + 20, 0 = x + 2*u + 8. Let p be t(x). Solve 4*j + p = -5*q - 16, -4*j = 4*q + 20 for q.
-5
Let f be (-3)/(-4) + 291/12. Suppose -5*r + 16 = -4*b - f, -21 = -5*r - b. Solve r*n = 4*n + 3*l, 5*l = 5*n + 10 for n.
-3
Let g be 5 - 3/((-6)/(-4)). Suppose 2*a + g*a - 5 = 0. Suppose -y = l + 2*y - 9, 2*y = 0. Solve -c = -a, l*c - 4*c - 5 = -3*d for d.
0
Suppose 0 = -4*z, 5*o = o + 4*z + 8. Solve 9 = -o*u - 5*k + 33, 5*k - 14 = 3*u for u.
2
Suppose -3*m = -3 - 6. Suppose 0 = x - 0 - 13. Let j be (3 - x)/((-1)/2). Solve -2*o - c - m = 4, -5*c = -5*o + j for o.
-1
Suppose -4*m + 4 = -4*p, 0 = -4*m - 3*p + 2*p - 6. Let h be 2*(m - (-5)/2). Suppose -4*z + 0*z = -4. Solve -3*x = y + 5, -3*x + 2 = -h*y - z for y.
-2
Let u(w) = w**3 - 3*w**2 + w - 4. Let r be u(4). Solve 0 = 4*l - 0*l + r, -l = 5*j - 21 for j.
5
Suppose -5 = 5*l + 4*j, -2*l - l = -2*j - 19. Let p be -5 + 4 - (1 + 1). Let r be (-3)/2*2/p. Solve s + l = -b - r, 0 = 3*s + 12 for b.
0
Let x = 8 + -2. Suppose -x + 2 = -4*q, -v + 7 = 4*q. Solve v*h + 3 = 0, 0 = -4*g + g + 5*h + 11 for g.
2
Let l(i) = i + 4. Let a be l(-6). Let z be 1/(a/(-52*1)). Solve x - z = 5*t, -4*x + 14 = -3*t + t for t.
-5
Let b(m) = m**2 - 30*m - 26. Let f be b(31). Solve -f*j = -3*v + 17, 0*v + 8 = v - 4*j for v.
4
Let v be (0/(-3))/(1 + -4). Let y = 5 + v. Suppose 0 = o - y*o + 12. Solve n = -o*l + 11, -3*n + 5 = -2*n for l.
2
Let p be (1 + -3)*2 + 7. Solve -3*i + p*w - 5 = 4*w, -11 = i - 2*w for i.
-3
Let r be (-2)/6 - 14/(-6). Suppose 3*t - 1 - r = 0. Suppose 4*j = 20 - 0. Solve l + t = i, 0 = 4*l - j*i - 0*i for l.
-5
Let q be 0 - -10 - (2 + -1). Let b = 13 - q. Let w(z) = -z**3 + 5*z**2 - 3*z - 2. Let x be w(4). Solve -x*v - 3 = i, -5 = i + b*i for v.
-1
Suppose -6*q = -2*q - 36. Solve 5*f = 4*w + 3, 0*f = f - 4*w + q for f.
3
Let s be 2/4*(48 - 10). Solve 2*x = -0*x - 2*c - 2, 0 = -x + 4*c + s for x.
3
Suppose 0 = 3*x + x - 8. Suppose -x*q = -4*q