-j*b - b + 5, -n = 3*b + 17 for b.
-5
Let z(g) = -2*g**2 - g + 1. Let f be z(1). Let y be (2/(-2))/(1/2). Let v be (y - f)/(3/1). Solve 11 = h + 4*b - v*b, 5*h + 14 = 3*b for h.
-1
Let s be (-1 - -6) + 1*-1. Suppose 2*v + 0*h - 40 = -h, s*v - 2*h - 96 = 0. Let l = 23 - 21. Solve -l*j + v = 3*j - 4*g, -j = -2*g - 8 for j.
2
Suppose -2*x = -x. Suppose -3*u = -x*u. Solve u = -z - 4*q - 1, -2*z + 4*z - q = -2 for z.
-1
Let x(h) = h**2 + 29*h + 33. Let o be x(-28). Solve -o*g = z + 29, -g - z - z = 13 for g.
-5
Let d be -1 - (-2 - (-4 + 3)). Suppose 4*j + d*y - y - 41 = 0, 0 = 5*j - 5*y - 70. Solve 0 = m + 2*n + 9, 2*m + 3*n + j = -4 for m.
1
Suppose 0*s = 2*s + 12. Let o be (1/2)/((-3)/s). Suppose -4*m = m. Solve 3*t + f - o = m, -t = -f + 3*f - 2 for t.
0
Let y = 15 + -12. Let z be (y/2)/((-3)/(-28)). Solve -3*x - 3*a = -5*a - 10, 3*x = -2*a + z for x.
4
Suppose -22 = 3*v - 4*b + 39, 0 = -3*v - 5*b - 79. Let j = -10 - v. Solve 3*n + j = -2, 3*r - 2*n = 22 for r.
4
Let u(a) = 15*a**2 + 1. Let x be u(1). Let l be x/10*15/6. Suppose -d = d - l. Solve -d*g - 3*f - 2*f = 8, 4*g + 16 = -2*f for g.
-4
Let j = 2 - 0. Let o(b) = -4*b**3 - 2*b**2 + 1. Let p be o(-1). Solve 4*w + 5*f = -12, -j*w + f - 6 = -p*f for w.
-3
Suppose -2*u - 2 + 6 = 0. Suppose -3*z + 4 = -u*z. Solve i - z*a - 2 + 3 = 0, -3*a = -3*i - 3 for i.
-1
Let b(s) = 3*s**2. Let p be b(1). Suppose p*y - 4*y = 0. Let k be -1 + 1 + 2 + y. Solve 5*n + 40 = -5*v, -k*v - 22 = 4*n - 0 for n.
-3
Let u = 375 + -342. Let p = 14 + -10. Solve -3*b = -5*s - p*b - 27, -4*b - u = 5*s for s.
-5
Suppose -3*h - 56 = -17*h. Solve -5*r + 7 = -s - 3, -2*r + 3*s = -h for r.
2
Suppose 0 = -3*o - 6 + 12. Suppose -l - 2*s + 0*s = -2, 0 = 4*l - 5*s - 21. Solve -l*p = 4*n - n + 14, o*n = -4*p - 12 for n.
-2
Suppose -6*q - q = -154. Solve -f = 5*a - 6, -3*f - q = -6*a + a for a.
2
Let i(a) = -a**2 + 7*a - 4. Let z be i(6). Let t be (-2)/7 + 298/14. Solve -5*m + z*c = -6 - 15, 4*m - 3*c = t for m.
3
Let t be 1/(0 + (-2)/(-6)). Let d be (-6)/2*(-4 + 3). Suppose -d*p + 8*p + 4*w + 10 = 0, -t*w - 13 = p. Solve -21 = -p*o + 5*v, 5*o - 17 + 5 = -v for o.
3
Let w = 6 - 1. Suppose 4*x + 4*m - 8 = 0, 2*x + 9*m = 4*m + 1. Solve -w*p - 2*h + h = -29, 0 = -x*p + 3*h + 3 for p.
5
Let g be (1 - 4)*8/12. Let z be g*9/(-6) - 1. Suppose z*b - 7*b = -50. Solve -b = 2*j - d, j - 15 = 4*j - 3*d for j.
-5
Suppose -19 = -3*o - 4. Solve 2*v = o*i + 8, 4*v + 2 = -5*i - 12 for i.
-2
Let l(t) = -t**2. Suppose f = 3*f. Let a be l(f). Solve o + 0*o + 22 = -5*y, a = -3*o + 9 for y.
-5
Suppose -2*u + 33 = 3*n, n - 5*n + 2*u = -58. Solve 0 = -5*c - 2*f + n, 1 = f - 2*f for c.
3
Suppose 0 = -4*x - x - 25. Let o be (2/x)/(4/20). Let g(n) = -n**3 - n**2 + n + 1. Let a be g(o). Solve -2*v + a*p - 1 = -3*v, 2*v - 6 = -2*p for v.
4
Let x(v) = v**2 - 1. Let m be x(2). Solve -4*h = -3*l - 22, m*l - l = 4*h - 20 for h.
4
Suppose -m - 2*m + 12 = 0. Let l be 90/(-21) - m/(-14). Let n = l + 6. Solve n*x = 10, 0 = -0*i + 3*i - 3*x + 6 for i.
3
Suppose 3*b + 2*b + 5 = 0. Let x be b + 62/4*2. Suppose 6*h + 62 = 92. Solve 0 = h*j + 5*w - 0*w + x, 0 = j + 3*w + 12 for j.
-3
Suppose -86 = -4*s - 18. Suppose -3*g - 5 = -s, 5*o + 5*g - 70 = 0. Solve 2*z + 5*d + o = 0, -z - 8 = 3*d + d for z.
0
Let p = 1 - 0. Suppose 2 + p = 3*n. Solve r = 5*k + 9, 2 = k + r - n for k.
-1
Let m = 15 + -12. Solve -8 = m*i + v, -2*i + 0*v = -5*v - 6 for i.
-2
Suppose -5*s - 9 - 4 = -3*z, 3*z - 21 = -3*s. Solve 0*i + 2*x = 2*i + z, 2*x = -3*i + 1 for i.
-1
Suppose -7*w - 14 = -49. Solve -5*y - 15 = -w*t, 3*t + 2*t - y - 11 = 0 for t.
2
Let j = -3 - -5. Suppose m - 18 = j*m. Let k be 1 + -1*3 - m. Solve 4*b + k = 4*l, 0 = l + 2*b + 1 + 1 for l.
2
Suppose 5*w + 2*k = k + 70, -w - 2*k + 5 = 0. Suppose -2*s + w = s. Solve -3*u = -s*p - 19, p - 2*u + 2 + 6 = 0 for p.
-2
Let u = 6 + -6. Suppose u = -0*s - s + 7. Solve 2*q = -4*d - d - s, 2*d = 5*q + 3 for q.
-1
Let c be (-4 - -1)/(15/(-10)). Solve -4*z - 3*s - 17 = -1, -c*z = 2*s + 10 for z.
-1
Let v(a) = a + 9. Let s be v(7). Suppose -t - 4 = 0, -4*t + 1 = -5*x + 2. Let f be -5 - -20 - (0 + x). Solve s = -4*m, -m = -5*d + m + f for d.
2
Suppose -4*j + j = -6. Let r be (-17)/j - (-3)/6. Let f be r/6*9/(-6). Solve -f*p - y - 1 = -0*p, -3*p - y - 2 = 0 for p.
-1
Suppose -3*n - 4*w + 0*w = 14, 0 = -4*w - 20. Let r = -4 + 3. Let q be r/1*(4 - 9). Solve 5*b + q*i = 2*b + 14, -n*b - 5*i + 11 = 0 for b.
3
Let r = -46 + 48. Solve -4 = -3*w - r*g, 3*g = 5*w - 0*g + 6 for w.
0
Let u = 37 + -35. Solve 3*c = -5*m - 32, -u*c - 2*c = -m + 12 for c.
-4
Let b be (-1 + 2)/(-1) - -88. Let l be b/27 + 2/(-9). Solve -4*w + 1 = g - l*w, -17 = -5*g - w for g.
4
Let z be (-3 - (-4 - -5)) + 6. Solve -z = r, r + 4*r + 14 = -g for g.
-4
Let q = 15 + -25. Let i(j) be the third derivative of j**4/24 + 2*j**3 + j**2. Let u be i(q). Solve -3*w - 3*d - 1 = -2*w, 4*d = u*w - 8 for w.
2
Suppose -3*p - 5*z + 25 = 0, 1 - 3 = -z. Solve -c = -6*c - 3*t + 9, c - p = t for c.
3
Let t be -2*(4/1 + -9). Suppose -6 = 2*f - t. Solve w - f*h = 4, h + h = 0 for w.
4
Let j(r) = r**2 + 7*r + 15. Let b be j(-5). Solve 3*l - b*f + 20 = -3, -2*l = -2*f + 10 for l.
-1
Let l = -43 - -43. Solve -v - 4*v - 14 = 3*x, -3*v + 5*x - 22 = l for v.
-4
Let w(p) be the first derivative of 2*p - 1 + 1/2*p**2. Let u be w(0). Solve 3*i + u*t + 3 = 0, 4*i + 0 = -t - 4 for i.
-1
Suppose -g = -6*n + 3*n + 1, -5*g + 33 = 4*n. Solve 2*y + n*y + 8 = 2*r, 3*y = -5*r - 6 for y.
-2
Let y be (4 + 2/(-5))/(2/15). Solve 0 = 3*j + w - 12, -j + 5*j - y = -5*w for j.
3
Let o(a) = -2*a + 2 - a**2 + 0*a - a. Let w be o(-3). Let v = 10 - -21. Solve 19 = -3*j - w*y, -v = j + 4*j + 3*y for j.
-5
Let y(z) = z - 5. Let j be y(5). Let r = 8 + -6. Solve c + j*c = -2, 6 = r*u - 4*c for u.
-1
Let s be ((-143)/(-44))/((-2)/(-8)). Let h(w) = w**2 - 4*w + 4. Let o be h(4). Suppose z + o = s. Solve -2*n = -5*x - 17, 0 = 4*n - z*x + 4*x - 19 for n.
1
Let k(a) = -3*a + 3*a + a - 11 + 1. Let j be k(14). Solve -j*h + o = 8, -5*h = -2*o - o + 10 for h.
-2
Let f = -26 - -31. Let z = -13 - -18. Solve z*a + 20 + f = 0, 1 = t - a for t.
-4
Suppose 0 = c + 5 - 8. Solve -2*n + 9 = -c*o, -3*n = -4 - 5 for o.
-1
Let n(h) = -h**3 + 4*h**2 + 2. Let k be n(4). Let t(s) = -55*s - 1. Let g be t(-1). Suppose -m + g = k*m. Solve -b = -3*i - m, 0*b + 3 = -4*b - 3*i for b.
3
Suppose 27 = 31*b - 30*b. Solve -5*n + b = -2*z, -z = -6*z - n for z.
-1
Let p be (-3 - -1)*10/(-4). Let y be (21/(-14))/(3/(-20)). Let q be (y/6)/((-1)/(-3)). Solve -4*i - g = -11, 5*i + 0 = -q*g - p for i.
4
Suppose 3*p = 4*y - 31, -1 = -4*y + 4*p - 7*p. Solve 3*n - a + 1 = a, -4*a - 28 = y*n for n.
-3
Suppose 3*t = -3*f, 4*f - 4*t - 21 = 11. Suppose -f*i + i = -12. Solve 4*u - 2*k = i, -2*u + 5*u + 2*k - 3 = 0 for u.
1
Let h(z) = z**2 - 7*z - 2. Let b be 9 - (-1)/1 - 1. Let p be h(b). Solve 3*w + u = -10, 4*w + u + 3*u = -p for w.
-3
Suppose 0 = o + o + i - 10, -2*o - 5*i + 10 = 0. Let n = 5 - o. Suppose n = -b + 3. Solve -3*q - b = 0, -q + 6 = h - 2*q for h.
5
Suppose 2*l + m - 9 = 0, 2*m + 1 - 3 = 0. Suppose 9*g = 4*g + 10. Suppose g*y + 4 = 3*y. Solve -y*t - 4 = -9*k + l*k, -2 = -k + 2*t for k.
0
Suppose 0 = 5*s + 25 - 35. Solve -m - 12 = -s*b - 3*b, 0 = b - 2 for m.
-2
Suppose -5*j + 15 = -0*j. Suppose -j*x - 2 = -3*f - 5*x, 0 = 2*f - 5*x - 33. Solve -f*i + i = -4*l + 11, i + 11 = 5*l for i.
-1
Let y(r) = -r**3 - 6*r**2 - 2*r - 9. Let f be y(-6). Suppose 2*q - 4 = 2. Let o = -1 + q. Solve -o*x - f + 14 = -3*b, -5*b + 4*x - 21 = 0 for b.
-1
Suppose 0 = r - 3*r + 22. Suppose -3*d - a + 17 = 0, 4*d - 5*a = 2*d + 34. Let i = r - d. Solve -4 = c, -i = 2*w + 2*c - 0*c for w.
2
Let y(o) = 4*o**2 - 1. Let i be y(1). Solve -u + 0*z = -z, 0 = i*u + 5*z + 8 for u.
-1
Suppose -6 = 2*p + w, 2*p - w = 4*w - 18. Let r be (-1 + 3)*(-4)/p. Solve -4*g + 25 = -v, 18 = -r*v + 4*g - 12 for v.
-5
Suppose 4*w = -o + 2, -3*w = -4*o + w + 28. Let c be (o/(-4))/((-6)/8). Suppose -3*t + c*t + 3 = 0. Solve 0 = -5*r - m + 3 - 0, -t*r + 9 = 3*m for r.
0
Let g be 24/4 - (-5 + 7). Suppose -o + 0*o = -4*i + 11, -16 = -g*i. Solve -3*s - 2*s = 5*n - 10, -4*s = 3*n - o for n.
3
Let h(w) = w**3 - 8*w**2 - 7*w - 13. Let p be h(9). Solve -5*a + 2*a = -12, 5*z - 5 = -p*a for z.
-3
Let v = -106 - -106. Suppose 3*o - 