2*f + 5*b - 11 = 0 for f.
-2
Suppose 36 = 18*h - 0*h. Solve 0 = -3*f - 5*s + 5 + h, 2*s - 6 = -2*f for f.
4
Let y be (5 + -11)*2/3. Let l(g) = g**2 + 5*g + 4. Let i be l(y). Let d = 402 + -400. Solve i*v + v - 7 = -3*p, 0 = 3*p - d*v - 22 for p.
4
Let g = -137 + 142. Solve -4*u + w = 3*w - 22, 4*u - 25 = -g*w for u.
5
Let c(q) = -2*q**3 - 15*q**2 - 11*q - 24. Let x be c(-7). Solve x*w - 3 + 9 = 5*o, -2*w = o - 4 for o.
2
Suppose -5*p = -7*p - 2*k + 2, -4*p - 5*k = -3. Solve p*j + 3*i - 2 = -9, -3*j = 4*i + 8 for j.
4
Suppose -6*d + 3*d + 48 = 0. Let t = d + -3. Solve 2*m - 6 = -5*r, -1 = 4*m - t for r.
0
Suppose -3*b - 14 = -23. Suppose b*v + 2*v - 5*r = 85, v - 27 = 3*r. Solve -d - 2*q - 8 = 0, -5*d - 5*q - v - 8 = 0 for d.
0
Suppose 4*f - 3*k - 23 = 2*k, 0 = 3*f + k - 3. Solve f*l + 3 + 7 = 0, -3*o - 3*l = 24 for o.
-3
Let j = 1039 - 1035. Let z = -1 - -1. Let x = z - -3. Solve -8 = -j*d - u + 5, 3*u = x*d + 9 for d.
2
Suppose s - 8 = -s. Suppose 4*h + 14 = 34. Let n(g) = -g**3 + 4*g**2 + 8*g - 13. Let o be n(h). Solve -2*m - o*j = s, -4*m - 3*j + 6*j = -27 for m.
3
Suppose -4*w + 3 = 2*x - 9*w, w = x - 3. Let v be (x/(-10))/((-2)/(-340)). Let c be v/(-24) + 2/12. Solve 5*q = -4*d - c - 6, 3*d - 5*q - 37 = 0 for d.
4
Let a be ((-192)/16)/(-11 + 8). Suppose -3*x = -0*x - 9. Solve x*q - a*i + 13 = -6*i, -q + i - 1 = 0 for q.
-3
Let g(c) = c**2 - 9*c + 26. Let z be g(5). Let u = -5 - -3. Let f = u + z. Solve f*t = 5*x - 22, -t + 17 = x - 6*t for x.
2
Let x be (-2 - (-2)/2)/1. Let w be (-45)/(-3)*x/(-3). Solve w*y - 20 = 0, 4*q - 2 = 2*q - 2*y for q.
-3
Let i be ((-3)/(-9))/(2/6). Let o = 3 - 8. Let p be (-2)/o - 126/(-35). Solve 3 = -s + p*y, s - 2*y - 2 = -i for s.
5
Let m = 848 + -846. Solve 2*n = -2*u + 4, -3*u + 13 = -m for n.
-3
Suppose -2*j - f = -j - 7, 5*f - 3 = 3*j. Let b be (106/318)/((-7)/(-6) - 1). Solve 5*c - 2 = 5*d + 8, -5*d = -b*c + j for c.
2
Let c = -49 - -19. Let s be (-80)/c*6/4. Solve -2*y - s = -3*d, -4*d - 16 = -3*y - 5*d for y.
4
Suppose 3*u + 5*w - 120 - 296 = 0, 0 = -2*u + w + 286. Let r = u + -138. Solve -r*q + 6 = -3*k, q - k - 8 = 3*k for q.
0
Let a = 15 - 16. Let t(g) = -6*g - 2. Let o be t(a). Let d be -4 + o + 2 + -2. Solve -15 = -r + 4*w - 6*w, -4*r + 3*w + 5 = d for r.
5
Let u(s) = 3*s**2 - 5*s**2 + 0*s**2 + s**2 - 17*s. Let l be u(-17). Solve k + 5*m - 7 = 1, k - m + 4 = l for k.
-2
Let x be -14*(2 - (-2 - -3))/1. Let k be (-354)/x - (-8)/(-28). Solve 0 = 5*r + 3*i + 13, 3*r + k = 2*r + 5*i for r.
-5
Suppose 139*z = 140*z - 205. Suppose -5*n - z = -210. Solve 4*b - 3*h = -19, -b - 4*h + 20 - n = 0 for b.
-1
Let m be (1/(-2))/((-3)/(-12)). Let b be (7 - 3)/(m/(-1)). Let a = b - -2. Solve 5*f + 16 = -a*c, 3*f - f = -2*c - 6 for f.
-4
Let l(j) be the first derivative of j**2/2 - j + 2. Let d be l(2). Let f be (3 - 3)/d + 0. Solve 3*k - w = w - 1, 3*k + w - 14 = f for k.
3
Suppose 2*k - 2*w + 3 = -w, 0 = 3*k - w + 2. Let d(p) = -p. Let l be d(0). Let z = l + 2. Solve k = -s - i - z, 0 = i - 1 for s.
-4
Suppose -2*k - 14*t + 12 = -13*t, -3*k + 5*t - 8 = 0. Solve -3*o + 6 = -y - 5, -k*o + 18 = -3*y for o.
3
Let q = 688 - 683. Solve q*w = 4*a - 10, -3*a + a - w = 2 for a.
0
Let l(b) = 2*b**2 + 6*b + 7. Let w = 34 + -36. Let g be l(w). Solve -v + g*m = -17, v - 4*m = 1 + 20 for v.
5
Let x be (0/4 + 2)*-1 + -52. Let k = x + 56. Solve -5*z = -2*u + 15, 0*u = -k*u for z.
-3
Let r(w) = -w - 1. Let q be r(-6). Solve -3*m = z - 5 - 5, m = q*z - 18 for z.
4
Let d be (-1 - -2)*(-10)/(-2). Let j = -543 + 548. Solve -2*r + 2 = j*f + 25, -d*r = -f + 17 for r.
-4
Suppose -41*r = -45*r + 20. Solve i + 11 = -3*p, -r*p - 2 = 23 for i.
4
Let y = 72 + 20. Let w be (y/6)/(18/27). Suppose -2*v + w = -19. Solve -4*o + q - v = 4*q, 4*o + 15 = -q for o.
-3
Let l = 78 + -74. Solve -3*p + l - 30 = 5*n, -3*p - 22 = 4*n for p.
-2
Let p(w) = -3*w - 8. Let l be p(-4). Solve 3*b = l*i - 0*b + 23, -4*i - 15 = 5*b for i.
-5
Let p(k) = -k + 21. Let a be p(4). Solve 0*q - q - 21 = -5*n, 0 = -3*q - n + a for q.
4
Let o be 2/4*6/1. Let m = 7 + -9. Let t be (m/(-4))/((-3)/(-12)). Solve -4*i - t*h = -4*h, o*h + 4 = 2*i for i.
-1
Let q = 41 + -24. Suppose 0 = 19*w - q*w - 6. Suppose -5*a - 10 = o, -w*a - 34 = -5*o - 0*a. Solve -3*y + c + 10 = y, 5*y - o = 5*c for y.
3
Let i(z) = 21*z - 103. Let y be i(5). Solve 5*g - y*c - 2 = 0, 2*c - 3*c + 12 = 4*g for g.
2
Suppose -2*u + 58 = -2*m, 2*u + 3 + 11 = -m. Let a(j) = 2*j**2 + 50*j + 50. Let z be a(m). Solve 8 = -4*o + 4*d, -8 = -z*o - 5*d + 2 for o.
0
Suppose -5*h + 2*n = 161, -3*h - 5*n - 45 = 33. Let j = -29 - h. Solve 0 = -3*t - w + 4, 0 = -2*t - j*t - 3*w + 12 for t.
0
Let j be 43/5 - 2/(-5). Suppose 16 = 11*o - j*o. Suppose -3*r + o = -10. Solve 2*a - r*a - 3*g + 6 = 0, a - g = 5 for a.
3
Let w = -3 + 14. Let u = w + -6. Suppose -u*n - 27 + 68 = 4*m, 0 = 3*n + 4*m - 31. Solve 5*l = 5*z + 5 - 15, n*z = 2*l + 7 for l.
-1
Suppose 31 = 5*n + 2*q, 5*n - 34 = -83*q + 80*q. Let k(j) = -j**2 + 3*j + 3. Let d be k(3). Solve 5 = -5*f - n, 4*s + 10 = d*f for s.
-4
Let x be 6*(38/12)/1. Let a be (3 + -3)*(2 + -1). Suppose -f + 4*b + x = a, 0 = -3*f + 4*b - 0*b + 49. Solve 4*i = 3*i, 3*q - 5*i - f = 0 for q.
5
Let q be (9/6)/(3/(-10)). Let h be q - 16/(-4) - -3. Solve o + 5*f = 30, h*o - f = -0*o + 5 for o.
5
Let o = -36 - -38. Let m(t) be the first derivative of t**2/2 - 3. Let n be m(5). Solve -5*j + o*a - 9 = 0, -n*a + 12 = -4*j - a for j.
-1
Let j be -1 + 3*-1 + -156 + 162. Solve -5*n - 3*v - 10 = 0, 5*v - j*v - 15 = 0 for n.
-5
Suppose 3*a = 4*c + 12, -4*c + 12 = 8*a - 5*a. Let t(j) = -j**3 - 4*j**2 - j - 2. Let w be t(-4). Solve 3*n - w*l - l = c, l = -4*n - 20 for n.
-4
Suppose -3*t = -5*s + 16, 8*s + 3*t - 44 = s. Solve -s*w - 22 = -4*x, x - w = -0*w + 5 for x.
3
Let p = 831 - 830. Solve -2*v + 7 - p = -2*z, 3*z = -4*v + 19 for v.
4
Let j(g) = 5*g**3 + g**2 - 1. Let n be j(-1). Let k = -66 - -86. Let c be (-14)/n - (-4)/k. Solve 0 = -q - 0*q - 2*r - c, 0 = 4*r + 8 for q.
1
Let j = -49 - -47. Let o be (0/((-4)/2))/j. Solve 2*l - 1 = -d + 14, 5*d - 5*l = o for d.
5
Let o be (9/12*-2)/(13/(-78)). Solve -2*f + f + 5*u = -25, 0 = -f + u + o for f.
5
Let a = 74 + -35. Let i = a + -37. Solve -7 = 3*y + n, 0*n - 2 = i*n for y.
-2
Let x(m) = -m**2 - 6*m - 5. Let p be x(-6). Let z = p - -1. Let w be z/(-3)*(-12)/(-8). Solve -i = w*n + 7, 7*i - 3*i - 5*n = -2 for i.
-3
Let z(j) = -j**3 + 5*j**2 + j. Let n be z(5). Suppose 3*w - n = 2*w. Suppose -2*c - c + 63 = 0. Solve -5*o + c = 2*h, 0 = w*h - 2*o + o + 15 for h.
-2
Let w be 2/5 - 43/(-5). Let l = 192 + -180. Let h = l - w. Solve 5*a - 25 = -5*b, 0 = -b + h*b + 4*a - 20 for b.
0
Suppose -2*k = -3*o - 112, -o - 24 = k + 15. Let p = 20 + o. Let v = p - -21. Solve -5*c + v*f - f = -9, 4*c + 2*f = 0 for c.
1
Let o(y) be the second derivative of 1/20*y**5 - 3*y + 1/4*y**4 + 0 - 1/2*y**2 - 5/6*y**3. Let z be o(-4). Solve 0*j + 4*i = 2*j + 8, 0 = -2*j + z*i - 5 for j.
2
Let t = -133 - -174. Let l(o) = -o**3 + 12*o**2 - 11*o + 2. Let q be l(11). Solve 3*f - k - 11 = 0, -5*f - 2*k + t = q*k for f.
5
Suppose 0 = -1207*y + 1205*y + 54. Solve 5*c = 2*q - 6*q + y, 0 = 5*q - 2*c - 9 for q.
3
Suppose -2*y = -8*y + 12. Suppose 12*p - 10*p + y*g = 28, -5*p + 2*g = -77. Solve 0 = -3*f - p, f + 9 = -z - z for z.
-2
Let s = 551 - 548. Solve 0 = -u, r + 0*r = -s*u + 5 for r.
5
Let r be (-8523)/63 - 4/(-14). Let f = r + 140. Let o = 24 + 16. Solve f*i = 4*g + g + o, 0 = -2*i - 3*g - 4 for i.
4
Let r be (3/4)/(21/84). Solve r*g + 3*a + 0 - 21 = 0, 4*a - 12 = 0 for g.
4
Let z = -11 + 11. Suppose -20 = -4*x, z*s + 4*x - 15 = s. Solve -4*t + 2*v + 11 = 5*v, -5*v = 2*t + s for t.
5
Suppose 0 = -f + 3*z + 18, 0 = -f - 3*z + 17 + 31. Solve 5*d - f = 4*o, -d - 3*d + 22 = -o for d.
5
Suppose -5*v + 9*r - 6*r = -51, 0 = -5*v - 2*r + 41. Solve -3*l + 4*s = v, l + 8*s - 4*s + 3 = 0 for l.
-3
Let p(h) = -2*h - 2. Let s be p(-3). Let m(o) = -1 + 6 - 2 + o**3 + 3*o**2 - s*o**2 - o. Let x be m(0). Solve -4*c + 16 = 0, 4*d + c + x*c = 36 for d.
5
Let y = -49 + 51. Let z be y/4 - ((-58)/4 + 0). Solve s + 0*s - 11 = 4*h, -3*h - z = -3*s for s.
3
Let a(w) = w**2 - 25*w - 334. Let b be a(35). Solve b = -4*s + 3*k + k, 4*s = -2*k - 16 for s.
-4
Suppose -5*t + 6 + 34 = 0. Let d be (-21)/6*2*12/(-21). Solve 