 2*t + 17 = -m*b + 22 for b.
-1
Suppose -2*u - 36 = 26. Let p = -27 - u. Let z be (-2)/((p/(-6))/1) + 1. Solve 20 = z*k + 2*i, -3*k - 4*i + 7*i + 6 = 0 for k.
4
Suppose -288 = 15*l - 24*l. Suppose 5*y = -23 + 3, -4*q + l = -5*y. Suppose 2*i - 1 = 27. Solve -2*k = q*d - 2, -2*d + 2*k + i = -3*k for d.
2
Suppose -u + 2*b = 0, -26*u = -23*u - b - 5. Let c = -10 + 13. Solve -s = s - 4, u*t = -c*s - 2 for t.
-4
Let g = 448 - 676. Let v = g - -240. Solve 5*o = a - v, 5*a - 7*o + 3*o = 18 for a.
2
Suppose 103*s = 19*s - 24*s + 216. Solve 0 = -s*g - 4*k - 10, -g + 15*k = 13*k - 11 for g.
3
Suppose -w - 8 = -85*t + 84*t, -3*t + 19 = -2*w. Solve 5*m + 6*p - 20 = p, 4*p - 11 = -t*m for m.
5
Let m(g) be the first derivative of -2*g**2 - 47*g - 57. Let x be m(-13). Solve 2*f + 4 = 2*r, -x*f + 3*r - 5 - 3 = 0 for f.
-1
Let s = 65 - 72. Let x be ((-6)/3)/(s/14). Suppose x*d = -6*d + 5*d. Solve 4*i - u + 18 = -0*u, d = 5*i - 4*u + 17 for i.
-5
Suppose -1864 = -11*g + 116. Suppose 17*u = 29*u - g. Suppose -a - 4*a + 60 = 0. Solve 2*i = l + 2*l - u, -2*l + a = -2*i for i.
-3
Suppose -9 = 3*h - 153. Suppose 4*c + h = -4. Let r(f) = -f**3 - 14*f**2 - 15*f - 18. Let k be r(c). Solve -s = -3*p - k, -p - 18 = -5*s + 3*p for s.
2
Suppose -703 = 16*q - 783. Solve q*z + v = 23, -2*z + z = -5*v - 15 for z.
5
Let m be 8/6*1 + -3 + (-11454)/(-414). Solve -21*r + m*r - 29 = y, -r = -5 for y.
-4
Let j = 77 + -29. Let l = j + -15. Suppose 37*k - l*k = 8. Solve -4*w - k*d = -12, 2*d + 0 = w - 13 for w.
5
Let m be 378/(-45)*8/48*-40. Solve 59*h = m*h + 3*r, 2*r + 4 = 0 for h.
-2
Suppose 2*y = q - 9, 2*q + 42 = -4*y + 36. Solve 8*r - 12*r = q*g - 3, 16 = 5*g + 3*r for g.
5
Suppose 4*r - 22 = -5*a, 2*r = -7*a + 28 - 8. Solve -2*j = -a*b - 7*j - 14, 0 = 2*b - j - 10 for b.
3
Let p be (-17)/(-204)*124*2 + 2/(-3). Solve -5*y = 5*t + 20, -y - p = -t + 6*t for y.
0
Suppose 30 = 5*q - 11*u + 6*u, 2*q - 2 = -3*u. Solve 5*g = o + 16, 0*o - 16 = 4*o - q*g for o.
-1
Let c(s) = -259*s + 4148. Let r be c(16). Solve -6 = r*x + x - 2*u, 2*u = 6 for x.
0
Suppose -b = -0*b. Let l be 20/(5/((-105)/(-28))). Suppose -8*g + l + 1 = 0. Solve -4*r + 4*x + x + 16 = b, x = -g*r + 8 for r.
4
Let r(v) = -340*v + 2043. Let a be r(6). Solve -m + 5*b = -a, 2*m + 12*b - 9*b + 7 = 0 for m.
-2
Let o = 154 - 36. Let p = -53 + o. Let l = -61 + p. Solve l*s + s - 12 = -4*y, -2*y = -2*s - 6 for s.
0
Suppose 4*b = -33 + 41. Suppose -18 - b = 4*w, -3*l = 4*w + 14. Solve -3*i + i + g = -10, l*i - 4*g - 16 = 0 for i.
4
Suppose 4*f - 44 = -3*x, -43*x - 3*f + 27 = -41*x. Solve 2*s = -q, -5*s - 29*q + 5 = -x*q for s.
-1
Let t = -3000 + 3003. Suppose -2*o + 30 = o. Let y be o/2 + 2 + -3. Solve -t*a = -r + 3 + 16, -y*a = 4*r + 4 for a.
-5
Let f be -6 - -1 - (-26 - -218). Let i = f - -199. Solve 0 = -2*p - 4, 3*g - i*p + 3*p - 4 = 0 for g.
2
Let u be -21 + (-4028)/(-190) + (-734)/(-5). Solve 2*k - 8 = 0, -3*q - 151*k - 2 = -u*k for q.
-6
Suppose 0 = 73*h - 63*h - 320. Suppose 8*f + 8*f - h = 0. Solve -f*l = -3*o - 2*o - 8, 0 = -3*l - 3*o + 12 for l.
4
Suppose 2*v - 3*m + 8 = 3*v, 4 = -3*v + 5*m. Let n be -1 + 5 + -8 + 4 + 184. Let s = -178 + n. Solve -2*r = 2*b + 16, -4*r - s = -v*r for b.
-5
Let h be (-180)/450 + (-56)/6*(-27)/30. Solve -2*w - h = o, -2*o - 3*w = 2*w + 19 for o.
-2
Suppose 236*l + 3*v + 3 = 233*l, -2*v = -l + 11. Solve l = f + 19*s - 17*s, 2*s - 4 = 0 for f.
-1
Suppose 4*q = j + 6, 676 - 686 = -2*q - 3*j. Solve 11 = -q*b - y, 5*b + y = -0*y - 23 for b.
-4
Let t be 1032/10 - 12/10. Let a = -71 + t. Solve -5*w - 4*q = -a, -w - q = -0 - 7 for w.
3
Let h = 3030 + -3012. Solve 3*i + 8 = -4*u, 2*u - i + h = i for u.
-5
Suppose -5*j = -5*u + 33 + 2, -j - 27 = -3*u. Solve -2*p - f = -3*p + u, 2*p = 4*f + 30 for p.
5
Let f be ((-4)/(-10))/(1342/110 + -12). Solve -10 = -5*m - 3*l + 2, -f*l = 5*m - 8 for m.
0
Let x = -198 + 202. Suppose 3*b + p + x*p = 41, -2*b - 5*p + 29 = 0. Solve -4*z - 3*o = -12 + 1, -3*z = o - b for z.
5
Suppose -3 + 28 = 5*h. Let s(g) = -14*g + 170. Let j be s(-5). Suppose -f = h*f - j. Solve 0 = -4*r - 5*p - f, -r - 10 - 7 = 3*p for r.
-5
Suppose 0 = -3*r + 6, 7*m - r + 14 = 10*m. Solve 3*u - 73 = k - 71, 2*k - 2*u + m = 0 for k.
-2
Suppose 4*q - b + 1297 - 1303 = 0, 36 = 2*q + 5*b. Solve -26 + 10 = 4*g - q*x, 5*x = -3*g + 17 for g.
-1
Let b(k) = -4*k**2 - 6*k + 8*k**3 - k**2 - 9*k**3 - 7 + 11. Suppose 6 = -4*n - 6. Let j be b(n). Solve 3*c = 3*w + 9, 2 = 5*w - j*w for c.
5
Let q be (-616)/(-49) + (-16)/28 + -8. Solve -5*h + 2*i = -35, -2*i + 1 = q*h - 9 for h.
5
Let p = -117 + 17. Let h be (-3 + p/(-28))*(-49)/(-14). Solve 2*w - 4 = 0, -h*w - 7 = t - 4*w for t.
-3
Suppose 36*b + 242 = 44*b + 2*u, 3*b - 67 = 4*u. Solve 53 = -o - 4*z + b, 3*o + z + 17 = 0 for o.
-4
Suppose 143 = -43*g + 14. Let n be (-1035)/(-135) - 10/g. Let q be 0 + 2/4*0. Solve -5*r + 5 = -q*r - 2*f, -2*f - n = r for r.
-1
Suppose 3*v - v - 24 = -5*d, d = -5*v + 14. Suppose 3*w = -2*r + 10, v*r + 4*w + 4 = 8*w. Solve -4*b - 4*c - 12 = 0, 3*b - r*c - 1 = -0*b for b.
-1
Let n = -10051 + 10059. Solve -n = 3*r - 5*l - 0, 4*r + 4*l = 0 for r.
-1
Let n(o) = -o**3 - 158*o + 15. Let t be n(0). Solve -5*l + t = -2*b - 6*l, -b = 2*l + 15 for b.
-5
Let l(r) = r**2 - 10*r + 18. Suppose -k - 29 = -3*i, 0 = -i - 5*k - 12 - 5. Let d be l(i). Suppose 0*q = q - d. Solve -q*w = -4*p, p = 5*w - 0*p for w.
0
Let y = -188 - -190. Let f(p) = -13*p**3 + 12*p**3 - 3*p + p - 8 - 7*p**2. Let s be f(-7). Solve 5*g - s*g + 7 = -y*d, 3*g = -2*d + 13 for d.
-1
Let l(p) = -11*p + 34. Let y be l(7). Let g = -41 - y. Solve -h - 2 = -1, -g*n = -h - 11 for n.
5
Let l = -3 + 5. Suppose -11*i + 152 + 46 = 0. Let n be 10/15*(3 + i). Solve -2*b - l*a = -n, 4*b - 5 = -b + 5*a for b.
4
Let b be (-231)/(-63) + (-1)/(-3). Let v(x) = -3*x - 22. Let m be v(-9). Suppose -m*g = -18 - 2. Solve 16 = b*w + g*z, -2 = w - z - 8 for w.
5
Suppose 0*s + 349 = 5*s + 4*f, -2*f + 278 = 4*s. Let q = -66 + s. Solve 2*z = -3*i - 11, -5*z + 9 = -i - q*z for i.
-5
Let r(j) = -j**3 - 11*j**2 - 26*j + 16. Let k = -637 - -629. Let c be r(k). Solve -4*v = 3*o + 2*o - c, 5*o = -3*v + 29 for v.
3
Suppose -15*x + 642 = 582. Solve 5*j = -4*g - 7, g + j = -6 + x for g.
-3
Suppose 8 = 4*r - 3*n + 2*n, -n = 4*r - 8. Suppose -l + 2 = -r*l - 5*t, 2*l - 8 = 2*t. Let m = 56 - 51. Solve 2*g - g - m = -b, -2*g + 13 = l*b for g.
2
Let p = -6210 + 6225. Solve -5*t - p = 3*v, 4*t - 29 = 2*v - 19 for t.
0
Suppose -60 = 40*s + 60. Let n be (0 - s) + 23/((-92)/(-56)). Solve -u = -5*t - n, 2*u - 19 = 5*t - 0*u for t.
-3
Suppose -2*h = 3*j + 2*j - 13, j + 11 = 3*h. Let q be 35/20 + (-3)/4. Let w be 1 - (-4 - -5)*(-3 + q). Solve 0 = -5*n + h*a - 20, -10 = -w*n - 2*a for n.
0
Let t(i) = -i**3 + 8*i**2 - 8*i - 2. Let g be t(6). Let m be (-20)/(-110) + (-1500)/g. Let x = m + 71. Solve -2*s = x*k + 3, -5*k + s + 3*s + 17 = 0 for k.
1
Suppose 0 = 4*y - 7 - 33. Suppose -4*b - 510 = -55*b. Suppose -5*s + 29 = 2*g - b*s, 0 = -2*s - y. Solve -3*d + 14 = l, l = 4*d + g*l - 18 for d.
4
Suppose 0 = 3*l - 2*l + 2. Let s be l/(4 + -2 + -3). Suppose -s*r = 3 - 13. Solve 2*j + r*i = -13, -4 = -3*j + 3*i + 8 for j.
1
Suppose 5*w + 25 = -2*x, 2*w = 5*x + 4 - 14. Let u = -708 - -696. Let f be 4*(18/u - -6). Solve -4*o + 3*l = 5*l + f, x = -5*o - 3*l - 23 for o.
-4
Let y = -32 + 35. Suppose s = -2*k + 8, -2*s + 11 = 3*k - 2. Solve s*h - 6 = -n, 2*n - 6 = y*h - h for n.
4
Let o be 48/26 + (-162)/(-1053). Solve 3*w + 16 = -8*c + 3*c, -2*w = -o*c for w.
-2
Let p(t) = t**3 - 12*t**2 - 4*t - 42. Let s be p(13). Let w = -47 + s. Solve x - 5*n + w = -0*n, 3*x = n - 14 for x.
-3
Let p = 31 + -21. Let o(b) be the first derivative of -2*b**3/3 + 10*b**2 + 4*b - 88. Let m be o(p). Solve 0 = m*a - 4*n, -2*a - 2*n + 6*n + 10 = 0 for a.
-5
Let r be (4 + (-81)/24)*(26 - 18). Solve 6*x + 5*h - 20 = x, -3*h = -r*x + 4 for x.
2
Let h = 183 + -80. Let i be (0/(-1))/2 + -101 + h. Solve -13 = 3*p - 4*v, 2*v = -4*p + i - 12 for p.
-3
Suppose -22 = -3*x - 31*l + 29*l, 4*x = -2*l + 24. Solve 0 = -x*r + 6, -r - 164 + 166 = w for w.
-1
Suppose 242*m = -4*b + 244*m + 40, -2*b - m = -16. Solve 3*s - n = -b - 7, -3*s = -2*n + 17 for s.
-5
Suppose 327 = -0*i + 3*i. Suppose -u - 110 = -4*m, 179 = -4*u - 3*m - 242. Let a = i + u. Solve -3*l = -3, -3*s - 2 = 