= 3 for t.
0
Let b = 1751 - 1731. Solve -5*r - 11 = k, -r = k + b - 17 for k.
-1
Let q = 10927 + -10925. Solve 0 = q*l + 5*w - 16, 15*l - 14*l - 3*w = -3 for l.
3
Let k = -295 + 427. Let l = k - 129. Suppose 0 = 5*b - l - 22. Solve -5*d + 5*t - 21 + 1 = 0, b*d = -2*t + 15 for d.
1
Suppose 0 = -0*v + 4*v - 5*z - 5, 2*z = 4*v - 2. Let x be (-5)/10 - 178/(-4). Suppose 4*o + x = 44. Solve v = -5*j + 5*a + 34 - 4, o = -2*j - 4*a for j.
4
Let m = 2085 + -2077. Let w be (-1)/2*(-40)/4. Suppose -4*c = 2*t - 10, -t = -0*c - w*c + 9. Solve 5*s - c*v - 13 = 0, 2*v - m = -s - s for s.
3
Let d(c) = 2*c. Let s(b) = -13*b - 13. Let f(u) = -6*d(u) - s(u). Let t be f(-9). Solve -14 = -2*o - t*y, y + 1 + 6 = 3*o for o.
3
Let t(m) = -m**3 - 15*m**2 - 39*m - 6. Let w be t(-3). Solve w*l - 12 = -h, 8*h + l = 6*h + 4 for h.
0
Let c be (-6 - -7 - 6)/(-1). Solve -1 = -j + 5*z, 18 - 13 = 5*j - c*z for j.
1
Let h = -1170 - -1161. Let l(j) = -2*j**2 - 21*j - 24. Let k be l(h). Let c(d) = -d**2 + 1. Let g be c(1). Solve 4*q + 0*i = -i + 20, g = -4*q + k*i + 20 for q.
5
Suppose -8*x = -3*x - 15. Suppose -x*m + 95 = 4*u, -m = 2*m - u - 115. Let k = m + -32. Solve -b = 2*q - 7, -5 - k = -2*q for b.
-3
Suppose -2*d - 4 = -12. Suppose -9 = -d*y - 1, -3*a = 2*y - 13. Let w(c) = 8*c + 56. Let i be w(-7). Solve i*u - 3*r = 2*u - 2, 3*r = -a*u + 3 for u.
1
Let n be ((-18)/21)/(((-16)/(-28))/(-2) - 0). Solve -n*c + 49*d = 47*d + 4, 0 = -c + 4*d - 18 for c.
2
Let w = -63 + 82. Let y be w/((-19)/(-6)) + (-1)/1. Solve -2 = -2*f + o, -y*o - 16 = f + 5 for f.
-1
Let i(x) = 8*x**3 + 229*x**2 - 87*x + 13. Let k be i(-29). Solve k*n = 10*n - 3*r, r = 2*n for n.
0
Let l(m) = 52*m - 407. Let u be l(9). Suppose 376 = u*o - 14*o. Solve -w = 4*v - 7, 0 = -5*v - 5*w - 2 - o for v.
3
Suppose r = 2*r + 5*y + 11, 0 = -r - 2*y - 2. Let l = r + -3. Let a be -3*2 + 28 + -13 + (3 - 9). Solve -a = 5*p - 3*k, -4*k + 3 = -4*p - l for p.
0
Let t(d) be the first derivative of 2/3*d**3 + 28 + 1/2*d**2 - d. Let c be t(1). Solve -2*k + 3 = c*q - 1, -2*q + 7 = 5*k for q.
1
Let x be 14/((1 - 126/33) + 3). Let v be (-14)/x - (-101)/11. Let z be (-2 + 0 - -2) + 9. Solve -2*j - 5*h + v + z = 0, 4*h - 14 = -2*j for j.
-1
Let y(r) = r**2 + 6*r + 2. Let o be y(-8). Let i be (-2)/(-6) - 24/o. Let c(v) = 19*v**2 + 3*v + 2. Let b be c(i). Solve a + j + b = -3*a, -12 = 2*a - j for a.
-5
Let a(n) = -n**3 + 46*n**2 + 150*n - 142. Let o be a(49). Solve 5 = 4*y + 5*i, o*i + 18 = -i for y.
5
Let u(f) = 2256*f + 9024. Let q be u(-4). Suppose 0 = 7*o - 4*o - 15. Suppose 0*i + 2*i = 8. Solve -3*b = -5*v - i, v + q*v = o*b + 8 for b.
-2
Let i(l) = l - 3. Let u be i(5). Let t(q) = 22*q**2 - 461*q - 21. Let g be t(21). Solve 0 = -5*h + u*m - g + 7, -8 = 4*h - 5*m for h.
3
Let h(o) = o**2 + 2*o - 3. Let q be h(-4). Let l be (-2*1)/(-1*(-6)/(-9)). Suppose c - 5 = -l. Solve -2*r - r = -3*u, -3*r + q*u + c = 0 for r.
-1
Suppose -18*l = 5*b - 9*b + 38, 5*b - 20 = -5*l. Solve -4*t = -b*z - 7, t = -2*t + z - 3 for t.
-2
Suppose n - 16*n + 150 = 0. Solve -5*i + 2*a = 6*a + 2, -a = -4*i - n for i.
-2
Let f(g) = -12*g - 28. Let n be f(2). Let k be n/130 + (-154)/(-10). Solve -5*c + k = 0, 3*o - 13 - 8 = -5*c for o.
2
Let y be 22/5 + 40/(-100). Solve 4*p - 14 = -3*v, -y*v - 23 = -p - 2*p for v.
-2
Suppose -2*u = -4*m + 4, -22 = -2*m - 3*u - u. Let n = 51 - 41. Suppose 11*f + n - 43 = 0. Solve t - f*y = 8, m*t + 9 = -5*y - 23 for t.
-4
Let a(z) = z**2 - 24*z + 3. Let w be a(0). Solve 5*x - x - w = -i, 3*i + 5*x - 2 = 0 for i.
-1
Let f(p) = -p**3 + 9*p**2 - 4*p + 6. Let b be f(8). Suppose 0 = -34*d + b*d - 20. Solve 2*c + 5 = -j, -d*j - 4*c - 2 = -1 for j.
3
Let s be -5*(70/(-150)*3 + (-2)/(-5)). Solve 0 = 5*h + 3*k + 3, -h + 3 = -s*k - 2 for h.
0
Let a = 457 + -455. Suppose 0 = a*y + 1154 - 1160. Solve -5*t - 4*c - 23 = 0, -2*t + 2*c = -y*t - 7 for t.
-3
Suppose 5*v - 72 = -7. Let k(d) = -3*d**2 + 39*d + 3. Let s be k(v). Solve 3*r - 15 = s*b, -2*b = -5*r + r + 12 for b.
-4
Let w = -211 + 211. Suppose 9 = 2*v - 2*m + 3, -2*m = 3*v - 24. Suppose v*r + 14*r - 40 = w. Solve 0 = -5*u + 2*p + 21, -2*u + p = r*p - 12 for u.
5
Let d = 153 + -101. Suppose 0 = 5*q + 4*s - 54, -2*s = 8*q - 3*q - d. Solve 0 = -3*r + o - q, 4*r + 3*o - 6 = -2 for r.
-2
Let v(z) = -z**3 - 10*z**2 - 116. Let s be v(-11). Solve 12 = -2*b - b + s*u, 2*u = 0 for b.
-4
Suppose -3*t = t - 12. Suppose 0 = 2*n - t - 43. Let f be 8/(-6)*-1*-2*6/(-4). Solve 5*l = 4*s, f*l + 5*s + 18 = -n for l.
-4
Let z be 2/(-1)*(-8 + 42/7). Suppose 2*c + 2*k - 80 = -c, -k - 20 = -c. Solve -r - 11 = 3*d + r, -5*r - c = z*d for d.
-1
Let w be (39 + -40)/(2/4) + -254. Let g = w - -256. Solve -5*v + g*o - 35 = 4*o, 5 = -o for v.
-3
Let y(f) = 31*f + 150. Let k be y(-5). Let i(z) = -3*z**2 - 11*z + 25. Let s be i(k). Solve 0 = -s*b + 5*c, -6*c + 3*c = 6 for b.
-2
Let z(n) = n. Let f be z(-9). Let c be -5*f/15 - -21. Let u be ((-126)/c - -5)*-8. Solve 4*x - 8 = -0*t + u*t, 2*x - 2*t = 8 for x.
0
Suppose -3*r + 32 = -88. Suppose 32*q - r = 28*q. Let i be (1 + -3)*q/(-4). Solve 18 = 2*l + 2*n, i*l + 4*n = 8 + 33 for l.
5
Let f be (-315)/12*24/(-18). Solve 3*s = -x + 1, -f*s + 13 = 4*x - 32*s for x.
4
Suppose 105 = -7*t + 140. Let j(a) = 3*a - 64. Let x be j(22). Solve -4*g + 2 = -t*k, 4*g = x*k - 0*k - 4 for g.
-2
Suppose -26 = -b - 3*s, 4*b - 327*s = -332*s + 62. Solve 3 = -6*j + b*j - f, f - 1 = 0 for j.
2
Suppose -44*o - 22 + 110 = 0. Let l be 1 + ((-6)/9)/(o/3). Solve 0 = 4*c, -k + 0*c - c = l for k.
0
Suppose 3*q - q = 5*a + 161, 0 = -5*a + 4*q - 157. Let u = a - -56. Let f = u - 18. Solve 4*k - 20 = 0, 4*h = h + 4*k - f for h.
5
Suppose 21 = 2*a + i, -121*a - i + 51 = -116*a. Solve -x = -0*c + 3*c + a, -4*x + c = 14 for x.
-4
Let w be 0 + 351/(-54)*(-3 - -1). Suppose 8*d = w*d + 2*x - 6, 4*d - 6 = -2*x. Suppose 0 = -3*k - 7 + 22. Solve 4*h = k*z + 28, d*z + h = -2*z - 6 for z.
-4
Suppose 5*c + 2*s = 27, 2*c - 6*s = -2*s + 6. Suppose j + c = 2*d, -3*d - 2*j + 17 = 6. Solve 0 = d*v - 12, v + 12 = -3*p - p for p.
-4
Let z = 468 + 22. Suppose -480*c - 190 = -z*c. Solve -3*g + 3*y = 2*g - c, -3*y = -g + 11 for g.
2
Suppose 5*r - 33 - 27 = 0. Let u be 18/(-72) + 3/r. Solve 4*t = q - 12, -q - q = u for t.
-3
Let k(h) = -2*h + 73. Let i be k(24). Let u be i*(-24)/(-40) - (-10)/(-2). Solve 4*l - r = -8, -u = -l + 6*l - r for l.
-2
Let m(c) = -4*c - 72. Let w be m(-18). Suppose 4*x - 5*x = -j + 16, w = -2*j + 3*x + 31. Solve n - j = 3*a + 5*n, -2*n + 2 = -2*a for a.
-3
Let j(b) = b**2 - 68*b + 759. Let m be j(14). Solve 8*w - 7*w = 2*k + m, -4*w + 4*k + 4 = 0 for w.
-1
Let k(o) = -174*o + 176. Let s be k(1). Solve 4*q - 19 = s*x + 5, x + 27 = 5*q for x.
-2
Suppose -2*a + 13*p + 22 = 9*p, -4*a = -p - 16. Suppose a*r = -4*l + 29, 5*r = 3*l + 30 + 57. Solve -4*c + 4 = 4*b, 0*c + 3*c = 3*b + r for b.
-2
Suppose f - 2*f = -2. Suppose o = -f*n - n + 2, 0 = -5*o + n + 10. Let v be 8/12*o/4*12. Solve -v*b - 12 = -c + 4, -4*c = 4*b - 4 for c.
4
Let b = 4621 + -4619. Solve -4*x + 12 = -2*f, -2*x + 27*f - 30*f - b = 0 for x.
2
Let f = 38 - 2. Let a = 46 - f. Solve -3*n + 2*m + 14 = 0, -4*n + 5 = m - a for n.
4
Suppose -16*y + 57 = -7. Suppose 2*w + 13*p - 11*p - 10 = 0, 5*p = -y*w + 20. Solve -2*x = 3*x, -w*x + 8 = -4*k for k.
-2
Suppose -25 = -2*q + n, -3*n - 25 = 2*n. Solve 5*u + 11*i - q*i - 27 = 0, 1 = u - 2*i for u.
5
Let x(c) = 3*c**2 + 184*c + 442. Let u be x(-59). Solve -4*m + 10*n - 4 = 8*n, u = -3*m - 5*n for m.
-3
Suppose 8*z - 3938 = -3898. Solve v + 10 - 24 = -z*f, 2*v = 4*f - 14 for f.
3
Let r(v) = -2*v - 74. Let s be r(-37). Let f be -8*(-1)/(4 - s). Solve k - 2*b = -8, -b = 4*k - f*b - 3 for k.
2
Suppose 4*r - 24 = 2*l - 18, 5*l - 3*r - 13 = 0. Solve -5*u = l*c - 35 - 0, 0 = 4*c + 3*u - 26 for c.
5
Let p = -1817 + 1819. Solve 3*y - 3*j + 12 = 0, p*y + 9*j + 8 = 6*j for y.
-4
Suppose -3*r + 9 = -24. Suppose 18 = r*f - 5*f. Let a be -1 + f + (1 - -4). Solve 0 = 3*c - 5*v + 20, a*v - 3*v = -3*c + 16 for c.
0
Let u be 5*(-7)/7*-1. Let y(l) = 4*l**2 - 154*l + 96. Let q be y(38). Solve 2*m = 4*m + u*n - 28, -4*m - n = -q for m.
4
Suppose -5*j - 6 = -2*j, 3*i - 20 = -2*j. Let t be -1 + i/10 - (-710)/50. Let r = -12 + t. Solve 9 = -2*c - r*c - 5*q, 3*q = -4*c + 1 for c.
4
Suppose -3*j + 4 = -2*j. Let v be 6