c(n) = n**2 - 5*n - 4. Let b be c(7). Let r be 4/b + u/5. Solve r*q - 3 = v, -4*q + 4*v - 1 = -5 for q.
2
Let b be (-1)/2*(13 + -13). Solve -4*o - 2 = -3*x, o + b = -x + 3 for x.
2
Let t(r) = r**3 + 14*r**2 + 12*r - 2. Let v(a) = a**3 + 5*a**2 - 3*a + 5. Let b be v(-6). Let z be t(b). Solve c = 4*q + 13, 2*q + 2*q = -c - z for c.
1
Let p(d) = -2*d**3 - 3*d**2 + d + 3. Let l be p(-2). Solve -l*s + 22 = 3*h - 13, 0 = 5*h - 4*s - 9 for h.
5
Let z be 10*4/(-10)*-4. Solve z = -2*t - 5*j, 3*j = -t - 6 - 3 for t.
-3
Let f be 8/(-4)*3/(15/(-5)). Solve t + l = f, 5*t + 0 = -l - 2 for t.
-1
Suppose 0 = -2*a - 5*s + 33, a - s + 5 = 4. Let r = -5 - -7. Solve 5*f - 13 = a*f + 2*i, r*f + i = 1 for f.
3
Let u be 3*2/6 - 1. Suppose u = -5*f - 0*f + 10. Suppose -3*x + 26 = 5*j - 0*x, 0 = 4*j + f*x - 20. Solve 3*l - 4*v = l - 18, -j*l + 2*v - 18 = 0 for l.
-3
Suppose 4*x + 3*b = 4*b, 3*x + 4*b = 19. Let y be 6/8 + x/4. Let s(a) = 5*a + 1. Let t be s(6). Solve 3*i - i - m = y, 2*i = -5*m + t for i.
3
Let g(z) = -z**2 - 3*z + 2. Let k be g(-3). Suppose 2*y - y = k. Suppose y = 5*o - 3. Solve 2 = d + 2*i, i = -d - 0*i - o for d.
-4
Let v(d) = d**2 - 4*d - 1. Let n be v(-1). Solve -4*b = 4*x - 32, -2*x - n*b + 1 = -21 for x.
5
Let l(j) be the first derivative of j**3/3 - 3*j**2/2 - 5*j - 1. Let b be l(5). Solve -b*a + 17 = 5*m - a, 2*m = -3*a + 4 for m.
5
Let m = 5 + -3. Solve 5*l + 29 = 3*b - 2*b, 5*b + m*l - 10 = 0 for b.
4
Let n(u) = -3*u - 2. Let c be n(-2). Suppose -c*g + 11 + 5 = 0. Let v be (-13)/(2*(-2)/g). Solve 5*z = 2*l + v, 0 = -2*z + l - 3 + 8 for z.
3
Suppose 0 = -5*k + 4*c + 105, k + 4*k - 60 = -5*c. Let n = k - 14. Solve 17 = -5*w + g - 1, 3*w + n*g = 0 for w.
-3
Let j(y) = -y**3 - 7*y**2 + 3. Let d = -23 - -16. Let q be j(d). Solve 4*h + 21 = -w, -q*w - 7 - 6 = 2*h for w.
-1
Let v be 2/(-9) + (-29)/(-9). Suppose y - v - 2 = 0. Suppose 5*r + 1 = 3*h, -y*h - 3*r = 2*r - 55. Solve -3*c - 14 = c - 2*o, -c = 3*o + h for c.
-4
Suppose 4*w - 6 = -2*l, -l = 3*l + 12. Suppose -d + 20 = w*d. Solve 0 = -3*f - u - 5, 1 = -5*f - 4*u - d for f.
-2
Let x = 5 + -5. Let k be (x - 1) + (3 - 0). Solve -2*g = 5*w - 35, k*g - 35 = -g - 4*w for g.
5
Let j(s) = s**3 + 3*s**2 - s - 4. Let h be j(-2). Solve 10 = 4*m + h*q, 5*q = -0*m + 5*m - 5 for m.
2
Let n be (-10)/(-6) + (-1)/(-3). Suppose 2*m - 14 = -h, -h - 4 = -n*h. Solve -m*v - 2*p - 9 = p, 2*v + 4*p - 2 = 0 for v.
-3
Let j(v) be the second derivative of v**4/12 - 7*v**3/6 + 3*v. Let h be j(7). Suppose -r - r + 2 = h. Solve 17 + r = -3*b - 3*x, -2*x - 6 = -4*b for b.
-1
Suppose -3*j - 14 = 10. Let a(w) = -w - 2 + 6*w + w**2 + 0*w. Let r be a(j). Solve 0 = 5*h + d + r, 0*d - 34 = 5*h - 3*d for h.
-5
Let h(q) = -q - 2. Let f be h(-4). Suppose g + f - 10 = -m, -40 = -5*m - 3*g. Let y = m + -6. Solve -w + 6 = -2*z, 2*z - y*w - 2*w = 0 for z.
-4
Let a be 204/26 - 16/(-104). Solve 3*y = 5*g + 21, -a*y = 3*g - 3*y - 1 for g.
-3
Let j = 13 + -11. Solve 3*v - 13 = 2*d, j*v - d = -0*v + 7 for v.
1
Let b(s) = s - 14. Let i be b(14). Suppose -3*m - 6 = 4*p - 2*p, 3 = -3*m - 3*p. Let x be 57/21 - m/14. Solve 0 = 2*w + x*g - i*g + 6, -4*w - 4*g = 4 for w.
3
Let u = -85 - -103. Solve -5*m = -3*l + u, -5*m = -3*l - m + 15 for l.
1
Let b be (1 - 0) + -1 + 3. Let a(t) = t**3 - 9*t**2 + 9*t + 9. Let c be a(8). Solve 3*u - 20 = p, -5*p - b = u + c for u.
5
Let j = 5 + -1. Let x = -14 + 17. Solve 3*d - d + 5 = -x*v, 5*v + 5 = -j*d for d.
5
Let r(d) = -d**3 - d**2 + 4. Let w = -1 - -1. Let c be r(w). Solve t + 4*m + 20 = -0*t, 0 = 2*t + c*m + 24 for t.
-4
Let i(v) = 2*v**3 - 3*v**2 - v + 2. Let n be i(2). Solve 3*b + 7 = s, -2*s + n*b + 11 = s for s.
1
Let r = -58 + 62. Solve r*p - 9*p - 7 = 2*a, 0 = 2*a + p + 3 for a.
-1
Let i(v) = 0*v + 1 + 0*v**3 - 3 - 3*v**2 + v**3 + 4*v. Let j be i(2). Suppose -j*c + 3 + 5 = 0. Solve c*m = 5*n - 33, 4*n - n - 2*m = 19 for n.
5
Suppose o = -4*o + 10. Let u(m) = o*m**2 + 8*m**3 - 3 + m + 2 + 2*m**2 - 5*m**2. Let a be u(1). Solve 3*t = 2*f - 7, f + a = -t - t for f.
-1
Suppose 116 = 5*k + n, -4*n = 2*k + 4 - 54. Suppose -5*s = -2*y + k, 3*y + 3*s - 77 = 2*s. Let r = 41 - y. Solve -2*x - 5*o = -r, 28 = -2*x + 3*o + o for x.
-4
Suppose 3*a - 23 = 46. Suppose -2*i + 5 + a = 0. Solve -h = -w + 3, 5*h + i = w + 3*w for w.
1
Let c = -2 - -8. Let x(i) = 2*i - 5 + i**2 + 0*i**2 + 0*i**2 + 7. Let q be x(-3). Solve 4*g - 2*y - 2*y = 0, -c = -g - q*y for g.
1
Let u = -53 - -58. Suppose 0 = -5*m + 51 + 69. Let g(w) = 3*w**2 + w. Let d be g(1). Solve 2*q + m = -d*i, 3*q + u*i + 32 = -0 for q.
-4
Let f(l) = l**3 + 8*l**2 - 12*l - 27. Let k be f(-9). Solve 3*g - 5*g = 5*r - 3, k = 4*r + 2*g - 4 for r.
-1
Let l(j) = -j**2 + j + 24. Let m be l(0). Suppose -i - 2 = -0. Let z be 3/i*m/(-9). Solve 0 = -4*y + 3*f + 17, 13 = z*y - 5*f - 2 for y.
5
Let l be (-6)/(-99)*-3 - 112/(-11). Solve -2 = 4*s - 3*w + 4, 4*s - 5*w = -l for s.
0
Let s = -18 - -28. Suppose s = -0*w + 2*w. Solve 26 = w*n - 4*q + 2*q, n = 5*q + 19 for n.
4
Let p(z) = z**3 + 8*z**2 + 5*z - 8. Let w be p(-7). Suppose w = 2*l + l. Solve 2 = 2*j, 0 = -4*o + j + l - 23 for o.
-5
Let h be 8*(-3)/(-6)*1. Suppose j + 2*j = 9. Suppose -6 = j*d - 6*d. Solve -h*g - 35 = 5*z, 5*z - d*g + 5 = -0*g for z.
-3
Let y(s) = s**2 - s + 10. Let a be y(0). Let x = -16 + 30. Let b be 4/x + 33/7. Solve 4*v = -5*o + a + 1, 15 = 5*v + b*o for v.
4
Let r(m) = -m**3 - 5*m**2 - 2*m. Let c be r(-5). Solve c*g = -2*i + 5*g + 27, 2*i - 22 = -4*g for i.
1
Suppose 4*l - 2*l = 20. Solve u + 0 = -4*v - l, -2*v - 10 = -2*u for v.
-3
Let m be 4/(-8)*10*3. Let q = -13 - m. Solve 0 = 2*u - 2*y - q, 27 = 5*u + 3*y + 6 for u.
3
Let f(b) = -b**3 + 3*b + 3. Let l = 2 - 4. Let k be f(l). Solve k*i + 0*i - 7 = 2*m, -2*i - 14 = -5*m for m.
4
Let a be (-6 + 0)*(-6 + 5). Suppose -b + a = 2*b. Solve -b = 4*z - 2*p, -2 = -4*z - 3*p + p for z.
0
Let k = 31 + -22. Suppose -k*m - 2 = -11*m. Solve 5*y = -5*z - 10, 3*z - y - m = 5 for z.
1
Suppose -t - 2*t = -3*v - 18, -t = -4*v. Let p = -104 - -104. Let x(a) = a**2 - 3*a + 3. Let l be x(3). Solve 0 = -q + 2*d - l - 4, -4*q - d + t = p for q.
1
Let y(w) = -w**2 + 9*w + 11. Suppose 3*n - i = 3*i + 14, -5*n + 4*i + 34 = 0. Let q be y(n). Solve -p + 2*p = q, 0 = -2*f + 2*p + 4 for f.
3
Suppose -3 = -b - 7, 2*z + 6 = -4*b. Solve -z*q - 4 = 3*p, -3*p = -2*q - 4*p - 2 for q.
-2
Let y = -6 - -9. Suppose y*h - 7 = 20. Solve p = l - 3, 0*p - p - h = -4*l for l.
2
Suppose -5*a - 9 = -8*a. Suppose -a*q + 4*q = 0. Solve -4*u + i + q*i + 13 = 0, 2*u - 4*i = 24 for u.
2
Let m be 10/(-6)*(8 - -4). Let d = -16 - m. Solve 0 = d*j - 4, 2*j - 10 - 1 = -3*p for p.
3
Suppose 0 = -w - 2*w + 4*w. Solve 5*s = 4*b - 22, 1 = b + s - w for b.
3
Suppose -2*s - 2*s = -56. Let f = -13 + 13. Solve f*x = -x + n - 4, 5*x + s = -n for x.
-3
Suppose g = -6 + 1, -3*p = 3*g - 18. Let l = -2 + p. Solve -29 = 4*r - 3*x - l, -2*x + 4 = 2*r for r.
-2
Suppose p + 3*p = 0. Suppose p = 3*n - n - 30. Suppose 42*o = -4*o + 138. Solve -o*r = 2*f - n, 0 = -0*f + 5*f - r - 12 for f.
3
Let n be (-65)/(-13) - 1*(-1 - -3). Solve -2*w = 5*d + 7, -n*w + 5 + 22 = -5*d for w.
4
Suppose -19 + 4 = -5*s. Let c be (1 - 0)*15/s. Solve 0 = 3*k + k + 3*r + 7, 0 = -c*r - 25 for k.
2
Suppose -c - 14 = 2*s, s + 7 = c - 6. Let d be s*((-24)/(-9))/(-4). Solve 3*y + d = 0, -2*j - 2 = y - 8 for j.
4
Let c(v) = v**2 + 6*v + 5. Suppose r + 5 = -x, -3*x - 6*r = -r + 15. Let g be c(x). Solve 0 = -o - w - 1, -2*o + g*w + 4*w - 26 = 0 for o.
-5
Suppose -3*b + 14 = -s, 0 = -2*b + 3*s - 6*s + 13. Solve k + 2*v + 0 = 2, -b*v = 2*k - 3 for k.
4
Let b be (-9)/6 + 126/12. Let z be -12*(-1 - 3/b). Solve -2*r - g = r - 12, 2*r - z = 2*g for r.
5
Let v be ((-19)/6)/19 - 62/(-12). Let x = -1 - -2. Solve -x = -3*p + b, p - 21 = 2*p + v*b for p.
-1
Let a be 2*6*(-2)/4. Let p(i) = -1 + 2*i - 1 - 5*i + 4. Let w be p(a). Solve 4*v - w = 4*b, -3*b - 4*v + 5 + 1 = 0 for b.
-2
Let i be 4/(-6)*(-3)/2 - -5. Solve -3*s = 4*q - 5, i + 29 = -5*s + 2*q for s.
-5
Suppose -4 + 6 = 2*l + 4*v, 4*v = -5*l + 17. Solve -7 = 4*f + 5*g, l*g - 11 = 3*f + 3 for f.
-3
Let y = 35 + -33. Solve -y*f = -3*q + 4*q - 5, -5*f + 3*q + 7 = 0 for f.
2
Let a = -4 + 2. Let h be -3*(a + 1) - 1. Suppose f + 5*u - 28 = 0, u = -h*f - 0*u + 11. Solve 2*o + 2 = 4*s, -f*s = -5*o - 8 - 