 5*i + f, -m = -3*m - 4*i - 10 for m.
5
Let v = 2 + 2. Suppose 4*r - u - 113 = -2*u, 5*u = -3*r + 89. Suppose 10*m - r - 22 = 0. Solve 6*w - 40 = 4*t + 2*w, 3*w = -v*t - m for t.
-5
Suppose 4*k = -5*o - 488, 2 = o + 3*k + 104. Let w be 2 + 6/(-5) - o/30. Suppose -18*f = -19*f + w. Solve x + 12 = f*i, -3*i - 4*x + 2 = -26 for i.
4
Let h(j) = -j**3 - 19*j**2 + 68*j + 49. Let q be h(-22). Suppose -4*p - 15 = -31. Solve p*g = -12, u + 23 = q*u - 5*g for u.
2
Let z = 50 - -150. Suppose -20*c + 16*c = z. Let w = 68 + c. Solve -n - w = 4*i, -3*i - 6 = n - 4*n for n.
-2
Let z = 102 + -82. Suppose 0 = -5*f + z, -3*t - f - 3*f + 25 = 0. Solve -t*h + 4 = y - 0*y, 5*y = -10 for h.
2
Suppose 0 = -92*m + 93*m + 15. Let c be (95/m - -6)*(-10 + -2). Solve 14 = -5*z - 7*i + c*i, 2*i + 1 = 5*z for z.
-1
Suppose 2176*z - 2184*z + 248 = 0. Solve -2*k = 2, -5*f + z*k = 26*k + 5 for f.
-2
Suppose 5*h - 2*f - 30 = 0, 25*f = -5*h + 26*f + 25. Solve 15 = -j + h*w + 9, -15 = -4*j + 3*w for j.
6
Let z(t) = 23*t + 230. Let l be z(-10). Suppose l = 3*m - 3*r, 0*m - 2*m = r - 6. Solve k = 4*k - m*d - 3, 5*d - 12 = k for k.
3
Let x = 3179 - 3176. Solve -7*h + 4*h - x*s + 6 = 0, -4*s + 8 = -4*h for h.
0
Suppose 2*s + 2*w - 142 = -154, 0 = 3*s + 2*w + 12. Solve 27*b - 26*b + 4*k = 2, 3*k = s for b.
2
Suppose -3*x - 1105 = -4*u - 863, -2*u = -x - 124. Solve -u*w - i - 3 = -66*w, -2*i = 4*w + 18 for w.
-2
Let l be (-4)/6 + (-10)/(-6). Suppose 3*h = 4*h + w - 10, 5*h = 4*w - 4. Solve -h*q + 13 = 3*t, -q + 5*t - 15 + l = 0 for q.
1
Let x be 140 - ((-15)/10)/(2/4). Let z = x + -143. Solve -3*c = 5*f - 0*f - 10, z = -c - 2*f + 3 for c.
5
Let u(m) = -m**3 + 11*m**2 + 427*m - 72. Let l be u(-16). Solve -4*a + 41 = 5*q, -3*q + 31 = 2*a + l for q.
5
Let b = 48 + -28. Suppose 17*u - 288 = 9*u. Let a = u - b. Solve 5*k = 4*y + 17, -4*k + 4*y + a = 2*y for k.
5
Suppose 14*o - 68 - 2 = 0. Solve o*c - 10 = -3*g + 1, -4*g + 5*c + 3 = 0 for g.
2
Let l = -603 + 371. Let b = l - -257. Solve 0 = y + 4*a + 20, 2*y + b = y - 5*a for y.
0
Let t(q) = -q - q - 8*q + 7 - q**2 - 29. Let y be t(-4). Solve -10 = y*z + 3*f, 4*z = 3*f - 4*f for z.
1
Let y = -9952 + 9958. Solve 2*n - 2*g = y, -n = 4*g - 4 + 1 for n.
3
Let c = -54 - -54. Suppose -3*n + 46 - 34 = c. Solve 3*j - 31 = -n*a, 5*j - 41 = -5*a + a for a.
4
Suppose -4*n + z - 3*z + 706 = 0, 5*n + 5*z = 885. Suppose -184 = -2*y - n. Solve 5*g = -y*o, 2*o = 5*g - 0*o for g.
0
Let p(u) = -11*u**2 - 4*u + 2. Let o be p(-2). Let n = o - -36. Let m be 26/22 + n + (-4)/22. Solve m*f - 3*d = -6*d - 6, 0 = 2*f + d + 6 for f.
-4
Let w(l) be the first derivative of l**2 + 23*l - 9. Let h be w(-10). Suppose -3*a = 6, 3*o + 4*a - 8*a = 17. Solve -i + v + h = 0, -i + o*i + v = 6 for i.
3
Let n(j) = 46*j - 6. Let v be n(1). Let a = v - 38. Solve 2*g = 3*i - a*i + 1, 5 = 4*g - i for g.
2
Suppose -84 = 10*n - 94. Suppose 3*d + 1 = 5*h - 18, 0 = -4*h - 4*d - 4. Let s = n + h. Solve -2*c - y - 10 = 0, y + y = s*c + 15 for c.
-5
Suppose -7*n = -3*n. Let r = 42690 + -42682. Solve 4*c - 2*q + r = 22, n = -c + 5*q - 10 for c.
5
Suppose 2*i + 12 = 5*s, -37*i = -s - 42*i - 30. Solve -j - 3 = 4*h, s = -21*j + 23*j + 6 for h.
0
Let g(o) = 4*o**2 - 5*o - 3. Let a be g(2). Solve 0 = -a*v - 4*h - 20, 4*v + 7*h = 3*h - 24 for v.
-4
Suppose 0*r = r - 1, -r + 19 = 3*c. Let a be c - (1 + 0) - -14. Suppose 0 = -a*i + 21*i - 6. Solve 2*y + 4 = i*h + 3*y, 5*y - 3 = 2*h for h.
1
Let a(o) = o + 26. Suppose 4*u + 15 = -89. Let w be a(u). Solve w = g + 5*n + 13, 4*n = -g + n - 9 for g.
-3
Let v(c) = -2*c**2 - 11*c - 3. Let i = -3 - 2. Let s be v(i). Suppose m - 5*l + 6 = -16, l = s*m - 1. Solve 3*p + 5*q = -5, -4*p + 3 = -m*p + 4*q for p.
-5
Let n be (-121)/(-33) + 2/12*2. Suppose 35*u - n = 34*u. Solve 2*i = -2*s - 6, -13 + u = 2*i + 3*s for i.
0
Let x = -3074 + 3092. Solve -x*c + 3*t = -21*c + 24, c - 2*t + 1 = 0 for c.
5
Suppose -5*q = 4*w - 189, q = 4*w - 0*w + 57. Let a be (-20)/(-150)*3*80. Let p = q - a. Solve 4*o + p = -3*l + 2, 5*o + 15 = -5*l for o.
2
Let f = 38015 + -37720. Solve -5*r = -10, -4*r + f = 3*z + 272 for z.
5
Let h be -2 - 2/(-2)*6. Suppose -5*b - 2*y = 1031 - 2993, -4*b - 3*y + 1564 = 0. Suppose b*q - 25 = 389*q. Solve 0 = l - q*u + 11, -l - h*u + 20 = l for l.
4
Suppose -41 - 19 = -12*q. Solve 2*v + 4*c + 2 + 8 = 0, -c + 3 = -q*v for v.
-1
Suppose 4025 - 215 = 254*j. Solve -j*b + 13*b = x + 6, -2*b = 4*x - 6 for b.
-5
Suppose 44 = 5*p - 36. Suppose p*w - 276 = 4*w. Let y = -1 + 3. Solve 0 = -y*n + 5*v + w, -19 = -4*n + v for n.
4
Suppose 16*s = 26 - 10. Let i be s - -2 - (9 + -26). Solve 0*o + 5*v - i = 5*o, 0 = 2*v + 2 for o.
-5
Suppose -409 = -3*s - 289. Suppose s*y = -9 + 129. Solve 0 = -3*h + 3*m - 19 - 8, -3*h - 3 = y*m for h.
-5
Suppose -b = -5*s - 131, -4*s + b + 129 = -9*s. Suppose 41*a - 36*a = 130. Let w = a + s. Solve 2*n = 5*h + 3*n + 13, w = -3*h - 2*n - 12 for h.
-2
Let v(x) = -x**3 - 35*x**2 - 33*x + 47. Let t be v(-34). Suppose t*n + 9*n - 66 = 0. Solve -4*j - 3 = c, 2*c - 6*c + 7 = -n*j for c.
1
Suppose 2*t - 6*t = -7*t. Suppose 4*r - a - 76 = t, 2*r - 67 = -5*a - 7. Solve 0 = 3*l + 3*w + 43 - 16, r = -5*w for l.
-5
Let t(x) = x**3 - 16*x**2 + 13*x + 40. Let o be t(15). Suppose -3376 + 3390 = 7*f. Solve 0 = u - 0*q + 3*q - f, -u = -5*q - o for u.
5
Let q(n) = 45*n**2 - 20*n - 20. Let c be q(-1). Let d be (-9)/c + -2*(-114)/15. Solve -10 = 2*u + 4*v, -3*u + d = 2*u + 2*v for u.
5
Let c(t) = 8*t - 31. Let j be c(5). Let s(y) = -y + 8. Let l be s(8). Solve -p - w - j = -3*p, l = 3*w + 9 for p.
3
Let s be (-12 + (-369)/(-27))*3. Solve 2*n = -z - 2, -z + 2*n + s + 1 = 0 for z.
2
Let a = -35 + 86. Suppose 155 = 2*k + a. Let n = k + -47. Solve -5*c - n*v + 4 = -11, 0 = -2*c + 2*v + 2 for c.
2
Let t(v) = -1 - 17 + 0 - 5 - 14*v. Let d be t(-2). Solve -5*b + 25 = -d*o, -b = -2*o - 3*o - 21 for b.
1
Let l = 4775 - 4775. Solve 10 = -5*z - 3*u, 5*u - 25 = -l*u for z.
-5
Let x(c) = -c**3 + 18*c**2 - 10*c. Let r be x(16). Suppose -r = 5*f + 3*f. Let i = 46 + f. Solve i*z - 6 = l, z + 2*l = -z - 6 for z.
1
Suppose 7*z = -24*z + 62. Solve 5*k = 3*f + 19, -k = -z*f + 12 - 13 for f.
2
Let f be 1 + ((-14)/(-2))/7 + 3. Let a = -7 - -7. Suppose a = -11*w + 16*w. Solve -2*p = -3*p - y + 3, -f*y = w for p.
3
Suppose 5*a + 65 = -2*g + 91, 0 = -2*a - 12. Solve -g*z + 2 = -26*z, -4*v = z + 7 for v.
-2
Let b = 45 + -49. Let z be b/14 - (-1 - (-54)/(-42)). Let g be 4 + (3 - z) + -1. Solve -5*l + g*j - 6 = 5*j, -5*l - 3*j = 8 for l.
-1
Let p = 9168 + -9165. Solve 5*c - 25 = -3*v - 0*v, -c - p*v + 17 = 0 for c.
2
Suppose -4*g + 77*u - 74*u + 7 = 0, -19 = -4*g - u. Solve g*w - 18 = 2*l, -2*l - 27 = -5*w + 2*l for w.
3
Let t(z) = -z + 4*z - 4*z + 1. Let c(p) = 12*p - 11. Let s(w) = 2*c(w) + 18*t(w). Let k be s(1). Solve 22 = 4*f + 3*n, -4*n + n - 2 = -k*f for f.
4
Let t(a) = -20*a - 119. Let r be t(-10). Suppose 3*x = -3*o + r, -4*x + 100 = -5*o + 7*o. Solve 0 = -j - 2*f - 3 + 2, 4*j = f + x for j.
5
Let z(d) = -3576 + 3571 + d**3 - 13*d**2 - 5*d + 29*d. Let t be z(11). Suppose -8 = -0*y - 2*y. Solve 2*g - 13 = -g + y*a, 4*a + t = -g for g.
-1
Suppose 3*x + 24 = 4*x + 5*n, 2*x + 4*n - 24 = 0. Solve z + 5 = 3*g + x, 0 = -z - 4*g - 1 for z.
-1
Let q be 1*0*4/16. Suppose -3*v - 1 + 7 = q. Suppose -20*a + 169 = -51. Solve 4*r - 34 = l - a, 0 = v*l + 6 for r.
5
Suppose 4*n = 5*a - 29, 4*a = 2*n - 7*n + 56. Suppose -a*h + 39 + 24 = 0. Solve -3 = -3*x, x - 4 = -4*o + h*o for o.
-1
Suppose 7*h - 2*u - 199 = 0, -8*u = -6*u - 4. Solve 2*c = 5*v - h, 4*v + c - 13 - 5 = 0 for v.
5
Suppose 3*y = 7*y. Suppose -8 = 4*w, 0*l - 5*w + 26 = -4*l. Let s be (-1)/l - 55/(-135)*12. Solve -s*h + 3*g + 13 = 0, 4*h + y*h - 13 = 5*g for h.
2
Let g(u) = 51*u - 156. Let y be g(18). Let k = -752 + y. Solve -2*o + o + k = -5*m, 4*o - 5*m = 25 for o.
5
Suppose 2*k = -2*b - 0*k - 112, 0 = 2*b - 4*k + 142. Let w = b + 93. Let v = -29 + w. Solve -5*r - c = -21, 6*r - v*r + c = 11 for r.
5
Let q(w) = -5*w + 68. Let d be q(44). Let z be d/(-20) + -2 + 12/(-20). Solve f - 1 = 0, 5*c - z*f - 9 = -39 for c.
-5
Suppose -464 = -17*r - 345. Solve w = -4*g + 4, -4*w = r*g - 9*g - 16 for w.
4
Let n(b) = -1 + 5*b**2 - 4*b**3 - 4*b**2 + 2*b**3 + 0. Let i be n(-1). Solve 5*c = -2*p - i*p, 0 = -2*p - 4*c for p.
0
Let c(g) =