+ 20*d - 1 = 0, -9 = -3*l - 3*d for l.
1
Let d be (95*(-28)/(-35) + 0)/(2 - 0). Solve w - 41*m + 10 = -d*m, -5*m + 10 = 0 for w.
-4
Suppose 3*j = -4*v - 6, 5*j - 4*v - v = 25. Solve -3*z = -4*b - 8*z + 22, j*b - 3*z = 0 for b.
3
Suppose -32 = -1372*m + 1368*m. Solve -5*y - 2*r = -24, 2*r = -3*y + 4*r + m for y.
4
Let x = 11118 + -11112. Solve x = -f + 2*i, 3*i = -4*f + 1 + 8 for f.
0
Suppose 595 = -9*b + 2*b. Let o = -83 - b. Solve -15 = m - o*m + 2*a, 2*a + 10 = 0 for m.
5
Suppose 0 = 3*m + 2*o - 2, 5 = 3*m - 5*m + 5*o. Suppose -116*x + 120*x - 12 = m. Solve -4*d + 24 = x*g + 8, g - 2 = 2*d for g.
4
Suppose -4*f + 283 = -5*s, 0*s = -3*s + 3. Let x be (-1)/(-3*8/f). Solve u + 3 = 3*o, 4*u + x*o - 10 = 8 for u.
3
Suppose 5*g + 4*z - 29 = 0, 5*z = -2*g + 3*g. Solve 36 = 3*w - 4*p, 3*p + 22 + 16 = g*w for w.
4
Let t(m) be the first derivative of m**4/4 - 11*m**3/3 + 13*m**2 - 13*m - 25. Let q be t(8). Solve 0*d + 4*o = -3*d, 29 = -5*d + q*o for d.
-4
Suppose 2*u = -5*w + 360 - 1025, 3*w = u - 388. Let v = w - -134. Solve 2*y + 10 = 0, 0*i + 5*y + 31 = v*i for i.
2
Suppose -104 = -4*l + 5*p, p = 2*l - 0*l - 46. Suppose l*m - 9*m - 36 = 0. Solve -m*d = 4*t - t - 12, -8 = t - 2*d for t.
0
Let f be -3 - ((9 - 33) + 17). Solve 4*d = -4*g, 3*d + 0*g + f = -4*g for d.
4
Let j = -134 - -134. Let q be (1 + (-3)/6)*j/(-7). Suppose -2*u - 20 = -3*l, -2*l + 2*u = -2*u - 16. Solve -19 = 4*d + 3*b, q = -4*d - l*b + 2*b - 24 for d.
-1
Let t = -239 + 270. Suppose -2*r + t - 3 = 4*a, 3*r - 2*a = 10. Solve -r*q + 2*q - 4*k = 0, 3*k = 15 for q.
-5
Suppose -5*n + 10*n - 70 = 0. Let i be (30/39)/5 - (-1946)/26. Suppose -5*q + 0*q = 4*z - i, 2*q = -z + 18. Solve -4*o - z = 4*h, 11 = -5*o + 3*h - n for o.
-5
Let d = -5633 + 5633. Solve 0 = a - q - 5, d*a = -a + 3*q + 9 for a.
3
Let x = -5 + 7. Let c(b) = -4*b**2 + 2*b - 23. Let j be c(4). Let z = j + 85. Solve -2 = -2*d + x*l + z, 2*l = 0 for d.
4
Suppose -4 = -2*i, -21 = -2*p - 2*i + 93. Suppose 82 = -14*r + p*r. Solve 7*c - r*c + 20 = 3*w, 0 = -w for c.
-4
Suppose 180 = -21*i + 222. Solve 0 = 5*b - 4*n + 3, i*n + 3 = -3*b + 4*n for b.
-3
Let w = 7941 + -7937. Solve w*c + 6 = 2*i, -5*i - 3*c - 2*c - 45 = 0 for i.
-5
Let b = -5965 + 5970. Suppose 5*d + 5*j - 35 = 0, -4*j = 2*d - 22 - 2. Solve -b*l + 21 = -d*h, -2*h - 14 + 3 = -3*l for l.
5
Suppose c - 313 = -116. Let q = -195 + c. Solve 0 = -2*j + q*t + 2, -3*j + 4*t + 3 = -t for j.
1
Suppose 2*p - 19 = -5*h, 10*p + h = 9*p + 5. Suppose 0 = -p*c + 4*c + 2*w - 4, -w = 5*c - 10. Solve c*n - 2 + 16 = -2*f, 19 = -f - 5*n for f.
-4
Suppose 0 = -69*k + 50*k + 76. Solve -3*t + 6 = 5*n - 3, t - k = -2*n for t.
-2
Let s(a) = 4*a - 25. Let q be s(7). Suppose -2*b + 4*x + 4 = 0, 3*b + 3*x - 45 = -q. Solve 3*h + b = -2*j - 3, -j - 3*h = 14 for j.
1
Let t be (-7 + 26/18*(-5 + 11))*3. Solve 4*k - 9 + t = 0, -h + 2*k = 1 for h.
1
Let z(x) = -5*x - 32. Suppose 3*j = -m - 22, -3*j = -3*m - j - 11. Let s be z(m). Solve -2*l = -2, s*l = -3*h + 2 + 1 for h.
0
Suppose 4*o - 7*o - 4*c = 8, -3*o - c = 2. Suppose o = -13*t - 16*t + 87. Solve -2*z - t = v, 4*v - 21 = 4*z - z for v.
3
Let a = -3901 - -3905. Solve 5*p - 2*m = 24, -p + 0 + 12 = -a*m for p.
4
Suppose -4*h = 12, 0 = 3*j + 4*h - 16 + 1. Suppose -5*i + j*i = 0. Suppose i*n = -2*n + 8. Solve n*r = s - 4*s + 32, -3*r = -5*s + 5 for s.
4
Let v(d) be the second derivative of d**3/3 - 2*d**2 + 29*d. Let h be v(3). Solve -3 = h*m + m + 3*b, -2*b = -2*m - 10 for m.
-3
Let l = -14 - -13. Let g be l - ((-35)/7 + 0). Solve 6 = 3*a + 2*w + w, -g*w = a + 7 for a.
5
Let h be 108/270 + (-23)/(-5). Solve -2*f - h*m = 19, 3*f - m + 7 = 7*f for f.
3
Let i be (-204)/(-32) - 200/320*6/10. Solve z - i = 2*b, -409 = 2*z + 2*b - 391 for z.
-4
Let m(d) = -d**3 - 5*d**2 - 7*d - 8. Let k be m(-4). Suppose 0 = k*x + 2*r - 46, -r + 2 = 3. Solve 2*h = 7*v - 2*v + 20, x = -3*v - 4*h for v.
-4
Suppose 153*b = 152*b. Suppose b = -86*g + 92*g - 162. Solve 4*c = 3*t, 3*t - 3 = -4*c - g for t.
-4
Suppose 5*r + 564*p = 562*p + 81, -2*r - 3*p + 50 = 0. Solve 5*n - r = -2*a + 16, -7 = -3*n + 4*a for n.
5
Let t be (140/(-6) + 14/(-21))*(-12 + 11). Solve 11*l = 16*l - 20, 4*x + l = t for x.
5
Suppose -f + 17*k - 13*k - 3 = 0, -4*f + 6 = 2*k. Solve 2*n - f = r - 0*n, -3*n = -3 for r.
1
Let x be 432*13/((-312)/(-16)). Let a = x - 283. Solve -a*j - 5*u = -6*j, 2*j + 3*u = -13 for j.
-5
Let t = 502 - 474. Suppose u + t = 8*u. Solve -2*n + 4 = -5*i - 13, -5*i - u*n = 11 for i.
-3
Let x = -47030 - -47046. Let o be (1*3)/((-3)/(-4)). Let v = 9 - o. Solve v*q = 3*p + 18, x = 3*p + 5*q + 4 for p.
-1
Let j(f) = -2*f**3 - 10*f**2 - 4*f + 16. Let k be j(-4). Solve k = -w + r + 5, 0 = 2*r + r for w.
5
Let l(a) = -a**2 + 17*a + 64. Let n be l(20). Suppose -q + 2*q = 0. Solve -b = n*v - 8, v - 2*b = -q*v + 11 for v.
3
Let p(w) = -w**3 - 13*w**2 + 13*w + 44. Let g be p(-14). Let k be 29/g + 6/4. Solve 0 = 4*b + k*r - 28, -2*r - r + 12 = 0 for b.
5
Let z(t) = -72*t - 1075. Let w be z(-15). Solve v - 2*p - w = 0, -2*v = 3*v - p - 16 for v.
3
Let x be ((-4)/(-4))/(3/6*1). Solve 5*t + d + 8 = -0*t, -2*t - x*d = 0 for t.
-2
Let q = 1 - -5. Let f = -12 - q. Let b = f + 23. Solve 2*d - 3*t - 10 = t, 0 = -3*d - b*t + 4 for d.
3
Let d(h) be the first derivative of -13*h**2/2 - 23*h - 57. Let l be d(-2). Solve -5*p - y = 18, 0 = l*p - 7*y + 2*y + 22 for p.
-4
Suppose 3*x + s = 25, -4*x - 24 = 2*s - 58. Let b(u) = -19*u + 154. Let k be b(x). Solve k*w = 2*j - 3*j + 11, 0 = -5*w + 15 for j.
5
Let p = 133 - -25. Let f = -154 + p. Solve -r - 4*x = 2, -f*r - x - 1 + 8 = 0 for r.
2
Suppose 5*r + 185 = 3*w, 28*w - 30*w - 4*r = -160. Solve -w*l + 71*l + 1 = -2*z, -3*l + 1 = 2*z for z.
-1
Suppose -3*p + 13 = 4. Let d be -4 - (-3 - (1 + 3)). Solve 2*v = a - 4, 0 = -d*v + p*a + a - 16 for v.
0
Suppose -15 = 5*s + 5*r, 8*r = s + 10*r + 8. Let m be (3/s)/(-1)*(-96)/72. Solve 5 = 2*q + 3*b + m, 0 = -3*q + 3*b - 18 for q.
-3
Let g = 25 + -41. Let w = 102 - 110. Let l be (12/8)/(w/g). Solve -5*c + 4*m - 25 = 0, 3*m = -l*c + 7*c + 19 for c.
-1
Let q(k) = -81*k + 1805. Let r be q(22). Solve -v = -3*b + 12, 0 = 5*b - 4*v - r - 4 for b.
3
Let g = 138 + -137. Suppose -g = 3*t + 2*w, -7*w + 3*w - 5 = 5*t. Suppose -t*d + 35 - 23 = 0. Solve 5*r + u - 3 = 0, 5*u + 11 = -d*r + 5*r for r.
1
Suppose -4*z + 19 = -41. Let f be (18/z)/(1/(-5)). Let p be (14/(-6))/(2/f). Solve -5*x + 2*j + 15 = -3*j, j = -x - p for x.
-2
Let c = 81 + -79. Suppose 45 = c*r + 3*d, 11 = r - 2*d - 15. Suppose -5*h - 4*w = -16, w = 2*h - 4*w + 20. Solve h = 3*v - 6, 3*x = -x - 2*v + r for x.
5
Let n = -42 - -44. Suppose 5*s - 2*s = 6. Suppose s*p = 20 + 4. Solve o - 2*y = y + 10, -n*y - p = 2*o for o.
-2
Let d(m) = 4*m**2 + 2*m - 105. Let i be d(5). Solve 2*g = 14*r - 12*r + 16, 4*r - 4 = -i*g for g.
4
Let a = -20 - -20. Suppose z - 75 = -4*z. Let l be ((-2)/(-5))/((-12)/z + 1). Solve -l*p = -5*w - p - 15, -2*w + 5*p - 6 = a for w.
-3
Suppose -9331 = -17*n - 14*n. Let h = n - 299. Solve 0 = -5*w + 3*c - 14, h*w - c + 6 = -0*w for w.
-4
Let k(i) = 2*i**2 - 111*i + 1273. Let v be k(16). Solve 2*r - f + 11 = 23, -3*f = 3*r - v for r.
5
Let t(h) be the first derivative of -h**4/4 - 2*h**3 - 3*h**2/2 - 15*h - 52. Let d be t(-6). Solve -4 = 4*k + d*b, 2*k + 0*b = b - 12 for k.
-4
Suppose 2*k + 3 = p, 0 = 2*p - 63*k + 64*k - 6. Solve -m + 12 = 4*h - p, -3*h + 3 = -2*m for h.
3
Let w = -5810 - -5832. Solve -19*m - 2*b + 10 = -w*m, -m + 4 = 3*b for m.
-2
Let j = 41 - 25. Suppose -5*g + 0*g = 6*p + 109, p - 5*g = 11. Let z = j + p. Solve -2*t + 3 = t - 3*b, -z*t = 4*b - 26 for t.
5
Let h = 48 + -39. Let n be 24/h*(-369)/(-12). Let i = n - 62. Solve -5*s = k + i, -k + 0*k + 2*s + 1 = 0 for k.
-5
Let u be (-42)/21 + -8*3/(-6). Suppose w - 42 = -5*y, 15 = y - 0*w - u*w. Solve k - 5*m + y = -2, -2*k = -5*m + 12 for k.
-1
Let d(b) = b**3 - 14*b**2 - 33*b + 18. Let f be d(16). Suppose 2*q - q = u + 6, f*u = 0. Solve 4*n + 3*w + 18 = 0, -2*n + q*w = 4*w + 2 for n.
-3
Suppose -111 + 24 + 55 = -8*o. Solve 2*x - o*q + 6 = 0, 0*q - 3 = -5*x + 4*q for x.
3
Let f(r) = r**2 - 17. Let o be f(-7). Suppose -13*c + 5*c + o = 0. Solve 16 = -4*n - c*d, -3*n + 12 = -6*n + 3*d for n.
-4
Suppose 0 = -2*x + 2*f + 22, 2*f + 28 = 14*x - 11*x. Solve h + 4*h = 3*k - 9, -2*k = h - x 