t(8). Let j be s/(-4) - 7/14. Suppose 12 + 0 = j*f. Solve -3*m + f*m = 0, -m + 12 = 4*c for c.
3
Suppose 0 = -4*x - 4*l + 20, x = -3*x + 5*l + 47. Solve 0*i - 2*g = -4*i - 8, i = -2*g + x for i.
0
Let u(w) = -w**3 + 4*w**2 + 4*w - 14. Let j be u(4). Solve 2*x - 4*n = 10, 6*x - j*n = 2*x + 8 for x.
1
Let t(u) = -u + 1. Let y be t(-3). Suppose y*s = -s + 20. Solve -s*i = 2*b - 12, 3*i - 9 = -2*b + 6*b for i.
3
Suppose 8 = -5*m - 32. Let y be m + 9 + (-1 - -8). Let f(x) = x - 6. Let p be f(y). Solve 3*q - 4*q = -p*b + 8, -b + 13 = -5*q for b.
3
Suppose 0 = 5*w - 12 - 8. Solve -3*y - 3*c + 15 = 0, w*c = 2*c for y.
5
Suppose 2*u + j - 17 = -2*u, j - 8 = -u. Solve -3*v - 14 = -5*g, u*g - 7*g = -3*v - 10 for g.
4
Let b(v) = 2*v**2 - 4*v + 2. Let m be b(2). Suppose 34*q = 38*q - 16. Solve i + m*s = -10, q*i + 20 = -0*i - 3*s for i.
-2
Let l be 2/((2 - 5) + (-44)/(-12)). Solve 3*a = 4*k, -k = l*k + 2*a + 20 for k.
-3
Let t be ((-6)/9)/((-4)/6). Suppose -v - t = -5. Suppose 0 = 2*w - w - v. Solve a - w*r = -16, 3*a - 3*r + 24 = r for a.
-4
Suppose 0 = 3*w - 5*w + 28. Let i = -25 - -12. Let p = -8 - i. Solve -4*l - 11 = -3, -p*l = -j + w for j.
4
Suppose 8*j = 6*j + 6. Let q be j/(-6) + (-111)/(-6). Solve -44 + q = 2*z - 4*i, i - 4 = 0 for z.
-5
Suppose -z = 2*z - 9. Solve 2*i - 14 = -3*u + 4*u, -11 = -z*i - u for i.
5
Let q be (-5)/(-3) - 2/(-6). Suppose -20 + 0 = -4*u. Solve x = -3*y + 2, -16 = -q*y - u*x + 7 for y.
-1
Let y be 1*(-4)/(12/(-15)). Solve 2*m = 4*m, 0 = -3*b - y*m + 3 for b.
1
Suppose 2*w + 5*j + 13 = 0, 3*j = 5*w - 3 - 42. Solve q + 3*q - 2*t = -10, -4*q - 2*t - w = 0 for q.
-2
Suppose 5*l = 5*n + 20, 5*l - 3*n + n = 17. Solve l*v = t + 2*v + 3, 3*t + 9 = -v for t.
-3
Let f(w) = -w**3 + 5*w**2 - 3*w - 1. Let u be f(4). Let s be 136/102*(-3)/(-1). Solve 0 = -2*n + 5*r - 24, -5*n - s*r + 12 = -u*n for n.
-2
Let k(m) = -6*m - 4. Let z be k(-1). Solve 3*p - 2*t = 6, -z*t + t = p - 2 for p.
2
Let j be ((-8)/3)/((-2)/(-6)). Suppose 3*m = 4*x - 2 - 57, 39 = 4*x + m. Let k = x + j. Solve -4*o = -2*i - 12, i = k*o - 7 - 4 for o.
5
Let r(h) = 3*h - 26. Let i be r(11). Solve -i = -5*w + 3, 18 = -4*n + 3*w for n.
-3
Suppose -33 = -2*u - 5. Suppose -u - 34 = -4*p. Suppose p = 3*o + 3. Solve -4*x = -4*i + 28, -6*i + o*i - 11 = 5*x for x.
-4
Let y = 7 - 11. Let r be ((-10)/y)/(-5)*-10. Solve -19 = 4*v + r*c, 3*c + 7 = -v + c for v.
-1
Let w be 2*(3/(-2) - -2). Suppose 5*z + 10 = 4*o, -2*z + 2*o - 4 = 2. Let l(y) = -2*y - 1. Let m be l(-3). Solve -z = -2*p, d = m*p - w - 4 for d.
0
Suppose 2*i = -5*g, 4*g - 4 = -3*i + 3. Let f be 65 + (-1 + 5)/g. Suppose 3*a = 12 + f. Solve 3*x + 2*x + 20 = -4*k, 5*k + a = -4*x for x.
0
Let t be 12/18 - 10/(-3). Solve t*i - 2*i + 33 = 5*d, 2*i - 17 = -5*d for i.
-4
Let y = -10 + -10. Let r = -12 - y. Suppose 0 = -c + 3*c + r, -4*h - 4*c = 0. Solve 14 = -2*d + j, -2*d - 3*d = -h*j + 41 for d.
-5
Suppose 2*b + 3*b + 20 = o, 0 = -2*o. Let y = b - -21. Suppose r + 2*r = 0. Solve 3*s - 5*w = r, -2*s - 4*w = -s + y for s.
-5
Suppose 8*t = -y + 4*t + 20, 5*y = -t + 119. Solve -5*d + y = -4*s - 0*s, 5*s - 2*d + 13 = 0 for s.
-1
Suppose 3*a - m + 2*m = -12, -2*a = -3*m - 3. Let s be (-2)/a + (-96)/(-18). Solve 0 = -4*u, 3*v + 5*u - u = s for v.
2
Let r(y) = y**3 - 23*y**2 + 23*y - 17. Let d be r(22). Solve 3*w = -4*s + d*w - 14, -28 = 5*s + w for s.
-5
Suppose m - y = -0*m + 1, 5*m + 2*y = -9. Let n = 3 - m. Solve -3*l + 8 = z, -n*z + z = 4*l - 14 for l.
2
Suppose 0 = -5*t + 18 + 7. Solve 3*w + 4*a = 6*w - 35, 3*w - 40 = t*a for w.
5
Let x = 6 + -4. Suppose -5*m + 6 = -x*u, -5*m = -0*u - 5*u. Solve 8 = -u*k - 2*o - 2*o, -2*k + 24 = -4*o for k.
4
Suppose 2*a - 4*a = -8. Suppose -5*m = -4*m - a*p + 16, -m - 1 = -p. Solve -4*b + 3*c = 6*c + 21, -6 = m*b - 2*c for b.
-3
Suppose -l + 18 = -4*s + 4, -13 = -5*l + s. Solve -2*p = l*p + 4*b + 24, -5*p + 5*b = -20 for p.
-1
Let a(t) = 3*t**2 - 12*t + 8. Let w be a(4). Solve -4*i + 2 = 2*f - 5*i, 3*f - w = -i for f.
2
Suppose 4*a - b + 15 + 7 = 0, 4*a + 30 = 5*b. Let r = a - -7. Solve -r*y + 3*y + 3*w + 10 = 0, -3*w = 3*y + 6 for y.
2
Let f(v) be the first derivative of v**3/3 - 3*v**2 - 3*v - 8. Let q be f(7). Solve -4*l + 0 = 5*i - 9, -q*l - 2*i = -6 for l.
1
Let t be (36/(-42))/((-12)/56). Solve 3*p + t*b + 26 = -9, -b = 5*p + 30 for p.
-5
Let j(x) = 2*x**2 + x - 6. Let c be j(-3). Solve -u + 2*f = -c, -3 = -f - 5 for u.
5
Suppose 8 = 2*u + g, -14 = -5*u + 4*g - 5*g. Suppose 0 = -8*d + 3*d + 15. Solve u*a + d = -3*n, 5*n + 3 = 2*n for a.
0
Let j be (2/(-4))/((-3)/18). Suppose -2*p - w = -17, -j*w = p + p - 15. Solve -5*f = 2*t - p, 5*t - 11 = -0*t - f for t.
2
Suppose 17 = 3*d - c, d - 6 + 7 = -3*c. Solve r + 5*p = 2*r + 17, 5 = -d*r + 5*p for r.
3
Let q be (0/2)/1 - (-465)/31. Solve 5*r - q = 0, -r + 3 = 2*f - 0 for f.
0
Let d(u) = -19*u - 110. Let b be d(-6). Solve 0 = -2*q + 4*h - 3*h - 7, b*q + 11 = h for q.
-2
Let s = 4 + -1. Suppose -8*g + 25 = -3*g, -s*v = 4*g - 20. Suppose -3*x = -v - 12. Solve k = 2*z + 3, 4*k - x*z = -0*k - 4 for k.
-5
Suppose 0 = 5*p + 4*a - 15, 2*p - 6 = 2*a - 4*a. Let q(f) = -f**2 - 3. Let u be q(-5). Let h = u + 42. Solve 2*t - 6*i + h = -2*i, 15 = p*i for t.
3
Suppose 9 + 0 = 3*x. Suppose 20 = -0*c + 4*c. Suppose 15 = c*i - 5. Solve -3*g + 10 = 5*j, 0*g + 35 = -x*g + i*j for g.
-5
Let g(t) = -5*t - 10. Let l(c) = -11*c - 20. Let y(x) = -9*g(x) + 4*l(x). Let f be y(-9). Solve -i - 6 = -4*j + 1, -2*j - f = i for j.
1
Suppose -4*b + p = -65, -12 + 2 = -2*b - 4*p. Suppose 0*d - 3*d = -15. Let o = 1 + -1. Solve -3*f + o*f + 5 = 4*m, 0 = -d*f + b for m.
-1
Suppose -2*l - l = 0. Suppose -4*r + 4 + 16 = l. Let d(x) = x**2 - 1. Let g be d(1). Solve 2*p + r*b - 5 = 8, g = -4*p - 5*b + 21 for p.
4
Let g(x) = -17*x**2 + 1. Let j be g(-1). Let c be (j/(-20))/(4/10). Solve -4*w + 6 = -c*y, 3*y = -5*w + 11 + 13 for y.
3
Let g = -144 - -144. Solve 3*d - x - 2*x = g, 5*d = -4*x - 45 for d.
-5
Let s be (-2 - -3)/(2/4). Suppose 5*g = -2*d + d + 29, -d = 2*g - 14. Let j be 1/d + (-55)/(-20). Solve 0 = 4*v + j*z - 11, -s*z + 4 = 10 for v.
5
Suppose -5*n = 5*a - 30, -2*n = 4*a - 9 - 11. Suppose 0 = 2*r - 6 - a. Solve -4*h = 5*m + 8, -4*h = -r*m - 6 - 26 for h.
3
Let t(k) = k**2 - 1. Let j be 1*1*(2 + -1). Let a be t(j). Suppose a*z - z = p + 1, 3 = 3*z + p. Solve 4*i = 3*i - 1, 0 = -3*r + i - z for r.
-1
Suppose 4*w + 4*y - 2*y = -2, 5*w + 3*y = -5. Suppose 3*r + 3*s = s + 23, 0 = -4*s - 20. Let x = -7 + r. Solve -t - 3*t + w*z = -8, x*z + 16 = 5*t for t.
0
Let r(a) = a**2 + a - 18. Let w be r(4). Solve j + 0 = 4*s + 1, -w*j = -10 for s.
1
Let o(t) = -t**3 - 5*t**2 - 36. Let f be o(-6). Solve 0 = h - 3*m - 10, 4*h + 40 = -f*h - 4*m for h.
-5
Let f(m) = 9*m**2 - m + 2. Suppose 0 = -2*o - 9 - 7. Let k = o - -6. Let y be f(k). Solve d - 5 = -2*j, 3*d = 5*j - 0*d - y for j.
5
Let b be (-2)/17 - (0 - 36/17). Solve b*s = -6, -2*f - 2*f - 5*s = 23 for f.
-2
Let u = -4 - -4. Suppose 0 = -u*w + 5*w - 20. Suppose w*r = -r. Solve -4*q = -r*x - 2*x + 10, 2*x - 4 = 2*q for x.
-1
Let a(w) = -4*w**2 + w**3 - w + 4*w + 0*w**3. Let m = 2 + 1. Let u be a(m). Solve 3*j - 4*q + u*q = 0, 0 = 5*j - 2*q + 14 for j.
-4
Let u be (-4 + 4)*(2 + -1). Suppose -t - 4*i + 15 = u, 6*t - 4*i = 2*t. Let v = -4 + 7. Solve j = 3*x - 7, -v*x - 5 = t*j + 4 for j.
-4
Let r be -2*(3/6 - 1). Let c = 3 + r. Suppose 3*z - 15 = -c*p, 6*z - 2*p = z + 51. Solve 4*b + 26 = -5*u - z, -b - 5*u = 20 for b.
-5
Suppose -k + 0*k = 2*o - 9, -o + 2 = 0. Solve 0 = -k*n - 3*i - 34, -5*i - 17 + 2 = 0 for n.
-5
Let x be (1/(-3))/((-1)/6). Suppose 5*s = 2*d + 3*d + 35, 13 = -3*d - 5*s. Let r be ((-33)/(-22))/(d/(-56)). Solve 4*k + r = x*a, 4*a + 3*k = 5*a - 11 for a.
-1
Let m(t) = -t**2 - 7*t - 4. Let u be m(-5). Solve -4*h = 2*r + r - 2, -r - 4*h = -u for r.
-2
Let d = 4 + 0. Suppose -d*q = -q - 54. Solve 3*w + 3*n = 3, 3*n + q = 4*w - 0*n for w.
3
Let v be ((-1)/(-1))/((-6)/(-60)). Let b be (8/20)/(2/v). Let j be (-1 + 1)*(-1)/b. Solve -4*g = -g + t - 14, -2*g + 5*t - 2 = j for g.
4
Let i(m) = 6*m**3 - m**2 + 1. Let n be i(1). Let o be (-2)/(-6) + 16/n. Solve 0 = -w - k - 1, 0 = -w - o*w - 5*k for w.
-5
Let p be (-8)/(-28) + 4/(-14). Let g(v) = -v**2 - v - 6. Let a be g(p). Let x(q) = -q - 2. Let m be x(a). Solve 0*h + h - m*u =