 s**3/6 + s**2 + 2*s. Let x be k(2). Let b = -40 - -40. Solve -a - 11 = x*o, 5*a - 2 = -b*o - o for a.
1
Let i be 2*15/6 - 0. Let k be 18/4 - i/(-10). Solve 5*d + 10 = 5*n, k*d + 2*n + 10 = -14 for d.
-4
Let m be -12 + 10 - (-1 + -3). Solve 5*o - m*d = -21, -o + 3*d - 5*d - 9 = 0 for o.
-5
Let l = 30 + -20. Let g(s) = s**2 - 7*s + 6. Let q be g(6). Solve 4*o - 16 = q, 0*o = 2*w + 3*o - l for w.
-1
Let o(f) be the second derivative of -f**5/20 + f**2 - 2*f. Let w be o(0). Suppose 0*a = -2*a + 8. Solve 0 = n - a*l - 17, -14 = -4*n - 4*l + w*l for n.
5
Let k(f) = 3*f**2 + 1. Let a be k(-1). Suppose -8 = -5*n + 2. Suppose n = i - 3. Solve 2*d + 5*o + a = -4, -i*d = -2*o - 9 for d.
1
Let n = -1 + 3. Let d(c) = 0*c**3 - c**3 + 3*c**3. Let y be d(1). Solve -n*b = x - 5 + y, -b + 3*x = -5 for b.
2
Suppose f + 4*f = 25. Solve q + 5*d = -3*q - 5, 5*d + f = -3*q for q.
0
Let f = 14 + -10. Solve p = -f*j + 3, p + 3 = -3*p - j for p.
-1
Let k = 9 + -5. Suppose -3*n - 3*x + 17 = -1, -k = 4*n - 3*x. Solve 18 = -3*o - 3*s, s - 2 = o + n for o.
-5
Suppose 0 = -4*g - 4*t, -3*t = 5*g + t - 3. Suppose d - 2 = 0, 2*x + 0*d - g*d = -6. Solve 5*v = 3*r + 19 - 2, -v + 4 = x for r.
1
Let j(t) = -t**3 - 5*t**2 - 6*t - 3. Let v be j(-4). Solve 35 = -5*h - 5*g, 0*h - 2*h + v*g = 0 for h.
-5
Let q(h) be the second derivative of h**3/6 - h. Let w be q(2). Solve 2*g = -8, -c - w = g + 1 for c.
1
Let n(w) = w**2 - 12*w - 8. Let o be n(13). Solve -j - o = h - 2*h, 0 = -5*j - 2*h - 25 for j.
-5
Suppose -4*r + 12 = -0*r. Solve -r*m + 4*w - 2*w = 9, 4*m - 3*w = -12 for m.
-3
Suppose 0 = -l - l. Solve l = 2*f, 2*a - 3*f - 2 = 2*f for a.
1
Suppose -5*u + 0*j - j + 13 = 0, -8 = 2*u - 4*j. Suppose -p = -1, 0*p + u*p + 6 = 4*y. Solve 7*r = 2*t + 4*r - 1, -4 = y*t + 2*r for t.
-1
Let s = -3 - 7. Let a be s/(3 - (-7)/(-2)). Solve 4*k - a = 0, 5*j - k - 25 = -6*k for j.
0
Let g = 11 + -7. Solve 0 = n + 1, 3*x = n + n - g for x.
-2
Suppose 9 - 1 = 4*b. Solve 14 = t + 4*c - 3, -b*t + 10 = 2*c for t.
1
Let x(f) = -f**2 + 2*f + 6. Let z be x(3). Solve -p - 15 = 3*s, 4*p - 5 = 5*s + z for s.
-4
Suppose -6*n = -0*n - 4*n. Solve 0*p = 3*p, b + p = n for b.
0
Let r(d) be the second derivative of 1/3*d**4 + 0 - 5/6*d**3 + d + 5/2*d**2 + 1/20*d**5. Let t be r(-5). Solve -o - 3*z = 20, -3*o + 2*z - t = -0*z for o.
-5
Let p be ((-18)/27)/((-2)/9). Suppose p*m = 18 - 3. Solve 2*g = 4*n + 20 - 8, m*g = -3*n + 4 for n.
-2
Let r(u) = 5*u**2 - 3*u - 4. Let z(a) = -a**2. Let n(w) = -r(w) - 4*z(w). Let c be n(3). Solve 0*y - 25 = 4*y - 3*f, c*f = -3*y for y.
-4
Let i(s) = -s**3 + 3*s**2 + 2*s - 3. Let r be i(3). Let y = 7 + -5. Suppose -1 = 5*p + 9, 3*p - 2 = -y*g. Solve 0 = 2*z - n + 1, -n - 3 + g = r*z for z.
0
Let h be 1*4*(-5)/(-10)*2. Solve -h*z - 4*d + 12 = 0, 0 = -3*z + 3*d - d + 9 for z.
3
Let l = 136 - 131. Solve f - 3 = -4*o, 2*o = -f + l*o - 11 for f.
-5
Let c = -16 - -21. Solve -3*n - 1 - 1 = 4*k, -n + 12 = -c*k for k.
-2
Suppose -10*c + 45 = -c. Let u = 25 - 10. Solve -5*b - u = c*z - 0*z, -3*z = -2*b + 19 for z.
-5
Let w = 487 - 485. Let d be (-26)/(-6) + 2/(-6). Solve 4*f - 3*s = w, 0 = -0*f - f + 3*s - d for f.
2
Let i = -5 + 19. Let w = 2 + i. Solve 4*n = w, 3*n - n = 2*q + 4 for q.
2
Let m(p) = -2*p - 2 - 2*p + 0 - 2*p. Let u be m(-1). Solve 3*w - u*x - 7 = -2*w, 0 = 5*w + x + 8 for w.
-1
Let l(x) be the second derivative of -x**5/20 + x**4/12 + x**3/2 - x**2 + 7*x. Let h be l(2). Solve -5*c - 5*r = 40, -3*c + 4*r = -h*r - 11 for c.
-3
Let n = 26 + -16. Solve 10 = g - 5*p, p - n = 5*g - 4*p for g.
-5
Suppose -3*n + 18 = 3*n. Solve -5*z - 4*f = 17, -3*f + 3 = -n for z.
-5
Suppose -r = -3*r. Solve 2*q - 9 = 5*i - q, r = 5*i + 3*q - 9 for i.
0
Let v(s) = -s + 16. Let p be v(13). Solve 20 = -p*d - 2*d - 5*o, 0 = -3*d + 4*o + 16 for d.
0
Let m = -27 - -15. Let x = m + 18. Solve x*p - 4*a = 2*p + 12, -a = 4*p - 22 for p.
5
Suppose 3 = -4*k + 2*i + 1, 3*k - 3*i = -9. Solve 9*w - 4*w = 4*m + 25, -4*w + 20 = k*m for w.
5
Let o(j) = -4*j. Let u be o(1). Let i be ((-2)/u)/((-1)/(-6)). Solve -5*a = -25, 0 = 4*x - i*a - a for x.
5
Suppose w - 5*w = -32. Solve -4*m + w = 4*l, 5*m - 4*l + 4 = 23 for m.
3
Let z = -12 + 24. Let n be 3/z + 30/8. Let i = 25 + -5. Solve 4*o + 3*c - i + 4 = 0, 16 = n*c for o.
1
Let t(m) = -5*m - 5. Let g(w) = 5*w + 4. Let i(f) = 6*g(f) + 5*t(f). Let q be i(1). Let c = 0 + q. Solve 0 = 5*s + p + 2, 0 = -5*s + c*p - 3 + 11 for s.
0
Let t(g) = -26*g**2 + 8*g + 8*g**2 - 4 + 17*g**2. Let u(c) = c + 1. Let l be u(6). Let p be t(l). Solve p*m + 4*b = -21, 2 = -b - 1 for m.
-3
Let z(k) = 18*k**3 + k**2 + 2*k - 2. Let v be z(1). Let w = 24 - v. Solve o = n, 3 - w = -2*n + 3*o for n.
-2
Let c be 2*(0 - 1) - -8. Suppose 0 = -5*r + c + 64. Suppose -t + 4*d - 20 = 0, -3*d + 10 = -5. Solve -f - 3 = -2*f, t = z + 5*f - r for z.
-1
Suppose 4*f - 6 = 2. Suppose 0 = -f*x - c + 17, x - 4 = 3*c - 5*c. Suppose x = 5*m - 10. Solve v - 3 = -4*t + 2, -m*v = -5*t + 22 for t.
2
Suppose 0*b = -4*b - 16. Let h = 0 - b. Solve -5 = 2*d + 5*t + 1, 0 = -h*d - 2*t + 4 for d.
2
Let w be (1 + -7)/(12/(-8)). Solve 5*y + w = 3*x - 0, 3*y + 2*x - 9 = 0 for y.
1
Let z = 1 - 1. Let u(q) = -q**2 - 12*q - 5. Let h be u(-11). Let o be (h/4)/3*z. Solve o = 3*t - 2*t + 2*j, -2*t + 16 = -4*j for t.
4
Let p be 0/((-2)/7 + 20/(-28)). Solve 2*k - f - 2 = p, -k + 1 + 0 = -4*f for k.
1
Let k be -1 + -2 + (-1 - -6). Let p(w) = 3*w**2 + 3*w**2 - 6*w + w**2 + 2 - 6*w**k. Let v be p(6). Solve -2*m = 4*i + 4, 2*i - 6*i = 3*m + v for m.
2
Let k be (-4)/(-14) + (-66)/(-14). Let b = 37 + -37. Suppose -2*s + 66 = k*l, -3*s = 2*l - b*l - 88. Solve -x - s = 5*m, -x = -3*m - 4*x - 24 for m.
-5
Let y be (-4 - 72/(-15))*5. Let o = -4 + 9. Solve 5*f = 5*n - 30, 3*n = -y*f + o*f + 10 for f.
-4
Suppose -2*w + w + 18 = 4*l, 4*w + l = 12. Solve 4*c + 0 - 17 = q, 5 = 5*c + w*q for c.
3
Suppose 5 = x - 2*r, 5*x - 13 = 2*r - 4*r. Suppose 0 = 4*m - 13 - x. Solve 5*s = 2*g - 7, -g - 24 = m*s + 2*g for s.
-3
Suppose -5*x + 4*g + 155 = 0, 5*g + 158 = 4*x + 25. Solve -5*s + x = q - 2*q, -2*s + 5*q = -20 for s.
5
Suppose 4*t - 114 = 5*b + 20, -5*t - 80 = 2*b. Let z be (30/25)/((-2)/b). Let p = 6 - 4. Solve 0 = 5*f - a + 3*a - z, -p = -5*f + 2*a for f.
2
Let b(s) = 3*s - 4. Let a be b(6). Let j = a - 9. Solve -j*q = -4*g + 21, 3*g - 7 = q + q for q.
-5
Let z = -7 - -13. Let a be (-60)/(-45) + 4/z. Solve 0 = a*l - 2, -3*l + 6 = -2*h + l for h.
-1
Let x be (4 + 3)*(0 - -1). Solve -3*l + 35 = -5*k, 2*l = -4*k + x*l - 41 for k.
-4
Suppose -d - 2*d + 15 = 0. Let u be 23 - (-1 - -2) - 1. Let s be (-6)/u + 30/7. Solve -d*x - 4*z + 7*z = -40, -4*x = s*z for x.
5
Let z(i) = i**3 + 15*i**2 - 2*i - 25. Let v be z(-15). Solve -v*b - 16 = 2*a, 6*a + b + 17 = a for a.
-3
Suppose 0 = 2*d - d + 9. Let a be (2 + 7/(-3))*d. Suppose 25 = 6*m - m. Solve 0*y - a*y = -q + 6, -3*q - 24 = m*y for y.
-3
Let h(i) = -7*i - 73. Let q be h(-11). Solve 4*n - 3*u + 8 = u, q*u = -4*n for n.
-1
Suppose 2*k - 7*k + 10 = 0. Solve u = i - 3, 3*i - k = 5*u + 3 for u.
2
Suppose -19 = 2*w + 11. Let l = w - -25. Solve 2*o + 5*u + 4 = 3*u, l = -5*o - 3*u for o.
-2
Let n = 8 - 5. Suppose -15 = -5*p - n*t, 0 = 4*p - 4*t + 2*t + 10. Suppose q + 4 + p = 5*h, -3*h - 2*q - 8 = 0. Solve h = -2*m + 2, 2*m - 11 = 2*v - m for v.
-4
Suppose 0 = 2*l - 5*y - 32, -5*y + 73 = l + 27. Solve -2*c + l = -4*t, 18 = -2*t - c + 3*c for t.
-4
Suppose -8 = 3*o + 1. Let w be (o - -3) + (-2)/(-1). Solve -h = 5 - 1, w*m - h - 4 = 0 for m.
0
Let d(r) = 4*r - 6. Let l be d(5). Suppose 5*x = 4*k + 55, 30 = 4*x - k - l. Let n = -1 - -3. Solve -5*q + 6 = n*i - x, -5*i + q - 25 = 0 for i.
-4
Let z be (10/8)/(3/12). Solve z*w + 4*c - 19 = -3, 2*w - 6 = -2*c for w.
4
Suppose -5*o - 2*l = -21, -5*o = -3*l - 3 - 3. Let h be (-1)/(-2)*(5 + -1). Solve h*x = -o*k + 13, 13 = -5*k + 4*x - 2 for k.
1
Let c(m) = m**2 + 7*m - 6. Let y be c(-8). Solve a + 5*u = 25, -4*u + 26 = y*a - 0 for a.
5
Let k be 6/15 - (-116)/10. Suppose 0 = -2*o + p - 3*p, -o - 2 = 2*p. Solve 5*x = -h + 12, -2*h - k = o*h for x.
3
Let k = 143 - 140. Solve -4 = -k*v + 4*u + u, -2*u + 14 = 4*v for v.
3
Let v(n) = -n**3 - 11*n**2 - 11*n - 15. Let c be v(-10). Let g(z) = z**2 + 4*z - 2. Let x be g(c). Solve -x*j = -5*s - 22, 3*s + 12 = 3*j - 0*s for j.
-1
Let o 