ppose 5*d - 5*v + 5 = z, 3*d - v + 11 = 4*v. Suppose 4 = 5*w - 6. Solve -d = -w*y + 1 for y.
2
Let h be (-45)/(-27) - 2/(-6). Suppose 6*n - h = 4. Solve 4*p = -5 + n for p.
-1
Let z(q) = -q**3 - 6*q**2 - 3*q - 12. Let i be z(-6). Let h be 10*-1*(-3)/i. Solve f + h = 4 for f.
-1
Let s be (-24)/(-10)*25/10. Solve -s = 4*m + 6 for m.
-3
Let f be (1 - (-10)/(-4))/(13/(-156)). Solve f - 6 = -3*b for b.
-4
Let l be (-3)/(-1) + (-7 - -4). Solve l = -b - 2*b for b.
0
Let s(q) = q**3 + 3*q**2 - 5*q - 2. Let u be s(-3). Suppose 5*c - 4 = 3*c. Solve -c*w - 5 = -u for w.
4
Let d(o) be the first derivative of o**3/3 + 3*o**2 - 2*o - 2. Let q be d(-7). Solve 0 = 2*t - 1 - q for t.
3
Let v be ((-2)/(-2))/(2/22). Suppose 0 = 4*q + 2*o + 28, q - 2*q + 5*o + 15 = 0. Let z be (-1)/((-5)/(-3))*q. Solve -v = -z*a - 2 for a.
3
Let g(l) = -l**2 - 6*l - 9. Let q be g(-3). Solve q*n - 2*n + 4 = 0 for n.
2
Let g = 20 + -15. Solve 2 - g = b for b.
-3
Suppose -t + 3 = -2. Solve -4*r + 3 = -t for r.
2
Let j(y) = y**3 - 5*y**2 - 6*y - 1. Let i be j(6). Let z = 1 + 0. Let x = i + z. Solve 3*q - 5*q - 2 = x for q.
-1
Let y = 11 - 15. Let s(x) = 8*x**2 + x - 1. Let p be s(1). Let w = y + p. Solve -8 = -w*b + 8 for b.
4
Let l(p) = -13*p + 2. Let a(h) = 13*h - 1. Let t(b) = -2*a(b) - 3*l(b). Let o be t(4). Suppose -o = -2*w - w. Solve -x + w = 3*x for x.
4
Suppose -3*u - 70 = -5*q - 6*u, 0 = -2*q + u + 28. Suppose -q = -4*d - 2. Solve s + 4 = d for s.
-1
Let j = -3 - -3. Let b be 4 + (1 - j - 3). Solve 1 = -v + b for v.
1
Let q = 47 - 45. Solve q*a = 7 + 1 for a.
4
Suppose -3*f - 1 + 10 = 0. Suppose 17 = 4*l + f*o, -5*o = -0*l + 4*l - 23. Suppose -4 = -2*n + l. Solve 28 = 5*y + n for y.
5
Let a be (-10)/35 + 16/7. Solve -2 = b - a*b for b.
2
Let w = -12 - -15. Solve 0 = -2*h + 5 + w for h.
4
Suppose l - 4*k = 10, -4*k + 0 = 4. Let s = 7 - l. Solve 3*n + s = -2 for n.
-1
Let w be ((-6)/8)/((-1)/(-12)). Let d = -5 - w. Let v be d - (4 - 3 - 2). Solve 12 = -v*c + c for c.
-3
Let q be (-51)/(-12) - 3/(-4). Let o be (-2)/q + 22/5. Solve x + o*x = 0 for x.
0
Let d be 44/22 - (0 - 4). Solve d*k + 6 = 3*k for k.
-2
Let y(p) = -p**2 + 7*p - 3. Let n be y(5). Suppose -5*h - 3*t - n = 0, -3*t - 6 - 6 = 0. Let a(k) = 3*k**2 + k. Let b be a(h). Solve b*f - 12 = f for f.
4
Let v be (-1 + 6/4)*0. Solve v = -0*r - r + 2 for r.
2
Let q be (-2 + 1)*(-7 - -3). Let k be ((-14)/21)/(q/(-18)). Solve -k*a = 2*a - 15 for a.
3
Let j(t) = -5*t + 6. Let d(i) = 6*i - 7. Let n(l) = -6*d(l) - 7*j(l). Let y be n(-4). Solve 4*o + 16 + y = 0 for o.
-5
Let f = -24 - -36. Suppose 0 = -4*s + f - 0. Solve -l - s*l = 4 for l.
-1
Let u = 25 + -19. Solve -15 = 3*n - u*n for n.
5
Let t = 1 - -2. Suppose -t*h - 8 = -h. Let u = h + 12. Solve -3*x = -u*x + 20 for x.
4
Let p be -2 + (0 - 1) + 10. Suppose 3*d - 5*g = -145, -4*d + 27 = -4*g + 231. Let q be (-10)/d - 42/(-11). Solve q = 3*w - p*w for w.
-1
Let b = 18 + -18. Solve b*n + n = 3 for n.
3
Let o be (2 - (-14)/(-5))*-5. Let c(x) = -x**2 + 5*x - 3. Let j be c(3). Suppose 3*k = 3*y - 3, -y = -5*y + 3*k + j. Solve -i - o = -y for i.
-4
Let q = -15 - -29. Solve q - 2 = 3*l for l.
4
Suppose 0 = b + g + 1, 4*g - 2*g + 23 = 5*b. Let i = b - -2. Solve 0*s + i*s - 10 = 0 for s.
2
Let r = 18 - 8. Let h be 8/(-20) - 36/r. Let y = 4 + h. Solve y = -t - 2*t - 6 for t.
-2
Let b = 58 + -55. Solve 0 = -j + b*j for j.
0
Suppose 0 = -5*q - 0*q + w - 10, -8 = 4*q - w. Suppose 10 = -2*h - 4*n - 2, -4*h - 5*n = 12. Let i be q*((-7)/h - -3). Solve 6 - i = -f for f.
-5
Let o(u) = -8*u - 16. Let d be o(-2). Solve d = n + n for n.
0
Suppose 4*m = -0*m. Suppose -2*d + 39 - 7 = m. Let v be 10/4 - (-2)/4. Solve o - d = -v*o for o.
4
Suppose -4 = d + 2*a, -7 = -4*a + 1. Let m = 8 + d. Solve m = w - 0*w - 3 for w.
3
Suppose j = -2*j - 2*c + 5, 3*j + 4*c = 7. Solve j = w + 3 for w.
-2
Let n(y) = -13*y - 93. Let x be n(-9). Solve -4*i - x = 2*i for i.
-4
Suppose 2*z = -3 + 7. Solve -o - 15 = z*o for o.
-5
Let g be 30/9 + 2/3. Let j = -2 + g. Solve -j*i + 20 = 2*i for i.
5
Let i(h) = -10*h**3 + 3*h + 2. Let o be i(-2). Let x = o - 1. Let v be x/12 + (-2)/8. Solve 3*g + v = g for g.
-3
Suppose 7*n = 13*n - 72. Solve -4*r - n + 32 = 0 for r.
5
Let u(p) be the second derivative of p**3/6 + 7*p**2/2 + p. Let m be u(9). Let w = 24 - m. Solve 0 = -2*t - w for t.
-4
Suppose 12*k = 9*k. Solve -f - 3*f = k for f.
0
Let y be 1197/231 - (-4)/(-22). Suppose -2*x = 2, 5*t - 2*x - x = 138. Let v = t + -16. Solve -4*z = -v - y for z.
4
Suppose -3*z = 2*z - 25. Solve -z*c + 10*c = -10 for c.
-2
Let f(l) = l**2 + 6*l - 20. Let j be f(-10). Solve 6*n - 2*n + j = 0 for n.
-5
Suppose -40*k + 20 = -36*k. Let u(t) = t**3 - 4*t**2 + t - 4. Let w be u(4). Solve -5*r + 10 + k = w for r.
3
Let b(s) = s**3 + 3*s**2 - 4*s + 2. Let w be b(-4). Suppose w = 5*g - 23. Solve -g*q = -3*q for q.
0
Let j(x) be the first derivative of 7/3*x**3 - 5*x - 2 - 1/4*x**4 + x**2. Let b be j(7). Solve 2*c = -c - b for c.
-3
Suppose 0 = -5*g + 13 - 3. Let q(z) = 4 + 5*z**2 - 7*z**g - 4*z - z**3 + 2*z**3. Let u be q(3). Solve -4*m + 9 - u = 0 for m.
2
Suppose 0 = -5*x + 5*v - 5, 4*v - 20 = -0. Solve -x*h - 20 = -0*h for h.
-5
Suppose 12 = -3*k + 7*k, -2*z + 2*k = 0. Solve -5 = 2*j - z for j.
-1
Suppose 19 = 5*w + 3*g, -3*w - 5*g + 15 = 2*w. Let f be -5*(1/w - 1). Suppose -3 = f*t - 15. Solve -b - t - 2 = 0 for b.
-5
Suppose -l - 4*l + 3*t + 7 = 0, 0 = 5*l - 4*t - 6. Solve 2*z - 20 = -l*z for z.
5
Let y be (-5)/((-5)/3)*19. Suppose 2*c - y = -c. Let b = 1 + 0. Solve b = -4*d - c for d.
-5
Let y be (-2 + 2)*-1*1. Let j(u) = u**2 - 1. Let l be j(-2). Solve 0*g + l*g = y for g.
0
Let n be 7 + -1 - (-2)/(-1). Let i = 10 - n. Solve -i*a + 2*a = 12 for a.
-3
Suppose 3*p - 11 = 5*g, -4*p = -0*g - 5*g - 13. Let h(f) = -6*f**2 + f**2 - f**3 - f**2 - f + 6 + p*f**3. Let u be h(6). Solve 2*o + o + 9 = u for o.
-3
Let h(n) = -n**3 - 8*n**2 - 9*n - 1. Let d be h(-7). Let t = d + -12. Solve -t = -y - 5 for y.
-4
Suppose -g - 4*j + 2 = -22, -5*g - j + 101 = 0. Solve 0*w + 5*w - g = 0 for w.
4
Let p(r) be the second derivative of -2*r + 1/6*r**3 + 0 + 1/2*r**2. Let u be p(-1). Solve u*w = -w for w.
0
Suppose -4*m = i - 4, 3*i = 5*m - 2*i - 30. Solve 0 = -0*x - 2*x - m for x.
-1
Let v = -5 + 9. Suppose 2*f + 10 = -5*n, -2*n + 2*f + 0*f + 10 = 0. Suppose 4*w - 3*w = 1. Solve n = -u + w - v for u.
-3
Suppose 5*w = -6*w + 4*w. Suppose 3*n = 2*x + 7*n + 4, 1 = -n. Solve x = -w*v + v for v.
0
Suppose -45 = 10*k - 5*k. Let l = 11 + k. Solve 2*c + 12 = -l*c for c.
-3
Suppose k - 6 + 2 = -2*b, -3*b + 4*k - 16 = 0. Solve -l + 1 = -b*l for l.
1
Let s = 1 - 1. Let w(x) = x**3 + x - 4. Let g be w(s). Let c = g + 4. Solve c = 4*a - 0 - 8 for a.
2
Let t be 74/(-9) + (-8)/(-36). Let p = -5 - t. Suppose p*b = -2*o + 4 + 14, -5*b + 2*o = -14. Solve 2*k = 3*k + b for k.
-4
Suppose 0 = -a - 0*a - 1, 7 = 2*o + a. Suppose 0 = -9*m + o*m + 5. Let k = m - -2. Solve -13 = k*b - 4 for b.
-3
Let c = 84 + -78. Solve -4*g + g - c = 0 for g.
-2
Let q be (1 + 31 + -6)/2. Solve 0 = q*s - 9*s + 4 for s.
-1
Let h(v) = 21*v**2 - 2*v + 1. Suppose 5*u = -k, u = 2*k + 4 + 7. Let r be h(u). Suppose 4*w = 4, 2*w - 2 = -b - 0. Solve 4*o - r = -b*o for o.
5
Suppose 40 = -4*q + 8*q. Solve -q = 4*c + c for c.
-2
Suppose 0 = 3*w - 12 + 3. Let j(y) = -y**2 + 2 - 2 - 2 + w. Let u be j(1). Solve 0 = 4*d - u + 4 for d.
-1
Let k(o) = o - 8. Let i be k(10). Solve -3*u + i*u = 0 for u.
0
Let s(j) = j. Let o be s(2). Solve -w + o = -3*w for w.
-1
Let x(j) = 3*j - 1. Let m = -3 + 5. Let u be x(m). Solve -2*c + u*c = 0 for c.
0
Let n = 0 - -1. Suppose -5 - n = -p. Let r be p/(1 + 2 + -1). Solve -2*x + r - 13 = 0 for x.
-5
Suppose -u - 5*q = -4*u - 5, 4*u = 3*q - 3. Solve 3*z + 12 = -u*z for z.
-4
Suppose 6 = -3*t + 5*t. Suppose 0 = -3*q + d, -2*q + 0*d + t*d = 0. Solve q = f + 4*f - 5 for f.
1
Let s be (12/(-2))/((-9)/24). Suppose -11 - s = -3*n. Solve 0 = -3*c + 6*c + n for c.
-3
Suppose -75 = 5*j - 20. Let z be 1 - j*(1 + 0). Suppose -5*i + 0*y - 2*y + 14 = 0, -17 = -5*i - y. Solve -i*q + 0*q = -z for q.
3
Let g(m) = -m**2 + m + 1. Let w(u) = -u**3 - 2*u**2 + 7*u + 2. Let n(l) = -6*g(l) + w(l). Let d be n(4). Solve -4*t = -d*t + 12 for t.
-3
Let j = -25 + 46. Suppose 14 = -w + 3*y, -3*w - 5*y = -7*w - j. Let