2*m - 6 = 0, -5*z + 27 = -m. Solve -z*h + 7*h - 4 = -2*w, -h + w + 2 = 0 for h.
2
Suppose 5*k - 126 = -k. Suppose -11 = -2*z - 2*z + 5*d, -5*z + k = d. Suppose 0 = -2*f + 11 - 3. Solve z*l + 0*r = -4*r, 6 = -2*l + f*r for l.
-1
Suppose -41*k = 14*k - 990. Suppose 14 = -h + 4*f, -h - 4*f + k = -0. Solve -m = -t - h, -m + 2*t - 1 = -8 for m.
-3
Let s(o) = 37*o**2 - 11*o + 19. Let d be s(-4). Let l = d - 642. Solve 2*j - 5*r = -l, -4*r = 2*j - r + 5 for j.
-4
Let m be ((-12)/(-15))/(97/(-95) - -1). Suppose 4*k + 4*k - 328 = 0. Let z = k + m. Solve 14 = 2*n - 5*d, -4*n - 8*d = -z*d + 2 for n.
2
Suppose 26*m + 1840 = 31*m. Let o = m + -368. Solve 4*y + 0*y - 4*g = 0, o = y - 2*g for y.
0
Let m = -66 + 77. Suppose m*t = 5*t + 66. Suppose 0 = 2*w + 5*j - 29, -4*w + 16 = -w + 2*j. Solve 6*b - t = w*b + c, 9 = 4*b - 3*c for b.
3
Let t = -1882 - -1897. Solve -i - 4*i = 3*s + 19, -t = 3*i + 3*s for i.
-2
Let z be (-424)/(-36) + 1 + (-28)/36. Solve -4*g - 13*r - z = -18*r, 4*g - r = 4 for g.
2
Suppose -11*j + 98 = -3*j - j. Solve 5*s - 10 = 3*x, -16*x - 12 = 2*s - j*x for s.
-1
Let n(g) be the first derivative of g**2/2 + 17*g + 14. Let x be n(7). Let q = x - 19. Solve 0 = k - 4*v + q, -4*k = 5*v - v - 20 for k.
3
Suppose -10 = -2*o + 4. Let u = 107 - 122. Let q(b) = -b**3 - 14*b**2 + 15*b + 3. Let i be q(u). Solve -3*h - i*d - 6 = 0, -4*h + d = o + 11 for h.
-4
Let q be 8/2 - ((3 - -2) + (-150)/6). Solve -25*o + q*o + 4*z = 7, 3*z = -4*o + 29 for o.
5
Let k be (264/(-176))/((-3)/18). Solve -2*f = -3*i + 2, -8*i + 4*i - k = -5*f for i.
4
Let p(w) = -2*w + 38. Let n be p(18). Suppose -44 = -n*g - 3*b, -3*b + 60 = 8*g - 5*g. Solve 5*q = 4*v + 40, 0 = -2*q + 3*q + 4*v + g for q.
4
Let z be ((64/20)/(-8))/(-2*(-3)/(-300)). Solve -v + 0*c = -5*c, -z = -3*v - 5*c for v.
5
Let g(o) = 8*o - 27. Suppose -3*i = -6*i + 3*m, 0 = 2*i - 5*m + 12. Let s be g(i). Solve 0*x = 4*x - s*l + 12, -3*x + l = -2 for x.
2
Suppose -4*t = -3*i - 0*i - 26, -2*t - 3*i + 4 = 0. Solve 4*a + t*q - 22 = -5, 3*q = -3*a + 12 for a.
3
Suppose 0 = -5*c + 2*k + 23, 4*c - 2*k = 2 + 18. Suppose -2*d = -2*y - 14, -4*y + c*d = -0*d + 31. Let l = 19 + y. Solve 2*f + 0*w + 3 = -w, f - w = -l for f.
-4
Let r = -44 + 44. Suppose r = c - 4. Solve -7*x = -4*v - 5*x - c, -3*v - 25 = 4*x for v.
-3
Let d be 320/8 - (8/(-4) + 12). Solve -3*i = 25*c - d*c + 14, 0 = c - 2*i for c.
4
Let g(u) = u + 19. Let o be g(-18). Let p(h) = -h**2 + 10*h - 26. Let c be p(14). Let b be ((7 + c)/3)/(o*-1). Solve -5*y - b = 5*r, 0 = -4*y - 4*r + 5*r for y.
-1
Let m be (-16)/32*28/(-2) + -5. Solve -2*c - 11*l - 14 = -6*l, 0 = 2*c - m*l for c.
-2
Suppose 0 = 54*f - 32*f - 504 + 108. Solve 3*i - 4*r + 4 = -f, 0 = -2*i + 3*r - 16 for i.
-2
Let b(o) = o**3 - 3*o**2 - 4*o + 3. Let m be b(4). Let y be 14732/32 + (-45)/120. Let i be 5/4*1104/y. Solve -h = -z + m, -2*z + h = i*z - 7 for z.
1
Let j(f) = -4*f**2 + 3*f**3 - 14*f**3 + 10*f**3 - 8 - 4*f**2. Let s be j(-8). Let w be (54/(-3))/(-3)*s/(-24). Solve 4*x = -4*q + 24, -w*x - 6 - 2 = -2*q for x.
1
Let t = 28 - 49. Let i = t - -23. Let l(k) = -k**3 + 4*k**2 - 5. Let v be l(3). Solve -z = -5*a - 0*a + 28, -v*z - 22 = -i*a for a.
5
Let s = -442 + 442. Let a(r) = r**3 - 10*r**2 + 11*r - 13. Let g = -18 + 27. Let l be a(g). Solve -3*q + 4 = 2*y, l*q + 3*y - y - 12 = s for q.
4
Let q = 139 - 299. Let u = q + 177. Solve -j - 14 = -4*p + j, 4*p = 5*j + u for p.
3
Let b = 10433 + -10423. Solve 0 = u - 5*x - 19, 17*u + 2*x - b = 13*u for u.
4
Let y be (-1)/2*-1 + 45/18. Let u = 20 + -20. Let m = 3 + u. Solve m*s - y = -2*c + 4, -s - 2*c + 5 = 0 for s.
1
Let j(d) = 10*d + d**2 + 7*d - 9*d. Let y be j(-8). Suppose -r = -5*q + 12, -2*r = 3*q - y*r - 15. Solve -4*i + 0*i + 35 = 3*m, 0 = q*m + i - 20 for m.
5
Let n(w) = -w - 12. Let o be n(-14). Let s = 3 + o. Let y = 604 + -601. Solve 0*b + 12 = -y*b - 5*x, 0 = -2*b + s*x + 17 for b.
1
Let r(j) = 10*j**3 + 81*j**2 + 44*j + 291. Let g be r(-8). Solve 5*u - 92 + 112 = -a, -27 = 4*u + g*a for u.
-3
Suppose -3359 + 3329 = -15*u. Solve 3*g = -k - 6, -3*g + u*k + 157 = 145 for g.
0
Let w be 2/(-10) + 11/5. Let t(u) = u**3 + 3*u**2 + 61*u + 118. Let f be t(-2). Suppose r + r + 11 = -3*d, 21 = 3*r - 3*d. Solve -2*k = r*k - w*i, f = i for k.
0
Let d be (-3)/(-12) - 2/8. Let n(l) = l**3 + 12*l**2 - 10*l + 58. Let s be n(-13). Suppose 0 = 5*a - s + 9. Solve -a*f = -5*i - f + 4, i - f = d for i.
1
Let o = 440 - 426. Solve 3*m + 4*w = -11, -4*w + 9 - o = 5*m for m.
3
Let a be (-1)/((-32)/48*3*(-4)/(-56)). Suppose 5*f + 3*n - 23 = -0*n, 0 = f + n - 5. Suppose -f*t + 5*t = 2. Solve -4*o = -3*j + 8, a = 3*j - 7*o + t*o for j.
4
Let b be 72/1*((-532)/(-684))/(7/3). Solve -b*z + h - 1 = -25*z, z = h - 5 for z.
-2
Let n be 1/(-3)*(-138)/161*7. Solve 3*s + 9 = 0, -n*y + 2*s + 2*s + 18 = 0 for y.
3
Suppose -124*w + 65*w = -118. Let b = -2 - -2. Solve -3*a + 12 = -2*a + w*z, b = -2*a + 2*z for a.
4
Suppose -45*j + 798 = -3*j. Solve -5*v + j*z + 25 = 21*z, -4*v + 20 = -5*z for v.
5
Suppose -4*f - 2*x = 578, 6*x = 2*f + 9*x + 299. Let a = f + 142. Solve c + 3*l - 2 = a, -2*c + 3*c = 3*l + 2 for c.
2
Suppose l + l = -32. Let o = l - -10. Let b be 3/((-3)/(-4)) - o. Solve 10 = 5*p - 3*r - 2*r, 3*p - r - b = 0 for p.
4
Suppose -9*n - 1584 = 3*n. Let c = 135 + n. Solve 4*g - 23 = c*y, -3*g + y = -0*g - 11 for g.
2
Let d = -12854 - -12866. Solve 2*x + 13 - 1 = -w, w - d = 4*x for x.
-4
Suppose 434 + 446 = -d + 11*d. Solve -h = -5*a - 30, 4*a - d*h + 91*h = -5 for a.
-5
Let z be (110/33)/((-6)/(-576)). Suppose 17*n + z = 49*n. Solve 4*p + 4*c - 12 = 0, 3*p - n = -8*c + 4*c for p.
2
Let l = -4 + 9. Let v = -5351 - -5353. Solve l*o = 5*d + v*o + 10, 5*o + 45 = -4*d for d.
-5
Let n(k) = -4*k**2 + k + 9. Let f be n(-3). Let l be (-86)/f + -3 + (-368)/(-60). Suppose 4*g - l = 6. Solve -3 + 7 = -4*o, -i + g*o = -8 for i.
5
Let k(z) = 9*z - 57. Let y be k(27). Suppose -2*t + 0*g - 91 = -3*g, y = -4*t + 2*g. Let o = 51 + t. Solve 0*d + 12 = -3*h - d, 4*h = -o*d - 24 for h.
-3
Suppose 3426 - 246 = 265*o. Solve 0 = -r - 2*r + 5*u - 20, 0 = 3*r - 3*u + o for r.
0
Suppose 4 = 5*f - 4*j, 3*f - 2*j = j. Suppose 211*t = -298*t + 1527. Solve -w - 23 = -4*o - 5, -t*w + f*o = 22 for w.
-2
Suppose -6 = 2*g, -3*v + 6 = -4*v - 3*g. Suppose -4*u = -l - 10, 0*l + 4*l = -8. Suppose -4*d + 13 - 5 = 0. Solve -v*b - 18 = -s, d*b = u*s + b - 11 for s.
3
Let p be (15 + -7 + -7)/(3/(-159)). Let y = p + 53. Solve 2*m - 7*m + 15 = y, -2*m - 4 = 5*s for s.
-2
Suppose 4*a - 2*d = 110, -4*d = 4*a - 212 + 132. Solve -w - 17 = -4*j, 30 = 3*w + 2*j + a for w.
-1
Let d(y) = 16*y + 141. Let j be d(-6). Let q be -2 - 2*j/(-18). Solve -5*s + 3*u - 2*u + 20 = 0, 12 = q*s - 3*u for s.
4
Let c(j) = 2*j**2 - 12*j. Let r be c(6). Suppose r = o + 55 - 75. Suppose 6*s - o = s. Solve -s*q + 0*q = -2*u + 18, 0 = 2*u + 5*q + 18 for u.
1
Let a(u) = u**3 + 56*u**2 + 104*u - 201. Let p be a(-54). Solve 4*m - p = d, -2*m = -249*d + 252*d - 11 for m.
4
Let s be -5 + 0 + 9/2 + 67/134. Solve 10*k - 1 = 11*k - 2*q, -k - 3*q - 6 = s for k.
-3
Suppose -i + 102 = -3*i - 4*x, 3*i + 3*x + 165 = 0. Let y be 3 + (-4 - -5) + i. Let s = y - -55. Solve -4*n - 4*j + 8 = s, -4*n - 5*j = -3 - 4 for n.
3
Let s(a) = -a**3 + 17*a**2 - 17*a - 4. Let h be s(6). Let l = 294 - h. Solve 3*z - 2*k = l, 2*k = -5*z + 36 - 8 for z.
4
Let t(o) = -o**3 + 17*o**2 - 3*o + 21. Let g be t(17). Let n be 5*6/g - -22. Solve -4*y - 3*i = -35, -5*i + 71 = 5*y + n for y.
5
Let a be (-12)/24 + (-2)/4 + 1. Suppose l - 2*f - 1 = -a*l, -l - 3*f + 6 = 0. Let g be 3 - (1 - 2/1). Solve -g*r + 4*i = 12, r - l*i = -6 - 1 for r.
-1
Let x(d) = -3*d**2 + 28*d - 5. Let h = 11 + -2. Let n be x(h). Solve 0 = -3*j - 4*u + 10 + 22, 0 = 5*j - n*u for j.
4
Let m(w) = w + 5. Let y be m(8). Let i(q) = 2*q - 22. Let o be i(y). Let z = -544 - -556. Solve -4*k - z = -n - 2*k, 4*n - 28 = o*k for n.
2
Let h be (0/(4/1))/(-1). Suppose 5*o - 26 + 1 = h. Let f = -1609 + 1611. Solve -o*k = -4*r - 2 - 15, -4*k - 2 = f*r for k.
1
Suppose l = -0*l + 4. Let o be (-361 - -357)*(-10)/8. Solve 5*f + o = -4*w, 5*w + f = 5*f + l for w.
0
Let p(b) = 471*b - 5647. Let y be p(12). Solve g + 5 = 3*t, -11*g - 5 = -10*g + y*t for g.
-5
Let d(m) = -m**3 + m**2 - 4*m + 4. Let n be d(0). Suppose -n*b + 0 - 5 