t l(t) = 6 - 7*t - t**3 + 8*t + 2. Let y be l(0). Solve 0 = -2*z + 5*v + y, 2*z + 3*v = 4*v + 8 for z.
4
Let n(x) = x**3 - 6*x**2 - 10*x + 27. Let k be n(7). Solve w - 3*w - 2*j + k = 0, 3*w - 9 = 3*j for w.
3
Let b be -1*(0 + 4) + 8. Suppose 0*z - 4 = 2*z - 5*p, 5*z = b*p + 7. Solve t - z = 0, 2*r - 5 = -3*r - 5*t for r.
-2
Suppose -s - 75 = -16*s. Solve 0 = -a - 5*r - 22, 3*r + 12 + 18 = s*a for a.
3
Suppose a = 4 - 2. Suppose 0 = -5*b + 63 - 3. Suppose 0 = -b*y + 18*y - 42. Solve 2*g - u + a = 3*u, u = -2*g - y for g.
-3
Suppose 9*g - 6*g = -4*o + 26, -g + 2*o - 8 = 0. Solve -5*k = 3*h + 3, -g*k - 3*k = 2*h + 2 for h.
-1
Let q = 0 + 4. Let s = -4 + 8. Suppose -8 - q = -s*h. Solve 3*t = 5*i - 16, -4*i - h*t = -i for i.
2
Let u = 11 - -10. Let z(m) = -2*m**2 + 3*m + 22. Let r be z(5). Let a = -11 - r. Solve -a*p = -p + 5*w - u, -3*p - 27 = -3*w for p.
-4
Suppose -4*b = -2*b - 58. Let v = b - 29. Suppose -9 = -3*y - v*y. Solve -y*p + 28 = -4*a, p - 5*a = -0*p + 24 for p.
4
Let w be (12 - 1)*((-2760)/(-253))/12. Solve 0 = r - 0*y + 3*y - 15, 2*y = 2*r + w for r.
0
Suppose 4*c + 46 = -5*y, 3*y = c - 3 - 11. Let w be 0*(y/(-4))/3. Solve -3*n = -w - 12, 0 = -3*x + n + 5 for x.
3
Let s = -60 - -63. Let f(d) = d**2 - 6. Let r be f(s). Solve -8 = b + u + u, r*b = -5*u - 22 for b.
-4
Suppose -45*o = 54 - 909. Solve 5*c + 22 = -2*k + c, k - 4*c - o = 0 for k.
-1
Let f be 8 + 5 + -6 + -3. Solve -4*h = 3*r - 4, -f*h = r + r for h.
-2
Let l be -4*(-1)/(2/(-3)). Let t be (-132)/(-24) + l/4. Solve g + 4*y + 21 = 0, -3*g + 2*y + 3 = -t for g.
-1
Suppose t + 4 = -5*x + 35, 3*x - 19 = -t. Suppose -x*a - a = -21. Solve 0 = -5*c, -m - c - 3 = a*c for m.
-3
Let h be -4 + 6/(-3) + 43. Let v = 39 - h. Solve 0 = v*o + 2, 0 = -2*d + 3*d - 2*o - 6 for d.
4
Suppose -4*t = -8*t. Let q = -16 - -18. Let m be -6 + 6 + q + t. Solve x - 1 = i - 2*i, -m = 4*x + 2*i for x.
-2
Suppose -3*h - 12 = -24. Suppose s - 36 = -h*k + 4*s, 5*k + s = 26. Solve -5*q = -7*r + 3*r + 3, r = -4*q + k for r.
2
Let p(j) = -j**3 + 12*j**2 + 27*j + 14. Let h be p(14). Solve 3*r + 26 = -4*q, h = -0*q - q - 2*r - 9 for q.
-5
Let s(o) be the first derivative of 5*o**2/2 - o - 1. Let l be s(-1). Let b be (-74)/l + (-3)/9. Solve -4*y = -y + 4*w - 25, 0 = 3*w - b for y.
3
Let y be 7/2 + (-8)/(0 + 16). Solve 4*x - y*g + 4*g = -20, 2*g = 0 for x.
-5
Let a(l) = l**3 + l**2 + 2*l - 3. Let q = -16 - -18. Let y be a(q). Suppose -g + 5*g - o - 9 = 0, -y = -5*g + 3*o. Solve -4 = j + 2*v + g, j = 2*v - 2 for j.
-4
Let y(t) = -10*t - 107. Let w be y(-11). Solve -4*a - w*n - 2*n + 21 = 0, 15 = 3*n for a.
-1
Let h(k) = -9*k - 1. Let b be h(-1). Let q = 189 - 172. Let z be (-3)/24 + q/b. Solve -4*c = -2*x + 26, 0*x = z*x + 4*c + 14 for x.
3
Let v(d) = -d**3 + 5*d**2 + 9. Let p be v(5). Suppose 7*t - 8 = -2*y + 3*t, 3*t = -3*y + p. Solve -19 = 2*g + g + 2*b, 0 = y*g + 3*b + 16 for g.
-5
Let g = -611 + 616. Solve 2*t + f = -g - 2, 0 = -2*t + 3*f - 19 for t.
-5
Let b(u) = -3*u + 1. Let s be b(-1). Let p be ((-6)/s)/(3/(-6)). Suppose 0 = c - 5*v - 15, 14 = 2*c + 3*v - 5*v. Solve -q = p*k + c, -2*k + 8 = -6*k for q.
1
Let o(k) = -2*k**2 + 11. Let x be o(4). Let d = x + 24. Solve -5*q - 6 = -b, d*b - b = 5*q + 2 for b.
-4
Let f(l) = l**3 - 5*l**2 - 5*l - 1. Let k be f(6). Suppose -16 = 2*w - 5*d, 6 = -3*w + k*d - 8. Solve -b + 37 = 5*q + w*b, -5*b = 4*q - 40 for q.
5
Let p be (-5310)/(-210) - (4/14 + 0). Solve 0 = -4*c + h + 8 - p, -3*c = 2*h + 21 for c.
-5
Let g = 2 + 0. Suppose g*d + 0*d = 6. Let v be ((-12)/8)/((-12)/16). Solve v*l - 6*l - 5*q = 19, 0 = -l + d*q + 8 for l.
-1
Let h be 6/(-3 - -9) + 2 + -1. Solve -4*a = 2*u - 4, -h = -u - a + 1 for u.
4
Let z(t) = -48*t**2 - 3 + 17*t + 47*t**2 - 12*t. Suppose 3 = 4*x - 9. Let f be z(x). Solve -2*a + 16 = -4*y, -y - 2*a = f*a - 18 for y.
-2
Suppose 103*r = 109 + 715. Solve i + 4*w + 12 = -r, 0 = -2*i + 2*w + 10 for i.
0
Let i = 137 - 152. Suppose 4*b + 31 = -5*u + 108, -5*b + 41 = 3*u. Let j = u + i. Solve k + 3 = 3*d - j, -2*k = -5*d + 10 for k.
-5
Let s(v) = -4*v - 3. Let c be s(-2). Suppose 11 = -c*j + 21. Solve -2*n + 2*x = 12, -j*x + 15 = -4*n - x for n.
-3
Let r be (-2*(8 - 0))/((-4)/2). Suppose r = -2*o + 14. Solve -o*u + j = -1, 0 = j + 4*j - 10 for u.
1
Let l be 8 + (-5 - 2/2). Solve 0 = g - 3, 4*g - 18 = -4*q - l for q.
1
Suppose -4*a + 16 = 5*y, -2*y - 3*a = 3 - 15. Let h be (y + 0)*(-10)/30. Suppose -4*v - 7 = -5*u, -u + v = -1 - 0. Solve h = -t - 3*c, u*t + 3*c = -c for t.
0
Let u be ((-26)/(-39))/((-1)/117). Let t = 83 + u. Solve -2*k - t = -3*w, 3*w = 2*k + w for k.
5
Suppose 60*y - 25 - 215 = 0. Solve 5*l - 5 = y*z, 3*z + 5 = 5*l - 2*z for l.
1
Let a(t) = -3*t + 20. Let d be a(5). Suppose d*b + 12 = 9*b. Solve b*v + 4*s = -0*v - 8, -4*v + s + 2 = 0 for v.
0
Suppose -4*l + 8 + 0 = 0. Let w be (-6)/(-8)*2*l. Suppose -20 = w*n - 8*n. Solve 2*f + 4 = -c - n*c, 0 = -c + 5*f + 10 for c.
0
Let u = -311 + 325. Solve -3*p = 5*z - 5, 2*p - z = -0*z - u for p.
-5
Suppose 0 = -7*p + 2*p - 3*u + 13, 5 = 4*p - 3*u. Let v = 741 - 736. Let z = v - p. Solve z*b = -2*k + 13, -4*k + 17 = b + 6 for k.
2
Suppose 55 = 3*q + 2*q. Let y = q - 8. Suppose w - y*w = -6. Solve -s + 21 = 5*g, -5*g = -0*s - w*s - 37 for g.
5
Let r = 22 + -20. Suppose b = -r + 9. Let w(s) = 2*s - 10. Let v be w(b). Solve 4*t + v*y = -4, 2*t - t = 2*y - 13 for t.
-5
Suppose 3 = -2*k - a + 6, k - 5*a - 29 = 0. Suppose -5*q - h = -4, -k*q - 2 = -2*h - 8. Solve -q = -m + b, -2*m + b - 7 = 3*m for m.
-2
Suppose -5*m + f = -f - 14, -2*m + 2*f + 2 = 0. Let z(n) = -n**3 + 15*n**2 + 2*n - 25. Let h be z(15). Solve p + m = -2*t + t, 0 = h*t + 15 for p.
-1
Let c be 27/3 - (52 + -46). Solve 2*h - 20 = -4*n, 2 = -3*h + c*n + 5 for h.
4
Let p = -14 + 18. Suppose -8 = 4*c, -3*v + p*c = -4*v - 4. Suppose -2*o + v*n + 12 = 0, n - 4 + 25 = 5*o. Solve 5*x - 15 = j, -2*j + 4*j + 12 = o*x for x.
3
Let y = 0 + 1. Let j be (2 + y)*(-2)/3. Let c be 4/1 + 2/j. Solve 5*o = -d + 5, -c*o + 3 = -5*d + 2*d for o.
1
Let d = -53 - -57. Suppose 0 = -d*w + 4 + 8. Solve -c = -1, 0*c - w = -2*g + c for g.
2
Let b(j) = 17*j + 188. Let f be b(-11). Solve -2*k + l - 9 = 0, 4*k + 4*l = -13 + f for k.
-4
Suppose -3*w - 11 = 2*j, 2*w + 3*j + 6 = w. Let l be (w - -3) + 11 + -3. Suppose 4*n + 16 = l*n. Solve 0 = -4*t - n*x + 8, -8 = t - 3*x + 6 for t.
-2
Let r = -47 - -43. Let a be (6 - (r + 3)) + 1. Solve 0 = -m - 3*u + a*u + 4, 2*m = 2*u for m.
-1
Let i(r) = 2*r - 13. Let k(s) = s + 2. Let u be k(6). Let g be i(u). Solve -4*c - g = -v - 18, 10 = -2*v + 3*c for v.
1
Suppose 5*c - 191 = -3*x, 5*x + 0*x - 308 = 2*c. Let o = 72 - x. Solve 0 = -l - 2*t + 7 - 1, l + 4*t = o for l.
2
Suppose 7*t - 8 = 11*t. Let n = 0 - t. Suppose s + 23 = 2*p + 1, -p - 4*s + n = 0. Solve -5 = -2*w + 4*c - 1, -3*w + p = -2*c for w.
4
Let f = 70 - 70. Suppose 14*x - 12*x - 14 = f. Solve x*i - 2*i = -3*r + 7, -2 = 2*i for r.
4
Let g be -19 - -20 - 14/(-2). Suppose g - 43 = -7*b. Solve 0 = -3*t + y - 2, t + 5*y + 1 = -b for t.
-1
Suppose 0 = -l - 4*l + 225. Let d be (-18)/(-4)*3/(l/10). Solve 5*j + d*b - 4 = 0, -6*b + b - 10 = 0 for j.
2
Let u(a) = -2*a**2 + 16*a - 14. Let t(m) = -m. Let c(w) = -t(w) - u(w). Let d be c(6). Let z be ((-30)/9)/(d/6). Solve z*s + 6 = j, -4*j + 4*s - 8 = -0*j for j.
-4
Suppose x + 8 = u - 5*u, 0 = 4*x - 3*u - 6. Let h = 2 + x. Solve h*g + 3*o - 3 = 0, -3*g + 4*g = -3*o + 6 for g.
-3
Suppose 5 - 53 = -24*w. Let b be (0 - -1)/((-3)/(-6)). Solve -w*u - 3 = -3*v + u, -b*v - u = -14 for v.
5
Suppose -3*t - 10 = -5*j, -19 = -j + 4*t - 0*t. Let s be (0 - 3)*(-2 - j)*1. Solve -s*k - 4*x = 2, -5*x + 0 = 2*k - 1 for k.
-2
Let i be (-18)/(-63) - 654/(-14). Suppose -i = -3*r - 8. Solve s + r = -4*t, -4*t + 30 = -4*s - 9*t for s.
-5
Let m(t) = -t**3 - t - 1. Let w(i) = 3*i**3 + 2*i**2 - 7*i + 3. Let g(d) = 2*m(d) + w(d). Let p be g(-4). Solve -c + 11 = 3*c - p*v, -5*v = 3*c - 17 for c.
4
Let y(x) = -7*x - 155. Let n be y(-23). Solve -3*l + 4 = r - 3, 2*r + n = -l for l.
4
Suppose -203 + 23 = -5*q. Suppose -9*m + 3*m + q = 0. Suppose d - m*d + 75 = 0. Solve 4*w = -5*c - d, 19 = -3*w + 2*c + 2 for w.
-5
Suppose 14*r - 1170 = -64*r. Suppose 2*n + 4*y - 22 = -0*n, 2*y - 37 = -3*n. Solve 0 = 3*i + a + 4*a + n, -5*i - a = -r for i.
4
Let j(r) = 4*r - 44. 