 -6*l. Suppose -3*q - 13 = l*x, 5*q - 11 = -2*x - 1. Suppose -2*z + 3 = -q*c + c, 4*z - 3*c = 3. Solve z = -5*v + 6*v + 1 for v.
-1
Let i(o) be the first derivative of o**2/2 - 2*o - 1. Let x be i(6). Suppose x*v - 13 - 7 = 0. Solve 5*n = v + 10 for n.
3
Let h = -51 + 57. Solve 5*x - 1 = -h for x.
-1
Let x = -154 + 154. Solve x = y + 2 for y.
-2
Suppose 0 = -3*f + 7*f. Solve f = 4*k - 2*k - 10 for k.
5
Let r = 37 - 1. Suppose 0 = 2*j + 2*j - r. Suppose -4*m = -j*m + 10. Solve m - 4 = -n for n.
2
Suppose -3*k - h = -14 - 5, -h + 1 = 0. Solve 2 - k = -4*r for r.
1
Let v(p) = -p**3 - p**2 - p - 1. Let h be v(-1). Solve h = 4*s - 0*s - 8 for s.
2
Let r be (-1 + 3)*1/(-2). Suppose -13 = -2*i + 3*i + 3*v, -5*i - 2*v - 13 = 0. Let w = r - i. Solve w = -4*c + 5*c - 2 for c.
2
Suppose d - 6 = -2*d. Suppose -b = d - 5. Solve 2*y = b*y + 5 for y.
-5
Let t = -9 - -15. Suppose 12 = -3*x, -p + 5 = 4*x - 0. Let a be (-1)/(2 - p/9). Solve a*v = v + t for v.
3
Let u = 2 - -4. Suppose -u*r = -r. Solve r = -s - s + 2 for s.
1
Let t(h) = -h - 7. Let v(c) = -2*c - 15. Let q(d) = -7*t(d) + 3*v(d). Let x be q(-7). Let f = x - -6. Solve -f*r = r + 20 for r.
-5
Let m = -8 + 5. Let j = m - -7. Solve -15 = -j*u - u for u.
3
Suppose -4*q + 10 = 2*r, 3*q - 3*r = -2*r + 5. Solve -q = 4*u + 10 for u.
-3
Let v(w) = -w - 2. Let j be v(-2). Suppose -4*o + 24 = -j*o. Solve -o*u = -u - 15 for u.
3
Suppose 3*b = 5*o - 21, 5*o + 3*b - 13 = -4. Suppose o - 7 = -s. Solve 11 + 9 = -s*i for i.
-5
Suppose -2*v + 3*v = 0. Let h be v + (4 - -1) + -2. Suppose 4*o = 4*w, -3 - 15 = -3*w - h*o. Solve w + 2 = -5*s for s.
-1
Suppose -3*o - 10 = 2*y, y - 4*o = -o + 13. Let b be 5 + (y - 2 - 0). Suppose -b*r = -5*r. Solve r*g - g = 2 for g.
-2
Suppose -3*t - 2*i - 8 = -7*t, -t + 2 = -3*i. Suppose -4*v + 16 + 12 = 5*j, -j = -4. Solve -v - t = q for q.
-4
Let r(g) = 7*g - 3. Let c be r(1). Let q(v) = -v + 8. Let s be q(6). Solve -2 = c*i + s for i.
-1
Let a = -30 + 34. Solve -a*t = -5 - 7 for t.
3
Let d(y) = -y**2 + 4*y + 14. Let v be d(6). Solve -m + v = -0 for m.
2
Let w be 5 - ((-3 - 1) + 4). Solve -w*k = -k for k.
0
Let d(i) = i**3 + 7*i**2 + 6*i + 1. Let q(a) = -a**3 - 7*a**2 - 6*a. Let c(l) = 3*d(l) + 2*q(l). Let h be c(-6). Let s = h + 0. Solve s*p - p = 10 for p.
5
Let g be (1 - -4 - -2)*1. Let j = 27 + -27. Solve 5*c - 2 + g = j for c.
-1
Let b be (1*3)/(6/4). Let w be b*(-3)/6*-6. Solve -m - 10 = -w*m for m.
2
Let o(n) = -5*n**2 - 9*n + 1. Let u(x) = -3*x + 2*x**2 - 5*x**2 - 5*x - x**2. Let b(c) = -3*o(c) + 4*u(c). Let g be b(-4). Solve -r + g = 2 for r.
-1
Let x be ((-4)/(-5))/((-6)/(-45)). Solve -4 = b - x for b.
2
Suppose 5*v + o = v + 6, 5*o + 12 = v. Let f be (1/v)/((-1)/(-6)). Suppose -8 = -f*c - c. Solve -c*s - 4 = -4*s for s.
2
Suppose -11 = 13*q - 89. Let u = -1 - -1. Solve 2*a - q = -u*a for a.
3
Let t = 2 - 2. Suppose t*y = 2*y. Solve -5*r = -10 - y for r.
2
Suppose -4 = -2*w + 2. Solve -w = 5*l + 7 for l.
-2
Let c be ((-5)/2)/(-5)*4. Suppose n = -c*n. Let y be n + 1/((-2)/(-8)). Solve 0 = 2*t - 4*t + y for t.
2
Let y be ((-2 + 4)/((-4)/10))/(-1). Solve -5 = -y*z - 0*z for z.
1
Let g = 6 + 1. Suppose -3*m + g*m = 0. Suppose 4*k + k - 20 = m. Solve 14 = k*z - 2 for z.
4
Suppose 4*s = -5*d - 1, 1 = 5*s + 2*d - 2. Suppose 5*p - 22 = -h, -4*h - s = -p - 5. Let a be (0 - -1)/(h/4). Solve -18 = -5*t + a for t.
4
Let r = 178 + -176. Solve 4*m - r = 2 for m.
1
Let s be (-15)/35 - 366/(-21). Solve 0 = -5*j + s + 8 for j.
5
Let n = 3 - 3. Solve n = 4*r - 9*r for r.
0
Suppose 2*y - 4*r = -36, 2 = -y - 2*r - 4. Let o be 4/(-3)*18/y. Solve -t + o*t - 4 = 0 for t.
4
Let y = -117 - -123. Solve -5*a = -2*a + y for a.
-2
Suppose v = 3*v - v. Solve i + 3 - 2 = v for i.
-1
Let w(i) = 0 + i + i - 2. Let g(x) = x**2. Let o(h) = g(h) + w(h). Let m be o(2). Solve -m*n = -n + 10 for n.
-2
Suppose j - 13 = -4*x, -3*j + 7 = x - 2*j. Let d be -2 - (x + -1)*-2. Solve d = 3*a - 3 for a.
1
Suppose g + 0*g + 4 = 2*t, -t = -g - 2. Let v be 36/8 - 1/t. Solve 9 = -n + v*n for n.
3
Let g(o) = o**3 - 5*o**2 - 6*o + 5. Let p be g(6). Let x be 2/(-4)*-8 - -5. Solve -11 - x = p*d for d.
-4
Suppose -4*g + 16 = -4*w, 0*w - 2*w = -4*g + 16. Suppose -v = 0, -g*p + 0*v + 3*v = 4. Let n be p/(-2)*2*1. Solve -2*h - 11 + n = 0 for h.
-5
Let s = 6 + -3. Let k(o) = o**3 + 2 - o - 1 - 3. Let h be k(2). Solve s*i = -i - h for i.
-1
Suppose 0 = -5*c + y + 8, c + 2*y + 8 = 3*c. Solve c - 3 = s for s.
-2
Let i be 0/(-2)*(-23)/(-46). Solve 3*b + b + 12 = i for b.
-3
Let s = -16 + 15. Let d be (s/3)/((-13)/39). Solve -2*v + v = -d for v.
1
Let u(w) = w**2 + 8*w - 9. Let t be u(-9). Let b(x) = 2*x + 3. Let j be b(6). Solve -j = -3*a - t*a for a.
5
Suppose -3*f + f = -20. Let l = 10 - f. Solve l*k - 15 = 5*k for k.
-3
Let d(j) = 15*j**2 - 2*j - 2. Let z be d(-1). Solve 4*f - z = f for f.
5
Let q(y) = -y**2 + 2*y. Let u be q(2). Suppose u*b - 4*b = 0. Solve 2*c + b*c = -8 for c.
-4
Let v(x) = -x + 1. Let u be v(7). Let r be 7/(-2) - 3/u. Let o(h) = 2*h**2 + 2. Let s be o(r). Solve s = 3*g + 2*g for g.
4
Let o(c) = 5*c + 2 + 0 + 1 - 2. Let j be o(1). Solve j = a + 2*a for a.
2
Let j = -8 + 9. Solve -2*m + j - 5 = 0 for m.
-2
Let h(c) = -c**2 - 19*c + 46. Let t be h(-21). Solve -t*g - 11 = -15 for g.
1
Suppose 5*h = 2*h. Let l(i) = i + 2. Let o be l(h). Suppose -o*d = -p - 2, 5*d = -p + 4*p + 4. Solve d = -2*x + 4 for x.
1
Suppose 0 = 2*o - 7*o + 10. Solve 4 = 2*x + o*x for x.
1
Suppose 232 = z + 3*z. Suppose -4*b - 7 = 1, 5*b + z = 4*s. Solve 4*l + 0*l = -s for l.
-3
Let z(b) = -b**3 + 3*b**2 + 3*b - 6. Let v be z(3). Solve 7*r + 12 = v*r for r.
-3
Suppose -s = -7*y + 3*y - 17, -5*y = -s + 21. Let d = -1 - y. Solve 0 = -d*l - l + 12 for l.
3
Let m(y) = 3*y**2 - 4*y - 3. Let s(w) = w**2 + w + 1. Let a(x) = m(x) - 4*s(x). Let q be a(-7). Solve 4 = -2*h - q*h for h.
-2
Let n = -20 + 24. Solve -n*a + 5*a = 0 for a.
0
Let n(h) = h + 6. Let q be n(-3). Suppose -q*w = w - 12. Solve -a = -w*a for a.
0
Let g(f) = -3*f - 13. Let l be g(-5). Solve 5 = l*k + 15 for k.
-5
Let t be 10*2 + (-10)/5. Suppose 3*b = -0*b + t. Solve 2 = -2*n - b for n.
-4
Let h(o) be the third derivative of -o**6/120 + 7*o**5/60 + 7*o**4/24 + 4*o**3/3 - 4*o**2. Let u be h(8). Solve v + u - 2 = 0 for v.
2
Let f = 2 - -8. Let y be 88/(-10) + (-2)/f. Let k(w) = -w**3 - 10*w**2 - 9*w + 5. Let m be k(y). Solve 2*n = m + 3 for n.
4
Suppose 12 = -3*r - 3*g, r = 3*r - 3*g + 8. Let t = -9 - r. Let q = t + 7. Solve -h - q*h - 15 = 0 for h.
-5
Let m(o) = -2*o + 6. Let z be m(4). Let x = z + 5. Solve -8*b = -x*b for b.
0
Let p = -13 + 19. Let g be 3*p - (2 + -3). Let f = -5 - -12. Solve -3*y - f + g = 0 for y.
4
Let d = -18 - -48. Suppose 2*r = -r + d. Solve -10 - r = -5*s for s.
4
Let n = 5 - -2. Let d = 5 - n. Let u(x) = x + 2. Let v be u(d). Solve 0 = -v*i - i + 2 for i.
2
Suppose -9 = 5*r - 0*s - 2*s, -5*r - 30 = 5*s. Let y be -1 + 2 - (2 + r). Solve t + y*t = 0 for t.
0
Let h(f) = -2 - 4 + 0 - f**2 + 9*f. Let k be h(7). Suppose -5*q + k = -7. Solve 2*d + q = d for d.
-3
Let b be 2 - 2*4/4. Let z(s) = -s**3 - 3*s**2 + 4*s + 4. Let y be z(-4). Suppose -d - 10 = -n - n, b = -y*d - 8. Solve 0 = r + n*r - 25 for r.
5
Suppose -c + 40 = 3*c. Solve -w = -3*w - c for w.
-5
Let t be 0*-1*(-3)/(-6). Suppose t*v + 5*v = 0. Let u = v + 3. Solve -p - u = -1 for p.
-2
Let u be 2 + -2 + 2 + 1. Solve -6*x = -u*x + 3 for x.
-1
Let t = -22 - -13. Let k = t - -14. Solve -3*n - k = -4*n for n.
5
Let z = -23 - -26. Solve -4*u = -z*u for u.
0
Let q = -2 + 5. Let l = 78 + -74. Solve k - l = -q for k.
1
Let n be 0/1*((-4)/(-12))/(-1). Let h(c) = -4*c - 15. Let q be h(-10). Solve n = 2*b + 3*b - q for b.
5
Let i = 9 + -11. Let y be 4/8 + i/4. Solve y + 10 = 5*c for c.
2
Let y be -1 + (2 - 0) + 10. Suppose -2*j + 11 = r + 4*r, 3*r = j + y. Suppose 4*k + 5 = r*p - 11, 4*k + 16 = -3*p. Solve 0 = -p*z - 4*z - 8 for z.
-2
Let o(c) = 5*c**2 + 9*c - 2. Let p(q) = -9*q**2 - 17*q + 4. Let v(r) = -7*o(r) - 4*p(r). Let u be v(-6). Suppose y - 6 + u = 0. Solve -y + 3 = n for n.
1
Suppose -y = 3*y. Solve y = h - 1 for h.
1
Let w(n) = -n**2 - 4*n. Let d be w(-4). Suppose 3*u - 5*u + 16 = d. Suppose -u + 5 = -r. Solve 2*p = r*p for p.
0
Let a(m) = -2*m - 2. Let l be (-14)/4 + 1/(-2). Let t be a(l). Solve 4*d = 10 