be v(6). Let m = -67 + 71. Solve -4 - f = -m*a for a.
3
Suppose -2*r - 1 - 1 = 0. Let l be -1 - (2 + -2 + r). Suppose 2*x - 5*p = l, 3*x - 4*x + 22 = 3*p. Solve 0 = -2*m - 0*m - x for m.
-5
Let q(y) = 6*y**3 - 2*y**2 + 1. Let p be q(1). Suppose -8*h = -p*h. Solve 0 = -x + 3 - h for x.
3
Let s = -2 - -2. Suppose 0 = -5*z - 3*g, g = -5*z - s*z + 10. Let c be (-13)/(-5) - (-2)/5. Solve -z*j + 6 = -c for j.
3
Let t be 1*-5*30/(-25). Suppose t = -5*z - 2*s, 2*z - 15 = 4*s + s. Suppose -2*p - 8 = 0, z*r = 2*r + 5*p + 16. Solve -r*f - 3*f = -15 for f.
3
Let j be ((-9 + 9)*(-1)/(-2))/2. Solve j = 2*u - u for u.
0
Let l be (-1)/(-6) + (-153)/(-54). Solve 0 = -4*s - l - 1 for s.
-1
Let t(j) = j**3 + 6*j**2 + 3. Suppose -3*m - 3 = -12. Suppose m*s - s = -12. Let o be t(s). Solve -o*n + n = -6 for n.
3
Let v = -2 + 2. Let y = -97 - -97. Solve y*q - q - 2 = v for q.
-2
Let n be (-3 - -1)*(-60)/(-6). Let y = -16 - n. Solve y*g - g = -9 for g.
-3
Let i be (9 - 3) + 2*-1. Suppose -i*t - 14 = -4*p + t, 0 = 3*p + 2*t - 22. Let h = p - 2. Solve -3*s = 5 + h for s.
-3
Let x be 27/4 - 2/(-8). Suppose 3*j + 3 = 2*j. Let i be (-2)/j - (-39)/9. Solve 0 = 4*k + x + i for k.
-3
Let h = 1 - 1. Suppose w = -r + 5, -3*w + 19 = -w + 5*r. Suppose 0 = w*p - p. Solve -3*s + h*s = p for s.
0
Suppose 0 = 2*y - 5*b + 16, -4*b + 8 = -0*y - 4*y. Let g = 27 - 19. Solve y*p - g = -2*p for p.
2
Let t(s) = -6*s - 32. Let p be t(-6). Suppose 2*x + 2 = 2*c, 2*c - 1 = -x + 10. Solve 1 = p*f - x for f.
1
Let b = 19 - 13. Suppose -k + 2*a = -2*a - 20, 3*a + 15 = -3*k. Suppose -b*x + x + 5 = k. Solve -1 - x = 2*h for h.
-1
Let j be -25 + (0 + 1 - 0). Let k be (-64)/j*(-6)/(-8). Solve 5*a - k*a + 9 = 0 for a.
-3
Let h(j) = -j**3 - 3*j**2 - 2*j + 1. Let k be h(-2). Let b be 5*k*9/15. Solve -s = -b*s - 6 for s.
-3
Let u(y) be the second derivative of 0 + 3*y + 1/20*y**5 - 5/2*y**2 - 1/3*y**4 - 2/3*y**3. Let x be u(5). Solve v - 3*v = x for v.
0
Let n = -5 - -9. Suppose -4*w + 4*j + 20 = 0, 4*j = -4*w - 0*j - n. Let m be 1 - (-2 + -1 + w). Solve -c = m*c - 6 for c.
2
Let o = -46 - -25. Let i = 15 + o. Let d = i - -11. Solve -u = -d*u for u.
0
Let r be ((-6)/4*4)/(-2). Suppose -r*v + 18 = -3. Solve v = b + 2 for b.
5
Suppose 0 = -3*f, -3 = -4*q - 2*f + 5. Solve -q*r = -3*r + 4 for r.
4
Let z = 9 + -6. Solve 3 = 2*m - z for m.
3
Suppose -2*a = -5 + 1. Suppose 5*j = 3*s - a*s + 21, s + 2*j = 14. Let v = -6 + 8. Solve v*b = -2*b + s for b.
1
Suppose 2*m + 24 = -2*m. Let q = -6 - m. Solve q = 5*z - 9 + 24 for z.
-3
Let z be ((-2)/1)/(1 - 2). Suppose z = 3*n + 11, -4*j = 5*n - 1. Solve 4*u = -0*u - j for u.
-1
Suppose 0*y = -3*y - 3*m + 27, -5*y - 3*m = -35. Solve 0 = l + y*l for l.
0
Suppose -h = h - 32. Let s = 16 + -9. Let n be 2/(-3) - (-33)/9. Solve h = n*q - s*q for q.
-4
Let t(f) = -f**2 + 6*f - 6. Let l be t(3). Solve 0*c = l*c for c.
0
Let f be (0 + 12)*(2 + -3)/(-4). Solve -f - 1 = -t for t.
4
Suppose 3*v = 0, 8*z - 4*z - 3*v = 0. Solve -4*n + 0 + 12 = z for n.
3
Suppose -29*o + 30*o = 4. Solve -2*w - 2 = -o for w.
1
Suppose 3*c = -3*q - 0*q + 30, 5*c - 3*q - 10 = 0. Solve c - 3 = u for u.
2
Let s(n) = -9 - n**2 - n - 5*n + 3. Let d be s(-4). Solve d*g - 6 = 4 for g.
5
Suppose 3 = k, 0 = 3*n - 5*k + 3*k + 6. Suppose 0 = -x - n*x. Let m be 1 + x - (-5 - -2). Solve m*b + 1 = -15 for b.
-4
Let f be 90/25 - 2/(-5). Suppose 3*x + f = 5*x. Solve -x*u - 8 = -2 for u.
-3
Suppose 3*f + 0*f = 0. Suppose 2*w = 6*w. Solve w = c - f*c for c.
0
Suppose 0 = -5*u + 8*u - 60. Solve 0 = -0*n - 5*n - u for n.
-4
Suppose 5*j - 5 = w, 3*j = -3*w + 2*w + 3. Let h be 0*(1 - -1 - j). Solve h*k + k + 5 = 0 for k.
-5
Let q be 1/((16/36)/4). Suppose -11 - q = -5*b. Solve -2*j - b = 2*j for j.
-1
Suppose 4*x - 5*a - 17 = 0, 2*a = -5*x - 3*a - 35. Let v be (x/(-4))/((-2)/(-108)). Solve -5*h = 2 - v for h.
5
Let m be (4/(-7))/((-6)/21). Suppose -5*r = -k - m + 9, 5*k - 12 = 2*r. Solve 2*f = -0*f + k for f.
1
Let b = -9 + 13. Suppose -b*q + 3 = -q. Solve q = l - 0 for l.
1
Let o(m) = m + 7. Suppose 3*q - 30 = 5*b, -b + q - 23 = -3*q. Let z = b + -2. Let c be o(z). Solve -v = c*v for v.
0
Let s be ((-27)/3)/((-6)/4). Suppose s = -h + 21. Solve -h = 4*k - k for k.
-5
Suppose -2*m - 2 = -8. Solve 0 = -i + 2*i + m for i.
-3
Suppose 40*s - 41*s + 2 = 0. Solve 3 = -b - s for b.
-5
Let c(g) = g**2 + g. Let h be c(0). Suppose h*t - 15 = -3*t. Solve 5*w + 20 = -t for w.
-5
Let d be 6 + 2 + (-2)/4*10. Suppose -5*x - 3 + 13 = 0. Solve v - d*v = x for v.
-1
Suppose -3*x - 17 = -2*k - 2, x - 3 = -2*k. Let r be x + 4 + 0 + 2. Solve 0 = r*s + 2*s + 10 for s.
-2
Let s = 10 + 6. Suppose s = -j + 2*j. Let o be (j/24)/((-2)/(-30)). Solve -3*q - o = 2*q for q.
-2
Let b(y) = y**3 - 8*y**2 + 7*y - 10. Let n be b(7). Let f(l) = l + 12. Let v be f(n). Solve v*o = -0*o for o.
0
Let x = -16 - -20. Suppose 2*w = -4*s + 8, 4*s = -s - x*w + 10. Solve -4 + s = -2*d for d.
1
Suppose v + y - 13 = 0, v = -2*y - 2*y + 22. Suppose -l - 3 + 5 = 0, l = 4*p + 2. Suppose p = 2*u + 3*u - v. Solve u*x = 4*x + 10 for x.
-5
Let w(x) = -3*x**3 + 2*x**2 + x. Let c be 0 + -2 + (-6)/(-6). Let h be w(c). Let q = -1 + h. Solve -q*b + 15 = -6*b for b.
-5
Suppose 131*a + 36 = 135*a. Solve a = 2*z + z for z.
3
Suppose 3*u + s - 5*s - 14 = 0, 0 = -3*s - 6. Suppose u*m - 4 = 6. Let n be (-2)/m + 2/5. Solve n*p = 3*p + 12 for p.
-4
Let n be (12 - 9) + -1*1. Suppose -n*q + 5 = -1. Solve 8 + 4 = q*s for s.
4
Let x be 1/(18/(-4)) + (-141)/(-27). Solve -2*t = -x - 1 for t.
3
Let m be 1*(0 - 0/4). Suppose -5*r = -m*r. Let z(a) = -19*a**3 + 2*a**2 + 2*a + 1. Let j be z(-1). Solve -5*l + r*l = -j for l.
4
Let c(o) = o + 6. Let d(l) = -3*l. Let q be d(2). Let r be c(q). Solve -2*y = -r*y for y.
0
Suppose 4*w = -52 - 24. Let n(c) = -11*c + 10. Let s be n(4). Let b = w - s. Solve 4*h - 3 = -b for h.
-3
Let v(q) = 2*q**2 - 5*q - 5. Let k be v(5). Let n be (2/(-5))/((-8)/k). Solve 4*x - 3 - n = 0 for x.
1
Let a be (-93)/(-18) - 2/12. Solve 4 = a*d - 6*d for d.
-4
Let l be (0/(-1))/(1 - 2). Let f(b) = 13 - b - 13 + b**3. Let q be f(l). Solve -5*r + r - 12 = q for r.
-3
Let w = 1 - 3. Let j = 3 + -5. Let v be 2/(j*w/8). Solve -3 + v = y for y.
1
Let f = 46 + -44. Solve -f*n + 20 = -6*n for n.
-5
Let c(w) = w**2 + 2 + 1 - 4*w - 6 + 8*w. Let i be c(2). Solve 4*v - i = 7 for v.
4
Suppose -2*p + 5*d = 3*p - 95, -3*d + 63 = 3*p. Suppose 1 + 2 = x. Suppose x = 3*n + 3*q - 9, n - q = 0. Solve -2*s = n*s + p for s.
-5
Let i(h) = -h**3 + 2*h**2 + h + 3. Let p be i(3). Let x be p/6*2 - -4. Suppose g + 4*t - 33 = 0, -x*t = t - 20. Solve -g = -3*r + 2 for r.
5
Let j(f) = 2*f**3 - f**2 + f - 1. Let k be j(2). Let n = k + -8. Solve -n = m - 0*m for m.
-5
Let v = -31 - -51. Solve 0 = 3*n + 2*n + v for n.
-4
Suppose 2*n + 20 = -3*n, -5*n = -5*b + 40. Solve -b*x - 5 + 25 = 0 for x.
5
Let w(g) = -g + 10. Let b be w(5). Let t be b/2*(-24)/(-20). Solve -t*o + 13 + 2 = 0 for o.
5
Let z(d) = -d**3 - d**2 - d + 1. Let n(q) = -2*q**3 + 4*q**2 + 8. Let p(k) = n(k) - z(k). Let c be p(5). Solve 0*b - 4*b = -c for b.
3
Let f = 1 - 1. Suppose 2*n + 2*n - 5*k + 3 = f, 2*n - 15 = -3*k. Let t = -1 + n. Solve -4*y + 22 = t for y.
5
Suppose -7*r - 21 = -63. Solve -r = -6*l + 3*l for l.
2
Suppose 0 = -b - 5*b + 18. Solve 1 = b*w + 7 for w.
-2
Suppose -2*y + 46 = -0*y. Let x = y + -11. Solve x = -q - 3*q for q.
-3
Suppose 5*q - 5*w = 0, -5*q + 3*w - 4 = -10. Solve -q*k = 13 - 1 for k.
-4
Let r = -8 + 5. Let y be (-2 - r) + 2 + 0. Solve -2*d = -1 + y for d.
-1
Let s(y) be the third derivative of -y**7/840 - y**5/30 + 4*y**2. Let u(c) be the third derivative of s(c). Let j be u(-2). Solve 0 = -4*z + 8*z - j for z.
3
Suppose 5*q + 2 + 43 = 0. Let c be (-1*1)/((-2)/(-12)). Let n be ((-3)/q)/((-1)/c). Solve -15 = 5*d - n*d for d.
-5
Let p be 8/(-4) - (-8 + -1 + 4). Let j = -1 + 5. Suppose -w - p = -j. Solve -k + 1 = -w for k.
2
Let p(z) = -z + 4. Let s be p(8). Let m be (-6)/(-4)*s/(-6). Solve -a + 1 + m = 0 for a.
2
Let v = 21 - 12. Suppose 3*g + 4*m = -g + 20, 3*m - v = 0. Solve i + g - 4 = 0 for i.
2
Let k = 31 + -14. Let q = k - 7. Solve -4*s + 2 = -q for s.
3
Let c be ((-6)/(4 - 3))/1. Let v be (20/4)/((-2)/c). Solve 3*i + 0 - v = 0 for i.
5
Let g = -12 - -17. Suppose 4*i - g*f - 7 = 0, -i - 4*i + f = -14. Solve -2*x =