3 + 14*w**2 - 13*w + 5. Let b be o(13). Suppose i - 5*c = 4, 5*i = -3*c + 6*c + 42. Suppose -6 = -b*j + i. Solve -s + 10 = -j*s for s.
-5
Let b be 4/(-26) + (-4)/(-26). Let z = 3 - -3. Let t be (b - (z - 3))*-1. Solve 2*u = u - t for u.
-3
Let z be 2/(-11) - (-2)/11. Let m be 1 - (1 - (1 - z)). Solve g + m = -3 for g.
-4
Let g(z) = -z**3 + 46*z**2 + 44*z + 149. Let s be g(47). Solve 0 = s*d + 14 + 10 for d.
-3
Suppose 10*r + 143 - 143 = 0. Solve r = 2*p + 14 - 16 for p.
1
Let p = 31 - 31. Let s be (p*(0 - -1))/(-3). Solve s*o + 2*o - 10 = 0 for o.
5
Suppose -54*j + 786 = -24. Solve 4*v + v = -j for v.
-3
Let w(i) be the second derivative of i**3 + 71*i**2/2 + 12*i + 1. Let f be w(-11). Solve -k - 1 + f = 0 for k.
4
Suppose 20 = 5*y, -n + 21 = -0*n + 3*y. Let o = n - 11. Let q = 6 - o. Solve -2*d - q = -4*d for d.
4
Let t(f) = -2*f**2 - 385*f + 6. Let o be t(0). Let j = -7 + 19. Suppose 0 = 2*y + 2*y - j. Solve 3 - o = -y*k for k.
1
Suppose -g + 3*q = -27, -2*q - 42 - 28 = -5*g. Solve -4*d + 7*d + g = 0 for d.
-4
Let t = -13 + 16. Suppose 2*a + 2*p = 46, -3*a + 39 + 30 = -t*p. Let q = a + -18. Solve -3*k + 7 = -q for k.
4
Let t be (1*10)/(1*(-10)/55). Let b = t - -62. Solve -5*o - 2 = -b for o.
1
Let o = 9 - 14. Let s be (-2)/o + 9/15. Solve -m = -s - 0 for m.
1
Let p(b) = -b**2 - 6*b + 20. Let m be p(-9). Let g be (1 - (-5)/m) + 33/7. Solve 36 = g*f + 11 for f.
5
Let k(a) = -a**3 - 3*a**2 - 2*a - 1. Let n be k(-3). Suppose d + 0*d = t - 3, -4*t + 6 = -2*d. Let c = d + n. Solve -c*q = 2*q for q.
0
Suppose -5*d - 13 = -3*o, 0*o - 5*d + 17 = 2*o. Suppose -r + 3*l - 30 = -5*r, 5*l = 2*r - 28. Let k = r + -6. Solve -k*z - 3 = -o for z.
1
Suppose 0 = 6*d - 3*d + 3*i - 48, -5*i = d - 36. Suppose -3*w = -d + 2. Solve -5*l - w = -13 for l.
2
Suppose -2*n = -2*a + 48, 2*a + 104 = -4*n + 158. Solve a = -6*b + 31 for b.
1
Let b = 52 - 37. Solve -h + 6*h = -b for h.
-3
Let z = 317 + -314. Solve 0 = 11*i - z*i - 24 for i.
3
Suppose -264*q + 266*q = 8. Solve -2*k - 2 + q = 0 for k.
1
Let r be 280/28 - (-5 + 0). Let y(p) = -2*p**2 + 31*p - 12. Let h be y(r). Solve h*n + n = -4 for n.
-1
Let g be (-1)/2 - 5/(-10). Let j = 2 - -4. Suppose g = -h - h + j. Solve -q - h*q + 4 = 0 for q.
1
Suppose 270 = 4309*b - 4300*b. Solve -3 = 27*v - b*v for v.
1
Let h be (-5)/(-1) - (-5 - -5). Suppose -2*v = 3*c + v - 27, -3*v = h*c - 35. Let r be -4 + 2 - (1 - 6). Solve -r*d + c = -2*d for d.
4
Suppose -5*x + 0 + 5 = 0. Let f be (-1)/x*-4 - 1. Solve -z - f = 2*z for z.
-1
Suppose 0*q + 3*d + 125 = 4*q, 3*q - 2*d = 95. Solve -38*v = -q*v - 9 for v.
3
Let g be 1 + (1 - (3 - 3)). Suppose 3*v - 12 = -0*v. Suppose 0 = -v*t - 3*f + 18, 3*t - 2*f - 3*f + 1 = 0. Solve -g*a + t = -a for a.
3
Let h = 34 - 29. Solve -h*z - 1 = -4*z for z.
-1
Let v(b) = b**3 + 13*b**2 - 28*b + 45. Let d be v(-15). Solve -5*i = 25 - d for i.
-2
Let o = -208 + 213. Solve 0 = o*u - 16 - 4 for u.
4
Suppose -40 = 27*d - 32*d. Suppose 0 = -2*z - 3*u - u + 48, -3*z - 2*u + 68 = 0. Solve 6*q + d + z = 0 for q.
-5
Suppose 0 = -v - 3 + 6. Let p = -14 - 8. Let n = -12 - p. Solve -5*f - n = -v*f for f.
-5
Let t(w) = w**2 - 47*w + 218. Let m be t(42). Solve 0 = 2*z + 10 - m for z.
-1
Let m(w) = w**2 - 10*w - 38. Let c be m(13). Suppose -26 = -5*q - c. Solve 4*p = -p + q for p.
1
Let m = -170 - -180. Solve -m = -28*c + 30*c for c.
-5
Suppose 208 = 11*w + 15*w. Let i(g) = 9*g**2 - 7*g - 5*g**3 - 3 + 3*g**3 + g**3. Let u be i(w). Solve 3*q + 7 + u = 0 for q.
-4
Suppose -2*x + c + 38 = 0, -20*x - 68 = -24*x + 4*c. Solve -6*l + 3 = -x for l.
4
Let s(v) = -v**3 - v**2 + 36*v - 27. Let f be s(-7). Solve -2*a = -5*a - f for a.
-5
Let y(m) = 4*m**2 - 100*m + 10. Let l be y(25). Solve 12*x - 7*x = l for x.
2
Let a = -69 + 72. Suppose a*i - 9 = 3*y, -3*y = -5*i + 3*i + 5. Solve l - 5 = -i*l for l.
1
Suppose 9*j - 14 = 7*j. Let m be 22/(-4)*(-14)/j. Suppose -m*q = -12*q + 4. Solve -3*z + q = z for z.
1
Let t = -365 + 367. Solve 6*r - t = 5*r for r.
2
Let f(r) be the third derivative of 5*r**4/24 - r**2. Let w = -81 + 83. Let z be f(w). Solve -3*n - z = -n for n.
-5
Let n be (-2)/13 - (-5 - (-252)/52). Solve -4*h + n + 20 = 0 for h.
5
Suppose 0 = -5*q + w + 4, -2*q + 4*w = -4*q + 6. Let t be (-209)/(-114) + q/6. Solve t*l + 15 = -l for l.
-5
Let b(t) = -t - 25. Let d be b(-25). Suppose -1 = 3*v + 2. Let k(q) = -3*q**3 - 2*q - 1. Let w be k(v). Solve d = w*o - 8 - 8 for o.
4
Let m = 1363 + -1345. Solve -m = 34*v - 28*v for v.
-3
Let c(b) = b**3 + 15*b**2 - 13*b + 51. Let o be c(-16). Solve 0 = 2*k - 3*k + o for k.
3
Let b(c) = -c + 17. Let l be b(11). Let p be (84/l)/(2/(-1)). Let r(f) = -f**2 - 9*f - 10. Let g be r(p). Solve g*w - 3 = w for w.
1
Let i be 32/(-160) - ((-6)/5 + 0). Solve i - 13 = 4*u for u.
-3
Let f be (12/(-7))/(((-40)/(-140))/(-1)). Solve f*a - 1 = 7*a for a.
-1
Let v be (14 + -1 - 152/(-19)) + -8. Solve -v*p + 23 = 10*p for p.
1
Suppose -634 = 2*k - 634. Solve k*x = 8*x for x.
0
Let o(l) = 2*l**3 + 6*l**2 - 3*l + 1. Let p be o(-3). Suppose 0 = -2*y - 3*d - 9, 2*y = -2*d - p + 4. Solve g + g + 8 = y for g.
-4
Suppose -2*k + 16 = 3*l, 2*k = 5*k + 3. Solve u + l = -u for u.
-3
Let x(u) = u**2 + 4. Let s be x(-2). Let l(k) = -k + 13. Let a be l(s). Solve 0*g - a*g = 0 for g.
0
Let i = 2047 - 2035. Solve 7*u + i = 13*u for u.
2
Suppose -f + 9 = 2*d + 7, 58 = 4*f - 2*d. Solve c = 5*c - f for c.
3
Let r(c) be the first derivative of -7*c + 4*c**2 + 1 - 7/3*c**3 + 1/4*c**4. Let a be r(6). Solve 10 = 3*j - a for j.
5
Let i(g) = 4*g - 5 + 0 - 2 - 4. Let b be i(4). Let z(s) = -s**2 - 3*s + 4. Let u be z(-4). Solve u = -l + b*l for l.
0
Suppose -5*j + 4 = -3*j. Let i = 24 + -12. Suppose -i*u + 11*u + 4 = 0. Solve -3*f - j = u for f.
-2
Let p be -8*(0 + (-1)/2). Let i(h) = 15*h + 60. Let a be i(-4). Solve -p*d + d - 12 = a for d.
-4
Let a(t) be the third derivative of -t**4/24 + t**3/6 - 19*t**2. Let f be a(1). Solve f = 5*n - 2*n for n.
0
Let w = 22 + -7. Suppose 0*i - w = -3*i. Suppose 0 = v + i*n - 3, 0*v + 3*v - 4*n = 9. Solve v*k = 2*k + 5 for k.
5
Let l be (4 + 0 + -4)/2. Suppose -d - 4*d = 2*j - 8, l = 3*j - 2*d - 12. Solve -j = 5*o + 16 for o.
-4
Let v = -58 + 61. Suppose 0 = -2*o + 10 + 6. Let g be 61/3 + (-2)/6. Solve g = -v*h + o for h.
-4
Suppose 5*z + 161 = -4*w, 71 = z - 4*z + 4*w. Let s = z - -41. Suppose 7 = -4*d + u + 4, 0 = 5*d + 4*u - s. Solve d*i = 3*i + 12 for i.
-4
Let s be (0/(-1))/(0 + 2). Suppose i - 3*i = s. Solve -4*u + 0*u = i for u.
0
Let v(f) = -f**2 + 7*f - 6. Let g be v(6). Suppose g = 4*z + 3*x + 1 - 18, 2*z = -3*x + 13. Let c(a) = -3*a + 75. Let m be c(25). Solve -2*r + r + z = m for r.
2
Let q(h) = -2*h**3 - h. Let k be q(-1). Solve -7*d = -k*d - 4 for d.
1
Suppose 2*k = -2*k - 216. Let q = k - -58. Solve q = 2*u - 4 for u.
4
Let y be (-41 + -13)/9 - (-1 - 9). Solve -86 = 18*x + y for x.
-5
Let d(u) = 2*u**2 + 127*u + 94. Let s be d(-63). Solve -s*v + 25 = -36*v for v.
-5
Let y(a) = 9*a - 18. Let f(d) = -10*d + 18. Let v(m) = 5*f(m) + 6*y(m). Let u be v(6). Suppose u*x = -0*x. Solve 5*o + 0*o + 15 = x for o.
-3
Let u = 56 - 53. Suppose -4*b + 69 = 5*i - 1, -u*i + 6 = 0. Solve -3*x + b = -0*x for x.
5
Let a = -247 + 171. Let q = a + 76. Solve q*d - 4*d + 12 = 0 for d.
3
Let c be -18*(-6 + 2)/12. Suppose 3*o - 30 - c = 0. Solve 2*m - o = 5*m for m.
-4
Suppose 0*w + 9 = 3*w. Suppose -w*q = -o - 18, -2*q - 3*o + 23 = -0*o. Let i be 3/6*8*2. Solve 5*d + q + i = 0 for d.
-3
Suppose -179*o + 20 = -174*o. Solve 9*y + 20 = o*y for y.
-4
Let z = -144 - -144. Solve -6*f - 11 - 13 = z for f.
-4
Let c(u) = -18*u - 15. Let i be c(-2). Solve -2*j - 5*j = -i for j.
3
Let i(t) be the third derivative of t**6/120 + t**5/12 - t**4/24 - t**3/6 - 16*t**2. Let x be i(-5). Solve -x*a + 0*a - 12 = 0 for a.
-3
Suppose -6*j + 2*j - 4 = 0. Let i = j + 2. Let k be 1*(i + 6/3). Solve s - k = 4*s for s.
-1
Let q be 1/(65/(-20))*39/(-6). Solve 13*t + 60 = -q*t for t.
-4
Let f be (-6)/(-2)*(-7)/(56/(-40)). Solve f = -j + 20 for j.
5
Let r = 18 + -47. Let b = 31 + r. Solve b*z + 3 = -5 for z.
-4
Let k(u) = 3*u - 8. Let j be k(6). Suppose -j = -d - 5. Suppose -63*l + 58*l + 10 = 0. Solve -3*i + d = l*i for i.
1
Suppose 4*l + x - 17 = 6*x, -l = 3*x. Let k be -3 - (2 + -3) - (l + -7). Solve 8*d = 10*d + k for d.
-1
Let q