ve 4*m + t = 0, 0*y = -y + 3*m + 12 for y.
0
Let z(l) be the first derivative of 2*l**2 - 2 + 2/3*l**3 - l. Let b be z(-3). Solve -f - v + 0*v - 6 = 0, -5*f + b*v + 10 = 0 for f.
-2
Let s = 7 + -12. Let q = s - -8. Solve 2*b - q*l + 11 = 0, 0 = b + 2*l - 12 for b.
2
Let s be (-2 + 1)/((-5)/70). Suppose f = 2*f - s. Suppose 3*w - 4*w = 2*l, 5*w - 4*l = f. Solve -2*v + w = 0, 3*m = v + 3 - 19 for m.
-5
Suppose m - 6 = -2*m + 3*r, 4*m - 23 = -r. Solve -2*z + m*z - 3*p = 0, -2*z = -3*p + 2 for z.
2
Let k = 4 + -2. Suppose -k*i + 0 = -6. Solve 0 = -3*o - i*j - 18, -3*j = 2*o - 0*j + 13 for o.
-5
Let g(n) = -2*n + 4. Let w be g(2). Solve 4*a - 2*q + 7*q = -21, -a + 5*q + 1 = w for a.
-4
Let c(n) = n**2 + 3*n - 4. Let i be c(-4). Solve 2*l = -h, -h - 3*l + 3 - 1 = i for h.
-4
Suppose 5*s = -12 + 77. Suppose 4*o + 8 = 8*o. Solve h = -5*t + o*t - 14, 4*t - 5*h - s = 0 for t.
-3
Suppose -4*r + 26 = -3*x + 9, 3*x = -3*r - 3. Solve -3*w - c = -r*c + 9, -4*c - 15 = 5*w for w.
-3
Let c(m) = -m**3 - 8*m**2 - 4*m + 25. Let g be c(-7). Solve -2*i + 3*f = 0, -2*i + g*f - 5 = -i for i.
3
Let r = -8 + 10. Let h(n) = 4*n**2 - n. Let z be h(-1). Suppose z*f - 2*f - 4 = -c, 2*f = -2*c + 8. Solve p + k + r = f, -10 = -4*p - 0*p + 5*k for p.
0
Let k = 12 + -10. Solve k*a + 2 = 5*m - 8*m, 2*m = 5*a + 5 for m.
0
Let s(x) = x**2 + 3*x - 3. Let l be s(-3). Let a be l/(-6) + 10/4. Solve z - 3*n - n = 0, 2*z - a*n + 5 = 0 for z.
-4
Let p be (-4 - (-4 + -2)) + 0. Solve -3*t - 20 = -p*a - 3*a, -t + 5*a = 20 for t.
0
Let o(q) = -q + 10. Let j(t) = 10*t**2 + 1. Let w be j(1). Let u be o(w). Let n be (-2)/u*(9 + -8). Solve -n*f = -3*c - 10, 2 = 4*c + 4*f + f for c.
-2
Let p be 2 + (-2 - 0) - 9. Suppose -3*h = -6, -4*w + 4*h - 5*h + 26 = 0. Let i be (p/(-6))/(w/32). Solve 0 = -n - 2*d - 7, -3*n = -i*n - 4*d - 23 for n.
-3
Suppose -3*n + 9 = 4*h, -n - n = -2*h - 6. Suppose -3*b = -h*b - 6. Let f be (2 + 4)*2/4. Solve 3*i - 12 = x, 8*x = -b*i + f*x + 8 for i.
4
Let i = -45 - -49. Solve 2*t + i + 2 = -3*c, 19 = t - 4*c for t.
3
Suppose 4*k + 7*s = 5*s - 12, -3*s - 14 = 2*k. Let f be k/(-2) + 85/10. Solve -19 = 2*r - 3*p, -2*r - 3*p = r - f for r.
-2
Let d(w) = -2*w - 22. Let t be d(-11). Solve t = 3*j + 4*g - 14, 0 = j + 2*g - 6 for j.
2
Suppose -2*s - 20 = -5*d, -d + 4 = s - 0*d. Let t be ((-3)/6*s)/2. Solve -5*q + 21 = -b, -5*q - 3*b + t*b + 17 = 0 for q.
4
Suppose 2*o + 2*z + 8 = 0, -4*o - 6*z - 20 = -z. Solve -2*t - 3*t = 3*r + 3, o = r + t + 1 for r.
-1
Let r = -6 + 11. Suppose -r = -3*v + 10. Solve -v*d - j - 15 = -3*j, -4*j - 6 = 2*d for d.
-3
Let j be (-1 + 0)/(-1 - 0). Let u(f) = -5 - 2*f - j - 1. Let q be u(-6). Solve 2*y = v - q*v + 16, -3*v - 3*y = -9 for v.
5
Let z(t) = -3*t**2 + 4*t + 3. Let i be z(-2). Let v = -12 - i. Solve -q = -4*l + 4, -v*q = 3*l + l + 20 for l.
0
Let p(f) = f**3 + 3*f**2 + f + 1. Let h be p(-2). Suppose -8 = -4*b + m + 4*m, 0 = h*b + 2*m - 6. Solve -y = -b*z, -4*y = 4*z - 5*y + 2 for z.
-1
Let r(l) = l - 2. Let y be r(3). Let d be (-212)/(-10) + y/(-5). Suppose -2*t = -3*z + d - 59, 4*z + 16 = 0. Solve 2*k + t = 5*q - 17, 0 = 3*q - 2*k - 22 for q.
4
Let m be ((-11)/(-22))/(1/30). Suppose -2*v + m = 3*t - 0*v, 0 = -5*t + 3*v + 25. Solve 7*y + t*p = 3*y - 8, -5*y = -2*p - 23 for y.
3
Let x be -3*((-14)/6 + 3). Let o(a) = a**2. Let m be o(x). Solve 0 = 4*z + 2*r - m, -3*z + 0*z + 6 = 3*r for z.
0
Let r(v) = -v**2 - 7*v - 2. Let o be r(-6). Solve 2*p = -o*i - p + 6, i + 4 = 2*p for i.
0
Suppose -2*g = 6 - 10. Suppose 4*p - 4*m + 2*m = 18, 5*m = p + 18. Solve 2*b + p = -3*l, -2*b + 5*l - g = 13 for b.
-5
Let x(h) = -3*h - 6. Let l be x(-4). Let n = 2 + l. Let i = 8 + n. Solve -4*g - c - 3*c = -8, -g + 5*c - i = 0 for g.
-1
Let i(r) = -4*r + 24. Let s be i(5). Solve -2*v - 3 = m, 2*v - 7*v - s*m = 0 for v.
-4
Suppose 2*v + 2*v - 5*p + 2 = 0, 4*v + 5*p = 18. Suppose 25 = v*f + f + 2*z, 3*f + 5*z = 40. Suppose x = f*x. Solve 3*j + 3*o + o - 5 = x, 5*j = -4*o - 5 for j.
-5
Suppose 57 = 4*m + 45. Suppose 0 = 4*c - 4*b - 12, -4 = 2*c + 2*c + 4*b. Let o = c + 6. Solve 3*v = 2*g + o, -3*v + 3 = -m*g - v for g.
1
Suppose 26 = 3*p + 14. Solve p = -2*w, 3*g + 4 = -2*w + 9 for g.
3
Suppose -5*p + i = 2*i - 25, -5*p + 4*i + 50 = 0. Let l be p - ((-2 - 0) + 3). Let g = -2 + l. Solve f + 4 = g*d + 3, 1 = -d + f for d.
1
Let y(a) be the third derivative of a**4/24 - 5*a**3/6 - a**2. Let p be 4/14 - (-810)/105. Let f be y(p). Solve 0 = t - 4*q + 5, 3*q - f = 5*t + 5 for t.
-1
Let y be (1 + 1)/((-2)/(-3)). Suppose -y*f - p = -2*p + 4, f - 3*p = -12. Solve f = -5*k + 15, 3*a + 5*k = a + 21 for a.
3
Let c = 41 - 33. Solve -4*g - c = 3*w, 0*w + 2*w = -8 for g.
1
Let l = -26 + 10. Let t = l - -16. Solve 12 = 3*g, -3*a + 4*g - 13 = -t*a for a.
1
Let c be ((-16)/(-6))/((-10)/(-15)). Solve 0 = -5*y + c*g, 4*g + 16 = -0*y + y for y.
-4
Let b = 2 + 0. Suppose 0 = -3*p + b + 1. Solve d = -c, -d + 0*d = p for c.
1
Let f(o) = 2*o + 35. Let q be f(0). Solve 0*i = 2*i + 5*r + q, -10 = i + r for i.
-5
Let f(b) = b**2 - b - 2. Let x be f(2). Suppose 2 = p - x. Solve 2*j + p = -2*h, 3*h - 2*h - 2*j = 14 for h.
4
Let v(z) = -z**3 - 2*z**2 + z - 1. Let a be v(-3). Solve 0 = -a*x + 3*o - 2*o - 25, -3*x + o = 15 for x.
-5
Let w be 2/(-4) - 88/(-16). Solve 8 = -w*f - 4*q, 8*f - 3*f = -2*q - 14 for f.
-4
Let s(h) = -h**3 - 5*h**2 - 13*h - 15. Let f be s(-3). Let v(t) = t**3 + t**2 + t + 4. Let g be v(0). Solve -2 = -2*m + g*p - f*p, 0 = -2*m - 4*p + 12 for m.
-4
Let d be 54/63*(-14)/(-3). Solve -3*g + d*i = 0, 2*i = 4*g + g for g.
0
Suppose -5*c = -s + 19, -c = s + 4*c + 21. Let g be 2 + 3 + -2 + s. Suppose -j + 15 = g*j. Solve 0 = 3*d - j*i - 9, -5*d - 7 = -0*i - i for d.
-2
Let q = -10 + 15. Suppose d - 4 = -4*u, q*d = -5*u + 15 + 20. Solve -s = -2*a + d, -a - s + 16 = 3*a for a.
4
Let o = 44 + -28. Solve 0 = 3*x - 0*x - 5*d + o, 0 = -5*x + 3*d for x.
3
Let y be 10/6 + 1/3. Let c be (y/6)/((-5)/(-45)). Solve -4*v + 10 = -2*v - c*j, 4*v - 3*j = 14 for v.
2
Let k = 3 + -1. Let j(g) = -g**2 + 7*g - 4. Let u be j(6). Solve -4*t + 17 = -t - k*c, 0 = -u*t + 4*c + 22 for t.
3
Let h be 2 + -1 + 7 + -8. Let q = h + 5. Solve -q*c - 9 = -b, -4*c + b - 6 - 1 = 0 for c.
-2
Let d(n) = -n**2 + 6*n - 1. Let i be d(6). Let q(v) = -3*v**3 + v + 1. Let j be q(i). Solve -j*u + 2*a = -13, -a + 1 = -0 for u.
5
Let u(r) = 6*r + 1. Let b be u(-1). Let x be -1*(b - -3) - -23. Solve -x = g - 5*l, 2 = -5*g - l + 7 for g.
0
Suppose 6*w - w = -35. Let r = w - -11. Solve -7*t - 19 = -5*k - r*t, 5*t + 21 = 3*k for k.
2
Let v(h) = 5*h**2 - 2*h - 8. Let f be v(-4). Suppose 0 = 4*a - 0*a - f. Suppose -5*d = -d - 4, -8 = -3*i + d. Solve -i*r + 4*m = a, -3*m + 20 = -4*r + m for r.
0
Let r = 54 - 26. Suppose 3*p + r = 5*p. Solve -y = 4*b - 3 + p, -3*b - 17 = -y for b.
-4
Let q be 1*(-1)/2*0. Solve 0 = -2*i - 5*r + 16, q = -2*i - 2*r - r + 12 for i.
3
Let z = 15 + -8. Let r = -5 + z. Solve -i + 2*d = -0*d - 8, 0 = -2*i + r*d + 8 for i.
0
Suppose 3*n = -11 - 4, 4*w = 4*n + 60. Solve 15 = -5*i - p, 0 = -5*i - 2*p - 0 - w for i.
-4
Let x be (3 - 2)/(2/38). Suppose 28 = -18*o + 82. Solve -o*s - x = s + 5*u, u + 6 = -3*s for s.
-1
Let l be (-3)/(6*(-1)/32). Solve -r + 20 = 5*x, -x + 4*r + 9 + l = 0 for x.
5
Suppose -1 = 2*n - 5. Suppose 4*v + n*x = 14, v + 1 - 3 = -2*x. Solve 0 = 5*u, -2*k + 0 + 2 = v*u for k.
1
Suppose 0*j = -3*j - 27. Let s be (2/3)/((-3)/j). Suppose -s*w - 3*w = -20. Solve c + 19 = -w*v, -2*c + 3*v = -5 - 12 for c.
1
Let j(x) = 5*x - 25. Let f be j(5). Solve f = -4*p - 3*g - 2, 0 = 3*p - 0*g + 3*g + 3 for p.
1
Let p(y) = y - 4. Let u be p(4). Let m be u + (2 - 3) + -1. Let t be 3 - m*(-3)/(-6). Solve 0 = -2*n, 5 = -9*q + t*q + 5*n for q.
-1
Let i = 10 + -6. Suppose -i*x + 2*g = -28, 0 = -4*x - x + 4*g + 41. Suppose -8 = x*r + 12, -5*h + 3*r = -37. Solve 0 = 3*j + 4*s, -2*s - h = -j - 5*s for j.
-4
Suppose 0 = -3*n - 12, 2*i = 7*i + 5*n + 50. Let p = 0 - i. Suppose -r = 0, r - 9 = -t + p. Solve -5*j = -2*j - t, j = -q + 3 for q.
-2
Suppose 3*r - 4 = 2*r. Solve -k = -4, k + 0 = -r*o + 4 for o.
0
Let g(l) = -l**2 - l + 4. Let c be g(-2). Solve 2*j - h - 2 - 2 = 0, -4 = -c*j + 5*h for j.
2
Suppose -x + 2*x - 4 = 0. Suppose x*y + y = 0. Solve -23 = 4*d - y*d + 5*g, -2*d = -4*g - 8 for d.
-2
Suppose c = 6*p - 3*p