0 for t.
4
Let f be -1*(108/(-126) - 16/14). Solve -5*y + 20 = -4*d, 4*y = -f*d - 113 + 103 for d.
-5
Suppose 0 = 4*t + 5*a + 8, -3*t - 83*a + 82*a + 5 = 0. Solve v - t*v - 10 = -4*z, z = -5*v - 25 for z.
0
Let d be 3*-4*(-4)/12. Let p be ((-2)/d - -3)*32/20. Solve 0 = -5*b + r - 25, 0*b - 3*b + 8 = p*r for b.
-4
Let h = 555 - 564. Suppose -u = 3*u + 20. Let z = u - h. Solve 8 = j + 4*f, -3*j + z*f - 32 = 2*j for j.
-4
Let m = 20 + -15. Suppose -8*y = -2*y + 12. Let c be (-3)/y*(13 - 11). Solve -3 = -c*p + 4*w - 2, -2*w = 3*p + m for p.
-1
Let w(h) be the first derivative of h**2/2 - h - 2. Let u be w(1). Let o(x) = -285*x - 51281. Let m be o(-180). Solve 2*d + d - 3 = u, d = 5*v - m for v.
4
Let l(h) = h**3 + 23*h**2 - 27*h - 59. Let q be l(-24). Suppose -3*x - q*x = -48. Solve 4*d + 6 = b + x*d, -4*b - 2*d - 6 = 0 for b.
1
Let q(u) = -2*u**3 + 15*u**2 + 14*u - 136. Let j be q(7). Let c = -10 + 35. Solve -5*z + c = 0, -o - 2*z + 4 = -j for o.
5
Let l = 80 - 17. Suppose 90 = -g + 6*g - o, 0 = 2*g + 5*o - l. Suppose -17 = -360*a + 388*a - 73. Solve -5*q = -a*b + g, 5*b - 25 = -0*q + 5*q for q.
-3
Suppose -44 = -5*h + 4*k, 4*h = -145*k + 141*k + 64. Solve 11*v - 9*v = 4*x + h, 3*x - 5*v = 5 for x.
-5
Suppose 0 = 66*f - 75*f + 585. Suppose 14*u - f = 5. Solve 0 = 5*c - 2*z + 6*z + u, 5*z = 0 for c.
-1
Let x be (-18)/8*(-728)/42. Let r be 72/x - -5 - 2/(-13). Solve 3*n + n = -c - 9, c + 3*n = -r for c.
-1
Let z(o) = -383*o**3 + 5*o**2 + 4*o. Let h be z(-1). Suppose 12*j - 6*j = -h. Let c = j + 66. Solve -c*k - 2*w = 12, 4*k + 6*w = w - 26 for k.
-4
Suppose 2*j + 1396*n = 1397*n + 4, -5*j - 4*n + 10 = 0. Solve -2*f + v - j*v - 10 = 0, -3*v - 21 = 3*f for f.
-3
Let n(i) = -71*i + 8. Let k be n(3). Let l = 205 + k. Solve -4*r - 18 = -2*d, -d + l*r + 5*r + 21 = 0 for d.
1
Let w(g) = -5*g**2 + 107*g - 37. Let m be w(21). Let s be (-8)/3*(3 - 0). Let z(x) = x**2 + 6*x - 11. Let f be z(s). Solve 9*i - m*h = 4*i - f, -5*h = -5 for i.
0
Suppose -5*j = -n - 750, 2*n - 5*n - 2240 = -5*j. Let f = 747 + n. Solve -5*s - 3*x - 35 = x, -2*s = -f*x - 4 for s.
-3
Suppose -242*o = 3*l - 247*o - 47, -l + 3*o + 17 = 0. Solve -4*v - 6*i - l = 0, 0 = 4*v + 5*i - 0*i + 11 for v.
1
Suppose -15 = -6*w + 11*w. Let p(q) = -q - 1. Let h be p(w). Suppose -8*y = -0*y + 5*y - 208. Solve -5*r = 2*z - y, -r + 4*r - h = -5*z for z.
-2
Let g(x) = x**2 - 3*x + 2. Let c be g(2). Let t = 28 + -26. Suppose 6 = 2*h + 4*s, 3*h + t*s = 5*h - 6. Solve 4*d + 4*b - 8 = c, -4*d - h*b - 17 = -4*b for d.
-3
Suppose -8*o + 3*o = 4*q - 73, 3*o = 15. Solve 2*j + j + i + q = 0, -3*i = -2*j - 8 for j.
-4
Let n = 13 + -2. Let i(q) = -26*q + 10*q + 36 + 8*q + 6*q. Let y be i(n). Solve 2*c + 13 = 5*r, -3*r + y = -c + 2*r for c.
1
Let x = 4690 - 4685. Solve 0 = -x*u + 2*f - 20, -3*u = -257*f + 258*f + 12 for u.
-4
Let n = 91 - 46. Suppose -50 = -5*q - 5*v, 4*q - 49 = -3*v - 7. Let p be -12*((-22)/q + 2/6). Solve -s + 1 = 3*f - p, -n = -5*f - 5*s for f.
5
Suppose 309*h = -132*h + 882. Let x = -12 + 14. Solve 5*l - h*b = 5, x*l + l + b = 14 for l.
3
Let a be (-1)/4 + ((-14)/8 - -2). Let f be ((14/(-8))/7)/(-1)*a. Solve 0 = 3*y - 5*y + 4*x + 22, 3*x + 12 = f for y.
3
Let n be (-434)/372 + 75/18. Solve 0 = 3*a + n*h - 9, 0 = -3*a + 2*a - 5*h + 15 for a.
0
Suppose 148*d = 110*d + 76. Solve 4*p + 5*s + 16 = p, p + 7 = -d*s for p.
3
Let q be (-84)/(-10) + 6 + 918/(-170). Solve -3*c - c + 15 = 5*u, 2*c + u = q for c.
5
Let f be (-17)/51 + 170/15 + -1. Suppose -u - 39 = -3*u - 5*j, 0 = 4*u + 2*j - 70. Solve 0 = -4*o - m - 11, f*o - 2*m + u = 5*o for o.
-3
Suppose 54*c - 2*d - 35 = 47*c, 0 = c + d - 5. Solve 22 = -2*i - 2*y, 0 = -9*i + c*i - 2*y - 32 for i.
-5
Let x = 50 - 53. Let v be 10 + (x - -2)*2/2. Suppose 0 = 11*m - 8*m - v. Solve -3 = 2*i - 3*a, m*a = -2*i - a + 18 for i.
3
Let t = -11 + 41. Let h(c) = 4*c**2 + 23*c - 21. Let m be h(-12). Let f = m - 279. Solve 5*i + 25 = f, 2*b + b + 3*i + t = 0 for b.
-5
Let y be -5 - (3 - 5) - -7. Suppose -4*x + 167 = -81. Suppose 218 = 8*j - x. Solve 0*s + 2*s - 2*c + 20 = 0, -y*s - j = -3*c for s.
-5
Let r be ((-75)/50)/(34/20 + -2). Let p be (2 - (1 + 3))*(r + -6). Solve 5*c + p*q - 6*q - 10 = 0, 2*c = 2*q + 6 for c.
-2
Suppose 162 = 46*k - 49*k. Let f = k - -58. Suppose -2 = 2*v, 0*c - 2*c = -f*v - 20. Solve -4*q = 4, n - 3 = -q - c for n.
-4
Suppose -g + 3*a = -43 + 14, 5*g - a - 215 = 0. Suppose -m + 48 - g = 0. Suppose -17 = -4*o - d, 1 = -2*o + d + 2. Solve -m*f + 14 + 8 = o*t, -t + 2 = 0 for f.
4
Let f(m) = -24*m - 72. Let u be f(-3). Solve u = -4*q - 2*b + 12, -q - 4*q - b + 18 = 0 for q.
4
Let v = -4 - -8. Suppose -2*q - 140 = -l, 3*l + q - 221 = 206. Let c = l + -139. Solve -c*o + v*m = 8, -m - 3 = -5*o - 22 for o.
-4
Let t(z) = -z**2 - 17*z - 57. Let x be t(-11). Let u = -7 + x. Let h be 1/2*(-1 - -33). Solve -h = -4*q + 5*v, q + u*q + 3*v + 15 = 0 for q.
-1
Let m be -3 - ((0 - -4) + -6). Let t be (1 - m) + 0*2/6. Suppose -t*z - 5 = -13. Solve -3*h + 2*h = z*k - 13, 5*k + 2*h = 20 for k.
2
Suppose -11*u - 205 = 26. Let k be (-9)/21 - 324/u. Let v be 0*((-2)/20 + (-6)/k). Solve -2*d + y + 10 = v, 5*d - 5*y = -y + 28 for d.
4
Suppose b = 3*p - 59, -2*p + b + 739 - 700 = 0. Solve 2*m = -13*v + 17*v + p, 0 = -m - 5*v - 25 for m.
0
Suppose -14*i + i + 286 = 0. Let d be (-37)/(-7) - (-6)/(-21). Solve 2*a - 12 = -d*u + 17, i = a + 4*u for a.
2
Suppose 8*s - 77 = 11. Suppose t = 2*f + s, -6*t + f + 37 = -2*t. Solve w + t = 4*n, -2*w + 5*n - 13 = 2*n for w.
-5
Let s = -100 + 106. Suppose 57*v - s = 54*v. Solve v*r = 5*c - 25, 5*r + 21 = 2*r + 2*c for r.
-5
Let j = -111 - -113. Suppose 3*o = -x + 6, 2*o - 4 = -j*x - x. Solve 3*q + 25 = 5*n, -q - 3*n = -x*q - 15 for q.
0
Suppose 0 = 2*i - 2*h - 2*h - 30, -4*h = 3*i - 15. Suppose -5*w + 7 = 3*p - 4, w - i = -4*p. Let y be 2/((-7)/((-49)/p)). Solve 3*x = x - 3*b - y, -b = 3 for x.
1
Let x be 0/(25/(-5))*1. Solve 2*o - 6*o = -2*v + 30, x = 3*v + 5*o + 10 for v.
5
Let z(a) = -a**2 - 110*a - 403. Let k be z(-4). Solve -27 = 9*c, 2*c = -3*d + 6*c + k for d.
3
Let a be (18/(-81))/((-1)/27). Suppose 11 = -k + 15. Let h be ((-2)/(-2))/(2/k). Solve 0*n + 4*s = -h*n + a, -3*s - 15 = -5*n for n.
3
Let h = 10021 - 9982. Solve -4*a + h = 5*t + 11, 0 = 2*a - 3*t + 8 for a.
2
Let w = -5800 - -5802. Solve w*h = 3*k + 10, -50*h + 52*h - 5*k - 14 = 0 for h.
2
Let r = -4 + 6. Let q(a) = a**2 + 4*a - 30. Let x be (4 - 7)/(18/(-24)). Let u be q(x). Solve u*f = 3*h - r, -3*f - h + 5*h = 3 for f.
-1
Let f(s) = -7*s**2 - 41*s + 63. Let q be f(-7). Solve c - 4*w = -13, -q*w = -3*w - 16 for c.
3
Suppose 5 = -2*f + 15. Suppose 5*t + 60 = f*j, 0 = -j - 7*t + 3*t - 3. Suppose -j*x + 6*x + 6 = 0. Solve 4*m = -x*c + 4, 0*m = 2*m - c - 6 for m.
2
Let y be 3*(-3 + 2) - (-59 + 3). Suppose 0 = y*h + 23 - 129. Solve -4*g = -5*d + h, g + 5*d = 4 + 8 for g.
2
Suppose 6*d = -18 + 102. Suppose 22*f - 15*f = d. Solve -5*j - f*i = -30, -i - 5 = -2*i for j.
4
Let p = -142 + 157. Suppose 0 = 12*l - p*l + 69. Solve -4*o - 4*k - 36 = 0, 3*k + l = -4*o + 2*o for o.
-4
Let d(k) = 139*k - 1110. Let s be d(8). Solve 4*o - 8*b + 7*b - 9 = 0, 3*o - s = -4*b for o.
2
Let u = -23081 + 23102. Solve 13 - u = 3*v + p, 0 = 4*v - 3*p + 15 for v.
-3
Let n(i) = 80*i - 955. Let k be n(12). Solve k*d - 5*x = -5, -d - 4 = -5*x - 3 for d.
-1
Suppose -35*m - 1 = -32*m + 2*y, -4*y = -5*m + 13. Suppose -2*i - 3*z + 13 = 0, -4*i - 4*z + 25 = m. Solve -i*b - 3 = -4*c, 5*b = c - 1 + 4 for b.
1
Suppose b - 9*w + 10*w = 0, 2*b - w = 15. Solve -4*s - 14 = 15*r - 13*r, -b*r - 5*s = 20 for r.
-1
Let r(v) = -v**2 + 8*v + 51. Let w be r(-4). Let j be -16 + 14 - (-15)/w. Solve -4*c - 10 = -3*h, 2*h = -3*h - j*c - 22 for h.
-2
Let w(d) = 25*d + 82. Let y be w(-3). Solve 0 = 4*x + i - 7, -3*x + 5*i - y + 41 = 0 for x.
3
Let f = 84 + -4. Let u be 2 + 2/1 + 0 + f. Let g = 88 - u. Solve -11 = -g*m - 3*l, 2*l + 0*l = 5*m + 15 for m.
-1
Suppose 13*n + 5*n + 1368 = 0. Let h(s) = s**3 - 11*s**2 + 2*s + 4. Let w be h(10). Let i = n - w. Solve i = -t - 5*c - 19, -4*t + c - 4*c - 8 = 0 for t.
1
Let f = -3625 - -3636. Solve b = 5*i - 9, -6*b + 11*b + 3*i - f = 0 for b.
1
Let s be -5 + 8 + -11 - (-65)/5. Solve l - 3*p = -2*p + 1, -5*p = s for l.
0
Suppose 28*k - 11*k - 255 = 0. Suppose 18 = -k*u + 108. So