+ 34*t**2 - 1 - 29*t**2 - 2*t. Let m be h(-1). Solve 0*k + 2*j = -k - 11, -k - j = m for k.
-1
Let m be (-1 - -2) + 27 + -22. Solve 0 = -4*a + 2*h - 6, -5*a - 21 = -m*a + 5*h for a.
-4
Suppose 7 = 4*p - 41. Let x be (p/(-9))/((-4)/(-6)). Let k be 80/12 + x/3. Solve 4*z = 3*f + 12, 0 = -z + k*z + 4*f + 16 for z.
0
Let i(q) = q - 10. Let x(g) = 4*g - 29. Let c(p) = -7*i(p) + 2*x(p). Let b be c(-8). Let m = 2 - -3. Solve b*r - 1 = -m*n + r, -4*r - 10 = n for n.
2
Let s = 9 + -9. Suppose -3*l - j + 317 = s, -5*l - 154 = -2*j - 675. Suppose 2*k - i = l, 3*k = k - 4*i + 80. Solve 2*t = -4*d - 12, 17 = -2*t + 5*d + k for t.
4
Suppose -2*c + 85 = -5*z, 3*z + 69 = 5*c - 96. Let b be (3 - 1)/((-5)/(c/(-3))). Solve 4*u = 4*x + b, 2*u - u - 7 = 4*x for x.
-2
Let j = -232 + 232. Solve 4*p + j = -5*u - 5, 2*p + 1 = -u for p.
0
Suppose 5*m - 17 = -12. Let f be (m - 3)*(-4)/2. Solve i - 7 = f*p - 2*i, -p - 3 = -2*i for p.
-1
Suppose -3*r - x + 13 = 0, -r = -2*r + 5*x - 17. Suppose 0 = 4*j - 19 + r. Solve -4*s + 0*z + z = -21, j*z + 32 = 3*s for s.
4
Let g be (-44)/(-16) - (-2)/8. Suppose -3 = -3*x + g. Solve 2*w - x*t = 0, -1 = w + t + 5 for w.
-3
Let g be -2 + 8 + 5 + -3. Let u(p) = p**2 - 9*p - 1. Let r be u(g). Let n be (-12)/42 + r/(-7). Solve -2 = h - 3*v + 5, -n = -2*h + v for h.
2
Let u = 9 - -18. Suppose 29 = 4*x + 5*y, 2*y + y + u = 5*x. Solve -4*j - 4 = 4*s, x*s - 2*j + 13 = 3*s for s.
-3
Suppose -3*k = 5*t + 4, -4*k + 6 = -5*t - 12. Let f = 60 + -7. Suppose -5*x - k*s = -f, -3*s = -5*x - 4*s + 54. Solve -z = -p + 3*p + x, -p - z = 8 for p.
-3
Let h be 27/(-4)*(-1176)/441. Solve 4*a - 20 = -i, -3*a + 14*i = h*i - 28 for a.
4
Let b(v) = -3*v - 31. Let y = -17 - -3. Let x be b(y). Solve t + 21 = 4*h, 5*h = h - t + x for h.
4
Let y be -1*(28/(-154) + (-84)/22). Suppose -3*h = 2*b - 4, 0*b + y*b = -16. Solve 3*o + h*p = -10, 0 = -4*o - 2*p - 2*p - 8 for o.
2
Suppose 0*n + 40*n + 3*n = 0. Solve 2*c + 7 = -0*k + k, n = -k - 4*c + 1 for k.
5
Suppose 20*w - 22*w = -14. Solve 9 = -2*g - 5*t, -w - 2 = g + 4*t for g.
3
Let n = -125 + 127. Solve 5*g + 2*y - 18 = 0, 0 = -4*g + n*y - 7*y + 28 for g.
2
Let a be (-13 + 5)*5/(-8). Solve -12 + 2 = 2*j, -2*r = -a*j - 29 for r.
2
Suppose 8*z + 40 = 3*z. Let o(u) = -u - 5. Let r be o(z). Solve -9 = 4*b - r*h, 3*h - 15 = b - 2*h for b.
0
Let p(f) = -f**2 + 7*f - 10. Let w be p(3). Solve -4*u + w*h - 5 = -13, u + 5*h = -20 for u.
0
Let m(z) = z**3 + 14*z**2 + 9*z - 49. Let x be m(-13). Solve x*v = 0, 5 = w + 5*v + 8 for w.
-3
Let m = -752 + 757. Solve 0 = -4*u - m*f - 6, -u - 3*u + f + 6 = 0 for u.
1
Let h be 6*(-4)/(-8) + 6. Suppose 0 = 2*g + 2*n - h - 7, -2*g + n + 4 = 0. Solve 0 = -g*k - 2*s + 16, 0 = -4*k + 5*s + 5 + 11 for k.
4
Let u = -13 + 16. Solve 3*g + u*d - 18 = 0, -d = -6*g + g for g.
1
Let v(y) = y**3 - 17*y**2 + 15*y + 19. Let c be v(16). Let a = 16 - 14. Solve 0*h - 2*h + 2*f = a, c*h - 5 = -5*f for h.
0
Let u = 1509 + -1499. Solve 3*f + 6 = 0, -f = -2*n + 2*f + u for n.
2
Let y be (-1 - (-80)/(-4)) + 1. Let a(x) = -x + 12. Let j be a(y). Suppose -4*t - 16 + j = 0. Solve 3*g = 3*d - 19 + t, 3*d + 6 = -4*g for g.
-3
Let n be 174/10*(-1 - -6). Let h = n - 85. Solve -h*t = 5*b + 5 + 16, -2*t - b = 9 for t.
-3
Suppose 0 = -4*a + b, 0*b = -3*b. Suppose a*k + k = -2. Let m(d) = -2*d. Let j be m(k). Solve -3*p + 5 = -j*f, -p = -4*f - 6*p - 13 for f.
-2
Let f(t) = -10*t**2. Let a be f(-1). Let d be a/(-2 + 6/4). Suppose -5*y = x - 88, 4*y - 17 = -x + 54. Solve d = 4*w, w - y = -4*c - 0*c for c.
3
Let u = 4 + -2. Suppose -k = v + 4*v - 1, -2*v = -2*k + 14. Suppose f + u*f = k. Solve 0 = d + b - 1 - 6, f*d = 5*b for d.
5
Suppose 13*t + 71 - 292 = 0. Solve -5*s + 0*y + 2*y = -25, 4*s - t = y for s.
3
Let k(r) = -2*r - 6. Let p be 0/1 - 3*-1. Let j be p + -4 - (0 - -2). Let n be k(j). Solve y = v, n = -y - 4*v - 8 - 17 for y.
-5
Let j = -4 + 13. Let z(x) = 3*x + 9. Let o(y) = 13*y + 35. Let b(r) = j*z(r) - 2*o(r). Let k be b(-9). Solve 24 = 3*f + k*v - 5*v, -f + 5*v = -24 for f.
4
Suppose r + 5 = 10. Let f be ((-1)/(-3) + (0 - 2))*-3. Let n be (-28)/(f - 1)*-2. Solve -n = 4*u - r*i, -u - i = u for u.
-1
Let k be (3/2 - 2) + (-145)/(-58). Solve k*s = 5*g + 3, 2*g + 2 = 5*s + 5 for g.
-1
Let r(n) = n**2 - 39*n - 428. Let i be r(48). Solve -4*y = 5*l - y - 25, i*y - 16 = 2*l for l.
2
Let s(x) = -2*x**2 - 10*x - 5. Let l be s(-5). Let u be (-1)/(-4)*l*(-12)/3. Solve -2*k - 2*n - 10 = 0, 0 + u = -k - 2*n for k.
-5
Suppose -3*b = b. Suppose -3*a + a - 8 = b. Let o be (6/a)/((-12)/280). Solve 3*u + 2*x + 2*x - o = 0, 4*u - 45 = -5*x for u.
5
Suppose -126*r + 127*r - 5 = 0. Solve 4*i = 2*d + 8, -r*i + 4 = -3*i + 5*d for i.
2
Suppose 0 = 14*i - 13*i - 19. Suppose 0 = -i*k + 23*k - 12. Solve 0 = -c + k*o + 20, -5 = -5*c - 4*o - 0*o for c.
5
Let j(s) = -4*s**3 - 12 + 11*s - 8*s - 6*s**2 + 5*s**3. Let d be j(6). Suppose -24*c + 35 = -61. Solve -m = -p + d - 3, 0 = c*p + m - 22 for p.
5
Let x be (-3 + -1)*(-15)/20. Let i(y) = -6*y**3 + y**2 - 2*y + 1. Let p be i(1). Let n = p + 10. Solve -w + 0*z - n*z = -11, 15 = -x*w + 4*z for w.
-1
Let w = 17 - 47. Let j = w - -39. Solve -3*m - 3*z = -6, 2*m = 7*m + 4*z - j for m.
1
Let x be (24/9)/(2/3). Suppose 75 = x*d + 5*g, -5*g + 24 = d - 2*g. Let z be (d + -16)/(1/(-5)). Solve -25 = -z*u - q - 10, 3*q = 15 for u.
2
Let y(a) = -2*a**3 - 15*a**2 - 29*a - 135. Let n be y(-7). Solve 2*j = -21*h + n*h - 10, -3*h = 15 for j.
0
Suppose 0*v - 5*v - 1140 = 0. Let g be v/(-54) + 4/(-18). Suppose -3*q + 12 + 0 = -5*p, -g*q + 16 = 5*p. Solve 13 = -q*o + r, 0 = 5*o + 2*r + 11 + 15 for o.
-4
Let d be (-4 + (-539)/(-21))/((-1)/(-3)). Let k = d - 57. Solve -8 = 4*u - 0*f + 4*f, -4*f = 3*u + k for u.
0
Let z = 29 + -23. Let n be 1*z/(6/7). Solve 31 = 5*u - 4*a + 10, 2*a + n = -u for u.
1
Let h = 7 + 1. Suppose 3*p - h = p. Suppose -2*k = p, 3*y - 14 + 1 = 2*k. Solve 2*c - g + 9 = -y*c, 2*c = 2*g - 10 for c.
-1
Suppose 4*z - z + 2*c = 29, -2*z = 4*c - 14. Let b be 3/(2 + z/(-5)). Let h = -15 - b. Solve -4*u + 9 - 23 = -2*s, 4*u + 12 = h for s.
1
Suppose 0 = -k - 2*n - 4, k = -k - 5*n - 12. Let d(w) = w**2 + 3*w - 4. Let o = -40 - -36. Let u be d(o). Solve u = k*q - 2*q - 5*r + 1, 4*r = 5*q + 11 for q.
-3
Let a(i) = i**2 + 8*i - 17. Let v = -67 + 57. Let w be a(v). Solve -3*o - 5 = -8*o, -w*o + 15 = 3*r for r.
4
Let k(g) = -g**3 - 14*g**2 + 2*g + 31. Let x be k(-14). Suppose -5*y = -x*j - 1 - 3, 2*j - 4*y = -4. Solve 0*v + 8 = 3*v - j*q, -10 = -2*v - q for v.
4
Let o = -24 - -16. Let p(m) = m + 8. Let r be p(o). Suppose r = -3*j + 2*c + 23, -3*j - c + 3 = 2*c. Solve -2*h + 20 = -j*y, -3*y - h - h = -4 for y.
-2
Let r be (-1)/(44/16 - 3). Suppose r*m - m = 15. Suppose -27 = -3*k - 6. Solve -4*f = -m*j - 17, f - k = -0*f + 4*j for f.
3
Let i(x) = 2*x**2 - 6*x + 18. Let z(c) = 2*c**2 - 7*c + 17. Let u(f) = -6*i(f) + 7*z(f). Let s be u(6). Solve -v + 4*y = -4*v - 22, s*v = 3*y + 2 for v.
-2
Let n = 1720 - 1715. Solve -4*i = l + 3 - 11, -4*i - 16 = -n*l for i.
1
Let q = 5 - -28. Let d = -31 + q. Solve 3*w = -2*k + 10, d*k + w - 3 = k for k.
-1
Suppose 105 = 26*v - 5*v. Solve -4*z + 5*d - 12 = v, 2*z + 2*d - 14 = 0 for z.
2
Suppose -29 = -2*q - 3*g, -3*q - g + 18 = -15. Suppose -u + q = u. Solve 4*s + 0 = 5*z - 7, u*s = 4*z - 11 for s.
-3
Let o = -396 + 396. Let p = -10 - -14. Solve -p*l - 4 = o, -5*f - l = -f + 13 for f.
-3
Suppose -5*t - 70 = -5*i, -3*t + 0*i - 34 = i. Let g = 12 + t. Suppose c = -g*c + 6. Solve 0 = r - 2*d - 4, -3*d - d = 5*r - c for r.
2
Suppose -p - 32 = i, -196 = 5*i - p - 42. Let m = i - -34. Solve -14 = s + 4*f, 5*s - f - 11 = m for s.
2
Let n = -154 + 165. Let k(w) = -w**3 + 4*w**2 + 5*w + 3. Let v be k(5). Suppose v = -24*t + 25*t. Solve 4*s + 4*o - n = t*s, -o + 1 = 2*s for s.
-1
Let a be (0/(8 + -7))/4. Solve 4*q + 2*c + a = 14, 3*q - 7 = 2*c for q.
3
Let w = -4 + 4. Suppose 216 = 5*d + 5*b + 71, d - 2*b - 17 = w. Suppose -y + d = 4*y. Solve -s + 3*s = y*a - 1, 3*a + 1 = 2*s for s.
2
Suppose -c + n + 1 = 0, 3*n + 7 = 8*c - 3*c. Solve 2*m = 4*j + 12, 2*j - 5*m + c = -2*m for j.
-4
Suppose -22 = -6*z + 32. Suppose -s = 9*s - 350. Solve -4*y - s = -5*c, -3*c + z = -0*c for y.
-5
Suppose 2*n - 3*s + 10 = 6*n, -30 = -5*n + 5*s. Solve 0 = -4*d + 5*i + 27, -12 = -d - n*d - i for d.
3
Su