h - 11 for b.
-3
Let h be 36/(-44) - 2/11. Let c = 0 + -1. Let i be 1 + (h - -2) + c. Solve 5*d - 2 = -0*b - 3*b, i = -b for d.
1
Suppose -4 = 6*f - 34. Solve 2*a - 4 = -f*j + 9, 3*a - 10 = 2*j for a.
4
Suppose -5*v + 31 = -2*x - 2*x, -x - 20 = -3*v. Suppose v + 5 = 3*u. Solve 0*j - 12 = 2*j + 4*q, -12 = u*q for j.
0
Suppose 0 = 5*y + 35 - 115. Solve -4*h = 20, 0*v + y = v - 3*h for v.
1
Let j(k) = 5*k - 3. Let t(q) = 4*q - 2. Let h(x) = 2*j(x) - 3*t(x). Let l be h(-1). Solve 0 = -2*r + 2, 3*c + r + 12 = -l*r for c.
-5
Let z be 1*1/((-4)/(-36)). Let j(q) = -q**3 - q + 2. Let r be j(0). Let m be (3/(-2))/(r/(-4)). Solve m*d = -z, -7*f - 3 = -4*f - 2*d for f.
-3
Suppose 6*s = 5*s + 15. Let n(y) = -y**2 + 17*y - 18. Let a be n(s). Solve -m + 5*k = -a, -3*m - 21 = m + 3*k for m.
-3
Suppose -94 = -5*z - 24. Let l(h) = -h**3 - 32*h**2 - 33*h - 58. Let t be l(-31). Solve -5*j = -t*y - z - 4, 0 = -2*j - 5*y - 6 for j.
2
Suppose -17 = r - 20. Solve z - r*z + 3 = -3*q, -4*q = -2*z + 2 for z.
3
Suppose 2*g + 0*n - 15 = n, -5*g + 57 = 4*n. Solve -2*x = 5*o - g, 0 = -4*x - 0*o + 2*o - 18 for x.
-3
Suppose -16 = -11*i + 10*i. Let w = i + -12. Solve -w*d + 2*v - 6*v - 32 = 0, 3*v = d - 12 for d.
-3
Let s(b) = 13*b**2 - 2*b + 3. Let d be s(2). Suppose -m - 12 + d = 0. Suppose 5*u = m + 21. Solve 4*t - u = l, -4*t = -l - 3*t for l.
4
Let g(f) = -f**3 - 4*f**2 + 5*f + 6. Let v be g(-4). Let z(w) = -3*w - 1. Let n be z(v). Solve -k = -6*k - 4*b - n, 4*k - 5*b = 0 for k.
-5
Suppose -2*r = -f + 2*f - 14, -2*r + 3*f + 6 = 0. Solve 5*y - 3*z - 11 = -r*z, 0 = -2*y + 4*z + 20 for y.
4
Let m be 0/13 + 4 + 1. Solve m*x - 8 = -j + 3, 3*j + 4*x = 11 for j.
1
Let f be (-3 + 2 + 9)/2. Let z(x) = x**2 - 1. Let k be z(-1). Solve -2*q - 2*b = k, q + 2*b - 6 = -f*q for q.
2
Suppose 5*u = -29 - 6. Let x = 11 + u. Solve -16 = -4*d - 4*i, d = i + 3*i + x for d.
4
Let v = 5 - -6. Suppose -10 = -q + 2*s, -4 = 2*q + 4*s + 16. Let y = q + v. Solve 12 = -3*d + 3*m, 3*m = d + 3*d + y for d.
1
Let o(s) = s**3 + 4*s**2 + 2*s - 1. Let y be o(-3). Solve 3*f - m + 14 = 0, f + 4*f = -y*m - 5 for f.
-3
Let m(x) = 2*x**2 - 10*x + 3. Let q be m(5). Suppose -3 = -3*a, 5*a - 5 = -q*o - 0*o. Solve o*p + 4*p = -3*s + 18, 0 = -p - 3*s + 9 for p.
3
Let q(r) = -3*r**3 - r**2 + r - 1. Let y be q(-2). Solve -6 = 4*o - t - y, -3*o - 3*t + 12 = 0 for o.
3
Suppose 4*w - 3*h = -h + 14, w + 4*h = 8. Solve 5*c + 2*p = 15, -3*c - 2 = w*p + 3 for c.
5
Suppose 50 = -5*z - 4*r, 58 - 8 = -5*z - 2*r. Let a be ((-12)/(-10))/((-2)/z). Solve -5 = -3*g - v, 5*v - 1 = -a*g + 3*g for g.
2
Let t be ((-8)/10)/(18/(-90)). Solve 0 = t*y + 3*v + 5, -9 = y - 2*v + 6 for y.
-5
Suppose -9 = -4*y + s + 8, -2*s - 16 = -2*y. Solve -y*v + 4 = 3*a + v, -4*a + 5*v - 36 = 0 for a.
-4
Let u = -4 - -12. Let f be 26/u - 3/12. Solve -3*m - 9 = -c, f*c - 5*m = 8*c - 5 for c.
3
Suppose 3*d = -d + 12. Solve 0 = -2*g + d*w - 9 - 12, -5 = -w for g.
-3
Let q be 1*(0 + 1)*-1. Let m be 20 + (1 + q)/3. Solve 0 = 4*t - 0*t + 2*r - 16, -5*t = 4*r - m for t.
4
Let g = 3 - -1. Let l = -6 - -8. Suppose -3*i + 3*v = -57, 24 = 2*i - i - l*v. Solve 4*y - 2*o + 0 - i = 0, -g*y + 17 = o for y.
4
Suppose 0 = -4*w - 2*q - 20, 0*w + 3*w - 4*q - 7 = 0. Let f be (-6)/(-3) + -1 - w. Solve 0 = 2*s - f*d - 10, d + 0*d = s - 2 for s.
-1
Let g be 9 + 6/4*-2. Suppose n - 3*n + g = 0. Solve b = n*j + 3*b, -8 = 2*j + 4*b for j.
2
Let s = -4 + -19. Let w = s - -25. Solve -4*j - 17 + 1 = -w*n, -6 = 3*j for n.
4
Let j(i) = i**3 + 7*i**2 - 13*i - 12. Let f be j(-8). Solve 0*m + 3*m - 24 = -3*p, -m = 5*p - f for p.
5
Let j be (-3)/1 - (-7 + 2). Let w be (((-12)/(-2))/j)/1. Solve 4*r - 5 = -3*g - 1, 0 = 5*g + w*r + 8 for g.
-4
Let j(h) = -h**3 - 7*h**2 + 7*h + 10. Let q be j(-8). Suppose -2*v + 3*r = -q, -5*v + 5*r + 21 = -14. Solve -2*a - 3*s = 3, v*s + 9 = -a - s for a.
3
Suppose -4*l = u - 96, -72 = -2*l - l + 5*u. Suppose -4*r + 4*b = -6 - 14, -2*b = -3*r + 12. Solve -4*k + 3*n + 15 = 1, r*n = -4*k + l for k.
5
Suppose -5*w + 2*w + 6 = 0. Suppose -w*r + 8 = -0*r. Suppose r*d + 2*v = v + 75, d = 2*v + 21. Solve -5*h - d = -c, h = -0*h - 4 for c.
-1
Let t(o) be the third derivative of o**5/60 - o**4/6 + o**3/3 + o**2. Let h be t(4). Solve 5*g - h*z = -3*z + 7, -2*g + 16 = -4*z for g.
2
Let t(d) = -d. Let u be t(-3). Let y = u - 3. Suppose -3*l - 2*k + 7*k + 31 = 0, 0 = 3*l - k - 11. Solve -3*c - 3 = -p, -c + 4*c + l*p + 12 = y for c.
-2
Suppose -3 = -0*v + v, 4*r + 10 = 2*v. Let x be (-3)/2 - 14/r. Suppose -4 = -3*j - x*c, 2*c + 2*c + 8 = -2*j. Solve -3*i = -j*p + 9 + 8, -2*i = -2 for p.
5
Let y(f) = -f**2 + 22*f + 8. Let k be y(22). Solve -3*q - 5 = n - k*q, -2*n + 2*q = 2 for n.
0
Suppose 6 = 2*i + 2. Let a be (2 + (1 - 0))*3. Solve a*h = 4*h + 15, 4*h - 14 = -i*m for m.
1
Let q = 2 + 1. Suppose -4*l = 2*x + x - 33, 2*l + 5*x = 27. Suppose -q*p = -p - l. Solve f - p*a + 11 + 4 = 0, -2*a + 5 = f for f.
-3
Let s be (1/4)/((-1)/(-4)). Let r = 2 + s. Solve -r*w + 3 = h - 2*w, 0 = -3*h - w + 1 for h.
-1
Let m = -9 + 11. Let x(u) = -u**2 + 5*u - 2. Let l be x(2). Let j = -1 + l. Solve 0 = j*n + 3, 4*h + 1 - 15 = m*n for h.
3
Let i(p) = 3*p + 23. Let s(t) = t + 8. Let q(u) = -6*i(u) + 17*s(u). Let j be q(-4). Solve -12 = -l + 4*f, -2*f - 6 = -j*l - 0 for l.
0
Let g = -18 + 20. Solve h + 0*h + 5 = 4*w, w + g*h + 1 = 0 for w.
1
Let u(w) = 3*w + 2*w**2 + w**3 - 6*w**2 + 9*w**2 - 4. Let i be u(-3). Solve -2*z - 3*s = 10, 2*z - i*z + 3*s - 15 = 0 for z.
-5
Let b(f) = -8*f - 1. Let q be b(-2). Solve -2*i + 5*a = 3*i - q, 4*i = -3*a + 26 for i.
5
Suppose -l = 2*n + 1, -4*l = -8*n + 3*n - 22. Solve -l*u + 21 = -3*y, -3 = -0*u - u for y.
-4
Let p(r) = r**2 + 4*r - 1. Let s be p(-5). Suppose -s*w + b = 1, b = -2*b + 3. Solve w = 4*m - 3*n - 11 - 13, -3*m + 1 = 2*n for m.
3
Let v = 20 + -17. Solve v*u - 2*w - 10 = -0*w, -10 = -4*u + w for u.
2
Let f be 108/63 + 2/7. Solve 12 = 4*s, -s = -0*i - f*i - 5 for i.
-1
Let t be 0/(6/(-3)*-1). Solve t = -5*y - 5*j + 10, 0*y + 5 = 2*y + j for y.
3
Suppose a + 0*a = 4. Suppose 15 = a*g + g. Solve 5*w - f - 4 = 0, -g*f = 2*w + f - 6 for w.
1
Suppose 5*o = 2 + 8. Suppose -5*v = -8*x + 3*x, o*v = 5*x. Solve -5*l + 4*s + 36 = x, 3*l = 5*s - 0 + 32 for l.
4
Let d be (-26)/(-7) + 12/42. Suppose -6*o + d*o + 32 = 0. Suppose 4 = m + w, -5*w = -4*m - 2*w + o. Solve 3*u - 1 = -4*x, m = -x - 0*x - 5*u for x.
1
Let d(x) = x**2 + 9*x + 19. Let v be d(-7). Solve -2*g + 4 = k, 0*k = -v*k + 4*g - 36 for k.
-4
Suppose 2*b + 8*h = 9*h, 0 = -3*h. Solve b*m = -2*m + 10, p + 14 = 3*m for p.
1
Let f = 2 + 0. Suppose 0*b + b - 92 = -4*v, v = 5*b + 2. Let n be (-2 - -3) + v/f. Solve 4*z = -5*x + 11, 3*x = 2*z + z + n for x.
3
Let i = -19 + 22. Solve -18 = p - 4*a, -2*p = -5*p + i*a - 9 for p.
2
Let j(o) be the first derivative of o**4/4 - 8*o**3/3 + 7*o**2/2 + 5*o - 2. Let l be j(7). Solve 3*z + 0*z + l*k = 4, -z - 4*k + 6 = 0 for z.
-2
Let u = -35 + 35. Solve q + d = u, -7 = 4*d + 5 for q.
3
Suppose 3*x = -2*x. Let k = -1 + 1. Let i be x/(-1) - k/(-1). Solve 4*m + 4 = -2*u, 3*u + i*u = -m + 9 for m.
-3
Let u(p) = p + 16. Let s be u(-13). Solve -3*t + 4 = 5*l, 3 = 3*l - s*t - 9 for l.
2
Suppose 5*y + 19 = 84. Solve 2*m - 2*v + y = 3*m, 5 = 5*m - 2*v for m.
3
Let w(m) = m**3 + 3*m**2 - 3*m - 4. Let l be w(-3). Solve -5 = -6*y + 2*y - 5*p, l*p - 25 = 0 for y.
-5
Let a(z) = 4*z - 3. Let c be a(5). Suppose -2*k = -k - c. Let i = k - 12. Solve 2 = -2*x, -i*o - 5*x - 21 = -o for o.
-4
Let c = -21 - -25. Solve 0 = -c*r - j - 19, 3*j + 1 = 2*r - 0*r for r.
-4
Suppose d = -0*d. Suppose d*m - m = -5. Solve -12 = 4*q - 0*q, -2*z - m*q - 19 = 0 for z.
-2
Let v(m) = -4*m - 15. Let y be v(-5). Solve n - 15 = -4*n, y*k + 21 = 2*n for k.
-3
Suppose 0 = 3*s - 5 - 7. Suppose -s*h = -2*h. Suppose h = 6*l - 2*l. Solve -4*a = -4*d - 20, 4*d + 22 = 5*a - l*d for a.
2
Let y = 8 - 5. Suppose -2*k + k + 3*l = -12, -3 = 3*k + 4*l. Solve 0 = k*h, -h = y*a + h + 15 for a.
-5
Let v = -32 + 33. Solve 3*a + 1 = -o - v, -3*o = a + 14 for o.
-5
Let x(l) = l**3 - 3*l**2 - 3*l + 1. Let g be x(4). Let d = g + 8. Let f = 3 - 0. Solve 0 = -3*w + 2*n + d, f*w - 6 = w + 4*n for w.
5
Let p(j) = 3*j**2 + 1. Let t = -9 - -10. Let g be p(t). Solve i = 3*i + 5*m + 3, 4*m + 8 = g*i for i.
1
Let i = -11 - -13. Suppos