= -4 - l. Solve 0*c + 3*c = -k for c.
-1
Let u(m) = m + 4. Let n be u(-4). Suppose n = -4*z + 4, 6*y = y + 2*z + 8. Solve 0 = -4*s + 2*s + y for s.
1
Suppose 0 = 5*o - 3*o. Suppose 0 = 2*d - 0*d. Suppose 0 = -d*l - l + 3, -2*c - l = -9. Solve o = c*m - m for m.
0
Let c = 3 + -2. Suppose -6 = 5*y - c. Let f be y - (3*-1 - -2). Solve f = i - 3*i + 2 for i.
1
Let x be (3 + -2)/(1/2). Suppose -2*s = -c, 5*s - 10 - 12 = -3*c. Solve -s*v = -v - x for v.
2
Let z(t) be the third derivative of t**6/120 + t**5/20 - 5*t**4/24 - t**3/3 + 3*t**2. Let d be z(-4). Solve 0 = d*v + 3*v for v.
0
Suppose 2*c = 3 + 9. Let h(w) be the first derivative of -w**2/2 + 11*w + 2. Let y be h(c). Solve -5 = -y*g + 4*g for g.
5
Suppose 2*t - 5*t = -b + 5, 2*b - 10 = 2*t. Solve -3*j - j + 16 = t for j.
4
Let s = 13 - 10. Suppose 2*n = -m + 5 + 4, 0 = -s*m + 3*n + 9. Solve 7 + 18 = m*x for x.
5
Let a(p) = -p**3 + 4*p**2 + 7*p - 5. Suppose -2*r + 1 + 3 = 0, -5*r - 10 = -4*d. Let s be a(d). Solve 8 = -s*j + 23 for j.
3
Suppose -27 = -5*z + 3. Let q = -2 - 0. Let s be q*1*(-6)/4. Solve 3*f + z = -s for f.
-3
Let h(o) = o**3 - 2*o - 1. Let v be h(3). Solve -5*c + 5 = -v for c.
5
Suppose 0 = -5*u + 5*y + 15, 0 = -y - y. Suppose -j + 4*i + 12 = 0, 4*i = 4*j - 22 - 2. Solve -j*z + 5 = -u*z for z.
5
Suppose -18 = 4*n - 18. Solve 4*b + 16 = -n*b for b.
-4
Let a(t) = -t**3 - 6*t**2 - 8*t - 10. Let s be a(-5). Solve 5 + 0 = -s*r for r.
-1
Let d be 1*(1 - (-1)/(-1)). Solve d = -2*s - 4 - 0 for s.
-2
Let g(i) = -i**2 + 2*i + 2. Let x be g(3). Let o be ((-45)/(-5))/(x*1). Let b be (-12)/o - 2/6. Solve -3*c = b + 2 for c.
-1
Suppose -5*f + r + 57 = 3*r, -3*f = -5*r - 28. Suppose 4*p = -3 + f. Solve -p*d = -2 + 4 for d.
-1
Let j be (-20)/(-2)*(1 + 1). Solve 0*x = 5*x + j for x.
-4
Suppose -2*k - 7 - 17 = 0. Let q = -10 - k. Solve 0 = q*z + 10 - 0 for z.
-5
Let b = -6 + 10. Suppose 5*w - b*y = 2 + 4, 2*w - 9 = -5*y. Let m be (-10 - 2)/((-2)/w). Solve -m + 0 = -3*f for f.
4
Suppose 0 = 43*k - 40*k - 24. Solve -5*a + 23 = k for a.
3
Let x(v) = v**3 - 3*v**2 + v - 3. Let z be x(3). Solve b - 2*b = z for b.
0
Let s = 9 + 1. Suppose s*m - 21 = 7*m. Solve -4*r = -m*r for r.
0
Suppose 2*q + 4 = 3*q. Let n be 104/32 + (-1)/q. Suppose 0*f + 4*f = -t + 9, 2*t - 13 = -n*f. Solve -6 = -t*a - 31 for a.
-5
Let z = 4 + -8. Let q = z - -6. Let g(b) = b**2 + 4*b - 7. Let r be g(-6). Solve 3 = r*p - q*p for p.
1
Suppose -16*m + 4*m = -36. Solve 2*v = -m + 13 for v.
5
Let v(n) = n**2 + 10*n + 3. Let z be v(-10). Solve z = 2*h - 1 for h.
2
Let j(l) = l + 1. Let k be j(2). Suppose -i = -k*n - 6*i + 48, 4*n - 64 = -5*i. Solve 1 = -5*s + n for s.
3
Let s(t) = -t. Suppose -2*x - 3*x - 20 = 0. Let g be s(x). Solve -g*o - 19 = -3 for o.
-4
Let c = -18 - 0. Let j be (-140)/c + 6/27. Solve 4*z - j*z = 0 for z.
0
Let u(w) = -w**3 - 5*w**2 + 2. Let d be u(-5). Solve q = d + 3 for q.
5
Let b be 9/15 - (-2)/5. Let p(w) = 6*w + 1. Let a be p(b). Suppose -h + a = -9. Solve 4*o = h - 4 for o.
3
Let k = -107 - -115. Solve 4*c - k = -4 for c.
1
Let n = 42 + -19. Let m = 33 - n. Solve -l + m = 4*l for l.
2
Suppose -5*i + 20 = 6*c - c, 0 = 4*i - 8. Suppose h - 6 = z - 3, 2*z + c*h - 14 = 0. Suppose 2*x = 3*w + 7*x - 40, -z*w = 4*x - 30. Solve -12 = w*g + 13 for g.
-5
Suppose -9*x + 4*x = d, 0 = 2*x - d. Solve x*w - 3*w + 3 = 0 for w.
1
Let q(m) = m**3 + 3*m**2 - 2*m - 3. Let c be -1*(0 + 0 + 3). Let l be q(c). Suppose -4*o + 24 = l*w + w, -4*w = -o - 19. Solve 0 = -2*p + o + 7 for p.
4
Let r = 8 + -7. Let j = 3 - 1. Solve -j*l - r = -3 for l.
1
Let x(q) = -2*q - 8. Let t be x(-8). Suppose -t = 2*v - 3*v. Solve y + v = -y for y.
-4
Let a(z) = -z**2 - 4*z + 5. Let b be a(-5). Solve -g - g - 6 = b for g.
-3
Let l = 17 + -13. Solve l*w + 2 = 6 for w.
1
Let u be (-2)/(7/3 - 3). Suppose 4*k - u*k = 3. Solve k*d = -0*d for d.
0
Let f(p) = -2*p - 2. Let s be f(-2). Suppose -2*q = -g - 19 + 3, -g + 8 = s*q. Solve -q = 2*x - 0 for x.
-3
Suppose 0*x + 14 = 3*p - 2*x, 5*x - 41 = -2*p. Let y = p + -6. Let t = 2 - y. Solve t = -c + 2*c - 2 for c.
2
Let c(u) = -u**3 - u**2 - u. Let d be c(0). Solve d*k - 5*k = 0 for k.
0
Let b(t) = 8*t**3 + 2*t - 1. Let j be b(1). Let n = j - 7. Solve 3 = -5*v + n*v for v.
-1
Suppose -n = -26 + 10. Suppose -4*m = -4*d - n, 0 = d - 4*d + 2*m - 8. Suppose -p + 9 + 3 = d. Solve 5*v - v + p = 0 for v.
-3
Suppose -3*p + 12 = -6*p. Let m = p - -7. Suppose -m*j = -2*j - 6. Solve 0 = g - 3 + j for g.
-3
Let w(y) = y - 3 + 3. Suppose 3*m - 7*m + 16 = 0. Let j be w(m). Solve -j*r - 13 = 7 for r.
-5
Suppose 25 = 5*m + 5. Solve -m*v + v = -3 for v.
1
Let a be (28/(-2))/((-8)/(-4)). Let y be ((-10)/(-8))/(3/(-12)). Let o = y - a. Solve 2 = o*b - 0*b for b.
1
Suppose 25 = 9*q - 4*q. Solve -z + 4 = -q*z for z.
-1
Let s = 12 - 0. Suppose 2*z + z = s. Solve -2*n = -4 - z for n.
4
Let a = 2 + 5. Suppose -2*n - a - 9 = 0. Let f be 3/(-2)*n/6. Solve k - f = 1 for k.
3
Let k be -3*(0 - (-2 + 1)). Let t = k + 6. Solve -4 = t*n - 1 for n.
-1
Let c(a) = a**2 + 4*a + 4. Let v be c(-4). Suppose -15 = -v*j - j. Suppose j = -u + 5. Solve 0*z = -z + u for z.
2
Suppose -s - 5 = -b, -2*b + 0*b - 11 = 5*s. Let o = s + 7. Suppose 4*a - o - 22 = -2*k, 2*k + a = 11. Solve -k*x + 2*x + 5 = 0 for x.
5
Let c be (-12)/78 + 2/13. Solve -4*f + c*f = 0 for f.
0
Suppose -32*i + 10 = -30*i. Solve -2*y + i = -5 for y.
5
Suppose 221 = 3*p + 203. Solve -4*u + 14 + p = 0 for u.
5
Let y(p) = p**3 + 5*p**2 + 4*p + 2. Let a be y(-3). Suppose -5*u = -4*g + 27, 3*g = -u - 2 + a. Solve 4*h = g*h for h.
0
Let m = 8 + -6. Suppose -m*a + 3*a - 2 = 0. Solve -u + 1 = -a*u for u.
-1
Let p(i) = -i**3 + 3*i**2. Let c be p(3). Let r = c - -19. Solve -r = 3*l - 4 for l.
-5
Let c be (5/2)/(4/8). Suppose 4*s + 12 = -k, 0 = s - c*k + 3. Let i = s + 6. Solve i*g + 1 = 4 for g.
1
Let b = 48 - 28. Solve -4*q = -0*q + b for q.
-5
Let w(c) be the first derivative of -c**3/3 - 3*c**2/2 - 2*c - 4. Let t be w(-2). Solve -3*a + 0*a + 3 = t for a.
1
Let c(y) be the second derivative of y**4/3 - y**3/6 - y**2/2 - y. Let w be c(-1). Suppose 2*u - 12 = -2*u. Solve -u*r + w + 8 = 0 for r.
4
Let s(p) = 6*p**2 + p - 2. Let i be s(2). Let z be i/10 + (-10)/25. Solve z*o + 16 = 6 for o.
-5
Let g(f) = -f + 5. Let d be g(3). Suppose z - 2*r - 1 = 1, -d*z - 2*r + 4 = 0. Suppose -1 = -z*a + 5. Solve 9 = -0*l + a*l for l.
3
Let v(p) = p**3 + 8*p**2 + 7*p + 3. Let t be v(-7). Solve -b = -t*b for b.
0
Let j(f) = f**3 - 2*f**2 + 4*f - 3. Let o be j(2). Suppose 0 = -0*b + b - o. Solve -17 + 2 = -b*y for y.
3
Suppose l - 2*l = 0. Let j = l + 3. Suppose -3 = -i - f - 0, 3*i + f = j. Solve i = -4*v + 8 + 4 for v.
3
Let f = 0 + 9. Solve -3*a - f + 0 = 0 for a.
-3
Let v(k) = 3*k - 10. Let j be v(4). Solve z = -j*z - 15 for z.
-5
Let q = 0 - -2. Suppose 4*v = 3*p + 1, -5*p - 2*v = -18 - 15. Suppose 0 = -l + p - q. Solve -l*r - 1 = 8 for r.
-3
Suppose 5 = -w - 5*o - 7, 0 = -5*w - 2*o + 32. Let x = -15 + w. Let u = 10 + x. Solve -u*m + 6 = -3 for m.
3
Let o = 61 - 57. Solve g = 2*g + o for g.
-4
Let c(p) = p**2 + 8*p + 16. Let z be c(-6). Solve g = -0 + z for g.
4
Suppose 0 = -6*i + 3*i + 3. Let k(v) = 6*v. Let u be k(i). Let j = u + -6. Solve c = -j*c for c.
0
Let p(b) = -b**3 + b**2 + b + 2. Let a be p(0). Solve -a = q + 1 for q.
-3
Let p be (-23)/(-3) + 1/3. Let g(r) = -r**2 - r + 2. Let t(j) = -5*j**2 - 5*j + 11. Let b(c) = 11*g(c) - 2*t(c). Let y be b(-1). Solve 3*f - 7 - p = y for f.
5
Suppose -7 - 7 = -r. Suppose -r - 61 = -5*w. Solve t - 4*t = -w for t.
5
Let p be 36/10 + (-24)/40. Suppose -p*s + 2 = -13. Let g be 2/(3/12*2). Solve 0 = s*b - g - 6 for b.
2
Let r(t) = -2*t + 1. Let k be r(3). Let h = k + 9. Suppose s = -3*s + 4, 3*l = h*s + 2. Solve -l*y = -2 + 10 for y.
-4
Suppose -3*w + 3*s = -0*s - 9, 3*w + 4*s + 12 = 0. Let c = -16 + 18. Solve 0*q - q - c = w for q.
-2
Suppose 0*n = -n - 4*k - 2, 3*k = 5*n - 13. Solve -n - 2 = 4*y for y.
-1
Suppose -6*r + 2 = -4*r. Let h be (-56)/(-9) - 8/36. Solve -u + h = r for u.
5
Let v(b) = -2*b**3 + 3*b**2 - b. Let w be v(2). Let a = -2 - w. Solve a*y - 2 = 2 for y.
1
Let s = -158 + 163. Solve m + s = 2 for m.
-3
Let b(m) = 2*m - 6. Let v = -3 - -8. Let s be b(v). Solve -s*x - 8 = -2*x for x.
-4
Suppose -27 = 5*p - 2*h + 93, -120 = 5*p - 4*h. Let r be (-2)