 f.
5
Let y(o) be the third derivative of 7*o**4/24 - 2*o**3/3 - 23*o**2. Let d be y(1). Solve 0 = -d*s + 5*s for s.
0
Let u be 2 + 6 + -2 + 0 - -5. Solve -3*g + 8 - u = 0 for g.
-1
Let a = -79 - -86. Let j(k) = 14 + 5*k + 3*k**2 - 4*k**2 + 4. Let r be j(a). Solve 0 = 3*g + 5 + r for g.
-3
Let s be (-2)/((4 - 6) + 1). Suppose -2*z + 24 + 6 = 0. Solve s*x = -x - z for x.
-5
Suppose -2*z + 3*w = -3, 9*z - 14*z = -5*w - 5. Solve z*f = 10*f - 2*f for f.
0
Suppose -434*s = -433*s - 25. Solve 0 = 4*b + b + s for b.
-5
Let y(x) = x + 2. Let u be y(-6). Let r be u + 1 + 0 + 12. Suppose -8*b - r = -11*b. Solve -b*t + 0*t = -3 for t.
1
Suppose 0 = 8*h + 12 - 28. Solve h*f = -3*f for f.
0
Suppose -2*t = -3*c + 1, -5*t + 26 = 2*c - 0*c. Let f(k) = 993*k**2 + 40 - 992*k**2 - 28*k + 10*k. Let g be f(16). Solve -7 - g = c*z for z.
-5
Suppose 0 = -k - 2*k, 3*a = -4*k. Let t(s) = s + 5. Let w be t(a). Solve 9*r - w*r = -20 for r.
-5
Suppose 3*d = 1 + 2. Let o be -2 - -3 - (d - 3). Suppose -5*w + 4 = -o*w. Solve 0 = -m - w*m for m.
0
Suppose 3*u + 6 - 12 = 0. Let l be 7 + 3 + (-4)/(-4)*-2. Solve l = 4*i - u*i for i.
4
Let l be (-1)/((1/5)/(16/(-20))). Suppose 5*u = -3*d + 25, l*u - 13 = 5*u - 3*d. Solve -10 = 4*c + u for c.
-3
Suppose 10 + 5 = l. Let x = 19 - l. Solve -x*h = -11 + 3 for h.
2
Let v = -6 - -25. Let z be (v - 2) + (-9)/(-3). Let y = 24 - z. Solve -2 + y = -k for k.
-2
Suppose 3*w - 5*d - 4 = -0*w, 2*w = 3*d + 4. Suppose 0 = -w*z + 10*z - 6. Let k be (-1)/1 - (-12)/z. Solve 0 = -l - k*l for l.
0
Let i be 4*(2 + (-20)/16). Suppose 0 = -3*z - 5*k + 24, -k - 6 = -i*k. Let u be (-1)/(-1)*(0 - 0). Solve 0*d + z*d - 9 = u for d.
3
Suppose -3*b - 33 = -6*b - 3*u, b - 5*u = -13. Suppose -2*r + 22 = 4*f, -4*f + 2*r = r - b. Solve -5*w = -f - 2 for w.
1
Let k(i) = -3*i**3 - 8*i**2 + 2*i - 24. Let f be k(-4). Solve -19*v + 27*v - f = 0 for v.
4
Let g(y) = 2*y - 18. Let n be g(13). Suppose h + h - n = 0. Suppose -3*v = -3*w + 18, h*w + 1 = -3*v + 4. Solve 12 = -w*k - 3 for k.
-5
Let i = -2 + 5. Let s(y) = -y**2 + 10*y - 20. Let m be s(i). Solve -h - m = -3 for h.
2
Let f be 5/(((-4)/(-2))/2). Suppose 0 = 2*v - f*v. Suppose 0*t - t + 13 = 5*n, 4*n + 2*t - 8 = v. Solve 4 - 1 = -n*o for o.
-1
Let u be 6/27 + 1810/(-45). Let p be (6/(-5))/3*u. Solve 3*x - p = -x for x.
4
Suppose 2*f = -4*m + 52, 0 = -m + 2*f + 13 - 0. Let x = 54 - m. Suppose 4*n - x = 11. Solve 2 = 5*c - n for c.
3
Let x = -9 - -13. Let m be (38/4)/((-2)/x). Let l = -19 - m. Solve l = n - 4 for n.
4
Suppose 2*k = -f - 3*k + 38, 5*k - 203 = -6*f. Solve f*v + 13 = 46*v for v.
1
Let n be (-2)/(-7) + (-4)/14. Let u be 2*1*(-187)/22. Let x = -12 - u. Solve -2*z + x*z = n for z.
0
Let q(h) = 2*h + 106. Let z be q(-33). Solve -6*a + z = 14*a for a.
2
Suppose -j - 20 = -5*c, 4*j - 25 = -3*c + 2*j. Suppose 5 = 5*v, -56 = 3*m - 2*v - 3. Let b = -7 - m. Solve b = -3*l + c*l for l.
5
Suppose o = -5*c + 13, -5*c + 27 = -0*o - o. Let b(u) = 3*u + 6. Let s be b(-4). Let z be (6 + o)*(s - -1). Solve 0 = -5*x - z for x.
-1
Suppose 0 = -4*n, 2*d + 5*n - 12 = -0. Suppose 0 = -5*r + d + 9. Suppose 4*q + r = -5*h + 38, -4 = -2*q + 2*h. Solve 2*t - 3 = q for t.
4
Let s(d) = -d + 1. Let c be s(1). Suppose 4*u + 2*g + 44 = 3*g, 4*u - 2*g + 40 = 0. Let o be 125/35 + u/(-28). Solve c = o*i + 4 + 4 for i.
-2
Suppose 0 = 3*z + 3*a - 96, a + 0*a - 62 = -2*z. Let l be 5/z + 44/24. Solve 0 = 4*h - 6 - l for h.
2
Let v be (-4 - -1 - -1)/((-1)/4). Suppose -4*g = v - 28. Solve 17 = 3*r + g for r.
4
Let l be (-1 + (-10)/(-4))*2. Suppose 0 = 2*s + 235 - 239. Let w = -26 - -51. Solve -s*g = l*g + w for g.
-5
Let a(j) = -j**3 + 23*j**2 + 2. Let s be a(23). Solve 0*z - s = 2*z for z.
-1
Let a(m) = 6 + 4*m + 10*m + 8*m - 23*m. Let g be (-5 + (2 - 1))*-1. Let t be a(g). Solve -2*u = t - 8 for u.
3
Let a be (-50)/20*(-12)/15. Solve a*i = -0*i for i.
0
Let l = 4 - 0. Let y(j) = 0*j**2 - j**2 + 6*j + 2 - 5*j + 3*j. Let d be y(l). Solve 0 = g + d*g for g.
0
Let l = -20 - -118. Let m = 103 - l. Solve -j = -0*j + m for j.
-5
Suppose 0 = -35*i + 4*i + 93. Solve -i*x + 13 = 4 for x.
3
Suppose -10 = x - 2*b, 4*x + 5*b - 8 = 17. Suppose 3*a = 2*m - x*m + 8, 2*a = 8. Let p be 1 - m - (-3)/1. Solve -2*z + 0*z = -p for z.
1
Suppose 8*s = -16*s + 48. Solve -c = c + s for c.
-1
Suppose -12 = -3*j + 5*l + 9, 4*l + 16 = 2*j. Solve 17 - j = 5*k for k.
3
Let x be -1 - (4 - 2)/(-2). Let v = 3 + x. Suppose 8*p - v*p - 10 = 0. Solve 0 = -p*d + 4*d + 6 for d.
-3
Suppose 4*g + 2*c = 0, -4*c = 4*g - c. Let f(s) = 14*s**3 + 68*s**2 - 8*s + 11. Let k be f(-5). Solve -k = b - g for b.
-1
Let s(u) = -6*u**2 - 2*u - 1. Let z be 2/2*1*-1. Let r be s(z). Let l = -1 - r. Solve -25 = l*p + p for p.
-5
Suppose 0 = -9*g + 11*g + 102. Let w = g + 52. Solve 5*k + 26 = w for k.
-5
Let r = -174 + 176. Solve 1 + r = a for a.
3
Let d(m) = 10*m**2 - 6*m + m**2 - m**3 - 3*m**2 - 6. Let g be d(7). Let y = g + -1. Solve 5*h + 5 = -y for h.
-1
Let l(z) = z**2 - 24. Let b(x) = x**2 - x - 25. Let o(a) = 6*b(a) - 7*l(a). Let u be o(-8). Solve u - 8 = -2*k for k.
3
Let u = -1796 - -1799. Solve -13*l = -u*l + 40 for l.
-4
Let u(k) be the second derivative of k**5/20 - k**4/6 - k**3/3 - 7*k. Let r be u(3). Solve -r*v = -10 + 1 for v.
3
Let s(w) = w**3 - 5*w**2 - 6*w + 2. Let x be s(6). Solve -p = -0*p + x for p.
-2
Suppose 0 = 3*g + 5*b + 11, 15 = -2*b + 7. Solve -25*u + g = -22*u for u.
1
Let z be (1 - 0)/(2/10). Suppose -4*a + 24*y = 29*y - 16, 5*y = 5*a - 20. Solve -3*d = -z*d + a for d.
2
Suppose -19 = 2*n - s + 6*s, 6 = 3*n - 4*s. Let t(x) = x**3 + 2*x**2 - x. Let v be t(n). Let z be (-2)/2*18/(-2). Solve v*j + z = 1 for j.
-4
Suppose 2*f - 3*k + 2*k = -40, -4*k = 4*f + 92. Let x(c) = -c - 21. Let j be x(f). Solve j = -g - 2 + 6 for g.
4
Let m be (-175)/(-50)*12/7. Solve m*b + 2 = 8 for b.
1
Let d be 171/33 + (-6)/33. Suppose -4*o - 2 - 6 = 0, 0 = 2*f + d*o + 14. Let t be 2/(f*(0 - 1)). Solve -x - t = -2 for x.
1
Suppose -o + 25 - 21 = 0. Let j = 4 - o. Solve j*i - 4 = 4*i for i.
-1
Suppose 2*c - 12 = 10. Solve c*x - 16*x = 5 for x.
-1
Let u(y) be the first derivative of -4 + 1/3*y**3 - 10*y - 6*y**2. Let d be u(13). Solve -10 = d*h + 2*h for h.
-2
Suppose -2*h - 31 = -3*f, 3*f - 36 = -2*h - h. Solve -4*u - 9 - f = 0 for u.
-5
Suppose -5*a - i + 17 = 0, 11*a - 2*i = 6*a + 11. Solve a*j = 4 + 5 for j.
3
Let m = -17 - -63. Suppose m - 70 = -3*p. Solve -2*s = -0*s - p for s.
4
Let t be 0 - (-11 - (-5 - 5/(-1))). Solve 7*l = t*l for l.
0
Let d = -736 - -754. Solve 0 = d*g - 20*g for g.
0
Let n be (17 + -17)*(0 + 1/2). Suppose n = 4*r - 8. Solve r*y = -y for y.
0
Let p(i) = i**2 + 3*i - 14. Let t(z) = -z - 10. Let v be 140/(-30) - (-2)/3. Let r be t(v). Let x be p(r). Solve 12 = 4*c + x for c.
2
Let u be (0 + 18)/((-45)/60). Let p = -19 - u. Solve 4*z = -3 - p for z.
-2
Let p(c) = -15*c + 5*c**2 - 56 - 6*c**2 + 5. Let g be p(-8). Solve -a = -g*a for a.
0
Let m be ((-9)/2)/((-6)/12). Let p be -2 + (3 - 4)/(5/(-10)). Solve p = -5*f + 2*f + m for f.
3
Let i be (-190)/(-38) - (-12 + 4 + -2). Solve 85*g - 88*g = i for g.
-5
Let m = 283 - 265. Solve 0 + m = -9*i for i.
-2
Let f(q) = q**2 + 21*q - 7. Let r be f(-22). Suppose -r*s = -9*s - 24. Solve 0 = -y + 1 - s for y.
-3
Suppose 7*n - 6 = 8. Let y be n/(-5) - (-8)/20. Solve -2*v + 4 = -y*v for v.
2
Let v(f) = -20 - 2*f - 24 + 11. Let g be v(-19). Solve g*j + 4 = -11 for j.
-3
Let c = -42 + 44. Let i be (2 - 29)*(-14)/6. Let h be (-14)/i - 76/(-18). Solve -h*z = -c*z + 8 for z.
-4
Let u be 13/4 + 6/(-24). Let k be 36/3 + -3 + 1. Solve -v + k = -u*v for v.
-5
Suppose -13 = -3*z + 8. Let f(k) = k**3 - 7*k**2 + k - 5. Let v be f(z). Solve -c - v = -3 for c.
1
Let t be (-260)/28 - (-4)/14. Let p = t + 14. Solve v = -0*v + p for v.
5
Let f be ((-115)/(-46))/(2 - 38/24). Solve 0 = f*o - 12*o - 6 for o.
-1
Let n be (-5 - -12)/(2/4). Let t be (n + -8)*(-2)/(-4). Solve -t*w = 2 - 8 for w.
2
Suppose 3*z + 6 = 0, 26*h - 28*h + 3*z = -14. Solve 13*v = h + 9 for v.
1
Suppose -168*m = -162*m - 30. Solve -m = -22*f + 21*f for f.
5
Suppose -44 - 91 = -9*i. Solve w - 16*w + i = 0 for w.
1
Let m be -18*(39 + 1)/2. Suppose 3*v + 189 = -0*v. Let r be m/v - (-2)/7. Solve 5*p - 1 = -r for p.
-1
Let x = -193 + 137. Let k = 60 + x. Solve k*z - z = 15 for z.
5
Let 