t for j.
-2
Let f be (-5173)/(-63) + (-2)/18 + 2. Solve 81*x = f*x + 15 for x.
-5
Suppose -2*a + 137735 = 137733. Let y(f) = f + 4. Let z be y(-2). Solve z*n + 7 = -a for n.
-4
Let b(q) = -q**2 - 12*q + 33. Let z be b(-14). Suppose 26*d - 21*d - g = 1, 0 = 2*d + z*g - 22. Solve 0*w = -w - d for w.
-1
Let n(w) = -21*w**2 + 125*w + 6. Let a be n(6). Solve -34*b + a*b - 204 = 0 for b.
-6
Suppose -2*u + 8 - 1 = t, -t + 1 = 0. Suppose -5*j + 4*k = 7*k - 16, 5*j - 34 = u*k. Solve 0 = -3*z + 8*z - j for z.
1
Suppose a = -0*a - 5*r - 2, 2*a = r + 7. Suppose -h = -a*y - 5 - 1, 3*y = -3*h + 54. Solve -h = -w - 4*w for w.
3
Suppose -2*u - 282 = -2*n, -4*n - 2*u = -5*n + 144. Suppose n = -65*v + 67*v. Let k = -64 + v. Solve -1 = k*r + 14 for r.
-3
Suppose -94 = -4*i + 2*a, -2*a = -3*i + 2*i + 28. Suppose -f + 12*f = i. Suppose -b - 8 = -3*u, f*u + 6 = 4*b - 2. Solve 2*w = -2 - b for w.
-3
Let f be ((-1)/(-9))/(3/18)*3. Suppose -4*j + 3*b = -37, -5*b + f*b + 15 = 0. Solve -j + 8 = -p for p.
5
Suppose -6*n + 33 = -17*n. Let x be (-4)/(-1)*(0 - (n - -2)). Let s = -11 + 12. Solve s = -3*k + x for k.
1
Let z = 5 - -6. Let o(g) be the second derivative of g**5/20 - 11*g**4/12 - g**3/6 + 7*g**2 - 67*g. Let m be o(z). Solve 0*a = -m*a for a.
0
Suppose 47*u = 97*u - 350. Solve -2*v - 1 = u for v.
-4
Suppose -105 = -6*a + 9*a + 3*n, -3*n + 147 = -4*a. Let f = a - -36. Let x be 4 + 3 - (f + 3). Solve -6 + x = -h for h.
2
Suppose n = -3*t + 19, -4*t = n - 33 + 8. Solve 343*y = 344*y + t for y.
-6
Suppose 139 = 4*u + 9*z - 10*z, 2 = 2*z. Solve -20*k = -u*k + 45 for k.
3
Suppose -792 + 132 = -35*a - 20*a. Solve 21*s - 25*s - a = 0 for s.
-3
Let d(s) = -s**3 + s**2 - 1. Let i be d(-2). Suppose 0 = 3*r - 6*y + y - 23, 2*y = -4*r + 22. Suppose o = -r + i. Solve 2 - o = 3*a for a.
-1
Suppose -3*i - i + 47 = q, q - 36 = -3*i. Let w(j) = 733*j + 5133. Let x be w(-7). Solve -x = 3*m - i for m.
3
Let t be 5/3 + (-2)/(-6). Let v be 3/(-5) - (1752/15)/(-8). Suppose 3*u = 2*u - 4*f - 7, -4*u - t*f + v = 0. Solve -4*o = -5*o - u for o.
-5
Suppose 2*b - 1 = y, -4*y = 3*b - 5*y - 4. Suppose 16 + 9 = 2*n - 5*u, 27 = b*n - 4*u. Let k be 12/n - ((-4)/(-10) + 0). Solve f = -0*f + k for f.
2
Let b(l) = 23*l**2 - 8*l - 7. Let v be b(-1). Solve -20*w + v = -12*w for w.
3
Let v = -137 - -84. Let p = -46 - v. Suppose 0 = -4*m - t + 15, p*m - 2*t + 14 = 11*m. Solve m = w + 1 for w.
3
Suppose 0 = 5*p - 1087 + 1157. Let k(j) = j**2 + 13*j - 7. Let g be k(p). Solve -g*b + 25 = -2*b for b.
5
Let x = 1352 + -840. Let o = 518 - x. Solve 16 = -o*i - 2*i for i.
-2
Let b(c) = -c**3 - 20*c**2 + c + 22. Suppose -4*j + 0 = 80. Let a be b(j). Solve -a - 1 = -w for w.
3
Suppose 4*i - 1367 = -3*b, 3*b - b - 908 = -2*i. Solve b*m + 22 = 460*m for m.
2
Let v = 5859 + -5856. Suppose 4*i + 98 = -2. Let l be 3/v + 2 + -3 - i. Solve l = 7*p - 2*p for p.
5
Let g(o) be the second derivative of 2*o**3 + 24*o**2 + 244*o. Let f be g(-4). Solve f = 175*w - 171*w - 12 for w.
3
Suppose 3*h = -2*a + 4*h + 2, 2*a + 4*h = -8. Suppose -2 + 7 = -b, a = -2*x + b + 9. Let w = -5 - -12. Solve -3*t - x = w for t.
-3
Let g be 8*1 - 0/(17 - -27). Solve -47 = g*a - 103 for a.
7
Suppose -12508 + 12442 = -3*q + g, -2*g + 22 = q. Let f(h) = 2*h - 4. Let m be f(4). Solve 6*r - m = -q for r.
-3
Suppose -2*k + 9 + 31 = 0. Let j be (k/15)/(6/99). Solve -3*l + j = 10 for l.
4
Suppose 11 = -3*u + 26. Suppose -1 = u*r - 11. Suppose r*i - 3 = 3. Solve i*w = -6 + 3 for w.
-1
Let u = 17 + -29. Let b(f) = -3*f + 18. Let j be b(u). Let n = 56 - j. Solve n = 4*g - 2 for g.
1
Let r(o) be the first derivative of 3*o**2/2 + 27*o - 76. Let l be -1 + 3/(6/(-8)). Let m be r(l). Solve -2*g - m = -6*g for g.
3
Suppose -38 = 2*n - 38. Suppose 2*o = -2 - n, -o = -d + 3. Solve -y = -d*y + 5 for y.
5
Suppose -5 = 4*l - 13. Suppose -6 = -4*b + l. Let f be (-2)/(12/9)*b/(-1). Solve -2*j - f*j = -5 for j.
1
Let g be -9*(-11 + -3 - -10). Solve 40*v = 49*v - g for v.
4
Let l = 4750 - 4743. Solve 27*o = l*o + 80 for o.
4
Let l = 237 - 235. Let g be (l - 3)*(5 + -2*6). Solve g = -a + 3 for a.
-4
Let g = 972 + -968. Solve 0 = -48*n + 44*n + g for n.
1
Suppose 5418*t = 5369*t + 1666. Solve 21*x = -t*x - 440 for x.
-8
Suppose 0 = 3*r - 5*d - 49, 5*r = d - 0 + 45. Suppose 0 = -g + 3*h - 4, 4*g = -0*h - h + 36. Suppose o = -g + r. Solve o = -t + 4*t for t.
0
Suppose -2*d = -d + c + 5, 0 = -3*d + 5*c + 25. Let v be (d + 0)*7/14*2. Solve v = w + 4 - 6 for w.
2
Suppose 4*m = 5*m + 61. Let j = -61 - m. Suppose -5*i + 12 + 3 = j. Solve -i*x = -7*x for x.
0
Let o be 3/((-9)/(-33)) - 1. Suppose 38*z - 1187 + 1111 = 0. Solve 3*h + z = -o for h.
-4
Let i be (0 + (-1)/4)*(-8 + -8). Suppose x = 5*x - i. Solve v = x - 3 for v.
-2
Suppose 4*b + 0*b = 60. Let g(r) = 3*r**2 - 44*r + 22. Let d(c) = -2*c**2 + 45*c - 20. Let t(n) = 7*d(n) + 6*g(n). Let p be t(-13). Solve 5*w + p = -b for w.
-4
Suppose -56 - 10 - 54 = -40*a. Solve -2*r - a = 5 for r.
-4
Let i be ((-1)/2)/(58/18328). Let y = i - -185. Solve y = 7*f + 6 for f.
3
Let v be 672/(-1568) - (-108)/7. Solve 0 = -15*k + 18*k - v for k.
5
Suppose h + 5*g + 87 = 4*h, -3*h + g = -75. Let s be (-352)/h + (-2)/6. Let b be (6/s)/((-4)/20). Solve 3*l + b*l = 25 for l.
5
Let k(g) = -g**3 - 21*g**2 - g - 15. Let m be k(-21). Suppose -20 = m*x + 16. Let c be (x/15)/((-1)/30) - -3. Solve 2*h - 7*h = -c for h.
3
Suppose -382 - 28 = -5*w. Solve -7*f + 75 = w for f.
-1
Let i(h) = 10*h**2 - 14*h - 2. Let z be i(5). Let c = -77 + z. Let q = c - 99. Solve 6 = 4*f - q for f.
2
Let k(c) = -c**3 - 7*c**2 + 36*c + 273. Let b be k(-7). Solve 11*p = -23 - b for p.
-4
Let d(v) = -v**2 + v + 8. Let y be d(5). Let z(l) = -l**3 - 13*l**2 - 13*l + 10. Let q be z(y). Suppose 3*r = -10 + q. Solve -r*m + m = 0 for m.
0
Let q = 2020 - 2014. Solve -13 = -q*z - 49 for z.
-6
Let f = -412 - -403. Let j(l) = -34*l - 301. Let h be j(f). Solve -4*o - 2 = -h*o for o.
2
Let b be 68*(60/16 - 3). Let v = b - 47. Suppose u - 2 = -g, u - 4*g = 3*u + v. Solve 0 = 4*p + u - 18 for p.
3
Suppose -218*y + 223*y = q + 79, 5*y = -3*q + 63. Solve 301*a - y = 304*a for a.
-5
Suppose 3*l + 34 = 4*c, 3*c - 23 = -3*l + 34. Solve c = 6*g - 17 for g.
5
Let d be (148/(-36))/(9/(-81)). Suppose -37 = y + 2*x, -158 = 5*y + 2*x + 27. Let r = d + y. Solve -16 = -r*u + 4*u for u.
-4
Let q be 95/19 - (3 + 9 - 3). Let y be ((-92)/(-28) - 3)/(q/(-168)). Solve 15*s - 15 = y*s for s.
5
Let m = -24896 + 25132. Solve -m = 10*a - 276 for a.
4
Let m(p) = 13*p**3 - 20*p**2 + 22*p + 29. Let g(l) = -23*l**3 + 39*l**2 - 45*l - 58. Let x(h) = -4*g(h) - 7*m(h). Let a be x(14). Solve 0 = 2*v - 5 - a for v.
3
Suppose 2*u = -2*g + 6, -2*g + 0 + 6 = 3*u. Suppose -o + 1 = 0, -4*f = -u*o - 2*o + 54. Let d = f + 19. Solve 0 = d*h - h - 10 for h.
2
Let g = -8223 - -8235. Solve -g = 10*u - 42 for u.
3
Suppose -20 = -5*i, -2*l + 3*i + 60 = -38. Suppose 4*q + 5*x - l = 2*x, 2*q - 5*x - 21 = 0. Suppose 8*w - q*w = -10. Solve -w = s + 1 for s.
-3
Let b be 2 + (-8 + 75 - -2 - -5) + 7. Solve -b*l + 10 = -78*l for l.
2
Suppose -2*q + 4 = 0, 5*t = 5*q + 373 + 1682. Let l = t + -410. Solve -l*k - 1 = 5 for k.
-2
Suppose 0 = 24*t - 4516 - 701 + 441. Solve -t*d = -207*d - 16 for d.
-2
Let n be 34/4*(-15 + 9905/595). Solve n*k = 19*k for k.
0
Let r = -26294 + 26305. Solve -r*l - 36 = -113 for l.
7
Suppose 4*n - 4*w - 28 = 76, -2*n - 5*w = -80. Let t = n - 29. Suppose t = u + m, -2*u = -3*u + 2*m - 2. Solve 10 = 2*y - u for y.
5
Suppose s - 15 = -2*s. Let i(c) = 6*c - 4. Let q be i(3). Let o be -6 + q - (0 - -6). Solve -s = -m + o*m for m.
-5
Let l(k) = -k**3 + 4*k**2 + 16*k - 39. Let m be l(4). Solve 0 = -m*g - 38 + 188 for g.
6
Let g(k) = 2*k**2 + k + 2. Suppose -10*z - 8 = 2. Let l be g(z). Let f = -53 - -58. Solve 2*y - f*y = -l for y.
1
Let x(k) = -k**2 - 11*k + 27. Let a be x(-12). Solve -a*v = -24*v + 36 for v.
4
Let j(v) = -1990*v + 7984. Let c be j(4). Solve -466*x - c = -460*x for x.
-4
Suppose 26 = 3*u + 4*d, -2*u + 4*u + 5*d - 29 = 0. Suppose -2*n - 5*l + 31 = 0, -5*n + 23 = -4*n + 4*l. Solve u = x + n for x.
-1
Suppose 339 = 40*q - 381. Solve q*n = 50*n + 128 for n.
-4
Let s(o) be the first derivative of 2*o**2 - 61*o + 40. Let v be s(19). Suppose v*y - 25 = 10*y. Solve -y*i - 41 = -16 for i.
-5
Let q(d) = -3*d**2 + 