v(8). Suppose 0 = -4*d + 16 - b. Solve -15 = d*o + 1 for o.
-4
Let j(r) = -14*r**3 - 32*r**2 - 27*r - 44. Let s(c) = -5*c**3 - 11*c**2 - 9*c - 15. Let x(b) = 6*j(b) - 17*s(b). Let n be x(7). Solve 5*i - 6 = -n for i.
-4
Let t be (0 - -2)/(4/(-6)). Let z = t - -6. Suppose s - 1 = z. Solve k = s*k for k.
0
Let f be (4 - 3)*(4 + 1). Solve 2*t - f = -1 for t.
2
Let f(s) be the second derivative of -s**4/12 - s**3/2 + 3*s**2/2 + 3*s. Let k be f(-3). Solve 2*x - k*x + 3 = 0 for x.
3
Let l = 1 + -1. Suppose l*m = -2*m - 4. Let q be (6/(-4))/(m/4). Solve -7 + q = -a for a.
4
Suppose 3*q - 6*q = -6. Suppose 0 = -4*l - x + 17, q*l + 3*x - 30 = -3*l. Solve -l*z + 3 = -3 for z.
2
Let a(s) = s**2 - 3*s - 1. Let p be a(4). Suppose -p*c = -11 + 2. Let m = 14 - 6. Solve -c*x - m = x for x.
-2
Let v = 1 + -8. Let d = v + 11. Suppose -3*r + 3*p - p + d = 0, 3*r - 11 = -5*p. Solve 8 = -r*j - 0*j for j.
-4
Let g be 16/(-40) - 34/(-10). Let y(x) = x - 3. Let z be y(-5). Let o = z + 12. Solve -2 = g*r + o for r.
-2
Let g = 96 + -90. Solve 2*q - 4 = g for q.
5
Let i(x) = -x**2 - 17*x - 20. Let o be i(-15). Let t(k) = k**3 - 9*k**2 - 10*k + 11. Let z be t(o). Solve -z - 1 = 3*b for b.
-4
Let v be (-37)/(-7) - 4/14. Suppose 2*k - 1 = v. Solve k*h = -0*h for h.
0
Let k be 4/6 + 20/(-30). Solve k*a - 5*a = 0 for a.
0
Suppose 5*i - 56 = i. Let d = i - 9. Solve -2*t - 9 = -d*t for t.
3
Let q(a) = 2*a**2 - 6*a. Let o be q(5). Solve 4*l + 0*l - o = 0 for l.
5
Let g(a) = a - 5. Let m be g(8). Suppose 7*z + m = 8*z. Solve -s + z*s - 4 = 0 for s.
2
Let o(a) = 3*a**3 - 11*a**2 + 2*a + 1. Let i(p) = -2 - 17*p**2 + 4*p**3 + 3 + 2*p + p. Let h(z) = -5*i(z) + 7*o(z). Let r be h(-8). Solve 5*j + 5 = r for j.
1
Suppose -a = -5*a + 12. Solve 8*z = a*z for z.
0
Suppose 6*x + 57 = 3. Let o = 0 + 11. Let r = o + x. Solve r*w = 3*w + 1 for w.
-1
Let h = 18 + -11. Suppose -3*i = -8 - h. Let v(n) = n - 5. Let u be v(i). Solve 2 = a - u for a.
2
Suppose -4*k - 2 = -2*c + 4, 0 = -4*c + 2*k + 30. Solve 3*d - c = -0*d for d.
3
Suppose 3*h + 2*h - 5 = 0. Suppose -3*y + h = -8. Suppose 7*r + 3*v = y*r + 42, -3*r = 3*v - 33. Solve -3 - r = 4*g for g.
-3
Suppose 6 = 2*w - 2*k, w - 1 - 2 = 3*k. Solve -18 = -5*r - w for r.
3
Suppose -2*n - 43 = -6*n + x, n - 4*x = 22. Suppose 3*r = -u + r + 7, -3*u = -r - 7. Suppose -4*m - m + 10 = 0. Solve 0 = -u*v - n - m for v.
-4
Let k be (-3 - -1) + (-9)/(-3). Suppose -1 - k = -m. Let h = 0 - -7. Solve -h*o = -m*o for o.
0
Let b be 8/60 - 309/(-45). Solve -3*j - 20 = -b*j for j.
5
Let c be -40*(0 - -1)/(-2). Solve 4 = 4*b + c for b.
-4
Suppose k + r - 3 = -0*k, 2*r = -4*k + 6. Let l(c) = -c + 7. Let n be l(-6). Let f = 18 - n. Solve -b + f*b = k for b.
0
Suppose 3 = 2*o + o. Let q = o - 1. Let z = 3 + 0. Solve q = -z*u - 15 for u.
-5
Let y = -1 - -1. Suppose 0 = 5*d + 2 - 27. Let h be 23/d + 12/30. Solve -h + y = -c for c.
5
Suppose -4*y + 26 = s, -y - 4*s = -3*s - 5. Solve 1 = 2*x + y for x.
-3
Suppose 0 = -4*x + v + 9, -1 - 3 = 4*v. Suppose 2*z = -z. Suppose x*w - 1 - 3 = z. Solve 0 = -w*i - 0 - 4 for i.
-2
Let u(m) = 2*m + 2. Let q be u(6). Let s = -12 + q. Solve 3*p = -7 - s for p.
-3
Suppose -5*x + t + 64 = 0, -t = -3*x + 9 + 29. Let g = x - 8. Suppose 2*q - 4*w - 10 = 0, 3*q + g*w + 14 = 7*q. Solve 0 = -5*j - q + 6 for j.
1
Let s = -35 - -47. Solve 0 = -3*z + 3 - s for z.
-3
Suppose -5*j + 8 = -3*j. Solve 0 = p + j*p - 10 for p.
2
Let i(c) = -c + 6. Suppose -z = -2*z - 8. Let l = 14 + z. Let f be i(l). Solve f = v - 2 - 1 for v.
3
Let p(u) = 3*u - 3 - 4*u + 5*u**2 - u**3 - u + 2. Let g be p(4). Let f = g - 4. Solve -2 = -f*h + 7 for h.
3
Let j = -31 - -31. Solve j = -2*l + 3*l - 3 for l.
3
Let s be (-16)/10*5/(-2). Solve -s*q + 2 = 22 for q.
-5
Suppose f = a + 4, -3*f + 5*a = -5 - 5. Suppose 5*n + 25 = 65. Suppose -n*k = -9*k. Solve k*m - 20 = f*m for m.
-4
Let a = -38 - -44. Solve -a = n - 1 for n.
-5
Suppose 5*h - 1 = -3*x - 0, -5*h + 2*x + 16 = 0. Solve -h*p + 3 + 7 = 0 for p.
5
Suppose 8*c - 22*c = -70. Solve -2 = -c*r - 12 for r.
-2
Let n = 61 - 57. Solve o + n*o = -25 for o.
-5
Suppose -5*i = -17 + 7. Suppose -12 = -3*x, i*c + c - 7 = 5*x. Suppose -4 = -o + 3*b, -4*b + c*b + 8 = 2*o. Solve -2 = o*d - 10 for d.
2
Let v = 5 - -7. Solve 2*r + 2*r = v for r.
3
Let p be 1*(-3)/((-9)/15). Let t(h) = 3*h**2 - 4*h - 1. Let f = 8 + -5. Let i be t(f). Solve i = -p*o - 6 for o.
-4
Let d = -1 - -6. Suppose f - 7 = -d. Solve -4*v - f = 10 for v.
-3
Let h(r) = r**2 + 5*r + 3. Let f be h(-4). Let v(y) = y + 1. Let q be v(f). Solve q = -2*t - t - 3 for t.
-1
Let a(w) = -w**2 - 7*w + 4. Let r be a(-8). Let k = -3 - r. Let o = k + 0. Solve 4*v = o - 5 for v.
-1
Let j = 4 - 4. Suppose -4*g + 21 = 5*l - g, j = -5*g + 10. Solve -l*t + 6 = -6*t for t.
-2
Let c be -1 + 1 - -4 - -1. Let a = 4 - 0. Let x = -4 + a. Solve x*j = c*j for j.
0
Let y(b) = -b**2 + 29*b - 28. Let v be y(28). Solve 2*h + 0*h - 8 = v for h.
4
Let r = -58 - -73. Suppose 0 = -0*t - 3*t + 9. Solve r = -t*y + 6 for y.
-3
Let a be (14 - 9)*(-4)/(-5). Let t be (-11 + 5)/((-6)/a). Solve -6 = t*s - 7*s for s.
2
Let n be (-15)/(-2)*(-40)/(-15). Let j = -5 + 5. Suppose 0 = -f + 4 - j. Solve n = f*m + m for m.
4
Suppose -5 = -11*f + 10*f. Solve -f + 1 = -2*o for o.
2
Let j(r) = -r + 5. Let x be j(0). Suppose -3*o = -2*v - 24, 0*v = x*o + 3*v - 21. Solve o*z + 16 = 2*z for z.
-4
Suppose 6 = 19*u + 6. Solve u = -4*j + 6*j for j.
0
Let b = 21 - 18. Let h = b - -19. Solve -5*l + h = -3 for l.
5
Let w = 27 + -17. Solve -3*b = 2*b + w for b.
-2
Suppose -2 = -2*o + 2. Let f be 45/27 - (-1)/3. Let g be ((-2 - -3)*0)/f. Solve j + j - o = g for j.
1
Let v(c) = -c + 2. Let g be v(-4). Let h(k) = -k + 5. Let x be h(4). Solve -y - g = -x for y.
-5
Let z(y) = 2*y + 18. Let i(l) = -l - 20. Let d be i(-11). Let m be z(d). Solve -4*j + 12 + 4 = m for j.
4
Let c = 4 - 2. Suppose -r - r = c. Let a be r/3 + (-7)/(-3). Solve -2 = -0*k + a*k for k.
-1
Let h(g) = g**3 - 9*g**2 - 10*g - 10. Let s(d) = 2*d**3 - 17*d**2 - 19*d - 19. Let j(f) = 5*h(f) - 3*s(f). Let u be j(7). Solve u*l - 2*l - 10 = 0 for l.
2
Suppose 0 = -4*i - 12, 4*l - 16 + 1 = -3*i. Let k = 148 + -149. Let x be (l/(-8))/(k/12). Solve -2*u = u - x for u.
3
Let c = 4 + 1. Let j be (7/5 - 1)*-10. Let y(v) = v**2 + 2*v - 3. Let a be y(j). Solve a + 0 = c*b for b.
1
Suppose z + 2*z - 9 = 0. Let v = 1 - 0. Let k = v - 0. Solve k = -z*h + 4*h for h.
1
Let u be 1*-1 + 0 - -20. Suppose 4*z - 4*q - 28 = 20, 5*q - 10 = -5*z. Solve 0 = -3*p - z + u for p.
4
Let k be 30/7 + 8/(-28). Solve 3*j = -j + k for j.
1
Suppose 0 = -4*w - 5 + 21. Solve n + 0 = w for n.
4
Suppose 0 = -5*h + 4*d - 7, 3*d = -0*d - 6. Let q = 5 + h. Solve 10 = -4*n + q*n for n.
-5
Let y be (-1)/3*(0 - 3). Let s = 9 - y. Solve -3*v = -s*v for v.
0
Suppose -5*f = -10, f = 3*r - 0*r + 2. Suppose r = 4*v - 12 - 0. Solve -2*h = v*h for h.
0
Suppose -4*x = -0*x - 4. Suppose -1 = -n + x. Suppose n*k = 1 + 3. Solve k*c = 6 + 2 for c.
4
Let w = -6 + 16. Suppose -2*x + 5*x = 0. Solve x = 2*o - 0*o - w for o.
5
Let y = 46 + 4. Suppose 0*o - y = -5*o. Solve 5*c = -0*c + o for c.
2
Let q = 94 + 66. Suppose q = 2*r - 0*r. Suppose -n = -5*n + r. Solve -5*b - n = -0*b for b.
-4
Let b be 7/(-5) - 39/65 - -7. Let l(o) = o**2 + o + 31. Let t be l(0). Solve -b*c = 6 - t for c.
5
Let b(m) = -7*m - m**2 + m - 5 + 2 - m. Let l be b(-6). Solve 2 = -l*d - 10 for d.
-4
Let k(j) = j**3 - j**2 + 1. Let u be k(1). Solve u = -4*h + 13 for h.
3
Let w(d) = d**2 - 7*d - 13. Let s be w(9). Solve s*k - 14 - 11 = 0 for k.
5
Suppose -4*u + 2*t = 7*t - 8, 0 = -t. Solve u*y = 10 - 0 for y.
5
Let q = -8 + 0. Let n be (28/q)/(1/(-2)). Suppose 0 = 5*w + 2*h - n, h + 16 = -3*h. Solve v = -w*v for v.
0
Let i(v) = -3*v - 5. Let n be i(-4). Let c = 10 - n. Solve -12 = -3*b + c for b.
5
Let r(u) = -8*u**2 - 5*u - 2. Let b(n) = -n**2 - 1. Let m(q) = 6*b(q) - r(q). Let y be m(-4). Solve 3*f - 7 - y = 0 for f.
5
Let d be -7 - 1/2*-6. Let n(i) be the first derivative of -i**3/3 - 3*i**2 - 4*i + 1. Let w be n(d). Solve -w = -2*t - 2*t for t.
1
Suppose -5*f + 16 = 3*q - 5*q, 2*f = -4*q - 8. Suppose 4 = f*g - 2. Solve c - g = 1 for c.
4
Suppose 4*t - 6*t = 0. Solve t = -r + 3*r for r.
0
Let u = 10 + -5. Suppose 7 + 7 = 2*l + 5*k, u*l - 3*k - 4 = 0. Solve -2*h 