= -32*g. Solve 5*t + 25 = -g*t for t.
-5
Let r = -14 - -24. Let y(a) = -5*a**3 - 171*a**2 + 323*a - 34. Let d be y(-36). Solve -3*k - r = d for k.
-4
Suppose -r - 9*r = 170. Let t = r + 55. Let d be (-4)/(-3)*57/t. Solve -1 = v - d for v.
1
Let y(t) = -5*t + 86. Let z(u) = 2*u - 43. Let a(c) = 4*y(c) + 9*z(c). Let p be a(-23). Suppose -5*g + 7 = -p. Solve -g*n + 2 = -0 for n.
1
Let u(r) = -13*r + 19. Let h(m) = -m**3 + 5*m**2 + 2*m + 14. Let i be h(6). Let p be u(i). Suppose 0 = 150*j - p*j - 3. Solve 0 = -g + j + 2 for g.
5
Suppose 28 = 3*j + 4 + 6. Solve -j*a + 79 - 67 = 0 for a.
2
Let x(t) = 15*t**2 + t - 2. Let o be x(-2). Let c = o - 53. Suppose m = -8*q + 4*q + 16, -2*m + 12 = c*q. Solve m = j + 3*j for j.
0
Let p be 40/15*(-6)/(-2). Let k(h) = 0*h**3 - 13 + h - 10*h + h**3 - 9*h**2 + 19*h. Let f be k(p). Solve 4*r - 3*r - f = 0 for r.
3
Let q(j) = 10*j + 318. Let d be q(-31). Let b be d - (-3 + 12 - 9). Solve 4*z + 28 = b for z.
-5
Suppose 10*a - 3*a - 1620 = -83*a. Solve -358*p = -349*p + a for p.
-2
Let g be (-3 + (-40)/(-15))*-213. Let y = g - 68. Suppose -y*l = -6 - 3. Solve 7*s - l*s = 0 for s.
0
Let a = 295 - 295. Let j be ((-10 - -4) + 6)/(1 - a). Let w = -4 + 12. Solve 0*n + 2*n - w = j for n.
4
Let m = 8799 - 8757. Solve 46*w = 32*w - m for w.
-3
Let g(i) = -7*i**2 + 44*i - 43. Let x(o) = 10*o**2 - 66*o + 64. Let z(b) = -7*g(b) - 5*x(b). Let h be z(21). Suppose -h*n = 13 - 17. Solve 4*d - 6 = n*d for d.
3
Suppose 0 = -f - 5*l - 12, -3*f - 5*l = -0*l + 26. Let b be 5/((-25)/3)*(f + 2). Solve b = -3*p + 18 for p.
5
Suppose -4*g + 6 = -4*t - 26, 5*g - 80 = -5*t. Suppose -2*j + 2*c + 16 = 8, g = -4*c. Solve 4*u - j = 5*u for u.
-1
Suppose -85*t + 116*t = 124. Solve 3 = -t*s + 3*s for s.
-3
Let a(v) = v**3 + 8*v**2 - 12*v - 28. Let i be a(-9). Let x(j) = -14*j - 1. Let s be x(i). Suppose 44 = s*z + 18. Solve -z*q = q for q.
0
Suppose 17 = 5*o + 3*c, -5*o + 279*c - 276*c + 23 = 0. Solve o = 13*k - 22 for k.
2
Suppose 74*q - 82*q = -672. Solve q = -7*k - 5*k for k.
-7
Let z be (-1 + 1)/(56 - 58). Solve z = 3*y - 5 - 10 for y.
5
Suppose -889*w + 1457*w = 1704. Suppose -m = 2*m. Solve w*g + m*g = 12 for g.
4
Suppose 4*y + 4*k + 36 = 0, 4*k = -14*y + 13*y - 21. Let s(b) be the first derivative of -b**2/2 - 5*b - 1. Let m be s(y). Solve m*w = 4*w for w.
0
Suppose -2*c - 23*a + 132 = -27*a, 5*c = 4*a + 366. Solve 7*f - c = -19*f for f.
3
Let m = 14 - -8. Suppose -c - 6*x = -2*x + 18, -5*x = c + m. Let u be -8*(c - 12/(-8)). Solve -u*r = r + 10 for r.
-2
Suppose -21*c + 9*c + 48 = 0. Suppose 0 = 5*w + 3*x - 29 - 11, 32 = c*w - x. Solve 6*f - 10 = w*f for f.
-5
Let g be 32 - 216/378*((-10)/(-4) - -1). Solve 313*a = 307*a + g for a.
5
Suppose r + 1 = 2*u, 165 = u + 2*r + 167. Solve u = -23*c + 39*c + 96 for c.
-6
Suppose 3*u + 45 = 5*s, 5*u = 2*u - 15. Let t be 6/10*(6 - 1). Let r = 487 + -481. Solve t*h = s*h + r for h.
-2
Suppose 2*c + 25 = 7*c. Suppose -11*s + 258 - 93 = 0. Suppose -s*k + 112 = k. Solve 3*t - c = k for t.
4
Let h(u) be the first derivative of 10*u**3/3 + 23*u**2 - 8*u - 65. Let r be h(-5). Solve -6 = r*w - 14*w for w.
3
Let t(v) = -v**3 + 11*v**2 - 19*v + 16. Let l be t(7). Let i = l - 80. Let k be ((-8)/28)/(i/21). Solve -4*h = -2*h - k for h.
3
Suppose 2*h - 11 = -5*j, 0*h = 3*h - j - 8. Let t(f) = f + f**2 + 0*f + f - h. Let u be t(-3). Solve -5*a - 10 + u = 0 for a.
-2
Suppose -16*r + 215 + 377 = 0. Suppose x + 33 - r = 0. Solve x*a - a - 12 = 0 for a.
4
Let t = -10 - 2. Let j be ((-3)/t)/(0 + (-4)/(-368)). Suppose 5*h - 8*p - j = -4*p, -2 = p. Solve -l - h = -2*l for l.
3
Suppose -193 = 3*h - 7. Let k = -197 + 132. Let f = h - k. Solve 5*y = f*y for y.
0
Let n = 34 + 105. Let h = n + -86. Solve -52 = u - h for u.
1
Let x(t) = 10*t**2 + 488*t - 88. Let o be x(-49). Solve 44*a = 142 - o for a.
3
Suppose 0 = -4*w + 5*c - 6, 39*c = -3*w + 35*c + 11. Solve 0 = -2*l + 9 - w for l.
4
Suppose 35*l - 2296 = -2*l - 19*l. Solve -14*o = -l*o + 189 for o.
7
Let x(v) = -v + 12. Let b be x(6). Let k(f) be the first derivative of -f**4 - 2*f**3/3 - 3*f**2/2 - f - 30. Let u be k(-1). Solve -u*z = -2*z + b for z.
-3
Suppose -40*a + 294 = -26*a. Let y = -222 - -240. Solve -11*m - a = -y*m for m.
3
Let l be ((13 - (-583)/(-22))*-8)/2. Solve 27*w - l*w = -135 for w.
5
Let c be -16 + (126/(-9) - -35). Let f(n) be the first derivative of 2*n**2 - 3*n - 2. Let k be f(3). Solve -24 = c*b - k for b.
-3
Let j be 1*-2*9/(-6). Let n(u) = -9*u - 12 + 6*u - 44 - 5. Let g be n(-21). Solve -g*f + 20 = j*f for f.
4
Let j(f) = f**2 - 10*f + 24. Let d be j(7). Suppose 5*v + b = 32, -2*v - 2*b = -d*v + 2. Let r(c) = c**2 - 5*c + 3. Let y be r(v). Solve p + y = -2*p for p.
-3
Suppose 110*t - 4830 = -28*t. Solve -t*b - 13*b = -432 for b.
9
Suppose 204 = -2*q + 5*y, -4*y = q - y + 124. Let h = -45 - q. Solve 2 = -h*n + 68*n for n.
2
Let z be -5*(-15)/450*1446. Solve 24*c - 217 = -z for c.
-1
Let a(m) be the first derivative of m**4/4 + 4*m**3/3 - m**2/2 + 13*m + 5723. Suppose 0 = -3*j - 2*j - 20. Let s be a(j). Solve -s*u = -19*u for u.
0
Let u(h) = h**3 + 8*h**2 + 15*h + 56. Let j be u(-7). Solve j = -7*l - 18 - 24 for l.
-6
Let b(k) = k - 3. Let x(h) = 6*h - 16. Let v(f) = -11*b(f) + 2*x(f). Let o be v(1). Solve -p + 2*p - o = 0 for p.
2
Let s be 16/12 + 21/(945/480). Solve 3*m = s - 3 for m.
3
Suppose -3*r - 17 = -116. Let p = r + -30. Let s be (-4 - -5)*(-4 - -4). Solve 3*n + 6 + p = s for n.
-3
Suppose 15*u - 24 = 29*u - 16*u. Solve -u*m - 82 + 22 = 0 for m.
-5
Let m(z) = -103*z - 1952. Let x be m(-19). Solve -5*b - 2*b = x*b for b.
0
Suppose -v - 3*v - 3*o = -57, 2*v + 5*o = 39. Let r be (-8)/((-168)/33) + v/28. Solve 15 = -r*g + 5*g for g.
5
Let l = 64 - -66. Suppose 129*q = l*q - 4. Solve -t + q*t - 9 = 0 for t.
3
Let v = 20372 - 19655. Solve 6*g - 723 = -v for g.
1
Let m(b) be the first derivative of 3*b**2 + 42*b - 1. Let t be (3 - 2)/((88/(-396))/(8/6)). Let x be m(t). Solve 0*n + x = -3*n for n.
-2
Let k(f) = -11*f**2 - 24*f + 122. Let a be k(6). Let n = 424 + a. Solve -n = -5*l - 31 for l.
-5
Let v be 113 - ((-7)/(126/(-69)) + (-4)/(-24)). Solve -4 = 111*y - v*y for y.
-2
Let d(w) = -w**2 - 6*w + 37. Let q be d(-10). Let y be q*1/(1/(-3)). Solve -6*h + y + 15 = 0 for h.
4
Suppose -65*b + 59*b = -246. Suppose -b*x + 56*x = 90. Solve x = -r + 4*r for r.
2
Let b(x) = 4*x**2 + 2. Let i be 10/4*(-30)/(-75). Let k be b(i). Suppose -2*u = u - 9. Solve -u*m + 9 = -k for m.
5
Let j = 0 + 0. Suppose -32169 = -73*k - 31439. Solve -6*h + k*h = j for h.
0
Let j = 2024 + -1763. Solve j*o = 259*o for o.
0
Suppose -13*d + 27 = -4*d. Suppose -k + u + 76 = 0, 3*k = 2*k - 2*u + 61. Let z = k - 65. Solve 0*v = -d*v + z for v.
2
Suppose -k - 3*r - 15 = -4, 5 = -5*k - 5*r. Let c be 40 + (9/1 - k). Let q = 48 - c. Solve -2*m + 2 = -q*m for m.
-2
Let s = -2981 - -3181. Solve 13*p - s = -252 for p.
-4
Let u = 12 - -54. Let z = u + -62. Suppose -z*h - 9 = -7*h + b, -2*h + 5*b = 7. Solve -11 - h = 3*d for d.
-5
Let i = -27011 - -27011. Solve i = -2*v - 3984 + 3994 for v.
5
Suppose 4*x - 101 = 3*w + 33, -5*w = 3*x + 204. Let k be -3*(-10)/(-45) - w/9. Solve -k = 4*j - 0 for j.
-1
Let j(q) = 3*q + 2. Let c(o) = -o**2 + 5*o + 2. Let f be c(4). Let v(z) = -3*z + 19. Let w be v(f). Let m be j(w). Solve -m*r = 2 - 12 for r.
2
Let u = -37 + 37. Let n(m) = -m**3 + 13*m**2 - 14*m + 26. Let o be n(12). Suppose 0*l + 20 = 4*l. Solve u = l*g - 3*g - o for g.
1
Let c be -1 - -15 - (24 + -16). Solve -23*l + 102 = -c*l for l.
6
Let k(t) = 2*t**2 + 9*t - 7. Suppose -11 = -0*j + 2*j - h, 2*j - 4*h = -8. Let x be k(j). Suppose x*f = 8*f. Solve -1 = d - f*d for d.
-1
Let d(h) be the second derivative of -h**4/12 - 2*h**3/3 + 3*h**2/2 + 200*h. Let q be d(-3). Solve 0 = -q*r + 9*r - 12 for r.
4
Suppose 7*l + 7 = 42. Suppose 7 = -4*o + l*n, o + 1 = -0*o + n. Solve -u - o - 1 = 0 for u.
-3
Let w(o) = 3*o - 3*o + 6*o + 11*o - o**2 + 21. Let z be w(18). Let x be (-3 + (-11)/(-3))/(-2)*-21. Solve z*p + 4 = x*p for p.
1
Let b = -135 + 207. Let h = 127 + -52. Solve -h*i = -b*i for i.
0
Let s = -24851 + 24922. Solve s*v + 102 = 20*v for v.
-2
Let w(o) = 2*o + 15*o - o**3 + 2*o + 19*o**2 + 24. Let u be w(20). Suppose -5*d + 15 = 4*q + q, 2*q + u*d = 6. Solve 8 = f - q*f for f.
-4
Let f = 7380 + 