 = -5*f + 25. Let i be (-93)/(-4) + (-1)/4. Let l(a) = -2*a - 4. Let t be l(-4). Solve t*w + i = f for w.
-5
Let a(f) = -4*f + 2. Let k be a(-2). Let t = k - 6. Solve 0 = -t*h + 8 - 20 for h.
-3
Suppose 4*q - 8 = 0, -5*n + 19 = -5*q - 1. Solve 4*u + 2 = n for u.
1
Let g(i) = i - 7. Let d be g(9). Solve d = 2*q + 10 for q.
-4
Suppose -3*g - 15 = -2*g - 4*q, 10 = -2*g + 4*q. Solve 3*z = g*z - 2 for z.
1
Suppose -3*s + 0 = -6. Suppose -h + 4 = h. Suppose -h*c + s = -c. Solve 0 = t - 0 - c for t.
2
Let d be -16*2*(-1)/8. Suppose -1 = -w + 2*l, 2*l - d = -2*l. Solve 1 = -2*q + w for q.
1
Let v(s) = -s + 2 + 4 - 2*s + 4*s. Suppose -3*u - 5*y + 2 = -5, 0 = 4*u + 5*y - 1. Let j be v(u). Solve j = 3*f - 3 for f.
1
Let y = 2 - 0. Let o(b) = b + 13. Let j be o(-6). Solve 0 = -y*f - j + 3 for f.
-2
Let j(d) = d**3 + 4*d**2 + 2*d - 2. Let n be j(-2). Solve 0 = -n*v + 2 + 4 for v.
3
Suppose 0 = -0*u + 3*u + x - 49, 0 = -u + 2*x + 14. Solve 3*b = u - 4 for b.
4
Let q be 1*(-10 + (2 - 1)). Let u(t) = t**3 + 9*t**2 - t - 7. Let l be u(q). Solve -1 = -l*f + 5 for f.
3
Let v be (-20)/(-3)*(-18)/(-24). Solve -v = 3*a - 2*a for a.
-5
Let y = -132 - -132. Solve -q + 4 + y = 0 for q.
4
Suppose 3*g + v - 13 = -v, -5*v = 5*g - 25. Let n be 1 + g + (1 - 0). Solve -1 - 14 = -n*z for z.
3
Let b = 36 + -27. Suppose 10 = -2*w - 0*w. Let m = w - -7. Solve -b = m*u + 1 for u.
-5
Let j(v) = v**3 + v + 25. Let o(u) = u**2 + 4*u - 5. Let m be o(-5). Let z be j(m). Let d = z + -14. Solve -4*s + d = -5 for s.
4
Let r = 6 + -12. Let y(l) = l**2 + 6*l + 2. Let h be y(r). Suppose h*x = -2*x + 12. Solve w + x = -2 for w.
-5
Suppose 0 = 5*z - 2*z + 27. Let d be 2/z - (-80)/36. Let v(m) = m - 4. Let j be v(5). Solve -d*y = j + 1 for y.
-1
Let a = -3 + 8. Suppose -2*x = -j + 16, -2*x - 35 = -2*j + x. Suppose -44 + j = -p. Solve 7 = a*m + p for m.
-3
Let n(f) = -f**2 - 4*f + 2. Let l be n(-4). Solve 3*b + l = 14 for b.
4
Let k = -1 - -1. Let v(y) = -y**3 - 9*y**2 - 2*y - 12. Let c be v(-9). Suppose c = 2*n - k*n. Solve n*o = -0*o - 12 for o.
-4
Let j(z) = -z**3 - 3*z**2 + 3*z + 2. Suppose -5*u + 3 = -2*n, 3*n + 3*u + 14 = u. Let w be j(n). Solve -w*a = -2*a for a.
0
Let i = -46 - -51. Solve 8 = i*s - s for s.
2
Suppose -2*h + 0*h + 8 = 0. Solve -n - 3 = -h for n.
1
Suppose 4*k - 5*z = 20, -2*k + 3*z + 12 = -4*k. Let q(i) = 3*i - 3. Let m be q(3). Solve -m = 2*l - k*l for l.
-3
Suppose 4 = 5*d - 6. Let k = 0 - -2. Suppose k*p + 61 = 3*g, -5*g - 32 = -2*p - 127. Solve -g = -d*b - 7 for b.
5
Let y(a) = a**3 - 4*a**2 - 4*a + 2. Let k be y(5). Suppose -k*m = -2*m. Solve m*c + 4 = -4*c for c.
-1
Let w be (-75)/(-35) + (-2)/14. Solve v = -w*v - 9 for v.
-3
Let j = -3 - -4. Let z be 0/(j*(-1 - 1)). Suppose -m + 9 = 2*n + 1, 3*m - 2 = 5*n. Solve -6*w + 2*w + m = z for w.
1
Let m(v) = v**3 + v. Let t be m(0). Let j(b) = b + 6. Let d be j(t). Let g(z) = z + 11. Let h be g(14). Solve d*a - a = h for a.
5
Let j = 9 - 7. Let x = 5 - j. Solve -x - 3 = 3*s for s.
-2
Let k(f) = -7*f - 2. Let a be k(-1). Suppose -5*w = -3*o + 16, 0*o - 5*o + 14 = -2*w. Suppose 4*b + o = 18. Solve b*d - 1 + a = 0 for d.
-1
Let y = 4 - 12. Let q be (-12)/y*(-4)/(-6). Solve -u + q = -2 for u.
3
Let m(x) = 3*x**2 + 33*x + 15. Let j(f) = -f**2 - 11*f - 5. Let c(l) = -7*j(l) - 2*m(l). Let t be c(-11). Solve a = -2 + t for a.
3
Let h be (-40)/(-22) + 4/22. Let f be (8/h - 2) + 0. Solve -x = f - 3 for x.
1
Let j(f) = f**2 + 1. Let o be j(6). Suppose 5*q = -7 + o. Solve -z = -q*z + 20 for z.
4
Let a be (2 + -2 + 0)*-1. Suppose a*q + q = -1. Let o be 5 - (q - (-3 - 0)). Solve -2*p - 20 = o*p for p.
-4
Let m be -7 + 7 + 18 + -2 + 0. Solve -4*o + m = -0*o for o.
4
Suppose -2*u - o = -7*u + 54, -3*u + o + 34 = 0. Let n = 0 - 0. Solve n = 4*a - 2*a + u for a.
-5
Suppose 10 = -5*d - 4*u, -3*u - 2 + 0 = d. Let z be (-1)/(-1 - 1/d). Solve -6 = z*c + 2 for c.
-4
Suppose 2*y - 2*a = -0 + 4, -5*a = 5*y - 40. Solve -y*z = 8 + 7 for z.
-3
Let u be (0 + 2)/(6/21). Let l = u - 5. Solve -20 = -l*r + 6*r for r.
-5
Suppose i - 20 = -3*i. Solve i + 7 = 4*d for d.
3
Let j(s) = s - 5. Let d(p) = 2*p**3 - p**2 - p - 1. Let q be d(2). Let i be j(q). Solve -g + 0*g - i = 0 for g.
-4
Suppose 0 = 7*k - 28*k + 210. Suppose 0 = g - 0*y - 3*y - 19, 0 = -4*g - y + 11. Solve z + k = -g*z for z.
-2
Let j = 4 - -10. Let r = j - 10. Solve r*v = -0*v - 12 for v.
-3
Let z = 11 - 8. Suppose 7*k - 37 = -5*a + 4*k, 4*k = a - 12. Suppose z*j - 23 = -a. Solve j = -n + 2 for n.
-3
Suppose 0 = 2*w + 2 + 2. Let p be -10*-1*w/(-4). Suppose 13 + 7 = p*a. Solve -m = a*m for m.
0
Let t(l) = 2*l**2 + 2*l - 1. Let m be t(1). Solve 0 = m*k - 0*k for k.
0
Let c(a) = 4*a - 24. Let y be c(7). Suppose 14 = y*m - 2*m. Solve -4*h = m + 13 for h.
-5
Let h(q) = -15*q**2 + q + 17. Let k(m) = 7*m**2 - 8. Let l(w) = -6*h(w) - 13*k(w). Let j be l(-6). Suppose 0 = -f + j*f - 10. Solve -5*t = -f*t + 20 for t.
4
Suppose -o + 24 = 4*b, -9 = -3*b - 5*o + 2*o. Suppose -5*y = b - 2. Let h be (3 - 27/3)/y. Solve h = -2*g - g for g.
-2
Suppose 1 = 5*i - 9. Suppose 0 = -5*d - j + 25, 3*d + i*j - 26 = -d. Let p be (-1)/d + 123/12. Solve 0 = -h - h - p for h.
-5
Suppose 3*f = 3*d + 6, 4*f = 3*d - 8*d + 35. Solve 0 = v + d*v for v.
0
Let s(i) = i**3 + 5*i**2 + 2*i - 4. Let v be s(-4). Solve n - v = -2 for n.
2
Let o(f) = f**2 + 2*f + 1. Suppose 6 + 0 = -2*i. Let z be o(i). Solve 0 = z*s - 3*s + 4 for s.
-4
Let s = 3 - 5. Let l be -3 + 6 + s - -1. Suppose 5*y = -4*c + 32, -3*c - 3*y = c - 24. Solve -l*h + 3 = -c for h.
3
Let w be -2 - -2 - (-2 + 4). Let q be w/(-3) - 2/3. Solve q = -2*o - 2 for o.
-1
Let a(l) = -l + 6. Let o be a(6). Solve o = -i - i for i.
0
Let i = -47 + 47. Solve i*g = -2*g + 8 for g.
4
Suppose x - 5*f = -2, -4*x + 2*f + 11 = f. Suppose 9 = x*g - 0. Suppose 8 = 2*t + 2. Solve t*m + g = 4*m for m.
3
Let b(u) = u**3 - 6*u**2 - u + 6. Suppose -4*p + 7 = -5*f, -5*p - 11 + 1 = 0. Let o be f + 3 + 6 + 0. Let n be b(o). Solve 3 = -3*m - n for m.
-1
Suppose 0 = 5*r - 6*r - 34. Let k = -23 - r. Solve 0 = 4*y + 5 + k for y.
-4
Let v = 1 + 2. Let u(x) = -x**2 - 7*x + 7. Let y be u(-8). Let p = v + y. Solve -p*b + 6 = -0 for b.
3
Suppose -3*c + 9 = -4*p, 3*c + c + p = 12. Solve 0*k + k + c = 0 for k.
-3
Let s(t) be the third derivative of -t**5/60 + t**4/12 + t**3/3 - t**2. Let z be (-14)/(-6) + (-1)/3. Let f be s(z). Solve -u = f - 6 for u.
4
Let i be 5/(-15) + 30/9. Solve -2*n + 1 = i for n.
-1
Let j(x) = -x**2 + 3*x + 4. Let i = 10 + -7. Suppose i = -a - 1, -2*a = 5*c - 12. Let n be j(c). Solve n = 4*k - 3*k - 2 for k.
2
Let x be (-4)/14 + 102/14. Let k = -8 - -13. Let g = k - 1. Solve 0 = -x*i + g*i for i.
0
Suppose -5*b = h - 20, -2*h = 5*b - 3*b - 8. Suppose 8*o - 179 = b*o - 5*n, n = -5. Suppose o = 4*y + 5*i + 19, -3*y - 5*i + 29 = 0. Solve -18 = -5*s - y for s.
3
Let i be 2/((-3)/(45/(-6))). Solve 0*k = -k + i for k.
5
Let d(r) = r**2 + 2*r + 1. Let s be d(-3). Suppose s - 8 = -2*z. Solve 8 + 0 = z*i for i.
4
Suppose 2*p - 5*b + 2 = -1, -4*b + 8 = 4*p. Suppose 0 = -5*g + 3*n - 28, 0 = 2*n - n + 4. Let i be (g/(-8))/(p/4). Solve -2 = -k - i for k.
-2
Let k be 3/2*(-36)/(-27). Let z(d) = 2*d**2 - d - 1. Let x be z(k). Solve 3*y - 2 = -x for y.
-1
Let y be 1 - (-4 + 1/(-1)). Suppose 0 = 2*s - 4 - y. Solve -s*x + 7 + 3 = 0 for x.
2
Let l = 20 + -19. Solve -q = 1 + l for q.
-2
Suppose 15 = 16*p - 17. Solve -p*v = 3 - 13 for v.
5
Suppose -2 = -b + 1. Suppose b*l - 19 = -4. Suppose -l*c = 20 - 95. Solve -4*h - 3 + c = 0 for h.
3
Let c(k) = -k**3 - 5*k**2 - k - 4. Let h be c(-5). Suppose 5*u + 2 = -33. Let r(w) = w**2 + 8*w + 9. Let i be r(u). Solve -h = -i*b + 3 for b.
2
Let l be (-2)/3 + (-6)/(-9). Let m(h) = -h - 2. Let v be m(-2). Let d be (-2)/4*(0 + v). Solve 2*y - 4 + d = l for y.
2
Let m = 10 - 8. Let t be (-5)/(-10) + (-1)/m. Solve t*v = -2*v for v.
0
Let k = 18 + -18. Suppose -3 = -d + 5*r, 2*d = -k*d - 2*r + 6. Solve 7*x - 12 = d*x for x.
3
Suppose -5 = -13*f + 12*f. Solve -4*k + f*k - 1 = 0 for k.
1
Suppose -2*d = -4*l - 48, l = -3*d + 39 + 61. Let w be d/(-40)*-5*1. Solve -1 = 3*f - w*f for f.
1
Suppose 4*j + 2*h = -j + 6, 0 = -j - h. Suppose 0*o = -j*o - 3*q - 12, -5*o = 5*q + 20. Let c be 2/(-6)*(o - 9). Solve 0 = c*d - 0 - 9 for d.
3
Let p be ((-8)/(-5))/((-2)/(-5)). Suppose -