ose -2*t = -4*t - 16. Let j = z + t. Solve 2*y + j = c, 2*c + 0*y - 6 = -2*y for c.
4
Let d(q) = -q**3 + 11*q**2 + 5. Let n be d(11). Solve 2*z - 2 = 0, 0 = -n*c + c - 4*z + 4 for c.
0
Suppose 6 + 0 = 3*r. Solve -4*z + 4*i - 12 = 0, -1 = 3*i - r*i for z.
-4
Let s = 4 + -4. Suppose 0 = 2*f - 4 - s. Solve -4*z + f*k - 1 - 7 = 0, -5*z - 9 = -2*k for z.
-1
Suppose -v - 4*x + x + 2 = 0, -4*v = x - 19. Solve -u - 3*k - 10 = -0*u, -v*u - k + 20 = 0 for u.
5
Let i(d) be the first derivative of 3*d**4/4 + d**3/3 - d**2/2 - 3. Let u be i(1). Solve 3*g = 2*k + 3, -4*g + g = 4*k - u for g.
1
Let v = -144 - -148. Solve v*b - n + 1 = 11, -3*n = -6 for b.
3
Let l(f) = -f - 4. Let q be l(-6). Let t = 29 + q. Solve r - 5*r - 5*p = t, 4*r = -2*p - 22 for r.
-4
Let u(j) = -j**2 + 8*j - 3. Let v be u(9). Let p = 15 + v. Solve p*d = 0, 3*r + d = -0*r - 15 for r.
-5
Let g = -3 + 5. Suppose g*n - n = 1. Let l be n/((-9)/6 - -2). Solve -w - l = -2*k, -3*k = -2*w - w + 3 for k.
3
Let g(a) = a - 1. Let q be g(3). Suppose 0 = 2*t + 4 - 16. Suppose 2*b = t*b. Solve -2*z = q*h - b*h - 12, 5 = h for z.
1
Suppose 20 = 5*k + 5*d, 15 = -2*k + 6*k + 3*d. Let m = 3 + k. Suppose 3*l + 35 = m*l + 5*z, 0 = -z + 4. Solve 4*r + 2*s + l - 17 = 0, -4*r = 3*s - 10 for r.
4
Let u(w) = 2*w**2 - 5*w - 2. Let k be u(4). Solve 0 = -2*t + 4*g - k, -5*t - 1 - 15 = -g for t.
-3
Let u = 8 + -3. Let k be 6*(5/2 + 1). Solve 3*m = u*i + k, -3*m = -3*i + 5*i for i.
-3
Suppose -2*m = 2*m - 56. Let p = m - 12. Solve -4*u = 5*o, -3*o - 4 = -p*o for u.
5
Let i = 10 - 6. Suppose 5*v = 2*l + 2*l + 2, -3*l - i = -5*v. Solve 3*d = 3*b + 3, -v*d - 2*b = -5*b - 4 for d.
-1
Let f = -35 + 51. Solve 4*g = -4*s + f, 0*s - 7 = -2*s - 3*g for s.
5
Let f = -4 - -5. Let q = f + -7. Let p = q + 10. Solve -p*t - 3*u + 2 = 0, -2*t - 3*u = 1 + 1 for t.
2
Suppose -6*j = -2*j - 24. Solve -4*q - 2*u - j = u, -5*u + 10 = 0 for q.
-3
Let s be 2/(-1)*2 + 31. Let y = s + -23. Solve y*n = 5*g - 40, 2*n = -4*g + 8 - 2 for g.
4
Let o = 1 + 5. Let t(b) = 4*b + 2. Let r be t(o). Suppose -3*d = -4*k + 31, -2*d + 4 = -3*k + r. Solve 3*a - 4*z + 2 = 0, 0 = -5*a + 2*a + 5*z - k for a.
2
Suppose 116*j - 120 = 110*j. Let g = 17 - 12. Let v(u) = -u**3 + 4*u**2 + 6*u. Let p be v(5). Solve 0*o + 4 = -o + g*s, 2*s + j = -p*o for o.
-4
Let p be (-2)/(-5) - (-296)/10. Let c(s) = s**2 + 10*s + 7. Let l be c(-9). Let h = l + 5. Solve -2*u + 0*r + 5*r = p, -u = h*r - 7 for u.
-5
Let l = -19 + 19. Suppose 2*p = 2*c + 1 + 3, 3*c = l. Solve -1 = 5*u - z, p = 3*u + 5*z - 3 for u.
0
Let i(v) = -17*v + 20. Let o(z) = 11*z - 13. Let r(c) = -5*i(c) - 8*o(c). Let w be r(-6). Solve 2*s + 3*f - 21 = 0, s + 2*f - w = -3*s for s.
3
Suppose 8 - 14 = -3*q. Suppose 5*f - a - 37 = 67, q*a - 72 = -4*f. Solve 3*t + 3*v - 10 = 8, 4*v - f = 0 for t.
1
Suppose -2*k = -0*k + 2*d - 16, -11 = 3*k - 4*d. Solve -4*z - 3*h = 15, -k*z - 20 = -z + 4*h for z.
0
Let i(b) = -6 + 0*b - 10*b + 0*b**2 + b**2. Let c be i(11). Solve -2*d = -0*f + 5*f, 0 = -c*d for f.
0
Let w = 21 - 18. Solve r - q = 3, r + q = 5*r + w for r.
-2
Let c be 3 - 2/2 - -3. Let k = c - -2. Solve k*y - 2*h = 4*y - 3, -4*h - 3 = 3*y for y.
-1
Suppose -u = 5*i - 18, -3*u = -4*i - 6*u + 21. Suppose 1 = 2*q - i. Suppose 6*s - 58 = 2*s + 5*v, 4*s + 5*v = 78. Solve a = 4*a + g + 11, -q*g = 5*a + s for a.
-5
Suppose -3*w = 0, w - 13 = -i + 5*w. Let o be -2*(-1)/2*7. Solve -4*s + 0*j = -j - i, -s + j = -o for s.
2
Let v(m) be the first derivative of m**3/3 + m**2/2 + 3. Let r be v(-1). Solve r = w + 5*h - 2, -5*h = 4*w + 14 - 7 for w.
-3
Let q(m) = -6*m. Let t be q(-4). Let s be (-1)/(-6) - 76/t. Let z(h) = -h**3 - 3*h**2 + 3. Let r be z(s). Solve -14 = -5*n + 3*i - r, 5*n + 3 = -4*i for n.
1
Suppose 19*m + 2 = 59. Solve 0 = p + m*v - 7, 5*p + 3*v = 4*v + 19 for p.
4
Suppose 7*l - 4 - 10 = 0. Solve -l*m - 2*r + 4 = 0, -5*m + 2*r = r - 4 for m.
1
Let j(p) = p**2 - 8*p + 3. Let f be j(8). Suppose 0 = f*s - 1 - 5. Suppose -7 = -5*d + 13. Solve d*z + h = 9, s*h = z + 2*z - 15 for z.
3
Let b be (-12)/60 + 2/10. Suppose -4*q + 5*f + 16 = b, -2*f + 12 = 5*q - 2*q. Solve -3*k = -4*i + 5*i + 1, 4*k - q*i + 12 = 0 for k.
-1
Let h = 73 + -71. Solve 3*n + 2*n - 35 = -4*i, n - 13 = -h*i for n.
3
Let c(t) = t**2 - t - 2. Let o be c(3). Suppose 0*k - 12 = -3*k. Let f be 10/4 + k/8. Solve o*p - 18 = -l, 0 = -p + 2*p + f*l + 1 for p.
5
Suppose -3*h = 2*h - 65. Let w be 8/12 + h/3. Solve 0 = -f - 0*f - 2*b + w, 3*f + 2*b = 7 for f.
1
Suppose -12 + 0 = -4*q. Suppose z - q*z = 0. Solve -5*u - 3*g - 13 = z, 21 = -6*u + u - g for u.
-5
Let y(j) = -j**2 + 6*j - 7. Let v be y(3). Suppose v*p = 6*p. Solve 3*x - 6 = 0, p*o - 2*x = 5*o - 19 for o.
3
Let x be 1 + -1 - (-8)/12*3. Solve 5*b + s - 25 = -0*b, -x*b - 2*s = -18 for b.
4
Let o(i) = -i**3 + 6*i**2 + 2*i - 8. Let n be o(6). Solve -4*b - 8*r = -3*r + 8, 2*b + 3*r = -n for b.
-2
Suppose 0 = -3*n + 9. Suppose 0 = -2*f + 3*f. Let z(m) = m + 2. Let l be z(f). Solve l*i + q = -1, -11 = i + n*q + q for i.
1
Let j = 7 - 7. Suppose -k - k + 4 = j. Let t = k - -1. Solve -3*w - d = -t, 2 = -w - 5*d - 11 for w.
2
Suppose -33 = -17*q + 6*q. Solve -2*d + 10 = -p - 0*d, 0 = 3*p + q*d + 3 for p.
-4
Let l be 6/(-21) + 32/14. Let r(y) = 5 + 14 + l - y. Let w be r(0). Solve -5*n - w = -3*n + 5*a, n - 12 = 5*a for n.
-3
Let j be (-3 + 2)/((-1)/2). Let l be (2/(-4))/(j/(-4)). Solve -z + 4 + l = i, -2*i = -z - 4 for z.
2
Suppose -2*p + 9 = 3*g - 13, 2*g = -4*p + 12. Suppose g = t + t. Solve -c + 11 = -t*c + k, 0 = -c - 4*k - 21 for c.
-5
Let g = 82 + -82. Solve -5*x = 3*c - 2 - 38, g = 4*c - 20 for x.
5
Let q = 4 - 0. Suppose q*j - 5*j = -4. Solve -3*u - 4*r - 9 = 0, 4*u - j*r + 3*r = -12 for u.
-3
Suppose 0 = -3*d - 9. Let w = 2 - d. Let l = 6 + -2. Solve 4*v - 3*f = 7, -w*f - 5 = -4*v + l for v.
1
Let d(a) = -a**2 + 4*a + 7. Let k be d(5). Suppose -5*o + c + 12 = 0, -o - k*c - 9 = -6*o. Solve 0 = -o*h + b - 4, 2*h = 3*b + 1 - 6 for h.
-1
Suppose n - 2*c + 2 = 0, -4*c - 31 = -4*n - 9*c. Solve -n*v = -3*u - 19, -2*u - v = 5 + 4 for u.
-5
Let r be (-4)/(-10) - 43/(-5). Let l be 3/(-9)*(2 - 2). Solve c = -m - 4, l = 4*m - c - r for m.
1
Let j = 49 + -47. Solve 4*z = -q + 18, 0 = -z - j*z + 2*q + 19 for z.
5
Let d = 0 + 2. Suppose -12 = -3*v + 3*l - 0*l, -5*l + 8 = d*v. Suppose 2*w - 7 = w + 2*r, -24 = -5*w - r. Solve -5*y - 4*u = -9, v*y = w*y - u for y.
1
Let d(l) = l + 11. Let f be d(13). Solve -h + 0*h = 5*y - f, -5*y + h = -16 for y.
4
Let b(x) = x**2 - 10*x + 11. Let l be b(8). Let a(r) = -r**2 - 4*r + 9. Let j be a(l). Solve -3*y = -j*z - 6 - 17, -11 = -3*y - 2*z for y.
5
Suppose 4*x + x + 10 = 0. Let p be 0/(-2) - (-2 + 0). Let k = x + p. Solve s = -2*c + 4 - 17, -2*s + 2*c + 4 = k for s.
-3
Let m = -26 + 50. Let r(p) = -p**3 + 4*p**2 + 1. Let n be r(3). Suppose -3*s - n = -5*s. Solve 4*x - 2*b = -m, 4*x + 14 + 22 = s*b for x.
-4
Suppose -4 - 2 = -2*z. Let v be (17/z + -3)*6. Solve -v = 5*y - 4*p, -2*y - 5*p + 20 = y for y.
0
Suppose -3*d + 19 = 2*b, 4*b - 2*d - d + 7 = 0. Suppose -2*z + 275 = 3*z. Let x be (-1)/b - z/(-10). Solve -x*r = -0*i + 5*i + 30, 2*i = r + 3 for i.
-1
Suppose 0 = a - 2*x - 9, -6*a + 3*a + x + 12 = 0. Suppose -2 - a = -z. Suppose -3*d + 17 + 1 = 0. Solve -5*q + 1 = -5*n + d, 3*q + z = n for n.
-1
Let r = -6 - -10. Suppose 0 = 3*k - 2*c - 2, 5*k - 6*c - 15 = -5*c. Solve -6 = u - r*j, 6 = 4*u + j - k for u.
2
Suppose -17 - 32 = -7*g. Solve -2*t + 5*v = 24, -2*t = -g*t + 3*v - 22 for t.
-2
Let i = 1 - -16. Suppose 5 = -3*q + i. Solve 3*c + 19 = -q*h, c + 33 = -5*h + 12 for c.
-1
Suppose -12 = -0*o - 6*o. Solve -3*a + 26 = 5*w, -5*a - o + 0 = -3*w for w.
4
Suppose 2*q + 1 = -i, -9 = -3*q + q + i. Solve 0 = -3*f + 4*v - 15, 0*v = q*f + v - 1 for f.
-1
Let z be -1 + (2 - 5) + 2. Let n be (15/z)/(12/(-16)). Suppose 2*p + 8 = -4*g, 4*g + 14 + n = 2*p. Solve p*r = 4*d - d + 23, 0 = -5*d - 25 for r.
2
Let t be ((-12)/(-8))/(2/12). Solve 2*z = z + 4*d - 5, -4*z - t = -5*d for z.
-1
Suppose p + 3*p - 20 = 0. Let q be (-1 - 1) + 0 + p. Suppose q*d - 2*j = 4*d - 10, 5*d - 5*j = -25. Solve 4*h + 28 = 4*k, -4*h + 3*k - 24 = -d*k for h.
-3
Let o(s) = s**3 - 5*s**2 + 6*s - 8. Let b be o(4). Solve j + 3*f = -2*f - 8, b = -j + f - 2 for j.
-3
Let t(w) = w**3 + 5*w**2 + 2*w + 12. Let y be t(-5)