Let d be w(-3). Let s = 7 - d. Suppose 0 = -s*q - q. Solve 0 = -r - 5 - q for r.
-5
Let o(r) = 2*r + 7. Let f(h) = h - 14. Let a be f(12). Let t be o(a). Solve -6 = t*c - 0 for c.
-2
Let t(g) = 11*g**3 + 7*g**2 - 13*g - 6. Let y(w) = 7*w**3 + 5*w**2 - 9*w - 4. Let b(o) = -5*t(o) + 8*y(o). Let i be b(-6). Solve -3 = i*d - 19 for d.
4
Let j(p) = 2*p + 22. Let y be j(-9). Let q = y + -2. Suppose 2*o - q + 0 = 0, -g = 3*o - 5. Solve -g*d - 3*d + 20 = 0 for d.
4
Suppose 0 = 2*i - 8, -2*p - 3*p - 169 = -i. Let s = 39 + p. Solve -4*j + s = -2 for j.
2
Let g = 1 - -1. Suppose -g*l = -0*l - 6. Suppose 2*z + 4*i - 4 = -0*i, 3*i = 5*z + 3. Solve z = -h - l + 4 for h.
1
Let t = -172 - -177. Solve 48 = t*u + 53 for u.
-1
Let b = -12 + 20. Let w = b + -6. Solve k + 3 - w = 0 for k.
-1
Suppose -q - 4 = -5*k + 47, 0 = -3*k + 5*q + 35. Solve k = 3*u + 19 for u.
-3
Suppose 21*c - 32 = 13*c. Let q(y) = -y**3 + 7*y**2 - 4*y - 5. Let z be q(6). Suppose 0 = z*v - 9*v + c. Solve 0 = 2*l + v*l + 8 for l.
-2
Let i(a) = -6*a - 20. Let m = 16 + -24. Let b be i(m). Let j = b - 24. Solve 0*n - n = j for n.
-4
Suppose -9*d = -11*d + 12. Solve 0 = -d*l + 10*l + 8 for l.
-2
Let k(h) = h**3 + 12*h**2 - 12*h + 20. Let o be k(-13). Suppose o*i = 4*i + 6. Solve 0*v = -i*v + 8 for v.
4
Let v be ((-2)/(-6))/((-56)/(-168)). Solve -3*a - 11 = v for a.
-4
Let g(w) = -w - 9. Let p be g(-15). Solve -y - 2*y + p = 0 for y.
2
Let l(c) = c + 6. Let a be l(-4). Suppose -a*x + 56 = 2*x. Let r be x/4 - (-8)/(-16). Solve 3 = 2*i - r*i for i.
-3
Let n(q) be the second derivative of 15/2*q**2 + 10*q + 1/6*q**3 + 0. Let w be n(0). Solve u - w = 6*u for u.
-3
Let g(o) = o**3 - 12*o**2 + 10*o + 5. Let z be g(11). Let v be (-5)/15*z*2. Solve -u = -v*u - 6 for u.
-2
Suppose -54*w + 14*w + 40 = 0. Solve -h + w = -2 for h.
3
Let o = -419 + 429. Solve 0 = o*v - 0*v + 30 for v.
-3
Let v be 1*-2*3/(-9 + 6). Suppose 5*m = 3*t + 2 + 4, 4*m = -t + 15. Suppose m*k - 6 = -2*x, 2*x + 12 = -v*x. Solve -k = -2*w - 0 for w.
2
Let u be -7 + (-1 - 0) + 2. Let k = u - -11. Suppose -34*f = 4*f - 114. Solve 28 = k*z + f for z.
5
Let q(v) = 12*v**3 + v. Let y be q(1). Let w = y + -11. Solve w*u - u = 0 for u.
0
Let x be 155/30 + -3 + (-1)/6. Suppose 0 = -5*d + 17 + 18. Solve -d*p = -x*p for p.
0
Suppose 2*z = -5*v + 8, -3*z - 7 = -4. Solve -6 + 4 = -v*j for j.
1
Let c = -141 + 147. Solve 36 = -6*j + c for j.
-5
Suppose -d = 4*v - 56, -3*d - 5*v - 205 = -8*d. Suppose -3*i - 36 = -3*x, -x - 3*i = x - d. Solve 7*u - 3*u + x = 0 for u.
-4
Suppose -3*y + 13 = 2*b, 15 + 12 = 5*b + 2*y. Suppose -3*i - 11 = 3*j - 7*i, 2*j + 3*i - 21 = 0. Solve -b = j*d + 1 for d.
-2
Let u = 8 - 3. Suppose -2*i - 5*k = 4, 3*k = -u*i - k + 7. Solve s - i = -1 for s.
2
Suppose 0 = 4*z + 2*n - 28, 4*z - 28 = 155*n - 159*n. Solve -4*d + z - 27 = 0 for d.
-5
Let z be (0 + 0)/(-22 + 20). Let w(c) = c**3 - c**2 + 2. Let v be w(0). Solve -v*b + 0*b = z for b.
0
Let j be (1 + 1)/(-6)*-27. Suppose -6*f + j*f + 6 = 0. Let t be (3 - 5)*3/f. Solve g = -0 - t for g.
-3
Let z(h) = -3*h + 1 - 10*h - 10 + 11*h. Let n be z(-7). Solve n*q = 2*q for q.
0
Let x(t) = t + 1. Let a(m) = 14*m + 28. Let i(f) = -a(f) + 12*x(f). Let s be i(-10). Solve 0 = -2*p + s for p.
2
Suppose -107 = -5*r + 13. Let j = 28 - r. Solve -j*k - 23 = -3 for k.
-5
Let j = -1484 + 1509. Solve 22*d = 27*d - j for d.
5
Let c(t) = 3*t**2 + 3*t**3 - 9*t**2 + 5*t**2. Let k be c(1). Solve 0*i + 8 = k*i for i.
4
Let w be 21 + 3/(3/2). Suppose -16*y + w*y - 21 = 0. Solve y = f + 4 for f.
-1
Suppose -2*l + 3*x = -0*l - 23, 5*x = -5*l + 45. Suppose 0 = -4*o - 2 + l. Solve o*s + 2 = -4 for s.
-3
Let k be 22 + 6 + (-9)/3. Let x = 246 + -241. Solve 0*b = x*b - k for b.
5
Suppose -2*l - 32 - 92 = 0. Let t = -60 - l. Solve -3*j = t*j + 5 for j.
-1
Let p(g) = 6*g + 15. Let m be p(5). Let v = m - 45. Solve v = -3*h + 5*h - 6 for h.
3
Let j = 18 - 14. Suppose j*z + 3*z = 0. Suppose z = 4*l - l - 6. Solve -1 + l = o for o.
1
Let i(r) = -2*r**3 + 6*r**2 + 7*r - 9. Let p be i(5). Let k = 77 + p. Solve -k*c + 1 + 8 = 0 for c.
3
Let a(d) = d**2 + d - 18. Let f be a(-5). Let q be (-3 + 1)*(-1)/1. Suppose 0 = -f*m + 2*x + 12, q*m + 2*x = 3*x + 10. Solve m*u = 4 - 0 for u.
1
Suppose -20 = -21*r + 11*r. Solve 0 = 12*h + r*h + 70 for h.
-5
Let u(b) = b**3 - 3*b**2 - 12*b + 12. Let p(x) = x + 9. Let n be p(-4). Let s be u(n). Solve s*c + 2 = -0*c for c.
-1
Let h be -3 + 3 + -11 + 2. Let t(j) = j**2 + 10*j + 12. Let c be t(h). Let w be c/9 - (-8)/3. Solve w*v + 0*v - 15 = 0 for v.
5
Let d = 330 - 266. Solve -d = 2*p - 74 for p.
5
Let u(v) = -6*v**2 + 18*v + 2. Let b(i) = 11*i**2 - 36*i - 5. Let x(d) = -4*b(d) - 7*u(d). Let n be x(9). Solve -n*w = -5*w for w.
0
Suppose -4*z = 2*d + d + 5, -5*z - 45 = -4*d. Suppose 21 = 4*x + d*n + 174, 0 = -2*x + 4*n - 44. Let h = x + 47. Solve 0 = 4*a + 35 - h for a.
-5
Let j(f) = -2*f**3 + f**2 + 4*f + 10. Let m be j(-3). Let g = 65 - m. Solve 8 + 0 = -g*r for r.
-2
Let g(w) = -8*w - 165. Let q be g(-21). Solve s + 7 = q for s.
-4
Let g = 11 + -5. Suppose 5*u + g - 16 = 0. Suppose -y = u*d - 11, 0 = -0*y + y + 3. Solve -2*b = -d*b + 25 for b.
5
Suppose -3*a + 13 = 43. Let q = a + 18. Let v be (-16)/8 + q*1. Solve v = -3*m - 0*m for m.
-2
Suppose 0 = -33*x + 34*x - 2. Solve -x*y + 0 = -8 for y.
4
Suppose 10*z - 40 = 2*z. Solve -z*y - 11 - 14 = 0 for y.
-5
Let a(v) = -12 + 7*v**2 - 8*v - 5*v**2 - 1. Let o be a(6). Solve 12*z = o*z for z.
0
Let u = -917 - -922. Solve 2*a = -u*a + 3*a for a.
0
Suppose -135 = -25*g + 22*g. Let s = 50 - g. Solve -s*n = -n + 4 for n.
-1
Let r be 6/(-21)*(85/(-5) - 4). Solve -5*m + 26 = r for m.
4
Suppose -3*d + 938 = 11*d. Solve d - 34 = -11*j for j.
-3
Let i(c) = c**3 - 16*c**2 - 17*c + 23. Let m be i(17). Suppose 0 = -2*p - 4*y + 16, -2*y = -3*p - 5*y + 15. Solve p = -5*h - m for h.
-5
Let b be -8 + ((-6)/(-3) - -8). Solve -4*n = -6*n - b*n for n.
0
Suppose 295 = 36*x - 29. Solve 6*s = x*s + 15 for s.
-5
Let q = -216 - -137. Let r = -72 - q. Let m be (-4)/30*-3*30. Solve r*l - 4*l + m = 0 for l.
-4
Let m be (-2 - -2)/(1*-1). Let n be 0/(-17 + 2250/126 + (-20)/7). Solve m = 2*l - n*l - 10 for l.
5
Let z = -11 - -15. Suppose 0 = -2*a - 0*a + 4. Suppose 2 + a = 4*m. Solve -t - m = z for t.
-5
Let y = -1 + -13. Let r = y + 15. Suppose q - r = 3*v - 28, 2*v + q = 13. Solve s + 3*s + v = 0 for s.
-2
Let d(h) = 2*h**2 - 22*h + 2. Let z = -33 - -44. Let x be d(z). Solve 0 = -x*b + 10 - 0 for b.
5
Let z = 78 + -54. Let h = z + -18. Solve 0 = 3*g - 5*g - h for g.
-3
Let g = 906 + -891. Solve g = 35*t - 30*t for t.
3
Let r be (1/(-3))/(4/(-36)). Solve -r*o - 5 = -2*o for o.
-5
Let l(g) = g**3 + 7*g**2 - 7*g + 11. Let m be l(-5). Let k = -88 + m. Solve 4*f + 0*f + k = 0 for f.
-2
Let l(u) = 2*u - 10. Suppose 0 = 5*j + 5*m + 35, -5*j - 30 = -5*m + 15. Let s be 2 + -1 + j/(-2). Let p be l(s). Solve p*t = t for t.
0
Let w(l) = -l**2 + 4*l + 2. Suppose -4*r = 4*c + 2 - 6, 2*r + 4*c + 2 = 0. Let i be w(r). Solve i = -4*p + 3*p for p.
-5
Let c(r) = -4 + 2 + 3*r + 5. Let y be c(-2). Let v = y + 6. Solve v*h = 4*h + 2 for h.
-2
Let c = 22 - 18. Suppose -5*u + 1 = -14. Suppose -u*b + 5*b = 0. Solve b*p + c = -p for p.
-4
Suppose 10*j = 14*j - 8. Suppose -4*c = -j*c. Solve -4*h + c*h = 8 for h.
-2
Let a(n) = -n**3 + n**2 + 3*n + 1. Let j be a(-2). Suppose 2*w - j*y - 8 = -2*y, w = y + 4. Suppose -s - 1 = -w. Solve 4 = s*x - 2 for x.
2
Suppose -5*b = -127 - 18. Let g = b - 7. Suppose g*h - 17*h = 0. Solve h*l = -3*l + 3 for l.
1
Suppose -100 = -3*a - a. Suppose 0*y = -4*y - 2*s - 124, y + 38 = 3*s. Let m = 36 + y. Solve m*q - a = -q for q.
5
Let w be ((-2)/(-4))/(6/60). Let o be (-3 - (-102)/30)/((-2)/(-10)). Solve 0 = w*n - 3 - o for n.
1
Suppose -2*c - 4*m + 0*m = -14, -5*m + 4 = -2*c. Solve -4 = -c*j + 7*j for j.
-1
Suppose 5 = 5*o + 2*j - 103, 72 = 3*o + 3*j. Let b = o + -16. Solve h + b*h = -10 for h.
-2
Suppose -3*s - 4*i - 3 = 4, 2*s - 2*i = 0. Let k(m) = -7*m - 4. Let t be k(s). Solve -t*h - 20 = -8*h for h.
4
Let p be 24/36 - 1572/9. Let k be (-16)/36 + p/(-27). Let t(d) = -d**2 + d. Let a be t(0). Solve 2*s = -a + k for s.
3
Let f = 5 + -3. Suppose -5*g - 4*q + 26 = -15, 0 = 3*g - 3*q - 3. Solve -f*t + g*t = 0 for t.
0
Let j(p) = 5*p**3 - p - 1. Suppose -6*i + i = 5.