v be k(-11). Solve 0 = -2*x - 1 - v for x.
-3
Suppose 4*t - 7 = 3*k, -5*t + 9*t - 1 = 5*k. Solve -k = -4*b + 17 for b.
5
Let f be (-3)/(-9) + (-8)/(-12). Solve 3*l + f = -5 for l.
-2
Let t(p) = p**3 - 2*p**2 - 2*p. Let i be ((-7)/(-28))/((-1)/(-12)). Let g be t(i). Solve 0 = g*d + 5 + 1 for d.
-2
Let t(p) be the first derivative of 4*p + 1 - 5/2*p**2 + 1/4*p**4 + 4/3*p**3. Let x be t(-5). Solve -6 - x = -5*i for i.
2
Let z(g) = -2*g - 2. Let b be z(-4). Let t = b - -9. Solve -t - 1 = -4*h for h.
4
Suppose -2*q + 5*u + 21 = 0, 2*u - 4 - 10 = -2*q. Let v = 0 - -1. Solve v = 3*d - q for d.
3
Let q(v) be the first derivative of v**4/4 - 7*v**3/3 - v**2/2 + 7*v - 1. Let y be q(7). Suppose y = -i + 1 + 1. Solve -3*x = i - 5 for x.
1
Let b(g) = 125*g**2 - 2*g - 1. Let l be b(-1). Let p = 176 - l. Suppose 5*t = 3*t + p. Solve t - 9 = -4*w for w.
-4
Let t(l) = -l + 4. Let b(o) = -1. Let s(y) = -2*b(y) - t(y). Let k be s(4). Solve 2 + k = v for v.
4
Let v = 0 - -5. Let x(m) be the first derivative of m**2/2 - 2*m + 4. Let r be x(v). Solve r*j + 0*j - 12 = 0 for j.
4
Suppose -3*r = v + 19, 0*r = -2*r - 5*v - 30. Let h(y) = y**3 + 4*y**2 - 5*y. Let u be h(r). Suppose u = -2*i + 4*i - 4. Solve -d + 1 = -i for d.
3
Suppose 3*w + 12 = 0, c + 3 + 2 = -4*w. Solve 3*v + 4 + c = 0 for v.
-5
Let i be (2/8*2)/((-16)/(-96)). Suppose 3*z + 0*h + 14 = 4*h, 3*z + 5*h - 31 = 0. Suppose 5*m = z + 48. Solve i*n + m = 1 for n.
-3
Suppose -5*l - 21 = -4*r, -3*r + 5*l + 13 = -r. Suppose 0 = y + r*y - 45. Solve -4*a + 3 + y = 0 for a.
3
Suppose -3*g = -21 - 0. Let w(m) = m**3 - 6*m**2 - 6*m + 9. Let v be w(g). Solve -5*u = -v - 9 for u.
5
Suppose -16 = -2*s - 2*s. Suppose -1 = -2*y + 1, -s*x + 16 = 4*y. Solve 0 = 5*a - x*a for a.
0
Let l be (-15)/(-3)*3 + 0. Suppose -3*g - 24 = 5*k, -l = 2*g + 3*g. Let v = k - -3. Solve -4*p + 3 + 1 = v for p.
1
Let x = -2 + -3. Let d = 7 + x. Solve -d = 2*u + 2 for u.
-2
Let l = -14 - -14. Solve l = 2*c - c + 4 for c.
-4
Suppose -1 - 6 = -3*c - l, 4*l - 4 = 0. Solve 0 = c*i - 0*i + 4 for i.
-2
Suppose 5*s + 17 = 4*s + 5*n, -3*s + 4*n = 7. Solve 0 = s*g - 0 + 3 for g.
-1
Suppose -3*x = -0*r + r + 1, -15 = -5*r + 5*x. Let s(l) = l - 8. Suppose 0*n + 2*n = 16. Let f be s(n). Solve f = -2*k + r - 6 for k.
-2
Let l be (-6)/(-21) + 246/21. Let u = l - 7. Solve -2*b - u = 3*b for b.
-1
Suppose 0 = -5*h - 2*m - 1, -2*m - 2 = -3*h + 7. Let f be 2*h + -5 + 7. Solve -2*v - 2 = -f*v for v.
1
Let j be (9/3 + -2)*-1. Let y be (j + 7)*(-1)/(-2). Solve -y*f - 22 = -7 for f.
-5
Let t(v) = v**2 + 5*v - 5. Suppose -4*k = k + 25, 0 = c - 5*k - 19. Let s be t(c). Suppose 2*o = s + 7. Solve o*m = m for m.
0
Let w(o) = o**3 - 11*o**2 + 10*o + 3. Let g be w(10). Solve 1 = -g*t - 2 for t.
-1
Let l(n) be the first derivative of 2*n**3/3 + n + 4. Let i be l(-1). Solve i*w + w = 0 for w.
0
Let s = 13 + -8. Let z = -1 + s. Solve z*c - 20 = -c for c.
4
Let x be (6 + -5)*-2*(-30)/4. Let i be -2*(1 + 0 - 4). Solve i*r - x = r for r.
3
Suppose 3*d = d + 6. Solve 12 = 5*i - d for i.
3
Suppose 2*x = 3*x + 5. Let z = x - -9. Solve j + z*j = -10 for j.
-2
Let t(v) = 20*v**3 + v**2 - 3*v + 2. Let n be t(1). Solve -s - n = -5*s for s.
5
Let b(x) = -x**2 + 7*x + 9. Let u be b(8). Let c be ((-1)/2)/(u/6). Let r = -1 - c. Solve 3 = h - r for h.
5
Let g be (1 + -15)*(-3)/2. Suppose 4*b = -0*c - 5*c + g, c - 2*b - 7 = 0. Solve 0 = -q + c*q - 12 for q.
3
Suppose -7 = -4*j + m, 9*j - m = 4*j + 9. Solve 2*n = 3*n - j for n.
2
Suppose -5*l - 44 = v, l + 0*l = v - 10. Let f = 11 + l. Solve 0 = f*j - j - 1 for j.
1
Let z(f) = f + 7. Let c be z(3). Solve 6*s + 8 = c*s for s.
2
Suppose -3*o + 2*a + 13 = 0, 6*a = -4*o + 4*a + 22. Solve 3*m + o = -2*m for m.
-1
Suppose 2*g - 7*g + 40 = 0. Solve 20 = 3*t + g for t.
4
Let y = 7 + -9. Let g be 63/12 + y/8. Let n be 6/2 - (1 - -2). Solve n = -g*o - 0*o - 10 for o.
-2
Suppose 21 = -4*k + k. Let b = -6 - k. Let n be (b/(-2))/(3/(-6)). Solve n = m - 2*m for m.
-1
Let x be (-2)/(-16) - (-1)/(-8). Solve -4*l + l - 3 = x for l.
-1
Let m(x) = -x + 2. Let f be m(-4). Suppose j + 2 = -k, -2*j + 5*k - 2*k = -f. Solve 10 = -2*q - j*q for q.
-5
Let q = -3 + 8. Solve 0 = q*u - 2*u - 3 for u.
1
Suppose 4*h + 4 = 6*h. Let v(l) = 9*l**2 - 4 - 8*l**2 - h + 1. Let c be v(5). Solve 0 = -3*p - p - c for p.
-5
Suppose -5*v = 0, 3*v = 4*g + v - 4. Suppose 5*a + 2*t - 3*t = 13, 17 = 5*a + t. Solve -i + a = -g for i.
4
Suppose 0*n = n - 9. Suppose -4*t + n*t = -4*w + 25, -3*w + 5*t = 25. Suppose 2 - 12 = -5*o. Solve w = o*z + z for z.
0
Let w(j) = j. Let b be w(3). Suppose -b*k = -4*k. Solve k = 4*v - 9*v + 10 for v.
2
Suppose y + 3*o = 34, 7*y - 32 = 4*y + 5*o. Suppose -3*r - v = -y, -2*r = 2*r - v - 16. Suppose -4*p + h + 7 = -r, 5*p - h = 15. Solve p*q = -q for q.
0
Let j be (-3)/(-5) - (-70)/50. Solve j = 6*v + 26 for v.
-4
Suppose 1 + 7 = 2*a. Let y(j) = j**3 - 5*j**2 + 2*j + 5. Let x be y(a). Let n be (4 + -5)*(0 + x). Solve n*q + 0*q + 9 = 0 for q.
-3
Let q be 1/1 - (2 + -1). Suppose -4*c = -q*c. Solve c = w + w for w.
0
Let c(g) = g**2 - 3*g - 15. Let j be c(13). Suppose 0 = -3*b + 4*p + 72, -j = -5*b + 3*p + 2*p. Suppose -b = -6*h + 2*h. Solve 0*m - h*m = 5 for m.
-1
Let h be 6 + 30/(-42) - (-2)/(-7). Solve h*n + 24 = 4 for n.
-4
Let q(c) = c**3 - 4*c**2 + 3*c + 4. Let o be q(3). Let g be 6/(-3) - (-6 + o). Solve -3*s + g = -9 for s.
3
Let o = 3 + 1. Solve 0 = -o*z + 2*z for z.
0
Let y = 20 + -5. Let q = -11 + y. Solve -5*n + n = q for n.
-1
Suppose -2*v + 2*v = v. Solve v = -0*y + y - 3 for y.
3
Let g be (10/(-4))/((-2)/4). Suppose -2 - 26 = 4*a. Let o = a + 10. Solve g*l = -2 - o for l.
-1
Suppose 2*b = -0*b - 8. Let t be (-2)/b*(-1 - -1). Suppose t*i = i. Solve i = 2*s - s + 4 for s.
-4
Let y(p) be the second derivative of p**5/4 + p**4/12 - p**3/6 + p. Let s be y(1). Solve 3*o - 10 = s*o for o.
-5
Suppose -i = 2*i. Suppose -5*w + 4*a - 2*a + 4 = i, 4*w = 5*a - 7. Let k be (-6 + 5)/((-1)/w). Solve 2*n = 4 - k for n.
1
Let s = -7 - -6. Let x(y) be the first derivative of -y**4/4 - 2*y**3/3 + y - 1. Let j be x(s). Solve -q = 4 - j for q.
-4
Let f(i) = i**3 + 6*i**2 + 4*i. Let o be f(-5). Solve 3*b - 7 - o = 0 for b.
4
Let d be (-2)/(-6) - 30/(-18). Solve -l + d = l for l.
1
Let u be (78/12 - 5)/(3/4). Solve 4*r + u = 14 for r.
3
Let u = 2 - 0. Let n(g) = g**3 + 7*g**2 - 12*g - 2. Let i be n(-8). Suppose 0 = -p - 8*y + 3*y + i, 2*p = -2*y + 36. Solve -p = f + u*f for f.
-5
Let d(b) = -2*b**3 - 3*b**2 + 3*b + 6. Let g be d(-2). Solve 4*r = g + 4 for r.
2
Let l be (-4)/(-1) + (-2 - -4). Solve l*w + 6 = 3*w for w.
-2
Let u(j) = -5*j**2 + 2*j + 1. Let n be u(-1). Let x be (-6)/9 + (-148)/n. Suppose -5*z + 21 = -x. Solve z*y - 10 = 4*y for y.
2
Let n(z) = z - 9. Let y be n(13). Suppose y*q + q = 0. Solve 3*i = -q - 6 for i.
-2
Let x(a) = -a**3 + 13*a**2 - 13*a + 15. Let r be x(12). Suppose j = 4, 9*v + r*j = 4*v + 37. Solve -h = -v*h - 20 for h.
-5
Let p(d) be the first derivative of -8*d - 2 - 1 + d**2 + 0. Let k be p(8). Solve 2*t + k = -0*t for t.
-4
Suppose 2*h = -2*y + 16, 7 = -5*h - 2*y + 35. Suppose 2*z + 4 = -2*z + 4*g, 4*g - h = 0. Let j = 19 + -11. Solve 4*k + j = -z*k for k.
-2
Suppose -3 = 4*l + 29. Let w be l/(-20) - 8/(-5). Let z be (1*2)/(5/50). Solve -2*f - w*f = z for f.
-5
Let s = 28 + -25. Suppose s*o - 40 = 14. Solve o - 2 = 4*x for x.
4
Suppose -6 = -2*g - 2*t, -t - 9 = -2*g - 3. Let k(w) = w**3 - w**2 - 4*w + 3. Let o be k(g). Let m(x) = 3*x. Let c be m(1). Solve 0*p + c*p + o = 0 for p.
-3
Let z be (1 - -2)/(1/1). Suppose -v + g + 2 = 0, v + 0*v = z*g - 2. Suppose -j = 1 - v. Solve -3*p + 0 + j = 0 for p.
1
Suppose 2 - 12 = -2*q. Suppose q*l - l - 4 = 0. Solve 5 = t + l for t.
4
Let f = -16 - -33. Suppose 40 = 3*h + 2*c, -3*h + 3*c + f = -13. Solve -4*b + b = -h for b.
4
Suppose g = -3*g + 8. Solve -g*s + 5*s = -6 for s.
-2
Suppose -2*j + 0*j - 48 = 5*v, 0 = -4*v - 3*j - 37. Let g = v + 15. Solve 0 = -0*c - g*c - 10 for c.
-2
Suppose 3*w - 5*b - 27 = 0, -5*w + 34 = -4*b + 2. Let m = -8 - -16. Let f = m + -6. Solve w*l = f*l - 8 for l.
-4
Suppose 0 = 3*b - m + 2*m - 10, 5 = 5*m. Let q be -4*(-1)/(-4)*-2. Let s = q + -2. Solve -l - 4 + b = s for l.
-1
Let a be (((-36)/(-21))/(4/14))/1. Solve 0 = -2*q - a + 12 for q.
3
Let a(f) = 3*f - 13. Le