7*x + 58 = 16. Solve -8*n + 2*n + x = 0 for n.
1
Let g = 45 - 15. Let m = -25 + g. Solve -10 + m = 5*n for n.
-1
Let t(u) = -u**3 - 23*u**2 - 24*u - 41. Let y be t(-22). Suppose 2 = y*f - 19. Solve -4*k = -f*k for k.
0
Let r be (-1)/(-5) + (-1008)/(-10). Let c = -100 + r. Solve c = -o - 4 for o.
-5
Let n = -1400 - -1405. Let g = 1 - 1. Solve -5*p + n = -g for p.
1
Suppose 2*u = 3*f + 23, -2*f = 2*u - 7*u + 30. Solve u*o - 5*o - 3 = 0 for o.
-3
Suppose 5*o - 6*o = 0. Let d = o + 1. Solve 7 + d = 4*r for r.
2
Let z(m) = -m**2 + 3*m + 2. Let t be z(4). Let l be 3/(22/8 + t). Let i = 59 - 59. Solve i = 5*n - 11 - l for n.
3
Let i(o) = -65*o**3 + 2*o**2 + 2*o - 3. Let j be i(1). Let g = 88 + j. Suppose -3*y + 2*t - 7*t = -5, -3*t - 1 = y. Solve -y*w + g = -1 for w.
5
Let v(b) be the third derivative of b**6/120 - 2*b**5/5 + 11*b**4/12 + 11*b**3/2 - 7*b**2. Let z be v(23). Solve -3*u + 8*u = -z for u.
-2
Suppose -3*n = -5*i - 20, 0*n - 3*n + 8 = -2*i. Suppose -6 = -z - 4. Let y = 289 - 286. Solve -z*c + y*c + 1 = n for c.
-1
Suppose 2*k - 3 = q - 1, 5*q - 5*k = -35. Let p = 14 + q. Let m be 4*(4 - 6/p). Solve 4*r + m = -0 for r.
-1
Let b(z) = z**3 - 4*z**2 + 5*z - 4. Let g be b(3). Suppose g*x + 4*j = 2, 4*j + 0*j = -x - 7. Suppose -200 = -92*d + 492 - 140. Solve x = 3*i - d*i for i.
-3
Let v = 25 - 22. Suppose -v*c + 17 = f, 3 = -f + 2*c - 5. Solve 3*r + f = -7 for r.
-3
Let g = 38 + -19. Suppose g*y = 25*y - 30. Solve -y*t = -t for t.
0
Let x be 9/(-12)*2*2. Let r(a) = a**3 + 5*a**2 + 3*a - 4. Let l be r(x). Solve -l*k + 17 = -8 for k.
5
Let n(w) = w**3 + 28*w**2 - 27*w + 69. Let h be n(-29). Solve -94 = h*d - 39 for d.
-5
Let b be (-3)/27 - (-152)/72. Solve 5*p + 3 = -b for p.
-1
Suppose 2*p + 2 = 3*p, u - p - 8 = 0. Let v(i) = i**3 - 9*i**2 - 6*i + 9. Let s be v(u). Let b = s + -34. Solve b = 3*c + 2*c for c.
3
Let r = -217 + 227. Let i(w) = 3*w - 3. Let y be i(3). Solve -k = -y*k - r for k.
-2
Let h = -17 + 33. Suppose -2*o = -z - 12, h = 5*o - 3*z - 15. Suppose 0 = 4*d - 13*d + 7*d. Solve o*k + 3 - 13 = d for k.
2
Suppose -5*l = -s + 2*s + 51, 3*l = -4*s - 17. Let o be 12 + l - (-2 - 12). Solve -2*p + o = 3*p for p.
3
Let f = 18 - 13. Solve f = -3*h - 4 for h.
-3
Suppose -10*l + 300 = -8*l. Let j = l + -145. Solve -j*z + 2 = -6*z for z.
-2
Suppose 5*z + 5 = -i, 0 = 5*i + 3*z - 19. Solve 10*h = i*h + 10 for h.
2
Suppose -17*a = -657 + 572. Solve 10 - 5 = a*i for i.
1
Let s = 239 + -160. Let z = 82 - s. Solve z*n = -n - 8 for n.
-2
Suppose 0 = -4*v + 3*x + 1355, v = -9*x + 4*x + 310. Solve -4*z = -315 + v for z.
-5
Let z(d) = 5*d - 85. Let u be z(0). Let o = u - -87. Solve -o*g + 25 = -7*g for g.
-5
Let k(y) be the third derivative of 0*y - 7*y**2 + 1/6*y**3 + 1/12*y**4 + 0 + 1/3*y**5. Let t be k(-1). Solve 4*a = 7 - t for a.
-3
Let t(p) = -p**2 + 4*p + 3. Let n be t(3). Let s(y) = y + 4*y + 4*y**2 - n*y - 2*y. Let a be s(2). Solve 2*k - a = 7*k for k.
-2
Suppose -11*n - 7*n = -162. Solve 0 = -6*x + 15 + n for x.
4
Let y = -279 - -282. Solve m + y = 6 for m.
3
Let v = -5 + 6. Suppose -1 = a - 2*g + v, -4*g + 8 = 0. Solve -a*z - 13 = -3 for z.
-5
Suppose -242 = -12*r - 2. Solve -2*l = 3*l + r for l.
-4
Let d = 1 - 2. Let o be (-9)/6 + (-25)/(-10). Let s = d + o. Solve 0 = -4*g - s*g for g.
0
Let v(w) be the first derivative of -w**4/4 - 5*w**3/3 - 2*w**2 + 2*w + 3. Let u be v(-4). Let q(l) = -l**2 + 3*l + 4. Let n be q(4). Solve n*o = u*o - 8 for o.
4
Suppose 0 = -21*v + 24*v - 30. Suppose -6*j + v + 8 = 0. Solve 6*b = j*b + 3 for b.
1
Let x be 1/(6*(-4)/(-48)). Solve -8*v - x - 6 = 0 for v.
-1
Let j = -44 + 14. Let w = j - -40. Solve 2*x - 4*x - w = 0 for x.
-5
Let f(g) be the first derivative of -g**3/3 + g**2 + 9. Suppose -5*u = -1 - 9. Let y be f(u). Solve y*z + 3*z - 15 = 0 for z.
5
Let y(l) = 2*l**2 - 21*l + 16. Let u(f) = 3*f + 25. Let q be u(-5). Let t be y(q). Solve -5*z - t - 9 = 0 for z.
-3
Let v = -39 + 58. Let o = v - 12. Let m(j) = -j**3 + 5*j**2 + 7*j - 4. Let i be m(6). Solve -o = i*f + 3 for f.
-5
Suppose -5 = 5*j, 0*u + j + 301 = 5*u. Suppose -x + p + 10 = -2, p = -5*x + u. Solve h + x = -3*h for h.
-3
Let u(h) = -2*h**3 - 3*h**2 - 4*h - 12. Let j be u(-2). Solve 3*x = -j*x for x.
0
Let b be -3*(-4)/6 + (-7)/(-1). Solve -7*j + b = -10*j for j.
-3
Let w = 21 - 15. Let x be -18 + (1 - (-2)/(-1)). Let k = x + 34. Solve i + k = w*i for i.
3
Let y = -1 - -8. Suppose 3*k + 14 = 2*m, 5 = 4*m - k - 13. Suppose 36 = m*x - 5*v, x - 22 = 4*v - 2. Solve y = -x*r - 9 for r.
-4
Suppose -2*p = -2 + 10. Let d be p*((-8)/4)/2. Solve 0 = d*c - 5*c for c.
0
Let y(w) = w**2 + 4. Suppose 5 - 11 = 2*g. Let t be y(g). Solve 1 - t = 3*m for m.
-4
Let q = -1444 + 1450. Solve 3 = q*g - 3 for g.
1
Suppose -44*a + 50*a - 18 = 0. Solve -3 - a = 3*x for x.
-2
Let h(n) = 3*n + 84. Let m be h(-23). Let a(c) = -c + 20. Let l be a(m). Solve l*z - 3 = 2*z for z.
1
Suppose 3*o + 9 = 0, -2*o + 19 = 4*n + 1. Solve n*y + 25 = 11*y for y.
5
Suppose 4*a - 8 = -0*a. Suppose -n + x + 0*x + 4 = 0, 2*n + 5*x = -6. Suppose n*t = -t + 12. Solve 2 = t*r - a for r.
1
Suppose -20 = -22*z + 68. Suppose -6*p + 3*p + 3*f = -18, -12 = -5*p - 4*f. Suppose -p*u + 14 = -10. Solve z*y = 6*y + u for y.
-3
Let t(g) = 20*g - 134. Let d be t(7). Solve 5*p - d = 14 for p.
4
Suppose -6*p = -p - 10. Let o be 2/7 + 2/(-7). Suppose 142*l + 33 = 153*l. Solve o = -l*g + g + p for g.
1
Let k be 13 + (2 + 8)*-1. Solve k*b = b + 4 for b.
2
Let g be -6 - (-255)/23 - (-2)/(-23). Solve -93 = g*n - 88 for n.
-1
Let v be (3/(-5))/((-8)/40). Suppose -4*x = 3*u - 5 - v, -2*x = -u - 14. Suppose -9 = 2*d + 3*y - 34, 3*d = x*y - 10. Solve 0 = -l + d for l.
5
Let a = -30 - -20. Let r(f) be the first derivative of -f**2/2 - 7*f - 4. Let k be r(a). Solve -k*c + c = -2 for c.
1
Let h = 11 + -3. Suppose 2*k = -5*c + 4*k - h, -3*c = -3*k + 12. Let r(m) = -m**3 + 12*m**2 + 15*m - 1. Let v be r(13). Solve -v = -c*s + 5*s for s.
-5
Suppose h + 0*h = 7. Let k(r) = r + 8. Let n be k(h). Suppose -4*w + n = v, 0*w = w - v. Solve w*s + s = -4 for s.
-1
Let f = 397 - 373. Solve 14 - f = 5*v for v.
-2
Let g be (-14)/(-2) - (23 - 19). Suppose 0 = -3*c - 4*x + 16, 6*c - g*c = 3*x - 12. Solve -3*r + 7*r - 8 = c for r.
2
Let y(x) = -10*x. Let r(g) = 29*g + 1. Let n(o) = -3*r(o) - 8*y(o). Let h be n(-1). Solve 0*z = -2*z + h for z.
2
Let n = -15 - -17. Suppose n*z = -3*z. Let k be (-23)/(-6) - (-4)/24. Solve m + 0*m + k = z for m.
-4
Let k(h) be the second derivative of h**3 - 13*h**2/2 - 18*h. Let q be k(4). Solve 4*p - q - 1 = 0 for p.
3
Suppose -4*t + 147 = -q, 5*t + 4*q - 161 = 49. Let g = t - 36. Solve g*w - 9 = -w for w.
3
Suppose 0*w = -5*w - 15, 7 = -x - 4*w. Suppose -57 + 82 = x*v. Solve v = 6*u - u for u.
1
Let f = 73 + -52. Suppose -5*q + 5*j + 19 + f = 0, 0 = -2*q - 5*j - 12. Let n = q - 2. Solve n*u - u = 0 for u.
0
Let h(i) = -2*i**2 + 31*i + 19. Let n be h(16). Solve 0*u - n*u - 12 = 0 for u.
-4
Suppose -5*y - 26 - 4 = 0. Let x = 9 + y. Suppose -25 = -5*l, 5*l + 50 = 5*p + x*l. Solve 0*r + p = -4*r for r.
-3
Suppose 5*h - 174 + 164 = 0. Solve -3*m = h*m + 20 for m.
-4
Let r(j) = -5*j + 92. Let z be r(18). Suppose l = -v + 9, 2 = 5*l - 5*v - 13. Solve 0 = z*u - 0 + l for u.
-3
Let t be -2*(-3)/(-18) + 13/3. Solve 9*y = 10*y - t for y.
4
Suppose 5*h = 0, 4*h = -5*q - 0*q - 10. Let p = q - -4. Suppose -5*k + b = 4*b - 65, -2*b = -3*k + 20. Solve 4*l = p*l - k for l.
-5
Suppose 10 = 5*p - 0. Let k(b) = -b**2 - 3*b + 4. Let f be k(-3). Suppose 0 = f*m + m. Solve c + p = -m for c.
-2
Let j be (-595)/(-238) + 3/(-6). Let r(v) = 8*v + 3. Let w(i) = i. Let s(k) = r(k) - 4*w(k). Let y be s(3). Solve 0 = -j*d - 3*d - y for d.
-3
Suppose 5*t - 6*q = -3*q - 164, 3*t = -5*q - 112. Let x = t - -38. Let a be 30/4 + (-2)/4. Solve -x*p - a = 9 for p.
-4
Suppose -3*o + 8 = -2*y, -5*o + y + 5 = 6*y. Let c be 2 + (2 - (-2)/o). Let j be 3 - (-2)/(-1) - -1. Solve -7*f = -j*f - c for f.
1
Let f = -3 + 6. Suppose f*z = -0*z. Let k be (-68)/(-16) - (-4)/(-16). Solve -20 + z = k*d for d.
-5
Let l be (-1 - (-1)/(-1))*(126 - 128). Solve -l*v + 6 = -6*v for v.
-3
Let t be 3*-1 + (23 - 3). Let p = -9 - -12. Suppose p*m - 10 = t. Solve -m = -c + 4*c for c.
-3
Let n be ((-16)/(-28))/((-10)/(-35)). Suppose 0 = 5*d + n*s - 20, -d + 2*s - 4 - 4 