 4*b + 102 - 114, p = 4*s - 5*b + 24 for s.
-1
Let i(g) = -78*g + 1094. Let q be i(14). Solve 3*t = -3*k + 6*t + 9, 0 = q*t + 10 for k.
-2
Let y = 50 - 48. Let k = -19 - -27. Suppose 32 = k*h - 7*h. Solve -4*b - w - 7 = 0, -6*b = -y*b - 4*w + h for b.
-3
Let q = 23487 + -23472. Let h(c) = c + 4. Let p be h(5). Suppose -4*m = -7*m + p. Solve q = m*k - 3*l, -l - 11 = -3*k - 0 for k.
3
Suppose -28*i = -42 - 686. Solve 0 = 2*b - 6, 0 = -0*d - 4*d + 2*b - i for d.
-5
Suppose -2*l = -5*l + 7*l. Let d(p) = p + 51. Let q be d(21). Let g be (-1)/(-4) + 126/q. Solve 2*a - 4*k = -6, -g*a + k + 0 - 3 = l for a.
-1
Let z = -6635 - -6637. Solve 4*m + 2*y = -6 - 4, -z*y - 14 = 5*m for m.
-4
Let z be (-3)/3*19 + 19. Solve 10*r - 6*r = -4*h - 4, 3*r + 2*h + 1 = z for r.
1
Let o = 47 - 39. Suppose -35*v + 39*v = -o. Let a(p) = -p**3 + 2*p**2 + 5*p - 2. Let j be a(v). Solve 8*t + 4*y = 3*t + 7, -j*t - 2*y + 8 = 0 for t.
3
Let f be 14/(-4) + 18/(-36). Let c(z) = z**2 + 18*z + 56. Let u be c(f). Solve -3*p = -4*w + 2*p + 18, -2*p - 4 = u for w.
2
Let s be 7*(1*-2)/(-2). Let i be (8/48)/((-1)/(-18)). Let d = 5 - i. Solve d*y - 16 = -4*k, s*y + 16 = 2*k + 4*y for k.
5
Let z(o) be the first derivative of 2/3*o**3 - 16*o**2 + 0*o - 43. Let b be z(16). Solve -3*p + 4*g - 9 - 7 = 0, 4*g - 16 = b for p.
0
Let k = -358 + 234. Let z be k + 132 - (2 - 2/(-2)). Solve -z*v - 8 = 2*u + 23, 4*u + 2*v + 22 = 0 for u.
-3
Let g(t) = -2*t**2 + 14*t - 1. Let j be g(5). Let u = 30 - 44. Let s = j + u. Solve -i + 5*x + 11 = 0, -4*x + 0*x - s = 3*i for i.
1
Let q(w) = 92*w + 5184. Let h be q(-56). Let d(v) = v**2 - 8*v - 11. Let j be d(10). Suppose -j = -2*p - 1. Solve -5*k - y = -19, 0*k - 5*y + h = p*k for k.
3
Let z be 13/1 + 1*(2 + 1). Solve 4*w = -z, -2*b - 10 = 5*w + 8 for b.
1
Suppose -167*a + 159 = -509. Solve -a = -6*j + 5*j, 5*t = 5*j - 5 for t.
3
Suppose -11*a = -2*a - 288. Suppose 4*o - 8*o = -2*n + 16, 4*n - a = -4*o. Let d = n - 4. Solve -d*z = -2*f - f + 19, -f + 9 = -4*z for z.
-1
Let n(r) = 37*r - 2. Let z(d) = -d**2 - 8*d + 2. Let i be z(-8). Let k be n(i). Suppose -3*j - 3*j + k = 0. Solve 3*s = -4*c + j, s - 2*c + 3 = -c for s.
0
Suppose -3*f = -2 - 1. Let c be 3 + 30/(-27) - (-2)/18. Suppose 5*n = -3*w - f, 2*n - c = -2*w - 0. Solve -w*m - 4 = 4*a + 2, 2*a - m = -8 for a.
-3
Suppose -2488*m + 2501*m = 442. Solve -29*v + m*v - 5*l = -10, -4*v - 2*l = -22 for v.
3
Suppose -37*u + 4*u + 105 = -12*u. Solve -3*i = a - 2 - 4, -12 = -a - u*i for a.
-3
Let p be 6*1 + (316 - 318). Solve 25 = -p*h - h, 3*h = -2*b - 5 for b.
5
Suppose -4*w + 73*w - 3220 = -46*w. Solve v = 3*u + 12, -5*v - 31*u - 12 = -w*u for v.
0
Let f be (-20)/(-15)*21/14. Solve -5*j - 22 = 4*h, -3*h + 2*h = -f for j.
-6
Let c(a) = 21 + 24 + 28*a - 42. Let n be c(-2). Let q = 63 + n. Solve 2*u + 7 + 1 = -2*b, -q = b + 4*u for b.
-2
Suppose -3 - 14 = -5*p - m, -3*p + 15 = -m. Let a = -80 + 45. Let f = a + 37. Solve p*i - 5*c = 5 + 2, 0 = -2*i + 2*c + f for i.
-2
Let i(h) = h**3 - 5*h**2 + 23*h - 48. Let t be i(3). Solve 5*x = 2*l - 69 + 64, -t*x = 4*l + 3 for x.
-1
Suppose 90 = -147*q + 150*q. Suppose -q*c = -40*c + 40. Solve -2*n = z - 2 - 1, -4*n = -c*z + 12 for z.
3
Suppose 21*o + 3331 = 3394. Solve -9*w + o = -6*w - 3*u, 15 = 5*u for w.
4
Let l = 107 + -158. Let v be (l/136)/((-1)/8). Solve 1 - 4 = 2*n - v*c, -2*n + 5*c = 5 for n.
0
Suppose -3 = -3*u, u = d + 6*u - 101. Suppose 11 - d = -5*l. Solve 3*m - m - 13 = -c, 4*m - c - l = 0 for m.
5
Let r be -8 + 43 + (-15 - -7) + -2. Solve -5*y - t + 8 = 0, -29*y + r*y - 4*t + 16 = 0 for y.
1
Let l(s) = 2*s**2 - 138*s + 238. Let v be l(67). Let m = 16 - -16. Let a = m + v. Solve -a*d = i - 4 - 7, d + 2 = 2*i for i.
3
Let a(d) = 279*d + 27. Let y be a(2). Let i = 592 - y. Solve 3*c = -5*p + i*c + 21, 9 = p - 2*c for p.
1
Let w = 41 + -38. Let r be (10/(-50))/(1/(-10)). Suppose b - 4*b - r*v + 26 = 0, 0 = b - v - 7. Solve 4*s + 4*d - b = -0*s, w*s = -d for s.
-1
Let x = 14452 + -14436. Solve -x = -4*j - 4*o, 36 = 3*j - 2*o + 34 for j.
2
Let c(l) = -8*l - 12. Let d be c(-4). Let f = -36 + 51. Suppose f = v - 5*b, b + b = v - 6. Solve 3*q = v, 7*q + d = 5*t + 3*q for t.
4
Let i be -60*(-1 + (-15)/6 - -3). Let g(t) = -t**2 + 9*t + 184. Let b be g(-9). Solve 2*r = 5*h + 7*r + i, 5*h + b = -r for h.
-4
Suppose 2659*i - 2639*i - 100 = 0. Solve i*w + 14*a - 13*a = 30, 4*w + 3*a - 35 = 0 for w.
5
Suppose 2*u = -p - 152 + 161, -3*u = 3*p - 18. Solve -v = -y + p, 4*v + 15 = -162*y + 165*y for y.
-3
Let r(f) = -5965*f + 11932. Let i be r(2). Let h = 3 - 1. Solve -2*y - 3 = 5, i*v + h*y + 14 = 0 for v.
-3
Let h = 4352 - 4351. Solve 5*c - 2*c - 4*g + h = 0, 3*c + 2*g = 5 for c.
1
Let i(k) = 52*k**2 - 5*k + 8. Let d be i(2). Let r = -203 + d. Solve -r*h - 2*c - 7 = 0, 0 = 3*h + h + 4*c + 4 for h.
-5
Suppose -32*d + 108 = -31*d + 35*d. Solve 6*x - d*x - 6 = 0, -k - 3*x + 8 = 0 for k.
2
Let f(y) = -6*y + 11. Let l be f(2). Let c(d) = -3*d**3 + 2*d + 2. Let a be c(l). Solve -a*t = j + 2*j - 21, 5 = -5*j + 5*t for j.
3
Let v(p) = 2*p**2 + p - 40. Let u be v(-6). Suppose -3*o = -o - 18. Suppose o*x = u + 10. Solve 10*y - 24 = -x*h + 5*y, 2*h + 4*y - 18 = 0 for h.
1
Suppose 20*f - 205 + 45 = 0. Suppose -102*h = -94*h - f. Let v be 7*1 + 0 + -2. Solve 4*i + 4*k = 0, v*k + 4 = -4*i - h for i.
5
Suppose -2610*h + 2616*h - 4 = 8. Solve s - 25 = -5*y, y + h*y = 15 for s.
0
Let g(k) = -192*k**2 + 1344*k + 1. Let v be g(7). Solve -6 = 3*s, z + 5*s + v + 7 = 0 for z.
2
Let n(f) = -5*f**2 + 140*f + 5. Let r be n(28). Solve 4 = -r*y - 3*z, 2*z = 43 - 39 for y.
-2
Let v be (-640)/576 + 140/45. Suppose -y + 4 = 2. Solve 8 = 2*x - r + 2, 0 = -v*x + y*r + 8 for x.
2
Let s be ((-2)/(-6))/(5/30). Let p = s - -1. Suppose -2*y + 3*f = -2, -4*f = 216 - 224. Solve -a - y*a = -3*c + 3, -1 = -p*a - c for a.
0
Let c = 31 - 29. Suppose c*v - 2*y = -6*y + 16, -3*v - 20 = -5*y. Let b be -1 - (v + -2*3). Solve 5*s - 3*w = 3, -b*s - w = 2*w + 3 for s.
0
Let l(n) be the third derivative of 17*n**4/24 + 79*n**3/3 + 5*n**2. Let b be l(-9). Suppose 0*j + 3*j = 9. Solve 0 = -b*d + 20, -2*v + 3*d - 9 - j = 0 for v.
0
Suppose -3*h + 3 = 2*q, 5*q - 5 + 4 = -h. Let l be q/(-6 - -3 - (-5)/1). Solve l = 3*d - 15, -a = 3*a + 4*d - 8 for a.
-3
Let v be 10/(-55) + (7 - 1266/(-66)). Solve 20 = -o + 4*h + 9, -4*h = 2*o - v for o.
5
Suppose 36*k - 40*k + 8 = 0. Let s be 21/42 + (-15)/(-2). Suppose 15*u = s*u. Solve 2*b - k*d = -u*d, -5*d = 25 for b.
-5
Let l = -14394 + 14405. Let s = 27 + -18. Solve s = -3*h + 4*b, -h + b - l = -3*b for h.
1
Suppose 0 = 5*p - 8 - 32. Suppose -9*l - 2*f - p = -10*l, 3*l - f - 9 = 0. Solve 5*j = -l*i - 12, -2*i + 4*j + 6 = -0*j for i.
-1
Let w be -16*(6 + 25/(-4)). Suppose 0 = -15*y + w*y + 22. Solve -3*l + y*t = -19, 5*l - t = 2*t + 31 for l.
5
Let i be 68/102*-11*9/(-6). Suppose 6*f - 30 = -4*c + i*f, 3*f = c - 11. Solve -s + 2*s = -c*r - 4, 2*r - 2*s = 8 for r.
0
Suppose -61*r - 187*r + 4712 = 0. Solve 2*w = 5*s - 63 + 34, -5*s + r = 3*w for w.
-2
Let d be (-41 - -33) + (38/5 - 14/(-35)). Solve -p - 4 = -54*x + 55*x, d = 2*x + 4*p + 12 for x.
-2
Suppose h + 42 = 3*h. Suppose -5*s - 19 = -4*g + h, 2*g - 3*s = 22. Let k = 9 - 0. Solve g*l = -5*m + 25, 5*m - 4 = l + k for l.
2
Let b(o) be the first derivative of -o**3/3 - 10*o**2 + 39*o - 12. Let u be b(-21). Suppose -5*t + u = -7. Solve 0 = 2*y - 5*x - 15, 5*y = 4*x + t + 7 for y.
0
Suppose -5*t - 24*l = -63, 0 = -2*t - 89*l + 91*l + 2. Solve -3*b + u + 2 = 0, -5*b = -u - t - 1 for b.
1
Let s = -28 + 42. Let i be 8/(354/18 - 17). Solve -5*b + 2*x = 29, x + s = -2*b + i*x for b.
-5
Let t be 13 - 2 - (6 - 8)/2. Suppose t*f - 30 = 6*f. Solve f*l = -2*k, 2*k + 2*k = 4*l for l.
0
Suppose -59 - 6 = -13*f. Solve -19*w + 24*w + 2*i - 12 = 0, 4*w = 3*i + f for w.
2
Let y(l) = l**2 - 13*l - 10. Let d = 20 + -6. Let x be y(d). Suppose 3*t - 11 - x = 0. Solve -s + u + 6 = 2*u, -26 = -t*s - 4*u for s.
2
Let o = -33 + 38. Let y be o/(1/3*3). Solve 2*n + y*p = 30, 11 = 5*p - 9 for n.
5
Suppose 0 = -14*p + 18*p - 44. Suppose p*q - 4*q - 35 = 0. Let k = -11 - -14. Solve q*x - l = k*l + 16, 5*x = 5*l + 20 for x.
0
Let n(x) = 18*x + 69. Let d be n(-9). Let v = d - -98. Let q be (-16 - -11)*2/v - -18. Solve 4*r - q = 0, -4*r = 3*z - z - 16 for z.
0
Suppose 11