t v be 1/1*(p - -5). Suppose -2*l - k = 3*k - 8, 5*k = -5*l + 10. Solve 0*c = 5*c - v*s - 20, l = -c + 5*s + 8 for c.
3
Suppose 7 = -5*i + 22. Solve 4*o - 4*v - 2 = 2*o, 2*o - i*v = 0 for o.
-3
Let r be (0 - -4)*(3 - 2). Suppose -3 = -d - 1. Suppose -3*p + 5*p = -r*m - 16, 21 = -d*p - 5*m. Solve -2*c - 3*i + 2*i = -2, p = -c + i for c.
0
Suppose -4*l - 2 = -46. Suppose -l - 25 = -r. Suppose 6*m - m - 36 = -4*b, -5*b = 4*m - r. Solve -3*i - d = -16, d + 0*d + 12 = m*i for i.
4
Let i = 14 + -8. Suppose r = i*r. Solve 5*g - 4*x - 8 = 0, -5*g = -r*x - x - 2 for g.
0
Suppose 9*l - 25 = 4*l. Suppose 5*q - 2*x - 16 = 0, 0*q + 4*q - l*x = 6. Let j = 6 - -11. Solve -3*s + 3*a = -2*a - 5, 5*s - j = q*a for s.
5
Suppose -k - 1 = -3. Suppose -4*u + k*w + 3 = -3*w, 2*u + 2*w - 6 = 0. Suppose 0*i = -i + u. Solve v - 2 = 0, 3*f + 2 = -0*v - i*v for f.
-2
Suppose 0 = 2*z + z. Suppose -2*d - d + 15 = z. Suppose 2*o = -2*o + 3*o. Solve -5*w + 3*n - 7 = 0, -8 = d*w - 2*n - o*n for w.
-2
Suppose -3*y + 0*y + 24 = 3*q, -2*y = -4*q + 14. Solve -4*d + 2*d + 4 = v, 2*d - q*v = 4 for d.
2
Let x be (-3)/2*(-8 + 6). Solve c + 6 = -2*k + x*c, -3*c - 3 = 0 for k.
-4
Suppose 0 = -3*c - 9, -3*t - 2*c + 63 = -7*c. Let p = t - 10. Let r = p + -4. Solve -r*m - 2*m - 4 = 4*b, 3 = -b - 2*m for b.
1
Let k = -19 - -22. Solve 27 = -2*s - 4*v + 9, 0 = -k*s + 4*v + 23 for s.
1
Let p(o) = o**3 - 5*o**2 + 3*o - 6. Let m be p(4). Let f = m + 14. Solve -4*n - f*g + 8 = 0, -1 = 2*n - g + 4 for n.
-1
Let l = -16 - -26. Suppose l + 11 = 3*n - 2*w, -30 = -3*n + 5*w. Solve 4*o + o = n*j - 10, 4*o + 8 = -5*j for o.
-2
Let a(v) = -5*v - 23. Let n be a(-5). Solve n*m = -2, 4*m - 7 = -3*h - 2 for h.
3
Let j be 4/(-8)*(-10 - (0 + 0)). Solve 4*w + 10 = k, -j*k + 0*w = -2*w + 4 for k.
-2
Let o(u) be the third derivative of u**4/24 + u**3 + u**2. Let n be o(0). Suppose -n = -2*r - 2*m, m + 12 = 4*r - m. Solve 5*f - 18 = -r*c, 5*f - 12 = f for c.
1
Let d = 198 - 192. Solve -p - d - 2 = 4*j, -j - 23 = -5*p for p.
4
Suppose -3*u - 4*s = -17, 4*u + 2*s = -1 + 17. Let l = 4 + -2. Solve 0 = d - 3*a - l*a, -4*a = u*d + 19 for d.
-5
Let i = 71 - 68. Let o = 0 - -4. Solve 25 = 4*a - 5*k, i*a + a + 20 = -o*k for a.
0
Suppose a - 8 = -3*a. Let u be (-27)/(-6) - 5/(-10). Solve a*r = -p + 5, 3*p - 11 = u*r + 4 for r.
0
Let r(l) = l**2 - 6*l - 4. Let w(s) = s**3 - 10*s**2 - 10*s - 4. Let z be w(11). Let q be r(z). Solve -5*v + 2*x - 31 = 0, -32 = 4*v - q*x - x for v.
-5
Suppose -l + 14 = l. Let j = 14 - l. Solve -f = b - j, 4*f = 3*f + b + 1 for f.
4
Suppose -14 = 2*y - 4*y. Let f be (-4 - 0/(-2))/(-1). Solve 0 = -v - f*j - 16, -2*v - 5*j = -y*v + 20 for v.
0
Suppose -3*f + 2*a - 1 = 0, -3*f + a + 4 = -0. Suppose 0 = q - 3*q + 2. Solve 2*i = 5*l - 12, -q = -l - l - f*i for l.
2
Let k be (-4)/((40/(-15))/4). Solve -a + 0 = -3*c - 2, -a - c + k = 0 for a.
5
Let u be 3 - 20/(-9) - 2/9. Solve 0 = u*w + o + 6, -5*o = w - 2*o - 10 for w.
-2
Suppose 0 = -4*l + 108 + 36. Suppose -s + x + 27 = s, 2*s - 2*x - 30 = 0. Suppose s - l = -4*r. Solve 0 = 2*v - 6, -3*u - 18 = -r*u - 4*v for u.
2
Let a be (24/(-20))/((-6)/20). Suppose 0 = -2*x + a*x. Suppose -17 = -2*r - 3*v, 4*r = -x*r + 3*v - 11. Solve 7 = 5*l - 4*d + 6*d, -5*l - 4*d - r = 0 for l.
3
Let n be 612/85*5/2. Let i = 26 - n. Let s be (-5)/(-1) + 0 + -1. Solve 5*k - 3*z + i*z + 15 = 0, -24 = 5*k - s*z for k.
-4
Let r(n) = -n**3 + 9*n**2 - 7*n - 6. Suppose 2*x + 10 = 0, -4*p = 6*x - 2*x - 12. Let c be r(p). Solve 0 = -3*l - 5*g - 10, -3*l - c*g - 15 + 2 = 0 for l.
-5
Suppose -3*v + 8*c = 3*c + 17, 0 = -v - 2*c + 9. Let n be 2/(v*(0 + -1)). Let g = n - -5. Solve -r = -3*y - 2*r + 5, 2*y + g*r = 15 for y.
0
Suppose 0 = -c - 2*j + 2, 8 = 4*c - 7*j + 4*j. Solve -n = 2*h, -c*n - n - 6 = 0 for h.
1
Suppose -5*f + 18 = -0*y - y, y + 2 = f. Let t(h) = 3*h - 3. Let a be t(2). Let k be a/2 + (-1)/(-2). Solve 5*p + f*v - 5 = 3, -4 = 3*p - k*v for p.
0
Suppose -4*t + 2*t = 0. Let n(b) = 4*b**3 - b**2 - b + 1. Let x be n(1). Let g = t + x. Solve 5*y + g = 2*y, 0 = 4*v - 2*y - 2 for v.
0
Suppose 11 + 4 = 3*d. Suppose d*h + 5*v = 2*h + 5, 5 = -3*h + 5*v. Solve -2*l + h*q = -4*q - 10, -5*l - 5 = -4*q for l.
-5
Let i(t) = -t**3 + 4*t + 3. Let k be i(-2). Suppose -1 = y + k*h, 4*h = -5*y + 2 + 15. Solve -3*v + a + 0*a = -10, 14 = y*v - a for v.
2
Let b = 2 - -4. Suppose 4*x - 5*c - 39 = 0, -106 = -4*x - 3*c - 27. Let j = x + -9. Solve n + 5 = 2*u + b*n, 2*u = -n - j for u.
-5
Let d = 22 + -17. Let r = 54 - 24. Solve 5*g = -d*b + r, -3*b + 20 = -0*g + 4*g for b.
4
Suppose 3*l - 1 = 5. Solve 3*h - l*n = -n, 5*n = 5*h for h.
0
Let a = -3 + 8. Let c = 70 + -67. Solve -2*i + u - 2*u = -c, -u = -a for i.
-1
Suppose 0 = -j + 5*j - 5*x + 3, x = -4*j + 15. Solve 4*c - 3*o = -5, 2*c + j = -4*o - 5 for c.
-2
Let a = -12 - -19. Let y = -3 + a. Solve d - 29 = -f - y*f, -2*f = -5*d + 10 for f.
5
Suppose 3*y = 2*r + 2*y - 30, 2*y + 28 = 2*r. Suppose -q + 10 = 3*h, -h = h - 5*q - 18. Solve -h*n + r = 3*v, -3*v + 17 = 5*n - 0*v for n.
1
Let l = -6 + 6. Let c be (l - 1) + (-3 - -6). Solve 5*r + 4*y = 17 - 48, r = -c*y - 11 for r.
-3
Let c(b) = -2*b + 5. Let f be c(0). Suppose -2*a + f = -3*y, 5*a + 0*y - 19 = y. Solve 1 - 23 = 5*m + a*l, -3*l - 3 = -3*m for m.
-2
Suppose -3*i = i + 2*t + 16, -2*i - 2*t - 4 = 0. Let b(f) = f**3 + 5*f**2 - 7*f - 1. Let o be b(i). Solve 3 = 3*n + 2*n - 4*a, 5*a + 15 = -o*n for n.
-1
Suppose -5*o = 0, -2*o + 34 = 2*k + 8. Solve -4*i + 5*t = -k, 0*i + 5*t + 11 = 3*i for i.
2
Suppose 0 = n + 19 - 20. Solve w - b - n = 3*w, w + 2*b = 1 for w.
-1
Let o = -25 - -26. Solve -4*n + 4*t + o = -15, -3*t = n - 8 for n.
5
Let k(x) = -x + 7. Let m be k(3). Let v be m/6 + (-12)/(-9). Solve -v*w - 14 = 3*g + 2*g, -3*w = -5*g - 29 for w.
3
Let u(p) = 3*p + 1. Let y be u(2). Let a = 4 + -1. Suppose 3*r + 20 = 4*r + a*b, -15 = -r - 2*b. Solve 0 = 2*v - z + 2*z + y, 5*v + 25 = r*z for v.
-4
Let d be (2/1 - -3) + -3. Solve 2*f - 4*f - d*m - 20 = 0, -f = -m for f.
-5
Suppose 8 = 3*g - 4. Solve g*x = 5*x + 4*d - 21, -3*d + 22 = 2*x for x.
5
Suppose 4*g = -3*n + 35, 0*g - 2*g = 5*n - 35. Suppose -t - n = -29. Solve -6*x - 3*z + t = -x, -5*z + 27 = 4*x for x.
3
Let q = 2 - -4. Let p be (15/q)/((-3)/(-6)). Solve -8 = -2*d, -4*i + 0*d = p*d - 4 for i.
-4
Let a = 1 + 4. Suppose 5*t = 5*q - 100, -q = 2*q - 5*t - 60. Suppose n = 6*n - q. Solve 5*o + a = -3*k, 0 = -0*o + n*o - 5*k + 41 for o.
-4
Let a(n) = -n**3 + 2*n**2 + 2*n - 2. Suppose 0 = v - 4*j - 37 + 15, -3 = -4*v - j. Let q be a(v). Solve 3*x + 12 = 3*k, 3 = k + 2*x + q for k.
3
Let k(w) = -w**2 - 7*w - 7. Let t be (-36)/8 - 2/4. Let v be k(t). Solve 35 = 4*x + v*s, 4 - 34 = -5*x - s for x.
5
Let f(a) = -105*a. Let z = -3 + 2. Let n be f(z). Let s be ((-7)/(-21))/(1/n). Solve -5*y - s = -2*m, 2*m + 2*y + 10 = -2*y for m.
5
Let l be 3*4/1*1. Let q(k) = -k + 2. Let g be q(-4). Suppose -4*b = h - 15, g*h - 3*h = -b + 1. Solve f - 3*p - 1 = 0, b*p = -l + 4 for f.
-5
Let a = 8 - 0. Solve -5*y + 3 = 3*c - a, -4*y + 2*c = 0 for y.
1
Suppose 4*v - 16 = -4*x, -3*x - 2*v + 11 = -1. Solve -3*o = -4*w - 19, -3*o = -w - x*o + 4 for w.
-1
Suppose 6 + 8 = 2*w. Solve 2*l + u + w = -2, -5*l - 3*u - 25 = 0 for l.
-2
Let i(u) = u**2 - 7*u + 6. Let f be i(6). Suppose 4*m - 10 - 6 = f. Solve 0 = -2*r - 5*o - m - 4, 3*r - o = -12 for r.
-4
Suppose 2*v + 3 - 1 = 2*l, 2*l - 12 = -3*v. Let p be l/((-6)/(-11))*2. Suppose 4*j = -j + 20. Solve b = -2*n - p, -2*b + 2*n - 16 = j*n for b.
-5
Let s = 7 - 1. Suppose 0 = -d - d + s. Suppose 13 = 2*n + 5*v, -n + 5*v + 7 = 2*n. Solve d*f = n*f + 4*m - 13, -2*f - m = -5 for f.
1
Suppose 2*k = -2*o + 10, -5*o + 17 = 2*k - 2. Solve -10 = -k*n - 3*i, -13 = -2*n + i - 3 for n.
5
Let r = -4 + 9. Solve -6 = -4*o + q - 0, r*q + 15 = 5*o for o.
1
Suppose -u = 4*j + 4, 0 = -5*u + j + 3*j + 28. Solve 0*z = -3*c - z - 3, c + 2*z = u for c.
-2
Suppose 3*i - i = 2*h + 10, 4*i = -3*h + 6. Suppose 2*s - 9 = 4*s + i*g, 5*s + 4*g = -12. Solve s = -2*p + v - 3, -3*v - 9 + 4 = p for p.
-2
Suppose p = 4*p - 12. Suppose g + 2 = 4*b - 7, p*b + 16 = -4*g. Suppose b = 3*y - 2. Solve 5*i - 6 + y = 5*d, 0 = -5*d + 2*i - 11 for d.
-3
Let m = 13 - 4. Solve -5*b = -3*r + 9, 5*b - 2*b + m = 0 for r.
-2
Suppose -3*j + 40 - 7 = 0. Suppose -l + 5*s + 7 = 0, j 