26*d + 73. Let u be f(23). Solve 19*k = -u + 337 for k.
3
Let n = -5890 - -5890. Solve 2*u - 3*u - 5*u = n for u.
0
Suppose 9*m = 102 - 57. Let c = 31 + -26. Solve 0*s = m*s + c for s.
-1
Suppose 5*s - c - 127 - 99 = 0, 4*s + 2*c - 192 = 0. Let p be 161/s*20/14. Solve 0 = -p*v + 22 - 2 for v.
4
Suppose -2*u + 15 = -3*c - 10, u + 5*c = -20. Suppose 4*x + 4*b - 8 = 0, 3*x + 4 = u*b - 6. Solve x = -4*h + 2*h - 2 for h.
-1
Suppose 0 = -38*i + 8*i + 120. Suppose -5 - 13 = -6*q. Solve -i*p + 9 = -q for p.
3
Suppose -f + 16 = 4*r + 29, -2 = 2*f + 2*r. Let s be (((-30)/18)/(-5))/(f/18). Solve -s*v = v for v.
0
Suppose 0 = 2*r + a - 96, 0 = -0*r + 3*r - a - 154. Let c be -5*(-15)/r*(-4)/(-6). Let w be ((-1 + 1)/(-4))/c. Solve 5*y - 1 - 19 = w for y.
4
Suppose -20*g - r = -17*g - 109, 5*r - 55 = -g. Solve 677*x - g = 684*x for x.
-5
Suppose 74 + 38 = a + 4*x, -2*a = -3*x - 169. Let h = a + -97. Let d be (-1)/h*0*1. Solve 2*j - 9 + 3 = d for j.
3
Suppose 2*g + x = -4 + 7, 5*g = -2*x + 8. Suppose 0 = -5*a + g*r + 88, 2*a - 31 = -0*a + 5*r. Solve 0 = 5*q + 2 + a for q.
-4
Let v(m) = 377*m + 3072. Let x be v(-8). Solve -8*r - 8 = -x for r.
6
Suppose -2*b = -3*g - 84 + 38, -g - 2*b - 34 = 0. Let i be (-8)/10*(-55)/2. Let r = i + g. Solve 0 = r*t - 0*t + 10 for t.
-5
Suppose 2*j - 10 - 2 = -r, 0 = -3*j + 4*r + 29. Solve 0 = -j*w - 11*w for w.
0
Suppose 1120 = -23*f + 63*f. Solve 0 = f*g - 21*g + 28 for g.
-4
Suppose -v = 2*w + 707, 5*w - 2390 = 4*v + 386. Let y = v + 709. Solve -5*g = y*g - 12*g for g.
0
Suppose -3*p - 5*v + 2054 = -512, 5*p - 5*v - 4250 = 0. Suppose 0 = -11*q - 819 + p. Solve f = -q*f + 3*f for f.
0
Let a = 141 + -436. Let m = a + 316. Solve -16*u = -m*u - 10 for u.
-2
Let k(z) = -6*z**3 + 51*z**2 + 14*z - 5. Let o(h) = -7*h**3 + 49*h**2 + 14*h - 5. Let l(u) = -3*k(u) + 2*o(u). Let d be l(14). Solve -3*w - d = 10 for w.
-5
Suppose -919 = k - 5*k + 5*x, -x - 3 = 0. Solve 223*y + 9 = k*y for y.
3
Let x(w) = w**2 - 29*w + 14. Let t be x(29). Let b be ((-143)/(-91))/(2/t). Solve 4*p = -b + 23 for p.
3
Let p be (-257)/2*(-5 + 12/4). Let a = -255 + p. Solve -5*w = -13 - a for w.
3
Suppose 208*x - 211*x = 81. Let h be 2 + 0 - (x - -25). Solve h*r - 27 + 11 = 0 for r.
4
Let c(z) = -z**2 - 30*z - 116. Let t be c(-25). Solve t*b + 50 = 34*b for b.
2
Let o be (22/10)/((-11)/(-55)). Solve o*l + 182 = 127 for l.
-5
Let m be (2 + 0)/(-21 + 4165/196). Let f be 2 - -4 - 2*1. Solve 4*h + f = m for h.
1
Suppose -13*l + 22 + 30 = 0. Let w = 300 + -292. Solve -w*c + 4*c = l for c.
-1
Let y(d) = -3*d**2 - 7 + 0*d + 2*d**3 + 0*d**2 + 8*d + 2*d**2 - 5*d**2. Let s be y(2). Solve m + 4 = -s for m.
-5
Let b(s) be the first derivative of -s**4/4 + 8*s**3/3 + 7*s**2/2 + 20*s + 20. Let p be b(9). Solve 7*q - p*q + 25 = 0 for q.
-5
Let z be (-3 - -36)*(-12 + (-228)/(-18)). Solve z*s = -0*s - 22 for s.
-1
Suppose -3*j - 14 = -5*i, -2*i = 2*i + 2*j - 20. Let l = 454 - 451. Suppose i*v - l*a = 9, -v + 2*a + 6 = -3*v. Solve -2*y + 0 - 8 = v for y.
-4
Suppose -29*l = -11138 + 9079. Solve 77*f + 18 = l*f for f.
-3
Suppose -8*y - 753 - 7 = 0. Let g = y + 95. Suppose 6 = 3*b - 9. Solve -5 = -g*j - b*j for j.
1
Let x = -1863 - -2085. Solve 2*d - x = -206 for d.
8
Suppose 5*y + 593 = f + 110, 5*f - 303 = 3*y. Let h = y + 99. Suppose -h*c = 60 - 69. Solve -22 - c = -5*m for m.
5
Suppose 0 = 1413*s - 1444*s + 9052. Solve -25*t = -98*t + s for t.
4
Let b(y) be the second derivative of 2*y**3/3 - 103*y**2/2 - 77*y + 2. Let z be b(26). Solve -2*f + 7 = z for f.
3
Suppose 0 = -3*x + 3*i + 126, -4*x - 2*i + 3*i + 177 = 0. Solve 0 = 25*j - x*j - 40 for j.
-2
Suppose 63*g = 59*g - s + 137, 4*g - 5*s - 131 = 0. Solve 4 = 10*f + g for f.
-3
Let g be (-1)/3 - 92/(-6). Let u = g + -23. Let m = 13 + u. Solve -m*z + 9 = -6 for z.
3
Let q = -2282 + 2282. Solve q = 24*f - 16*f - 24 for f.
3
Let u(g) = 134*g + 1. Let y be u(1). Suppose 4*v + v + y = 0. Let n = 27 + v. Solve n*r = -r + 5 for r.
5
Suppose -11*i - 5628 = 10*i. Let r = i + 273. Solve -4*s - 9 = -r for s.
-1
Let v(o) = -o**3 - 21*o**2 - 106*o - 17. Let j be v(-13). Solve -10*z + 19 = j*z for z.
1
Suppose 12 = 4*a - 2*l, -4*a + 8 = 5*l - 4. Suppose -244 + 44 = -8*m. Let j = 25 - m. Solve 9 = a*b - j*b for b.
3
Suppose 10 = -2*l + 3*j, -3*l + 14 = -6*l + 4*j. Let o be 1*l - (-29 - -25). Solve 0 = 5*p + o + 23 for p.
-5
Suppose 9*v + 20 = 13*v. Suppose 47 = v*a + 12. Suppose 3*s + a - 13 = 0. Solve -s*o - 12 = -4 for o.
-4
Let y(m) be the third derivative of 3*m**5/10 - m**4/24 + m**3/3 - 12*m**2. Let d be y(1). Let f = 24 - d. Solve -f*v + 0 + 25 = 0 for v.
5
Suppose 0 = 3*x + 5*h - 20, 2*x - h - 4*h + 20 = 0. Suppose -y - 4 = 0, 2*o - 2*y = -42 + 56. Suppose 3*t - g - 6 = -x*t, -o*g = 0. Solve -3*f + t = -10 for f.
4
Suppose 2*y - 6 = k, -5*k - 7*y = -3*y - 26. Suppose 2*r + 2*r - 2*u = 26, -27 = -4*r + u. Suppose -14 = -r*j - 0. Solve k*w = 4 - j for w.
1
Suppose 48*p - 47*p - 2 = 0. Suppose -2*v - 5*m = -26, -14*v + p*m + 36 = -9*v. Solve -v*s + 2*s = -6 for s.
1
Suppose 4*a + 4*t + 8 = 0, -4*t + 2 = 6. Let i be (451/(-164))/(0 + a/4). Solve -i*p - 16 = -7*p for p.
-4
Let r(j) = j**3 + 3*j**2 + j - 1. Let c(f) = 9*f + 1. Let z be c(0). Let u be r(z). Solve 0 = -v - u + 9 for v.
5
Suppose 4*d - 85 = f, -2*f - 50 = 3*d - 5*d. Let l be d/(-6)*(-2184)/260. Solve -l = -3*a - 19 for a.
3
Suppose 3*a = -5*g + 427, -2*a = -4*g - 3*a + 343. Solve g = -58*o + 15*o for o.
-2
Let p be 5*(18/(-5) - 12/(-2)). Suppose p*h - 9 - 231 = 0. Solve -h = 4*q - 40 for q.
5
Suppose 41*g + 208 = 71*g - 32. Solve 9 = 17*o - g for o.
1
Let t be ((-18)/15)/2*-5. Suppose -t*o - c + 24 = 0, o = 3*c - 2*c + 4. Suppose 0 = -d + 3*q - 2 + 10, -3*q = -3*d + 12. Solve -5*j = -d + o for j.
-1
Let y = -1456 + 1459. Solve y - 1 = 2*w for w.
1
Let p(f) = -f**3 - 40*f**2 + 42*f + 41. Let q be p(-41). Suppose q = -3*k - t + 1, 5*k - 3*t + 0*t - 25 = 0. Solve k*h - 10 = -8 for h.
1
Let x(p) = 31*p**2 + 82*p + 57. Let i be x(-2). Solve -3*o = i*o - 120 for o.
6
Let c(o) = 3*o - 21. Suppose 5*f = 6*z - 2*z - 20, -f = -4*z + 36. Let b be c(z). Let a be b - 8*(-4)/(-8). Solve a*j = 3*j for j.
0
Suppose 5*i + 4*o - 127 - 88 = 0, -3*o = i - 54. Solve -i*b = -87*b - 144 for b.
-3
Let j(y) = -2*y**2 - 20*y - 43. Let i be j(-14). Let s = i - -157. Solve 7*w + s = 8*w for w.
2
Let b = -5598 + 5800. Solve -m - 201 = -b for m.
1
Suppose -2 = -3*b + 7. Let s be 364/(-18) + (4 - (-136)/(-36)). Let z be (11/(55/6))/((-3)/s). Solve b*c = -z + 2 for c.
-2
Suppose 2*b - 2*c - 19 = 13, 3*b - 38 = -2*c. Suppose -7*r + 70 = b. Solve -r*i + 11 - 19 = 0 for i.
-1
Suppose -64*w = -24847 + 23247. Let f be -2*(45/(-6))/(-3). Let p be f/2*(-32)/40. Solve p*g - 7*g + w = 0 for g.
5
Let y be (-1*31/(-12)*-4)/(2/(-78)). Solve y*n - 390*n = 52 for n.
4
Let w(c) = c - 21. Let i be w(23). Let v(f) = -f**3 - 7 + 0 - 6*f**2 - f + 5*f**i - 6*f**2. Let y be v(-7). Solve -d + 4*d = y for d.
0
Let c = -421 - -411. Let d be ((-304)/190)/(2/c). Solve 3*k - 15 = d*k for k.
-3
Suppose 0*q = 2*k + 4*q - 82, -4*q - 103 = -3*k. Let i(w) = 4*w**2 + 3*w + 13. Let m be i(-3). Let y = m - k. Solve y*n + 0 = -3 for n.
-1
Let f be (-257)/(-15) + (-148)/1110. Let x = -3 + f. Solve 0 = -13*s + x*s - 3 for s.
3
Suppose 7*y - 27 = 8. Suppose -7*j = -13*j + 12. Solve j = y*g + 7 for g.
-1
Suppose 8 = -2*a, 2*a = -0*w - 3*w - a. Solve 7*o - w = -25 for o.
-3
Let o be (820/(-8))/(6/(-9)) + 28/(-16). Solve 17*i + o = 67 for i.
-5
Let t(l) = 6*l**2 + 39*l - 58. Let i be t(6). Solve 2*n = 402 - i for n.
5
Suppose -4*g + 209 - 221 = 0. Let i be (g/(-2))/((-26)/(-52)). Solve -m - 2*m = i for m.
-1
Let f be -215 + 249 - (7 + (-1)/(-1)). Solve f + 5 = -31*j for j.
-1
Suppose -12 + 43 = q - 4*i, 2*q - 37 = 3*i. Suppose 3*k + 5*z + 46 = 6*k, 0 = -k - 4*z + 4. Solve 15*d - q*d - k = 0 for d.
3
Suppose -7*n = 2*n + 65*n - 2664. Solve -5*i - 13*i = n for i.
-2
Suppose 38*l = 31*l. Solve l = 5*o - 3*o + 4*o for o.
0
Suppose -30 + 106 = 38*r. Suppose 5*l - 10*l = -15. Suppose 1 = 2*f - l. Solve f*c = -2 - r for c.
-2
Let q(m) = -3*m - 46. Let o be q(-16). Suppose 19 = 2*h + 9, 35 = 5*z + o*h. Solve z*y + 6 - 21 = 0 for y.
3
Let q = 270 - 246. Suppose 6*i = q*i. Solve v + i = -4 for v.
-4
Suppose -7*c = -5*y - 3*c + 1147, 3*c - 672 = -3*y. Let 