 Suppose d = 3*z - 2*z - 5*i, 0 = -z - 5*i - 3. Solve z*a - 3*a = 0 for a.
0
Let k be 4/(-1 - -5) + 1. Suppose i - 5 = -k. Solve i*d = -d for d.
0
Suppose 0 = -2*s - 3*s + 5*a + 80, a + 56 = 3*s. Suppose 0*o - 16 = 2*o. Let m = 8 + o. Solve -s = -m*h + 5*h for h.
-4
Suppose 0 = -3*s - s - 2*x + 12, 2*x - 7 = s. Solve -s + 5 = -4*u for u.
-1
Suppose 4*b - 104 = -8. Suppose 0 = -3*f - 0*f + 12, 8 = -4*d + 5*f. Suppose -5*z + d = -17. Solve 5*v = z - b for v.
-4
Let v be -2 - (-13)/((-78)/(-12)). Solve v = 5*b - b - 12 for b.
3
Let r = 15 - 26. Let b = r + 13. Solve 10 = -b*y - 3*y for y.
-2
Let z(c) be the second derivative of 0 + 1/6*c**3 - c - 2*c**2. Let q be z(6). Solve 0 = i - q for i.
2
Suppose w + 3*w - 200 = 0. Suppose -3*m = 4*h - w - 1, h + 3*m = 24. Solve 0 = -6*k + 3*k - h for k.
-3
Suppose 0 = -19*c + 16*c. Solve c = -2*r - 0*r for r.
0
Let a = -47 - -83. Suppose a = 4*v + 4*d, 0*v - 2*v = 5*d - 6. Solve v = 3*h + 1 for h.
4
Let v(c) = c**2 + 16*c + 3. Let w be v(-17). Solve t = -3*t + w for t.
5
Let b = 32 + -24. Solve 5*c = -b + 3 for c.
-1
Suppose -6 = -3*b + 33. Let p(y) = y**2 - 12*y + 16. Let u be p(b). Suppose -2*x = -5*t - u, 3*t = 2*x - 0*x - 19. Solve -3*d + 1 + x = 0 for d.
1
Let k(x) = -x**2 + 7*x - 2. Let r be k(5). Suppose -t + 9 = 2*o - 0*o, o - r = -4*t. Solve 9 = -2*c - t for c.
-5
Suppose 0 = -5*s + 5*o, 4*s - o - 8 = -2. Suppose -3*w - 6*b + 3*b + 3 = 0, b = w - 1. Solve -j = -s + w for j.
1
Let y be 1/2*(-30)/(-3). Solve 3*q = 2*q - y for q.
-5
Let l be -3*(-3 - -2) - 1. Let j(y) = 2*y**2. Let d be j(-1). Suppose l*k - k - d = 0. Solve t + 1 = k*t for t.
1
Suppose -2*a + 15 = a. Solve -5 + 25 = a*c for c.
4
Suppose -2*b - 4 = -4*b - 4*a, 0 = 5*b + a - 1. Solve 4*u - 3*u + 2 = b for u.
-2
Let f be (-2)/4*(1 + -1). Solve 2*l - 7*l + 5 = f for l.
1
Suppose 3*y + 31 = 5*x, -5*y = -5*x - 10*y + 15. Suppose 4*a - 16 = -v - v, x*a = v + 20. Solve -3*u + v*u = -3 for u.
1
Suppose -4*i - 2 = v + 3, -3*v = -4*i - 17. Let u be (-5)/i*(-4)/(-5). Suppose 3*c - 2 - 4 = 0, h = u*c. Solve 0*p = -h*p for p.
0
Let h(r) = 2*r + 2. Let v be h(0). Solve -4*f - v = -2*f for f.
-1
Let o(t) = -t + 1. Let g be o(-2). Solve 0 = 4*j - 5 - g for j.
2
Suppose -7*x + 8*x = -4*h - 20, 4*x - 2*h - 10 = 0. Solve x = -k + 2 - 1 for k.
1
Suppose 0 = 3*r + 13 - 79. Suppose -3*w + r = -2*n, 0 = -4*n + 5*w + 1 - 41. Let m(j) = j + 5. Let v be m(n). Solve v = -z + 5 for z.
5
Let h be ((-2)/(-1))/(-7 + 9) + 2. Solve 0 = l - h*l for l.
0
Suppose 0 = h - 2*f - 2, -5*f + 0 = -h - 4. Suppose p + v - 6 = -0*v, -5*v = -5*p. Let k be (-8)/(-1) - (p - 1). Solve 3*a + k = -h for a.
-4
Suppose -2*v + 2 = -0. Let x(d) = -d**2 - d - 10. Let i be x(0). Let n = -6 - i. Solve -n = z - v for z.
-3
Suppose -28*n + 160 = -20*n. Solve l = 5*l + n for l.
-5
Let f be (2/1)/((-3)/(-15)). Solve o + 4*o = f for o.
2
Let r = 18 + -18. Solve -2*n + 4*n + 2 = r for n.
-1
Let z be 24/8 + 0/(-2). Solve z*r + 1 = 16 for r.
5
Suppose -4 = 2*l - 12. Solve -l*h = 4 + 4 for h.
-2
Let o(i) = i**2 - 5*i + 4. Suppose -4*g + 18 = 2. Let n be o(g). Let m be n*-2*2/(-4). Solve 3*h - 2*h + 5 = m for h.
-5
Suppose 7*p - 5*p = n - 10, n - 5*p = 16. Solve n*g - 8*g - 8 = 0 for g.
-4
Suppose 2*f + 3*f = 3*j - 4, 4 = 2*j - 3*f. Suppose 6*r = j*r - 4. Solve r*n - 5*n = 0 for n.
0
Suppose 5*a = 5*m + 15, 3*m - 2*a + 7 - 3 = 0. Solve 0 = r + 1 + m for r.
-3
Suppose 0 = -4*h + g + 7, 4*h + 0*h - 4*g = -8. Let i = 3 - h. Solve -2*z + i = -6 for z.
3
Suppose h - 3 = -0*h. Suppose 0 = -c + 2 - h. Let n be (-2)/c - (-11)/1. Solve 1 - n = 3*a for a.
-4
Let u = 20 - 18. Suppose 0*p + 6 = 2*p. Let q = p + -1. Solve q*o = -0*o - u for o.
-1
Suppose -2*u - 2 = -0*g - 2*g, 5*u + 2*g = 30. Suppose -5 = -3*r + 1. Let j(n) = -n**2 - 3*n + 2. Let a be j(-3). Solve r = -u*v - a for v.
-1
Let u(j) be the first derivative of j - 1 + 1/3*j**3 - 1/2*j**2. Let n be u(-2). Solve 0 = 4*b + 13 + n for b.
-5
Let h be (-10 + 7)*1/(-1). Let b be h*((-16)/(-6))/1. Solve 5*u + 17 = -b for u.
-5
Suppose -16 = -4*x - 0. Suppose 0 = 4*p + 30 - 6. Let i be 7 + 1/(3/p). Solve 0 = -i*l + x + 1 for l.
1
Suppose 5 = -4*k - 59. Let x = 22 + k. Solve 0 = -2*z + x*z - 12 for z.
3
Suppose 12 = -4*x - 4*v, 4*x + 4*v - 7*v = 23. Solve x*s + 9 = -s for s.
-3
Suppose -2*b - 1 = t, -4*b - b - 25 = -2*t. Suppose 3*g = 2*o - 2, g + 18 = -0*g + t*o. Solve g = -y + 3 for y.
1
Let b(d) = d**2 + 4*d + 16. Let a be b(-6). Let f = -24 + a. Let k be 2 - 1 - (-4 + 1). Solve 0 = f*n - k for n.
1
Let p = -1 + 1. Suppose 2*k - 3 - 3 = p. Solve -k*n - 1 + 16 = 0 for n.
5
Let j = 5 + -2. Let x(a) = 6*a**2 - a**3 + 0 + a + 1 - 1 + 4. Let u be x(6). Solve 0 = j*w - 5*w - u for w.
-5
Let w(y) = -y**2 - 2*y - 2. Let u be w(-1). Let g be 0*(u + 1/2). Solve 4*l = -g*l for l.
0
Let p = 33 - 19. Let r be 28/(-8)*(-12)/p. Solve -o = r*o - 8 for o.
2
Suppose -7*p + 10 = -2*p. Solve -2*f + 4 = p for f.
1
Let f be (2 - (-4)/(-2))/(-2). Let n = -4 - -4. Solve n = -w - f*w for w.
0
Let a(u) be the third derivative of u**4/24 - 2*u**3/3 - u**2. Let f be a(2). Let x be f/((-3)/6 - 0). Solve x*n - n = 15 for n.
5
Let t(k) be the first derivative of -k**4/4 + 7*k**3/3 - 3*k**2 + 2*k - 2. Let x be t(6). Suppose x*f = -3*f. Solve -4*o - 14 - 6 = f for o.
-5
Let g(v) = -v - 1. Let y be g(3). Let f = y - -5. Solve f - 16 = 3*w for w.
-5
Let a = 10 - 5. Let f(s) = 3*s + 5 + 0 - 2*s - 7. Let y be f(a). Solve -i = 1 - y for i.
2
Let w(k) = -k**3 - 9*k**2 - k - 5. Let l be w(-9). Suppose l*z + 44 = 6*z. Solve -4*m - z = -6 for m.
-4
Let k(g) = g**3 - 17*g**2 + 16*g + 2. Let b be k(16). Solve -b*u + 5*u - 15 = 0 for u.
5
Let y(s) = -s**2 - 22*s - 20. Let o be y(-21). Solve 2*t - t = -o for t.
-1
Suppose 0 = z - 0*z - 5. Suppose -z = 5*c - 20. Solve 0 = 4*r - r - c for r.
1
Let p be (5/(-3) + 1)/((-9)/54). Let q be (10 + 0/1)/1. Suppose q = 5*b - 0*b. Solve -b*i + p*i = 0 for i.
0
Let b = 9 + -6. Suppose b*t - 100 = -2*t. Solve -t = w - 6*w for w.
4
Let u be (3 - 2) + 0 + 2. Solve 0 = -u*a - 3 - 3 for a.
-2
Suppose -z = -5 - 2. Let o(s) = s**3 - 6*s**2 - 5*s - 8. Let a be o(z). Solve -g + a = 2*g for g.
2
Let l = 164 - 164. Solve l*i = -3*i + 3 for i.
1
Suppose -3*q + 32 = 5. Suppose 6*z = 3*z + q. Suppose -2*b = z*b - 10. Solve -3*r - 25 = b*r for r.
-5
Suppose 0 = 2*b + 2*b - 8. Let s be -1 - 8/(-2) - 0. Let k be -2 + 3 - (s + -6). Solve b = -k*g + 6 for g.
1
Suppose 11 = -n + 2*n. Let j(q) = -10*q - 3. Let r be j(-2). Suppose -r = 4*g + 5*b, -3*g - 2*b + 3*b + 11 = 0. Solve n = 3*z + g for z.
3
Suppose -5*z - 3*z = 0. Let f = 1 + 1. Solve z + f = t for t.
2
Suppose 3*o + 2*q = 5, -3*o + q = -2*o. Let r(i) = 4*i + 1. Let d be r(o). Solve -d*w - 13 = 2 for w.
-3
Suppose 0 = 4*o + 2*i - 4*i - 10, -o - 20 = 4*i. Solve 4*a + o*a = 0 for a.
0
Suppose 0 = -4*q - 4*t + 12, 3*q + 2*t + 0 - 10 = 0. Suppose 3 = -u, 16 + 7 = q*f - u. Suppose 4*p + f - 13 = 0. Solve -x - p = x for x.
-1
Let g = -41 + 61. Let p = g + -19. Solve -4 = j + p for j.
-5
Let i(p) be the first derivative of p**4/4 - 2*p**3/3 - 3*p**2/2 + 4*p + 4. Let o = -4 + 7. Let s be i(o). Solve 2*z - s*z - 2 = 0 for z.
-1
Suppose 4*x - 46 = 2*x. Let g = x - -3. Solve -5*t + 6 - g = 0 for t.
-4
Let w = 81 - 78. Solve -4*d - 2 = -w*d for d.
-2
Suppose 14 = -5*r - 1, 3*w - 4*r - 21 = 0. Let m(l) = w*l + 2*l - 2 - 6*l. Let q be m(-4). Solve d + q = 4 for d.
2
Let w = -12 - -8. Let x(u) = u**3 + 5*u**2 + 4*u + 2. Let q be x(w). Solve 3 = -q*j + 5 for j.
1
Let v = -30 + 44. Let q(i) = -i**2 + 5*i + 1. Let d be q(4). Solve 6 = d*n - v for n.
4
Let k(j) = -j**2 + 6*j - 6. Suppose 4*t - 2*t - 28 = -3*g, 0 = -g - 5*t + 18. Let d = 12 - g. Let p be k(d). Solve p*r + 2 = -4 for r.
-3
Suppose 3*x + 10 = 1. Let k be (-6)/(-2 + (-2)/(-2)). Let c = k + x. Solve -c*v = v for v.
0
Let i = -8 + 12. Solve -i*k - 1 + 9 = 0 for k.
2
Let y(g) = g**3 + 8*g**2 + 1. Let h be y(-8). Solve -2*m + h = 5 for m.
-2
Let u = 1 + 1. Suppose u*i + 3*i = 15. Solve -2*k = k + i for k.
-1
Let i be (-2)/(-2*1)*0. Let q(t) = t + i*t + 0*t + 7. Let u be q(-5). Solve -3*d + 1 + u = 0 for d.
1
Let o = -3 - 1. Let q be o/5*(-25)/10. Let y = 1 - 1. Solve y = 3*d + 5 - q for d.
-1
Suppose 5 + 1 = -2*z. Let g = -3 - z. Suppose -2 + g = -x. Solve 3*u = 7 + x for u.
3
Let u be