 = b for t.
5
Let o be 5 + 1 + 24/6. Suppose -2 = -3*c + 2*h + o, -3*h = -2*c + 3. Solve 2*l - l - 4 = -2*y, 4*l = 2*y + c for y.
1
Suppose 7*f - 11*f = -212. Let r = f - 49. Suppose -l + 5*l + j = 21, -r*l - 2*j + 22 = 0. Solve -2*n = 5*y - 7 + 34, 3*y + l*n + 20 = 0 for y.
-5
Suppose -66*x + 37 = -22 - 73. Solve 5*t + 5 = -2*g - 18, 7 = -t + x*g for t.
-5
Let s = -2911 - -2911. Solve -5*y - 7*n + 5*n = 10, s = -4*n - 20 for y.
0
Let b be 24 + -28 - (-7 - 0/3). Let q be 3 + 5 + b + -3. Solve 4*h - j - q = 11, 0 = -h - j + 6 for h.
5
Suppose -7*o - 5780 = 10*o. Let s = 345 + o. Solve 5*p = 5, 8 = 5*t + s*p - 2*p for t.
1
Suppose 42*b = -2*m + 41*b + 8, 2*m - 2*b = -4. Solve 11*i = 13*i + 8, m*n - 2*i = -2 for n.
-5
Let z be (-2)/5 - (-107)/5. Let l be (-5 + 87/21)*-7. Let j be 14/(-42) - (-32)/l. Solve 25 = 3*v + 4*u, z = v + j*u - 2 for v.
3
Let b = 6664 - 6659. Solve -20 = -b*c, 0 = 2*f + 2*c - 12 + 6 for f.
-1
Suppose 26*y + 12*y = 60 + 54. Solve 0 = 2*g + y*r - 25, -3*g - 5 + 0 = -4*r for g.
5
Suppose -5*v = -5*x - 10, 10 = 4*v - 3*x - 3. Let p be (v/2)/(-7)*6. Let a be (-21)/(p + 0)*1. Solve -5*u - 7 = 2*c + 8, c = -2*u - a for u.
-1
Let m = -5 - -7. Suppose m*l = -7 + 15. Let x be (3 - 10) + 0 + 20. Solve k = -2*w + x, l*k = 13 - 1 for w.
5
Suppose 5*k - 783 = 2*q - 2369, 3965 = 5*q + 5*k. Let z = 798 - q. Solve -x + z = -2*d - 8, -x + 5*d = -28 for x.
3
Let i(t) = 2*t**2 + 5*t - 129. Let j be i(7). Solve 3*f - 15 = 0, 2*u + 0*u - j*f + 28 = 0 for u.
-4
Suppose 2*t + u - 17 = t, -3*t + 2*u + 46 = 0. Suppose -v + 51 = t*v. Solve 5*k + v*f = -37, 0 = -2*k - 2*f - f - 22 for k.
-5
Let h = -5598 + 5600. Solve h*u = -5*j + 30, 17 = -14*u + 15*u + 3*j for u.
5
Let r(h) be the third derivative of h**5/30 - h**4/8 + h**3/2 + 36*h**2 - 2. Let s be r(2). Solve 0 = 2*l - 2*c + 5 + 1, l - s = -3*c for l.
-1
Let g = 521 + -512. Let f(c) = 7*c - 63. Let v be f(g). Solve 2*i - 6 = -2*p, -7 = -2*i - v*i - 3*p for i.
2
Suppose -4*o = -o. Suppose -2*a = 2*j - 14 - 62, o = 3*a - 2*j - 109. Let m = 397 + -392. Solve a = m*u - 3*i, 5*i = -u - 3*u for u.
5
Let r(d) = 35*d + 133. Let a(p) = -1. Let o(l) = a(l) - r(l). Let j be o(-4). Solve -4 = -2*s, -7*i + 2*i + 3*s - j = 0 for i.
0
Suppose -5*u + 39 = -1. Suppose u*b + 105 = b. Let w be (-2 + (-88)/(-12))*b/(-4). Solve 0 = -5*p + c + w, 0 = 3*p + 4*c - c - 12 for p.
4
Suppose 4*z - 12 = 2*d, -3*d - 2*z + 1 = -5. Let n be (((-957)/18)/(-11))/((-96)/(-576)). Solve y - 3 = -f, d*f = 2*y - 5*f + n for y.
-2
Let h = 582 + -996. Let c = -409 - h. Solve -3*u - 6 = 3*w, 0 = -c*w + 10 for u.
-4
Let a be 5 - (1 + 2 + 1 - 1). Suppose 5*q = -15, y + a - 3 = -5*q. Solve -5*v + y = 4*k, -4*v + 12 = 3*k - 1 for v.
4
Suppose 4 = -k + 5, -2*c + 5*k + 3 = 0. Suppose m + 1690 - 1709 = t, 4*m + 3*t = 13. Solve -2*v + 4*u = m, -5*v = -4*v + c*u - 25 for v.
5
Let i be (-2640)/(-22)*(18/(-4))/(-3). Let u = i - 175. Solve l - u*w - 1 - 2 = 0, 2*l + 4*w - 6 = 0 for l.
3
Let n be ((-2)/(-6))/(12 - (-1498)/(-126)). Suppose c - 3*f = 4 - 1, n*c - 9 = 2*f. Solve 3*i + 5*z = -13, c*z + z + 36 = 4*i for i.
4
Let y(s) = -325*s + 2605. Let n be y(8). Solve -5*c = -6*c + x + 8, 5*c + 10 = -n*x for c.
3
Let p(b) = 32*b + 554. Let f be p(-17). Solve v = 2, -5*n + 3*v = -f*n - 19 for n.
-5
Let q(t) = -t**2 - 24*t - 96. Let x be q(-8). Solve -52 + x = -c + 5*s, s + 3 = 0 for c.
5
Let l(s) = -48*s - 6572. Let n be l(-137). Solve 0 = 3*q + 3*x - 9, 0 = -181*q + 176*q + n*x - 21 for q.
-1
Suppose -107 + 41 = -11*h. Suppose -h*d = 5*d + d. Solve d = 4*b + 2*u + 14, -4*b + 3*u - 24 - 5 = 0 for b.
-5
Let c = -12138 + 12143. Solve -m = -n - 2, 3*n - 13 = -c*m - 35 for n.
-4
Suppose 10 = 26*b - 31*b. Let y be (7 + -4)*(-1 - b). Let n(x) = -16*x - 404. Let z be n(-26). Solve 0 = 4*s - 3*t - z, -4*t - 9 = -4*s + y for s.
3
Let i be (5/(-3))/((-35)/168). Suppose -3*k = 5*x + 5, 5*k - 29 = -i*x + 9*x. Solve 3*c - k*l + l - 10 = 0, 0 = 2*c + 4*l for c.
2
Suppose 0 = -134*r - 10*r - 2310 + 2886. Solve -2*w = 34 - 24, r*x + 5*w + 9 = 0 for x.
4
Let q = -2559 + 2567. Let g(k) = 10*k**2 - k. Let x be g(1). Let c be (48/8 - x) + 0 + q. Solve d - c*d = -j - 8, -4*d = -3*j for d.
3
Let k be (-5)/2 - 1700/(-200). Solve -k = 3*i, -5*z = -14*i + 13*i - 17 for z.
3
Suppose -z - 4*t - 11 = 0, -2*z - 5*t - 11 = 2*z. Suppose -q + 4*k = z, -3*k - 36 = 4*q - 51. Solve 7*u - q*u - 5*f - 17 = 0, 5*f = 3*u - 19 for u.
-2
Let x be 154/16 + ((-1360)/128 - -11). Solve u = 2*t - x, 4*u - 2*t + 3*t + 4 = 0 for u.
-2
Let f be 121/24 + (-23)/((-3864)/(-7)). Solve f*r - 30 = -5*b, 2*b + 0*r - 9 = r for b.
5
Suppose 10 - 34 = 4*s - 4*j, 4*j = 5*s + 26. Let w = 3 - s. Let g be (-8 + -2 + 9)*(-30)/2. Solve 2*h = -h - 4*t + 7, h - g = w*t for h.
5
Let i = -12 - -16. Let x be (6 + 0/(-6))*i/8. Let a be (-4 - -4)/(1 + -4). Solve a = 5*q + x*k + 35, 2*q + 0*k - 2 = 2*k for q.
-4
Let h = 11 + -3. Let d be (-14 - -12)/(h/(-7) - -1). Solve 5*y + 13 = 4*w, 3*w + d = -0*w - y for w.
-3
Let a(q) = 4*q - 15. Let w = 124 - 173. Let y = -44 - w. Let z be a(y). Solve -5*f + 5 = -z*d, 2*f - 2*d + 7 = 3*f for f.
3
Let p = 11514 - 11496. Solve -5*w = -4*q + p + 23, -3*w + 5*q = 35 for w.
-5
Let n = -24 - -26. Suppose -4*m = 3*f - 31, -3*f - n = -5*m + 3. Let i be m*((-13)/4 - -4). Solve 0*u + 2*r + 10 = i*u, -r = -5*u + 19 for u.
4
Let t(x) = -5*x - 41. Let o be t(-14). Suppose 25*y = 71 + o. Solve j + w + 6 = 2*w, -2*j = y*w for j.
-4
Let n = 605 + -588. Suppose 0 = -4*z - n*z + 63. Solve -c = z*b + 19, -c = -b - 2 + 1 for b.
-5
Suppose 605 = 232*c + 373. Solve -p - 5*n = -9, 24*p + 2*n = 21*p + c for p.
-1
Let w = 565 + -654. Let v be w/(-6) - ((-62)/12 + 5). Solve -3*d + v = 0, -3*b = d + 4*d - 19 for b.
-2
Suppose -4*h + 21 = -h. Suppose 96 = 11*f - h*f. Suppose -t - f = -9*t. Solve 0*j + t*j + 11 = -5*r, -r = 2*j - 2 for j.
3
Suppose -33*o - 17*o = 22400. Let k = o + 448. Solve -t + 17 = -2*z - 6*t, k = 2*z + t + 5 for z.
-1
Let w be (-1)/(14/(-4)) + 39237/8323. Solve 5*q + 5*i + w = 0, q + 96*i = 97*i - 1 for q.
-1
Suppose 4*u + 2*b + 52 + 26 = 0, -2*u = -5*b + 21. Let o = u - -22. Suppose 0*f = o*f - 20. Solve y = 4, -n + f*y = -3*n + 28 for n.
4
Let g = 261 + -312. Let l = g - -51. Solve -4*o + 5*o = -3*x, l = -5*x - 2*o + 1 for x.
-1
Suppose b + 3*p - 2 + 14 = 0, -12 = 3*b - 3*p. Let z be b - (-16 - (-4 - 3)). Solve u + 3*u = -z*q - 14, -4*u - 20 = 0 for q.
2
Let z = -16323 - -16323. Solve -t + w = 5, z*t + w - 2 = -2*t for t.
-1
Let a = -5 + 12. Let n be (2 - 3)*-8*6/(-3). Let i(d) = -d**3 - 17*d**2 - 18*d - 27. Let l be i(n). Solve l*j + 3*h + a = -15, -5*h = j for j.
-5
Let t = -22 + 91. Let q = t + -63. Suppose -2*x = -q*x + 100. Solve -4*u - l = u + x, 3*u + 15 = -5*l for u.
-5
Let s = -24 - -30. Let j be (-77)/14 + s + (-1)/2. Solve -4*c - 11 = -j*c - 3*o, 0 = o + 3 for c.
-5
Let p(i) = i**3 - 8*i**2 + 8*i + 1. Let u be p(7). Let f(q) = -3*q**3 + 22*q**2 + 16*q + 5. Let r be f(8). Solve -2*z = -5*x - u, -z + 5*x - 1 + r = 0 for z.
4
Let p(s) = -4*s**3 + s**2 + s - 1. Let f(j) = j**2 - j - 13. Let v be f(-3). Let y be p(v). Solve 0 = -4*c + d - 8, d - y - 1 = 0 for c.
-1
Let t be 1/(((-12)/20)/3). Let s be 4 + -1 + t + -1. Let c be 78/(-4)*2/s. Solve 38 - 10 = -5*z + 3*p, 2*z + c = 3*p for z.
-5
Let c(z) = -8*z - 16. Let m be c(-3). Let y be (3 + (-12)/16)/((-3)/m). Let x be (-2)/((-11)/15 - 2/y). Solve 0 = x*k - u + 4*u - 2, 0 = 5*k - 4*u + 26 for k.
-2
Let q be (-26)/(-8) - 5/20. Suppose -3*b = -4*m - 33, -4*b - q*m = -0*b - 19. Suppose 11*h = b*h. Solve 3*r = -l + 26 - 7, 3*r - 2*l - 7 = h for r.
5
Let r = 161 - 156. Let b(m) = -4*m - 21. Let z be b(-6). Let l be (1/z)/(1/18). Solve -2*u - 2*h = -l, -2*h = -u + 2*u - r for u.
1
Suppose -5*j = 7*j - 288. Suppose 408*k - j = 402*k. Solve -5*b = -4*m - 24, 3*b - k - 12 = 4*m for b.
4
Suppose r - 130 = -5*y, -4*y + 3*y - 3*r = -26. Let z = -24 + y. Let d be 6/z + (-1 - -2). Solve 5*b - 3*a = -32, -a + 6*a - d = -4*b for b.
-4
Let z = 97 + -96. Let u be 3 + -3 + (3 + z - -69). Let i = -66 + u. Solve -5*d + p = -16, p - i = -5*d + 7 for d.
3
Let j(u) = u**2 + 8*u + 6. Let r be j(-6). Let h be (-9)/(-3)*(1 + r/(-9)). Solve 0 = -a - h*s + 21, -3*s + 35 = a - 6*a for a.
-4
Suppose 5704*x = 7322*x - 8090. Let j = 38 + -17. Solve 4*r = x*u + j