 - 5*j + o = 0, 3*f + 3*j = 8*f - 8 for f.
4
Let r(y) = 2*y**2 - 3*y - 4. Let i be r(3). Suppose 21 - 1 = i*p. Solve -p*l = 5*t - 7, 4*t + l - 4 = 2*t for t.
3
Let y = 113 - 108. Solve y + 5 = 5*g + 2*b, 5*b - 4 = -2*g for g.
2
Suppose -5 = -c - 2. Suppose 0 = -y - 0 + c. Let x = -2 + 7. Solve y*o + o = -5*j + 33, -j - x = -5*o for o.
2
Let h(j) = 7*j + 1. Let g(d) = 4*d. Let y(v) = 5*g(v) - 3*h(v). Let u be y(-9). Suppose -24 = -u*r + 3*r. Solve 0 = b - 3*o - 9, -5*o = r + 7 for b.
0
Let l be (1/(-3))/((-7)/84). Suppose -4*z - v + l = -17, 0 = -5*z + 2*v + 23. Solve -8 - 5 = 4*b + z*d, -2*d = 10 for b.
3
Suppose 3*c - 12 + 0 = 0. Solve c*x - 7 = -4*i - 3, x - 5 = -5*i for x.
0
Suppose -5*v + 2*v = -24. Let w(y) = 3*y**3 + y**2 - 1. Let b be w(1). Suppose -4 = -3*m + 5. Solve m*k - 5*r - 1 = v, 2*r = k - b for k.
3
Suppose 4*t + 1 = 13. Let o = t - -1. Solve o*n - u + 6 = -0, n - 9 = -5*u for n.
-1
Let v(n) = n**2 + 14. Let d be v(0). Suppose 3*t - d = t. Solve -5*h + 13 + t = -3*y, -3*y = -4*h + 19 for y.
-5
Suppose -4*g + 8 = -5*w, -2*w = -0*g - 3*g + 6. Solve -m = g*m + z + 20, 0 = -5*m - 3*z - 40 for m.
-5
Let k(c) be the third derivative of c**5/60 + c**4/4 - c**3/6 + 4*c**2. Let p be k(-7). Solve p = -5*b + 4*b - 3*y, 3*b - 5*y - 24 = 0 for b.
3
Let n be (-3 + 2)/(2/(-4)). Suppose 0 = -5*w + n + 8. Solve -u = 5*v - 7, w = u - 0 for v.
1
Suppose y + 2*h = -2, 4*y - 2*h = h + 3. Solve -5*o - 2*u + 5 = y, -10 = -2*o + 3*u + 11 for o.
3
Let g = 30 + -1. Let k be 0 + 12/3 + -1. Suppose k = 2*j - j. Solve 5*o = -0*o + j*v, 0 = -3*o - 4*v + g for o.
3
Let g be (-12)/8*10/(-3). Suppose g*f - 1 = -5*d + 4, 3*f = -2*d + 7. Solve 5*j + 38 = 4*s + 5, f*s + 10 = -4*j for j.
-5
Let s(w) = -w**3 - 7*w**2 - 15*w - 21. Let n be s(-5). Solve 0 = 2*d - 2*m - n + 2, -3 = -d + 2*m for d.
-1
Let w(s) = -s**2 + 8*s + 3. Let f = -12 + 20. Let h be w(f). Solve 0*x - 16 = -2*l - 2*x, h*l - 2*x = 4 for l.
4
Suppose -4*p - 3*i - 16 = -71, 4*i = -5*p + 68. Suppose 2*d - 17 = -3*j, -d = 3*j - 7*j - 25. Solve -3*v - g = -8*v - p, -5*v - 2*g - d = 0 for v.
-3
Let j(r) = 11*r - 6. Let d be j(1). Solve -2*k + d = u, -3*k = -5*k + 8 for u.
-3
Let y be 1 - (-2 - 0 - 0). Let n = y + 14. Solve 2*m + 4*g - 6 - 22 = 0, -g + n = 3*m for m.
4
Let q(f) = 13*f - 4. Let d(o) = 6*o - 2. Let x(t) = -7*d(t) + 4*q(t). Let b be x(2). Solve -4*g + 5 = 3*n, b = -2*g - g + 5*n for g.
-1
Let u = 3 - 2. Let h = -15 + u. Let q = 23 + h. Solve 5*t + 4 = 3*i + q, -4*t + 2 = -2*i for i.
-5
Let g = -20 - -41. Solve 4*b + 1 = -2*j - g, -3*b - 16 = j for j.
-1
Let c(h) = -h**3 - 3*h**2 - 2*h - 3. Let n = -3 + 9. Let a = n - 9. Let l be c(a). Solve -2*y - l*x - 1 = 0, -3*y + x - 15 - 3 = 0 for y.
-5
Let s(p) = -p**2 + 4*p + 7. Let y be s(5). Let b(f) = f**2 + 9*f + 6. Let g be b(-8). Let w be (-10)/35 - g/7. Solve 0 + y = j + 4*h, w = -3*h for j.
2
Let s(o) = o + 11. Let z be s(-5). Solve w = -3*v - 8, 0 = -w - w - v - z for w.
-2
Let a(t) = 8*t - 1. Let i be a(-1). Let m be 1 - (-3)/(i/93). Let d be -2*1*m/12. Solve 0 = j - 2*j + d*b + 14, 0 = 3*j - 2*b - 3 for j.
-1
Suppose g - 4*g = 15. Let u = g - -6. Let r be 3*11/3 + u. Solve 5*n - 4*i = -12, -7*n + 3*n + r = 4*i for n.
0
Let q(l) = l**3 + 3*l**2 - 4*l + 4. Let t be q(-4). Solve -2*z + z + s - 2 = 0, z = t*s - 14 for z.
2
Suppose -2*w - u = u - 64, -4*u - 124 = -3*w. Suppose -4*a + 2*a + w = 0. Solve 3*g - a = 3*v, v + 3*v = -2*g - 12 for g.
2
Suppose 0 = -2*m + 20 + 20. Suppose -o - o + m = 0. Let z be (12/o)/((-3)/(-10)). Solve 3*w = z*d - 5, 5*w = d + 2*w + 1 for d.
2
Let l(s) be the first derivative of s**4/4 - s**3 - 3*s**2 - 2*s + 3. Let x be l(5). Solve 3*t - m + 16 = 0, 5*t - m = -x - 6 for t.
-4
Let u = -59 - -61. Solve 5*f - u*i = -12 - 12, -14 = 5*f + 3*i for f.
-4
Let j be -2 - (2 + -2) - -15. Let s = j + -8. Suppose -g - 75 = -s*i + i, i - 15 = g. Solve 0 = 2*k + 3*y - i, -y + 16 = 2*k + k for k.
4
Let y be (-1 - -5*1) + 2. Let r = y - 4. Suppose -6*u = -r*u - 20. Solve -5 + 32 = -3*x + u*a, -3*x - 3*a - 3 = 0 for x.
-4
Suppose -o = -w + 2*w - 7, 5*w + 2*o - 29 = 0. Let y(g) = -g**2 - g. Let r be y(0). Let c = 17 + -17. Solve c*b - 16 = i + 4*b, r = -w*i - 4*b - 16 for i.
0
Suppose 5*t - 11 + 1 = 0. Suppose -3*u = -t*u. Solve -3*l + 9 = u, 3*l - 2 = -4*b + 11 for b.
1
Let r be ((-2)/4)/(2/(-16)). Solve -r*y - 26 = -2*t, -5*t + 16 = -2*y - 9 for y.
-5
Suppose -3*m = 5*f - 5*m - 35, 0 = 4*f - 3*m - 28. Solve -t + 12 = -5*v - 2, -v = 4*t + f for v.
-3
Suppose 4*n = n - 2*w + 11, 0 = 3*n + 3*w - 12. Solve n*a + 2*a = 2*s + 28, -a = s for a.
4
Let g be -2 + (-12)/1 + 1. Let x = 38 + g. Solve 11 = 2*l + 1, x = 4*c + l for c.
5
Suppose 29 = 3*r + 4*i, 2*r + 5*i + 9 - 40 = 0. Suppose -14 = -2*h - 2*t, 0 = r*h - 0*h + t - 25. Solve -22 = k - 5*u, -4*u = -h - 7 for k.
-2
Let c(f) = -f**2 - 5*f + 4. Suppose 3*y + 7 = -2. Let t = -8 - y. Let r be c(t). Solve 3*u = -r*q - q + 17, 5*u = -3*q + 23 for u.
4
Let k(j) = 15*j**2 + 2*j. Let u be k(-3). Suppose -u + 25 = -4*y. Solve -f + 4 = -3*s, -3*f - y = 2*s + f for s.
-3
Let x(z) = 40*z. Suppose h + 2*a - 9 = 0, 5*a - 24 = -0*h - 4*h. Let i be x(h). Solve 5*w = v + v - 17, 4*w + 5*v = -i for w.
-5
Let q = -9 - -18. Suppose 1 = 5*i - q. Solve 3*c + 3 = -3*j + 6*j, -5*c + 16 = i*j for c.
2
Suppose 19*q - 23*q = 0. Solve -4*j - 4*c + 12 = -q*c, 4*c = 0 for j.
3
Let s = -22 - -24. Solve -5*k - 24 = -v, -2*v = 2*v + s*k + 14 for v.
-1
Let c(w) = -2*w - 6. Let o be c(-4). Let x be (3/(-9))/(o/(-30)). Solve -p = x*h + 4, -2*p + 0 = 4*h + 2 for p.
1
Suppose 0 = 21*p - 24*p. Solve -2*b - 3*l + 8*l + 31 = p, 2*l = -10 for b.
3
Let m be -4*(-4 - (-7)/2). Solve -2*n + 6*n = m*t + 10, -2*t = -5*n + 12 for n.
2
Let l be (2/(-4))/(2/(-4)). Solve 0 = 5*c - f - 25, -l = 2*c + 3*f - 11 for c.
5
Suppose u = -0*u + 4, 2*x + 12 = 2*u. Let i be (1/(-2))/(x/20). Let j(q) = 3*q - 3. Let f be j(4). Solve -f = 2*y + 5*p, -i*y + 3*p + 27 = -p for y.
3
Suppose -4*k + 50 = -38. Solve 3*u + 17 = -4*b, -2*u + 6*u + 5*b = -k for u.
-3
Let y = 4 + 14. Solve -8*w - 12 = -3*w + 4*k, 0 = 2*w - 5*k + y for w.
-4
Let y(p) = p**2 + 8*p + 21. Let l be y(-4). Solve -5*n - s + 17 = 0, 0 = -4*n - 2*s - l + 15 for n.
4
Let u be (0 + 0)/(0 + -3 + 1). Solve 4 - 9 = -5*p - 4*j, -5*p + 3*j - 30 = u for p.
-3
Let f(r) = r**3 + 10*r**2 - r - 9. Let q be f(-10). Suppose -2*h + 0 = -4. Solve 5*y = 10, -5 = h*i - 2*y - q for i.
0
Suppose -3*q + 2*s + 86 = q, -5*q - 2*s = -103. Let p be 6/q + 23/(-7). Let b = 0 - p. Solve 3*n + z = 5*n - b, 0 = z - 1 for n.
2
Suppose n = -0*n + 6. Let b = -4 + n. Solve q - b*q + 5*y = -17, 3*y + 5 = -2*q for q.
2
Let c(x) = -x + 14. Let f be c(-6). Solve k - 2*k - f = -5*v, 3*v - 12 = 0 for k.
0
Suppose i - 4 = -1. Suppose 20 = 4*c - 0*c. Solve -c*m - 15 = 3*l, -m + i*l = 7 - 4 for m.
-3
Let q(y) = y**3 + 8*y**2. Let x be q(-8). Let g(z) = -z**2 + 5. Let a be g(x). Solve -b + d = 2, 0*b + 4*d = a*b + 11 for b.
-3
Let c be ((-21)/3)/(1*-1). Let m be (-8)/(2 - 6) - 1/(-1). Solve 4*i + 3*h = -0*i + c, -5*i = m*h - 5 for i.
-2
Let i = 16 - 8. Let c be (0 - 10)*i/(-10). Suppose -2*w + 11 + 5 = 4*k, 4*k - 4*w + c = 0. Solve -k*u = 4*a + 2, u = -4*a - 0 - 3 for u.
1
Let r(s) = 19*s**3 + s**2 - 3*s + 2. Let o be r(1). Let z be 0 + 5/(-1)*1. Let q = z + 10. Solve -4*c = q*i - 13, 0*c + o = -3*c + 2*i for c.
-3
Let z be 21/6 - (-3)/(-2). Suppose -2*r = t + 2*t - 5, 0 = -5*t - r + 6. Let p be 0/(1/(t/z)). Solve p = 3*y - 9, 0 = 3*n - 3*y + y for n.
2
Suppose 2*n - k + 6 = -3, -5*k = -2*n - 21. Let c = -1 - n. Solve -2*v + 0*u = -u + 7, -5*v + c*u = 15 for v.
-1
Let n = -26 + 5. Let l = -15 - n. Let d be -2 + l + -3 + -1. Solve 2*r = 2*q + 18, 4*q - r + 3 + 21 = d for q.
-5
Let x = -26 + 31. Solve -3*t = -x*a + 15, -a - 2*t + 3*t + 5 = 0 for a.
0
Suppose -3*n + q + 53 = 2*n, 5*q - 54 = -4*n. Solve 3*c + 20 = -4*w - n, w = 5*c + 21 for w.
-4
Suppose 3*l - 3*t - 1 = 11, 2*l = t + 8. Let a(g) = -g + 3. Let m be a(-2). Solve 0 = 4*i - m*x - 10, l*x = 4*i + 3*x - 18 for i.
5
Suppose 2 = 4*g - 6. Let j be 1*6/g + -1. Suppose 5*s = -0*s + 45. Solve 0 = j*w + 3*d - 2*d - s, 5*d = -5 for w.
5
Let q(r) = -r**3 - 3*r**2 - 3*r. Let c be q(-2). Solve -5*l + 5*o = -5 - 0, -o = -c*l + 1 for l.
0
Let x = 68 - 64. Solve 4*q + 3*w + 10 = 0,