 4, -5*k + 2*m = -14. Suppose 4*z = 3*n - 10, -47 + 49 = -k*z. Solve -n*a = 4*w - 6*a + 12, 11 = 3*w + 2*a for w.
1
Let c = -3812 + 3814. Suppose -20 = -5*q - 0*q. Solve q*u + 2*b = 30, c*b + 20 = 2*u + 4*b for u.
5
Suppose 3*j - 5*j - 17 = 5*o, -3*j - 3 = 0. Let u be 2 + (o - -5) + -38. Let v be (-6)/15 + u/(-10). Solve -b - v*f + 4 + 1 = 0, 5*f = 5 for b.
2
Let n be 188/8 - (-39)/26. Solve -5*j + 2*f + f = n, j + 17 = 3*f for j.
-2
Let i(t) = 2*t**2 + 25*t + 28. Let o be i(-12). Suppose -3*m + 9*g + 110 = 4*g, 0 = -4*g - o. Solve n + 17 = -3*d - 0*d, 4*d + 5*n + m = 0 for d.
-5
Let a = 46 + -69. Let u = a + 21. Let y be (-15)/u*10/15. Solve 0*l - 24 = y*l + 2*o, o = -2 for l.
-4
Let w be (30/45)/(1/21). Let z be 11/(77/2) - (-38)/w. Let d = -6 + 9. Solve 2*r = z*a + 3, -d*a + r = a + 9 for a.
-3
Let c = 30 + -28. Let n be (21/(-6) + c)*380/(-6). Let v be 0 + 2/7 - n/(-35). Solve -3*y + v*g = -6*y - 9, 3*g - 6 = 0 for y.
-5
Suppose -986 = -9*v - 968. Solve -26*y - 3*n = -23*y, y + v*n + 5 = 0 for y.
5
Let j be (-27)/108 - 26/(-8). Let s = -11 + 3. Let g be (2 - 16)*s/16. Solve -b = -3*k + 11 + 8, -g = k + j*b for k.
5
Suppose 120 = -0*y + 32*y - 8*y. Solve 2*r - 13 = -h, y*r - 9*r = 5*h - 35 for h.
3
Let i = -113 + 194. Let t = i + -53. Let x = -23 + t. Solve x*c - 4*j - 20 = 0, 2*j = 4*c - 18 + 2 for c.
4
Let i = -9329 - -9335. Solve 2*t = 4*m - i, 4*t - 9 = -2*m + 9 for t.
3
Suppose -17 = -w + 5*n, 0 = -22*w + 19*w - 3*n + 33. Suppose -6*g - 30 = -w*g. Solve -2*p - i = g, -2*p - 4*i - 20 = 3*p for p.
0
Suppose 3*r + 4 = 16. Let a(i) = -i**3 - 44*i**2 - 85*i - 41. Let f be a(-42). Solve -3*x = -0*y - 4*y + f, -10 = -y + r*x for y.
-2
Suppose -4*y = 4*m, -4*m + 2 - 17 = -y. Suppose 4*x + 17 = c, -1 + 6 = -2*c - 5*x. Let w = 63 + -58. Solve d + 3 + 17 = -y*p, -w*p - c*d = 50 for p.
-5
Let l = -2112 + 2116. Solve -2*o = -z + l, -25 = -3*o - 34 for z.
-2
Let u = 11 + -6. Suppose -32*l + 29*l - 6 = 0. Let m be (l + 0)/(14/(-35)). Solve 0 = u*n - d + 10, -5*n - 3*d + d = -m for n.
-1
Let w(a) = 2*a**2 + 36*a + 43. Let c be w(-17). Solve s + 19 = -5*l, 2*l - s = -c - 0 for l.
-4
Let s = 4 - -4. Let y be (0 - s)/(-2) - 0. Suppose -2*d - 2*f - 8 = 0, 2*d + y*f + 0*f = -16. Solve -4*u + 5 = -5*k, 4*u + d*k = 4*k for u.
-5
Let c(l) = l**3 - 17*l**2 - 29*l - 89. Let s be c(20). Let v = -527 + s. Solve -4*w - v*g + 28 = -8*w, g - 15 = 3*w for w.
-4
Let q(r) = 4*r - 14 + 2*r + 33 - 10. Let s be q(-1). Solve -2*b + 0*b + s*x + 15 = 0, 5*x + 24 = 3*b for b.
3
Let c be ((-3)/(1 - -5))/(6/(-168)). Suppose -7*g = -3*u - 4*g + 24, 4*u + 5*g - c = 0. Solve 10 = u*x - x, 12 = 2*l + 4*x for l.
2
Let h be (-2)/(((-4)/6)/(-2)). Let f = h + 10. Suppose -f*a + 2*a = -6. Solve 2*d + 5*m = 3*d + 8, a*m = -d + 8 for d.
2
Suppose -30*p = 26*p - 57*p. Solve p = 3*g + 3*u + 6, 6*g = g - u - 14 for g.
-3
Suppose -89*l - 30 + 297 = 0. Solve -l*b = -2*g + 20, 0*b = 5*g - 3*b - 32 for g.
4
Suppose 4*c + 0*j - 26 = 3*j, 5*c - 4*j = 33. Suppose -3*v - 19 - 8 = 0. Let z be ((-6)/(-2) + -8)*v. Solve -x = -l + 1, -7*x + 2*x + z = c*l for x.
4
Let o(u) = -6*u - 17. Let f be o(-3). Suppose 0 = 3*h - w - 3, w + 4 = 2*h + 1. Suppose -m + h*m + f = 0. Solve 0 - m = 4*r - a, 2*r + 2 = 2*a for r.
0
Let u be (-148 + -22)/(0 - 2). Suppose -30*q = -35*q + u. Solve 4*h - 13 = 5*d, 5*d + q = 4*d - 4*h for d.
-5
Suppose -c + 3*x = 14, -21 - 3 = c - 5*x. Let p be -1 + 19 + -3 + c. Suppose -p*v + 11*v + 10 = 0. Solve 5*i - 7 = -o, v*i - i + 7 = -3*o for i.
2
Let g = -399 - -423. Suppose -g - 4 = -7*v. Solve 2 = v*q - 2*o, 0*o = -5*q - o + 6 for q.
1
Suppose 10*m = 11*m + 136. Let c = m + 139. Solve 3 = -o + 2*x, 0 = -3*o - c*x - 0*x - 18 for o.
-5
Suppose 5*j - 136 = j. Suppose 0*f + 5*y = -4*f - 18, j = -4*f + 3*y. Let w = f - -10. Solve 9 - 33 = -4*p - w*n, 0 = n - 4 for p.
3
Suppose 38*l - 280 + 90 = 0. Let u(w) be the first derivative of 2*w**3/3 - 2*w**2 - 17*w + 1. Let a be u(l). Solve -2 = -i + 2*c, 5*i - c + a = i for i.
-4
Let j(f) = -f**3 - 21*f**2 - 17*f + 80. Let y be j(-20). Solve 5*t - 4*m = y, -4*t - 5*m = -10*m - 25 for t.
0
Let f be 40 + -5 + 13 + -1*4 + -4. Solve -3*b + 3*n = -5*b - 1, 5*b - 5*n + f = 0 for b.
-5
Let i(n) be the first derivative of -n**2/2 + 3*n + 20. Suppose 2*x - 6 = -0*x + 4*g, 0 = 2*x - g. Let b be i(x). Solve -y + 0*y = 0, -2*q - b*y + 8 = 0 for q.
4
Let i(a) = 50*a + 2354. Let j be i(-47). Solve -4*r = -j*w - 4, 64*r - 5*w = 68*r + 5 for r.
0
Let j(u) = u**2 - 8*u - 29. Let y be j(12). Suppose 0 = -6*c - y + 397. Suppose -2*f - 33 = -c. Solve 0 = -0*a - 2*a + 2, 3*a - f = -4*x for x.
3
Let i(k) = 3*k**2 + 56*k + 208. Let a be i(-5). Solve -a*y = 6, -154*o + 153*o - 2*y = 0 for o.
4
Suppose 50 = -64*r + 121 + 185. Solve -5*n - 5*d = -4*n + 18, -8 = r*n + 4*d for n.
2
Let g = 7469 + -7467. Solve 43*n = 41*n + w + 8, g = -n - w for n.
2
Let a = -528 - -531. Let r be (a - 6/(-2 + 4))/1. Solve 5*z - 5*c - 20 = -r*c, 2*c + 6 = z for z.
2
Let x be 2/(-9) + (-140)/(-63). Suppose 3*p - 24 = 5*v, -37*v = 4*p - 33*v. Solve -3*b + x = 5*u, b + 5 = u + p*u for u.
1
Let n(u) = u**2 - 4*u + 2. Let a(c) = -6*c**2 + 67*c - 197. Let q(d) = -a(d) - 5*n(d). Let h be q(43). Solve 3*m + h = -5*p + 4*p, m + 5 = 4*p for m.
-5
Let i(j) = -j**3 - 3*j**2 + 4*j - 26. Let q be i(-5). Solve 2*w = q*x - 3*w - 15, 0 = -x + 4*w + 1 for x.
5
Let s = 66 - 15. Let y = s - 48. Let v be (-5)/y + (-3)/9 - -4. Solve -2 + 8 = -2*h + 2*q, -v*h = -5*q for h.
-5
Let o be (-16)/(240/(-9))*5. Solve 8 = 4*i, o + 0 = -u + 4*i for u.
5
Let n be 14*(-50)/875*1*-5. Let p be (12/(-14))/((-1)/(-7)). Let o = 12 + p. Solve n*u = d + 21, -u + o*u - 5 = -3*d for u.
4
Suppose 0 = s - 5*d - 5, 5*s - 7*s + 5*d + 20 = 0. Suppose -6*g + 40 + 26 = 0. Let i = -6 + g. Solve 0 = i*q - 5*h, 2*h = -4*q + h + s for q.
3
Suppose -3*r = 3*a - 5*a + 23, 4*r + 20 = 2*a. Suppose c + a*q + 4 = 13*q, -3*c = -4*q - 27. Solve -2*p - c = 2*u - 3, -p - 4 = 4*u for p.
0
Suppose 0*a - 3*y - 23 = -2*a, 4*y = 4*a - 48. Let z = 22 - a. Suppose -4*m - 16 = -4*t, -4*t + z*t = m + 8. Solve b - t = -3*n - 0, 3*n - 5 = -2*b for n.
-1
Suppose 4*n + 4 - 12 = 0. Suppose -3*y = 3, h - 5 - n = -2*y. Suppose 58 = 8*j + 34. Solve 0 = 3*v + 3*r - h, -v - j*r = r - 6 for v.
2
Let d be 906/4 - (5/10 - 1). Let g = -127 + d. Let h = g - 48. Solve h - 16 = -4*p + 5*f, -5*p - 16 = f for p.
-4
Suppose -30*r + 5928 = r + 45*r. Solve v - 5*p + 17 = 0, r = -3*v - 3*p + 99 for v.
3
Suppose 2*i = -6*p + 40, -9 = 3*p - 27. Solve -c + n - 1 = 5, -2*n + 4 = i*c for c.
-2
Let x(i) = -i**3 + 10*i**2 + i - 6. Let m be x(10). Solve 3*j = 4*t + 14, -t - j + 2*j = m for t.
-2
Let q = -4344 + 4347. Solve -4*f + 3*j = q, -f + 5*j - 34 = -4*f for f.
3
Suppose 20*c = -4*i + 112, 36*i = -3*c + 35*i + 16. Solve 0 = -l + 3*g - c, 0 = l - 0*l + 4*g - 8 for l.
0
Let m = 420 + -420. Let o be (0 + 1)*((6 - m) + -6). Solve 12 = -h + 3*s - o*s, 0 = -4*h - 5*s + 20 for h.
0
Suppose -5*k - 5*d = 5, -5*k - 4*d - 16 + 6 = 0. Let w = -126 - -123. Let o = w - k. Solve -4*p - 2*c = -8, o*p - c + 1 - 12 = 0 for p.
3
Let y be (1 + (1 - -2))*-10. Suppose -3*q - 93 = 33. Let m = y - q. Solve -25 = 4*n - b - m*b, 7 = -4*n - 3*b for n.
-4
Let f = 28 + 95. Suppose 30*s - 117 - f = 0. Solve -2*n = -6*n + 3*q - 14, n + s = 3*q for n.
-2
Suppose -1879 + 685 = -398*d. Solve -3*o = -d*r - 21, 3*r + 11 = -9*o + 10*o for o.
5
Suppose -5*v + 560 - 540 = 0. Solve 5*x + v*f = 9*x + 8, x - 5*f - 10 = 0 for x.
-5
Suppose 3*h - 33 = -4*a + 19, -5*h + 2*a + 104 = 0. Solve -22 + h = 3*b - 5*o, -8 = 4*b - 4*o for b.
-4
Let k = -2 - -5. Let g = 70 + -75. Let n be 0*((-18)/(-4) + g). Solve 5*m - 2*u + 0*u = 0, -k*u = n for m.
0
Let b = -30 - -43. Let p(l) = l**3 - 11*l**2 - 23*l + 7. Let g be p(b). Let x = g - 45. Solve 2*a = 3*o + 6 + x, 4*a = -2*o + 22 for a.
5
Suppose 1468 - 1520 = -13*d. Let h(f) = 2*f + 2. Let g be h(-2). Let v = g - -21. Solve 3*r = z + d*z - 10, 0 = -z + 4*r + v for z.
-1
Let b = -5101 - -5102. Solve -1 = 3*d - 2*p + b, -2*p = d + 6 for d.
-2
Let y = -412 + 414. Solve -4*u - t - 18 = -y*t, -u - 2*t = 0 for u.
-4
Let c(v) = 3*v**3 + 34*v**2 + 61*v - 16. Let t be c(-9). Solve t*f - 4 = 3*i - i, -f = -1 for i.
-1
Let d = -172 - -84. Let i = d + 97. Suppose 6*q - i*q + 6 = 0. Solve 3*c = y + q