 25, -4*u - 5*r = -25 for u.
0
Let x(i) = 2 + 5 - 2 + 2*i - 1. Let u be (-39)/(-12) - (-3)/(-12). Let d be x(u). Solve 4*j - 4*a = -a + d, 2*a = 4 for j.
4
Let n(i) be the second derivative of i**3/6 + 7*i**2 + 5*i. Let h be n(-12). Solve 3*x = -l + 2, l - 2*x + 0 = h for l.
2
Suppose -17 = -3*f + 3*n - n, 0 = f - 2*n - 7. Suppose -3*a + 4 = -l, 0*a - 3*l - 12 = a. Let p = f - a. Solve -p*t + 40 = 5*v - 10*v, 0 = 2*t + 5*v + 19 for t.
3
Let w(a) = -a + 5. Let t be w(0). Suppose 0 = 4*n - 7*n. Solve -q + t = -2*q + 2*d, -3*q - d - 1 = n for q.
-1
Let r(b) = -b**3 + 9*b**2 + b + 15. Let t be r(9). Solve x + 4*o - t = 0, -5 + 33 = 2*x + 4*o for x.
4
Suppose -3*l + 3*j + 3 = 0, -5*l + 2 = 5*j - 13. Suppose -4*g + 36 + 28 = 0. Let p be (-40)/(-3)*24/g. Solve -l = -2*w + 4*i + p, -w - 1 = i for w.
3
Suppose 2*n + 0*n = 0. Let c be -2*(0 - (-10)/(-4)). Let o(r) = r**3 - 3*r**2 - 2*r - 5. Let z be o(4). Solve 0 = -z*w - 3*f - n + 21, -5*w + 5*f = -c for w.
4
Suppose 0 = 9*b - 6*b. Solve 15 = -3*h + 2*c - 4*c, b = c for h.
-5
Let w(x) = -x**3 + 4*x**2 - 2*x + 1. Let s = 10 - 7. Let m be w(s). Solve -5*u + r - 26 = 0, -2*u = 2*u + m*r + 16 for u.
-5
Let y be 2/(4/(-6)) + 1. Let a = 14 - 10. Let b = y + a. Solve 21 = -3*z - 2*r, -2*z - 32 = b*z + 4*r for z.
-5
Suppose 0 = -2*v + 7*v. Solve -a + 0 = q + 5, -5*a - 25 = v for q.
0
Suppose -31*n - 6 = -34*n. Solve 3*a + 4 = n*v, 2*a - 8 = -3*v - v for a.
0
Suppose 11 - 96 = -5*v. Suppose 4*c = 31 + v. Solve 13 = -o - 3*w + 7*w, c = 3*w for o.
3
Let v(y) = 3*y - 1. Let c be (-2 - -1 - 1)*-1. Let m be v(c). Solve 0 = -m*w + 3*i + 10, 4*w - i = 4*i - 5 for w.
5
Let q(f) be the first derivative of -f**4/4 + 5*f**3/3 - 1. Suppose 25 = -0*m + 5*m. Let i be q(m). Solve -4*h = -h - 2*c + 7, -c - 4 = i for h.
-5
Let m(q) = q**3 + 6*q**2 + 3*q. Let d be m(-4). Let u be d/7 + (-2)/(-14). Solve 4*f - 4 = -5*o, -u*f + 2*o - 18 = 2 for f.
-4
Let h = -5 + 7. Suppose -w + 12 = 4. Solve h*x + 0*x + 4*a - 24 = 0, -5*a = -3*x - w for x.
4
Suppose 13 + 5 = 3*q. Solve f - 3*v + q*v = 5, 0 = -2*v + 4 for f.
-1
Suppose 14 = -4*a + 22. Solve p = -q - a, q + 2*q = -4*p - 8 for q.
0
Let a = 3 + -11. Suppose c = 12 - 0. Let s = c + a. Solve -14 = 3*m + 4*d, 5*m - s*d + 0 + 2 = 0 for m.
-2
Let t be 12/5 + (-2)/5. Let i be ((-6)/(-10))/(3*(-3)/(-45)). Suppose t*r - 19 = -i*o, 0*r + 32 = 4*o + 4*r. Solve o*c - 5*d + 26 = 6, 4*c - d + 4 = 0 for c.
0
Let g = -49 - -56. Let b = 11 - 7. Let o be (8/(-10))/(2/(-5)). Solve -b = y + a, -g*y + 3*a + 12 = -o*y for y.
0
Suppose 5 = w - 3. Let r(m) = m**3 - 7*m**2 - 7*m - 3. Let q be r(w). Solve -2*v - c = 3*v - 20, -q*c = v - 28 for v.
3
Let r(p) be the third derivative of p**4/24 + 5*p**3/3 - 5*p**2. Let h be r(-10). Solve -j + f + 4 = h, f = -2*j + 2 - 3 for j.
1
Let z(u) = u**3 + 9*u**2 - 12*u - 16. Let c be z(-10). Solve 5*q - 1 = 2*t, 0 = c*t - q + 4 + 7 for t.
-3
Let r be 39/15 - (0 - (-2)/(-5)). Solve 15 = -5*a, -3*g - r*a = -0*a + 24 for g.
-5
Let m(j) = -j + 1 + 0*j**3 + 5*j**3 - j**3 + 0*j**3. Let p be m(1). Solve -6 = -5*c + v + 8, -p*v = -5*c + 26 for c.
2
Let q be 9/6*16/6. Solve -2*x = -4*x - 8, -2*h - 18 = q*x for h.
-1
Let k be 2/4*5*2. Let g(l) = l**2 - 4*l - 5. Let f be g(k). Solve -3*w - 4*i + 0*i - 1 = 0, 3*w + 2*i - 1 = f for w.
1
Let n be ((-2)/4)/(2/(-8)). Let m(p) = -p**3 + 5*p**2 - 3*p - 2. Let f be m(3). Let c = f - 5. Solve -c*w = v, n*v + 2*v + 3*w + 10 = 0 for v.
-4
Let b(a) = a**2 - 5*a + 1. Let m be b(4). Let t be m/(-12) - 2/8. Solve t = -3*o + 2*k + 5 + 7, 4*k - 16 = -4*o for o.
4
Let v be (-12)/8*-2 + 24. Solve 5*d - 7*g + 3*g - v = 0, d - 5*g - 18 = 0 for d.
3
Suppose u + 4 = s - 4*u, -2*s = 5*u - 8. Suppose -4 + 17 = 5*i - 3*l, 4 = -s*l. Solve -1 = -2*y - 5, -i*y - 16 = -4*b for b.
3
Suppose -4*v + 0 = -4*b + 28, -1 = -3*b - v. Solve m + 2 = 3*f, 4*f - m + b = 4 for f.
0
Let x = -2 + 3. Suppose x = 3*m + 2*y - 12, 5*y = -m + 13. Suppose -5*h = 2*l - 18, -2*h + m*l + 2*l = -13. Solve -20 = -5*v + v + 3*j, h*j = -v - 14 for v.
2
Let y = 76 - 73. Suppose -g + 5*g - 16 = 0. Solve -t + g*t + y*a - 15 = 0, 0 = -2*t - 3*a + 10 for t.
5
Let g = 3 - 4. Let w = -1 - g. Suppose 3*q - 39 = -w*q. Solve 4*n + 3*k + q = 2*n, -3*n = -5*k - 9 for n.
-2
Suppose l + 2*l - l = 0. Solve l = k + 4*y + 18, -k - 4*k + 10 = -5*y for k.
-2
Let v be (147/2)/(-7)*(-6)/9. Solve 0 = d - 3*r + 17, 3*d = -r - v - 4 for d.
-5
Let l = -29 + 21. Let r be 2/(-15) + (-591)/(-45). Let w = l + r. Solve -4*v - 12 = -6*v - w*t, v = -3*t + 8 for v.
-4
Suppose 7*t = -t + 200. Let u = -2 - -5. Solve -31 = 5*v + g - u*g, 2*v - 5*g + t = 0 for v.
-5
Suppose 4*z = -14 - 14. Let d(r) = r**3 + 7*r**2 - r - 4. Let g be d(z). Solve -g*n + 1 + 2 = 0, -5*n + 20 = 5*v for v.
3
Let l be (-20)/(-70) + (-46)/14. Let b be -1*6/l - -9. Let o be 46/b - 4/22. Solve -14 = 5*n - o*i, n = -3*i - i + 2 for n.
-2
Let y = -36 - -41. Solve 13 = g + 3*f, -5*g - y*f = -f - 32 for g.
4
Suppose -2*p + 2 + 2 = 0. Let d be 3 + (p - 1) + -1. Solve d = -m + 3*w, 2*m + 4*w - 18 = -4 for m.
3
Suppose c - 4 = -c - f, 0 = -5*c + 5*f + 40. Let k be c/(-12) + (-26)/(-6). Solve -2*j - n = -3, -17 = -4*j + k*n + 7 for j.
3
Suppose -2*s + 4*w + 6 = 0, w - 13 = 4*s - 2*w. Let m(p) = -p + 10. Let v be m(s). Solve -v = 5*b - 3*f, -4*f + 2*f + 7 = b for b.
-1
Suppose -z - 37 = -5*v - 13, -4*v = z - 21. Solve -v*x + 45 = 5*p, 5*x - 3*p + p = 17 for x.
5
Let c = -28 - -9. Let d = c + 23. Solve -16 = -2*b + 4*v, 4*v = -b - 6 - d for b.
2
Suppose 4*q = 4*g + 4, -g - 2*q + 2 = 3*g. Solve 2*c = g, 3*c + 14 = 5*x - 1 for x.
3
Suppose 0*j - 2 = -j. Suppose -j*z + 0*z + 36 = 0. Suppose 4*t - 4*n = 0, n + z = 3*t + 4*n. Solve 6*f - t*f = -r - 9, -3*r - 3*f = 3 for r.
3
Let p = 55 - 50. Let n = 51 - 29. Suppose 3*m - 7 = -1. Solve -2*l - 16 = -m*b + 4*b, 0 = -b + p*l + n for b.
-3
Let x = 45 + -39. Solve -5*l - 5*t - 20 = 0, -4*l - x = 3*t + 5 for l.
1
Let j be 2*((-6)/(-2) - 1). Suppose -r = -2*x - 11, 4*x + 6 = -2*r + j. Solve -25 = 5*k, 2*k - 15 = 3*t + r*k for t.
0
Let y = -8 + 8. Suppose -q = 4*s - 8 + 3, s - 3*q + 15 = y. Suppose s = 2*i - 7*i + 20. Solve -r + 5*o = 3*r - 7, 0 = i*r + 3*o + 17 for r.
-2
Let c = 4 + -1. Let b(k) = -k**3 + 3*k**2 + 10*k + 5. Let i be b(5). Solve -i*u + 5 - 20 = -5*f, 2*u = f - c for u.
0
Let d(a) = 3*a - 58. Let u be d(21). Solve -2*g + 4 = -u*x - 3, 0 = 5*x + 4*g + 1 for x.
-1
Suppose -4*x - r = 4*r - 55, 2*x + 5*r = 35. Solve -3*w + 0*w + 7 = -5*y, -3*y - 4*w - x = 0 for y.
-2
Let n = -2 - -2. Suppose n = -a + 2*a - 2. Suppose 4*v - 3 - 9 = 0. Solve -3*x + 21 = v*q + 2*q, -5*x + a*q = -4 for x.
2
Let v(h) = h**2 + 6*h + 12. Let w be v(-9). Let z be 2/(-8) + w/12. Solve 0 = 4*q - 4*m + 8, 4*q + 8 + z = 5*m for q.
1
Suppose -2*u - 8 = 2*u, 4*u = -2*d. Let h be (-2)/(-9) + (-2)/9. Let g be -3*(0 + -1 + h). Solve 0 = -5*r + g*p - 5, 0 = -4*r - d*p + 28 for r.
2
Let h be 4/(-8) + 14/4. Suppose -8*f - 6 = -10*f. Solve -2*w - f*w = 10, w = h*b - 14 for b.
4
Suppose -16 = -3*g - y, g - 3*g = y - 10. Solve 3*j - 3*x = -g, -4*x + 0 = 3*j - 8 for j.
0
Let q(a) = a**3 - 10*a**2 + 10*a - 7. Let k be (-7 - -11)*18/8. Let r be q(k). Let l be (-6)/(-8)*(1 - -3). Solve 8*w + 21 = 3*w - l*v, r = -2*w + 2*v for w.
-3
Suppose -3*y = -5*y + 12. Let r be (8 + -8)/(-2 + 3). Solve m - 2 = r, -4*m = 2*p - y - 12 for p.
5
Let a be (9 - 15)*1/(-2). Solve -3*d - 3*p + 1 = -8, 10 = a*d + 4*p for d.
2
Suppose 4*a + 13 = -t, -5*t - 5*a = -a + 1. Solve 2*j = i - 6, -t*j - 4*i - 2 = -4 for j.
-2
Suppose 2*a + 3*a = -10. Let z be (-2)/a - (7 - 7). Let o = 0 + 0. Solve o = -2*y - 2*d + 16, 2*y + z + 1 = 4*d for y.
5
Suppose 0 = 3*z - 18 + 3. Suppose 0*k - 14 = k + 5*v, z*k - 10 = -5*v. Solve 4*t - 9 = 5*t + p, -t + k = -2*p for t.
-4
Let t be (-216)/(-32) + (-1)/(-4). Suppose -25 = -t*m + 2*m. Solve 0 = 4*v - m*y + 4, -y = 5*v + 2*y + 5 for v.
-1
Suppose -2*v = -9*v. Solve v*f - 6 = 2*f - 4*c, 9 = 2*f + c for f.
3
Let q = 96 - 63. Solve -5*i + q = -4*f, -5*f - 3*i + 15 = 2*i for f.
-2
Let m(b) = -b**3 - 5*b**2 - 4*b - 2. Suppose -3*w - 8*u = -4*u + 31, 2*u + 28 = -4*w. Let q be m(w). Solve 15 = 5*i + 2*n, 0 = -4*i - 2*n - 6 + q for i.
3
Suppose 9*v = 10 + 8. Solve -2*g - 2*d - d - v = 0, 3*g - d = -14 for g.
-4
Let l be 1/(-1)*(-2 - -2). Suppose l*b 