 = -4 for z.
-1
Let k = -60 + 65. Suppose k*u = -c - 4, 2*c = 5*c + 3*u. Solve -2*v + 3 + c = 0 for v.
2
Let f(d) = d**2 - 6*d + 2. Let j(n) = -n**2 - 11*n - 12. Let y be j(-9). Let o be f(y). Solve -o*h = 3*h - 10 for h.
2
Let z(j) = -j**2 + 38*j - 345. Let r be z(15). Solve r*u = -u - 2 for u.
-2
Let u = -4 + -2. Let a = -6 - u. Solve a*p = 4*p + 16 for p.
-4
Suppose -62 = 3*s + 10. Let k be (-18)/s + (77/4 - 0). Solve k + 0 = -4*l for l.
-5
Suppose 3*b + 4 - 1 = 0. Let j(f) = -5*f**3 - f - 1. Let g be j(b). Suppose g*a + 27 = 77. Solve 2*n - 2 = -a for n.
-4
Suppose -15 = -f - 3*t, -3*f - 3*t - 12 + 33 = 0. Solve -f*k + 4*k + 4 = 0 for k.
-4
Let x(t) = -25*t + 1. Let b be x(-1). Suppose -7*f + 4*f = 2*o + 10, -5*f = 20. Solve b = -5*z + o for z.
-5
Let r = 58 + -55. Let a be 172/42*r - (-4)/(-14). Solve -2*m - a = m for m.
-4
Suppose 4*c + 7 - 67 = 0. Suppose -o - 2*o = -c. Solve -12 = o*f - 2*f for f.
-4
Suppose -y - 3 = 24. Let i be y/(-4) + (-16)/(-64). Solve -2*m + 25 = -i*m for m.
-5
Let c be -1*(-2)/(-8) - 99/(-12). Suppose -3*j + c*s + 30 = 3*s, 5*j - 63 = 4*s. Solve -y = 2*y + j for y.
-5
Suppose 4*d - 132 = -5*b, 0 = 4*b - 3*d - 120 + 33. Solve b = -9*n + 3*n for n.
-4
Let j = -66 + 77. Solve -7*b - j - 10 = 0 for b.
-3
Let m(z) = -11*z - 110. Let b be m(-10). Solve b = -9*u + 2*u + 7 for u.
1
Let a(o) = 2*o**2 + 11*o - 3. Let q be a(-6). Suppose q = 4*u - u. Suppose 5*b - 2*y - 15 = 3*y, 5*b - 15 = -3*y. Solve b*j - u = -16 for j.
-5
Let h = -88 - -147. Let d = h - 55. Suppose y - w = 10, 5*y - 6*w = -4*w + 35. Solve d*u - 17 = -y for u.
3
Suppose -3*u = -2 + 11. Let o be (-23)/(-3) - u/9. Suppose -34*a = -28*a. Solve 2*k = -a*k - o for k.
-4
Suppose -102*r - 18 = -111*r. Solve r*l + 5 = 13 for l.
4
Let y(s) = -s. Let b(n) = -12*n + 34. Let v(f) = -b(f) + y(f). Let i be v(4). Solve i + 2 = -4*x for x.
-3
Let z(b) = 2*b + 8. Let k be z(14). Suppose -d = d - k. Let o = -17 + d. Solve s + o - 2 = 0 for s.
1
Let c = 6 - 4. Let n = -27 + 47. Solve n = c*b + 2*b for b.
5
Suppose 0 = c - 2*b + 10, 4*c - 6*b + 2*b + 20 = 0. Suppose 3*l + 24 = 4*l. Suppose 7 = -k - 3*f + l, 2*k + f - 9 = 0. Solve c = y + k*y for y.
0
Let a = 57 + -54. Suppose 3*v = 6*v - 6. Let n be -2*(2 - 17/v). Solve a = -2*b + n for b.
5
Suppose n + 69 = 4*w, -8*n = -3*w - 4*n + 68. Let t = 16 - 8. Suppose -12*l + t*l = -w. Solve 9 = -x + l*x for x.
3
Let c be 14/6 - 2/(-3). Let q(b) = -b**3 - 5*b**2 + 4*b - 4. Let k be q(-6). Let a = 32 + -32. Solve a = t + c*t + k for t.
-2
Suppose -p - 3 = -2*p. Let l = -56 - -40. Let i = l - -28. Solve i = -p*f - 0 for f.
-4
Let z(s) = -45*s - 257. Let q be z(-6). Solve -q*b = -11*b - 6 for b.
3
Suppose -g + 5*d - 12 - 2 = 0, 4*d = 20. Let c be (g/22)/(1/(-4)). Let z be (-20)/(-15)*(-9)/c. Solve 2*n = z + 2 for n.
4
Suppose 7 = g + 14. Let p(a) = -2*a**3 - 14*a**2 - 3*a - 6. Let f be p(g). Solve -l = 2*l - f for l.
5
Suppose -h - 4*o + 180 = 180, -3*h = -3*o. Suppose -21 = -2*k - 9. Solve 8*w - 5*w - k = h for w.
2
Suppose 672*q - 680*q = -32. Solve -8*o + 8 = -q*o for o.
2
Let t(w) = -w**3 + 7*w**2 - w + 6. Let y be t(7). Let i be ((-64)/20)/(y/15). Let q = i - 23. Solve -6*r + r = -q for r.
5
Let s = 428 - 407. Solve 18*k - s*k = -15 for k.
5
Suppose 11*i = 2093 - 1906. Solve i = 10*z - 3 for z.
2
Let j(g) be the third derivative of g**4/24 - 2*g**3/3 - 18*g**2. Let l be j(9). Solve s = l*s - 4 for s.
1
Suppose -3*n + 4 = -8. Let l be n - (-15)/(-3) - (0 - 1). Solve l = -d - d - 10 for d.
-5
Suppose 4*f - 7 - 13 = 0. Let n(x) = 595*x**3 + x**2 - 4*x + 2. Let t be n(1). Let p be 2/(-5) + t/135. Solve f*j - p*j = 2 for j.
2
Suppose 8*x + 119 = 15. Let q(y) = -y - 9. Let b be q(x). Solve 0 = h - 0 + b for h.
-4
Let p be 0 + (-4)/(-2) + 1. Suppose 3*i + u = -2*i + 10, -6 = -p*i + 5*u. Suppose -2 = -g + 2*o, g + 5*o + 17 = 47. Solve 0 = 2*l + i - g for l.
4
Suppose 3*u = -2*i + 2, 20*u + 5*i + 45 = 25*u. Solve 6 + 6 = u*l for l.
3
Let f(h) = -h**2 - 5*h - 3. Let p be f(-9). Let o = p + 45. Solve 4*y + 8 = o*y for y.
4
Let c = 122 - 122. Suppose 2*j - 4*b - 32 = c, 5*b + 1 = -4*j - 0. Solve 8*g - 6 = j*g for g.
3
Let f = -452 - -483. Solve 5*p = -f + 6 for p.
-5
Let t = 26 - 55. Let j = t - -29. Suppose j = 2*q + 2*q - 12. Solve q*w = -w + 8 for w.
2
Suppose 0 = a + 4 - 10. Suppose 7*j - 25 = a*j. Solve 5*l - j = -5 for l.
4
Suppose -350*k + 339*k + 1441 = 0. Solve 128*d - 6 = k*d for d.
-2
Let u = 6 + -2. Suppose 8 = -4*k + u. Let x be ((-6)/10)/(k/5). Solve x*d + 3 = -3 for d.
-2
Let m be 16/(12/3) + -74. Let f = m - -70. Solve f*c = -4*c - 16 for c.
-4
Let a = -49 + 43. Let v be a/2*5/15*-5. Let c(q) = -q + 7. Let r be c(0). Solve -v*z = 2 - r for z.
1
Let v(a) be the first derivative of -7*a**2/2 + 36*a - 8. Let i be v(5). Solve 0*n + i = -n for n.
-1
Let s(z) = -17*z**2 - 2 + 5 - 2 + z**3 + 3. Let k be s(17). Solve 0 = 2*n - 4*n + k for n.
2
Let n(b) = 2*b - 5 - b + 0*b. Let d be n(5). Let x be (0 - d) + 4 + 0. Solve -m + x = -1 for m.
5
Suppose i = -0*i + 5*t + 33, 5*i + 2*t = 138. Solve -11*f = -17 + i for f.
-1
Suppose 9*l - 110 = -2*l. Solve -l = -76*r + 74*r for r.
5
Let j(s) = -5*s + 53. Let k be j(9). Solve k*f = 3*f + 15 for f.
3
Let t be (-2 - 1)/(1/((-2)/2)). Suppose 14*n = 17*n - t. Solve 5*f - n = 9 for f.
2
Let j(s) be the second derivative of 3*s**2 - s + 1/12*s**4 + 4/3*s**3 + 0. Let m be j(-8). Solve 5*r + m = 31 for r.
5
Let f = -30 - -24. Let t be ((-3)/(f/2))/(4/8). Solve 4 + 4 = -t*o for o.
-4
Let d be (-78)/(-65) - 1/5. Let y be 2/8 - (-15)/4. Solve -d + 17 = y*p for p.
4
Let n be (4 + (-36)/8)/((-3)/12). Let c be (-1 - (0 - 0))*(-4)/n. Solve 0 = -c*f + 6 - 0 for f.
3
Let q(i) = -9*i - 9. Let f be q(-7). Suppose 18 = -9*g + f. Solve g*c - 25 = -5 for c.
5
Suppose -9*n - 10 = -14*n. Let k be (4/(-8))/(1/(-26)). Suppose 0 = 16*z - k*z - 6. Solve -20 = -n*u - z*u for u.
5
Let v(u) = 3*u - 17. Let p be v(7). Suppose -p*c - 12 + 24 = 0. Solve -c*j = -11 - 4 for j.
5
Suppose 0 = 3*b + 11 - 32. Solve -l + 2 = b for l.
-5
Let g(b) = b**2 + 54*b - 321. Let f be g(6). Solve -f + 19 = 4*d for d.
-5
Suppose -3*l = -8*l + 55. Suppose 0 = 2*c + 9 - l. Solve -4*q - c = -9 for q.
2
Let l(b) be the third derivative of -b**6/120 + b**5/15 - b**4/24 + b**3/6 + 2*b**2. Let c be l(2). Suppose c = 5*k + 2. Solve 5*a + k + 4 = 0 for a.
-1
Let k(b) = 2*b - 23. Let h(t) = -4*t - 19. Let j be h(-8). Let m be k(j). Solve -m*o - 4 = 2 for o.
-2
Suppose -5*x - 2*y + 89 = -96, 4*x - 131 = -5*y. Suppose -a - 2 = 3*d, d - x + 13 = 5*a. Solve s + 4 = -d for s.
-5
Suppose 4*c - 3*l - 14 = -l, -16 = -4*c + 4*l. Let g be c*((-3)/9 + 1). Suppose -5*t + 42 + 20 = 4*d, 0 = 2*t - g*d - 32. Solve -2*k + t - 6 = 0 for k.
4
Let a = -1771 - -1783. Solve 29 = -a*u + 5 for u.
-2
Let g be 2/(2 + 4/(-4)). Suppose 0 = -c + 7 + 1. Solve g - c = 3*d for d.
-2
Suppose 29*b - 8 = 28*b + m, -2*m - 9 = -b. Solve b = -z + 3 for z.
-4
Let d(c) = -4*c + 8. Let o be d(1). Solve -o*m = -8*m + 16 for m.
4
Let l be (0*7/(-42))/(-2). Suppose 0*p - p + 13 = -4*n, 4*n = 4*p - 16. Solve -f - p = -l*f for f.
-1
Suppose t - 25 = 4*m, -t - 4*m = -5*t + 40. Suppose -2*q = -t*i - 9, -3*i + 8 = -4*q + 19. Suppose 9 = 5*v + 2*f - 1, 2*v + 25 = 5*f. Solve -2 + v = -q*a for a.
1
Let l(o) = 5*o + 40. Let d(a) = 9*a + 80. Let v(r) = 3*d(r) - 7*l(r). Let x be v(-5). Solve 3*n = -x*n + 15 for n.
5
Suppose -43 = 9*k - 14*k - 4*c, 0 = c + 3. Solve 0 - 33 = k*v for v.
-3
Suppose 16*w = -4 + 52. Solve -8*q + 5 = -w*q for q.
1
Let w = -528 + 534. Solve -w*u = u - 35 for u.
5
Suppose -j - 8 = -2*j - 3*y, 2*y = 4*j - 4. Suppose j*r + 12 = 4*r. Solve a = r*a for a.
0
Let m be (62/4)/((-5)/(-20)). Let w be 4/(-12) - m/(-6). Let d = 13 + -13. Solve -5*v + 0 - w = d for v.
-2
Suppose -152*m = -149*m - 57. Solve m - 9 = -5*y for y.
-2
Suppose -5*f + 6*l + 30 = 7*l, f + 15 = 4*l. Solve 5 = 10*q - f*q for q.
1
Let v(u) = 11*u**2 + 8*u - 8. Let w be v(2). Solve -32 = 4*q - w for q.
5
Let k(z) = -z**2 - 25*z - 126. Let a be k(-12). Solve -8*m - a = 2 for m.
-4
Let o = 2710 - 2707. Solve -7 + o = m for m.
-4
Let t(h) = -h**3 + 56*h**2 - 111*h + 182. Let k be t(54). Solve -11*d + 16*d = -k for d.
-4
Let s(c) = -14*c + 418. Let v be s(27). Solve -m - v = 9*m for m.
-4
Let k(u) be the first derivative 