-1)/(-1). Let b be (-9)/g + y/(-8). Solve -b*p = -p + 20 for p.
-5
Let s = -29 - -29. Solve s = 2*k - 0*k + 4 for k.
-2
Suppose 3*v + v = -5*f + 2, -5*f - v = -8. Solve l + f*l = -12 for l.
-4
Let f be 12/(-3)*(-4)/(-1). Let k = -7 - f. Suppose 0*i + i = 3. Solve k = -i*x + 3 for x.
-2
Let m(w) be the second derivative of w**5/20 + w**4/2 + w**3 + 5*w**2/2 - 2*w. Let v be m(-5). Suppose -4*z + 38 + 54 = v. Solve 5*g - z = -3 for g.
4
Let p = 7 + -7. Let a be 6/(-12)*(-1 - 1). Solve -z = -p*z - a for z.
1
Let o be (-6)/(-1 - 0 - 1). Let w = -34 + 52. Suppose w = 4*h - 2. Solve -4*b - h = o for b.
-2
Suppose f = 3*f - 8. Let o(k) = -k**3 + 7*k**2 - 4*k - 5. Let u be o(5). Solve -f*g - u = g for g.
-5
Suppose -7 = -r - 3*d + 4, -2*d = -r - 4. Solve -3*n - 25 = r*n for n.
-5
Let r = 12 - 8. Let q be 3/(-9)*(-264)/r. Solve q = -3*y + 7 for y.
-5
Suppose 2*m = -3*m. Suppose 5*h + 0*b - 22 = -2*b, 2*h - b - 16 = 0. Let l be m + 3/h*6. Solve 2*u - l + 1 = 0 for u.
1
Let s(b) = -b**2 - 3*b - 6. Let g be s(-4). Let d = -8 - g. Solve d*h - h = -1 for h.
-1
Suppose 3*i = -i + 12. Suppose -12 = -i*n + n. Solve n = 3*x - 0*x for x.
2
Suppose 3*l + 24 = 9*l. Solve 0 = 3*p - l*p for p.
0
Let x = 0 - -4. Let i = 7 - 2. Solve -1 = i*w + x for w.
-1
Let q = 3 - 3. Suppose q = -3*u - u. Solve u = 4*r - 1 - 11 for r.
3
Suppose 3*g + 4*n + 2 = 0, 2*g = -2*g + 5*n + 49. Suppose 5*l - 4*t - 24 = l, -3*t = g. Suppose -3*i = -4*i + 5*c + 4, -i + 3*c = -l. Solve i*b = b + 12 for b.
4
Let u = -5 + 11. Let r = u + -2. Solve -r*k - 7 = 1 for k.
-2
Let a be -1*1 + (2 - -1). Suppose -5*q = -2*q + 3*g, -5*q + 36 = -4*g. Solve q*b - a*b = -2 for b.
-1
Suppose -4 = -s + 5*h, 0 = -3*s + h - 3*h + 63. Suppose -5*y - s = -a, 4*y - 5 = -2*a + 33. Solve 4 - a = 3*m for m.
-5
Suppose 3*t + 0 - 6 = 0. Solve t*j = 6*j for j.
0
Let b be 1842/10 - (-5)/(-25). Suppose -r + b = r. Let x be 4/(-18) + r/9. Solve -u = u + x for u.
-5
Let y(t) be the second derivative of -t**5/20 - t**4/4 - t**3/2 + t**2 - 5*t. Let g be y(-3). Let v = 12 + -7. Solve 4 = v*c - g for c.
3
Suppose 0 = 3*y + 2*y - 5*v - 115, -4*v = 3*y - 104. Let w be (10/(-20))/((-2)/y). Solve 3*f + 2 + w = 0 for f.
-3
Suppose -5*o + 22 - 2 = 0. Let i = o - 0. Suppose -i*q = -q. Solve q = 2*w - 0*w - 2 for w.
1
Let k be 2/(1*(-1)/(-4)). Let n(u) = -u**2 + 7*u + 11. Let l be n(k). Let o = 5 - l. Solve -h + 1 = o for h.
-1
Suppose 0 = 5*r - m + 6*m - 5, -3 = 5*r - 3*m. Solve 5*u = -r*u for u.
0
Let f(q) = q**3 - 7*q**2 + 5*q + 7. Let r be f(6). Let y = r + 1. Solve h = -y*h for h.
0
Let m = -16 + 16. Solve -5*l - 1 - 14 = m for l.
-3
Let f(j) = -j**2 + 9*j - 8. Let t be f(8). Let b(x) = -x**3 + 9*x**2 + 10*x + 2. Let n be b(10). Solve t = n*r + r - 3 for r.
1
Let x = 4 + 0. Solve -x = -3*d + 11 for d.
5
Suppose 3*t - 27 = -i, -t - 59 = -6*t + 3*i. Let q be 34/t - 18/45. Solve q*m = 2*m + 2 for m.
2
Let z(t) = t**2 + 3*t + 3. Let i be z(-3). Suppose i*x + x - 4 = 0. Let r be 3 + (3 - 1)*x. Solve r*c - 3*c = 4 for c.
2
Let v(s) = -s**3 - 6*s**2. Suppose 2*o - 3*o - 6 = 0. Let q be v(o). Solve -5*i + 4*i + 4 = q for i.
4
Suppose 8 = 5*t - t. Suppose -t*n - n + 9 = 0. Solve -n = 4*k - k for k.
-1
Suppose 5*i = 2*f - 6, 2 + 1 = -4*i + f. Let c be (i/(-1) - -9)*1. Suppose 0 = 2*x - u - c, 4*x + 1 = -5*u - 16. Solve -4 = x*w + 6 for w.
-5
Let w(o) be the third derivative of -o**5/60 + 5*o**4/24 + 4*o**3/3 - 3*o**2. Let s be w(6). Solve 0 = -j - s*j for j.
0
Let i(l) = l**3 + 12*l**2 - 14*l - 9. Let z be i(-13). Suppose 3*a = z*a + 3*p - 11, -3*a + 9 = p. Solve 3*s - a*s = 5 for s.
5
Suppose -2*c + 24 = 4*c. Solve -c*n = n for n.
0
Let c = -7 + 16. Solve 5*w - 11 = c for w.
4
Suppose 2*l = -0*l + 4. Solve 0 = -3*m - 5 + l for m.
-1
Let k be 560/176 - 4/22. Let f = 0 - 2. Let g be (0 + 1 + f)*-7. Solve -g*h = -k*h - 12 for h.
3
Let l be (1 - 4) + (-4 - -6). Let d be l + (-4)/(-2) - -1. Solve -1 - d = g for g.
-3
Suppose -2*f + 5 = -3. Let j = f - -1. Solve -j*m = -22 + 7 for m.
3
Let o(q) = 2*q + 36. Let x be o(-17). Solve -2 = x*p + 6 for p.
-4
Suppose 0 = 2*z + 4*r - 4, -2*z + 4 = -r + 3*r. Suppose -12 - 2 = 2*v. Let m(b) = b + 21. Let u be m(v). Solve z - u = 3*l for l.
-4
Let z(y) = 3*y - 7. Let j be z(3). Solve -j*r = -4*r for r.
0
Suppose -p = 3*p - 68. Suppose p = -2*s - 5*j + 1, -4*s = 5*j + 12. Suppose -s*g = -4*g. Solve -5*l - 5 = -g for l.
-1
Let d(s) = 5*s**2 - s - 1. Let m be d(1). Solve -7 = m*a + 2 for a.
-3
Suppose 0 = 6*l - 13*l. Suppose 5*r = 3*r - 6, -3*u = -3*r - 18. Let d = -13 + 25. Solve l*k = u*k + d for k.
-4
Suppose 2*b - g = -4, g = 3*b + 7 + 1. Let q = b + 6. Suppose 4*i - r + 3*r = 16, 5*i + 2*r - 19 = 0. Solve -i*j - q = 1 for j.
-1
Suppose -3 = -4*g + 8*g - 5*d, 0 = -5*g - d + 18. Solve g*j = -2 + 8 for j.
2
Let k be (-2 + 19)/(3/6). Let u = k + -8. Let p = u + -12. Solve 2*m + p = 4 for m.
-5
Let y be 1 + -4 + 0 + 1. Let j be 2/1 - (0 + y). Solve -j = -2*i - 0 for i.
2
Suppose 5*z = 31 - 6. Solve -z*a - 4 = -a for a.
-1
Let t(k) = k**2 - 8*k + 20. Let b be t(4). Solve -w = b*w for w.
0
Let p(n) = -2*n - 5. Suppose -2*l - 11 = 3*r, 3*l + l + 17 = -5*r. Let s be p(r). Solve -s*y = -0*y for y.
0
Let u(t) = -3*t**3 - t. Let n be u(1). Let o be ((-6)/4)/(2/n). Let d = -23 + 25. Solve -25 = -d*v - o*v for v.
5
Let b(u) be the first derivative of -u**4/4 - u**3/3 - u**2/2 + u + 1. Let a be b(-2). Suppose 3 = -c + a. Solve -6*x - c = -2*x for x.
-1
Suppose -2*i = 3*w, 2*w - i = 4*i + 19. Solve 0 = -w*g - 3*g + 15 for g.
3
Suppose 90 = 5*w - o, -5*w + 2*o = -76 - 14. Solve 0 = 5*i + w + 2 for i.
-4
Let u(g) = -g**3 - 2*g**2 - 3*g - 2. Let w = -5 - -3. Let x be u(w). Let b(o) = -o + 2. Let v be b(0). Solve 2*r + x = -v for r.
-3
Suppose -4*o + 4 = h - 0*o, -5*h - o = 18. Let l = 7 + -10. Let f = l - h. Solve 2*z + 5 = -f for z.
-3
Let d(j) = -j**2 - j + 1. Let k be d(3). Let r be ((-12)/3)/(-4)*-1. Let u = r - k. Solve u = -h - h for h.
-5
Let f be ((1 - 1) + -1)/((-1)/3). Solve f*a - 5 = -2*a for a.
1
Suppose 6 = 4*r - 2*r. Suppose a + r = 2*a. Solve 4 = l - a*l for l.
-2
Suppose 5*u + 3 = -3*s + 14, -4*s + 8 = 5*u. Suppose -2*i = 2*h + i, u*i = 5*h. Let o = h + 5. Solve o*m = 2*m - 9 for m.
-3
Let b = 21 - 18. Suppose 0 = -2*a - 3*m + 7*m + 6, 4*m = 3*a - 9. Solve 0*s + a = -b*s for s.
-1
Let o(m) = m**2 + 6*m. Let t be o(-6). Solve 3*q + 0*q + 15 = t for q.
-5
Let r be 5*(-6)/(-5) + -4. Solve -5 = r*d - 11 for d.
3
Let w(g) = g**3 + 8*g**2 - 7*g + 20. Let j be w(-9). Solve 12 = -j*f - 2*f for f.
-3
Let i(v) = v - 4. Let h be i(9). Solve -h*o - 7 - 18 = 0 for o.
-5
Let f be (1*(-3 + 3))/(-1). Suppose -6 = -2*u - f. Suppose -4*p - 4*n = -56, u*n + 11 = 2*p + 3. Solve 30 = -4*g + p for g.
-5
Suppose -4*m + 5 = -3*m. Solve 0*z = -m*z for z.
0
Let a = -23 - -24. Suppose 0*j = 4*j. Solve j = -l + 2 - a for l.
1
Let t(q) = -q**3 - 3*q**2 - 3*q - 2. Let u be t(-3). Suppose 4*l + 12 = 0, 2*k + 4*l + u = 7*k. Let r = k + 3. Solve -5*c + r*c - 9 = 0 for c.
-3
Let i = 5 - 2. Let n = -2 + 7. Suppose 0*d + n*d - 20 = i*y, 0 = -2*d + 4*y + 8. Solve d*c + 6 = -2 for c.
-2
Let u(x) = x**3 - 3*x**2 - 1. Let a be u(3). Let p = 3 + a. Suppose 3*b = q + 1, -3*b + 8*b + 3 = 4*q. Solve q*i + 0 = -p for i.
-1
Suppose 0 = 5*d + 2*m - 7, -2*d = -3*d - 5*m + 6. Let o = d + -1. Solve -n - 4*n = o for n.
0
Let m = -6 + 8. Solve -q = -m*q - 5 for q.
-5
Suppose 0 = 10*u + 2*u. Solve 4*o + 5 - 1 = u for o.
-1
Let r(u) be the first derivative of u**3/3 + 4*u**2 - 3*u + 2. Let s be r(-8). Let c be (s + 2)/(1/(-8)). Solve -3*y + c*y = -25 for y.
-5
Let u(b) = b**2 + 3*b - 1. Let m be u(-5). Suppose -g - 2*d - m = -5*d, -g - 3*d = -15. Solve -g = y + 2*y for y.
-1
Suppose 5*k - 2*c - c = 24, k - 3*c = 0. Solve 2*o = -0*o - k for o.
-3
Let r be 2 - (2 - 2)/(-1). Suppose -4*i - r*f = 3*f, -5*i - 4*f = 0. Suppose 5*u - 4*l - 11 = i, -5*u + 4*l + 5 = -2*u. Solve -u*x = -6*x - 15 for x.
-5
Let c be 3 + 72 + -1 + 0. Let u be (c/(-4))/(2/(-4)). Suppose -u = -5*o - 4*s, 26 = -o + 5*o + 2*s. Solve o = -2*m - 5 for m.
-5
Let j(a) = 0 - 8*a - 4 - a**2 + 1 - 6. Let g be j(-6). Let u(o) = o - 3. Let v be u(3). Solve g*z + 0*z = v for z.
0
Suppose 5 - 13 = -2*n. Suppose -4*k = -y, -3*y = -8*y + 5*k. Solve y*q = -n*q for q.
0
Suppose -d = d - 10. Solve 0 = -d*p