 20 = -14 for k.
-3
Let x be (15 - -216)/(1 + (-8)/6). Let l = x - -705. Solve -3*k + l = -6*k for k.
-4
Let j = 35 + 49. Suppose 4*b + j = 5*b. Suppose -7*l + b = -2*l - d, 3*d = -5*l + 88. Solve 4*p + l - 1 = 0 for p.
-4
Suppose -329 + 198 = -5*u - 2*y, 3*u - 90 = -5*y. Solve u*s = -26*s - 408 for s.
-8
Let r(u) be the third derivative of u**4/24 + 23*u**3/6 - u**2 + 37. Let m be r(-23). Solve m = 3*j - 2*j - 4 for j.
4
Suppose 94*v + 568*v = 57594. Solve v*x = 96*x + 9 for x.
-1
Let x(n) = -442 - 485 + 1005 + 24*n + 2*n**2. Let j be x(-6). Solve 2 - j = 2*c for c.
-2
Let s be ((4*-4)/(-2))/((-172)/(-129)). Suppose 63 = 2*q + 5*q. Solve -q*r + s = -11*r for r.
-3
Suppose -15*t = -11*t - 16. Let z(b) = 2*b**3 - 7*b**2 - b - 11. Let n be z(t). Solve -n - 1 = -2*q for q.
1
Let z(f) = f**3 - 3*f**2 - 11. Let m be z(4). Let q be 0/m + 2 + 2. Suppose -9*k = -q*k - 5. Solve a + k = 3 for a.
2
Let c(b) = b**3 - 109*b**2 + 716*b - 189. Let v be c(102). Solve -19 = v*i - 34*i for i.
1
Let y(w) = 167*w + 142. Let a be y(-3). Let f = a - -371. Solve 21*u - f*u = 36 for u.
4
Let c(y) = 2*y**3 + 8*y**2 - y + 7. Let d be c(-3). Solve -7*x - d = 21 for x.
-7
Let u(i) = i**3 - 7*i**2 - 5*i + 25. Let q be u(7). Let z(k) = 2*k + 25. Let s be z(q). Solve -s*x + 4*x + 1 = 0 for x.
1
Suppose -161340*q = -161373*q + 132. Let a be (2 - (-2)/(-1))/2. Solve a = 7*j - q*j - 15 for j.
5
Suppose -154*h = 4*x - 150*h - 2212, -5*x + 2741 = -3*h. Solve -554*n = -x*n - 16 for n.
4
Let d(w) = -8*w + 29. Let u(x) = -x - 1. Let f(n) = 3*d(n) - 15*u(n). Let c be f(11). Solve -1 = c*y + 11 for y.
-4
Let r = 1919 - 1896. Solve -r*p + 9*p - 28 = 0 for p.
-2
Let h = -200 + 205. Let d(a) = -3*a - 9. Let l be d(-4). Solve -l*j - 2*j = h for j.
-1
Let m(s) = 105*s - 1984. Let g be m(19). Solve 0 = -2*w - 17 + g for w.
-3
Let h be 0 + 5 + 1 + -4. Let o be (h + (-88)/14)/(12/(-56)). Solve 0 = -0*s + 4*s - o for s.
5
Let p(n) = -431*n - 3825. Let k be p(-9). Solve -47*b - 21 = -k*b for b.
3
Let m(f) be the first derivative of f**4/4 - 2*f**3/3 - 3*f**2/2 - 2*f + 3. Let w be m(-2). Let i be ((-10)/w)/((-1)/(-6)). Solve -15 = 2*v - i*v for v.
5
Let k be (143 - 158 - 122/(-8))*(-184)/(-2). Solve -13*p + k = 114 for p.
-7
Let b(a) = -a**3 - 5*a**2 + 7*a + 5. Let n be b(-6). Let j(f) = -14 - 15 + 43 - 2*f - 15. Let z be j(n). Solve z = q - 0 for q.
1
Let g be (26/(-10) - -1)/((-20)/50). Suppose -12 = g*o - 200. Let j = o + -39. Solve -j = -3*v + 4 for v.
4
Let v(w) = -58*w + 410. Let x be v(7). Solve -x - 17 = -7*h for h.
3
Suppose 4*r + 28 = -4*v, v - 3*r = -8*r - 7. Let g(l) = l + 47. Let p be g(v). Suppose -3*i - 7*i = -p. Solve 22 - 6 = i*w for w.
4
Let m(a) = -5*a - 113. Let b be m(-28). Suppose b = 15*i - 3. Solve -17 + i = 3*l for l.
-5
Suppose 81 = -4*h + v - 38, -1 = v. Let g = h + 36. Solve a - 2 = -g for a.
-4
Suppose 336 = 6*i + 2*c, 5*i - 2*c - 96 = 195. Solve 32*h - 217 = -i for h.
5
Suppose -6*f = 1390 - 1504. Solve 12*o - f*o + 21 = 0 for o.
3
Suppose 0 = -5*l - 10, 5*p + 4*l = -10 - 13. Let s be (18/(-27))/((-2)/p) + -41. Let g = 44 + s. Solve -d - d = g for d.
-1
Let p = -118 - -120. Let l(a) = -a**3 + 3*a**2 - 2*a + 3. Let o be l(p). Suppose -2*c = o*h - 6, 2*h - 4*c - 12 = 8. Solve -h*n = -n for n.
0
Suppose -4*j - 112 = -t - 0*t, -3*t = 4*j - 368. Suppose 115*y + 125 = t*y. Suppose 5*c - y = s + 4*s, -4*s - 4 = 0. Solve 5 - 1 = -c*n for n.
-1
Let z(b) = -b**2 - 3*b + 79. Let f be z(7). Let d be -2 + 6 + -6 + f. Solve -5*u - 2 = -d*u for u.
1
Let w be ((-4)/(-3))/((-20)/(-15)). Let k be 5 - 6*w/3. Solve 0 = s + k*s - 8 for s.
2
Suppose -12 = h + 2*r, 4*h + 15 = -2*r - 21. Let t(u) = -u**2 - 12*u - 13. Let c be t(h). Solve -4*w + c = 27 for w.
-2
Let t = -161 - -161. Suppose t = -31*r + 28*r. Solve r = -5*h - 22 + 7 for h.
-3
Suppose -23*k = 6*k - 5*k. Let c be (k/53)/((-4)/(-2)). Solve 12*u = -c - 60 for u.
-5
Let m(j) = -j**2 - 15*j - 33. Let r be m(-12). Suppose -4*o + 0 = -3*c + 9, c = 3*o + r. Solve -6 + c = -h for h.
3
Suppose -207 = -19*l + 16*l. Suppose -26 + l = 2*h - 3*y, h + 3*y = 8. Solve h*a - 22*a - 10 = 0 for a.
-2
Let o(n) = -n**3 + 51*n**2 + 102*n + 264. Let y be o(53). Solve -y*p + 76*p = -48 for p.
-2
Let t(x) = -3*x + 5. Let c be t(-8). Suppose -26 - c = 5*l. Let g be 33/(-9) - -3 - l/3. Solve -1 - 14 = -g*j for j.
5
Let d be (10/(-15))/(2/(-15)) - 1. Suppose -d*n + 3*n = 0. Suppose u - 4*c + 0*c = 10, n = 3*u - 4*c - 22. Solve t = u*t - 5 for t.
1
Suppose 0 = 5*a + 2*l + 47, 17 + 1 = -2*a - l. Let u = a - -21. Let q be (-5)/10 - (-1)/2. Solve 2*o + u + 0 = q for o.
-5
Let v = 1302 + -1270. Solve -16*a - v = -0*a for a.
-2
Suppose 356*z = 384*z - 1288. Solve 23 = -z*q - 161 for q.
-4
Let s(g) = g**3 + 39*g**2 + 2*g + 64. Let q be s(-39). Let c be (450/60)/(q/(-8) - 1). Solve i + c*i + 22 = 0 for i.
-2
Suppose x + 2*x - 27 = 0. Suppose 0 = -x*c + c + 24. Solve c*m - 1 = 14 for m.
5
Suppose -5*c = 3*j - 4*c - 49, -5*j + 4*c + 93 = 0. Solve 13 + j = 10*y for y.
3
Let g(n) = 9 + 8*n - n - 2. Let t be g(-1). Solve -3*j + 14 - 2 = t for j.
4
Let l(u) = 2*u**3 + 19*u**2 - 34*u - 11. Let q be l(-11). Solve q*k - 24 = 12*k for k.
-2
Let c = 651 + -363. Suppose 293*f - 95 = c*f. Solve 23*n = f*n + 20 for n.
5
Suppose 0*t - 4*v = -t + 68, -2*t + 148 = -2*v. Let l = -51 + t. Suppose 9*x - 20 = l. Solve x*d = d for d.
0
Let j(d) = 68*d - 544. Let y be j(8). Solve y = p + 24 - 20 for p.
-4
Let b be (-1)/(-2) + (-95)/(-10) + 2. Suppose 2*x = -5*u + b, -2*x - 8 = -5*u + 20. Suppose o - u*o = 5*o. Solve -4*f + 0*f = o for f.
0
Suppose -217*r + 1089 = -1081. Solve -16*d = -r*d + 48 for d.
-8
Suppose 4*z - 9*z + 230 = 0. Let t = z - 38. Solve -33 = 5*h - t for h.
-5
Let i(y) = -y + 10. Let r be i(5). Let g be (3 - 2)/(-3*(-7)/(-1974)). Let t = g - -96. Solve -t*s + 9 = -r*s for s.
-3
Suppose -g + q + 12 = 0, 0 = 2*g + q + q - 36. Suppose -14*z + 17*z = g. Suppose -z*d - 14 = f, 5*f - d = -3*d - 1. Solve -2*k - 3 = f for k.
-2
Let f = -94 - -96. Suppose -5*p = 2*l - 86, 0*l - 5*l = -f*p + 46. Suppose -3*i = -p - 18. Solve -g - i = 2*g for g.
-4
Let z(y) = -y**3 + 60*y**2 - 320*y - 208. Let j be z(54). Solve 84 = -j*o + 148 for o.
8
Let p be 6/7 + 1620/756. Suppose 0 = 3*u - 18 + 6. Solve p*w = u*w - 1 for w.
1
Let b = 14 - 10. Suppose -26*p + 2949 = -187*p + 4076. Solve 13 + p = b*j for j.
5
Let q(i) = -i**3 - 6*i**2 - 72*i - 523. Let v be q(-7). Solve 0 = -v*b + b + 58 for b.
2
Let i be (2/(-4))/((-3)/24) - 4. Solve i = 21*g - 19*g + 8 for g.
-4
Let j(x) = 3*x - 32. Let a be j(12). Let s be (-2)/a*1*(0 - 10). Solve 0 = -s*m - 12 - 13 for m.
-5
Let f be (0 - 2)*7/(-14). Solve -3*g = f + 5 for g.
-2
Let z(i) = 103*i + 23. Let d be z(7). Let f be (-4)/(-10) - (-5)/(75/d). Suppose 0 = -5*s + f - 20. Solve -3*g = -0 - s for g.
2
Let b(t) = t**3 + 7*t**2 - 9*t + 7. Let q be b(-8). Let s = -1373 + 1377. Solve -j + s*j = -q for j.
-5
Let l(x) = x**2 - 8*x + 10. Let r(z) = -z**2 + 8*z - 9. Let t(g) = -3*l(g) - 2*r(g). Let m be t(6). Suppose m = -6*d + d. Solve d = -s + 5 - 1 for s.
4
Suppose -7*h + 4*h = -45. Let t be 4/(-40)*-4 - (-99)/h. Let w(j) = j**3 - 5*j**2 + 4*j + 5. Let c be w(4). Solve c*a - 2 = -t for a.
-1
Let s be (0 + -2)*5/(-2). Let z = -271 + 4. Let k = z - -271. Solve s*f - k = f for f.
1
Suppose -16*y + 40*y = 0. Solve y = -4*h - 12*h for h.
0
Suppose 5*q = -10 + 40. Let r = -4 + q. Solve r*o + 0 = -6 for o.
-3
Let b be ((-39)/(-6))/((-4)/(-32)). Let t be b/9 - (0 - 10/45). Let z be 3/t*(3 - (-12)/(-4)). Solve z = 2*j - 4*j for j.
0
Let a be (-43 + 42)*(1 + -1 - 7). Suppose -3*h = 5*b - 60, b + 2*h - a*h + 16 = 0. Solve -8*q = -5*q - b for q.
3
Let q(j) = 18*j + j**3 - 8*j**2 - 3*j**3 + 20*j**2 - 14 + 3*j**3. Suppose 9*x + 55 = -35. Let s be q(x). Solve -w = -3*w + s for w.
3
Suppose 4*o - 8 = -4*l, 3*l - 2*l = 3*o - 6. Suppose -z - o*d = -12, -4*z - d - 2 = -15. Solve -15 = z*k + k for k.
-5
Let j = 39 + -42. Let a be j/(-12)*2*(-6 + 28). Solve 2*z + a = 5 for z.
-3
Suppose 24*t = 30*t - 24. Suppose -20 = x + t*r, -x - 4*r = -r + 15. Solve x*n + 2 = n for n.
2
Suppose 0 = -13*w + 211 - 159. Solve 60 = w*x + 16*x for x.
3
Suppose 9 = 5*t + y, -3*t + 1 = -y - 6. Suppose 0 = 3*a - 4*h - 43, -t*a = 2*h + 7 - 31. Solve -10*d = -a*d + 15 for d.
5
Let r be ((-44)/(