 b - 12, l*z = -4*b for z.
3
Suppose -g + 144 = 8*g. Suppose 6*z - g = 14. Solve 4*b + 16 = 2*u, -z*u + 13 = -2*b - 3 for b.
-3
Suppose a - 4*n = -37, -2*n = -5*a - 135 + 4. Let o = a - -30. Solve -5*m - 2*p = -10, -p - 20 = -o*p for m.
0
Let d be (4 + -9)*(-8)/10. Solve -2*y + 3 = -5*p, 3*p = -y - d*y - 8 for p.
-1
Let i = -27 - -27. Solve 0 = 5*m - 2*t - 1, 5*m - 5*t + i*t = -5 for m.
1
Let x(i) = i - 7. Let q be x(12). Suppose q*k - 51 = 44. Solve 2*b - k = -2*b - 3*m, 0 = -4*b - 5*m + 29 for b.
1
Let u be (165/110)/((6/32)/1). Solve 4*f - 3 = -2*l - f, -4*f = -l + u for l.
4
Suppose 4*n - 16 = -0*n. Suppose -z - n*m = -21, 2*z - 3*m + 3 = -10. Suppose 4*u - 8 = 0, -4*l + 13 = -4*u + 1. Solve 0 = -l*t, t = -i + z - 2 for i.
-1
Suppose 4*q - 2*n - 2*n - 100 = 0, 3*q - 99 = -5*n. Suppose 0*o = -5*o. Solve -5*i - 2*y = -8 - 20, 4*i + 3*y - q = o for i.
4
Let s(m) = 23*m + 372. Let n be s(-16). Solve -6 = n*d - 2*d - 4*o, -2*d - 2*o = -12 for d.
3
Let b(r) = -r**2 - 19*r + 11. Let n be b(-16). Let h = n + -34. Solve -2*v - 19 = -5*o + 2, -5*o = -h for v.
2
Let w = 160 + -160. Solve 5*l - 2*s - 30 = 0, -l - s + 0 - 1 = w for l.
4
Suppose 0 = 3*y - 6, t - 7 = -4*y + 5. Let d(w) = -w**3 + 10*w**2 + 6. Let b be d(6). Let g = 165 - b. Solve g = -5*n, t*l = l - n for l.
1
Suppose 3*l - 2 - 1 = 0. Let f = 10 - l. Suppose -1 = 2*o - f. Solve 4*d - 4*h = o, d + 0*h - 1 = 5*h for d.
1
Suppose 4*t + 3*f - 327 = 0, t - 3*f - 47 - 16 = 0. Let k = t + -76. Solve -4*g - 18 = -2*a, 2 = -a - k*g - 5 for a.
1
Let b be 1 + (-6*2/(-4) - -119). Let o = b + -123. Solve o = 2*c - 4*t - 10, c = 5*t + 13 + 4 for c.
-3
Let q(p) = p**3 + 5*p**2 - 7*p - 18. Let h be q(-6). Let x be -6*((-40)/h - 4). Solve -4*l + 3*s - 31 = 0, 3 = -x*l + 2*l - s for l.
-4
Let c = -8 - -42. Let k = c + -47. Let w = -8 - k. Solve -5*q + 27 = 5*o + 7, -w*o = -20 for q.
0
Suppose -2*o = p + 2*p - 11, -5*o = -p + 15. Let w = 9 + -1. Solve 5*a - p*n = -20, a - w + 3 = -2*n for a.
-1
Let w(a) = 2*a**2 - a + 1. Let i be w(1). Let n = i - 2. Suppose 31 = o - 4*y, n = -o - o + 2*y + 44. Solve -5*j = -6 - o, 2*b = 5*j - 29 for b.
-2
Let s be -1*14/21 - (-184)/24. Solve -2*k = -2*x - 8, -19 = 4*k - 4*x + s*x for k.
-1
Let y be 1215/972 + (-15)/(-4). Solve y*p = 2*o, -4*o + 3*p = 7*p + 28 for o.
-5
Let g be 2 + 11 - 0*1/(-2). Suppose -4*y + 8*y = 48. Suppose 2*d + 2*d = y. Solve -3*p - 4*n - g = 0, 2*p = 7*p - d*n - 17 for p.
1
Suppose 2*y = -3*d + 9, -4*y + 3*d + 6 = -y. Solve -v + y*t = -15, 0*t = -v + t + 5 for v.
0
Let x = -272 - -276. Let g be ((-5)/(-4))/((-2)/8). Let k be 1/g + (-26)/(-5). Solve k*h + w - 16 = 0, h - 5*h - x = 5*w for h.
4
Let o(a) = -a**3 - 15*a**2 + 17*a + 19. Let r be o(-16). Suppose -r*w = q - 5, -1 = -w - 2*q - 6. Solve 3*t - 4*c = -w, 5*c + 0*c = t + 1 for t.
-1
Let m(v) = 2*v**2 - 7*v + 1. Let g be m(5). Suppose 0*c = -2*d - 2*c - g, -3*d + c = 20. Let p = 10 + d. Solve 0 = 3*z + 2*j - p, 5*z + 3*j + 2*j - 5 = 0 for z.
1
Suppose 0 = 6*h - 2*h - 16. Let i = 15 - 11. Let t be (i/(-1))/(4/(-2)). Solve n + h = 3*d, 4*d + 3*n - 10 = t*d for d.
2
Let p(u) = u**3 + 4*u**2 - 22*u - 1. Let n be p(-7). Suppose g - n = -3. Solve 6 = i + w - g, 22 = 3*i + 2*w for i.
4
Let c be (5 + -2)/((-3)/9). Let x be ((-8)/3 - 0)/(6/c). Solve 4*p + 0 = -4*k + x, 0 = -p - 5*k + 17 for p.
-3
Let b(c) = 12 - 3*c**3 + 12*c**2 + 10*c - 2*c**2 + 4*c**3. Let v be b(-9). Solve 5*f + r - 16 = -v*r, -1 = -f - 3*r for f.
4
Suppose 0 = 30*c - 11*c - 38. Solve 2*y + 16 = c*u, 0 = 2*u + u - y - 16 for u.
4
Let y(p) = p - 1. Let q be y(3). Suppose 0*s - v = 5*s - 698, 0 = s + 2*v - 136. Let n = s - 136. Solve q*r = w - 10, n*w + 6*r = r - 25 for w.
0
Suppose 8 + 7 = 3*b. Let s be (-6)/9 - (-175)/15. Suppose -c - 2 = -s. Solve 2*n - 5 = 3*q, 0 = -b*q + 4*q - 2*n + c for q.
1
Suppose 7*n + 16 - 16 = 0. Solve -4*f - 4*k - 4 = n, 5*k - 7 = 4*f - 5*f for f.
-3
Let k = -2 - -2. Suppose 3*c - 12 - 27 = k. Let m be 3/(-4) + 158/8 + -9. Solve -4*z = f - c, m = -7*f + 2*f + 5*z for f.
1
Let m = -450 + 452. Solve -z + m = 4*g + 4*z, -5*z = 3*g + 1 for g.
3
Let m = -17 - -17. Suppose 0 = -m*o + 5*o - 25. Solve 5*w - 37 = 3*b, o*w - 7 = -5*b - 2 for w.
5
Let c = -891 + 895. Solve 0 = -4*g + 3*t + t, c*g - 3*t - 4 = 0 for g.
4
Let h be (6/2)/((-8)/(-12 + -12)). Solve 0 = 5*j, -h = 3*p - 6*p - 4*j for p.
3
Let u(y) = 22*y**2 + 3*y + 1. Let k be u(-1). Suppose 3*w - 8*w - k = 0, 2*h - 5*w = 30. Solve h*a + 3*r - 5 = 0, 5*a + 0*r = 3*r - 25 for a.
-2
Suppose 0*a = a. Let f be (2 - 4)/(10/(-25)) - 3. Solve f*w + s + 2*s - 1 = a, -s + 7 = -w for w.
-4
Suppose o = 2, 2*f - o = 5*f - 2. Solve 3*l = 5*y, -6 + f = -2*y for l.
5
Let c(w) = 2*w + 52. Let j be c(-25). Solve -3*s + 0*u = 4*u + 5, -u - 5 = j*s for s.
-3
Let b(q) be the first derivative of 4 + 1/2*q**2 + 4/3*q**3 - 4*q + 1/4*q**4. Let s be b(-3). Solve -3*d - 6 = 2*w, -s*d + d - 5*w = -11 for d.
-4
Let h(c) = -74*c + 298. Let n be h(4). Solve -5 = -4*q + 2*v - 3, 5*q + n*v = 16 for q.
2
Let y(t) = -t**3 + 8*t**2 - 5*t - 6. Let l be y(7). Suppose -6 = 6*a - l*a. Suppose 0*d - 84 = -4*d. Solve -h = 5*x - d, a*x = -2*x + 3*h + 37 for x.
5
Suppose -111*r = -a - 109*r + 23, 0 = a - 5*r - 20. Solve 6*d - 5 = d - 4*x, -4*d = -x - a for d.
5
Let y = 238 + -235. Solve 12 = -3*b + y*v, 1 = v - 1 for b.
-2
Let c = -4 + 6. Suppose 0 = 3*j - c*j - 28. Solve -4*y + 8 = -2*d + j, 4*y + 20 = 3*d for d.
0
Let s(u) = -u**2 - 7*u - 10. Let z be s(-5). Suppose z + 2 = y. Solve 0 = -3*i + g + 4 - 16, 0 = 3*i - y*g + 9 for i.
-5
Let j(v) = -v**2 + 6*v - 5. Let n be j(5). Suppose 18 = -3*o - h + 4*h, -3*h = 2*o - 3. Let k be n*o/(-12) + 3. Solve 2*w = -2*d - k*w + 23, 0 = -3*w + 9 for d.
4
Let h be (-4)/(-2) + (-11)/(-44)*-8. Solve 3*s + 18 = -3*t, -2*t - 2 = -3*s - h for t.
-4
Let w(k) = -33*k - 35*k + 65*k - 13. Let h be w(-6). Solve c = -3*o - o + 1, -h*o + 8 = -c for o.
1
Let l = -318 + 346. Solve -5*m + 5*r + l = -2, -5*m = 5*r - 10 for m.
4
Let l = -2300 + 2322. Solve -g - l = 4*n, -4*g - n - 1 = 12 for g.
-2
Let z = 36 + -36. Suppose -17 = -c + 3*x, -x + 21 = 5*c - z*x. Solve -c*v + 11 = -d, 5*v + 2 = -d + 21 for v.
3
Suppose 10*d - 15 = 5*d. Let g(i) = i**2 - i - 2. Let f be g(d). Solve 5*h - f*a = h, a = -2*h for h.
0
Let c be (1/3)/(2/(-4))*69. Let j = c - -48. Solve j - 8 = 3*b, 9 = x - 4*b for x.
1
Let j be (20/35 + (-262)/(-7))/2. Let b be (-3)/(-4)*(-15 + j). Solve 2*x + 4*r = 11 + 5, 12 = b*r for x.
0
Let h(v) = -3*v**3 - 4*v**2 - 4*v + 1. Let f be h(-3). Suppose 0 = 5*w + f - 68. Solve 2*y - 2*u = -w*y + 30, -5*u = -3*y + 40 for y.
5
Suppose 0 = -7*p + 2*p. Suppose p = -6*o + 5*o + 3. Let s be (18/15)/((-12)/(-40)). Solve k - 23 = -o*l - s*k, 5*l + 3*k = 17 for l.
1
Let l be 1/((-2)/(-24)*4). Solve 0 = l*r - c + 11, 5*r = -c + 1 - 6 for r.
-2
Let c = 1267 - 1262. Solve f + 16 = -3*a - a, c*a - 2*f = -33 for a.
-5
Let f = -10 - -14. Let b(u) = -u**3 + 2*u**2 + 9*u + 1. Let a be b(f). Let h = 8 + 6. Solve -a*j + 0*j + 20 = 0, -h = -3*g - 5*j for g.
-2
Let a(h) = h**3 - 6*h**2 + 3*h + 10. Let g be a(5). Solve 5*k - 5*b = g, 5 + 2 = -4*k - 3*b for k.
-1
Suppose -2*z = 2, -2*d - 2*z = -0*z - 6. Solve 3*j = -4*k - 0 + d, -4*k = 2*j for k.
-2
Suppose 0 = n + 13*q - 12*q - 1, 2*n - q = 11. Solve -i + 10 = 4*x, n*x + 9*i - 18 = 4*i for x.
2
Let i = 42 - 42. Let s be i/(3 - (3 + 2)). Solve 14 = -2*p + 2*q, -3*q = 2*p - 1 - s for p.
-4
Let u be (-275)/(-5) + (-6)/3 - -2. Let l be (1 - 7)*(5 - u/10). Solve -1 = l*f + 2*a, -4*a = f + a - 17 for f.
-3
Let k(g) = -9 - 2 - 2*g - 7 + 0. Let i be k(-9). Suppose -2*n + 0*h = -5*h - 5, -3*n - 3*h + 39 = 0. Solve -t + 5 = i, -5*m + 0*t + n = t for m.
1
Suppose -14*t + 248 + 172 = 0. Solve -4*g - g = -5*z - t, -g + 18 = -4*z for z.
-4
Let v(o) = -8*o**2 - 33*o - 4. Let j be v(-4). Solve -l + 5 = 5*p + 26, j = l + 1 for p.
-4
Let o be (-10 - (-10)/(-2 + -3))*-1. Solve -5*j = 2*y + o, 4 = 2*y + 2*j - j for y.
4
Let o(x) = x**3 + 4*x**2 + 2*x + 5. Let u be o(-4). Let d(g) = g**2 + 6*g + 3. Let j be d(-6). Let y = u + j. Solve 3*b - 2*t = -0 - 6, 4*b - t + 8 = y for b.
-2
Let w = 57 + -52. Suppose -2*p - 6 = -3*r, 5*r + 10 + 5 = -w*p. Solve m - 7*x + 4*x - 14 = r, -3*x - 18 = -3*m for m.
2
Let v = 31 + -43. Let s = 14 + v. Solve y = s*t - 3, 7 = 3*t 