 d(i) = i + 10. Let a be d(-7). Suppose -a = -0*z + z. Let h be z/(1/(-1)*1). Solve h*l = 2*l for l.
0
Let u(v) be the second derivative of -v**4/12 - 5*v**3/6 + 4*v**2 - v. Let q be u(-7). Let k = q - -11. Solve g - k = -2 for g.
3
Let s be 4/(-2) + (-12)/(-2). Let r = -377 - -380. Solve b - s*b - r = 0 for b.
-1
Let b be ((-5)/10)/((-3)/(-36)). Let h = -15 - b. Let t = -6 - h. Solve l + 2 - t = 0 for l.
1
Let z(s) = -14*s + 14. Let c be z(-4). Let v = c + -67. Solve -4*x = v - 11 for x.
2
Let g = -43 - -75. Suppose 3*i = 5*j + 26 - 11, -4*j - 3*i = -15. Suppose -r + j*k = -3*k - 16, -5*k = -3*r + g. Solve -11 = -5*u + r for u.
3
Let v(z) = 3*z. Let i be v(1). Let y(t) = -t**3 - 3*t**2 - 2*t + 2. Suppose 2*x - x - 2*d = 0, -9 = 4*x + d. Let l be y(x). Solve -l*b = i*b for b.
0
Let a = 31 - 23. Suppose i - 19 = a. Let l = i + -24. Solve -2 = l*r + 1 for r.
-1
Let a = 14 + 4. Let b = a - 14. Suppose 0 = -4*r + 4*i + 16, -2*r - 4*i - b = -0*r. Solve -2*h = r*h for h.
0
Let r = -164 - -170. Let w(g) = 2*g**3 - 4*g**2 + 2*g + 2. Let y(q) = -q**3 + q**2. Let x be y(-1). Let j be w(x). Solve -j*m = -3*m - r for m.
2
Suppose 42*c = 35*c + 91. Solve 5*i = 38 - c for i.
5
Let c be (216/8)/(-3) - -45. Solve -c = -6*v - 3*v for v.
4
Let b = -8 + 7. Let i be (b/2)/(4/(-144)). Suppose -2*k = -4*u + i, 6*u = 2*u - 2*k + 14. Solve u*a - 8 = -24 for a.
-4
Suppose -10*p = -15*p + 20. Suppose -5*w + 18 = -z, z - 5*w + 2 = -p*w. Solve z*o = -o - 12 for o.
-4
Let j = 657 - 651. Solve -12 = -6*w - j for w.
1
Let q(r) be the third derivative of r**6/120 + r**5/6 - 5*r**4/12 + 11*r**3/6 + 29*r**2. Let g be q(-11). Solve g = 4*v + 4 - 12 for v.
2
Let j = -554 - -562. Solve j + 4 = 4*k for k.
3
Let w = -21 - -41. Suppose -w = 3*v + 67. Let z = -25 - v. Solve -z*u = -2*u for u.
0
Suppose 5*o = -4*j - 10, 0 = -4*j - 191*o + 189*o - 4. Solve j = 20*n - 6*n - 28 for n.
2
Suppose 52 = 13*g - 9*g + 4*r, 0 = 5*g - 4*r - 38. Solve 4*j + g = -j for j.
-2
Let p be (1/2)/(1/6). Let g(y) = y**2 - 4. Let a be g(-3). Let b(x) = x**3 - 4*x**2 - 2*x - 3. Let r be b(a). Solve p*n + n + r = 0 for n.
-3
Suppose -3*h + h - 64 = -2*p, 5*h + 76 = 2*p. Let q = p - 28. Let m be 4 - 0 - (2 + 0). Solve 0 = -j + m - q for j.
2
Let d = -209 - -210. Solve -4*u = -5*u + d for u.
1
Suppose -6*t + 58 = -t + 4*p, -3*t + 28 = -p. Solve 4*f - t = 2 for f.
3
Let o = 4 - -5. Let s(m) = m**3 - 9*m**2 + m + 2. Let r be s(o). Let c = r - 6. Solve -a = -c*a - 4 for a.
-1
Let f(y) be the third derivative of y**4/24 + 2*y**3 + y**2. Let u(q) = -q**3 - 7*q**2 - 4*q + 7. Let d be u(-6). Let g be f(d). Solve g = -5*t - 13 for t.
-4
Let f(g) = 3*g**2 - 2*g. Let k be f(2). Let v(c) = -c**3 + 8*c**2 + 5. Let h be v(k). Let b = 217 + -214. Solve -h*a = -b*a - 2 for a.
1
Suppose 0 = 5*a + 34 + 26. Let w(j) = 2*j**2 + 25*j + 12. Let f be w(a). Solve l = -f*l for l.
0
Suppose -30 = -8*l + 5*l + t, -t = 3*l - 36. Solve -l*c + 6*c = 20 for c.
-4
Let x(a) = a**3 - 18*a**2 + 33*a - 21. Let u be x(16). Let k be (36 - (u + 5))*2/6. Solve -4*f + k = -f for f.
4
Suppose 2*l - 16 = -4*u, 28*u + 16 = 5*l + 30*u. Solve 0 = -3*f + l*f + 2*f for f.
0
Suppose l - 56 = 6. Suppose 0 = w + 2*m - l, 0 = 4*w - 3*m + m - 208. Suppose 53*n = w*n - 5. Solve 0 = -0*z + n*z + 20 for z.
-4
Suppose 3*i + 3*b - 50 = 5*i, 0 = 3*i + b + 86. Let y be (-92)/i - -2 - 2/7. Solve 0 = y*m + 3 - 18 for m.
3
Let s be (2 - -1)/3 - -2. Let a = 27 + -20. Let r(d) = d - 5. Let b be r(a). Solve 0 = -s*o + o + b for o.
1
Let d = 2903 + -2885. Solve d*x + 57 = -x for x.
-3
Let c = 32 + -16. Let a be 0/(-2 - c/(-4)). Solve a = -2*p - 1 - 1 for p.
-1
Let n(s) = s**3 + 6*s**2 + 2*s - 1. Let a be n(-3). Let x = a + -12. Suppose 4*i - 24 = -3*r, 4*r + 2*i = 14 + x. Solve r*k + 15 = -k for k.
-3
Let k(g) = g. Let z be k(2). Let c(t) = 77*t - 763. Let h be c(10). Solve h*b = z*b for b.
0
Let r(a) = -6*a - 81. Let t(c) = c + 16. Let l(j) = 2*r(j) + 11*t(j). Let o be l(9). Let x = o - 1. Solve 3 = x*m + 23 for m.
-5
Let d be (140/(-16) - 0)*-4. Let q be 575/d + 8/14. Solve 5*z - 8 = q for z.
5
Let b = -6260 + 6260. Suppose -5*i + 6 = -9. Solve b*m + 3 = i*m for m.
1
Let g = 1 + 1. Let r be g/(-6) + 348/18. Let t(z) = -2*z**2 + 112*z + 119. Let u be t(57). Solve 0 = -u*i - r - 6 for i.
-5
Let v be 2/(-6) - (-20)/6. Let k = -1592 + 1593. Solve -k = v*u - 4*u for u.
1
Suppose z + 4*w + 4 = 0, -2*w + 11 - 3 = 3*z. Let m(q) = -q**3 - 2*q**2 - 3*q - 3. Let c be m(-3). Solve z*g + 5 = -c for g.
-5
Suppose -g + 20 = 3*g. Suppose -g*d = 3*x - 27, -x = 2*d - 4*x - 15. Let m = d + -3. Solve 0*b = -b + m for b.
3
Let q(m) be the second derivative of m**3/3 + 3*m**2 + 3*m. Let n be q(-2). Let d = 3 - 3. Solve d = n*a - 7*a for a.
0
Let o = 223 + -130. Suppose 4*i - 2*l - 66 = -l, 4*l - o = -5*i. Solve 3*r - 2 = -i for r.
-5
Let h(k) = k**2 + 4*k + 5. Let i be h(-2). Let d be 1/1*-1 - -4. Let v = 58 + -58. Solve v = -d*u + 2 + i for u.
1
Suppose 4*y = -507 + 519. Solve -4*g + g - y = 0 for g.
-1
Suppose -4*c + 6 + 22 = 0. Let g be 62/c - (-5)/35. Suppose -5*n + 15 = 0, 0 = -2*z + 3*z - 4*n + g. Solve -z*x + 12 = x for x.
3
Let d = 281 - 275. Solve 5 + 25 = -d*i for i.
-5
Let i = 31 - 26. Suppose i*k + 20 = 4*f + 46, 2*k = -f. Solve 3*t + k = 5*t for t.
1
Let w(k) = 12*k**3 - 3 + 2*k - 3*k - 7*k**3 - 4*k**3. Let a be w(2). Solve -a*f + 0*f - 15 = 0 for f.
-5
Let j be 6/(-3)*(0 + -2). Let m(r) = r**2 - 171. Let d be m(13). Let y be 3/d*(-8)/j. Solve 0 = -2*i + i - y for i.
-3
Suppose -12 = 2*k - 11*x + 7*x, k = -5*x + 29. Solve -q - k*q - 25 = 0 for q.
-5
Let q = 96 + -95. Let f be 1*(2 - (-4)/1 - q). Solve 0 = -k + f*k + 8 for k.
-2
Let f(p) = -p**3 + 12*p**2 + 14*p - 8. Let a be f(13). Solve -a*h + 6 = 1 for h.
1
Let s(p) = 4*p + 113. Let t be s(-24). Solve t*b + 29 = -5 for b.
-2
Suppose 92 = 5*m + 2*v, 53 = 3*m + v - 2*v. Suppose -9*h = m*h - 7*h. Solve 0*k + k + 2 = h for k.
-2
Let q(r) = -r**2 - 11*r - 20. Let n(d) = -5*d - 8. Let w be n(0). Let u be q(w). Solve -6*g + 4*g = u for g.
-2
Suppose -5*f = -2*f. Let a(n) = n + 11. Let c be (11/(-2))/((-3)/(-6)). Let d be a(c). Solve f = -d*s - s for s.
0
Let d(j) = -3*j + 21. Let w be 3*(-1 - 30/(-9)). Let o be d(w). Solve 4*z + 8 + 12 = o for z.
-5
Let p(u) = -3*u**2 + 14*u + 6. Let w(q) = 4*q**2 - 15*q - 7. Let i(l) = 3*p(l) + 2*w(l). Let d be i(12). Solve 0 = 2*c - d - 6 for c.
5
Suppose -3*a - 10 = -5*a. Let z = 489 + -488. Solve a*s = z + 9 for s.
2
Suppose -3*r - 11 - 43 = 0. Let q be ((-12)/r)/((-6)/(-45)). Suppose -p + 2*n = 0, q*p = n - 6*n + 15. Solve h = -3 - p for h.
-5
Let w = 1989 - 1958. Solve w*s - 73 = -11 for s.
2
Let j(x) = -x**3 + 5*x**2 + 7*x - 3. Let u be j(6). Suppose u = s, 20 + 11 = -5*t + 2*s. Let r = t + 25. Solve 0*i + r = 5*i for i.
4
Let z(k) = -k**3 - k + 9. Let m be z(0). Let i = m - 7. Suppose i*l + 2*b + 8 = l, 0 = -5*l - 4*b - 16. Solve 3*s - 10 + 4 = l for s.
2
Suppose -t - 3 = 0, l + 20 = -5*t + 7. Suppose l*m = -0*m + 6. Solve 9 = -m*u - 0 for u.
-3
Suppose -6*d + 128 = 116. Solve 4 = d*v - 4 for v.
4
Suppose -3*m + 4*j + 26 = 0, -j = 2*m - 5*j - 24. Suppose 0 = 3*k, 0 = -2*q - 5*k + 2 + m. Solve -l - q*l + 12 = 0 for l.
4
Let m be (2/(-3))/(2/123). Let d = m + 42. Solve -s = d + 3 for s.
-4
Suppose 3*v - 82 = -229. Let p = v + 67. Solve p = -4*y - 2 for y.
-5
Let v(x) = -x**2 + 6*x - 2. Let q be v(5). Let d(t) = 11*t**2 - 9*t - 24. Let g be d(2). Solve g = q*i - 2*i for i.
2
Let c(v) = -7*v - 65 - 43 + 149 - 71. Let s be c(-6). Solve s = 2*h + 6 for h.
3
Suppose -14*q = -608 + 216. Solve 9 = -31*o + q*o for o.
-3
Let x(s) = 4*s**2 + 17*s + 16. Let d be x(-1). Solve -3*a - d*a = -6 for a.
1
Suppose -3 = -3*a - 9. Let o be 1*-3*(a - 4/(-6)). Solve 0 = -o*i + 14 - 2 for i.
3
Let r(s) = 8*s - 8. Let b be r(3). Suppose -b = -4*v - 3*g, -2*v - 3*v - 2*g = -20. Suppose 0 = 5*y + 25, 2*o - 3*y = -5*y. Solve m = o*m + v for m.
-1
Let j = 0 + -3. Let l = -1 - j. Let w be 8/3 - l/3. Solve k - w*k = 1 for k.
-1
Let i be (-4)/(-6) + 2/(-3) - 0. Solve -3 + i = p for p.
-3
Suppose 30 - 10 = 10*x. Suppose -k - 10 = -4*a, -2*a - x = -6*k + 2*k. Solve -m = 1 + a for m.
-4
Let u be 2*(45 + -44)/((-1)/(-2)). Solve 39*q = 38*q - u for q.
-4
Let g = 14 + -16. Let o be 4/(g - (-30)/9). Let l be 2/(-9) + 22/18. Solve