= -4 + 0 + r + 0. Let x be i(6). Suppose 4*t + 28 = 4*z, x*t - 18 = -4*z + t. Solve 3*s - z*s + 4 = 0 for s.
2
Suppose -3*c + c - 2*s - 6 = 0, 2*c = -4*s - 16. Suppose 4 = -c*z, -2*z + 17 = 5*v - 3*z. Let w be (-4)/(1 + (-6)/v). Solve -w*u = -u for u.
0
Suppose -5*p - 16 = -f + 12, 4*f - 7 = -p. Solve -f = -0*y + y for y.
-3
Let x(f) = -f**3 + 18*f**2 + 17*f + 40. Let s be x(19). Solve -s*i + 4 = -i for i.
4
Let d be (-9 + 1)/(-1) - 3 - 3. Solve -d*l = -0*l for l.
0
Let p(w) = w**3 - 2*w**2 - 2*w - 1. Let i be p(3). Let f = 2 - i. Let h = 2 + f. Solve h*c - 5*c = 0 for c.
0
Let y(c) = -31*c**3 + 2*c**2 - 1. Let q be y(-1). Suppose -5*j = -3*g - q, 3*j - 8*g + 3*g - 32 = 0. Solve -25 = s + j*s for s.
-5
Suppose h - 8 = -5*v + 13, 0 = -4*v + h + 24. Let u = v + -1. Solve -5*n = -u*n for n.
0
Let c = 26 + -11. Solve -2*f + c = 3*f for f.
3
Suppose 2*o = -8*d + 3*d - 12, -4*o + 24 = -2*d. Solve 14 = -o*p - 6 for p.
-5
Suppose 2*k - 10 = 3*v, 2*v - 5 = 3*k - 15. Let s(o) = -o - 6. Let w be s(-6). Solve -k*t + 0 - 2 = w for t.
-1
Let r be 81/9 - (-2)/(-2). Let b = 8 - r. Solve 2*k + 2 = -b for k.
-1
Let o be (1 + 0 + -1)/(3/1). Solve -2*z - 2*z + 16 = o for z.
4
Let a be 22/6*(-3 - -6). Suppose -3*n + 4*w + 32 = -0*w, -4*n + a = w. Solve -n = v - 2*v for v.
4
Let h(s) = -s**3 - 9*s**2 + s + 13. Let y = 13 - 22. Let d be h(y). Suppose -2*r = -d*r. Solve r = -0*m - 3*m - 6 for m.
-2
Let n(p) = p**3 - 7*p**2 + 8*p + 8. Let j be n(6). Solve 4*l + l = -j for l.
-4
Let t(v) = 7*v**2 + 3*v - 5. Let p be t(-4). Suppose -w - 2*w + 190 = 4*g, w = 5*g + p. Suppose -w = -5*i - 25. Solve -x - i = 2*x for x.
-3
Suppose 5*p - p - 20 = 0. Suppose -p*l + 4*s - 4 = 0, 3*l - 2*s = 3*s - 5. Solve l = -0*z + 4*z + 20 for z.
-5
Let k = 64 + -64. Solve 2*a - 1 + 7 = k for a.
-3
Let q(d) = -d**2 - 5*d. Let a be q(-4). Suppose 0 = -5*m - 0*m + 15. Suppose -t = -2*t, m*v = -a*t + 6. Solve 2 = v*p - p for p.
2
Let t(y) be the third derivative of -y**6/120 + y**5/30 + y**4/8 - y**3/6 + 2*y**2. Let q be t(2). Suppose 0*n - 15 = -q*n. Solve -s + n = -4*s for s.
-1
Let x be (3 - 1)*(-3 - -5). Suppose x*w - 80 = -0*w. Suppose -2*j = -0*y - 2*y, -30 = -5*j - y. Solve -j*v + v = w for v.
-5
Let n(p) = -p**3 + p**2 + p. Let f be n(2). Let o be f/6*(-45)/3. Let w(y) = y**2 + 8*y - 4. Let s be w(-9). Solve -s*q + 6*q = -o for q.
-5
Suppose -o - o = 0. Suppose o = -s - 3*s. Suppose 0 = 3*v + 1 - 7. Solve s = 6*l - v*l for l.
0
Let p(u) = u**3 - u. Let z = 7 + -6. Let j be p(z). Solve j = 3*n - n - 8 for n.
4
Let s be -20*(-1)/(2/(-3)). Let f be 2/6 - s/18. Solve x = 3*x - f for x.
1
Let z = -11 + 23. Let x be (z/(-16))/((-1)/4). Solve -x*j - 10 = -j for j.
-5
Let n(l) = -4*l - 13. Let y be n(-4). Solve 0 = y*x + x + 4 for x.
-1
Let z be 6/6 + (-1)/1. Suppose -5*j - 4*s = -2*s, -3*j - 2*s = z. Solve -h + j = -2 for h.
2
Let n = 20 + -8. Suppose -2*x + 5 = -3*l, -5*x + 33 = l + n. Let t be l + -2 + (-3 - -6). Solve v - t = -v for v.
1
Suppose -4*b = -3*b - 2, 2*b - 2 = -g. Let r be ((-3)/5)/(g/10). Solve -3 = -2*t + r for t.
3
Suppose 6*i = i + v + 5, -2*i = -v - 5. Solve i = g - 2 + 4 for g.
-2
Let t be 4 + (22/33)/((-1)/(-3)). Solve -z - t = z for z.
-3
Suppose -2*r = 2*r. Suppose 0 = -4*z - r*z - 3*c - 3, -4*z = -c - 1. Let m be z - ((-2)/2 + -1). Solve 0 = -2*j - m*j + 20 for j.
5
Suppose 15*h - 20*h + 15 = 0. Solve -7 = -h*m + 5 for m.
4
Suppose 0 = -d + 4*l - 3*l + 21, 2*d + 2*l = 54. Let p be (-4)/6 + 42/9. Solve 4*v + d = p for v.
-5
Let y be 534/(-33) + (-4)/(-22). Let r = y + 32. Let b = r - 8. Solve b = -a + 3*a for a.
4
Suppose 2*u + 5*j = 3*u, 0 = -3*u + 2*j + 13. Solve 0 = -u*r + 12 + 8 for r.
4
Suppose 4*v + 2*h = 5 + 5, 0 = -5*v + h + 2. Suppose -3*q - 7 = -v. Let b be q + 3 + (-2 - -1). Solve f = -b*f - 4 for f.
-4
Let t(y) = y**3 - 19*y**2 - 21*y + 29. Let f be t(20). Solve 1 = 2*i + f for i.
-4
Suppose b - 2*b = -3. Let g be ((-6)/(-5))/(b/10). Solve -g*z - z = 0 for z.
0
Suppose 0*a = a. Suppose a = -5*b + 10, 4*g - 2*b = 2*g - 16. Let w = -4 - g. Solve -w*z = 3*z - 20 for z.
4
Let i(m) = -m**3 - 3*m**2 + 5*m + 7. Let b be i(-4). Let w be (-4)/6 - 68/(-12). Let n(c) = -c**3 + 4*c**2 + 6*c + 7. Let v be n(w). Solve -3 + v = b*k for k.
3
Suppose r = -4*r. Let j = r + 2. Solve u + j = -u for u.
-1
Suppose t - 3*w - 20 = 0, -2*t + 6 = -2*w - 14. Suppose -2*v = -3*n - 35, -2*v - 4*n - 9 = -37. Solve -t*f = -f - v for f.
4
Let d be (-2)/7 - 46/(-14). Suppose -2*k = -d*k. Suppose k = -y - 5*g + 37, -4*g = -2*y - 9*g + 49. Solve -3*b - y = b for b.
-3
Let o = 28 + -25. Solve -2*j = -j - o for j.
3
Let r be 0*(-1 - (-8)/6). Solve -4*l + 4 = -r for l.
1
Suppose -2*c + 19 = 13. Solve -7*s = -c*s + 8 for s.
-2
Suppose -11 + 29 = 3*h. Suppose -h = -b - b. Suppose -2*y = -3*y. Solve y*t + b = -t for t.
-3
Let u be (-1)/(-2) - 10/4. Let c be (3 + u)*(3 - 2). Let x be c - (1 + 2*-1). Solve -1 = x*i + 7 for i.
-4
Let a(n) = 2*n + 10. Let i be a(-3). Solve 3 + 1 = -i*p for p.
-1
Suppose 2*y - 3 - 53 = 0. Let u = y + -25. Solve 5*v + 8 - u = 0 for v.
-1
Suppose -4*h + 23 = 3*i - 4*i, i = -4*h + 25. Suppose -m = -h*m + 20. Suppose 0*f = 5*f. Solve 0 = -k - f*k - m for k.
-4
Let d(p) = p**2 + 2*p - 3. Let b be d(-4). Solve w = b - 0 for w.
5
Suppose 0 = 2*j + 2*b - 2, -j + 3 = 3*b - 0. Solve 20 = -j*g - 5*g for g.
-4
Let u(t) = t**2 - 9*t - 6. Let j be u(10). Solve 3*x = j*x + 4 for x.
-4
Suppose 2*n + 7 = -7. Let a(f) = -f**3 - f**2 + 3*f - 3. Let h be a(2). Let c = n - h. Solve -3 = -c*v + 5 for v.
4
Let j be 2/(-1)*1 + -4. Let h be 2 + (-3)/(9/j). Suppose 2*r - 2*x + 8 = 4*r, 0 = 3*r - x - h. Solve -1 + r = a for a.
1
Let g be -3 + -3 + (-1 - -4). Let b = 13 + g. Let q be b/6 - (-2)/6. Solve 0 = -3*m + m + q for m.
1
Let p(v) = -2*v**3 - 3*v**2 - 2*v - 2. Let s be p(-2). Solve 2*n + n = -s for n.
-2
Let x(k) = -k**2 + 6*k - 4. Let d be x(5). Let b be (-2 - -2 - 0)/d. Solve b = -j + 2 - 4 for j.
-2
Let o(i) = i**3 + 10*i**2 - 11*i + 15. Let b be o(-11). Let a = -9 + b. Suppose -5*u = x - a*x, 5*u - 1 = 4*x. Solve -n = -x - 2 for n.
3
Suppose 4*g = 8 + 4. Suppose g*w + 0*w = 39. Solve -3*m + w = -2 for m.
5
Let v(u) = 14*u**2 + 2*u. Let q be v(1). Let s(t) = -t**3 + 5*t**2 + 8*t - 7. Let m be s(6). Solve -q = g - m*g for g.
4
Let r be (-2)/(2/8 + 0). Let z be (-3)/(-2) + 69/6. Let o = z + r. Solve -o = -4*n - 21 for n.
-4
Suppose 12 - 27 = -5*q. Solve 2*w = q*w for w.
0
Suppose -u - x + 0*x + 4 = 0, -4*u + 28 = -2*x. Solve 5*h + 1 = u for h.
1
Let w(u) = -u**3 - u**2 + 4. Let t be w(0). Solve 0*j - t*j = 0 for j.
0
Let d(n) = -n + 11. Let t be d(7). Solve 0 = m + t for m.
-4
Let k be (-8)/(-28) - 2/7. Let i = 2 + k. Solve 0 = c - i*c - 4 for c.
-4
Suppose 21 = -2*o + 9*o. Solve o*a - 7 = -1 for a.
2
Suppose -2*q + 0 + 12 = 0. Solve -j + q = -3*j for j.
-3
Let k be 3/(3/25)*1. Solve n + k = 6*n for n.
5
Let x(h) = h. Let c(p) = -5*p + 1. Let j(k) = -c(k) - 4*x(k). Let r be j(3). Let n = 48 - 45. Solve n*g = -r*g - 10 for g.
-2
Let z(b) = 0*b**2 + 3*b + 0*b**2 + 0*b**2 + 4*b**2. Let v be z(-2). Suppose -5 = -0*y - y. Solve -s + y - v = 0 for s.
-5
Suppose 2*b = 3*b - 3. Suppose 6*n - 4*n + 2*g = 16, n - 10 = g. Suppose 0*z - z + b*a = -3, -3*z + a = -n. Solve 0 = -z*f + 2*f - 4 for f.
-4
Let n(q) = 2*q - 5. Let s be n(3). Solve -s - 1 = -a for a.
2
Let j(x) = x**3 + 4*x**2 - 7*x - 7. Let b be j(-5). Suppose 4*l - b = 1. Solve 2*p - 3 + l = 0 for p.
1
Let s be (-13)/2*(0 + -2). Solve -s = 3*t + 2 for t.
-5
Let y(k) = -9*k - 45. Let b be y(-5). Solve b - 8 = -4*a for a.
2
Suppose 2*j + 4 - 26 = 0. Let r = j + -4. Suppose -r = -3*k + 2. Solve -5*o = -k*o - 10 for o.
5
Let v = 43 + -33. Solve 4*r - 2*r + v = 0 for r.
-5
Let s(j) = 24*j - 1. Let g be s(1). Suppose -5*a - g = -2*l, -3*a - 2*a = -3*l + 22. Let z = 7 + a. Solve -z*h = 2*h for h.
0
Let b = -15 + 14. Let g be b/(-6) - (-21)/(-126). Solve 0*i - 4*i = g for i.
0
Let d(v) = -10*v - 10. Let o be d(-1). Solve 3*t - t = o for t.
0
Let u = 1 + 6. Solve u*j - 2*j + 5 = 0 for j.
-1
Suppose -4*w + 6 = -w. Suppose 0 = -w*r - r. Solve x - 4 - 1 = r for x.
5
Let c(v) be the first derivative of -v - 1/2*v**2 + 2 + 4/3*v**3 + 1/4*v**4. Let h be c(-4). Solve -3 = -h*x + 9 for x.
4
Let v(h) be the second derivative of h**3/6 + 6*h**2 + h. Let z 