 = 4*l**2 + 1. Let u be z(-1). Suppose 0 = -u*d - 2*j + 48, 8 = 4*d - 3*d + 2*j. Solve 3*t - q - d = 0, 0*t - 3*t - 5 = -4*q for t.
5
Let d = 9 + -23. Let y = d + 17. Suppose 5*v = 3*v. Solve v = -y*p + 6, l - 3*p = p - 11 for l.
-3
Let r(b) = -9*b + 48. Let c be r(5). Let n be 2/(-6)*(-3 - 18/c). Solve k - 2*k + 17 = -3*q, n*k = -2*q + 7 for k.
5
Suppose 3*m = -s + 7, -4*s + 67 = m - 2*m. Let z = s + -4. Let d be (12/8 + -1)*z. Solve -3*h - 5*w = -d - 7, 0 = -4*h - w + 6 for h.
1
Suppose -v = -10*v + 18. Solve -4*y - o - 2 = 0, -v*y = -y - o - 2 for y.
0
Let i be 1/((8/12)/2). Let o(u) = 11*u + 3. Let c be o(-2). Let n = 1 - c. Solve -3*y - y + n = 0, -i*h + 2 = -2*y for h.
4
Suppose -4*g - g + 1 = -f, -3*g - 3*f = 3. Suppose -3*z - z - 5*t + 23 = g, -z + t - 1 = 0. Solve 3*c + 5*p + 10 = -z*c, -10 = -5*c + 5*p for c.
0
Suppose -37*b + 28*b = -36. Suppose -6*s + b*s = -6. Solve -s = z + t + 1, 5*z - 5*t + 10 = 0 for z.
-3
Suppose g - 3*r = -2 + 35, 93 = 3*g - 3*r. Solve -c - g = 5*u, 0 = 3*c + 2*c + 25 for u.
-5
Let o be (54/15)/((-6)/(-40)). Let l be 54/20 + (-195)/(-650). Solve -l*t + t - o = 5*d, 0 = -2*t - 2*d - 12 for t.
-2
Let t = -14 + 16. Solve -4*b + 2*x + 4 - 2 = 0, -4*b - t*x = 18 for b.
-2
Let w(h) = -h**3 - 2. Let j be (-7)/(-3) - 2/6. Let i be w(j). Let x(d) = -d**2 - 10*d + 2. Let f be x(i). Solve -3*o - 2*b = -17, -5*o + f = 3*b - 25 for o.
3
Let o = 63 - 58. Solve -14 = -o*f + 3*s + 3, -5*f + 9 = -s for f.
1
Let s = 43 - 41. Let u be (s + 10/(-6))*6. Solve u*q + 8 = 0, -2*w - q = w + 4 for w.
0
Let g(p) = 6*p + 16. Let o be g(4). Suppose -4*b - 4*r = -1 + 13, 5*b + 10 = -4*r. Suppose -b*c + 2 = -6. Solve -o = v - 6*v + 5*l, 5*v - 13 = -c*l for v.
5
Let l be 3/6 - 27/(-6). Solve -5*g = 3*b - 4*g - l, 5 = 5*b + g for b.
0
Suppose -t - 4*t - 4*v + 55 = 0, 5*v = -25. Suppose -4*j = -t + 3. Solve 3*f + 3*r = -24, j*f + 18 + 0 = -r for f.
-5
Suppose 3*g + 5*p = 27, 3*g + 0 = 2*p + 6. Suppose 0*j = -4*j + 20. Let a = 7 - j. Solve -i + a*t = 4*i - 35, 0 = -g*i - 4*t for i.
5
Suppose 78 = 10*l + 58. Solve 4*i = -5*k - 1, 5*k + l = i - 4*i for k.
-1
Let j = 158 - 150. Suppose 0 = -4*a + n + 12, -4*a + 2*n + 4 + j = 0. Solve -a*g - s - 3 = 2, 3*s - 21 = 3*g for g.
-3
Let o = -465 - -469. Solve 0 = w + o*c + 24, 2*w + 0*w - 3*c = 7 for w.
-4
Let o = -200 + 204. Solve 2*p = -11*i + 8*i + 5, -o*i + 3*p = -18 for i.
3
Let s be 2 - ((-3)/(-7) + (-24)/56). Suppose -s*i - 3*o + 15 = 0, 2*o - 17 = -2*i - 3*o. Solve 5*d + 17 = u, 3*u - 3*d - 9 = i for u.
2
Suppose 2*u - u - b + 8 = 0, -4*b + 8 = 0. Let c be ((-14)/u)/(7/21). Solve 2*j - c*j = x + 5, 0 = -3*x - 4*j + 7 for x.
5
Suppose 0*g - 75 = -3*g. Suppose -3 - g = -3*l - 5*k, -k = -l + 12. Suppose -l = -6*n + 1. Solve -4*s + n - 4 = 2*u, 3*s + 2*u = 0 for s.
-2
Let s(x) = 4*x**2 + 11*x - 1. Let b(c) = -3*c**2 - 10*c + 1. Let z(l) = -6*b(l) - 5*s(l). Let m be z(1). Solve -6 = 3*y, m*d + y = 4*y + 6 for d.
0
Let k = -114 + 116. Suppose -25 = -2*v + 3*v - 4*d, v - 2*d + 17 = 0. Let t be 1/3*(3 - v). Solve t*l + 12 = 2*w, 3 = w + k*l + 1 for w.
4
Suppose 12 - 8 = r. Suppose 0 = -m - r*u + 1, -2 = 4*u + 2. Solve 4*q - 3*g - 12 = -g, q - m*g - 21 = 0 for q.
1
Let v = -4 + 4. Let x = 1 + v. Solve -3*g - x = b - 2*g, 0 = 5*b + 3*g - 3 for b.
3
Suppose 7*b + 3 = 4*b, 2*u - 13 = 3*b. Suppose 11*h + 4 - 37 = 0. Solve 2*i = 8, -3 = u*t + i + h for t.
-2
Let r(b) = b**2 + 6*b + 5. Let n be r(-5). Suppose s - 1 + 4 = 4*k, 2*s + k - 12 = n. Suppose 3*j - 2*j = s. Solve -2*g = j*m, 0 = g - 5 for m.
-2
Suppose 104*y - 288 = 8*y. Solve -6*s = -4*s - 5*i - 7, -13 = s + y*i for s.
-4
Suppose 3*z = 3*d - 243, -4*z + z = -12. Suppose 6*y - y - d = 0. Let p(u) = u - 1. Let r be p(4). Solve -2*a + 5*b = a + 35, a = r*b - y for a.
-5
Let u(w) = -w**3 - 5*w**2 + 15*w + 7. Let h be u(-7). Suppose h = -5*q + 18 - 3. Solve 0 = -4*d + q*j - 1 - 25, 4*d + 12 = -4*j for d.
-5
Suppose -4*j = -3*y - 24 + 11, 2*j - 5*y = -11. Solve 4*t + 5 = -t + 5*o, t = 3*o + j for t.
-5
Suppose -3*z = 2*z - 20. Let g be (-7)/4 - ((-277)/44 + 72/132). Solve -5*a + l + g*l = 10, -2*a = -5*l + z for a.
-2
Suppose 0 = 133*p - 138*p. Solve -2*h + p*f - 9 = f, -4*h - f - 13 = 0 for h.
-2
Suppose 5*g = 22*g - 85. Solve 4*w + 2 = g*w + b, -b = -2*w - 5 for w.
-1
Suppose -23*t + 14*t + 18 = 0. Solve 0 = t*w - d + 3 - 5, 0 = -4*w - 2*d - 4 for w.
0
Suppose 23*w - 22 - 70 = 0. Solve -5*p - 45 = 5*u, -w*u - 2*p = p + 32 for u.
-5
Let r be (2 + (-3)/1)*-6. Let c(l) = l**3 - 13*l**2 + 2*l - 21. Let y be c(13). Suppose x + y*x = r. Solve -2*q = 4*p + 20, 5*q + x = -p - 13 for p.
-4
Let k be 123/6 - 0 - 3/(-6). Let h = -19 + k. Solve -4*q + h*r = 17 + 3, 5*r = -q + 6 for q.
-4
Let g(u) = -2*u**3 - 3*u**2 + u + 4. Let d be g(0). Solve -3*z = -3*b + 15, -2*z + d = -2*b - 7*z for b.
3
Let b(h) = 2*h**2 - 3*h - 4. Suppose -y - 3*z + 6 = 2*y, 2*y - 16 = -5*z. Let t be b(y). Solve -5*d = -2*m + 18, -6*m - 2*d = -4*m + t for m.
-1
Let j(g) = g - 3. Let z be j(8). Suppose 0*m + 3*m - 18 = -4*k, 3*k - 13 = -2*m. Let q = z - k. Solve 0 = 4*a - 5*t + 18, 8 = -2*a - 0*a + q*t for a.
-2
Let t(l) be the first derivative of 5*l**2/2 - 28*l - 15. Let q be t(6). Solve -b = q*g + 1 - 11, 4*g = 16 for b.
2
Let p(n) = 3*n + 13. Let b be p(-3). Suppose z + 27 = b*z. Solve -2*w - 20 = 4*i, 13 + z = -4*i - 3*w for i.
-4
Suppose 0 = -7*p - 191 + 226. Solve p*v - 5*k = 5, 11*k - 25 = 16*k for v.
-4
Let a(b) = 64 - 92*b + 188*b - 91*b. Let h be a(-12). Solve -n + 4*k = 11, -2*n = -5*n - h*k + 31 for n.
5
Suppose -5*t + 6 = 3*a, -2*a - a - 2*t + 6 = 0. Solve -2*o + 2*q = -6, o + 9 = -4*q + a*q for o.
-1
Let d be 2*-3 - (10 - 19). Solve 0 = -4*i + 3*p - 1, -10*p + 5*p = -d*i + 13 for i.
-4
Let r(q) = -3*q + 21 - 4 + 9. Let m be r(8). Solve 0*f = -3*j + 4*f - 3, j - m*f = 1 for j.
-5
Let p(m) = -4*m**2 + 19*m + 10. Let v be p(5). Solve v*f - 10*k + 7*k = 0, -2*f = 4*k + 26 for f.
-3
Let p(v) = 2*v**3 + 17*v**2 + 8*v + 7. Let z be p(-8). Solve n + w + 5 = 0, 5*w + 32 - z = 5*n for n.
0
Suppose 2*p - 2*g - 13 = 21, 2*p = 5*g + 37. Solve 4*k + p = 4*d, -3*d + 23 = -5*k + 3 for k.
-4
Let w(x) be the second derivative of -x**3/3 + x**2 + 23*x. Let l be w(0). Solve q - 2*a = -10, 2*a + l = -4*q - 8 for q.
-4
Suppose -z - 2 = -2*n - 0*z, 4*n - 16 = -4*z. Suppose 0*o - o + 4*g - 6 = 0, 2*g = 8. Solve -3*b - 2 = -b + u, n*b + 5*u = -o for b.
0
Let o(q) = -q**3 - 20*q**2 - 18*q + 4. Let j be o(-19). Let a = j + 19. Solve -a*h = -4*u - 4, -4*h - 3 = -2*u + 5*u for u.
-1
Let l = -17 + 26. Let n(s) = s**2 - 9*s + 4. Let g be n(l). Suppose 12 = -3*v, 3*c + 12 = g*v + 55. Solve -c = 3*p, 2*x + 5*p = 4*x - 9 for x.
-3
Let s = -14 + 9. Let p(y) = -31*y + 220. Let d be p(7). Let t be (s/d)/(-5)*6. Solve t*r = 5*g - 2*r, -3*r = -4*g for g.
0
Let u = 80 - 75. Suppose 3*s - m - 41 = 0, 0 = u*s - m - 23 - 42. Solve -5*j - 7 = -5*b + 3, 4*b = s for j.
1
Suppose 0 = -7*u - 16*u + 69. Solve -p = 5*o - u, 4*o = o for p.
3
Let j = 26 - 17. Let t = -7 + j. Solve 5 + 18 = 5*s - 2*v, 0 = 5*s + t*v - 27 for s.
5
Let q = 11 + -7. Suppose -5*y + 74 = 4*k, k - q*y - 56 = -3*k. Suppose 5*r + 4*a - 11 = 5, -4*a + k = -r. Solve -3*s - p + 2 = r, 3*s + 4*p + 3 = 2*s for s.
1
Let j be -3 + 6*3 - (3 + -6). Let z be 30/9 + j/27. Solve 0 = 2*v + 5*s - 20, z*s - 16 = -v - 0*s for v.
0
Suppose a - 5*a + 52 = 3*n, -2*a + 8 = -3*n. Let y = -71 + 75. Solve y*f = 2*f + s + a, -4 = s for f.
3
Let i = -22 + 26. Solve -3*x + 12 = -8*x - i*q, 3*x = 2*q - 16 for x.
-4
Suppose -4 = -3*a + 5. Suppose 0 = a*d + 2*d + 85. Let w = -13 - d. Solve -t - 16 = -5*t - 2*l, -2*t + 2*l - w = 0 for t.
2
Suppose 0 = -5*t + 5*s + 7 - 2, 2*t + 1 = -s. Suppose t = 2*n - 4*i - 6 - 0, -5*i - 18 = -4*n. Solve 3*c - y = n, -c + 4*y = -y + 7 for c.
3
Let p = -33 - -35. Let r(c) = 35*c + c**p + 4 + 30*c - 60*c. Let a be r(-5). Solve -5*w - 7 + 3 = -4*s, a*s = w - 12 for w.
-4
Suppose c = -8 + 18. Let i = 15 - c. Suppose 5*x + 10 = -4*o, 8*x - 3*x + i*o + 15 = 0. Solve -n + 2*w = x*n - 4, 5*n + 20 = -2*w for n.
-2
Let d(w) = -19*w**3 + 2*w**2 + 8*w + 7. Let l be d(-1). Solve 0*s - 4*s = -l, -g + 30 = 5*s for g.
5
Let l be 1*(-11)/(-1) - 2. Let j be (l/(-6))/((-3)/16). Let i(g) = g. Let s be i(4). Solve -j*c = -3*y - s*c, 2*c = -2*y - 14 for y.
-4
Suppose 