Suppose -u = 5*j - 17, -2*j - m = -6*j + 4*u. Solve 4*d - j*d = -3*k - 4, -k - 13 = -2*d for d.
5
Suppose -5*q + 3*q + 16 = -2*k, -2*k = 5*q - 5. Solve -2 = t + 3*f, 5*t + 10 = -0*f + q*f for t.
-2
Suppose 2*k - 4*b - 12 = -2*b, 0 = -k + 2*b + 8. Solve -3*x - 4*f = -0*f - 32, 5*f = -k*x + 41 for x.
4
Suppose k = -k + 14. Let t(b) = 8*b - 15. Let z be t(k). Solve 0 = -o + p + 3*p - 16, -4*o + z = 5*p for o.
4
Let j(y) = y**2 + y - 2. Let u = -1 - 1. Let f be j(u). Solve -p + 3*g + 1 = -f*p, -5 = 4*p - 3*g for p.
-2
Suppose -3*r + 3 = -0*r - 2*w, 5*w = 4*r + 3. Solve -5*t - 2 = -j + r, -3*j - 15 = 0 for t.
-2
Let p(g) = g**3 - 11*g**2 - g + 12. Let r be p(11). Suppose -14 = -3*s + r. Solve -s*a + 20 = -j, 0*a + 3*a - 20 = -j for a.
5
Let k(o) = o**3 + 13*o**2 - 14*o + 11. Let h be k(-14). Solve y + 4*l = h + 6, 20 = 5*l for y.
1
Suppose 0 = -w + z + 1, -2*w = -7*w - 4*z + 41. Solve 3*n - b - 1 = 0, 4*b + b = -5*n - w for n.
0
Suppose -2*f = -2*d + 16, 2*d - 6*d + 22 = -2*f. Solve 3*n - 12 = -0*n + 4*z, -d*z - 9 = 0 for n.
0
Suppose -y - 2*n = -6*n - 2, 2 = y - 2*n. Let j be (-3)/(-4)*(y - 6). Let g be (2/j)/(1/(-3)). Solve -g*k - 14 = 5*f, 2*f - 8 = 6*f for k.
-2
Let h be 8 + (-8)/(3 - 1). Solve 3*v + 13 = -2*v + 3*x, 4*v + 4 = h*x for v.
-5
Let n(i) = i**3 + 3*i**2 + 3. Let f(d) = -d + 1. Let j be f(4). Let k be n(j). Suppose g + 0*g - 2 = 0. Solve g*s + 2*v - 7 = -v, k*s - 2*v = -9 for s.
-1
Let x(q) = q**3 + 6*q**2 + 8. Let r be x(-6). Let l be 6 - (-3 + r - 1). Solve -l*p - 5*i - 15 = 0, -p - 4*i + 6*i + 6 = 0 for p.
0
Suppose -5*q + 3*q + 8 = 0. Let w be 48 - q/(4/(-2)). Suppose -5*a + w = -0*a. Solve 4*d - 42 + a = -5*y, -2*d = 2*y - 14 for d.
3
Let l be 4/(-3)*(-6)/4. Solve -2*o = -4*y + 2*o + 16, 5*o = -l*y + 1 for y.
3
Suppose 0 = 2*g + 2. Let v be 5 + -1 + -1 + g. Solve 2*p - 4*i = 14, p = -v*p - 4*i + 1 for p.
3
Let i = 9 + -5. Solve m + 3 = 2*m - z, 0 = -i*z for m.
3
Suppose 5*d = 2 + 3, 0 = 2*v - 4*d - 56. Let u be (-12)/v - (-44)/10. Solve -u - 20 = 4*i + 4*o, -i - 4*o = 18 for i.
-2
Let w = 20 + -11. Solve -2*q - 4*a - 18 = 0, 8*q - 3*q = 2*a - w for q.
-3
Suppose f - 2*q - 7 - 3 = 0, -3*f + 4*q + 24 = 0. Solve 5*a - 4*h + 16 = -0*a, -h = 3*a - f for a.
0
Suppose v = 26 + 5. Solve 5*l + 40 = -5*n, 4*l + 3*n + v = 4 for l.
-3
Let q(g) = -4*g**2 - 3*g - 1. Let d be q(-2). Let t be ((-204)/(-60))/(1/5). Let k = t + d. Solve -z - 13 = 4*x - k*z, 3*z = -3*x + 24 for x.
3
Let m(u) = -u**2 - 7*u - 7. Let d be m(-5). Suppose 2*a + 2*a - t = 40, -40 = -4*a - 5*t. Let o = a - d. Solve -12 = 4*v, 4*q + 5*v + o = 2*q for q.
4
Let f be ((-3)/3)/((-4)/(-8)). Let c = 5 - f. Solve -3*i + 2 = -k, c*i = 4*i - k - 8 for i.
-1
Suppose 5*u = 5 + 10. Solve -2*k - 7 = -u*r, -5*r - 6 = 2*k - 23 for k.
1
Suppose -a + 3*d - 7 = -24, -5*a + 9 = 4*d. Suppose n - 2*n + 12 = 0. Solve -n = -w - 4*y, 0*w - 4 = a*w + 4*y for w.
-4
Let j(i) = -i**2 + 14*i - 14. Let l = 7 - -5. Let o be j(l). Let h(t) = 26*t**3 - 2*t + 1. Let n be h(1). Solve n = -5*m - z, -o = m + m + 5*z for m.
-5
Let l(t) be the second derivative of -19*t**3/6 - t**2/2 - t. Let s be l(-1). Let h be (-1 + s/(-4))*-2. Solve z + 1 = 0, -3*z - 12 = 5*o + h for o.
-4
Let u be 0 + -1 + (4 - 3). Solve 0 = 5*a + 2*d - 31, 5*d - 30 = -3*a - u*d for a.
5
Let z = 5 - 3. Let j(i) = -2*i - 2. Let r be j(-2). Let y = r + 3. Solve -5*q + 18 + 0 = 3*d, z*q - y*d = 1 for q.
3
Let o = -31 + 22. Let q(z) = -z**3 - 9*z**2 - 2*z - 2. Let s be q(o). Solve -4*c + 0*l - s = 4*l, -5*c = 4*l + 16 for c.
0
Let x(n) = -2*n - 7. Let b be x(-5). Suppose 0 = -4*o - 4. Let l be -1 + 2 + 1 - o. Solve -3*k - 2*q - 13 = -l*q, 2*q = b*k + 14 for k.
-4
Suppose 9 = h - 9. Let w(i) = -2*i + 33. Suppose -2*j + 20 + 8 = 0. Let z be w(j). Solve -3*y = -3*c - h, z*c = -2*y + c for y.
4
Let c(b) = -b**2 - 4*b + 1. Let v be c(-3). Suppose 3*x + 5*d = 25, -v*x + 3*d + 9 = -x. Solve 4*u - 4 = 0, 3*f + 5 = x*f - u for f.
3
Suppose 0 = 5*s - w + 9, 0*w = 4*s - w + 8. Let h be (-22)/(-12) + s/(-6). Solve 3*v = -4*x - 0*x + 28, 0 = -5*v - h*x + 28 for v.
4
Suppose -4*u + u = 0. Suppose u = 5*d - 1 - 14. Solve 5*g = -j + g - 16, 0 = -d*j + 5*g + 20 for j.
0
Let s be -4 + -1 - -1 - (-16 + 10). Solve 4*x + s*h - h = -4, 3*x + 4 = -h for x.
0
Let r(c) = c + 12. Let h be r(-7). Solve 0 = d - h*n - 27, 0 = 5*d - n + 3*n for d.
2
Let q(j) = -2*j**3 - 16*j**2 + 11. Let a be q(-8). Solve -2*k = 5*v - 7, 3*v - 4 + a = -4*k for v.
3
Let f(o) = -o + 10. Let i be f(8). Suppose -i*l + 0*v = -v + 3, -4*l - 5*v + 1 = 0. Let w be (l - 0)*5/(-1). Solve -3*g + 4*g - 5 = 4*n, -5*n - w = -g for g.
5
Suppose 3*b - 4 = 8. Solve -3*d + 0*r - 4*r + 3 = 0, 2 = 2*d - b*r for d.
1
Suppose -5*h + h = 5*o + 35, 2*o - 14 = 4*h. Let s be 3 - 14*(o - -2). Suppose 3*g - s + 2 = 0. Solve b - g*b + 5*a - 33 = 0, -2*b = -3*a + 19 for b.
-2
Let i(u) = -u + 36. Let n be i(11). Solve 0 = -5*a - n, 4*h + 6*a + 7 = 3*a for h.
2
Suppose 2*t - b + 3 = 4, b - 14 = -3*t. Solve -2*p = 4*f + f - 6, -14 = 4*p - t*f for p.
-2
Suppose -8 = -3*v - 2. Solve 5*u + 30 = -5*y, v*u + 22 = -3*u + 3*y for u.
-5
Let s(l) be the first derivative of l**4/4 - 3*l**3 - 5*l**2 + 5*l - 2. Let t be s(10). Solve -t*w + 4 = -n, -w - 16 = 6*n - 2*n for n.
-4
Let n(a) = -2*a**2 + 6*a - 3. Let c be n(4). Let d = 16 + c. Suppose d*r + 2*i + 0*i = 39, -i + 33 = 4*r. Solve -t = 5*q - 3 - r, t = q for q.
2
Let u be (-1)/((2/24)/(-1)). Let c be 1*(1 + (-1 - 0)). Suppose c = i + 2*i - 15. Solve 8 = 4*b, -i*n - 3*b + u = -7*b for n.
4
Suppose 0 = 4*o + o - 25. Suppose -7 = -5*s + a, -o*a + 8 = -7. Solve -j + 3 - 4 = -4*x, 0 = -x - s*j - 2 for x.
0
Suppose 2*t = -3*t. Suppose 20 + t = 4*h. Solve -3*b = 2*c - 7, 0*b = -4*b - h*c + 14 for b.
1
Let h(p) = -p - 6. Let g be h(-7). Let b be (-2 - -2)*g + 2. Let k = -45 - -69. Solve d - 2 = -b*o, -2*o + 2 + k = -5*d for o.
3
Let w(a) = a + 3. Let m be w(-3). Suppose m = -3*c + 2*g + 122 - 31, 2*c - 82 = -4*g. Let r = c - 15. Solve -4*s - r = 5*h, s - 3*h = -4*s - 4 for s.
-2
Let h(x) be the first derivative of -x**4/4 - 5*x**3/3 + 3*x**2 + 8*x - 2. Let s be h(-6). Solve 2*u - m = 0, m - s = -3*m for u.
1
Let w be 5/(15/6)*2. Solve -w*k = -3*y + 29, y - 4*k = -k + 18 for y.
3
Suppose -4*l + 36 = 2*o, l - 4 = 2*o - 0. Solve -2*h - 2 = 0, -3*q + l = -h - 2 for q.
3
Let r = 5 - 2. Solve -j + 2*o = 4*j - 3, 0 = -r*o - 12 for j.
-1
Let d(u) = -u + 28. Let r be d(23). Solve -r*k = -5*t - 40, 4*t = -0*k + 3*k - 29 for t.
-5
Suppose 2*i + 8 = 4*a, -4*i + 0*i = 16. Let j be (0/2)/(-1 - a). Solve -5*x = u + 3 + 3, j = 4*u - 4*x - 24 for u.
4
Let k = 4 + 1. Let r be (-2)/2*-1*k. Let v be 17/r - 6/15. Solve 3*c = -v*m + 30, 0*m + 4*m + c = 25 for m.
5
Let s = 10 + -8. Solve 14 = 3*y - 5*x, -y = -0*y + 5*x + s for y.
3
Suppose 0 = a - 0*a - 3. Let l(q) = -11*q + 2. Let r be l(a). Let s be (-6)/3*r/2. Solve 4*f + s = 3*z, -7 = -z + f + 2 for z.
5
Let s(w) = 4 + 2*w - 3*w + 8. Let u be s(9). Solve 31 = 2*t - 7*t - u*m, 0 = m + 2 for t.
-5
Let c(z) = 39*z. Let m be c(2). Suppose 10 = -3*b - 3*f + 46, -5*b = -f - m. Solve -t + 4*d = 22, -3*d + 8*d = -5*t + b for t.
-2
Suppose 6 = 3*k - 5*q, 6*q - 2*q - 8 = -4*k. Suppose 0 = w - 1 - k. Solve 3*c + c - w*f = 1, -33 = -2*c - 5*f for c.
4
Suppose -5*t = 2*g - 22, -g = -2*t - 0*g + 16. Solve 0 = 3*f - t*s + 2*s, -4*s = -4*f + 4 for f.
4
Let m = -38 + 40. Solve 14 = -2*v - 0*v + h, -3*h + 22 = -m*v for v.
-5
Suppose -2*l + 6 = -3*c, -4*l + 32 = 20. Solve c = x - 3, 0 = -m + 3*x + 2*x - 12 for m.
3
Let w be (0 - -1)/((-2)/(-30)). Let h be ((-1)/1)/(2/(-6)). Suppose 3*t - t = -j + 5, -w = -h*j + 4*t. Solve -b = 4*b - j*s - 5, -4*b - 4*s = -4 for b.
1
Let t = -251 - -253. Let o(g) = g**3 + 4*g**2 - 5*g + 5. Let n be o(-5). Solve -4*c = t*x - 3 - 1, 5*x + 5*c = n for x.
0
Suppose -2*n + 1 = -9. Solve k = -3*d + 5*d + 7, -5*d - n*k + 5 = 0 for d.
-2
Let x be (3*-1)/(6 + -7). Solve 3*d + 4*k = -13, -x*k - k = -2*d + 18 for d.
1
Let y(k) be the second derivative of 9*k**3/2 + k**2/2 + 3*k. Let t be y(1). Solve -t = p - 5*i, -7*i = -3*p - 3*i - 29 for p.
-3
Let m(i) = -2*i + 13. Let p be m(10). Let a be (-7)/1*2/p. Solve a*j - 2 = 0, -4*j + 12 = q - 5*q for q.
-2
Let k be 0/((-9)/(-3)*2/3). Solve 5*n + 3*j - 10 - 15 = k, 4*j - 30 = -5*n for n.
2
Let y(q) = 