8*d - 16, z*d + i = s for s.
4
Let f(w) = -2*w + 4. Let u be f(6). Let x(n) = 3*n + 24. Let v be x(u). Suppose -3*b - 5 + 38 = v. Solve -2*q - 5*o - b = 2*q, -4*o - 14 = -2*q for q.
1
Let k be 0/((-1)/(-2)*-10). Suppose -12 = -86*i + 82*i. Solve k*l + i = -3*l - 2*g, -3*g + 15 = -2*l for l.
-3
Let h be (-115)/23 + 1*85. Let j = h + -68. Suppose 0 = 12*u - 8*u - j. Solve u*k + 2*m + 13 = -0*m, 5 = -3*k + 2*m for k.
-3
Let g = 3970 - 3942. Solve -5*l - g + 14 = 3*f, -3*f + 18 = -3*l for l.
-4
Let y = 8 + -3. Suppose 0 = -25*b + 18*b - 3521. Let p = b - -514. Solve p = 3*o - 1, 5*v - y*o + 30 = 0 for v.
-2
Suppose 7*l + 187 = 24*l. Suppose 11 = l*n - 11. Solve m - 21 = 4*q, 8 = -q + n*m + m for q.
-5
Suppose -7 = 4*o - 3*i, -3*i = o - 19 + 17. Let f(m) = 6*m**2 + 2*m - 2. Let x be f(o). Solve -5*z + 15 = a, x*a + 0*a + 4*z = 12 for a.
0
Let w(x) = -x**2 + 7*x + 18. Suppose 5*s = 2*s + 15. Suppose -4*r + 0*h + 16 = s*h, r + h = 5. Let p be w(r). Solve p*u + 10 = -a - 4*u, 2*u + 2 = -2*a for a.
2
Suppose 2*w = -0*w + 3*x + 166, 0 = 2*w - x - 170. Let h = 74 - w. Let a be (-12)/(-7) - h/42. Solve -5*j - 2*n = 8, j - 4 - 4 = a*n for j.
0
Suppose 0 = 616*n - 641*n. Solve -4*y + 27 = h + 7, n = 5*y - 3*h - 25 for y.
5
Let f be (-1)/((-20)/12)*-5 + 6. Suppose -f*b - 14*b + 255 = 0. Solve -2*n - 20 = -4*a - 0*a, 3*n - b = -3*a for a.
5
Let r be 1 + 2 + 406/(-29). Let a be r/(-55) - 3/15. Solve -z - 2 = -a, 0 = -f - z - 5 for f.
-3
Let l = -27 - -29. Suppose 6*t = -l*t + 32. Suppose o + o - 12 = 2*a, 3*o + t*a + 3 = 0. Solve 4*u + 9 = m, 11 = m - o*u + 4 for m.
1
Suppose -2*o + 51 = -1. Let n be (-4)/((-3460)/(-120) + -28 - 11/6). Solve 0*q + 4*q = 2*i - o, -i - 17 = n*q for q.
-5
Suppose -2*u + 19 = -18 + 27. Solve 0 = b - 2, -10*b + 10 = 3*w - u*b for w.
0
Let b(o) = -o**3 + 7*o**2 - o + 11. Let k be b(7). Let w = -3985 - -3988. Let v be ((-1 + 1)/1)/(-2). Solve 0 = -w*t + 3*a + 9, -k*a + 4 = -v*a for t.
4
Let t = -561 + 579. Solve -4*x = 3*p - 4, -17*x + 18*x - 4*p + t = 0 for x.
-2
Let h = 1157 - 561. Let f = -592 + h. Solve -5*l + f = 4*q + 1, 0 = -4*l - 4*q for l.
3
Suppose -3*g = -8*g - 100. Let l be -7 + 5 - (1 + 1 + g). Suppose 0 = a - 2*s - 6, a = -2*a - 5*s + 18. Solve -a*y + 2*y - 2*h = 8, -2*h + l = -2*y for y.
-4
Let s(n) = -n**3 - 15*n**2 - 9*n + 12. Let g be s(-14). Let h = 10 + g. Let i = h + 50. Solve -5*o + 4*d = 4, i*d - 1 - 3 = 3*o for o.
-4
Let y = -35 - -36. Suppose y = -3*m + 4. Let s be -10 + 18 - (5 - m). Solve v + 0*v = -d + s, -2*d = 3*v - 8 for d.
4
Suppose 5 - 1 = 2*g - 5*z, 2*g = -z + 28. Solve 3*h + 4*w - 15 = 0, 2*h + w = g - 2 for h.
5
Let c(b) = -2*b**3 + 50*b**2 + 104*b + 122. Let f be c(27). Solve 2*z - 12 - f = -5*r, 0 = -2*z - 2*r + 14 for z.
3
Let n be (-472)/(-34) + (96/102)/8. Solve 0*i = 2*i + 4*v + 10, -5*v - n = 3*i for i.
-3
Let c be ((-1)/(-5) + 1)/(120/400). Suppose -15*x + 4 = -13*x. Solve -l + 5 = 5*p + x*l, -l = -4*p + c for p.
1
Suppose -3*f - 8 = -5*f. Let x(r) = 800*r + 280 - 389*r - 386*r. Let g be x(-11). Solve -5*d - g*p - 9 = 1, 5*d - f*p + 19 = 0 for d.
-3
Suppose 0*n - n + 34 = 0. Suppose n*o - 95 = 15*o. Solve -2*q = -2*s - 4, q + 10 = -o*s - q for s.
-2
Let p = 7329 + -7309. Solve 3*k + p*g = 17*g + 3, 0 = -2*g + 10 for k.
-4
Let f(x) = 3*x**3 - 11*x**2 - 125*x + 490. Let n be f(4). Solve 0 = 2*v - 4*c + 10, n*v = v + c + 11 for v.
3
Let g be 0 + 1/(1/4). Suppose -2*u + 2 = 0, -89*u + 93*u - 1 = -2*w + 3. Solve -4 = g*r + 2*f, 5*r + 0*f - 3*f - 17 = w for r.
1
Let g be -2 - 144/(-68) - (-3136)/1088. Solve 19*u + g*o = 20*u + 10, -3*o + 6 = 0 for u.
-4
Suppose -3 - 13 = -4*a. Suppose 82*s + 207*s - 2233 = -30*s. Solve s = 2*r - z, 0 = -4*r - a*z - 4 - 0 for r.
2
Suppose -3 = -2*r + r. Let x(q) = 34*q - 98. Let k be x(4). Suppose -4 = 38*j - 34*j, -k = -2*d + 2*j. Solve 2*v + v - d = -3*h, -2*v = -r*h - 7 for v.
5
Let x = -20 + 26. Let z be (-2)/3*(-3 - 45/x). Suppose 3*w - 2 = z. Solve 0 = 4*p + 2*v - 3*v + 21, w*p + 2*v + 2 = 0 for p.
-4
Let k = -4091 - -4091. Solve c + 4*q - q + 4 = 0, k = -q for c.
-4
Let w be 11/2 - (-3)/(-6). Suppose 5*d = 43*z - 38*z - 65, z + 5*d - 7 = 0. Solve -v = -3*s + 14, -3*v + w*v = -2*s + z for v.
1
Suppose 2*b - 5*f = 17, 5*f - 12 + 5 = -2*b. Let o be 96 + (-1 - b/2). Let s = o - 89. Solve -3*q - 6 = 0, s*v + 9 = q + 2*q for v.
-5
Let f be (-2)/4*(23 + 591). Let y = 309 + f. Solve -5*r = 2*s - 10, 5*r - 35 = y*s + s for r.
4
Let g(w) = -w**3 + 6*w**2 - 5*w + 26. Let d be g(6). Let q be -1*(11 + 5)/d. Let v = -6 - -11. Solve -j - m - v = q*m, -4*j - 2*m - 20 = 0 for j.
-5
Suppose d + 2*c = 20, -2*d + 3*c + 107 = 130. Suppose -4*y - 8 = -8*y. Let v be 4 + ((-3)/5 - (-8)/5). Solve -4*r - 23 = v*k, -d*r - 14 = y*r + 2*k for r.
-2
Let d(j) be the second derivative of -j**5/20 + j**4 + 5*j**3 - 14*j**2 + 39*j. Let a be d(14). Solve a*b + 9 = -5*r + 2*b, 2*r = 4*b - 10 for r.
-1
Let u = 35 + -25. Suppose -3*v = -5*t + 40, -v + 14 + u = 3*t. Suppose -4*m = -6*m + t. Solve -4*k - 28 = -m*y, 10 = 4*y - 2*y - k for y.
3
Let u = 7429 + -7423. Solve 5*g = 3*b + 19, -u*b - 7 = -g - 7*b for g.
5
Let n be -189 + 194 + -1 + 5. Solve 0 = -4*q + 174*x - 170*x, -3*x = n for q.
-3
Let j = -253 + 266. Suppose 3*s - 4*f - j = 0, -5*s - 5*f = -4*s + 2. Solve -s*y - 12 = 2*y + 2*i, 0 = -5*y + 4*i - 36 for y.
-4
Suppose 3*f - 18 = -6. Suppose 4*g + 7*a - 3*a = 204, -5*a - 5 = 0. Let p be ((-39)/g)/(1/(-4)) + 7. Solve -f*t + 0*t = 2*h + p, 13 = -2*h - 5*t for h.
1
Let j(t) = -6*t**3 + 10*t**2 - 2*t - 2. Let g be j(1). Solve -3*m + 5*d = 7*d + 21, 4*m - d + 17 = g for m.
-5
Let c = 65 - 63. Suppose 5*f - 5*h - 160 + 485 = 0, -c*h = 8. Let t = f + 83. Solve n - 5*n + 21 = 5*i, 2*i - 4*n + t = 0 for i.
1
Suppose 3*w - 10 = -2*n, 10*w - 10*n = -6*n + 44. Suppose -5*x + 5*b = -10, 3*x - 10 = 5*x + 5*b. Solve -5*h = 2*j + 12, x*j + w*j + 3*h = 4 for j.
4
Let r = 8180 - 8175. Solve r*f + 1 = 2*m, -m + 4*f - 5 + 7 = 0 for m.
-2
Let v = -331 - -333. Suppose 4*z = 3*o - 7 - v, -o + 3 = 5*z. Solve 4*r - 4 = z, -5*w - r = -5*r + 14 for w.
-2
Let v = -3105 + 3113. Solve 4*p + 225*l - 229*l = -v, -2*l = -p - 1 for p.
-3
Let o(t) = 2*t**3 - 115*t**2 + 55*t + 118. Let n be o(57). Solve -5*j + 3*w = 31, 6*j - j - n*w = -33 for j.
-5
Let j = 3453 - 3451. Solve -5*o = -5*t - 6 + 1, -3*t = j*o + 23 for t.
-5
Suppose k - 11 = -4*j, -5*j - 42*k + 5 = -39*k. Solve -5*s = -2*u + 7, j*s - 9*s - 23 = 2*u for s.
-3
Let m(l) = -6*l + 3. Let j(t) = -17*t + 8. Let x(s) = 3*j(s) - 8*m(s). Let g be x(8). Let d = g - -24. Solve 3*y - 2*y - 5*o = -13, d = -5*o + 10 for y.
-3
Suppose 252*h - 256*h = 5*m - 101, -2*m + 242 = 10*h. Solve 0 = 5*c - 4*y + 8, -3*c + 2*y = 30 - h for c.
-4
Suppose -329 = -b - 330, 4*a - 4*b = 20. Solve 6*z - 9*z = -a*p + 15, 11 = 4*p + z for p.
3
Let z be 21/56 + 84/32. Suppose -s - 10 = 3*i, 3*s + 2*s - 26 = 4*i. Solve 0 = s*t - a - z, 5*t + a + 0*a = 11 for t.
2
Let t(q) = -4*q - 27. Let b be t(-9). Solve 5*i = s + 15, -91*s = -96*s + 3*i - b for s.
0
Suppose -f = 3*n - 807, 2*f = -4*n + n + 1617. Let c = f - 810. Solve -3*m - i - 11 + 1 = c, 0 = 5*m - 2*i + 2 for m.
-2
Suppose -177 = -14*a + 439. Suppose 0 = -10*y + 104 - a. Solve 3*c = x + 2, -5*c = -7*x + 3*x + y for x.
4
Let c(g) = -g**3 + 16*g**2 - 12*g - 221. Let j be c(14). Solve h - 4 + 1 = 2*w, -3*w - j*h = 0 for w.
-1
Let w(r) = 14*r + 16. Let q be w(-1). Suppose -4*h = -q*m, -4*m - 12 = -3*h - 22. Solve -3*s + 5*o - 4 = -4*s, 5*s = -o - m for s.
-1
Let b be 12/(-8) - (-18)/12. Suppose -6*j - j = b. Solve -2*w = j, 2*w = 3*l - l for l.
0
Let f = 162 - 167. Let v(y) = y**3 + 7*y**2 + 12*y + 16. Let l be v(f). Solve -2*b + 4*p = -l, -b + p - 4*p = -8 for b.
5
Let h be 4/12 - 185/(-3). Suppose -h + 476 = -3*p. Let x = -118 - p. Solve -x = -5*r + 4*d, -6*d = -3*d + 15 for r.
0
Suppose t + s = 13, -t + 4*s + 0*s = 12. Suppose -20*k + 1167 = 311*k + 174. Solve 3*m + k*n - 24 = 0, 0*m + 4*m - 2*n - t = 0 for m.
4
Suppose 47*s - 32 = 63*s. Let m be ((-312)/(-52))/((-4)/s). Let w be (7/21)/(1/15). Solve -w*o + m*j + 5 = 0, -4*o - 2*j = 4 + 14 for o.
-2
Let r(n) = 56*n - 29. Let z be r(9). Suppose 7*x = -370 + z. Solve -5*g + 5 = -5*k, 4*g - 5*g - x = -5*k for g.
5
Suppose 4541 = -f + 5*i + 4550, -i + 21 = f. Solve 5 = -w - 12*j + 15*j, -f 