 = 0, 4*t - 2 = -u*f - 14 for t.
-1
Suppose 2*k - 4*p = -4, 2*p = -3*k + 4*p + 2. Let q(f) = f**3 - 4*f**2 - 1. Let h be q(2). Let i = -7 - h. Solve 0 = 5*b + i*o - 25, k*o = -4*b + 3*o + 7 for b.
3
Let c(o) = o**3 - 12*o**2 + 13*o - 18. Let a be c(11). Solve -g - 4 = l, 2*l + l - a = g for l.
0
Let b = -62 + 92. Solve -5*r = 2*t + 17, 2*r + t + b = 6*t for r.
-5
Let w(n) = n**3 - n**2 + n. Let i be w(2). Let v = i - 11. Let h = v - -7. Solve h*q - 3*f + 6 = 3, 0 = q - 5*f + 12 for q.
3
Let a(b) = -4*b**3 - b**2 - 2*b - 1. Let o be a(-1). Suppose -22*s + 21*s = -1. Let m = o - s. Solve -r + 4*x = -m*r + 4, -3*r - 2*x - 2 = 0 for r.
-2
Let j(r) = r**3 - 2*r**2 + 2. Let a be j(2). Solve l = -a*g - l - 2, -4*l = 5*g for g.
4
Suppose -4*i + 2*t + 14 = -8, 4*t - 21 = -5*i. Suppose 0 = i*x - 12 - 3. Solve -4*n + 12 = 0, 4*n = -x*k + 2*n for k.
-2
Let p(f) be the first derivative of -f**2/2 + 6*f + 5. Let u be p(3). Solve 0 = -u*d + 4*c + 28, c + c = -2*d for d.
4
Suppose 2*p - 50 = 7*p. Let g = p - -12. Let i(z) = z**3 + z**2 + z + 3. Let f be i(0). Solve 4*x - l = 12, -g*x = l - f - 9 for x.
4
Let p = 1 + 1. Suppose -4*v = -p - 2. Let d be 6/(2*v/5). Solve 5*h - d = 0, 0 = -5*a - 3*h - 0*h + 9 for a.
0
Suppose -8 = -2*t, -3*t + 154 = 3*u + 25. Suppose 5*i - r - 24 - u = 0, -4*i - 3*r = -58. Solve -16 = -5*q + 4*k, -3*k + 0 - i = -4*q for q.
4
Suppose 0 = -7*x + 3*x. Suppose 0 = -l - 4*g + 2, -g + 4 = 2*l - x. Solve 0 = -4*r - l*k + 26, -5*r - 4*k = -k - 35 for r.
4
Let i(s) = s + 5. Let v(j) = 2*j + 3. Let z be v(3). Let o = z - 14. Let x be i(o). Solve t = k - 7, x*t + 2*k + 14 = -5*t for t.
-4
Let b = 106 - 106. Solve -2*c + 10 = 3*t, b*t + 2*t - 5 = -c for c.
5
Suppose -4*t + 23 - 7 = 0. Solve d + 4*b - 20 = -5, -t*b + 12 = 0 for d.
3
Let u(i) = i - 2. Let c be u(1). Suppose -5*t - 2 - 3 = 0. Let s = t - c. Solve -5*n - f - 24 = -s*f, -5*n - 8 = -3*f for n.
-4
Suppose 3*y + 2*w = -9, 2*w + 8 - 2 = 0. Suppose 0*c = 3*c - 12. Let v be ((-1)/y)/(2/c). Solve -6*r = 5*g - r, 0 = -5*g + v*r - 21 for g.
-3
Let v = 5 - 2. Suppose h + 17 = v*z, 0 = -5*z - 0*z - 4*h. Solve -z*p + 5 = a + 15, 5*a - 2*p - 16 = 0 for a.
2
Suppose -2*y + 68 = 4*c, 4*y - 4*c = c + 123. Let u = y - -9. Suppose 3*d - 7 = -2*o, 3*o = 5*d - o - u. Solve 0 = 3*l + 2*a - a - 9, 0 = -d*l + 5*a + 15 for l.
3
Let r be ((-24)/(-9)*-1 - -3)*12. Solve -16 = 2*a + 3*j, 5*a - 12 = -r*j - 45 for a.
-5
Suppose 4*y = 18 + 2. Suppose 5*a - 4*d - y = 6, a + 4*d = 7. Solve -a*m = 2*h - 16, 10 = 3*m + 2*m for h.
5
Let k be -6*4/(-2)*(-4)/(-16). Solve v - 9 = -4*g + 6, v = -k*g + 10 for v.
-5
Suppose 0 = 10*j - 5*j - 25. Solve -3*n - 19 = -2*a - 3*a, -3*n = j*a - 1 for n.
-3
Suppose p - 3*p = -18. Let r = -3 + p. Let g = 0 + 4. Solve -2*w = 2*y + r, -3 = -y - g*y + w for y.
0
Let r = -13 + 18. Suppose b = 4*m - 4, -r*m + m = -4*b - 4. Solve b = 5*g, -g + 8 = 2*x - 0*g for x.
4
Let u = 25 - 20. Let n be 2 - 0 - (16 + -2). Let a = n + 29. Solve a = 3*l + r, -l + u = 2*r - 9 for l.
4
Let k(t) = 2*t**2 + 37*t - 17. Let b be k(-19). Solve b*c - 3*u + 23 = 9, -c - 2*u = 0 for c.
-4
Let l = 34 + -34. Solve l = -2*c - 0*t + 5*t - 13, 2*c + 2*t = 8 for c.
1
Let t(a) = -a**2 - 3*a. Let c be t(-2). Let b = 9 + -5. Let d = b + -2. Solve -d*m + p + 3*p = 2, 0 = c*m + p + 7 for m.
-3
Suppose -4*f + 12 = -5*q, 2*f = 7*f - q - 36. Solve 2*w - 13 = -i, -5*w + 3*i = -f - 8 for w.
5
Let g(m) = -m**2 - 3*m + 14. Let s be g(-5). Solve 2*y + s*z = -2*y, -5*y + 3*z + 24 = 0 for y.
3
Suppose 0*s + 4*s = 0. Suppose -4*b - 8 + 28 = s. Solve 4*z + 3*c = b - 19, 0 = -5*z - 2*c - 14 for z.
-2
Suppose 0 = 4*y + 4 + 4, 4*y = 4*l - 48. Let n = -9 + l. Solve 2*k + n = 3*m + 2, 2*m = -4*k + 10 for m.
1
Let m(z) = -z + 2. Let h = -5 - -3. Let l be m(h). Suppose -5*d - 3*y + 14 - l = 0, -d + 2 = 3*y. Solve d*f - 3*q = 11, -q + 3 - 1 = 5*f for f.
1
Let w(x) = -16*x. Let g = 2 - 3. Let l be w(g). Solve b - 2*v - l = 3*b, 12 = -3*v for b.
-4
Let t(b) = -b + 8. Suppose j - 3*j = 14. Let q be t(j). Let f(p) = p**2 - 4*p. Let w be f(4). Solve x = -2*x - q, -n + x = w for n.
-5
Suppose 2*o - 6 + 4 = -2*s, -4*o - 8 = 0. Solve -s*p = r + 4, -6 + 4 = -r for p.
-2
Let y be (-23)/(-3) + (-1)/(-3). Suppose 5*d - y = d. Let c be 0/(5/((-5)/(-2))). Solve -3*r + 4 = -d*n - c*n, -n = -5*r - 5 for n.
-5
Let x(v) = v**3 - 8*v**2 - 9*v + 2. Suppose 4*t = y + 3*y - 28, 0 = -4*y - 3*t + 42. Let f be x(y). Solve 0 = -f*h - 0*o + 3*o - 4, 6 = -3*h - 4*o for h.
-2
Let d be (-2)/(-8) - 14/(-8). Let c(m) = m**3 - m**2 - 1. Let j be c(d). Solve j*v = 2*p, -4*p - 4*v = -7*v for p.
0
Let k be 4*(12/16)/1. Solve 2*f = -4*d, -2*d + f + 20 = -k*f for d.
2
Let k(d) = -5*d**3 + d. Let z be k(-1). Let i = z + -8. Let y be (-6)/i*132/9. Solve -2*q + 23 = 5*u, 0 = q + 3*q + 2*u - y for q.
4
Let l be (0 + 2)/(-1) - -6. Let o(a) = 2*a - 2. Let g be o(4). Suppose 3*n + 2*y = -2 + 6, 0 = -n + 3*y - 6. Solve -v + n*v = 2*p, l*v = -2*p + g for p.
-1
Let q = -8 - -10. Solve -5*m + 6 = -q*b - 8, -b = 2*m - 2 for m.
2
Let m be 2*3/(-6)*-2. Suppose b + m*b = 0. Solve -2*l - o - 5 = b, -2*l = 3*l - 2*o + 17 for l.
-3
Let a(f) = f**2 - 5*f + 7. Let b be (1 - (-24)/(-9))*-3. Let k be a(b). Solve -h - 3*t + 0 = 2, h = 2*t - k for h.
-5
Let j(u) be the third derivative of -u**4/24 + 11*u**3/6 - u**2. Let z be j(8). Solve z*p - 4*x - 10 = 0, -x - 6 = -3*p + 2*x for p.
-2
Let b = 10 - 8. Suppose 3*r - 36 = -2*r - k, 0 = b*r - 3*k - 11. Solve -8 = -x - 3*d, 0 = r*x - 3*x - 4*d + 16 for x.
-1
Suppose i - 20 = -4*i, -5*x + 26 = -i. Let m = x - 2. Solve m*b = -0*p + 3*p, -3*p + 3*b = 0 for p.
0
Suppose -12 = -4*g + 4. Suppose -b = g*b - 20. Solve 0 = 5*f - 2*x + 6, b*f - 3*x + 4*x + 10 = 0 for f.
-2
Let m = -62 + 102. Suppose 0 = -3*o + 5 + m. Solve -5*w = -4*z + 33, 5*z - o = 4*w - 3*w for w.
-5
Let s = -5 - -3. Let x be (-3)/6*s*2. Suppose -x*d = -0 - 8. Solve -5*b - 2*z - 7 = 0, -2 = 5*b + d*z + 7 for b.
-1
Let o(c) = -c**2 + 3*c + 6. Let k be o(4). Solve -4*n + 5*g + 4 = 21, 0 = -k*n - 4*g - 2 for n.
-3
Let l = 3 - -1. Suppose -2*k - 5 = q, 8*k = l*k - 16. Solve -n = q*d + 12, -5*d + 4*n = 5 + 15 for d.
-4
Suppose 5*u = 2*z - 10, -4*u + 2*z - 4*z = -10. Solve -2*i - i - 6 = 0, u = 2*c + 3*i + 10 for c.
-2
Suppose -1 = -5*j + 14. Let l = 2 - j. Let x be 0/((1 - l) + -3). Solve x = 4*f - 12, 5*s - 33 + 14 = -3*f for s.
2
Let l = -42 - -30. Let w be ((-3)/l)/1*4. Suppose 0 = -2*x + 7 - w. Solve 3*q = 5*q + z + 4, x*z + 6 = 0 for q.
-1
Let o(b) = b - 15. Let l be o(17). Solve -4*i - 4*w + w - 32 = 0, -5*i = l*w + 33 for i.
-5
Suppose -3*r + 7*g - 2*g = 19, g + 3 = 4*r. Suppose -r*b = 4*k - 16, -6*b = 3*k - b - 5. Solve k*j + 5 = 5*v, -2*j = 5*v - 6*j for v.
-4
Suppose -15 = -12*n + 9*n. Solve t = n*t - p + 17, -3*t = -2*p + 9 for t.
-5
Suppose -2*p + d - 6*d = -14, -p - 4 = -3*d. Solve 5*m + 10 = -p*a - 1, m = -a - 4 for m.
-1
Suppose -12*u + 39 = 15. Solve 3*w + m - 17 = 0, 0 = -5*w + 7*m - u*m - 5 for w.
4
Suppose 5*g = -0*g + 120. Let k = g + -22. Solve -2*x + 2 = 2*m, -3*m - 5*x + x = -k for m.
2
Suppose 1 + 4 = d. Suppose -d*u + 2*u = -24. Let q(r) = -2*r + 1. Let v be q(-1). Solve u = -5*p + 4*y, 0 = v*p - 0*y + 3*y - 6 for p.
0
Let d(x) = -x**2 - 7*x. Let t be d(-7). Let o = -1 + 4. Suppose 3*g - o = 3. Solve -p = -0*p, 5*q - g*p - 25 = t for q.
5
Let k be (12/5)/((-12)/(-90)). Let d = k - 11. Solve 4*x = -d*i + 2*i - 23, 3*x = 5*i + 9 for i.
-3
Let k(t) = -t**2 + 8*t + 3. Let p be k(8). Let j be 2/(-1)*(-6)/4. Suppose -j*n + 8 - 2 = 0. Solve -p*i = -4*w - 10, n*w = -5*i - w - 22 for i.
-2
Let v(o) = 4*o**3 - o. Let k be v(1). Suppose -48*g = -34*g - 28. Solve -k*u - 5*i + 3 = -g*i, -i = 1 for u.
2
Let l be 16/40 - ((-54)/15 + 2). Let y be (-1)/1*(1 + -16). Solve -2*m - l*n = -m - y, 20 = 4*n for m.
5
Let n(i) = i**2 - 7*i - 13. Let h be n(9). Solve 5*l + h*k = 25, -2*k + k = -1 for l.
4
Suppose -2*k + 3*y = -7, 4*k = -0*y + y + 19. Solve -k*n + 25 = -5*t, 4*n - 4*t + 10 = 6*n for n.
5
Let x(i) be the third derivative of -i**5/60 + 7*i**4/24 + 3*i**3/2 + 3*i**2. Let o be x(7). Solve -z + 2*c = -o, 4*z = 4*c - 2*c + 12 for z.
1
Let b(j) = -3*j - 47. Let t be b(-17). Solve t*w = r - 2*r + 1, -4 = -5*w - 4*r for w.
0
Let k(v) = -v**3 + 6*v**2 + 6*v + 7. Let o be k(7). Let h = -19 + 