- 18*u + 13*u - 9, 0 = 3*b + 4*u + k for b.
-1
Let s be 11*(-24)/1716 - (-342)/26. Solve s*o = -a + 8*o + 3, 0 = -4*a + 5*o - 13 for a.
-2
Suppose 0 = k + k + 2*v - 18, 12 = 4*v. Suppose -31 = -d + 4*z - 6*z, 0 = 4*d + 2*z - 112. Let w be 3*3/(d/k). Solve -2*n + w*u + 3 = u, -5*u + 25 = 0 for n.
4
Let n be 3*166/42 - 12/(-84). Let a be (-144)/(-20) - (-2)/(-10). Suppose 0 = -2*c + a + 5. Solve n = -2*d + c*d + 4*j, -2*d + 4*j = -12 for d.
4
Suppose -9 + 15 = -3*c, 4*c - 17 = -5*f. Solve v = 4*t + 8, -3 + 11 = f*v - 4*t for v.
0
Suppose -2*n + 4*z - 277 = -297, -3*n + 15 = -z. Solve -7*t + 25 = -3*t - 5*a, n*a = t - 9 for t.
5
Suppose w = h + 3*h + 2, -5*h - 55 = -5*w. Suppose -4 = 2*b - w. Suppose -484 + 720 = 118*r. Solve -b*k - 19 = r*s, 2*s + 10 = -k - k for s.
-2
Let h(g) = 9*g - 153. Let s be h(-34). Let f = s + 463. Solve v = i - 2, f*v + 0 + 8 = -3*i for v.
-2
Let o(l) = -8*l - 192. Let q be o(-27). Suppose -2*j + 34 = q. Solve -2*u = 4*f - 18, f + 22 = -2*u + j*f for u.
-1
Let m be ((-1050)/15)/14 - -13. Solve i - 11 = 3*i - o, -2*i - 2*o = m for i.
-5
Let g(v) = -2*v + 35. Let d be g(16). Suppose -d*f + 2*i = -13 - 4, 5*i = -3*f + 10. Solve 2*y + 5*z = 10, -f*z - 6 = 4*y - 26 for y.
5
Let c be (-3 - -3) + 7 + -12. Let i(q) = -23*q - 115. Let l be i(c). Solve -5*u + 3*u + 2*j - 6 = l, -7 = 4*u - 3*j for u.
2
Suppose 5*o - 8 = -3. Let z(j) = -j**2 + 66 - 82*j - 182 - 134 + 27*j. Let q be z(-50). Solve 3*x - k - 8 = q, -3*x - x - k = o for x.
1
Let v(s) = -s. Let q be 8/2*8/2. Suppose -4 + q = -3*j. Let i be v(j). Solve 0*t - t + a - 2 = 0, 4 = i*a for t.
-1
Let b be 4/14 - 2/(-21)*-45. Let r(k) = -k**2 - 5*k - 3. Let c be r(b). Solve -5*f + 24 = h - c, 3*f = -2*h + 22 for f.
4
Let c(n) = -72*n**2 + 13*n + 12. Let y be c(-1). Let j = y + 78. Solve -j*s + 26 = -2*f, 5*f + 0*f + 2*s = -7 for f.
-3
Suppose 39*s + 9 = -y + 36*s, 9*y - s - 87 = 0. Solve t - 32 = 5*t + 4*x, 2*x = 3*t + y for t.
-5
Let d = 12 - 5. Suppose 5*s + 17 - d = 0. Let j be (-1 - (-4)/3)/(s/(-18)). Solve 2*r + 4*z - 14 = 0, 0 = 7*r - j*r - z - 19 for r.
5
Let t = 13179 + -13179. Solve -52*k + 54*k + 5*w + 2 = 0, t = 2*k - w + 2 for k.
-1
Suppose 4*u - 4 = 0, -4*o + 3*u + 33 = 16. Solve o*b + 16 = w + 9, 0 = -2*w + 4*b + 2 for w.
-3
Let i(y) = -15*y - 219. Let h be i(-15). Suppose -7*g = h*g - 12*g. Let w = 3 - -1. Solve g = 4*u - z + 24, w*z - 28 = 4*u + 8 for u.
-5
Suppose -3*y + 2*m = -12, 0*m = m. Suppose -4*u - a + 2 - 4 = 0, 0 = -3*u - y*a - 8. Solve -b + 3*g = 8, -2*b + u*g = g + 2 for b.
-2
Let z(y) = y**3 + 14*y**2 + 82*y + 701. Let b be z(-12). Solve 0 = -5*n - b*g + 4 + 46, 4*n = -2*g + 30 for n.
5
Suppose g - 5*s = 1, 0 = -4*s - 19 + 27. Suppose -g*r + 10*r + 5 = t, -r = -t + 3. Solve -t*v + 2*f + 9 = -f, 0 = 5*v + f - 16 for v.
3
Suppose 14*r = 16*r + 156. Let t = -68 - r. Solve 5*w = f + 3, -2*w = 5*f - t - 2 for f.
2
Let v(b) be the second derivative of -4*b**3/3 - 12*b**2 - 122*b. Let d be v(-3). Solve 2*j - 2 = 0, 4*r + 5*j - 17 = -d*r for r.
3
Let p = -181 - -181. Suppose 9 = -2*d + i + 19, -2*d - 4*i = p. Solve 6 = 3*o, -3*u - d*o + 7 = -1 for u.
0
Let n(t) = 2*t**3 - 28*t**2 + 93*t + 22. Let f be n(6). Solve -5*r = 4*u + 6, 6*r - 8 = -f*u + 8*r for u.
1
Suppose -x + 15*v + 5 = 0, 20*v = -4*x + 23*v + 20. Solve x*u - 3*t = 6*u + 7, -3*u = -5*t - 21 for u.
2
Let v(c) = -c**3 + 6*c**2 + 15*c + 19. Let k be v(8). Suppose -16 - k = -9*n. Solve 0 = n*r + 3*g + 9, -r = -5*r - 5*g - 10 for r.
-5
Let q(k) = -9*k**2 - 2*k + 9. Let u be q(3). Let m be (-10)/(-40) + u/(-8). Suppose -3*i + 20 = -m. Solve 2*d - i = -3*y, -d - y - 1 + 4 = 0 for d.
-1
Suppose 3*z + 2 = -2*g, -5*g = -2*z - 26 + 12. Solve -5*u = -5*c, -g*u = -5*c - 0*u - 9 for c.
-3
Suppose 270*c = 273*c - 9. Let z(b) = -b - 10. Let n be z(-6). Let t be (-1)/((-3)/n - 1). Solve 2*r + c = -s, -3*s + 9 = -4*r - t*s for r.
-3
Suppose 0 = 9*n - 8*n - 94. Let x = n - 73. Suppose 8*i = i + x. Solve 3*b - i*k = 0, -b = -2*b - 2*k - 6 for b.
-2
Suppose -5*g - 73 = -4*f, -5*f = 2*g - 5*g - 75. Let p be (f/(-6))/(-2)*5. Solve 0*t - 21 = -p*t + v, 0 = 5*v - 20 for t.
5
Suppose 74*q - 5*n - 110 = 69*q, -q + 34 = 5*n. Solve -7*z + 8*z - 2 = 3*c, 0 = 5*z + 2*c + q for z.
-4
Suppose -k + 202 - 209 = 0. Let l be ((-2)/k)/(-2 - 75/(-35)). Let w be (0/(-7))/(2 - 1) - -2. Solve 3*a = -4*m + l*a - 8, -m - 3*a - w = 0 for m.
-2
Let n(b) = -b**2 - 3*b + 55. Let s be n(-9). Suppose 10 = 2*w + 2*k, 4*w - 5 = -4*k + 3*k. Solve t - m = 3, -t + 2*m - s + 4 = w for t.
3
Let z(v) = 85*v - 503. Let i be z(6). Solve 3*l + 9 = -4*p, 5*l + i - 3 = -3*p for l.
1
Let i(y) = -y + 16. Let g be i(2). Let t be 16*3/g*(8 - 1). Let d be 3/(-2)*(-64)/t. Solve -d*l + 2*c - 6 = 0, -21 = -2*l + 7*l + 2*c for l.
-3
Let z be 12/(-8)*1*-36. Suppose z = 2*y + y. Suppose -u = 2*q - y, -6*q + 4*u = -q - 45. Solve 3*k + 3*p = -q, 4*k - 3 = p + 5 for k.
1
Let b(i) = -28*i - 43. Let x be b(-7). Let k = 156 - x. Solve 0 = -k*d + 5*r - 10, 4*d + 2*r + 3*r = 10 for d.
0
Suppose -4*s - 140 = 5*t - 8*s, 5*t - 5*s = -140. Let u = t - -43. Solve -3*l - u + 6 = -g, g + 3 = 0 for l.
-4
Let w(n) = -316*n + 4761. Let z be w(15). Solve -4*a = -f + z, -2*f - 23 = 11*a - 6*a for f.
1
Let l = 315 + -310. Let k be (-377)/(-4) + 8/(-32). Suppose 8*m = k + 66. Solve -l*c = 4*j + m, -15 = c - 0*c + 3*j for c.
0
Suppose -972 - 2037 = -342*b + 2121. Solve -x + 19*g + 23 = 24*g, 0 = 5*x + 5*g - b for x.
-2
Let u = 47 + -47. Suppose -n - 4*s = -18, -5*s - 10 = -2*n - u. Let a be -1 - 5*(1 + (-14)/n). Solve -t + 1 = y, 2*y - 4*y + t = a for y.
0
Let p = -45 - -35. Let i be ((-6)/4)/(-2 - 15/p). Suppose 3*h + 2*z = 9, -i*z = -h + 7 + 7. Solve h*w - 9 = 3*x, 0*x - 12 = 5*w + 4*x for w.
0
Suppose 15 = -19*m + 24*m. Let n be m/5 + -3*128/(-60). Suppose 2*x - 3 = u + n, 4*x - 20 = 5*u. Solve u - 1 = v - 4*q, 0 = -5*q + 5 for v.
3
Let m(u) = -3*u + 3. Let i be m(-5). Let d(c) = -25*c - 25. Let g be d(-1). Solve -4*f + 8 = 0, -2*y = -g*y + 4*f - i for y.
5
Suppose 3*x = 4*s + 41, 5*x - s = 6 + 34. Solve 0 = 2*r - g - x, r + 3*g = 2*r - 6 for r.
3
Let c be 3/(-2)*16/(-6). Suppose 2 = 2*o, -28*l - 3*o + 23 = -26*l. Suppose 0 = j + 3*s + 13, j + 2*s = 3 - 11. Solve g = -3, -j*d - c*g + 0 = l for d.
1
Let g be (7 + -2)*(-2 - (-64)/(-20)). Let f be (3 - 8) + (3*g)/(-6). Solve 5 = 3*b - 3*u + f, -5*u = -b - 9 for b.
1
Let d = -210 - -211. Suppose -4*k - 3*c - 80 = 0, -2*c - 40 = 2*k + c. Let r(h) = -2*h - 35. Let l be r(k). Solve 3*g + q = l*g + 5, -q - d = 0 for g.
-3
Suppose 2*g - 2 = 2. Suppose -g*t + 4*t + v - 5 = 0, 3*v = -3*t + 3. Solve 0 = x + 3, 2 = t*q + 2*x + 4 for q.
1
Let x be 1 - (1 + -3)/(-2). Suppose -74*b + 71*b = 2*d, 2*d - b = 8. Solve 2*t = -4, x*p = 3*p + d*t + 18 for p.
-4
Let k = 19 + -15. Let a(x) = -x**3 + 3*x**2 + 2*x + 13. Let s be a(k). Let o be 183/12 - 1/4. Solve -5*w = l - 15, w = s*l - 8 - o for l.
5
Let i(c) = 145*c - 580. Let w be i(4). Solve -3*l - 4*o + 20 = w, 3*l + 10*o - 14 = 9*o for l.
4
Let v(d) = 3*d**2 + 9*d - 67. Let b be v(-14). Let x = b - 395. Solve x*j - 2*j + 12 = -2*u, 0 = -2*j + 4 for u.
-4
Suppose 2*s - 5*x - 10 - 3 = 0, -5*s = -5*x - 25. Let a be (21/(-15))/(s/(-20)). Solve -4*o - 2*y - a = -7*y, 2*o - 2*y = -4 for o.
-3
Let w(d) = -d**2 + 17*d + 2. Let g be w(15). Let a = g - 30. Suppose i = -i + 6. Solve i = 3*k - 4*n - a, -5*k - 2*n = 9 for k.
-1
Let l = -3785 + 3790. Solve -h = 4*w - 13 + 14, -5*w + l*h = -30 for w.
1
Let h(z) = -101*z + 2547. Let q be h(25). Let k = 2 + 3. Suppose -k*b + q - 2 = 0. Solve b*u + 10 = -2*v, 5 = -v - 3*u - 2 for v.
-1
Let j = -2323 - -2323. Solve k = -3*d + 1, j = -12*d + 7*d - 5*k - 15 for d.
2
Suppose -2*h + 482 = -4*k, 0*k + 2*k = -4*h - 266. Let f be (-23)/(-5) - 1 - k/(-205). Solve 2*d + 15 = -3*d - f*m, 2*d = 3*m + 15 for d.
0
Suppose 2*m + 17*t = 12*t + 40, 2*m + 4*t - 40 = 0. Let o be -2*(-25)/m*4. Solve -h + o = -2*q - 4*h, 6 = 2*q - h for q.
1
Suppose 5*o + 63 = 2*o. Let k = o - -24. Suppose k*u + 23 = 35. Solve 2*m = 3*g - 2 + 4, 0 = -4*m + 2*g + u for m.
1
Let c(d) = -8*d - 19. Let m be c(3). Let y = 53 + m. Suppose 5*u = y*u - 10. Solve -u*g + 2 = -2*h, 4*h = -h for g.
1
Let j = 44 - -22. Let k = 68 - j. Suppose -5*t + 15 = 0, -t - k = 3*u - 11. Solve 2 = c + 2*m, 0*c - m = u*c + 5 for c.