 - 8 for t.
1
Let y = -11172 + 11182. Solve 44 = -5*n + 24, -y = v + 3*n for v.
2
Let q(k) = -k**2 + 13*k - 5. Suppose 8 = 2*b + x - 5*x, 3*b + 4*x = 52. Let l be q(b). Let j = 7 - l. Solve 3*n + 5*z = -j*z - 17, -3*z - 7 = 5*n for n.
1
Suppose 402*z - 449*z = -188. Solve -3*a + z*f - 7*f = -6, 5*f - 10 = -3*a for a.
0
Let a(z) = 5*z**3 - 1. Let i be a(-1). Let t = 35 - 42. Let h = i - t. Solve h = l + 3*q, l + 2*q + 11 = -2*l for l.
-5
Let t = -8689 + 8692. Solve 5*f = -3*h - 2, 3*h + 26 - 32 = t*f for f.
-1
Suppose 0 = 9*u - 71 + 26. Suppose -4*j - 4*p + 2*p + 4 = 0, -3*j + u*p + 29 = 0. Solve j*i + 6 = 2*m - 17, -31 = -4*m + 3*i for m.
4
Suppose -7*a + 24 = a. Suppose -7*j + a*j + 20 = 0. Solve j*l = -5*h - 30, h = 5*h + 20 for l.
-1
Let v be ((-3)/6 - -2)*788/(-6). Let r = 202 + v. Solve -r*x + 7 = -f - 10, -3*f + 5 = -x for f.
3
Let m = 5589 - 5573. Solve -11*p = -m*p + 25, -4*z + 14 = 2*p for z.
1
Let c be 4/(-24)*2*18 - -4. Let s be (-144)/8*1/c. Solve -2*a = 5*q + 21, 0 = -3*q - 4*a + a - s for q.
-5
Suppose -5*w - 160 = -235. Suppose 708*s - w = 703*s. Solve -3 = -3*g - 4*o + s*o, o = g - 1 for g.
1
Let v(n) = 53*n - 143. Let u be v(3). Suppose -22 = -u*d + 10. Solve 0 = -d*z - 0*m + 3*m - 19, m - 13 = 2*z for z.
-5
Suppose 0 = -3*g - 2*q + 55, -2*g + 1163 - 1089 = -4*q. Solve -5*u - 2*y = g, -u + 6*y - 11*y - 23 = 0 for u.
-3
Suppose -9*u = -11*u. Suppose 0 = 50*b - 55*b + 765. Let h = 158 - b. Solve -5*a = h*n - u - 20, 10 = 3*n + a for n.
3
Let w be (-6)/(-21) - 152/(-56). Let v be (-60)/(-2) - (-9 + 11). Suppose 4*r - r + 4*a - 16 = 0, 4*r + 4*a = v. Solve -2*z - p = -r + 3, -p = -w*z + 1 for z.
2
Suppose 537 = -16*o - 343. Let k = o + 56. Solve -l = -0*l + h - k, 5*l - 5*h - 15 = 0 for l.
2
Suppose -5 = 5*k + 2*b - 1, -4*k + 43 = -5*b. Solve 5*g + 5 = -k*j, 0 = -4*g + 6*j - 10*j - 16 for g.
1
Let i(f) = 2*f - 28. Let m be i(16). Suppose 5*b - 5 = m*b. Solve -b*d - 13 = j + 2, -2*d - 6 = 4*j for d.
-3
Let j(t) = 4*t - 10. Let i be j(6). Suppose -i*z + 4*z + 30 = 0. Suppose -5*b - r = 4, 4*b + z*r + 3 + 9 = 0. Solve -4*w + k = -17, 3*k + b*k + 7 = w for w.
4
Let k(x) = -x**3 - 6*x**2 - 5*x + 4. Let c be k(-5). Suppose 0 = 2*h - 41*m + 42*m - 14, 21 = 3*h + 5*m. Solve -n + 8 = -c*l, -4*l - 5 = h for n.
-4
Let v(t) be the first derivative of 2*t**3/3 + t**2 + 2*t - 5. Let c be v(-1). Let l be ((-42)/6)/(c*3/(-6)). Solve l = -2*n - 5*j, -3*n - 5*j - 3 = -0*n for n.
4
Let n be (1 + 4 - -1)/2. Suppose -n*a + 23 + 37 = 0. Solve 0 = -5*g - 5*q - 20, -8*q = 3*g - 3*q + a for g.
0
Let u(c) = -18 - 21*c + 8*c**2 - c**3 + 5*c + 7*c. Let t be u(6). Solve 3*p - 3*y = 3, y + t = 5*p + 11 for p.
-3
Let m = -728 + 730. Solve x = 7*a - m*a + 8, 2*a + 3*x = -10 for a.
-2
Suppose 4*z = 2 - 6. Let p(v) = -4*v - 1. Let t be p(z). Suppose -7*i = -t*i - 12. Solve 2*r - 7*h = -i*h + 18, -2*r - 5*h = 9 for r.
3
Suppose -147*a = -156*a + 18. Suppose -4*h - 5*p = -10*p - 117, -a*p - 33 = -h. Solve -8 = 2*n - 2*x, h = -5*n - 0*x + 2*x for n.
-5
Let z be (-256)/12*18/(-8). Suppose q + z = 9*q. Solve 2*x + 3 = -h + 5, 2*x - q = -3*h for h.
2
Let u = -87 + 90. Suppose u*i = -o - 7, 6*o = o - i + 7. Solve 0 = 2*k + o*k + 5*d + 17, 2*k - 5*d = -1 for k.
-3
Let b(z) = -2*z**3 - 87*z**2 - 42*z + 45. Let a be b(-43). Solve a = -c + 46*l - 44*l, -2 = 4*c - 5*l for c.
2
Let m(f) = -2*f**3 + 11*f**2 - 10*f - 2. Let h be m(3). Solve 5*c - 4*c - 4*g + h = 0, -4*g = -16 for c.
3
Suppose -n + 6 = -4*d, 3*n - 3*d = 15 - 6. Solve -2*j - z + 3 = 0, n*j + 2*z - 6 = -j for j.
0
Suppose 4*b + 2*v - 22 = 4*v, -10 = -3*b - 5*v. Let g be 3/(-2)*256/(-24). Let p be 170/16 - (-36)/96. Solve -7 = -3*r - q + p, -b*r + 3*q = -g for r.
5
Let f(z) = 21*z - 59. Let g(m) = 22*m - 64. Let d(k) = 6*f(k) - 5*g(k). Let p be d(4). Solve 3*b + 4*u - 3*u = -20, p = -5*b - u for b.
-5
Let g = 616 - 148. Let j = g - 448. Solve 2*r = h - 10, r + j = 3*h - 3*r for h.
0
Let a(g) be the third derivative of -g**4/12 - 43*g**3/6 - 40*g**2. Let t be a(-24). Solve -5*d + 4 = -h - 0, -h - t*d + 6 = 0 for h.
1
Suppose -1908 = 5*q - 1943. Suppose -q*i + 21 = -28. Solve 19 = 4*n + b, -n - b + i = -0 for n.
4
Let l be 1624/116*(-4)/(-8). Solve -14 = l*x - 3*x + 5*k, 4*x + 6 = -k for x.
-1
Suppose 5*l - 6*z + 4*z = 4, -9*l + 4*z = -8. Solve -44 = -4*y - 31*g + 35*g, -5*y - 4*g + 10 = l for y.
6
Let v(j) = -3*j + 16. Let t be v(4). Suppose -6*c = -t*c + 10, 0 = 3*i - 2*c - 409. Let f = i - 127. Solve f*s = s + 2*w, -7 = s + w for s.
-2
Let a be (15/6)/((-1)/(-2)). Suppose 12 = -5*r + 2*j + 23, -r - 4*j + 11 = 0. Solve 4*c = -2*z + 14, -5*z - a*c + 3*c = -r for z.
-1
Suppose 4*p - t + 2 = 0, 3*p - 7*t + 5 = -8*t. Let o be (p - -4) + -4 + 1 + 3. Suppose w = 6*x - o*x - 49, 2*w = 4. Solve 4*u = -c, -u + 5*c - x = c for u.
-1
Let v be 4 - 0 - (6 + (-5530)/(-14)). Let l = v + 397. Suppose -2*k = 2*x - 10, 3*x - x + 4*k = 16. Solve -2*u + 3*a + x*a = l, u = -4*a + 13 for u.
5
Let k(n) = -4*n - 47. Suppose -293 = 15*d - 98. Let s be k(d). Solve 3*v = 3*p + v - 13, s*p - 13 = -v for p.
3
Suppose -5*q + 170 = -4*d - 1232, -2*d = 3*q - 850. Suppose 285*g = q*g. Solve g = 5*l - 4*o - 4, 0*l = -2*l - 3*o + 20 for l.
4
Let u = -46 + 46. Let x(y) = 11 + u*y + 0*y + 16 + y. Let g be x(-11). Solve 4*c = -4*r + g, 0*c = r - 4*c + 6 for r.
2
Suppose 582 = -5*j - a + 594, -2*a = -2*j + 12. Solve 4*q + j = -d, 5*d - 10*d = -25 for q.
-2
Let i be 26/6 - 96/72. Suppose 0 = v - 3*h - 9, 2*v - 6 = i*h - h. Let l be -1 + 3/(-6)*-8. Solve l = -s + 2*f, v*s - f - 11 = 2*s for s.
-5
Let k be ((-29580)/450)/(-17) - 4/(-30). Solve -4*x + 5*f + 31 = 15, -x = 2*f - k for x.
4
Suppose 11 = 2*t + 3. Suppose 0 = -b - t*k, 3*b - 32 = 3*k + k. Let v = -204 + 207. Solve 0 = -3*l - 2*d + b, -v*d + 10 + 1 = 4*l for l.
2
Suppose v - 39 = -2*q + 50, -59 = -2*q + 5*v. Suppose -q*i - 12 = -54*i. Solve i + 5 = 3*a + 3*z, 23 = -a + 4*z for a.
-3
Suppose -3*p = 5*d - 30, -2 = -3*d + 3*p - 8. Suppose -4*x = 13 + d, 18 = 2*j - 3*x. Suppose 0 = h + j*h - 16. Solve h*l + 15 = -k - l, -3*l - 7 = k for k.
5
Suppose -b + l = -2, 2*b = -75*l + 73*l - 4. Solve 39*u - h = 34*u - 6, -5*u - 5*h = b for u.
-1
Let w(z) = 59*z**2 + 47*z - 1. Let h be w(-1). Solve -3*b = h*c - 9*c - 12, -3*c - 3*b + 15 = 0 for c.
3
Suppose -5*c = -c + x - 17, 4*c + 2*x - 18 = 0. Suppose -c*w + 16 = -i + 5*i, -4*i = -3*w + 12. Solve 2*g - 4*g - q = 13, i = 3*g - q + 12 for g.
-5
Suppose -6*a - 134 = -140. Let b be 4 + a/(-6 + 5). Solve 3*l - 4*f - 17 = -8*f, -3*l = b*f - 15 for l.
3
Let j be 8/(-2 - 0) + 3225/(-25). Let s be (-4)/(-14) + (-6)/(294/j). Solve z + 17 = 4*l, -11 = -3*l + 2*z - s*z for l.
4
Suppose -3*r + 24 = -n - 13, 4*n = -4*r + 76. Let g be (-2)/r - 375/(-175). Let c be 6/(-9) - 16/(-6). Solve -z = -0*z - g, 4*b + c = 5*z for b.
2
Suppose 46 = 3*l + 37. Let a(y) = -y**3 + 2*y**2 + 8*y - 2. Let k be a(l). Solve -5*t + 5*g + 5 = 0, -10*t - 5*g = -7*t + k for t.
-1
Suppose -4*b - 2*m = 0, 2*b + 2*m + 5 = 1. Let i = -305 + 307. Suppose -i*q - q = -0*q. Solve -2*u - b*s - 2 = q, u + 4*s + 5 = -2*u for u.
1
Suppose 0 = 11*l - 4*l - 28. Suppose 2*a - l*a = -16. Solve 19 = q + 3*q + 5*k, -q - a = -3*k for q.
1
Suppose 0 = -6*r - 4*r + 3*r - 6*r. Solve 2*w + 8 = i, r = 4*w - 4*i - 0*i + 20 for w.
-3
Let m = -13 + 15. Suppose -r = m*s - 6*s + 45, s = 4*r. Suppose 0 = 2*z - s + 6. Solve k + 4*n + 22 = -n, -z*n - 22 = 5*k for k.
-2
Let k = 142 + -148. Let g be (8 - 1/1) + k/3. Solve 0 = -g*n + 3*l + 3 + 6, 0 = -3*n - 2*l + 13 for n.
3
Let q(k) = -k**2 + 10. Let m be q(-12). Let f = 141 + m. Solve g - f = -4*x, 5*x + 5*g = -8 - 2 for x.
3
Suppose -2*z - 3*w = 0, 4*z + 2*w = 3*z. Let j(t) = -t**3 + 6*t**2 - 3*t - 6. Let f be j(5). Suppose 2 = f*k - 10. Solve z = 2*m - g - k + 2, 15 = -5*g for m.
-1
Let o be ((-4)/(-6))/((-5)/(-15)). Suppose 0 = 13*v - 19*v + 12. Suppose v*h = -o*h + 2*h. Solve -4*d = 5*i + 17, h = -3*d - 4*i - 8 - 6 for d.
2
Let t = -26 + 30. Suppose 101 - 41 = t*u. Solve u = -3*x - 0*p + 3*p, x - 11 = -3*p for x.
-1
Let j(g) = 32*g**2 + 2*g + 1. Let o = -17 + 16. Let u be j(o). Suppose 32*l - 4 = u*l. Solve -4*n - l*d - d - 13 = 0, -2*d + 5 = 5*n for n.
3
Let f(y) = 4*y**2 + 17*y + 13. Let s be f(-6). Let g = s + -53. Suppose 26 = 5*w - g*n - 1, 2*n + 22 = 4*w. Solve 0 