 -5*w - l = 5 for w.
-4
Let n = 37 + -25. Suppose 4*d - n = 2*j - 0, 0 = -2*d - j + 10. Solve -d*i = -7*i + 15 for i.
5
Suppose -3*j = -29 + 26. Solve -h = -0*h + j for h.
-1
Suppose 3 = h - 1. Let w = h + 2. Solve -22 = -4*u - w for u.
4
Let n(f) = 5*f + 11. Let p(o) = o**2 + 1. Let q(d) = -n(d) + p(d). Let y(a) = -5*a - 3. Let b be y(-2). Let c be q(b). Solve r + c = 3 for r.
-1
Suppose 4*t + t - 15 = 0. Suppose 0 = -3*s - 4*y - 20, 2*s + t*y = y - 10. Let x(p) = 4*p**2 - p - 1. Let c be x(-1). Solve s*h = -c*h for h.
0
Let v be 6/(-10) + (-156)/15. Let i = -9 - v. Suppose -3*j - 2*j = 3*t, t = i*j. Solve -5*f + j*f = -10 for f.
2
Suppose 5*z - 2*z + 7 = 2*x, 2*x - 5*z - 9 = 0. Solve -x - 1 = -f for f.
3
Let p(b) = 0*b + b**2 - 2*b**2 - b - 11 - 10*b. Let m be p(-10). Let o(a) = -3*a**3 + 2*a**2 - 1. Let t be o(m). Solve t*x + 9 = x for x.
-3
Suppose 4*b - 4*c = c - 8, 0 = -4*b - 5*c + 32. Let q be 18/5 + b/(-5). Solve 7*t - 20 = q*t for t.
5
Let p = -8 + 10. Solve -4*o - p = 2 for o.
-1
Let q(o) = -o**2 - 8*o - 5. Let h be q(-8). Let v = h + 13. Solve 2*g + 0 + v = 0 for g.
-4
Suppose 4*a - 14 = 2*a. Let q(o) be the first derivative of -o**2/2 + 7*o + 2. Let g be q(a). Solve g = -0*b + 2*b for b.
0
Suppose -5*o - 12 = -2*a - 55, 4*o + 2*a - 20 = 0. Solve 5*u = o*u - 2 for u.
1
Let l = 5 - 2. Let t = 7 - l. Suppose t*s - 3 = s. Solve -s = -3*m + 5 for m.
2
Suppose -21 = -s + 4*y, s + 0 - 11 = 2*y. Solve 3*f - 14 = s for f.
5
Let s = -8 - -12. Suppose -5*h + 0*d + 20 = -3*d, -h + s = -5*d. Suppose 6 = -2*b + h*b. Solve 0 = -b*k - 0*k for k.
0
Let y(c) = -c**3 - 8*c**2 + 10*c + 9. Let l(d) = -d + 8. Let w be l(17). Let s be y(w). Suppose 3*g = -3*z - 3, 0 = -g - 3 - 1. Solve s = -t + z*t for t.
0
Let k = 85 - 81. Solve 7*w = k*w for w.
0
Suppose 4 = p - 6. Let j = -5 + p. Suppose -3*o = 6, 4*o = -j*a + 2 - 10. Solve 2*x - x = a for x.
0
Suppose 2*r + 2*r + 20 = 0. Let d(w) = w**3 + 6*w**2 + 5*w + 2. Let z be d(r). Solve 5 = -z*g - 5 for g.
-5
Let j(a) = 5*a**3 - a**2 - 3*a + 4. Let d be j(1). Suppose 0 = 3*h + h. Solve k - d + 6 = h for k.
-1
Suppose 5*z = 15, f + 3*f - 7 = 3*z. Let r be (-12)/f*(-2)/3. Solve r*s + 3 = -5 for s.
-4
Let b be (-5 - -3)/2*(-5 - -1). Let j be (0 - -3)/(3/(-4)). Let d(o) = -o**2 - 5*o - 2. Let q be d(j). Solve 0 = -q*r - 0*r - b for r.
-2
Suppose -6*h + h = -10. Suppose -h*l + l - 4 = 0. Let z be (3/((-6)/l))/1. Solve -z*s - 8 = -0*s for s.
-4
Let c(r) = -r - 2. Let x be c(6). Let y = x - -14. Let v(i) = i**3 - 15*i**2 + 2*i - 23. Let b be v(15). Solve 4*l = b*l - y for l.
2
Let g be (0/(2/(-1)))/(-1). Suppose g*n = -3*n. Solve n = -2*k - 2*k for k.
0
Suppose 7*o - 2*o = z - 37, -15 = 3*o - 3*z. Let l be 0*(-2)/(-4) + -1. Let q = l - o. Solve 3*g = q*g for g.
0
Suppose -4*t = 5*k - 29, t + 3*k = -4*t + 20. Let q be (5 - 4)/(1/t). Solve q = 4*p - 7 for p.
2
Suppose -5*f + 20 = -5*p - 0*p, -3*p - 6 = 0. Solve -f*x - 3 = -3*x for x.
3
Let q(u) = u**2 + 4*u - 8. Let s be q(-6). Solve -12 = j - s*j for j.
4
Suppose 22*f = 12*f + 50. Let r = -50 + 100. Suppose -22 = -4*w + r. Solve f*y + 3 = w for y.
3
Let p(n) = 2*n**2 - 3*n + 3. Let d be p(2). Suppose -3*c + 3*g = -d - 1, 3*c - 8 = 2*g. Solve c*v + v + 10 = 0 for v.
-2
Let q = 10 - 9. Suppose -q = -r + 1. Solve -3*x = r*x for x.
0
Let l be (-3 - 40/(-12))*-33. Let w = l - -13. Solve v - w*v = -1 for v.
1
Let g = 6 + -8. Let v(k) = -k**3. Let h be v(g). Let w be (3/5)/(7/35). Solve w*y = h*y + 10 for y.
-2
Suppose x = -1 + 3. Suppose 5*f = -5*q - 6035, 4*q + 3618 = -4*f + f. Let n be f/(-99) - 4/18. Solve -4 = -x*i - n for i.
-4
Let c be 2/(-10) - (-1)/5. Suppose c = 4*n - 3*r + 12, 2*n = 3*n + 2*r - 8. Solve -o - 3*o = n for o.
0
Let b = 1 - 1. Let h(g) = -g**2 + 6*g - 7. Let w be h(5). Let t be (-2 - (4 + b))/w. Solve 0 = t*f - 3 - 0 for f.
1
Let v(b) = -b**3 + 5*b**2 - 3*b - 3. Let q be v(4). Solve 2*i - q = 1 for i.
1
Suppose 32*m - 29*m = 0. Solve m = 3*i + i for i.
0
Let g(r) = -r**2 + 3*r + 5. Let i be g(4). Suppose -2*n + 9 = -2*d + i, 4*n + 3*d = -12. Let j = -6 + 11. Solve 0*y - j*y + 10 = n for y.
2
Let p = 9 + -6. Suppose -1 = -2*s + p. Solve -s*c + 0 = -6 for c.
3
Suppose 3*t + 48 = 4*x, 8*t + 60 = 5*x + 4*t. Solve 5*l - 2*l = x for l.
4
Suppose o + 4 = b, -3*b - 3*o + 12 = -4*o. Solve 3 = b*k - 17 for k.
5
Let m(c) = c + 3. Let x be m(-3). Suppose -5*k - 4*q = -6, -k = -4*k + 2*q + 8. Let b be 4 - (x - -3 - k). Solve -b*w + 4 = -5 for w.
3
Let u = -15 + 9. Let o = -3 - u. Solve o*q + 0 = 3 for q.
1
Let o be (-58)/(-7) - 2/7. Let l be 6/2 - 0/(-4 - -2). Solve o = -p - l*p for p.
-2
Let o(s) = -s**2 - 5*s + 5. Let f be o(-5). Let j(n) = n**2 - 7*n + 8. Let x be j(6). Solve -f*r + x*r = -3 for r.
1
Let p be (-2)/(-6) + 10/(-3). Suppose g = -n - 4*g - 25, 4 = -g. Let l = p - n. Solve 0 = -l*c - 0 - 6 for c.
-3
Let f be (6 - (-1 - -1))*85/102. Solve 3*o + f = 4*o for o.
5
Suppose 26 = 4*y + 5*b, 4*y + 4*b - 32 = 2*b. Solve 4*t + y = 29 for t.
5
Suppose -8 = -h + 4*g, 0 = 6*h - h - 2*g - 94. Suppose -j = -0*j - x, 0 = x - 3. Solve k - h = -j*k for k.
5
Let n be (-6 - 1)/(-3 + 2). Let d = -4 + n. Solve -8*l + d*l = 0 for l.
0
Suppose 0 = -0*b - b + 1, -5*b = 5*q - 5. Suppose -3*p + q = -6. Let m be 0/4*(-1 - 0). Solve m = p*u + 10 for u.
-5
Let u(w) = w**2 + 7*w - 5. Let p be u(-8). Solve -p*r = 2 + 1 for r.
-1
Let v be 2 - 3 - -6 - -1. Let g = 6 - v. Solve -w - 5 = -g*w for w.
-5
Suppose l = -l - 8. Let m = -4 - l. Solve m = 4*f - 1 + 9 for f.
-2
Suppose -3*q = -4*s + 20, -s + 5 = -0*q - q. Solve 2*k + q*k = 8 for k.
4
Let o = 114 - 108. Solve 0 = 2*i + o - 10 for i.
2
Let q(y) = -y + 2. Let s be q(2). Suppose 4*c + 4*x = 20, 3*c - 2*c = x + 1. Suppose s*v = -c*v + 9. Solve -v*o - o = 0 for o.
0
Suppose 0 = 2*y + 4*c - 68, -4*y - 5*c = -0*y - 121. Let z be y/8 + -1*1. Solve -z*u + 8 = -0 for u.
4
Suppose -3*j + 2 + 1 = 0. Let c = 7 - j. Let w = -4 + c. Solve -3*u - w*u = 15 for u.
-3
Suppose -5*r - 5 = -2*w - 0*w, -w = -4*r - 4. Suppose j + 20 = 5*a, w = -j - a + 4*a - 12. Solve s + j*s - 4 = 0 for s.
4
Let x(d) = d - 1. Let i be x(1). Let p(v) = v**2 - 7*v - 5. Let o be p(8). Suppose i - 12 = -o*b. Solve -2*u = -b - 0 for u.
2
Suppose 20 = -5*l - 5*t, 10 = -4*l - 5*t - 8. Let d = l - -5. Let w = -88 + 90. Solve d*p + 1 = w*p for p.
-1
Suppose 0 = 2*t + 3*s - 1, -4*t = t - 3*s - 13. Let m = t + 1. Solve j - 8 = -m*j for j.
2
Suppose -6*k = -8*k + 6. Suppose -2*u = q - 13, k*u = 3*q + u - 23. Solve z - 4*z = q for z.
-3
Suppose 0 = -2*r - 2*r + 12. Let s = 6 - r. Let l = s + -1. Solve -l = -2*h + 2 for h.
2
Let c = -31 + 35. Solve x - 2 = -c for x.
-2
Let c(b) = 1 - 1 + 0*b - b. Let g be c(-3). Suppose 0 = o - 2*v + 10 - 3, -2*v = -g*o - 5. Solve 2*w - o = w for w.
1
Let y be -9*(3 - 50/15). Solve -y*d = -d - 4 for d.
2
Let b = 7 + -6. Let s be 1*b*(4 + 0). Solve -s*k = 11 + 9 for k.
-5
Let q = -1 - -1. Let x(u) be the first derivative of u**4/4 + 7*u**3/3 + 3*u**2 - 5*u + 3. Let b be x(-5). Solve q = -0*n - 5*n - b for n.
-3
Suppose -27*v = -32*v - 15. Let n = 11 - 19. Let f be 0/n - (-1 + v). Solve 0 = -2*s - f for s.
-2
Suppose 204*v + 27 = 213*v. Let g be (-3 - -3)*(1 - 2). Solve v*y + 9 = -g*y for y.
-3
Let v = 25 - 21. Solve u + v = 1 for u.
-3
Suppose 2*t + 4*m = -3*t + 50, t - 10 = -4*m. Let v be 5*4/t - -2. Solve -h = -0 + v for h.
-4
Let d be ((7 + -1)/3)/2 - -3. Solve 3*j + j = -d for j.
-1
Let o(w) be the third derivative of w**5/60 + w**4/4 + 2*w**3/3 + 2*w**2. Let j be o(-6). Suppose 2*r = j*r. Solve x + 0*x = r for x.
0
Suppose -4*y = -3*q - 14, -2*y + 3 = 4*q - 3*y. Suppose -2*d - 14 = -q*m + m, 5*m - d - 25 = 0. Solve m*v = v + 15 for v.
5
Suppose -1 - 8 = -3*t. Let r = -15 + 15. Solve 0 = -i - r*i - t for i.
-3
Let t = -7 + 13. Let p = 7 + t. Solve 5*v - p = 12 for v.
5
Let n be (-1)/(-6) - (-184)/48. Solve 0 = -0*c + n*c - 8 for c.
2
Suppose 26 = 4*n - 3*m, -3*n + 8*n - 15 = -5*m. Suppose -n*s - 12 = -37. Solve 2*z = s*z - 15 for z.
5
Let z(v) = v**2 - 4*v - 9. Let k be z(7). Solve 4*i - 8*i = -k for i.
3
Let v be (1 + -1)/(-4 - -3). Solve -6 = -3*i - v for i.
2
Let d be (0 + 1)*1*4. Solve -3*o - 1 = -d*o for o.
1
Let z(f) = -5*f - 1 - 4*f**2 + 5 + 1 + f**3. Let a be z(5). Solve 4*p - a = -p for p.
1
Let t(q) = q + 9. Let h be t(-7). Solve