
Let k(z) = z**3 - 5*z**2 - 3*z + 6. Let r be k(5). Let v be 17 + -17 - r/1. Solve -4*w + v*w + 25 = 0 for w.
-5
Let j = -92 + 95. Solve -b - 4 + j = 0 for b.
-1
Suppose 5*s + 0 = 20. Suppose -6 + 22 = s*j. Suppose 4*d + 0*d - 8 = 0. Solve d*w - j*w = 0 for w.
0
Suppose -4*b = -b. Let p be 3*2 - (-3 - b). Solve f + p = 4*f for f.
3
Let u be (2/8)/(16/128). Solve 0 = -4*m + 2*m - u for m.
-1
Let c = -35 - -37. Solve 5*u + 12 = c for u.
-2
Let v(n) = -5*n**3 + 10*n**2 + 14*n + 3. Let r(d) = -4*d**3 + 10*d**2 + 13*d + 3. Let c(s) = -4*r(s) + 3*v(s). Let k be c(11). Solve -k = 5*q + 17 for q.
-5
Suppose 0 = -2*n - 0 - 2, 5*s + 3*n = 72. Let d = 18 - s. Solve -z + d*z = 0 for z.
0
Suppose -3*t - v + 6 = t, 2 = -v. Solve 3*s - t = 10 for s.
4
Suppose 4*k = 3*k + 5*b - 2, -2*b - 10 = -4*k. Suppose -q + 24 = 4*q - 4*d, -k*d + 1 = q. Solve -a + q - 1 = 0 for a.
3
Suppose -i = -5*i. Solve h + 3*h + 4 = i for h.
-1
Let h(o) be the first derivative of o**4/4 + 2*o + 1. Let d be h(2). Solve j - 3*j = d for j.
-5
Suppose j - 4*s = 3*j + 4, -12 = -j + 5*s. Solve j*c = 7*c - 20 for c.
4
Let w be 3*(-2 + 20/6). Suppose -12 + 0 = -o - r, -w*r - 15 = -3*o. Let s be (3/2 - 2)/(4/(-24)). Solve -3 = s*c + o for c.
-4
Let h = -8 - -8. Suppose -g = -h*g - 10. Solve 5*k + 5 = g for k.
1
Let d be 4/(-6)*(4 + -13). Solve 0 = j - 3*j + d for j.
3
Let b(r) = -r**3 + r**2 + r + 3. Let x be b(2). Suppose x = -w + 3. Solve -2*h = w*h for h.
0
Suppose 3*j = -j + 8. Suppose g - j = -g. Solve -z - 3 = g for z.
-4
Let z(w) = w - 1. Let g = 0 + 1. Let f be z(g). Let u be 5*-1*(-4)/5. Solve u = -2*q - f for q.
-2
Suppose 2*q + 0*g - 29 = -g, -3*q + 41 = g. Suppose -5*x - f = q, 0*x + x + 5*f + 12 = 0. Let c be (-1)/((-1)/x) + 2. Solve -3*z + 6*z = c for z.
0
Let c(t) = -t - 7. Let v be c(-3). Let b be v/14 + 23/7. Let u(n) = n**2 + n - 2. Let z be u(-3). Solve -4*a + z = -b*a for a.
4
Let h(y) = 6*y + 3. Let x be h(2). Solve 4*j - x = -j for j.
3
Let g(t) = -2*t - 3. Let m be g(-1). Let u(i) = 3*i**2 + 2*i + 1. Let v be u(m). Solve -2*x + v = 10 for x.
-4
Suppose 0 = 4*p + 4*p - 8. Let n be (-6)/2 + 4 + 14. Solve -n = 4*x + p for x.
-4
Suppose -4 = -5*f - 4*c + 37, 0 = 2*f + 2*c - 18. Let n be (-4)/(-3) - 10/(-15). Solve -3 = -f*o + n for o.
1
Let o(j) = -3*j + 32. Let w be o(9). Solve -w + 1 = b for b.
-4
Let f(b) = -b + 8. Let s be f(0). Let h = -4 + s. Let u be 30/2 + (-1)/(2/(-4)). Solve 3 = -h*q - u for q.
-5
Let y = 11 + -6. Solve -y*q = -1 - 14 for q.
3
Suppose -5*j - 3*f = 107, 0 = -0*j + 2*j + 2*f + 42. Let i = -5 - j. Solve -5*a = i - 2 for a.
-3
Let u be 6*4*3/18. Suppose -z + h = 4*h - 8, -5*z = -h + 8. Let q = z + 6. Solve 7 + q = -u*r for r.
-3
Let l be (-36)/8*4/(-3). Suppose -n + l = 1. Suppose 2*s = 4*s - 12. Solve n*m + 4 = -s for m.
-2
Let w = 19 - 44. Let u = w - -45. Suppose -2*n + 3*n = u. Solve -k - 4*k = n for k.
-4
Let a = 21 + -8. Suppose -a = -5*q + 7. Solve -q*l + 6*l = -10 for l.
-5
Suppose 3*x = 5*x - 4. Solve 10 = x*q - 0 for q.
5
Let g be 18/4 + (-3)/6. Let b = g - 4. Solve 0*j + j + 4 = b for j.
-4
Let l = 13 - 24. Let x = -7 - l. Solve 3*v - x = v for v.
2
Let g be (175/21)/(3/9). Let s = -24 + g. Solve -3*f - s - 14 = 0 for f.
-5
Let q(h) = -h**3 + 3*h**2 + h**2 - 2 + 2*h**2 - 4*h. Let a be q(5). Solve -a*w = 4 + 2 for w.
-2
Let a be 112/63 - 2/(-9). Suppose a*c = -2*c. Solve -4*y - 6 - 2 = c for y.
-2
Let k be 1*(-12)/3*-1. Suppose 8 = k*z - 0*z. Solve z*q = -0 + 6 for q.
3
Let t = 3 + 2. Suppose 5*f + b - 69 = -b, 4*b + t = f. Let x = f - 4. Solve 0 = -4*p + p + x for p.
3
Suppose 17 + 3 = 5*n. Suppose -12 = n*g - 0*g, -4*g - 225 = -3*a. Suppose 0 = -5*s - 4*k + a, 54 - 14 = 3*s + 5*k. Solve 3*q - 6*q - s = 0 for q.
-5
Let h be (-3 - -2) + 1 - -2. Solve -h*o - 12 + 4 = 0 for o.
-4
Let o be 12/14*(13 - -1). Solve 0 = t - 4*t + o for t.
4
Let u = -9 - -9. Let l = u + 2. Solve 0 = l*t - 0*t + 4 for t.
-2
Suppose -3*r - 18 = -o, -2*r = -2*o + 2 + 14. Suppose -o*s - w = -10, 2*s = -0*s - 4*w - 10. Suppose 3*d + 0*d = -5*h + 32, 0 = -s*h + 20. Solve d*b = b for b.
0
Suppose -25 = 4*f + f. Let t be (4 + -5)/(1/f). Solve t*x = 8 - 23 for x.
-3
Let z = -19 + 19. Let u(n) = -2*n - 1. Let i be u(-2). Solve -i*j + 15 = -z*j for j.
5
Suppose 5*b - r = r + 192, -5*r + 109 = 3*b. Let l = b + -23. Suppose 0 = 3*t - 3*a - l, 4*t - 21 - 2 = 5*a. Solve -3 = t*w - 13 for w.
5
Let j = -18 - -23. Solve -j*p + p = -12 for p.
3
Let t be 9/(-4)*(-20)/15. Solve -5*m - 7 = t for m.
-2
Let m(s) be the third derivative of s**6/120 - s**5/30 - s**4/8 + s**3/2 + 4*s**2. Let r be m(3). Suppose g + r*g = 24. Solve 2*o - 4 = g*o for o.
-1
Let o(p) = -2*p + 4. Let t be o(2). Solve c + 2*c = t for c.
0
Let l(f) = -f. Let n be l(-3). Suppose 0 = 15*w - 2*w. Solve w = -n*j + j for j.
0
Let j(q) = 4*q**3 - q**2. Suppose 4 = 5*o - 1. Let z be j(o). Solve c + 6 = z for c.
-3
Let b(a) = a**3 - 6*a**2 - 6*a + 1. Let o be b(7). Solve -4*w - 4 = -o for w.
1
Let d = 43 - 40. Solve -d*q - q = 12 for q.
-3
Let o be 0/(1/(-2 - -3)). Suppose -4*m + 20 = o, -c + 0*c = -3*m + 14. Solve 4 - c = t for t.
3
Suppose -8 = h - 3*h. Solve -5*d - 5 = -h*d for d.
-5
Suppose -4*f + 2*i - 125 = -7*f, -i + 40 = f. Suppose 5 = 5*x + f. Let o = 11 + x. Solve o*r = 5*r for r.
0
Let c = -6 - -12. Solve 0*o + c = -3*o for o.
-2
Let h(g) = -g + 4. Let l be h(2). Let x(r) = r**2 - 3*r + 3. Let a be x(2). Suppose 0 = -3*f, -k + 3 + a = 5*f. Solve 4*z - l*z = -k for z.
-2
Suppose 0 = 6*z - z - 20, -5*z + 15 = -c. Let l(f) = f**3 - 4*f**2 - 3*f - 5. Let p be l(c). Solve -p + 13 = 2*d for d.
4
Let v be (2 - 2)/(-4 - -2). Suppose v = -2*a + a - 4. Let z be (3/a)/(4/(-16)). Solve m - 1 + z = 0 for m.
-2
Let c be (-2 + 3)*-12 - -2. Let q be 68/(-10) + 2/c. Let p be (-2)/q + (-24)/(-14). Solve 0 = -p*t + 6 + 2 for t.
4
Let x be (-2)/(3 + -1) - -8. Suppose 2*a - 3 = -a. Let b be (a - -1) + -4 - -18. Solve 0 = x*p - 3*p - b for p.
4
Suppose 3*g = 4*i + 9, 2*g = 7*g - 15. Suppose -2*n - n + 75 = i. Let s(v) = -v**3 + 6*v**2 - 3*v - 5. Let z be s(5). Solve 0 = -z*d - n for d.
-5
Suppose -2*i + 2*v + 14 = 0, 2*i + 2*i - 3*v - 23 = 0. Let a(d) = 3*d. Suppose -4 = -4*c - 2*j, 4*c + 6*j - j = -8. Let b be a(c). Solve r = -i*r + b for r.
3
Let k(b) = b**2 + 5. Let o be k(0). Let a be 3 + 2/(5/5). Suppose -7 - a = -3*y. Solve -d + o = y*d for d.
1
Let r(i) = i + 1. Let h be r(2). Solve -j + 2*j - h = 0 for j.
3
Let q(o) = -o**2 - 4*o + 12. Let p(t) = t**3 + 7*t**2 + t + 1. Let v be p(-7). Let s be q(v). Solve 3*f = -s*f - 9 for f.
-3
Let a be (-4 - -3) + 4 - -2. Solve -1 = p - a for p.
4
Suppose -6*i = -i. Let m = i + 1. Suppose 5*z + j = 25, m - 16 = -3*z - 2*j. Solve 1 = -z*l - 4 for l.
-1
Let z = 0 + 5. Suppose 3*o + o - 28 = 4*u, 2*o - 7 = -z*u. Solve m = o*m + 10 for m.
-2
Suppose 0 = s + 4*s - 10. Solve 2*d - 6 = -s for d.
2
Suppose -p = -5*m + 6, 3*p = 2*m + m + 6. Solve -m*w + 4*w - 2 = 0 for w.
1
Suppose -3*u - 3 = -12. Solve -u*k = -2*k for k.
0
Suppose 11*s - 50 + 6 = 0. Solve j = -j + s for j.
2
Let i(r) = r. Let h(v) = v**2 - 9*v + 3. Let s(a) = h(a) + 5*i(a). Let p be s(3). Suppose p = 3*b - 9 - 6. Solve 6*m - m = -b for m.
-1
Let t(s) = s**2 - 1. Let w be t(-1). Suppose -n + 2*r + 6 = -2*n, 0 = -2*n + r + 13. Solve w = n*o + 4 + 12 for o.
-4
Let y = -11 - -14. Solve 7*g = y*g for g.
0
Let k(g) = g - 3. Let b be k(6). Let l be 12/18 - 2/b. Solve i + l*i = 3 for i.
3
Let h(c) be the third derivative of c**5/15 + c**4/24 - c**3/6 - 4*c**2. Let a be h(1). Solve -2*v + v + a = 0 for v.
4
Suppose -2*b - b = -24. Let a be (b/(-6))/(6/(-18)). Solve 3 = -a*g - 5 for g.
-2
Let j(h) = h**3 + 8*h**2 + 6*h + 1. Let c be j(-7). Let z = c + -1. Let m be -1*(1*-3 + 0). Solve -m*n - z = 2 for n.
-3
Let m be (-6)/(((-3)/(-4))/(-1)). Let g = m - 5. Suppose 0 = g*y - l - 3, 8 = -4*y - 2*l + 2. Solve -3*d = -y*d for d.
0
Let i(b) = b. Let z(j) = -6*j - 3. Let q(r) = 14*i(r) + 2*z(r). Let c be q(7). Solve 8 + c = 4*p for p.
4
Let c(a) = a + 7. Let x be c(-5). Suppose 0 = 3*l + 4*d - 29, 3*l - x*d - d = -6. Let m = l + -3. Solve m = -4*z - 6 - 6 for z.
-3
Let x(c) = c**3 - 3 + 2 - 1. Suppose -17 = 5*l - 27. Let k be x(l). Solve d = k*d for d.
0
Let f = 44 - 24. Suppose -y = -z + 6*z + 10, 0 = 2*y - z - 2. Suppose 0 = 5*n, -3*l + 0*n +