 3*o - 0. Let f(s) = 2*s + 2. Let w be f(o). Solve -20 = -w*a + 4*a for a.
-5
Let f be 1/(-5) + (-130)/(-25). Suppose -4*l - 16 = -f*y, -2*y - l = -6*l - 20. Solve w = -y*w for w.
0
Let b be 10/(-45) - 94/(-18). Suppose 0 = a + 3*a - 32. Let o = 9 - 6. Solve -b*w = -o*w + a for w.
-4
Let t(a) = -33*a**3 - 2*a**2 - 10*a - 9. Let n be t(-1). Solve 13*r + 7 = -n for r.
-3
Suppose 5*z + 20 = -i + 1, 0 = 3*i - 4*z - 19. Suppose -9*w + 14*w = 2*g + 17, -4*g - 3*w = -31. Solve s - i = g for s.
5
Let h be (96/20)/(21/35). Solve 3*s + h = s for s.
-4
Let s(m) be the second derivative of m**4/12 - 5*m**3/3 + 17*m**2/2 + 8*m. Let g be s(8). Solve -2 = -h - g for h.
1
Suppose 8*p + 37 = 5*m, 2*m + 15*p - 11*p = 22. Solve m*n = -6*n + 30 for n.
2
Suppose 0 = 8*i + 214 + 362. Let g be 4/(-6) - 48/i. Solve g = -2*a - 3 + 13 for a.
5
Let t(a) = a**2 - 15*a + 26. Let j be t(13). Let g be (-3 - (-5 - j))*3. Solve -x = x + g for x.
-3
Let v(q) = -26*q - 624. Let l be v(-24). Let i = -5 + 8. Solve l*k + i = k for k.
3
Suppose 4*y - 16 = 0, -5*z = 2*y - y - 14. Let k = -102 + 126. Suppose k = 5*v + 2*o, -z*v + 2*o = 5*o - 3. Solve -4 = -c - v for c.
-2
Suppose 0*x + 45 = -5*x. Let v be (-6)/x - 128/(-6). Let z = -16 + v. Solve -i + 25 = -z*i for i.
-5
Let v be 48/9 + 5/(-15). Let l be 56/20 + v/25. Solve l = -4*s - 1 for s.
-1
Let i = -1140 - -1143. Solve -3*m - 24 = i*m for m.
-4
Let s(p) = -p**2 - 7*p + 9. Let f(t) = t**3 + 6*t**2 + 2*t + 4. Suppose -m = 12 - 6. Let w be f(m). Let h be s(w). Solve 5*b - 24 - h = 0 for b.
5
Suppose 0 = -3*v - 1 - 11. Let q(r) = -r**2 - 6*r + 4. Let f be q(v). Suppose f + 3 = 3*d. Solve d = -0*c - c for c.
-5
Let o(u) = -13*u - 6. Let j be o(-1). Solve 1 - 22 = -j*l for l.
3
Suppose 98 + 17 = -5*o. Let s = -23 - o. Solve 5*z + 5 + 0 = s for z.
-1
Suppose -3*p + 5 = u - 0*p, 5*p = -3*u + 11. Suppose 72 = -2*q - u*q. Let x = q - -21. Solve x*c = -c for c.
0
Let a be (-6)/(-21) - (5448/28)/2. Let x = a + 97. Solve x = r + 5 - 0 for r.
-5
Let f = -864 - -873. Solve -31 + 4 = f*u for u.
-3
Let k = -38 + 26. Let x be (-3)/k*12/21*7. Solve -f - x = -0 for f.
-1
Let i be (-8*(-3)/20)/((-10)/(-25)). Solve -9 - i = 4*l for l.
-3
Let h(p) = -p**3 - 5*p**2 - p + 4. Suppose -2*o + r = -3, 2*o - r - 3*r = -12. Suppose c = -o*y + 11, 5 - 14 = c - y. Let j be h(c). Solve -v = -4 + j for v.
-5
Suppose 0 = 2*b - 3*d + d, 3*b = -3*d + 6. Solve -b = 2*c + 5 for c.
-3
Let o(k) = -k**3 - 3*k**2 - k + 4. Let a be o(-3). Suppose -460*p + 461*p = 2. Solve a*n = p*n + 10 for n.
2
Let k = -78 + 148. Let c = k + -66. Solve -c*d = d for d.
0
Suppose 36 = 2*u + 4*q, -83 = -5*u - 5*q + 2*q. Solve -u = -6*l - 2*l for l.
2
Let s = -65 + 15. Let y = s - -50. Solve -5*f - 5 - 15 = y for f.
-4
Let r(q) = q**3 - 11*q**2 + 4*q - 186. Let l be r(12). Solve 3*y = -l - 3 for y.
-3
Let b be 8 + 9/(-6)*10/15. Solve -b + 11 = -4*h for h.
-1
Let s = -70 - -74. Solve 3*j = -j - s for j.
-1
Let i be (2 - 0) + -3 - -4. Suppose -i = -6*r + 15. Solve r + 6 = -3*n for n.
-3
Let u = 63 + -40. Suppose 0 = -n + 5*n - 76. Let h = u - n. Solve -h*w + 6 = -w for w.
2
Suppose c = -2, t - 2*c + 4*c = 0. Let d = 3 - t. Let z be d/5 + 4/20. Solve i = -z*i for i.
0
Let n(x) = 36 + 36 - 5*x + 26 - 80. Let s be n(3). Solve 3*k + s = 12 for k.
3
Suppose 0 = 1480*a - 1478*a - 10. Solve -6*v = -a*v - 1 for v.
1
Suppose -17*t + 610 = -70. Solve -12*y = -2*y + t for y.
-4
Suppose -2*x - 5*r = -6*x - 17, 20 = 4*r. Let i be 3/5 + 938/70. Let q = i + -9. Solve -x*b - q + 15 = 0 for b.
5
Let x(r) = 3*r + 286. Let k be x(0). Let w be k/65 + 2/(-5). Suppose 3*h + 3 = -3*a - 3, w*a - h = 2. Solve a = -4*z + z for z.
0
Suppose -5*c = b + 7 - 2, 15 = 3*b. Let j be -7*c*(-5)/(-35). Suppose 0*z + j = z. Solve 0*k = -z*k for k.
0
Let j be 3/7 - 585/91. Let w be (-31)/2 - 15/(-30). Let r be 208/20 - j/w. Solve r = 2*t + 4 for t.
3
Let i(c) = -c**3 - 11*c**2 - 9*c + 12. Suppose -33 - 27 = 6*y. Let j be i(y). Solve -3 = -j*g + 5*g for g.
-1
Let g be (8/12)/(8/60). Let t = g - 6. Let q be -6*(2/3)/t. Solve 3*f - f = q for f.
2
Let j(i) = 4*i + 16. Suppose -4 + 12 = -2*m. Let a be j(m). Solve 2*t = -a*t - 2 for t.
-1
Suppose a - 4*a + 33 = 0. Let n be 8/24*31*9. Let v = n - 91. Solve v = -3*g + a for g.
3
Let a(d) = d**2 - 10*d + 10. Let v be a(10). Let p be 5 + (4/v)/(14/(-70)). Solve 2*h = h + p for h.
3
Suppose -6*g + 2*g = -36. Solve -4*y = -g*y + 20 for y.
4
Suppose 4 = 17*p - 98. Solve 8 - 2 = p*s for s.
1
Let l be (63/(-18) - -2)/(3/(-14)). Solve 10*w = -7*w + l*w for w.
0
Let h(b) be the third derivative of b**4/6 - 16*b**3/3 - 17*b**2. Let j be h(8). Solve j*t - 5*t - 25 = 0 for t.
-5
Let s = -173 + 178. Solve s = 3*m + 2 for m.
1
Suppose -5*b + 6 = 4*v, -1 = v - 0. Let z be (40/(-7))/(2/(-7)). Let x = z - 17. Solve -b*n + x = -n for n.
3
Let n be 30/2 - 2 - 7. Solve 7*g - n*g - 4 = 0 for g.
4
Let z(a) = -2*a + 12. Let n be 8 + (1 - 16/4). Let l be z(n). Suppose -l*s - 42 = -5*k, -k + 0 = -2*s - 2. Solve -3*b = 2*b - k for b.
2
Let k = 366 + -362. Let a = -3 + 5. Suppose -k = -a*d + d. Solve d = -m - m for m.
-2
Let t(s) = 2*s**3 - s**2 - 2*s - 3. Let m be t(-2). Let r = m + 0. Let o = 19 + r. Solve o = 4*q - 6*q for q.
0
Let p(f) = -f**2 - 12*f - 3. Let g be p(-12). Let t be (7 + -9)*g/2. Suppose 2*m = t*m. Solve m = -z - 4 + 9 for z.
5
Let z be 12/30 + (-36)/(-10). Solve -8*i + 12*i + z = 0 for i.
-1
Let u(x) = -x**2 + 5*x. Suppose 0*l + 11 = -l + 3*v, -v + 9 = l. Let m be u(l). Solve 0 = o - 9 + m for o.
5
Let w(y) = y**2 - 14*y + 2. Let k be w(10). Let a = k - -38. Solve a = 4*v + 1 - 17 for v.
4
Let s = -17 - -21. Let y = 5 - s. Solve 3*c - 8 - y = 0 for c.
3
Suppose -255 = 5*k - 10*k. Suppose m = -5*d + 72, k = 3*d + d + 3*m. Suppose d = 3*a - 15. Solve -s + a = s for s.
5
Suppose 26 = 4*s - 2*d, 86 = 5*s - 5*d + 66. Solve -s*p - 12 = -5*p for p.
-3
Let s = -31 - -31. Solve -3 = 3*h - s for h.
-1
Let a = -24695 + 24698. Let l be 28/5 - (-4)/10. Solve -3*c - a = l for c.
-3
Suppose -43 = n - 47. Solve n*x - 7 = 1 for x.
2
Let l be (-1)/(-2) + (-1)/2. Let h = 2963 - 2961. Solve l = n + h*n for n.
0
Let n(x) = -x - 62. Let s be n(-64). Solve -s*v + 4 = -4*v for v.
-2
Let u = -106 + 100. Let r be u/4*110/(-33). Solve -8*j - 6 = -r*j for j.
-2
Let a be (-18)/(-5) - 2/(-5). Let u(y) be the first derivative of 2*y**3/3 - 3*y**2 + 3*y - 28. Let n be u(a). Solve 9 = 5*p - n for p.
4
Let q(o) = 6*o**2 - 3*o - 3. Let c be q(-3). Let w be (8/5)/(c/150). Solve -w = l - 3*l for l.
2
Let j(c) = c**2 + 15*c + 41. Let q(d) = -d. Let k(n) = -j(n) + 2*q(n). Let p be k(-14). Solve 4*h + p - 5 = 0 for h.
1
Let s = -41 + 13. Let l be 24/s - (-3)/(-21). Let m be 4/2 + (-1)/l. Solve 2*b - m + 5 = 0 for b.
-1
Let m be ((-140)/25 + 4)*-15. Suppose -25*x = -m*x - 3. Solve -x*h - h + 8 = 0 for h.
2
Let r = 543 + -519. Solve r = 18*k - 10*k for k.
3
Let s(l) = 3*l**3 - 17*l**2 - 5*l + 1. Let i be s(6). Solve -i*z - 5 = -26 for z.
3
Suppose 0*o - 16 = -4*o. Suppose -4*y = 2*g - 86, g - 4*g + 9 = 0. Suppose -w = o*w - y. Solve -r - r - w = 0 for r.
-2
Suppose 0 = 93*f - 101*f + 56. Solve 0 = -4*h + f*h + 9 for h.
-3
Let a(f) = f**3 + 10*f**2 + 9*f + 8. Suppose 3*y - 5*o + 12 = 0, -y - 4*o = -0*o + 21. Let q be a(y). Solve 2*z - q = 2 for z.
5
Let p be (-34)/((-26)/(-10) - 3). Suppose j = -5*u - 4*j + p, -u = -5*j - 23. Solve 0 = 5*l - 3 + u for l.
-3
Suppose w = -2*z + 8 + 11, 2*z = -3*w + 17. Suppose -d + z = -0. Solve 1 = -3*a + d for a.
3
Suppose -k + 3 = -0*k. Let d be k*3/(-9)*1*0. Solve -4 = b - d for b.
-4
Suppose -34 = -5*m + 2*u - 12, 3*u + 12 = 4*m. Let r be ((-3)/m)/((-1)/4). Let j(o) = 7*o + 59. Let s be j(-8). Solve r*d + 3 + s = 0 for d.
-3
Let b(j) = -j**3 + 10*j**2 - 17*j + 57. Let y be b(7). Solve 3*d - 82 + y = 0 for d.
-1
Suppose 46*f - 246 + 62 = 0. Solve 0 = -11*v + 15*v + f for v.
-1
Let t be (-4)/(-10) - 6/15. Suppose t*a + 3*a = -c - 23, -4 = -c. Let b(u) = -u + 10. Let l be b(a). Solve 0 = -4*d - l - 1 for d.
-5
Let y(u) = -u**3 + 4*u**2 + 6*u - 5. Let d(i) = i**3 - i - 1. Let o be d(0). Let k be (-189)/(-36) + o/4. Let h be y(k). Solve p + 2 + h = 0 for p.
-2
Suppose -2*y = -0*y. Suppose -n - n + 4 = y. Solve n*f - 1 - 3 = 0 for f.
2
Suppose 4*t = -3*v - 10, -4*v = 3*t + 1 + 3. Solve -2*n + 8*n - v*n