e 0*v = -a*v + 4*g - 18, 4*g = 4*v + 20 for v.
-1
Let s(t) = t**2 - 8*t + 12. Let k be s(6). Solve -2*h = -5*i - k - 1, 0 = 5*i - h + 3 for i.
-1
Let d(i) = -i**2 - 9*i. Let t be d(-9). Suppose t = -g + 7 - 5. Solve -3*m = -3*f + 9, -g*m - 6 = -3*f - 0*m for f.
0
Let d(b) = b**2 + 10*b + 4. Let n be d(-10). Let p = 4 + -4. Suppose 1 = 3*j - 5. Solve p = 4*i + g - 11, 0 = -i + j*g - g + n for i.
3
Let f be 743/2 - 2/(-4). Let n be 6/(-10) - f/(-20). Let b(s) = 26*s**2 - 1. Let q be b(-1). Solve -q = -5*o + 4*j, -3*o = -2*j - n + 5 for o.
1
Let u(k) = k + 3. Let b be u(-3). Suppose -z + 4*i + 22 = b, -2*z - 5*i + 15 = z. Let n = -6 + z. Solve -2*a = 3*q - 6*q + 2, 0 = -n*a + 2*q + 4 for a.
2
Let o(g) = -g**2 + 5*g + 4. Let j be o(5). Solve -3*m - 4*r = -12, 0*r + 4 = m + j*r for m.
4
Let z(h) = -h**3 + 3*h**2 - 2*h - 2. Let c be z(2). Let d be (c/(-6)*0)/2. Solve 5*s = -q - 16, d*q - q + 12 = -2*s for q.
4
Let g = -22 + 26. Solve a + 2*a + 15 = -g*j, j + 1 = 2*a for a.
-1
Let m(i) = -i**2 + 11*i - 8. Let b be (-1)/((1/(-10))/1). Let s be m(b). Solve v + s*j = j - 5, 4*j = 0 for v.
-5
Let d = -2 + -8. Let x be (-72)/(-30) - (-4)/d. Solve x*t = -4*r - 8, 5*r - 2*t + 0*t + 1 = 0 for r.
-1
Let c(s) = -13*s + 13. Let j be c(1). Solve 5*d - 3*z + 19 = j, 2*d + 0*z + 3*z = 5 for d.
-2
Let s be ((-2)/6)/((-6)/54). Suppose 12 = s*f - 2*f. Solve 3*g + 4*w = f, 6 = 2*g + w + w for g.
0
Let h(l) be the first derivative of -l**3/3 - 3*l**2 - 5*l - 4. Let y be ((-8)/(-6))/(3/(-9)). Let o be h(y). Solve t = 4*u - 7, o*t + 2*u - 18 = 3 for t.
5
Suppose -5*x + 5*f = -20, -4*x + 7 + 9 = 5*f. Suppose 9*t = 4*t. Solve t = w + 4, -3*k + 5 = 2*w - x*w for k.
-1
Let d(z) be the second derivative of z**5/20 + 5*z**4/6 + z**2/2 - z. Let i = -28 + 18. Let j be d(i). Solve t - 2*f - 3*f = -j, -5*t = -4*f + 5 for t.
-1
Suppose -10*v - 10 = -12*v. Solve 0*r - v*r = -2*l - 19, 4*l + 4*r = 4 for l.
-2
Let j(q) = -q - 5. Let x be j(0). Let h(b) = -b + 3. Let u be h(x). Solve -u = 3*w - 2*m, -w - 2*w + m = 4 for w.
0
Let r = -1 - -1. Let a = 3 + -5. Let l be a/7 + (-92)/(-28). Solve 5*m + r*m = -j - 3, -l*j + 11 = -5*m for m.
-1
Suppose 7 = -5*c - d - 8, 0 = 3*c - 4*d + 32. Let o be (c/(-5))/((-1)/5). Let m = 7 + o. Solve -2*z + 3*h - 16 = 0, -1 = m*h - 7 for z.
-5
Let u(q) = q**2 - 3*q + 10. Let c be u(3). Solve n + c + 2 = 2*h, n + 7 = h for n.
-2
Suppose 0 = -0*b - 3*b + 24. Suppose 4*d + 4 - 1 = l, -4*l + 4*d + 12 = 0. Suppose -z + l*z - b = 0. Solve -6 = z*w - 14, -o + 5*w - 11 = 0 for o.
-1
Let x = 26 + -24. Solve x*q - 9 = -b, -4*q = -2*b - 2*b for q.
3
Let d(n) be the third derivative of -n**4/6 - 5*n**3/3 - 7*n**2. Let a be d(-3). Solve 2*k - 4*k - 10 = a*s, 10 = -2*k + 4*s for k.
-5
Let u = -13 - -5. Let d(v) = -v**3 - 9*v**2 - 9*v - 8. Let b be d(u). Solve 2*k + 5 = -b*l + 3*l, -6 = -4*l + 3*k for l.
3
Let o = 1 + -1. Let l = -12 - -21. Suppose -z = -o - l. Solve 6 = -w - w + 4*i, -2*i - z = -5*w for w.
3
Let g = -60 - -62. Solve 2*u = -g*s + 8, -3*u = -0*s - s - 4 for s.
2
Let i = -30 - -33. Suppose 3*s - 109 = -5*j, -3*s - 31 = -3*j + j. Let p = j - i. Solve 5*t = -2*r - 13, 4*r = 3*t - r - p for t.
-1
Suppose -22 = -f - 3*f - 3*t, -24 = -5*f - 2*t. Suppose -4*j + 6 + 6 = 4*q, q + 9 = 2*j. Let o = j - 2. Solve r = -0*r - d, o*r + f*d = 2 for r.
-1
Suppose 4*s + 5 = -15. Let r = s + 9. Let p(n) = n**3 - 5*n**2 + 4*n + 5. Let u be p(r). Solve -32 = -5*g + u*c - 2*c, -5*g + 28 = -2*c for g.
4
Let d(m) = m**2 + 2. Let c be d(0). Solve 2 = -2*f + 4*g - 4, 0 = -3*f + c*g - 5 for f.
-1
Let g be 4/(-2)*2 + 6. Solve 5*z + g*t + 28 = 5, -5*z + 4*t = 29 for z.
-5
Let q = 1 - -3. Let a(r) = 0 - 3*r + 2*r - 1 + 0. Let k be a(-6). Solve 19 = -0*i + k*i + q*u, i - 2 = u for i.
3
Let x(m) = m**3 - 13*m**2 + m - 7. Let z be x(13). Solve -1 = -r, -z = -3*o + 3*r + 3 for o.
4
Suppose -2*l = 8, -l + 0 = 3*z - 26. Let c = z - 3. Suppose -4*y - 5 = 5*a, -8 = 4*a + c*y - 3*y. Solve -n = -3*u + 7, -3*n + a = -3*u + 12 for n.
-1
Let o = 12 - 18. Let z = o + 11. Solve 40 = 5*f + 4*h, -3*f = z*h - 8 - 29 for f.
4
Suppose 2*a - 15 = -a. Solve 0 = -m + 2*m + a*o - 7, 5*m = o + 9 for m.
2
Let k(i) = -2*i + 7. Let t(y) = -y + 1. Let b(v) = -k(v) + 4*t(v). Let h be b(-3). Suppose 0 = -h*s - 0*s. Solve -3*a + 2*a + 3 = 0, 2*x - a + 11 = s for x.
-4
Suppose -d - 2*b + 14 = -5*d, d - 5*b = 10. Let g(i) = -5*i + 6*i + 0*i + 7. Let a be g(d). Solve 0*c - 4*c - 4 = -4*h, c + a*h = 11 for c.
3
Let k = 15 - 11. Solve -k = a - 4*h, 2*h - 4 = -0 for a.
4
Let k(w) = -4*w + 5. Let j be k(-5). Suppose 0 = 4*u - 0*u. Suppose 14 = 4*f + 2*r, u*f + 3*r + 19 = 2*f. Solve -7 - 8 = 5*p + 3*z, -f*z = 3*p + j for p.
0
Suppose 2*x - 6*x = -36. Solve -5*f - 2*r = -1 - x, -2 = -3*f - 2*r for f.
4
Suppose -h - 12 = -4*r, 0 = 5*h + r - 15 - 9. Let v = -16 - -16. Solve 4*k + 3*t = t + 28, h*k + 3*t - 32 = v for k.
5
Suppose 2*l - 12 = -2. Suppose l*p + 11 = 2*x, 16 = 5*x + 5*p + 6. Solve -z = -k, -5*k + x*z = z - 3 for k.
1
Let i(f) = -f**2 - 10*f - 10. Let c be i(-8). Let k be ((-2)/c)/(1/(-6)). Solve -5*h + b = 4*b - 21, -5*b = -k*h - 4 for h.
3
Suppose 3*v + 5*k - 30 = 0, -4*v + 5*k - 1 = -6. Solve -14 + 2 = -2*w + 5*u, 7 = v*w - u for w.
1
Let s(g) = -g + 2. Let o be s(-2). Suppose -2*q = 4*t - 36, o*q + 4*t = 2*t + 42. Solve -c + 3*u = 7*u + q, 0 = -5*u - 15 for c.
4
Let r = -5 + 11. Suppose 2*l - 10 = -r*g + g, 0 = -5*g + 3*l - 15. Solve 0 = -3*w - j + 11, g*j = 2*w + 2*j - 10 for w.
3
Suppose r - 5*r = 0. Suppose 4*t - 14 - 6 = r. Solve 5*f = -t*i + 10, -6 = -4*f + 5*i - 34 for f.
-2
Suppose -3*m - 64 = -0*x + 4*x, -1 = x. Let h = -10 - m. Solve h = o - 3*l, 3*o - 4*o = 2*l for o.
4
Let o be (-5 + 4)*2*-4 - 4. Solve -4*m - o = j - 2, 3*m - 4 = 2*j for m.
0
Let u(q) = -q**3 - 10*q**2 - 11*q - 16. Let w be u(-9). Solve 6 = -w*o - 3*g - 7, -15 = 3*g for o.
1
Let i = -140 + 143. Solve 3 = k + i*j - 4, 2*j - 10 = -2*k for k.
4
Suppose -2*u = -5*w - 33, 2*w + 1 = -5*u + 11. Solve -s = 2*q - 7*q - 6, u = q + 5*s for q.
-1
Suppose 2 = 4*v - 6. Solve 2*c - 5 = c - 2*q, -2*c = -v*q + 2 for c.
1
Suppose 2*k + 4*b - 3 - 1 = 0, 4*k + 5*b - 11 = 0. Solve 0 = k*l + 8, w + 12 = -0*w - 5*l for w.
-2
Let m(g) = g**2 - 12*g + 16. Let r be m(11). Suppose r*n + 20 = -5*l, -3*n = -0*l - l - 4. Solve n = 3*c - 2*o + 13, 2*o - 28 = 5*c + 5*o for c.
-5
Let x = -16 - -11. Let m = 20 + x. Suppose 0*f = 5*j - f - 53, j + 2*f - m = 0. Solve 0 = -i + 4*d + 20, 2*i + j = 4*d + 31 for i.
0
Let t(m) = -m**3 + 4*m**2 - m + 4. Let a be t(4). Let b(l) = -l - 3. Let s be b(-8). Solve i - 4*j + 3*j = 8, a = s*i - 4*j - 37 for i.
5
Let u be (-1)/(2 - (-17)/(-8)). Suppose -5*r + 28 = u. Suppose 3*i = 5*k + 31, 3*k = 5*i + 7*k + 10. Solve 22 = r*m - 5*l, -i = l - 0 for m.
3
Suppose 3*l - 4 = l. Suppose -4*n = -l*n - 8. Solve t - 3*t + 7 = 3*f, t - n*f = -2 for t.
2
Let c(m) = 2*m - 6. Let k be c(5). Solve 3*i - 4 - 8 = -k*r, 0 = 3*r for i.
4
Let h be ((3 + -2)*0)/2. Suppose h*o - 1 = -3*k - o, -o - 9 = -2*k. Solve -k*s = -0*s - 10, 0 = -2*u + 5*s - 25 for u.
0
Let y be 1 + 2 + (-21)/7. Suppose y = -2*g - 2 + 10. Solve 4*w + g*z + 36 = -0*z, -21 = 5*w - z for w.
-5
Let u(w) = -37*w - 1. Let v be u(-1). Suppose t - 2*p = 12, -5*t + v = -p - 33. Solve 0*z - z - 14 = -4*x, -z - 3*x + t = 0 for z.
2
Suppose -6 + 24 = -2*g. Let x be (-105)/g + (-2)/3. Solve q + x = -5*z - 6, 4*z + 4*q + 4 = 0 for z.
-4
Let m = 32 + -27. Solve -m*o - 2*j = 2*j - 6, o + 3 = -5*j for o.
2
Let o = 10 + -17. Let c = -11 - o. Let y(v) = -v. Let i be y(c). Solve -f = 5*j - 4*f + 11, -4*f = i*j - 4 for j.
-1
Suppose 5*r = 2*r - 12, -4*r - 154 = -2*u. Let n = u + -49. Suppose 3*z - n = -z. Solve -3*h + 2*j + 2*j = 24, 0 = z*h + 2*j + 14 for h.
-4
Let m(b) = b + 0*b - b**3 + 4*b**2 + b - 5. Let s be m(4). Suppose 2*i - 2 = 2*v + 7*i, i + 10 = 2*v. Solve -v = z - s*g + 4, 0 = 5*z - 3*g + 28 for z.
-5
Suppose -19 + 4 = -3*b. Solve -3*k + 5*k - 33 = -b*h, 5*h - 5 = 5*k for h.
5
Let a = 39 - 36. Solve -d = -5*c + 6, d + a = c + c for d.
-1
Let l be 1 + 1 + (6 - 2). Solve -3*n + 6 = -t, -5*n = 4*t - l - 21 for t.
3
Let a(o) = -o - 2. Let z = 6 - 10. Let d be a(z). Let r(x) = -2*x - 1. Let p be r(-2). Solve -d*u - p = -n - 7, 0 = -2*n + 8 for u.
4
Let s(k) be the third derivative of -k**4/