-d**2 - 5*d + 4. Let u be m(-5). Let k = u - 2. Solve 0*q = k*q for q.
0
Let q = 4 + -2. Suppose 2*d - 5*f = -3*d + 35, -1 = -3*d - q*f. Solve u = -6 + d for u.
-3
Suppose 3*u + 14 = -5*p, u - 3*u = -3*p - 16. Solve 0 = u*y - 3*y + 1 for y.
1
Suppose -4*q - 16 = -5*g, 6 = 3*q + 4*g + 49. Let o be (-4)/(-6) - 12/q. Solve o*w = 3 - 1 for w.
1
Let y(a) = 2*a**2 + 3*a - 3. Let r be y(-3). Let t be r/4 - 30/(-4). Suppose -3 = -3*n + t. Solve 0*z + n*z = 0 for z.
0
Suppose -s = -3*k + 4, 12 = -4*s - 4. Solve x - 6*x - 10 = k for x.
-2
Let o(y) = 21*y**2 + 1. Let s be o(-1). Let g = 27 - s. Solve -g*i - 2 = -27 for i.
5
Let s be ((-30)/12)/((-2)/4). Solve 0 = -7*g + s*g for g.
0
Let o(w) = -w**2 - 22*w + 2. Let z be o(-22). Solve z = 5*h + 17 for h.
-3
Let d be (-15)/(-2)*6/5. Suppose -2*h + 5*r = d, 4*h - 9 = r - 0*r. Solve -c + h*c = 0 for c.
0
Suppose 0*m = 5*m - 15. Let d = -3 + m. Solve 6*b - 2*b = d for b.
0
Suppose -j - 2*j + 14 = 5*w, j - 2*w - 1 = 0. Solve 0*z - j*z - 6 = 0 for z.
-2
Let b be 260/36 + 4/(-18). Suppose 2*o = -4*a + 26, -b*a = -2*a + 4*o - 37. Solve 1 + 4 = a*c for c.
1
Suppose 2*f = 4*f. Solve f*q - 2*q - 8 = 0 for q.
-4
Let p = 11 - 6. Suppose 4*r + 2 - 3 = -3*m, -p*m - 3 = 2*r. Solve 0 = -s - 1 - r for s.
-2
Let r(a) = -a**3 + 14*a**2 + 14*a + 9. Let v be r(15). Let g be (184/v)/4*-3. Solve 0 = 3*x + g - 8 for x.
-5
Suppose 3*f + 3 = 4*f. Let n(p) = p + 3. Let z be n(5). Solve z = v + f for v.
5
Suppose 0 + 6 = 2*k. Let t be (-24)/(-9)*k/2. Let i(u) = -u**2 + 5*u - 3. Let q be i(4). Solve q = 3*r - t*r for r.
-1
Let j = 18 + -14. Let a(v) = v - 7. Let p be a(6). Let s(w) = w**2 - 1. Let m be s(p). Solve m = o - j + 1 for o.
3
Let b be (-2 - (-2 - 1)) + 15. Let f(k) = -3*k - 3. Let n be ((-28)/10 - -2)*5. Let g be f(n). Solve -5*p + g = -b for p.
5
Let o = -130 - -136. Solve -8 = -4*g + o*g for g.
-4
Let q = 20 - 19. Let o = 0 + q. Solve -4 + o = x for x.
-3
Suppose 6 = 3*v - 18. Suppose -v = 3*b - 5*b. Solve -h - 12 = -b*h for h.
4
Let c = 0 - -8. Solve c - 4 = f for f.
4
Suppose j = -j + 10. Let q(v) = -2*v + 16. Let w be q(-11). Suppose -5*x + w = -3*x. Solve j*k = -1 - x for k.
-4
Suppose 3*o + 0*o - 30 = 0. Solve 9*t + o = 4*t for t.
-2
Suppose 3*m = 2*m + 9. Let n = m - 7. Solve -3*c = n*c for c.
0
Suppose 4*l - 14 = 2. Let i be (-12)/8*8/(-6). Solve -i*t - l = -0*t for t.
-2
Suppose -3*p - 5*r + 16 = 0, -p - 5*r + 1 = -11. Solve -i + p = i for i.
1
Suppose 3 = -3*d, 4*d + 20 + 9 = 5*t. Suppose 0 = 4*p - o + 6*o + 1, 2*p - 37 = t*o. Solve 5*y - 4 = p for y.
2
Suppose -4*j + 9*j = 35. Solve -r = -j + 3 for r.
4
Let b = -5 - -9. Suppose -b = 2*p + 4. Let x = 9 + p. Solve f = x*f for f.
0
Let u(g) = -g + 1. Let n be u(1). Let x = -8 + 6. Let v = x + 5. Solve v*s + s = n for s.
0
Suppose 7*j + 10 = 8*j. Solve 4*x = -x + j for x.
2
Suppose 0 = 3*z + 5 - 20. Solve -2*c - z = -7 for c.
1
Suppose -3*v + 13 = -5. Solve 4*i - v*i + 8 = 0 for i.
4
Let l be 4/(-10) + (-34)/(-10). Suppose -2*d + 4*a - 8 = 0, d + 3*a - 8 = -a. Solve d = 2*k - 1 + l for k.
-1
Suppose -h - 8 = h. Let w = 0 - h. Solve -w*u - 10 = -9*u for u.
2
Suppose -5*y = -4*x + 19, -y = -2*x + 2*y + 9. Suppose z - 25 = x*z. Let j be -4*5/(z/4). Solve -u - j = 3*u for u.
-4
Let z(n) = -n**3 + 5*n**2 - 2*n + 4. Let c be z(5). Let l = 9 + c. Suppose l*t - 3 - 9 = 0. Solve -t*h = 1 + 19 for h.
-5
Let j(f) = 6*f**2 + 7*f - 2. Let k(q) = 7*q**2 + 7*q - 1. Let v(w) = -6*j(w) + 5*k(w). Let i be v(-8). Let p = i - -2. Solve -a = 1 + p for a.
-2
Let d = 2 + 6. Solve 3*c = 2 - d for c.
-2
Let j = 4 - 3. Let i(r) = 4 + 9*r**2 - 4 + r + 2 - 3. Let k be i(j). Solve -t - 2*t = k for t.
-3
Let v(l) = -l**3 + 7*l**2 - 6*l. Let q be v(5). Let t be (3/(-6))/((-3)/36). Let w be (-7 - -4)/((-3)/2). Solve t*o - q = w*o for o.
5
Let c(j) = -j**2 + 2*j + 1. Suppose -o + 2*o - 4 = 0. Let u be c(o). Let s(r) = r + 8. Let t be s(u). Solve 2*y = -t - 9 for y.
-5
Suppose 2*z - 2*r = -2*z + 16, 5*r = -2*z + 20. Let a(b) = -b**2 + 5*b + 5. Let j be a(z). Solve j*t + 5 = 4*t for t.
-5
Suppose 0 = -a + 2. Suppose 3*s = 5*h + 67 + a, 4*s = 2*h + 78. Solve 5*n = -s + 43 for n.
5
Suppose 0 = 7*m - 26 + 5. Solve m*s = -4 + 7 for s.
1
Let s(o) = -o + 10. Let q(z) = -z**3 + z**2 + z - 2. Let k be q(-2). Let t be s(k). Solve 0 = -t*p - 0*p + 10 for p.
5
Let l(a) be the first derivative of -a**3/3 + 3*a**2/2 + 2*a - 14. Let i = 7 - 4. Let w be l(i). Solve w*y - 11 = -3 for y.
4
Suppose 4*w = -3*l + 36, 0 = 4*w + 2*l - 24 - 8. Let o be (w/4)/(2/8). Solve k - o = 4*k for k.
-2
Suppose -2*x - x + 9 = 0. Let w be -3*-5*x/9. Suppose 0*b = -3*b + w*k + 6, -8 = -4*b - 2*k. Solve -h = -b*h - 5 for h.
-5
Suppose -4*d + 2*z + 0*z - 22 = 0, -3*d - 9 = z. Let i = -2 - d. Solve i*o - 5*o + 6 = 0 for o.
2
Suppose 378 = -0*j - 3*j. Let n be (-6)/(-33) + j/(-33). Solve -7 = n*l + 5 for l.
-3
Suppose -x - 4*x = -20. Solve 0 = 5*g - 6 - x for g.
2
Let g = 81 + -78. Solve g*c = 7*c - 16 for c.
4
Suppose -z + 3*c = -18, -4*z + 41 = -3*c + 5. Let q = z - 4. Suppose -5 = -d - q. Solve d*u - 10 = u for u.
5
Let d be ((-4)/(-3))/(2/(-9)). Let m be 0*(d/(-4) + -1). Solve -16 + m = -4*i for i.
4
Suppose 0 = -8*j + 36 + 4. Solve -8*h + j*h = 0 for h.
0
Let p = -25 + 29. Solve p*o + 0*o + 20 = 0 for o.
-5
Suppose 3*l + 51 = 6*l + 3*f, -4*l + 62 = f. Let a = -12 + l. Solve -1 = -a*k + 2 for k.
1
Let u = 2 - -8. Suppose -8*l - u = -10*l. Solve 0 = l*v - 3 + 8 for v.
-1
Let m(f) = 2*f**2 - f + 2. Let g be m(0). Suppose -5*v + 4 = -1. Suppose 5*x = 3*h + 3 - 0, 0 = -h - v. Solve x = 2*y + g + 4 for y.
-3
Let n = -14 - -14. Solve 3*t + n = 6 for t.
2
Let l = 15 + -13. Solve -2*r - l = -0*r for r.
-1
Let f(r) be the third derivative of r**5/20 + 2*r**3/3 - 9*r**2. Let p be f(-2). Solve -2*b = 2*b - p for b.
4
Suppose 4*b + 2 = 2*z, 5*b + 3*z - 19 - 6 = 0. Let f(g) = -2*g**b - 6 - g**3 + 1 - g**2 + 2*g. Let k be f(-4). Solve -7 - k = 5*t for t.
-2
Let q(d) be the second derivative of 5*d**3/6 - 3*d**2 - 4*d. Let v be q(5). Solve -5*m - v = 6 for m.
-5
Suppose 2*a + t - 4*t + 7 = 0, 0 = -4*a + 4*t - 4. Suppose 5*q + 13 - 43 = 0. Suppose q = l + 2*l. Solve l*o + 2*o = a for o.
1
Let j(w) = w**3 + 3*w**2 - 2*w - 3. Let u be j(-3). Suppose -a + 5 = -0*a + 2*z, -u*a - 5*z + 13 = 0. Solve 0 = f - a for f.
1
Suppose -3 - 21 = 2*y. Let b be y/10*10/(-4). Solve -b = 2*r + 3 for r.
-3
Let s(f) = f + 18. Let w be s(-12). Solve 2*y - w*y = 12 for y.
-3
Suppose -2*p + 0 = -16. Suppose 3*d + q + 4*q - 56 = 0, d = 5*q - p. Suppose t - 3*j = 11, -3*j - 21 = -3*t + 2*j. Solve -t*x + d = 2*x for x.
3
Let c = -74 - -76. Solve 2 = -c*n - 0 for n.
-1
Let u be 0*(4 + -2)/(-2). Suppose -3*i + 3*p = -u*p + 15, 3*p = i + 15. Suppose i*c = -5*c. Solve -l - 1 - 1 = c for l.
-2
Let w be (-1 - 0) + -4 + 15. Solve c = -c - w for c.
-5
Suppose 0 = -g - g - o - 15, -g - 12 = 5*o. Let v = g - -7. Solve 5 = d - v*d for d.
5
Suppose 5*q - 4 = 2*g, q = -4*g - 2*q + 18. Suppose 0*j + j = 10. Suppose -g*a + j = 2*a. Solve 6*s - a*s + 12 = 0 for s.
-3
Let h(x) = x**2 - 2*x - 1. Suppose -k = p - 9, 1 - 34 = -2*k - 5*p. Let g be h(k). Solve -2*a + 10 = -g*a for a.
-2
Let x be 10 + -1 - 1*2. Let i(y) = -y**3 + 7*y**2 - y + 9. Let q be i(x). Solve -4 = -2*h - q for h.
1
Let b(k) = k + 4. Let f be b(3). Let n = 37 + -26. Let z = -6 + n. Solve -z*t + 2 = f for t.
-1
Let q be (-27)/6*(-2)/3. Suppose 0*o - o = -2*x + 1, 0 = -x - o - 1. Solve x*t + 15 = q*t for t.
5
Suppose 4*d - 4 + 18 = 2*h, -2*h = d - 4. Solve 0*g = -h*g for g.
0
Let m = -3 - -5. Suppose -3*o - m*b = -6, -5*o - 4*b = -o - 8. Solve -o*u + 4 = 2 for u.
1
Suppose 0 = 12*t - 10*t. Suppose -4*s + 3*s + 6 = t. Solve 4*d + 10 = s*d for d.
5
Let b = 2 - 7. Let j = 10 + b. Solve 2*q = j*q + 12 for q.
-4
Suppose 0 = -4*f + 4*n, 2*f + 2 = -3*n + 6*n. Solve -3 = -f*m + 1 for m.
2
Let t(a) = 3*a - 1. Let b(w) = 2*w - 1. Let i(s) = -7*b(s) + 5*t(s). Let g be i(-2). Solve g = 3*d + 2*d for d.
0
Let f be ((-4)/10)/((-24)/(-5) + -5). Solve 4 = 2*i + f for i.
1
Suppose 3*v = -17 - 25. Let j = v - -15. Solve -5 = 2*t + j for t.
-3
Suppose -n - 2 = -2*n - 5*x, 0 = 2*x. Solve 2*c - 8 = -n*c for c.
2
Let q(s) = s**2 - 7*s + 3. Let r be q(7). Suppose -4*f + 8*f = 0. Solve -k - r*k = f for k.
0
Let v = 1 + 3. Suppose -3*t - 4*k + 5 = -