 2*s, -4*c = -4*s - 0*s - 24. Let k be c*(-1 + -1 + 3). Suppose 5*q - 2*r + k = 0, -2*q - 4*r = -0*q - 18. Solve -u = -q - 2 for u.
3
Let u(w) = w**3 + 4*w**2 - 7*w - 5. Let i be u(-5). Suppose -i*g = -2*k, 0*g - k = -2*g + 1. Let q be g/7 + (-6)/(-21). Solve -5*j + 3*j = q for j.
0
Let h = 12 - 30. Let v be (-2)/(-11) - h/22. Suppose 3*m = -5*n + v, -2*n - 2*n + m = -11. Solve n*y = -2*y + 8 for y.
2
Let a = -29 + -7. Let k be (5/2)/(3/a). Let w be ((-2)/(-5))/((-3)/k). Solve 0 = -w*u + 2 + 2 for u.
1
Let h(i) = i**2 - 3*i + 6. Let v be h(4). Suppose 25 = 3*f + v. Solve f*u - 19 = 6 for u.
5
Let v(i) = i**2 - 2*i - 1. Let m be v(2). Let u = 3 + m. Solve 0 = -3*w + 10 + u for w.
4
Let h(x) = -x**3 - x**2 + x - 1. Let g be h(0). Suppose -3*c + 0*c = 48. Let k = g - c. Solve -2*z - k = z for z.
-5
Let l = -4 - -15. Suppose 0 = -6*r + 1 + l. Solve 0 = -r*z - 6 for z.
-3
Suppose -35 = -4*j + 4*u + 49, 5*j = 4*u + 100. Let v be (j/(-10))/(4/(-10)). Solve -7 + v = g for g.
-3
Let w be (-1)/3*18/(-2). Solve w*y - 4*y + 4 = 0 for y.
4
Let f(v) = 2*v**2 + 3*v - 3. Let x be f(-3). Let z be 10/2*x/10. Let h = z - 3. Solve h = -4*o + 1 - 5 for o.
-1
Suppose -5*u - 3*s = 4, -13 = -u + s + 3*s. Solve -k + 4 = -u for k.
5
Let u(r) = -r**2 - 2*r - 1. Let z be u(-5). Let n = -6 - z. Let d be (-2 - (-26)/n)*5. Solve d*x - 5*x = 0 for x.
0
Let p(t) = -t**2 + 3*t + 4 + t + 3*t. Let r be p(7). Suppose -34 = -3*b - 2*b - 2*y, r*y - 8 = 0. Solve 2*h + 4 + b = 0 for h.
-5
Let j = 10 + -5. Suppose -j*l + 26 = 2*f, -2*f - 22 = -5*f + l. Solve 2 = -2*i + f for i.
3
Let x(y) = y**2 + 1. Let b be x(-2). Let m be (-1 - -7)*7/14. Solve b + 1 = -m*u for u.
-2
Let l be (1/(12/18))/(3/4). Solve l*p + 2 = 6 for p.
2
Let o = -14 - -14. Solve u + u + 2 = o for u.
-1
Suppose 20 = 2*h + 3*h - 2*m, 19 = 2*h - 3*m. Let c be (-1)/4 - (-153)/4. Suppose c = 5*b - p - p, -2*p = 8. Solve -h*i + b = -4*i for i.
-3
Let j = 5 + -3. Let o be (-10)/(0/j + -2). Solve 4 = o*s - 11 for s.
3
Let q = -13 + 21. Let w be -18*(5/(-2) + 2). Let a = -4 + w. Solve 0 = -g + a*g + q for g.
-2
Suppose 0 = 3*t + t - 12. Let n be 0 - (-6 - (1 - 3)). Suppose t*k + 5*h = -6 - 0, 4*h = -n*k. Solve -s + 10 = -k*s for s.
-5
Let u = 24 - 24. Solve u*a - 4*a + 4 = 0 for a.
1
Let g(z) = -z + 9. Suppose 2 = 2*f - 0*f, 4*p - 32 = 4*f. Let b be g(p). Solve b*l + 3*l = 3 for l.
1
Suppose -y + 3*y - 6 = 0. Suppose 2*s + 3*s = 0. Let g be (3 - 2)*0/2. Solve g = -y*b - s*b - 6 for b.
-2
Suppose -2*m = -32 + 8. Solve n + 3*n + m = 0 for n.
-3
Let n(o) = 4*o**2 + o + 1. Let g(b) = 3*b**2 + 2*b + 1. Let t(w) = -3*g(w) + 2*n(w). Let q be t(-1). Solve q*i + 8 = 6*i for i.
2
Suppose -l - n - 5 = -0*n, 0 = -2*l - 3*n - 15. Solve -5*k = -l*k - 5 for k.
1
Let c = -7 - 13. Let j be c*-2*1/4. Solve -j = 2*q - 0*q for q.
-5
Suppose -2*s + s = -5*a + 7, 0 = -s - 5*a + 13. Solve -s*u = -u for u.
0
Let k be (-1)/(2/(-4)) - -2. Suppose -2*b = k*j - 12, b - 3*j = -0 - 9. Suppose 5*g = -25, 0 = -a + 2*g + 13 - 0. Solve -2*d + a*d - 3 = b for d.
3
Suppose -5*q + 29 = -2*q - t, 0 = 2*q + 3*t - 12. Let z be (-4)/(-5)*(2 - -3). Solve q*w = z*w for w.
0
Let x = -6 + 22. Suppose -b = b - x. Let w = -5 + b. Solve a = 5 - w for a.
2
Let t be (-58)/(-5) + (-6)/(-15). Let j = t - 8. Suppose -b - 4*i = 16, -j = i - 0. Solve b = s - 0 + 3 for s.
-3
Let l = -6 - -9. Let p = -9 - 1. Let q(u) = u**3 + 11*u**2 + 11*u + 11. Let b be q(p). Solve 4 = l*c + b for c.
1
Suppose -2 + 0 = -2*y - 2*p, -2*y - 7 = 5*p. Solve -y = -3*a + 2 for a.
2
Let a(g) = g**3 - 6*g**2 - 8*g + 9. Let c be a(7). Suppose c*j + 8 = 4*j. Solve 0 = -d - d + j for d.
2
Let j be (-232)/(-12) + (-6)/18. Solve 3 = -4*o + j for o.
4
Let o = -1 + 3. Suppose -6 = s - o*s. Let x be s/2*6/18. Solve 0 = -3*u + x + 8 for u.
3
Let y = 12 + -8. Suppose -a = -4*r - 1 + y, 12 = -4*r - 4*a. Solve r = w + 2*w - 15 for w.
5
Suppose q = -0*q - 3*x + 65, -3*q - 2*x = -209. Suppose -3*w + 4*f + 59 = -f, -f = 4*w - q. Let u be 76/w + (-4)/18. Solve 5*g = -u + 9 for g.
1
Let p(x) = x**3 + 2*x**2 - x. Let g(r) = -2*r + 1. Let h be g(-8). Suppose y + 3 = -2*z, -z - 2*z - 4*y = h. Let l be p(z). Solve -l*u = -3*u for u.
0
Let l be 3/((-6)/(-70) + 0). Let j = l + -50. Let c be 5 + (-5)/(j/(-6)). Solve -2*x + 5 = c*x for x.
1
Let v(n) = 4*n - 3. Let k(g) = g. Let o(b) = -5*k(b) + v(b). Let t be o(-7). Solve -t = -3*z + 2 for z.
2
Suppose 3*g = 3 - 318. Let f be 2/15 + (-406)/g. Solve -r - f = r for r.
-2
Let l(m) be the second derivative of 0 - 1/6*m**3 + 3*m - 1/2*m**2. Let k be l(-2). Solve -q + k = -2 for q.
3
Let i(c) = -c + 5. Suppose w - 6 = -5*p, 4*w + 12 = -2*p - 0*w. Let f be 40/15*3/p. Let n be i(f). Solve -3*x + n - 10 = 0 for x.
-3
Let o(v) = -3*v**2 + 5*v - 6. Let h(l) = 7*l**2 - 9*l + 12. Let x(a) = 2*h(a) + 5*o(a). Let m be x(6). Solve m - 20 = -4*n for n.
5
Suppose t - 3*t = 0. Let g = t - -2. Suppose -w - 7 = -g*w. Solve -2*k + 15 = -w*k for k.
-3
Suppose 11*y = 13*y. Solve y = 3*k + 2*k + 10 for k.
-2
Let n be (-47)/141 + (-1)/(-3) + 1. Solve -4*u = -3*u + n for u.
-1
Let q be -10*(-1)/2 + -1. Let b = -4 + q. Solve -2*s + 2 = -b for s.
1
Let y(g) = -g**3 - 3*g**2 + 3*g. Let h be y(-4). Suppose -4*n - 12 = -4*c, -h*n - 2 = 4*c + 10. Solve -3 + c = -3*t for t.
1
Let z be (1/(-3))/(-1 - (-20)/24). Solve 4 = z*g - 3*g for g.
-4
Let l(m) = 2*m**2 - 4*m - 4. Let r be l(4). Suppose -2*h - 2*h + r = 0. Suppose -3*k = -2*b + 13, -25 = b - 3*b - k. Solve -h*n - 1 = b for n.
-4
Let i = -30 + 33. Solve -j - 2 - i = 0 for j.
-5
Let k(m) = 3*m - 5. Let g be k(6). Let w = g - 13. Solve 4*a + 0*a - 8 = w for a.
2
Let g(y) be the third derivative of -y**6/120 + y**4/24 + 2*y**3/3 - 7*y**2. Let a be g(0). Solve a*l - 2 = 2 for l.
1
Suppose 4*s = 3*c + 4, 4*c + 3*s - 47 = -19. Let t(b) = 8*b**2 + 1. Let p be t(1). Solve c*h + 1 - p = 0 for h.
2
Let q = 12 - 9. Solve -9 + q = -3*a for a.
2
Suppose l = -95 + 99. Solve g + 1 = -l for g.
-5
Let t = -1 + 2. Solve -2*d = -7 - t for d.
4
Let v(g) = -g**3 - 4*g - 7. Let z(d) = 3*d**3 + 11*d + 20. Let w(r) = 11*v(r) + 4*z(r). Let m be w(0). Solve -a - m = -4*a for a.
1
Suppose -5*c - 35 = -5*p, 6 = -2*c - 0. Suppose 4*q - 5*y - 23 = 22, y - 15 = -p*q. Solve 2*x = q*x - 15 for x.
5
Let c(w) = 2*w**2 + 8*w + 2. Let x be c(-4). Solve -2*l = x - 10 for l.
4
Let k be (-2)/5 - (-8)/20. Suppose 5*f = 3*x - 60, 2*x - x + 3*f - 6 = k. Solve x = -3*a - 2*a for a.
-3
Let k(o) = o**3 - 6*o**2 - 2*o + 3. Let y be k(6). Let n be (-42)/y + 4/(-6). Suppose -n*z = -5*a - 22, 0*z + 2*z - 20 = -2*a. Solve -z = 5*f + 7 for f.
-3
Let w(m) = m**3 + 18*m**2 - 41*m - 16. Let i be w(-20). Let s be (-1 + 1)/(-2 + 3). Solve 0 = -r - s + i for r.
4
Let r(z) = z**2 + 10*z + 6. Let i be r(-10). Solve 26 = -4*c + i for c.
-5
Let v be (-2)/8 + 15/60. Let c be (1/(-3))/((-2)/18). Solve c*y = -v*y for y.
0
Let w(u) = -3*u - 1. Let c be w(-2). Let j(g) = c + 4*g + 0 - 2*g - 3*g. Let h be j(5). Solve h = -s - 0 + 4 for s.
4
Let q(j) = 3*j**2 - 2*j + 1. Let x = 5 - 4. Let m be q(x). Suppose -3*c + 1 + m = 0. Solve -2 = -3*i + c for i.
1
Suppose -5 = 9*f - 32. Solve f - 5 = m for m.
-2
Let n be (0 + (2 - 3))*3. Let j(c) = 10*c + 4. Let a be j(n). Let x = -16 - a. Solve 15 + x = 5*b for b.
5
Let v be ((-4)/(-12))/(1/36). Solve -6*x + 3*x - v = 0 for x.
-4
Suppose -6 = 2*o, -3*f - 3*o + 0*o + 6 = 0. Let g(p) = p - 2. Let q be g(4). Solve 3*t = -q*t - f for t.
-1
Let h = -15 - -27. Solve 0 = 3*d + d - h for d.
3
Let z be -4*(16/20)/((-2)/(-10)). Let u(s) = -s**3 + 3*s**2 + 3*s + 4. Let y be u(4). Let k be -1*y/3 - z. Solve 5*m - m = -k for m.
-4
Let j be (-6)/(-9) - 10/(-3). Let n(i) = i**3 - 5*i**2 - 6*i + 2. Let h be n(6). Solve h*x - j*x = 6 for x.
-3
Suppose -3*u + 16 - 2 = -4*g, 5*u + 2*g - 6 = 0. Solve 2*s = -u*s + 20 for s.
5
Let z(t) = t**2 - 6*t - 2. Let u be z(7). Let i = 8 - u. Suppose 2*g - i*o = 27, 4*g = 2*g - 2*o + 2. Solve g*n - 4*n - 8 = 0 for n.
4
Suppose 3 - 13 = a - 3*t, 3*t - 18 = -3*a. Suppose 4*j - 3*j = 0. Solve j*x + x = -a for x.
-2
Suppose -11 = f - 4*a, 2*f - 4*a + 0*a + 6 = 0. Suppose -4*m + 44 = -4*n, -f*n - 15 = -0. Solve -d = d - m for d.
4
Let v be -2*((-1)/2 + -1). Suppose 29 = 4*y - v*y. Suppose -5*z + y = -0*j + 4*j, 23 = -2*j + 5*z. Solve o + 4 = j for o.
-3
Let q be (0 + 