= j for a.
0
Let h = 16 - 16. Suppose h = 162*b - 160*b - 10. Solve 2*n + 3 - b = 0 for n.
1
Let x(m) = 18 + 8 - 8*m + 33. Let h be x(7). Suppose d = 1 + 1. Solve -h = -d*w + 7 for w.
5
Suppose -2*l = -i - 4, -5*l - 4*i + 53 = 69. Solve l = -38*c + 57*c - 57 for c.
3
Suppose 267 = 10*b - 193. Solve b*h = 63*h - 102 for h.
6
Suppose -31*o + 1752 - 1535 = 0. Let b(u) be the third derivative of u**5/60 - 3*u**4/8 + 8*u**3/3 + u**2. Let s be b(o). Solve -2 = g - s*g for g.
2
Suppose 3*y = -3*f - 6, -y = -0*y - f - 6. Suppose -3*t = 7*v - 5*v - 113, 5*v - t = 240. Suppose 39*w - v*w = -20. Solve -q - y = -w*q for q.
2
Let c = -1474 - -1477. Solve -4*l + l = c*l for l.
0
Let t = -377 - -302. Let p = -67 - t. Solve p*s - 2*s = -30 for s.
-5
Let t(f) = 114*f + 2. Let n be t(1). Let h = n + -69. Suppose -45*q - 10 = -h*q. Solve 4*o + o = -q for o.
-1
Let n = -219 - -222. Suppose -4*g + 3 = -5*g, -n*x = -g - 3. Solve x*d - 20 = -5*d for d.
4
Let y = 281 + -141. Suppose -2*p - y = 52. Let j be p/(-80)*(1 + 6/4). Solve j*t - 5 = 4 for t.
3
Let i(o) = 516*o + 1034. Let t be i(-2). Solve -t*a + 11*a = 45 for a.
5
Let r be (-3)/(-42) + ((-389992)/112)/(-41). Solve r*w + 22 = 63*w for w.
-1
Let a(d) = d**3 + 4*d**2 - 4*d - 6. Let t(n) = -n - 1. Let p be t(2). Let o be a(p). Let s = -129 - -133. Solve o = s*u - u for u.
5
Let d(t) be the first derivative of -t**3/3 + 7*t**2/2 - 10*t + 1. Let k = 302 - 297. Let c be d(k). Solve c = -5*m - 0*m for m.
0
Suppose 2*w - a = -1, -3 - 2 = -a. Suppose -5*h = w*d - 39, -2*d = 6*h - 7*h - 9. Solve 11*p - d*p = 16 for p.
4
Let f(h) = h**2 - 29*h + 335. Let l be f(11). Solve 29*k - l + 50 = 0 for k.
3
Let q = -309 + 321. Let b be 9/(-6)*(-20)/q*2. Solve b*y - 4*y + 3 = 0 for y.
-3
Let d = 43 + -39. Let p = -83 - -86. Let x be 1/((-14)/p - -5). Solve d*q + 1 = -x for q.
-1
Let t = 1499 - 1370. Solve -6*l - 123 + t = 0 for l.
1
Suppose 7*g = 6*g + 322. Suppose 5*z - g + 42 = 0. Solve z = 5*n + 31 for n.
5
Suppose 323 = 18*n + 107. Solve 41 = n*s - 19 for s.
5
Let u = 40 - 43. Let l be (-68)/(-20) + u - 2/5. Solve l = 3*p - 15 for p.
5
Let f = 15 - 9. Let b(p) be the third derivative of p**4/24 + 5*p**3/6 - p**2. Let x be b(-3). Solve v - f = -x*v for v.
2
Let d = -285 - -286. Let i be (-6)/(5 + d)*-3. Solve i = y + 1 for y.
2
Let p be 2 + 175/55 - 8/44. Solve 0 = -8*y - 11 - p for y.
-2
Suppose -26627*w - 11352 = -26649*w. Solve 18 = -w*x + 525*x for x.
2
Let o(y) = 53*y + 1171. Let d be o(-22). Solve 65 = 18*q - d*q for q.
5
Suppose 22*k = 2546 + 6320. Solve 0 = -404*m + k*m - 7 for m.
-7
Let t(m) = 5*m**2 - 250*m - 1278. Let z be t(-5). Solve z*q = 95*q - 4 for q.
-2
Suppose 0 = -3*j - 10*k + 9, 44*j + 15 = 49*j - 3*k. Solve j*c + 11*c = 13*c for c.
0
Suppose -451*f + 24*f + 1913 = -222. Solve -439 = -f*v - 419 for v.
4
Suppose -4 = d + 4*f, 3*d - 4*f + 40 = -2*f. Let a be (21/(-6) + 2)/(9/d). Solve a*x + 9 = -x for x.
-3
Let n(h) = 53*h + 125. Let m be n(-1). Solve -619*w = -628*w - m for w.
-8
Suppose -5*b = -5*l + 35, 5*l - 3*b = 17 + 12. Suppose 0 = -2*k + 5 + 25. Solve n = l*n - k for n.
5
Let v(y) = 14*y**3 + 2*y**2 - 3*y + 2. Let w = 23 + -22. Let j be v(w). Let n be 140/j - 8/6. Solve -z = 3*z - n for z.
2
Let q = -137 + 134. Let b be (12/1 - 2) + 1 + q. Solve b - 4 = -4*p for p.
-1
Let f(a) = -a**3 - 37*a**2 + 39*a + 42. Let v be f(-38). Suppose v = h - 0. Suppose -6*q + 2*q + 3*s + 12 = 0, -3*s = -q + 12. Solve q = 2*o - h*o for o.
0
Let u = 1588 + -1562. Suppose -n - 5*o + 24 = -0*o, -16 = -4*o. Solve 10 = -n*k + u for k.
4
Let y = 721 + -647. Suppose 357 = -53*t + y*t. Solve -5 = t*o - 12*o for o.
-1
Let v = 485 - 312. Let n = -173 + v. Solve -z + 2 = -n for z.
2
Let n = -128 - -160. Suppose 0 = -g - 2*x + 8, -g + 5*g + x - n = 0. Solve -g = -r - 13 for r.
-5
Suppose -5*f - 29 + 644 = 0. Suppose f - 114 = p. Solve -t - p = -14 for t.
5
Let r = 104 - 55. Suppose a = -5*x - 168 - 22, -2*x + a = 69. Let k = x + r. Solve 5*b + k = 2 for b.
-2
Let a = 390 + -357. Suppose 6*f - a = -i + 10*f, 0 = -3*f - 6. Let u(o) = -o**3 - o**2 - 4*o - 3. Let y be u(-2). Solve 0 = 4*r - y*r + i for r.
5
Let v be 9 - (-1 - -26) - -37. Solve -v*h = -20*h + 5 for h.
-5
Let s = -24 - -28. Suppose -s*a = -3*c - 0*c + 44, -2*a = 2*c - 20. Let t be c/(-42)*(-7)/2. Solve 6 = f + t for f.
5
Let j = 1174 + -1081. Solve j*a = 72*a - 21 for a.
-1
Suppose 3*h - 11 - 37 = 0. Suppose -4*r = -h, 0 = y + r + 4*r + 11. Let o = y - -41. Solve -3*l - o = 2 for l.
-4
Let x(p) = p**2 + 19*p + 4841. Let l be x(0). Solve 6*c = -4883 + l for c.
-7
Let y(k) = -17*k + 205. Let j be 378/105*3*10/9. Let c be y(j). Solve -3*h + 2*h = -c for h.
1
Let t(n) = n**2 + 4*n - 25. Suppose -2*j - 17 + 1 = 0. Let r be t(j). Solve 0 = 6*p - r*p - 2 for p.
-2
Let s = 3760 + -3683. Solve 50 = -87*p + s*p for p.
-5
Suppose -102*s + 266*s - 1804 = 0. Solve s*u = 13*u + 2 for u.
-1
Let c(p) = p + 28. Let i be c(-7). Suppose -15*m + i*m = 60. Suppose m*h - 240 = -5*h. Solve 4*r = -0 - h for r.
-4
Let m be 29 + -3*65/39. Solve -m*r + 23*r = 3 for r.
-3
Let k be 1/(-6) + (126/(-108))/(-7). Suppose -3*c + 7 = 1. Solve k = 6*d - 10 - c for d.
2
Suppose -5*o + 25 = -5*u, 8 = 5*o - 2*u - 11. Solve 11 = -o*w - 1 for w.
-4
Let q(c) = -28*c + 1254. Let i be q(44). Solve -10*m - i + 2 = 0 for m.
-2
Suppose 3*r - 204 = -222, c - 4*r = 194. Solve 0 = 22*f + 60 - c for f.
5
Suppose 3*p = o - 0 - 4, -p - 2 = -o. Let g be (-558)/(-12) + 1 + p/2. Let u = -42 + g. Solve -u*l - 4 - 6 = 0 for l.
-2
Let y(g) = -g**3 + 3*g**2 + 6*g + 6. Let j be y(5). Let a(n) = 18 - n**2 + 3 - 13*n - 3. Let u be a(j). Solve u*f = f + 6 for f.
2
Let u be (-14)/(-189) + 7910/378. Solve 0 = 31*j + u - 52 for j.
1
Suppose 4*v - 181 = -2*n + v, -4*v = -2*n + 160. Let w = n + -77. Solve -22 + 67 = -w*c for c.
-5
Suppose -24*o + 20 = -22*o. Suppose -o*x + 7*x = 9. Let l(j) = 2*j + 9. Let c be l(x). Solve c = -i + 4 for i.
1
Let q(l) = -10*l + 155. Let c be q(17). Let x be c*(37/(-5) + 6). Solve x = 4*u + 3*u for u.
3
Suppose 27 = -3*q - o - 6, 4*o - 36 = 2*q. Let w be 15 + q + (-1 - -28). Let t = w + -26. Solve t - 24 = -5*v for v.
4
Let u(j) = -2*j**3 - 44*j**2 + 205*j - 38. Let a be u(-26). Solve a = 8*w - 13*w for w.
-8
Let l = -74 + 115. Let f = 289 + -280. Suppose -8*a = f - l. Solve -a = -k + 2*k for k.
-4
Let d(n) = -n**3 - 5*n**2 + 6*n + 1. Let j be d(-6). Let a = 310129 + -310126. Solve 0 = -a*x + 2*x - j for x.
-1
Suppose 17*k = 14*k + 2*y - 8, -2*k - 2*y = 22. Let d(a) = a**3 + 8*a**2 + 11*a - 5. Let m be d(k). Solve -s - m = 1 for s.
-2
Let c(o) = -2*o**2 - 162*o + 242. Let x be c(-29). Solve -9 = -x*v + 3261*v for v.
-3
Suppose -11*s + 367 - 26 = 0. Suppose 0 = 13*f - s - 8. Solve 12*n - 9*n = f for n.
1
Let q = -23829 + 23834. Let g be -9 - 2 - (-4 + 1). Let t = g + 9. Solve -t = q*y - 6 for y.
1
Suppose 675 = 3*v + 42*v. Suppose 14*s + 1 = v*s, 3*s + 9 = 2*c. Solve 0 = -10*r + 12*r - c for r.
3
Suppose -168 = -a - 3*o + 154, -4*o + 644 = 2*a. Solve -7*x = -294 + a for x.
-4
Let o be (-435)/(-21) - (-4)/14. Let v = 745 + -736. Suppose v = -18*c + o*c. Solve c*d - 2 = -14 for d.
-4
Let n(j) = j**3 - 9*j**2 + 3*j + 55. Let u be n(8). Suppose u*k = -18*k - 0*k. Solve k = -w - 4*w - 20 for w.
-4
Suppose 3*h + 4*s - 226 = 0, h + 0*s = -s + 76. Let k be 4/6 + h/18. Solve -9*r = -4*r + k for r.
-1
Suppose -2*i + 0*i = 4, -x - 4*i = 4. Suppose 0 = -b - x*g - 1, 0 = 3*b + 3*g - 14 - 1. Solve 0 = -11*n - 40 + b for n.
-3
Suppose -b + 5*b + 5*i = -39, -i = 3. Let r be b/(-9) + 8/(-6)*-1. Suppose -5*s - 15 = g + r*g, -3*s + 2*g = -10. Solve 5*x - x + 4 = s for x.
-1
Let z(m) = -54*m + 18. Let j be z(5). Let g be 2/(-10) - j/35. Solve g - 5 = -2*h for h.
-1
Let t be (-1 - 1*-5) + 0. Let g be -3 - -4 - (-3)/(-3). Suppose -a - 2*m + 22 = 0, -a - 2*a - 2*m + 62 = g. Solve 9*u + a = t*u for u.
-4
Suppose -10*w + 1 + 19 = 0. Solve -5*y - 21 = w*y for y.
-3
Suppose -y - 3 + 7 = 0. Suppose -3*a = a - y. Let r be (a + 0 - 4)/((-6)/8). Solve r*p + 14 = 2 for p.
-3
Suppose -22*c = -17*c + 5*a, 12 = -4*a. Solve -5 = 2*y - c for y.
-1
Let t(d) = 3*d**2 + 8*d + 2. Let m(n) = 11*n**2 + 32*n + 7. Let w(v) = -2*m(v) + 9*t(v). Let y be w(-3). Suppose l - y = -0*l. Solve -4*g - g - l = 0 for g.
-5
Suppose -154*h + 157*h = q - 31, 0 