 - 2, -4*m + a*t - 24 = 0 for m.
-2
Suppose 9*z - 8*z + 50 = 0. Let i = 54 + z. Solve -f = -0*f + i*r - 3, -5*r = -2*f - 7 for f.
-1
Suppose 0*i + 6 = 2*i. Let b = -188 + 190. Solve b*k = -5*m - 23, 0*k + 3 = i*k for m.
-5
Let j = -11 - -56. Solve -4*m + j = 5*o, 5*m - 20 = 4*o - 3*o for o.
5
Suppose 2*h + 4 = -2. Let o be h/(-12)*-1*-12. Suppose 0*v + 15 = o*v. Solve u + b + 4 = -u, 10 = -v*b for u.
-1
Suppose 10 = 41*d - 40*d. Suppose 0 = -2*f + 4*f - d. Solve 2*b = -f*p + 7*b + 25, b = -4*p + 5 for p.
2
Let j be (3/9)/((-3)/(-27)). Let x be -3 + 94 + (j - 4). Suppose x = 5*n + 2*p, -3*n + 4*p + 33 + 21 = 0. Solve -21 = -q + 4*d, -3*d - n = -6 for q.
5
Suppose 5*j - 8*j + 7*j = 0. Solve j*z - 1 = z, -2*h - 2 = -4*z for h.
-3
Let m = -14 - -5. Let c = m + 12. Suppose -12 = -c*l + 6. Solve -2*x = -4*y, y = -5*x + l*y for x.
0
Let c be (-14 - -22) + 3/1. Solve 0 = -m - 6*a + c*a + 27, 23 = 4*m - 3*a for m.
2
Suppose 166*s = 171*s - 25. Solve s*l + 15 = -2*d, 2*d + 13 - 43 = 4*l for l.
-5
Let a(c) be the third derivative of c**6/120 - c**5/10 + 5*c**4/24 + c**3/3 - 14*c**2. Let b be a(5). Solve 2*l = -2*n, 0 = 4*l + 3*n + b*n + 2 for l.
2
Let g = -761 + 764. Let b be 21/4 - 2/8. Suppose -15 = -2*o + 5*u, -2*o + 2*u = 5*u + 9. Solve -b*y + 4*n - 35 = o, -2*y + g*n - 31 = -2*n for y.
-3
Let c be ((-3)/(-6))/(5/10). Let o(m) = 2*m + 1. Let i be o(c). Solve 5*j - 3*n = 8, i*j + 3 = 4*j - 2*n for j.
1
Let h(w) = -2*w**2 - 9*w + 5. Suppose 2*l = -5 - 5. Let y be h(l). Solve i + 3 = t, y = -4*i - 0*i - t - 2 for i.
-1
Let j = 469 + -466. Solve 2 = 2*c - 3*o + 4, 2 = -j*c + 4*o for c.
2
Let j be ((-6)/(-3))/(-2) - 7. Let w = j + 15. Suppose 4*y = w + 13. Solve 3*d + 25 = -0*m + 2*m, y*d + 3*m = -10 for d.
-5
Let l(u) = u**2 + 21*u + 4. Let a be l(-21). Solve p = -a*n - 0*n - 6, -3*n + 2*p = 10 for n.
-2
Let t = 25 + -13. Let i be (-16)/(-6)*t/8. Suppose -3*r + 7*r + 96 = i*b, -b = 4*r - 14. Solve -5*c = -3*m + b, c + 0*m + 6 = -m for c.
-5
Suppose -3 = -4*n + 13. Let y be (-224)/(-21) - n/6. Let u = 12 - y. Solve 10 = 4*h - u*z, -3*h - 5*z - 25 = 2*h for h.
0
Let d = 49 + -39. Suppose 7*f - d*f = -39. Solve 1 - f = -2*o + 4*n, -4*o = -3*n - 14 for o.
2
Let z = 60 - 51. Suppose -10*h = -91 - z. Solve -3*f - 14 = -2*y, 2*f - 5*f = 4*y - h for f.
-2
Let p(i) = -i**3 + 14*i**2 + 18*i - 34. Let o = 61 + -46. Let s be p(o). Solve -n = 3*z - 0*z - 6, 2*z - s = -3*n for z.
1
Let x be 316/26 - 4/26. Let d be 3/(-5) + x/(-30). Let s = d + 4. Solve 3*b + 4*i = b - 2, -4*b - i + s = 0 for b.
1
Suppose -3*f = -l - 0*f - 9, 4*f = 16. Suppose 3*p = 2*p + 3. Let o be 4134/312 + (0 - 1/4). Solve 4*h + 7 = p*j, 5*h - o = -l*j + 12 for j.
5
Suppose p = -2*n + 2*p - 1, 0 = -4*p + 4. Solve 3*y - 6 + 3 = n, 2*f = 3*y - 1 for f.
1
Let c(f) = f**3 + 5*f**2 + f - 1. Let x be c(-3). Let n be 16/3 - (-3)/(-18)*2. Solve 5*h + 0 = n*q + 20, 2*h = -4*q + x for q.
1
Let c(g) = -2 - 4*g + 0*g**2 + g**2 - 8 + 9. Suppose 5*y = l + 21, -y + 2*l + 2 = y. Let m be c(y). Solve 5*f + 3*b - 21 = 0, -5*b + 10 + 12 = m*f for f.
3
Let i = -4831 - -4837. Let u(h) = h**3 + h + 2. Let k be u(0). Suppose -k*c = 6, -3*z - 2*c - 9 = 3*c. Solve 2*b - z*p = -i*p + 16, 2*b + 11 = 5*p for b.
2
Let z = -21 - -23. Suppose -g = -5*x + 20, -16 = x + z*x + 5*g. Suppose 2*y + x*y = 25. Solve 2*p + 24 = y*c + 4*p, -2*c - 5*p = -18 for c.
4
Let b(d) = 8*d - 56. Let i be b(7). Solve -3*j - w + 4*w - 3 = i, -5*j = -2*w + 11 for j.
-3
Let k = -3 + 5. Suppose 2*s = -4*q + 40, 2*q - 3*s = -0*q + 12. Suppose 0 = -5*z + 2*b + 16 + 46, 3*b = -z + q. Solve -k*h + 9 = -3*o, z = h - 5*o - 3 for h.
0
Let o be (-58)/87 + 1 + 14/3. Let v be 2/8 + 30/8. Solve i - 4*i + v = -o*t, t = i for i.
-2
Suppose -2*c = -8 - 2. Suppose 4 = c*j - 3*r, 3*j - r = 1 + 3. Solve 4*o + 11 = -l, -j*o + 3*l = l + 8 for o.
-3
Let x = -464 + 470. Solve -4 = x*p - 4*p, -5*j - 9 = -3*p for j.
-3
Let a be (-9)/(-4) - 7/28. Suppose 0 = -a*l - 0*l + 4. Solve 4 + 11 = -5*h, -3*r - l*h - 12 = 0 for r.
-2
Let n = -5 - -1. Let m(b) = -b. Let p be m(n). Suppose -g - 78 = -p*g. Solve -2*h = -4*i + g, 4*i - 1 = -2*h + 13 for i.
5
Let f = -93 + 96. Suppose 7 = f*d - 2*z, 4*z = -d + 5*d - 8. Solve 2 = 5*i - 3*o - o, 4*o = -d*i + 14 for i.
2
Let i be (-2 + 0)*-2 + -2. Let t = -43 + 52. Let q be 9/12*84/t. Solve -4*v - 4*d + 8 = 0, -2*v = -q*v + i*d + 3 for v.
1
Suppose 3*p + 4*q + 12 = -2, p = q + 7. Let w(v) = p*v**2 + 4*v**2 - v**2. Let l be w(1). Solve l*d = 3*r - 23, 0*r = 2*r + d + 2 for r.
1
Let g(x) = -2*x**3 - 56*x**2. Let p be g(-28). Solve r - 15 = -4*v, r - 19 = -5*v - p*r for v.
4
Let o(w) = 2*w**3 - 71*w**2 + 31*w + 142. Let s be o(35). Solve m + 4*m - s*d - 5 = 0, -2*d = 4*m + 14 for m.
-1
Let a = -4 - -4. Suppose -5*p + 23 = -0*p - k, a = -p - k + 1. Solve 7 = 4*f + 3*z, 1 = -4*f - p*z + 5 for f.
4
Suppose -65 = -5*o - 20. Let g be 9/(-6)*(-42)/o. Suppose 0 = -5*i + 4*i. Solve q = -4*d - 7, q - g = 3*d - i*d for d.
-2
Suppose 0 = 3*t - 4*b - 61, t - 3*t + 42 = -3*b. Suppose 0 = -17*o + t*o + 6. Solve 0 = -3*l + o*x + 12, 2*l - 2*x = 3*l + 8 for l.
0
Let d be -5*(-3)/((-15)/4). Let p be (-7)/d - (-2)/8. Suppose -5*y - p*t - 10 = -0*y, -4*t - 20 = -5*y. Solve 13 = -3*g + u, 9 = -y*g - 2*g + u for g.
-4
Suppose 19*s - 5 = 24*s + 4*z, 2*s - 21 = 3*z. Solve 4*r + 10 + 20 = 2*j, 2*r - 5 = -s*j for r.
-5
Let h(s) = -s**3 + 3*s**2 + 4. Let g be h(3). Let o = 177 - 175. Solve o*z + 17 = 5*w + 1, -g*z - 22 = -5*w for w.
2
Suppose 0 = -2*f - 6*f + 160. Solve s = 0, f = 5*r + 2*s + s for r.
4
Let f = 40 + -32. Suppose -14 + 14 = f*c. Solve 0 = 2*j - 4*j - t - 5, c = -j - 5*t - 7 for j.
-2
Let n be 0/3*(-14 - 776/(-56)). Solve d - 5*m = 20, -9 = -3*d - 2*m - n*m for d.
5
Let u(r) = r**2 - 13*r - 22. Let l be u(15). Suppose -201*k = -203*k + 8. Solve -l = -k*o - 2*a, -a + 2 = o + a for o.
2
Let a(j) = -j**2 + 12*j - 17. Let s = -1 - -11. Let y be a(s). Solve r - 2*r - 16 = 3*g, -g + y*r = 2 for g.
-5
Let z be (3 - (-30)/(-12))/((-1)/(-162)). Let v be 2/9 + (-18)/z. Let p = 6 + 1. Solve -4*a + 2*s - 2 = v, 5 = -4*s - p for a.
-2
Let f(p) = -p**2 + 26*p - 117. Let z be f(6). Solve b = 2*m + m - 11, -2*m + z*b = -19 for m.
2
Suppose 68 = 3*a - 4*c, 13*c = 4*a + 18*c - 70. Solve 18*h = -3*t + 13*h - 23, -5*h = a for t.
-1
Let z(b) = -2*b + 18. Let k be z(9). Suppose 5*a + 25 = 5*h, -5*h + k*h - a = -55. Let w = h - 6. Solve -w*n + 28 = -3*o, n + 8 = 3*n for o.
-4
Let d = -42 - -28. Let a be d/(-8) + 9/36. Solve -4*v + 2*o + 15 - 3 = 0, -4 = a*o for v.
2
Suppose 0 = 28*k - 348 + 208. Solve k*f = 7*f - 8, -1 = -5*b + f for b.
1
Let k = -11 + 14. Suppose k*v + u - 13 = -4*u, -v - 4*u = -16. Let y be 2/v - 33/(-6). Solve 4*g + 4 = -r - 1, y*r = -2*g + 11 for g.
-2
Suppose 5*u - 9*f - 25 = -10*f, -4*u - 4*f = -36. Solve 0 = 2*z - 6, 0 = 4*q + z + 1 - u for q.
0
Suppose 4*n - 5 = s + 15, -2*n + s + 8 = 0. Suppose 0 = 3*d - n*d + 12. Solve d*b + y = -14, 2*b + 0*y - 2 = 4*y for b.
-3
Let i be 6/(-4) - (15/(-6) - 0). Let o be 50/(-20)*(i/(-1) - 1). Solve 0*m - 2*m - 23 = -o*f, m - 5*f = -24 for m.
1
Suppose 80 = 6*b - 2*b. Suppose -b = -u - u. Let f be ((-20)/(-16))/(2/8). Solve 2*a = 2*d, u*d + 4*a = f*d - 9 for d.
-1
Suppose 38*o - 57 = 95. Solve g = 2*i + 4 - 0, 2 = -i - o*g for i.
-2
Let s = 4 - 2. Let u(l) = l**3 + 14*l**2 + 3*l + 20. Let a be u(-12). Suppose -268 = h - a. Solve 4*f = -3*d + s + 26, 3*f + h*d = 28 for f.
4
Let v(w) = -w**3 + 6*w**2 - 7*w + 1. Let t be v(4). Solve 0 = 2*h, -t*u + 3*h = 5*h + 5 for u.
-1
Let z(f) = -17*f - 284. Let j be z(-17). Suppose 8 = 4*h - m, -4 = -4*h - 4*m + 4. Solve j*d + r = h*d - 15, 2*d + 2*r + 14 = 0 for d.
-4
Suppose 0 = -3*j + 5*g - 57, 2*j + 4*g + 57 = -j. Let k = j + 31. Solve 5*s + 3*q + k = 2*q, -4*s - 4*q = 0 for s.
-3
Let b = -57 - -19. Let z = -35 - b. Solve 4*u - z*x - 21 = 0, 2*u + 3*x + 6 = -x for u.
3
Suppose -b - b - 85 = -5*l, 4*l = 3*b + 75. Suppose 3*o - l = -6. Suppose q + 8 = o*q. Solve 29 = 3*v - q*h, 16 = -4*v + 3*h + 43 for v.
3
Let p(s) = 27 - 50 - 11*s + 28. Let f be p(-1). Suppose 5*a + 0 = 15. Solve 5*c = -g + 23, -c - c = -a*g - f for g.
-2
Let z(q) = q**3 + 5*q**2 - 14*q + 2. Let k be z(-7). Solve 3 = -h, 0 = 3*v - h + k*h - 12 for v.
5
Let f = 24 + -50. Suppose -b = 1, -6*g + g - 111 = b. Let