 1 = -5*h + 9 for b.
5
Let s(t) = 4*t + 2. Let x be s(2). Let h = x - 5. Solve -4*w - 4*q - 20 = 0, q - 2 = 5*w + h for w.
-2
Suppose t = -2*t + 9. Suppose -5*h - 57 = -h - 3*r, -3*r - 87 = 4*h. Let c = h - -30. Solve 3*n = -2*n - 4*s + 3, -c = -t*n + s for n.
3
Let c(r) = -r + 34. Let a be c(7). Solve 3*n - 2*i - 14 = 0, -3*i - a + 5 = -5*n for n.
2
Suppose -8*q + 4*q + 12 = 0. Suppose 0 = -q*w + 3 + 6. Solve -w*b - 2*b + 10 = -5*c, -b - 18 = 4*c for b.
-2
Suppose 2*w = 13 - 3. Suppose w*d - 113 = -33. Solve 3*y + 3 + d = 4*g, 3*y + 15 = 0 for g.
1
Let d be ((-1)/(-2))/(3/(-12)). Let a(l) = -4*l. Let h be a(d). Let q be (-3)/(-2) + 4/h. Solve -3*r - 27 = q*b - 5*b, -4*r = -5*b + 40 for b.
4
Suppose 55*k = 50*k + 80. Solve -2*o = 3*o - 2*j + k, -5*o + 3*j - 14 = 0 for o.
-4
Let w = -99 - -101. Solve -n - 5*q = w*n - 24, -24 = -4*n - 4*q for n.
3
Let o(w) be the second derivative of -w**3/6 + 4*w**2 + 2*w. Let u be o(6). Solve -4*j + u*t - 12 = 0, -4*t = 2 - 18 for j.
-1
Suppose 2*n = -5*n + 35. Solve x - 2 = -c - 0, 0 = -x - 4*c + n for x.
1
Let p = 5 - 4. Let h be (p - -2)/((-3)/(-6)). Let f = 9 - h. Solve 2*t + 10 = -0*t + f*s, 4*t - s = -20 for t.
-5
Let l(r) = r**3 + 9*r**2 + 13*r - 2. Let h be l(-7). Solve 4*d = -3*q + 2, -d = -0*d - h*q - 12 for d.
2
Let j be (-2)/(-7) - 412/(-28). Suppose j + 10 = 5*f. Solve 4*p - f*z = 41, 4*p + 2*z + 4 = -2*z for p.
4
Suppose 0*a - a + 34 = -5*h, 3*h + 22 = a. Let c = h - -6. Solve -3*p = g, c = 3*p - p - 3*g for p.
0
Suppose 0 - 5 = 5*x. Let l be x - (-11 - (2 + -4)). Let b = 7 - -26. Solve w - l = -3*h - 3*w, 2*h - 5*w + b = 0 for h.
-4
Let a = -5 + 5. Suppose 5*c + 30 = -2*k - a*k, -5*c = -4*k + 30. Let j = c - -6. Solve -n = 4*l - j*n - 23, -l = 5*n - 20 for l.
5
Suppose -154 + 21 = -7*w. Solve -4*b - w = 5*k, 4*b = -k - 1 - 6 for k.
-3
Let h(z) = z**3 - 4*z**2 - 6*z - 3. Let d be h(5). Let c = d + 15. Let y(p) = p + 3. Let l be y(0). Solve 3*x = -l*f - c - 2, -5*x = -4*f - 21 for f.
-4
Let q be (-3)/6 + (-33)/(-2). Let j = -12 + q. Solve -40 = 4*x + x - 5*c, 3*x + 4*c - j = 0 for x.
-4
Let k = -3 + -7. Let b be ((-18)/15)/(1/5). Let h = b - k. Solve -4*r = 2*u + u + 32, 0 = -4*r + h*u - 4 for r.
-5
Let w = -42 - -47. Solve -2*v - 1 = q - 0*q, 0 = 5*v + w*q + 15 for v.
2
Suppose -4*x + x + 6 = 0. Let c be 0*((-4)/(-2))/x. Solve c = q - 5*p + 10, 0*p - 31 = -5*q - 2*p for q.
5
Let c(k) = -k**3 - 8*k**2 + 3*k + 3. Let f be c(-8). Let n be (f/14)/((-3)/4). Solve 0 = -n*o + 6, x - 3*x = -3*o + 9 for x.
0
Suppose 4 = -2*v - 0. Let r be 0*v/6 - -2. Solve d - 10 = -2*y, 3*d - 3*y + 5 = r*d for d.
4
Suppose -3*h = -2*h - 3. Let g = -20 - 0. Let o be (-48)/g - (-2)/(-5). Solve -r - o*i + 5 = 0, 0 = h*r - 2*i - 0*i - 15 for r.
5
Let h be 3/(-2)*64/(-6). Let q be 0 + (h/2)/1. Solve -4*g - 10 = -2*o, o - g + 4 = q for o.
3
Let n(j) = j + 5. Let r be n(-4). Suppose -4*z = -13 + r. Suppose z + 1 = 2*s. Solve -2*h = s*q - 4, -8 = -4*q - 2*h + 7*h for q.
2
Let z = 84 - 83. Solve 2*r = -2*x + 19 - z, -2*r + 23 = 3*x for r.
4
Let u be 1 + 1 + 1 + 1. Suppose 4*o - 1057 = -1057. Solve 2*a - t - 4 = a, u*a - 3*t - 14 = o for a.
2
Suppose 6*g = y + 3*g, -2 = -y + g. Suppose 7 + y = 2*u. Suppose 0 = -u*n - 0*n + 10. Solve n*i = -2*d, 4*d - 3*i = i for d.
0
Let l be 72/(-56) + 2/7. Let h = 15 + l. Solve -h = 5*u - 2*k, k + 1 = -4*u + 6*k for u.
-4
Suppose 5*g - 14 = -4. Suppose g*l + 36 = 4*l. Solve -l = -3*u - 3*j, j = 2*u - 0*u for u.
2
Let u(s) = -s**2 + 11*s - 16. Let k be u(9). Solve 10 = 2*l + k*t, -3*t = 5*l - 21 - 4 for l.
5
Let d = 5 + -3. Let k = 7 + -12. Let i = k + 16. Solve s - 4*l = -4 - i, 3*s + d*l - 25 = 0 for s.
5
Suppose 0 = -m - 19 + 15. Let p(j) = -2*j**3 - 8*j**2 - 4*j + 1. Let x be p(m). Solve -5*h - 5*a = -4*a - x, -5*a + 7 = -h for h.
3
Let y = -10 - -17. Solve 5*v + y + 16 = 2*n, 4*n - 3*v = 11 for n.
-1
Suppose 3*s - 5*s = -4. Suppose 4*p + 4 = 2*x + 12, 5*p - s*x - 10 = 0. Let u be (-4)/3*1*9/(-6). Solve 2*r - u = -p*k, -r + k = 6 + 1 for r.
-3
Let m(c) = -c**3 - 9*c**2 - 9*c - 3. Let a be m(-8). Solve 2 = -3*h + 2*d, -a*h - d - 1 + 2 = 0 for h.
0
Suppose 4*s + 52 = 4*w, 7 = 2*w - 3. Let q = -5 - s. Suppose 0 = 5*h - 3*d - 22, -4*d - 19 + q = 0. Solve 0 = -4*g + 5*t - 4 + 15, 0 = -h*g - 2*t - 8 for g.
-1
Let r(n) = 2*n - 3. Let c be r(3). Suppose -7 - 4 = t + 5*g, t = 5*g + 19. Solve -j = 4, 2*j + t = u - c*u for u.
2
Let i be (41/3)/((-2)/(-6)). Let b = 71 - i. Suppose -2*o = -b - 28. Solve 5*y + s = 3*s - o, -y = -s + 7 for y.
-5
Let c be 4/8 + 20/8. Solve c*k = 4*v + 14, -5*k - 5 = -0*k - v for k.
-2
Let t(v) = -v**2 + 4*v. Let p be t(3). Let a = 12 - p. Suppose 2*i = -2*i + 16. Solve -i*l - 11 = -3*m, -2*m = 4*l - 5*l - a for l.
1
Let k = 24 - 19. Solve k*i = -t - 22, -2*i - t + 0*t - 7 = 0 for i.
-5
Let s be (-1 + 10)*(-16)/(-6). Let x = 302 + -298. Solve 3*l = 5*l + 2, -5*r + x*l = -s for r.
4
Let z = -23 - -27. Solve -1 = z*f + 5*l + 20, 4*f + 11 = 5*l for f.
-4
Let x(t) = -t**2 - 10*t - 4. Suppose -2*f - 27 = f. Let l be x(f). Solve q + l*u = 10, -4*q + u = -q - 14 for q.
5
Suppose -2*p + 0*b = b - 9, 0 = 2*p + 2*b - 12. Let x = -1 + p. Solve -w = -2*i, x = -2*w + w + 3*i for w.
4
Let m be 4*20/50*(-25)/(-8). Solve -3*i - m*c = 3, -4*i + 4*c + 28 = -0*i for i.
4
Suppose 0 = 5*w - 0*w - 15. Solve -4*k + 2*d + w - 7 = 0, 3*d = 0 for k.
-1
Suppose 2*b = -b - 3. Let a be -4*b*(-1)/(-2). Let g(y) = 2*y**2 - 3*y + 1. Let u be g(a). Solve -2*k + 0*s = -4*s + 8, -u*s = 5*k - 6 for k.
0
Let b(g) = -g**3 + 8*g**2 + 7*g - 3. Let r = -4 + 11. Let m be b(r). Suppose 3*i - 8*i = -m. Solve 5*f + 3*v - 1 - 12 = 0, v = 3*f - i for f.
5
Suppose 3*s - 45 = -h, 3*h - 30 = -4*s + 2*s. Solve 2*a + 0*a - 5*m = -s, -a = -4*m + 12 for a.
0
Let j be (-14)/21 + (-4)/(-6). Suppose -s = -0*s - 6. Suppose s*t - t = 0. Solve -2*b + 3*u - 23 = j, 2*b + 4*u + t*u - 12 = 0 for b.
-4
Let x = -3 + -3. Let j be (8/x)/(6/(-9)). Solve -4*i = -j*m + 8, -5*m + i = 2 + 14 for m.
-4
Let s = -1 + -3. Let w = -4 - s. Suppose -z - z = w. Solve -c = -4*q + 9, z*c - 4*q + 4 = 4*c for c.
-1
Let d be 11 - (-2 - 5/(-5)). Solve 3*i - 3*l = d, l + l = 5*i - 23 for i.
5
Suppose 8 = 6*i - 4*i. Let s be 16/32 + 3/2. Solve s*y - i*k - 12 = -0*k, -2*k - 10 = 0 for y.
-4
Let i = -13 - -43. Let d = i - 27. Suppose 8 = -0*c + 4*c. Solve 2*o + c*o - 3 = 5*q, q = d*o - 5 for o.
2
Suppose -y + 2 = 0, 0*a - 2*y = -2*a + 28. Solve -3*i = -0*i - 5*j - 31, -3*i + a = -2*j for i.
2
Suppose 4*g = 3 + 21. Let l(c) = -c**2 + 6*c + 1. Let r be l(g). Suppose 3*m - 8 = r. Solve m*w = -4*q + 18, w = q - 0*q - 1 for w.
2
Suppose 2*w + 5*w - 3*w = 0. Solve -4*f = 3*m - 23, w*f + f - 17 = -3*m for m.
5
Suppose -4*u = -9 - 79. Let p = u - 7. Let g be (-4)/(-6) - (-50)/p. Solve 5 = 3*j + 2*l, 3*j + 6 = -5*l - g for j.
5
Let q = -4 - -6. Suppose 0 = 3*x + 5*d - 6, 0 = 2*x - 3*x + 4*d + q. Solve 5*g - 5 = -x*f - 2*f, f - 5*g - 20 = 0 for f.
5
Suppose 4*o - 8 = -64. Let i = -12 - o. Solve -v + 4 = -3*f, -2*v + 4*f + 0 = -i for v.
-5
Suppose -6 = -g - 3*j + 8, -5*g = -4*j - 13. Solve 0 = s + 4*m - g + 26, -4*m = 4*s + 24 for s.
-1
Suppose -4*k + 35 + 5 = 0. Let g = k + -7. Let a(o) = 2*o + 1. Let y be a(1). Solve -y*f = -6, r = g*r - f for r.
1
Suppose 0 = -2*x - 3*x + 20. Solve 2*q + x = -5*n, 0*q + 2*q = -3*n for q.
3
Suppose 0 = u + u. Suppose 0 = 2*l - 8 - u. Suppose 8*d - 4*i - 12 = 4*d, -12 = l*d + 4*i. Solve 0 = -2*g + 10, -q + d*g + 14 = 3*g for q.
-1
Suppose -3*m - 5*l - 4 = 0, 4*l = m - 11 + 1. Solve 2*y - y - 5*t + 14 = 0, 5*y = -m*t - 16 for y.
-4
Suppose 0 = 2*a - 11 - 3. Solve -2*y - a = 3*s, 5 = -3*s - 2*s - 5*y for s.
-5
Suppose -3*l + 29 = 5*f, 14*f - 3*l = 12*f - 1. Solve 0*b = -5*z - 4*b, 0 = 2*z + f*b - 12 for z.
-4
Suppose -4*k - 7 = -h + 8, 2*h - 2*k = 12. Solve 2*a + 2*c = 10, -c + 20 = -h*a + 3*c for a.
0
Let s = 6 + -5. Let x(a) = -a - 4 + 2 + 2 + s. Let r be x(-5). Solve 4*q + 14 = 3*c, 33 = -r*q + q - 4*c for q.
-5
Suppose -5 = 5*p - 25. Solve 2*s + 2*w - 2 = 6*s, 2*s + p*w = 24 for s.
2
Let w be (18/(-15))/((-6)/15). Suppose -w*y + 68 = y. Solve 2*j + 3*b = 14, y = 3*j + 3*b + 2 for j.
1
Let s(j) = j**2 + 5*j - 9. Let q = -11 - -4. Let u be s(q). Let k = 5 + -1. Solve 3*l + k*b = -12 + 36, l = u*b - 11 for l.
4
Let m(c) = -c + 7. Let n 