- 4*b + 1. Let m be s(-4). Let j be (m/2)/(3/30). Suppose -j*z + 14 = -11. Solve -z = y - 0 for y.
-5
Let b = -23 + 29. Suppose -16 = -b*u + 2. Solve u*f - 11 = -2 for f.
3
Suppose 0 = m + 1 - 7. Suppose 2*t = m - 0. Solve 0 = -b - 2*b + t for b.
1
Suppose x + 3*x - 80 = 0. Solve x = -3*i - i for i.
-5
Let l = -16 + 19. Let m(c) = 3 + 2 + c - 6. Let z be m(l). Solve h = -z*h - 15 for h.
-5
Let t(b) = b + 11. Let a(v) = -v**3 - 7*v**2 + 2*v + 7. Let g be a(-7). Let q be t(g). Solve -q*s + s = 3 for s.
-1
Suppose -2*g - b - 46 = 0, 0 = 4*g - 5*b + 15 + 77. Let m = g - -27. Solve -m*y - 4 = -3*y for y.
-4
Let q be (-6)/2 - (6 + -25). Solve -7*z = -3*z - q for z.
4
Suppose -2*l = -5*l + 9. Let a(v) be the third derivative of v**5/60 - v**4/12 + v**3/6 - 6*v**2. Let y be a(l). Solve -5 = -y*k + 5*k for k.
-5
Let d be (1/2)/(5/(-40)). Let t = -6 - d. Let p = 5 + t. Solve p*m + 12 = -0*m for m.
-4
Let s(t) = -2*t**2 + 8*t - 4. Let g be s(3). Solve 0*z + g*z + 2 = 0 for z.
-1
Let o(f) = 3*f**2 + 5*f + 4. Let z be o(-1). Solve 3*k + z = -7 for k.
-3
Let o(f) = -f**3 - 2*f**2 + f - 2. Let t be o(-3). Solve 1 = -b - t for b.
-5
Let r be -1 + 6*2/4. Suppose 8 = 2*i - 4*y, 5*i - y = -r + 4. Let p(x) = -x**2 + 7*x - 3. Let t be p(6). Solve i = -4*z + z - t for z.
-1
Let a = 10 + -17. Let m(d) = d**2 + 4*d. Let u be m(a). Suppose -2*t + 16 = i, 5 = 2*t - 5. Solve -3*s = -i + u for s.
-5
Suppose -z - 1 = 4*z + 2*a, 5*a + 18 = 3*z. Solve -4*k - z = -9 for k.
2
Let s be ((-25)/(-20))/(1/4). Suppose -6 + 26 = s*h. Solve b = 2*b + h for b.
-4
Suppose 3*v + 2*d - 19 = 0, -5*v - 4*d + 7 = -26. Solve -12 = -v*h + h for h.
3
Suppose 3*x + 4 + 21 = 5*z, 0 = 2*x. Solve 0 = 4*p - z*p + 5 for p.
5
Let n(c) = -c**2. Let m be n(-2). Let i(k) be the first derivative of k**4/4 + k**3 - 5*k**2/2 - 2*k - 1. Let j be i(m). Solve 3*o = j*o - 5 for o.
-5
Let g be (0/(-2))/(-1 - 0). Let q be ((-20)/(-8))/((-2)/(-4)). Suppose 5*h = 64 - 14. Solve g*w - q*w = h for w.
-2
Let s = 16 - 13. Solve 2*x + s*x = 0 for x.
0
Suppose -4*i + 4 = -5*q + 5, 5*i - 35 = -q. Solve i - 15 = 3*h for h.
-3
Let u = 107 - 102. Solve 5*m + 20 + u = 0 for m.
-5
Suppose 0 = -4*u + 5*v - 12, -5*v + 3 = -3*u - 11. Solve -5 = c - u*c for c.
5
Let m be 43/9 - (-12)/54. Solve r = m*r - 4 for r.
1
Let c = -5 + 20. Let k = c - 13. Solve -2*o = k*o + 20 for o.
-5
Let x(z) = 5*z**2 + z + 1. Let g be x(-1). Solve g = t - 0 for t.
5
Suppose 4*k = -y - 19, -2*y - y - 33 = 4*k. Let l(t) = t + 10. Let o be l(y). Suppose 3*z - 6 = 0, 4*s + 4*z - 17 = 3. Solve 0 = -s*x - o for x.
-1
Suppose -3*b = -2*b + 5*w + 18, -5*w = -2*b + 24. Solve -5 - 3 = b*d for d.
-4
Suppose -4*i + 2 = -6. Suppose 3*l - 28 = -2*h, -3*l + 27 + 16 = 5*h. Solve -i*d = -l*d for d.
0
Suppose 5*i - 3 - 12 = 0. Let l = i + -1. Suppose -3 + 1 = -f. Solve 4 = f*v + l for v.
1
Suppose 0 = 4*c - 6*c + 34. Suppose 0*p + 2*p + 5*j + 7 = 0, c = 2*p - 3*j. Solve p*z + 13 = 5 for z.
-2
Let y = 3 - -1. Suppose -1 = 3*i - y. Solve -4*l + i = -3 for l.
1
Let h(b) = -b**2 + 15*b + 15. Let d be h(15). Solve -2*l + d = l for l.
5
Let s = -11 + 4. Let m(u) = u + 1. Let t(v) = -2*v - 2. Let q(a) = s*m(a) - 4*t(a). Let i be q(7). Solve i*h - 3*h + 20 = 0 for h.
-4
Let t = -40 - -42. Solve 0*y = -t*y for y.
0
Let y(i) = i**2 + 6*i + 8. Let d be y(-7). Solve g = -4*g + d for g.
3
Suppose -3*j = s - 2*j, 4*j = -4. Let l be 3 - 1*(s - 0). Solve -3*x + 4 = -l*x for x.
4
Suppose -2*q + 4*q + t + 22 = 0, 3*q + 2*t = -31. Let g = 19 + q. Solve -j + 2 = g for j.
-4
Let p be (-2 + 2)/((-6)/3). Suppose -4*j = -p*j. Solve 4*y - 2*y = j for y.
0
Let u = 4 + -8. Let s be u/(-6)*15/2. Solve -s = -2*z - 1 for z.
2
Suppose -3*c + 22 = -41. Suppose 5 = -4*y + c. Suppose 0*m - 28 = -y*m. Solve m*a + 4 = 3*a for a.
-1
Let v be -4 + 6 + (1 - 2). Let r be (-1 + -3)*v*-5. Solve -5*a + a - r = 0 for a.
-5
Suppose -4*v + 46 = -14. Let a = v + -13. Solve -h = a*h - 3 for h.
1
Let p = 31 + -45. Let t be (2 + p/6)*0. Solve 0*c + 5*c - 5 = t for c.
1
Let a be (-14)/(-6) + (-4)/12. Let i be a/(-4) + (-42)/(-12). Let v(t) = -t**3 - 7*t**2 - 7*t - 1. Let q be v(-6). Solve i*j = q*j for j.
0
Let s be (10 - (-12)/(-4))*1. Solve -3 + s = 2*w for w.
2
Let h = -23 + 29. Solve 0 = -4*r + 18 - h for r.
3
Let i be 655/10 + (-1)/2. Suppose 5*s + i - 10 = 0. Let a = s + 16. Solve c = -a + 4 for c.
-1
Suppose -2*s = r - 13, 3 = -s + 3*r - 1. Let h = -24 - -39. Let u(b) = b**3 + 5*b**2 - 5*b + 6. Let v be u(-6). Solve v = s*k - h for k.
3
Let t be (-1)/(-4) + 387/36. Suppose 5 = 4*s - t, -a + 15 = 3*s. Solve a = -j + 4 for j.
1
Suppose -4*a - 6 = 5*c, a + 4*c = -2*a - 4. Let w be a + 6 - (-24)/2. Suppose 4*q - 2 = w. Solve s = -q + 2 for s.
-2
Suppose 4*k = -9 - 23. Let x = k + 13. Solve 6*m - m = x for m.
1
Let y be 69/15 + (48/15)/8. Let n(s) = 14*s - 9. Let g be n(6). Suppose 0 = -0*w - 4*w - 5*k + g, 0 = w - 3*k - 6. Solve w = -5*z - y for z.
-4
Let m be (6 - 6)/(0 + -2). Solve o - 2 + 0 = m for o.
2
Let t(v) = -v + 9. Let i be t(7). Suppose -2*j + 3*b = 5 + 2, -5*j = -3*b - 5. Solve -i = 3*u + j for u.
-2
Let g(m) = 2*m**2 + 4*m - 1. Let v be g(-3). Solve -o = -v*o + 12 for o.
3
Let u(r) = -r**2 - 4*r + 1. Let f be u(-2). Solve -f*b - 8 = 7 for b.
-3
Let c be (3 - -3) + -2 + -2. Solve -c*k + 0*k + 10 = 0 for k.
5
Let s(g) = 3*g - 4. Suppose 5*i + o = 13, 2*o + 3*o + 16 = 2*i. Let p be ((-2)/(-6))/(i/27). Let q be s(p). Solve 6*z - 2 = q*z for z.
2
Let d be 84/7 - (-4)/(-2). Solve 3*s - 5 = d for s.
5
Let q(n) = n**2 + 2*n + 2. Let w be q(-2). Suppose 4*g = -5*o + 2*o - 23, 4*g + 22 = -w*o. Let f = 4 - o. Solve -f*i = -i for i.
0
Suppose 0 = -5*o + 34 + 11. Solve o*j = 4*j - 5 for j.
-1
Let n be 11*-1 + 0 + 1. Let z be (n/3)/(2/(-9)). Let g = 26 - 26. Solve 3*k + g*k = -z for k.
-5
Let u = 38 + -33. Solve u*b - 12 = 8 for b.
4
Let f be (-1 - 1) + -5 + 9. Solve 3*n + 1 = -f for n.
-1
Suppose -9 = -5*s + 16. Suppose 0 = -s*c - 2*l + 54, -4*c = -0*c - 2*l - 36. Let r = c + -6. Solve 0*k + r = 4*k for k.
1
Let h(a) = -7*a**3 + 6*a**3 + a + 8 - 5*a**2 - a**2. Let r be h(-6). Suppose r*j + j - 1 = -2*y, 15 = -5*j. Solve 3*s - y = 7 for s.
4
Let b be (20/25)/((-2)/80*-2). Solve 8*f - 4*f - b = 0 for f.
4
Let x be (6/12)/((-1)/(-50)). Solve -f + 6*f = x for f.
5
Suppose 3*h + 4*s - 26 = 0, 5*s = 4*h + s + 12. Solve 0 = h*r - 7 - 1 for r.
4
Let w(u) = u**3 + 8*u**2 - 9*u + 2. Let v be w(-9). Suppose 5*l = t + v*l, t + l = 4. Solve -j + 2*j - t = 0 for j.
3
Suppose 2*g = 10 - 2. Solve -3*h + 5*h = -g for h.
-2
Suppose 2*i - 2 + 0 = 4*c, -3*c + 18 = 5*i. Solve -i*d = -4*d - 1 for d.
-1
Let n(o) be the first derivative of -o**4/4 + o**3/3 + 1. Let c be n(-1). Solve -c = 2*t - 3*t for t.
2
Let g be (0 - 1)*(-2)/(2/3). Let d(w) = -4*w**3 + 5*w**3 + 2 + 0*w - 4*w**2 + 3*w. Let k be d(g). Solve -k*i = 17 - 7 for i.
-5
Suppose -2*h - 2 = 4*i, -2*h + 2*i = -39 + 17. Suppose h + 1 = 2*v. Suppose -6*g + 30 = -v*g. Solve 0*s = 3*s + g for s.
-5
Let x = 176 - 172. Solve -4*i = -0 - x for i.
1
Let b = 0 - 0. Let p = 3 - b. Solve -c - 16 = p*c for c.
-4
Let c = -13 - -25. Let m = c + -7. Solve 2*s + m = -3*s for s.
-1
Let h(a) = a**3 + 2*a**2 - 5*a - 2. Let r be h(-3). Suppose -r*p = -2*p. Solve p = -3*l + l + 4 for l.
2
Let h(b) = b**3 + 7*b**2 + 3. Suppose 5*p = 2*p - 21. Let m be h(p). Solve 18 - m = -3*u for u.
-5
Let q(y) = y**3 + 5*y**2 - 7*y - 2. Let j be q(-6). Solve j - 1 = -l for l.
-3
Let k be (-8)/6*3 - 3. Let s = -3 - k. Solve t - 3*t = s for t.
-2
Let w(f) = f**2 + 7*f + 2. Let z be w(-6). Let b = 1 - z. Solve -b*s = -3*s for s.
0
Suppose -u + i + 1 = -1, -3*i = -12. Solve -u*h + h + 15 = 0 for h.
3
Suppose -2*c = c - 48. Solve 2*f - c = -2*f for f.
4
Let j(m) be the third derivative of m**5/60 - m**4/4 + m**3/3 - m**2. Let z be j(6). Solve -z*a - 8 = 2*a for a.
-2
Suppose 0*k - 3*k = -3. Let v = k + 1. Solve -2*p + 8 = -v for p.
5
Suppose -4*c - 4*k - 8 = -32, 0 = -3*c - 5*k + 22. Suppose 5*f = c*f. Suppose f*z - 4*z = 3*j - 25, -2*j = -3*z - 45. Solve -3*g + 0*g - j = 0 for g.
-5
Suppose 4*q + 12 = -c, 0 = 2*c - q + 6*q + 15. Solve -3*y + c + 12 = 0 for y.
4
Let a(p) = 3*p - 15. Let c be a(6). Suppose 5*n = c*s, -n + 5*n - 5*s = 0. Solve -m = -n*m + 3 for m.
-3
Let m be 1 + -1 - (6 - 3)*-5. Solve 6*f = f + m for