4*d - 3*s. Solve 0 = 2*b + d*b + 8 for b.
-2
Let q = 8 - 3. Let x be q/3 + 8/(-12). Solve 4*t - x + 21 = 0 for t.
-5
Let w(g) be the first derivative of -2*g**2 - 3*g + 3. Let o be w(-2). Let h(z) = -z - 4. Let i be h(-4). Solve -o*a + 2*a - 15 = i for a.
-5
Let h(m) be the second derivative of -m**4/12 + 5*m**3/6 + 3*m**2 + 5*m. Let b be h(6). Solve -d + 2 = -b for d.
2
Suppose 0 = -2*g + 5*g - 4*u - 2, -4*g + 13 = 5*u. Solve 0 = -0*d + g*d - 8 for d.
4
Let g(a) = -a**3 - 5*a**2 + 9*a + 7. Let h be g(-6). Let b(l) = -3*l - 27. Let p be b(h). Solve p*n = 3*n for n.
0
Let f = 12 + -16. Let p be (-1 - -9)*f/(-8). Solve -4*l + 0 = p for l.
-1
Suppose 0 = 4*n - 6 + 22. Let i(x) = x**3 + 4*x**2 - x - 1. Let y be i(n). Suppose -y*c + 4*c = 0. Solve c = 4*d - 6 + 2 for d.
1
Suppose -l = -0*l - b + 8, l = -3*b - 28. Let k(n) = -21*n. Let u be k(-1). Let d = u + l. Solve d = 2*i - 0 for i.
4
Let d = -38 - -44. Solve -d = -h - h for h.
3
Let t(i) = i**2 - 5*i + 6. Let w be t(4). Suppose -44 = -5*u - 3*b, 0 = w*u - b - b - 8. Solve 0 = -3*g + u*g + 4 for g.
-1
Let p = 7 - 3. Suppose s + 1 = p. Solve -5 = 4*h + s for h.
-2
Let g be (3 + (-55)/10)*(-4)/5. Solve 5 = g*q - 1 for q.
3
Suppose n = 7 + 9. Let g = -8 + n. Solve 0 = -4*b + 6*b + g for b.
-4
Suppose 18 = 4*z - 14. Solve -4*o + 4 = -z for o.
3
Let q be 1/(1/8*2). Solve q*t = t for t.
0
Suppose -4*a = -2*f - 0*a + 8, 5*f = 4*a + 26. Solve n - 1 + f = 0 for n.
-5
Let w be (2 - 1)/(4/32). Suppose w + 0 = 4*k. Solve 0 = -0*d - 2*d - k for d.
-1
Suppose -46 = -4*n + 50. Solve -4*k + n = 4 for k.
5
Let m(j) = -j - 2. Let y be m(-5). Let a = y - 3. Suppose a = p + 3*p. Solve 5*t = -p*t - 25 for t.
-5
Let r(j) = j**3 + 2*j**2 - 2*j + 1. Let g be r(1). Solve -n = 2 + g for n.
-4
Let j be (1/(-3))/(2/6). Let u be -1*(-10)/(-2)*j. Suppose -u*n - 3*f = 2, -3*n + 14 = 2*n - f. Solve 0 = -4*g + n*g - 2 for g.
-1
Suppose -2*c + 46 = -0*c. Let a = c + -15. Solve -4*v = -a*v + 20 for v.
5
Suppose -4*z + 2 + 10 = 0. Solve 0 = z*p - 0*p + 6 for p.
-2
Suppose 0 = -3*m + 5*h - 29, -2*h + 16 = -4*m - h. Let b(z) = -1 - z + 3*z**3 - 2 - 4*z**3 - 3*z**2. Let i be b(m). Solve y + 3 = -i for y.
-3
Let u = 47 + -35. Solve -2*q = q - u for q.
4
Suppose -4*a + 2*m + 15 = 5*m, -4*m - 24 = -2*a. Let k(g) = 2*g - 6. Let s be k(a). Let w be 38/s + (-2)/6. Solve w = 4*r - r for r.
2
Let a = -2 - -6. Suppose -5*j + 3 = -a*j. Solve -j*p + 15 = 2*p for p.
3
Let f be 0/2 + 3 + 1. Suppose -13 = -d - k, f*k + 74 + 9 = 5*d. Solve 0 = -3*r - 0 + d for r.
5
Let r(f) = 6 - 5*f + 5*f - 4*f + 3*f. Let w be r(0). Let a be (-1)/(9/10 - 1). Solve a + w = 4*d for d.
4
Let s = 34 + -29. Solve 0 = s*r + 17 + 3 for r.
-4
Let y = 22 + -22. Solve -3*i + 6 - 15 = y for i.
-3
Suppose 0 = -5*r + r. Solve r = -7*n + 3*n for n.
0
Let b be (-6)/8 + (-2)/8. Let a be (1 - 0)/1 + 0. Let m = a - b. Solve m*g = -7 + 1 for g.
-3
Suppose 0*f + 8 = o - 3*f, -5*f = -15. Suppose -h = -o + 12. Solve 0*a = h*a + 5 for a.
-1
Let y(w) = -3*w - 15. Let z be y(-6). Solve 3 = z*c - 0 for c.
1
Suppose -b + 21 = 6*b. Solve 4 = -b*m - 5 for m.
-3
Let v be 1*-1*(-3 + 3). Suppose -w + 5 - 1 = v. Solve -5*d + w = -6 for d.
2
Suppose 4*m - 5*u + 16 = -37, -2*m - 5*u + 11 = 0. Let t = m + 8. Let n be (-40)/(-24)*(t - -2). Solve w + n = -0*w for w.
-5
Suppose 3*j - 9 = -3. Solve 0*b + j*b = 0 for b.
0
Let q(o) = 3 + o - 6 - 1 + o**2. Let b be q(-3). Solve -3 = -b*j + 3 for j.
3
Suppose -r + 8 = 2*k, 2*k - 5*k + 1 = -4*r. Let u(p) = p - 3. Let s be u(7). Suppose -o - s*o - 20 = -5*h, -h + 8 = 3*o. Solve -4*v - k = o for v.
-1
Suppose -5*j = -5*o + 50, -j - 14 = -o + j. Let h(d) = 2*d - 6. Let v be h(o). Solve -4*f = -2 + v for f.
-1
Let h = -3 + 3. Suppose h = -4*d + 4 - 12. Let v be 0 - d/1 - -5. Solve -3*x - v = -19 for x.
4
Suppose -k = 5*y - 43, 2*y + 5*k - 3 = 28. Solve 5*w - 15 = y*w for w.
-5
Suppose 4*z - 5 = 3. Solve -2*o = -z + 10 for o.
-4
Let n(d) = -d**3 + 7*d**2 - 6*d + 5. Let u be n(6). Solve -t + u = 4*t for t.
1
Let o(f) = f**3 - 2*f**2 - 3. Let d be ((-5)/2)/(-5)*6. Let w be o(d). Solve 0 = -3*y - 6 - w for y.
-4
Let i(l) = -l**3 + 3*l**2 + 3*l - 4. Let s be i(3). Let z = -2 + 2. Suppose z = -0*g + 2*g - 4. Solve -3*d + s = g for d.
1
Suppose 8 = -2*v + 4*v. Suppose f - 4*f + v*k = -14, 0 = f - 5*k - 12. Let x be (-160)/(-25) - f/5. Solve x = -3*a - 9 for a.
-5
Suppose 3*m = 4*k + 3 + 1, -3*k = 4*m - 22. Solve -k*r + 20 = 2*r for r.
5
Let y = 14 - 10. Solve y*h = -0*h for h.
0
Let g = 13 - 5. Let b(p) = -p**2 + 12*p - 7. Let m be b(11). Suppose n = m*n. Solve n = f - 5*f - g for f.
-2
Suppose -w + 2*w - 5 = -j, w = -3*j + 15. Suppose -44 = 5*r - 4*y, 12 = -w*y - 3*y. Let o be (r/15)/(4/(-50)). Solve -n - 4*n + o = 0 for n.
2
Let f be (24/(-7))/((-3)/21). Let g = f + -20. Solve 4*n + g = -0*n for n.
-1
Let l be (0 + -1)/((-7)/147). Let j be (-24)/(-2)*(-2 + 3). Let q = j + -8. Solve 1 - l = -q*u for u.
5
Let f be (-10)/1*(-4)/5. Let o(r) = r**3 - 8*r**2 + r - 7. Let v be o(f). Solve 4*h + 3 = -v for h.
-1
Suppose o + 35 = -5*h + 6*o, 5*h + 5*o = 5. Let q be (15/(-5))/(h/2). Solve 6 = 5*u - q*u for u.
2
Suppose 0*m + 2*m = 0. Let d be (-1 - m)*(0 + 0). Let w be (-1 - -3) + -1 + 3. Solve d = -w*r + r for r.
0
Let c = 5 + -3. Let a(x) = 7 + x**2 - 6*x**2 + 4*x**c - 6*x. Let q be a(-6). Solve -5 - q = 4*j for j.
-3
Suppose -3*z = -0*z - 108. Let h be (z/6)/(1 + -2). Let u be 15/(-2)*4/h. Solve -u*l + 25 = -0*l for l.
5
Let x(y) = y**2 + 3*y + 7. Let k be x(0). Solve 0 = 4*t - k*t + 15 for t.
5
Suppose -3*i = -2*i + 3*i. Solve i*r = -5*r for r.
0
Suppose -4*u - 61 = -5*k, 6*u + 34 = 2*k + 2*u. Solve k = -7*j + 4*j for j.
-3
Let f = 1 + 1. Let x = f - 0. Suppose 3*m = -d - x, 2*m + 2*d = -m - 7. Solve -5*j - 11 = -m for j.
-2
Suppose -2*t + 22 = -4*u, 0*t = -5*t + 4*u + 43. Let i = 7 - t. Solve i = -r - 3 + 6 for r.
3
Let b(l) = -3*l - 12 + 12 - 12. Let w be b(-5). Solve 4*x = -w - 17 for x.
-5
Suppose 13*g = 8*g. Solve g*n + 2*n = -4 for n.
-2
Let t = 2 + -2. Suppose t = 4*l - 0*l - s + 24, -2 = 2*l - 3*s. Let o(j) = j**3 + 7*j**2 + 7. Let v be o(l). Solve -v*b = -2*b - 15 for b.
3
Let z(k) = -k - 4. Let j be z(4). Let v = 5 + j. Let u = 3 + v. Solve -5*c + 3 + 7 = u for c.
2
Suppose -h - 3 = -3*i, -3*h + 1 + 0 = -4*i. Solve -i = -o - 0 for o.
2
Let v(c) = c**2 + 6*c + 5. Let t be v(-5). Solve t*n - 5*n = -20 for n.
4
Let z = -1 + 1. Let u be (1 + 4)*(-4)/(-10). Suppose 2*f + 0*n = -5*n - 5, n + 13 = u*f. Solve z*q = f*q + 5 for q.
-1
Suppose -4*i + 7 = -85. Suppose 0 = -u + 5*u + 3*d + i, 23 = u - 5*d. Let y be u + 5 + 0/2. Solve -y = -t - 0*t for t.
3
Suppose 4*u = -5*v - 8, -3*u + 0*v + 3*v + 21 = 0. Suppose 0 = -5*w + u*w + 4. Solve w*x - 8 = 4*x for x.
-4
Suppose 4*f = 2*v + 8, -5*f + 8 - 1 = -4*v. Let c = -3 + f. Solve c = 2*g + 1 - 3 for g.
1
Suppose -154 = -5*i - 134. Solve -i*f = -0*f + 12 for f.
-3
Let a be (-1 + 3 + -6)/(-2). Suppose 0 = -2*l - l + 6. Let d = a - l. Solve 5*o - 3 - 7 = d for o.
2
Suppose g + 3 = -1. Let l be 1/(-2)*g + 5. Solve 0 = 3*m - l*m - 12 for m.
-3
Let j(t) = -t**3 + t**2 - t + 2. Let z be j(0). Solve -z*c - 1 = -5 for c.
2
Suppose -5*i = -7*q + 3*q, -4*i = -3*q. Solve i*z = 2*z + 6 for z.
-3
Suppose 0 = a - 7*a + 18. Suppose -a*i = -65 + 17. Solve i = -2*l + 6 for l.
-5
Suppose -2*s - 15 = -7*s + 5*a, 3*s - 2*a = 14. Suppose 2*x = 4*x - 8. Suppose 3*k = 4*k + x*b - 18, 4*k - 5*b + 12 = 0. Solve 2*y + s = k for y.
-3
Let s(f) = f**3 + 4*f**2 - 6*f + 1. Let q be s(-5). Let n = -2 + q. Solve -n*g + 6 = -2 for g.
2
Let y(n) = n + 9. Suppose -4*m = -2*m - 5*d - 1, 3*m - 2*d = -15. Let o be y(m). Solve -3*j = -j - o for j.
1
Let k(y) = y**3 - 6*y**2 + 6*y - 2. Let g be k(5). Let h = g - 1. Solve h*b + 3*b - 15 = 0 for b.
3
Let g = 60 - 41. Let n = -17 + g. Solve 0 = 2*w + n*w + 8 for w.
-2
Suppose 2*w + 3 + 9 = 0. Let c be (-2)/(-6) - 16/w. Suppose 2*k + c*k = -2*u + 10, 2*k = -u + 3. Solve o - 10 = -k*o for o.
2
Let n(o) = -2*o + 35. Let t be n(16). Solve -2*x + 10 = t*x for x.
2
Let v be 1/(-4) - 153/(-36). Solve v*d + 6 = 2 for d.
-1
Let h = -2 + 1. Let b be (h + 3)*3/2. Solve 0*x = -b*x - 9 for x.
-3
Let h = 0 - -1. Let p(i) = 4*i - 5. Let t be p(6). Solve 4*m + h = -t for m.
-5
Let t = -5 + 13. Let p be (-15)/6 - -2 - (-18)/4. Solve