 4 + -6. Let u(y) be the third derivative of y**5/30 + y**4/6 + y**3/3 + 6*y**2. Let w be u(a). Solve -l - w = l for l.
-1
Suppose -134 = 7*t - 29. Let s = -26 - t. Let u = s + 12. Solve -2 = g + u for g.
-3
Let i(u) = -u**3 + 3*u**2 + 4*u - 4. Suppose -4*r + 7 = 103. Let a be (0 + 2)/((-16)/r). Let l be i(a). Solve 0 = 3*j - l*j + 5 for j.
1
Suppose 1572*s - 1573*s + 43 = 0. Solve -2*t + s - 35 = 0 for t.
4
Let f(l) = 25*l - 40. Let o be f(2). Solve 15 + o = -5*v for v.
-5
Let j be (-22)/(-4) + (-12)/8. Suppose 0 = j*w + 11 - 19. Solve 5 = -w*i + 3 for i.
-1
Let y(h) = -h + 4. Let d be y(4). Suppose -2*u + 61 = u + l, -u - 4*l + 13 = d. Suppose -u*f + 16*f + 30 = 0. Solve -f*s + 15 = -s for s.
3
Let t = -3 + 8. Let a be 14 + -15 + t/1. Solve a + 4 = -4*i for i.
-2
Let s(u) = u**3 + 7*u**2 - 6*u + 19. Let z be s(-8). Let g(l) = l**2 + 3*l + 2. Let p be g(-2). Let x be z + (1 - 2 - p). Solve 0*f + x*f + 6 = 0 for f.
-3
Suppose 0 = -5*r + 3*r - 4*a + 6, 2*a + 3 = 5*r. Suppose 0 = -0*b - 2*b + 8. Let p be (-110)/(-40) + r/b. Solve 3 = p*g + 12 for g.
-3
Suppose 5*b = 2*g + 11, -5*b - 2*g + 2 - 3 = 0. Let u be (0 - (0 - b))*2. Solve -1 = -k + u for k.
3
Let u = -1917 - -1921. Solve u*v + 12 + 0 = 0 for v.
-3
Suppose 4*z - 8*z + 656 = 0. Suppose 11*y - z = 1. Solve 5*k + y + 0 = 0 for k.
-3
Suppose -4*c = -2*k + 13 - 37, 5*k + 12 = 2*c. Suppose -11 = -a - 2*n, -n = 3*a - c - 12. Solve 5*x + a = -0*x for x.
-1
Let k = -39 + 56. Suppose 0 = 2*c - k + 3. Solve -3*s + 2 + c = 0 for s.
3
Suppose 0 = -3*d + m - 2, -12*d = -8*d + m - 2. Solve d = 2*t - t - 12*t for t.
0
Let u = -7 + 22. Suppose 87*j = 84*j - m + 16, 0 = -3*j + 3*m. Solve j*n + 3 - u = 0 for n.
3
Let x(q) = q**3 - 3*q + 2. Let h be x(3). Suppose 0 = -2*d - d - 3, 5*w - h = -5*d. Solve 0 = -w*l - 4 - 6 for l.
-2
Let l(c) = c + 8. Let n be (-1)/(-5) - (-14)/5. Suppose -n = 4*b + 13. Let p be l(b). Solve -p*z + 5*z - 3 = 0 for z.
3
Let v = -86 + 114. Suppose 0 = 5*i - d - v, -4*i - 2*d + 34 = i. Solve -i + 22 = 4*a for a.
4
Suppose -388*x = -386*x - 10. Solve 4*m + x = -m for m.
-1
Suppose 51*d = -8*d + 295. Solve 0 = -3*f + d*f - 10 for f.
5
Let z(m) = 10*m**3 - m**2 + 2*m + 2. Let t be z(-1). Let n = t - -13. Solve 0 = -x + n for x.
2
Let d = -116 + 113. Let w be 3/d*(-14 + -2). Solve -3*l = l + w for l.
-4
Let x = -10 + 17. Let b be 3 + -3 + -2 + x. Let k be 72/30*b/2. Solve -k*s - 10 = -s for s.
-2
Let y(f) = -f**2 - 9*f - 11. Let z be y(-5). Suppose -x + 27 = 5*v, -z - 4 = x - 3*v. Let k(o) = -o**2 + 4*o + 6. Let b be k(5). Solve 3*c + b = x*c for c.
-1
Suppose -2*a + 30 = 3*a. Let l be ((-26)/(-39))/((-2)/(-12)). Solve -a = l*z - 7*z for z.
2
Let g be 11 + (-3 - -1) + 5. Let j = 11 - g. Let q = j - -3. Solve q*v = 3*v - 9 for v.
3
Let v = 63 - 73. Let z be -2 - (-1)/1*0. Let d be (v/z)/(5/2). Solve 2*s = -0 + d for s.
1
Let r be (6/8)/(99/6072). Solve 0 = -12*f + r - 10 for f.
3
Suppose 0 = 3*j - 32 + 8. Let p(m) = -2*m - 9. Let o be p(-11). Let a = o - j. Solve 3*k - 4 - a = 0 for k.
3
Suppose 0 = -b - 4*b + 5*r - 5, -5*b + 10 = -2*r. Suppose -3*y + 0*x = -2*x + 2, -5*y - 2*x + 2 = 0. Solve -b = -2*h - y for h.
2
Suppose -5*k = -4*y + 3, 0 = 3*k + 24*y - 20*y - 11. Solve 3*u - 2*u = -k for u.
-1
Suppose 0 = 3*i - 7*i. Let g = i - 0. Solve -2*c - 4 = -g for c.
-2
Suppose -r - 28 = 3*b + 40, r - 16 = b. Let d = b + 19. Let j be 2*((-16)/(-4) + d). Solve 2*t - j*t + 10 = 0 for t.
5
Suppose 7 = 5*b - 3. Suppose 0 = 5*x - b*r - 48, 5*x - 2*r = -4*r + 52. Suppose n = 3*n + 2*s - x, -29 = -n + 5*s. Solve n + 6 = -5*l for l.
-3
Let m = 92 + -60. Let s = 53 - m. Let q = -17 + s. Solve -4*p + q = -4 for p.
2
Suppose -4 = -x - 4*b, -x + 3*b + 9 = 2*b. Let m(q) = q**3 - 7*q**2 - 7*q + 2. Let v be m(x). Let z(s) = s + 2. Let p be z(0). Solve 0 = 4*r + v + p for r.
-3
Suppose -24*n + 75 = -45. Solve 8*k - 3 = n for k.
1
Let s(r) = -r + 15. Let a be -1 - 5/(-5)*1. Suppose -2*u - 66 = -5*k - 4*u, 5*k + 4*u - 72 = a. Let x be s(k). Solve -2*d = -x*d - 5 for d.
-5
Suppose 0 = 5*q - 0*h + 3*h, 0 = 3*q - 3*h. Let d be 3/((-9)/(-30) - q). Solve -w + d = w for w.
5
Let c be (-9)/2*(-20)/(-15). Let n be ((-2)/(-4))/(c/(-36)). Let z = 6 - n. Solve z*x - 4 = -x for x.
1
Let t(j) = 3*j - 1. Let r be t(3). Let x = 9 - r. Let z = 1 + x. Solve 3*i = z + 10 for i.
4
Let a be ((-66)/(-9) - 4)*(-6)/(-5). Solve -13 = 3*q - a for q.
-3
Suppose -20*c = -3*c - 34. Solve 0 = -4*u + 3*u - c for u.
-2
Let g(a) = a**2 + 9*a - 12. Let d be g(-10). Let n be 3 - (d - -2) - 3. Suppose n*q = 4*q. Solve q*u = -2*u for u.
0
Let d = -48 - -51. Suppose -4*s = d*w + 8, -3*s = -5*w - 7*s. Solve -w*j - 8 = 12 for j.
-5
Let s be (2 + (-12)/10)*(-180)/8. Let j = 24 + s. Solve j = -0*p - 2*p for p.
-3
Let w = -341 - -349. Solve 6*u + 2 = w for u.
1
Suppose -22 = v - 32. Solve 0 = -5*m + v*m - 10 for m.
2
Let k be (2 - (-52)/(-10))*(-190)/76. Solve 4*h - 12 - k = 0 for h.
5
Suppose 0*j = 3*j - 6. Let t(a) = a**3 - 9*a**2 + 3*a + 12. Let c be t(9). Let u be (-3)/2 - c/(-26). Solve -j*r + 0*r = u for r.
0
Let m be (-144)/14*(-203)/58. Solve 35*g - 2 = m*g for g.
-2
Let f(b) = -61*b + 67. Let z be f(1). Solve 19*i + z = 25*i for i.
1
Suppose -2*f - 22*v + 16 = -25*v, 0 = -4*v - 16. Let j(o) = o - 1. Let m be j(1). Solve -f*q + 4*q = m for q.
0
Suppose y = 3, 3*l - 2*y + 1 = 7. Let q(t) be the first derivative of -t**2/2 + 6*t - 6. Let s be q(0). Solve -r + l*r + s = 0 for r.
-2
Suppose 0*o + 8 = 4*o. Let j = -625 + 628. Solve -j*q - 1 = o for q.
-1
Let c be (-30)/8 + 4 - 3*44/(-48). Let g(o) = -16*o - 1. Let k be g(-1). Solve 0*a = c*a + k for a.
-5
Let n(h) = -2*h**3 - 7*h**2 + 10*h - 10. Let q be n(-5). Let z be -2 - 5/(-3) - (-35)/q. Solve -4*m - 2 = z for m.
-1
Let b be 453/(-9) + ((-16)/(-12) - 1). Let j = b + 53. Solve -5 = j*d + 1 for d.
-2
Suppose 13 + 2 = 3*g - 3*r, -r = 5*g - 25. Solve g*a = 2*a for a.
0
Let o(s) = 1 + 0 - s + 2 - 2. Let d be o(1). Suppose 2*a - 2 = -d*a. Solve 4 = r + a for r.
3
Let u = 67 - 48. Let l = 21 - u. Solve 0*n - 8 = l*n for n.
-4
Suppose -2 = -2*w + 2*s, 2*s + 20 = 7*s. Suppose 2*a - w*m = 2, 2*m = 4*a + a - 5. Solve 0 = -4*u - a - 3 for u.
-1
Let m = -37 + 22. Let t = m - -17. Solve 2*g = -8 - t for g.
-5
Suppose 0 = 4*f + 4*z, 3*f + 5*z + 3 - 11 = 0. Let w be 1 + f/(8/(-10)). Suppose -w*s + 11 = -1. Solve s*l = 9 + 1 for l.
5
Suppose -4*v - 27 = -3*v. Let o be (-9)/(v/(-12)) + 8. Suppose 0 = o*p - 3*p. Solve p = 4*c - 3*c for c.
0
Let m be (3*(-7)/(-42))/((-2)/(-40)). Solve m*l - 28 = 3*l for l.
4
Suppose -13*q = -22*q. Solve 3*w + 5 + 10 = q for w.
-5
Let g = -1874 + 1877. Solve -36 = -g*u - 21 for u.
5
Let t be (-2 - -1)*-3 - 3. Let o(q) = -16*q**2 + 1 + q**3 + t - q**3 - q**3. Let l be o(-16). Solve l + 0 = b for b.
1
Let s(o) = o**2 + 13*o + 26. Let x be s(-11). Solve 9*p + 20 = x*p for p.
-4
Suppose 3*z - 1 = 11. Suppose -z*m + 9*m - w - 19 = 0, 5*w + 5 = -5*m. Solve -m*i + 2 = -4*i for i.
-2
Let c = -555 + 555. Let q = 4 - 2. Solve c*p = q*p for p.
0
Let n(a) = -a**2 + 12*a - 3. Suppose 3*b - 7 = -4*k, 2*b - 3*k = -2*k + 12. Let z be n(b). Suppose z = j - 0*j. Solve -7 = 5*l - j for l.
5
Let q = 37 + -34. Suppose 0 = 4*a + 3*l, -q*a + 0*l = -2*l. Solve w + a*w = -1 for w.
-1
Let g(p) = p**3 + 7*p**2 + 5*p - 7. Let n be g(-6). Let f be n/(-5) + (-11)/5. Let t be 2 - (-5 - (0 + f)). Solve 2*w + 13 - t = 0 for w.
-4
Let b(m) = 3*m**2 - 26*m + 22. Let x be b(8). Solve 0 = 2*q + 2 - x for q.
2
Let u(r) = 0*r**2 + 7*r - 4 - r**2 - 2. Let o be u(6). Let l be 2/(-2) - (-1 + o). Solve l = 3*c - 2*c + 5 for c.
-5
Suppose -19*o - 20*o + 1755 = 0. Solve 5 = -o*d + 44*d for d.
-5
Suppose -c + 34 = 26. Let k be 126/16 - (-1)/c. Solve -4*o = k + 4 for o.
-3
Suppose 0 = 4*y - 23 - 9. Let i(m) = m**2 - 8*m + 1. Let j be i(y). Suppose a - j = 2*p, -20 = -5*a + 3*a - 2*p. Solve -2*n + a = 1 for n.
3
Let s = 324 - 314. Solve 121*o - 126*o - s = 0 for o.
-2
Let n(a) = -3*a - 25. Let x be n(-9). Let u = -3 + 4. Suppose -2*z + 13 - u = 0. Solve x*t - z*t = 20 for t.
-5
Let u = 64 - 45. Suppose 3*q - 2*o - 2*o = 57, -q = -o - u. Let h = q + -15. Solve n + 0 = h for n.
4
Suppose 10 = 5*i - 10. Suppose 72 = -6*a + 15*a. Suppose 0 = 3*g - 7 - a. Solve i*t = -t + g for t.
1
Let w = 22 + -20. Suppose -6*s + w = -4*s. Sol