o.
-1
Let g(c) be the second derivative of -3*c - c**2 + 0 + 1/3*c**3. Let l be g(6). Solve 2*p + a = -l, p - 3*p - 4*a - 22 = 0 for p.
-3
Suppose -g - 15 = -4*n, -4*g = -7*n + 2*n + 16. Solve -3*x + 3 = 4*b - g, 0 = -b - x for b.
4
Let c be 4*(-4 + 6 + -1)*1. Solve -6 = -c*x + 3*t, 0*x - 10 = x + 5*t for x.
0
Let j = -10 - -10. Suppose 0 = 2*y - 8, -3*i + 3 + j = -3*y. Solve 18 = -3*c - 2*d + 2, -3*d + 14 = -i*c for c.
-4
Let y be 0*3/18*-2. Suppose y*d = -4*d. Solve 4*p = v + 20, d*p - 4*v = 3*p + 4 for p.
4
Let y = -9 - -13. Let l = 3 - 0. Suppose 0 = 3*f - 9 + l. Solve 2*x = -5*q + f*q + y, 8 = 4*q for x.
-1
Let x(s) = s - 1. Let r be x(4). Suppose -r*q + z = -2*z - 27, 2*q = -3*z + 13. Solve 3*p + 9 = -5*a - 7, -4*p - q = 0 for a.
-2
Let c = 19 - 44. Let d = c + 35. Solve 5*v + d = 3*g - 1, 3*g = -4*v + 2 for v.
-1
Suppose -w + 29 = 4. Let o(u) = u - 12. Let j be o(15). Solve b = -5*x + 5, -3*b - j*x = 2*b - w for b.
5
Suppose l + 2*i = 0, l - 2*l = 4*i - 4. Let b be 14/(-4) + l/8. Let s be 5*2*b/(-10). Solve 4*t - h + 16 = -3*h, 0 = -s*t - 3*h - 16 for t.
-4
Suppose -2*k + 6 = 5*h - 15, 5*k - 2*h = 9. Solve k*p = -q - 3, 2*q + p - 5 = 6*p for q.
0
Suppose -44*r = -41*r. Solve r = -4*o + 4*d - 28, 5*o - 2*d + 5 = -3*d for o.
-2
Let w = 6 - 6. Solve -5*s - a - 4*a - 30 = 0, -a - 4 = w for s.
-2
Let q(u) = -u**2 - 17*u + 4. Let w be q(-17). Solve -3*y = -4*d - 26, w*d - 3*y + 24 = -y for d.
-5
Suppose 0 = -11*v + 2 + 20. Suppose 2*w + 4*l - 30 = 0, -2*w - w = -4*l + 5. Solve -4*c - 24 = v*a, 0*a + w*c = -a - 24 for a.
-4
Let h(l) = 3*l**3 - 2*l**2 + l. Let j be h(1). Solve 0 = 4*i + 4*c, i - 4*c = -j*c + 3 for i.
1
Let w = -3 - -3. Solve 2*a + 5*z + 8 = w, a = -3*a - 2*z for a.
1
Suppose -2*m = -5*u + 25, -m + 1 - 26 = -5*u. Let l be (-6)/42 + (-85)/(-7). Solve -5*y - 5*q + 40 = m, 0*y + l = -y + 4*q for y.
4
Let p be (-90)/(-21) - (-4)/(-14). Let s(m) = m**2 + 3*m + 2. Let a be s(-3). Let f be a*(-2*1)/(-2). Solve 4*l = -5*h - 10, -h + f = -5*l + p for h.
-2
Suppose -4*q = q - 15. Solve q*b + 2 = -4*d, -2*d - 3 + 1 = b for b.
2
Let z be -3 + (-10 + 3)/1. Let k = -5 - z. Solve x + 4 = 2*h - 4, -k*h + 11 = 2*x for h.
3
Let a = 0 - -5. Suppose -a*p + 5 = -5. Solve p*d = 2*z + z + 12, -2*d = 2*z + 8 for d.
0
Let a = -5 + 7. Suppose -a*t = 5*m - 35, -5*m + 6*t - t = 0. Suppose 0 = -m*q + 7 + 13. Solve 5*u - 22 = h, 0 = q*u - 7*u - 2*h + 8 for u.
4
Let w be ((-14)/3)/((-6)/9). Suppose w*k = 2*k. Suppose 4*d - 1 = 11. Solve k = d*z - 5*z - c - 6, 2*z = 4*c - 26 for z.
-5
Let o be (-3)/3 + (5 - -1). Solve -5*n + o = -4*c, 10 = c - 4*c + 5*n for c.
5
Let q(a) = -7*a + 1. Let f be q(-2). Let i = 3 + 1. Suppose 0 = i*k - 25 + 5. Solve -k*v = -u - v + f, 4*u - 18 = 2*v for u.
3
Let f = 10 - 6. Let n(z) = z + 1. Let k be n(1). Suppose 0 = 7*m - k*m. Solve -g - i - 1 = -0*g, m = 3*g - f*i + 31 for g.
-5
Let l = 11 - 8. Solve -5*n + 2*n - 10 = -2*c, n + l*c = -7 for n.
-4
Let t(i) = -i**3 + 4*i**2 + 5*i. Let v be t(5). Solve 3*w = -v*k + 4*k, -k + 11 = 2*w for w.
4
Let w(m) = m**2 - 9*m + 3. Let l be w(9). Solve 4 = -2*n - 0*n - y, -7 = l*n + 2*y for n.
-1
Suppose -13*b + 5*v = -8*b - 20, 4*v + 12 = 2*b. Solve 2*q - 16 = -4*i, 2*q - 5*i = -b*q - 7 for q.
2
Let s be (3 + 1)*(-6)/48*-6. Solve h + s*k = k + 5, 3*h + 10 = -k for h.
-5
Let b be 6/9 + (-96)/(-18). Let a be (-2)/(-4) - 3/2. Let h = 1 + a. Solve x + l - b = h, -x = 2*x + l - 14 for x.
4
Let v = 41 - 21. Suppose -6*y = -2*y - 16. Suppose 2*a = 1 + 5. Solve -v = -y*o + 4*f, f - 16 = -4*o + a*f for o.
3
Suppose o - 5*m + 0*m - 9 = 0, -3*m = -5*o + 23. Suppose -4*g + 1 = -5*c - 2, 4*c = -5*g + 14. Solve -2*w = o*l - w + 9, -g*w - 7 = -3*l for l.
-1
Let m = -2 - -4. Suppose -f + m = -9. Solve -2*v - 2 = 0, 2 = -2*o + 3*v + f for o.
3
Let o = 12 - 6. Suppose -g = -6*g - 30. Let p = g + o. Solve -4*w + 4 = -k + 15, k + 2*w + 13 = p for k.
-5
Let d(y) be the third derivative of y**5/30 - y**3/6 - y**2. Let m be d(-2). Solve -t + 2*u - m*u = -8, u = -5*t + 16 for t.
3
Let b be (-6)/(-10) - 1/((-10)/(-6)). Solve -5*o - 25 = -5*z, b*o = -3*o - 2*z for o.
-2
Let m(h) = -4*h - 2*h**2 - 3 + 10 + h**2. Let l be m(-5). Suppose 0 = j + 2 - 5. Solve 4*c + 4*y = l*y - 18, 9 = -j*y for c.
-3
Let q be (50/(-2))/(1 + -2). Suppose 2*i + 3*i + q = 0. Let g = i + 8. Solve 5*d = 5*k - 15, -7*k + 2*k + 9 = -g*d for d.
-3
Suppose -v - 2*y = 1, 3*y = 4*v + 5*y - 8. Let n be (25/(-15))/((-1)/v). Solve 0 = 6*x - 2*x - n*u + 29, u - 1 = -4*x for x.
-1
Let w = 10 - -1. Let g = 24 - w. Solve 5*p + 3*i = 2*i - 21, 0 = 2*p + 5*i + g for p.
-4
Let w(a) = -a**2 + 10*a + 5. Let t be w(10). Solve -3*p = 3*b - 4*b + 13, -4*b = t*p + 16 for b.
1
Let l(p) = -2*p + 1. Let y be l(-1). Suppose y*q + h + h = 64, -2*h = -q + 24. Let a = q - 13. Solve 2*z - a = -z, 3 = -2*n - z for n.
-3
Suppose 0 = -4*s - h + 28, 5*s - 16 = 4*h - 2. Solve -4*n + 18 = 2*z, -z - n = -0*z - s for z.
3
Let q(n) = n**3 + 6*n**2 + 4*n - 1. Let v be q(-5). Solve 0 = -o + 5*x - 4, x = -3*x + v for o.
1
Let y be (-10)/(-1 + 1 + -2). Suppose -2*a - 5*u + 5 = 0, 5 = -y*a + 3*u + 2. Solve 4*c + 3 = -a*c + 3*m, 5*c + 5*m + 30 = 0 for c.
-3
Let s(m) = m + 1. Let n be s(6). Let y = -5 + n. Suppose -14 + 2 = -y*u - 2*g, -4*u - g + 12 = 0. Solve 3*k + 20 = 2*o + u*o, -3*k = -3*o + 15 for k.
0
Suppose -16 = 7*y - 11*y. Solve 3 = -3*z - 0*z - w, -2*w = 5*z + y for z.
-2
Let c be ((-45)/30)/((-3)/8). Solve i - 5*i = 3*h - 10, -c*h = 5*i - 12 for h.
-2
Suppose 3*r = 2*r + 9. Solve -k + 11 = 4*a, -r = -3*a + a + 3*k for a.
3
Suppose -3*q - 1 + 7 = 0. Suppose q*w - 7*w = -65. Suppose h = 3*o - 4*h - 20, 4 = -2*o - h. Solve -r + d + 4*d - w = o, 5*r = -5*d + 25 for r.
2
Let w(t) = -t**3 - 9*t**2 - 10*t - 11. Let d be w(-8). Solve -h = -d*f - 15 - 13, 0 = 2*h + 5*f + 19 for h.
3
Let d be 3/(6/(-14))*(-1 - 0). Solve 4*c + 4*i - 8*i + 16 = 0, 3*i = -2*c + d for c.
-1
Let d(m) = -2*m - 8. Let k be d(-6). Suppose -k*w - 3 = 3*z, w = z + 2*w. Solve 15 = z*v, c + 2*v = -0*v + 7 for c.
-3
Let g = -228 - -230. Solve 2*a + 1 = 3*b + 6, 3*b + 5*a - g = 0 for b.
-1
Let s = 16 + -11. Solve 0 = 4*d + s*f + 19, f + 5 = -2*d - 0 for d.
-1
Let x be (-6)/(-12)*(2 - 2). Solve v + 4*c = x, 3*v - c = -5*c + 8 for v.
4
Let a be 5/((-15)/(-54)) + -3. Solve 5*y - 16 = -u, a + 5 = 2*y - 3*u for y.
4
Let s = -10 + 14. Suppose -5*c + o = -4*o - 20, -s*c - 3*o = -2. Solve -5*h = c*p + 11, 0*h + 3*p + 13 = -4*h for h.
-1
Let p = 18 - 17. Solve -2*g = y, 2*y - p = 3*g - 6*g for g.
-1
Suppose 5*i = -7*b + 3*b + 181, 233 = 5*b + 4*i. Let o = b - 35. Solve -w - 2*w = -2*v - 21, 2*v = -4*w + o for v.
-3
Let u be 14/(-49) - 148/(-28). Solve 0 = -g - u*a - 6, -g + 2 = -0*a - 3*a for g.
-1
Let f = -7 + 12. Suppose 4*d - 2 = 3*d, f = o + d. Solve 0 = 2*p + 4*y + 18, 21 = -o*p + y - 5*y for p.
-3
Let p be 4*(-2 - (-20)/8). Solve 0 = -4*k + 4*h - 20, 0*k + 4*h = p*k + 18 for k.
-1
Let d(o) = o - 1. Let c be d(2). Let g = c + 0. Suppose t - g = 4. Solve -p - x = -t*p - 8, 5*p - 2*x = -10 for p.
-2
Suppose 3*k - 11 = 13. Suppose x - 3*x = -k. Solve 0 = 2*t + x*g + 16, 2*t = 4*g - 6*g - 6 for t.
2
Suppose 2*h = 3*h + 2. Let s = h + 3. Solve 5*j = -c - 26, 2*c - s + 3 = 0 for j.
-5
Suppose 4*w + 5 = p - 7, -4*p = -4*w - 12. Solve -r + 6*r = 3*c - 8, 2*r + 2 = p for c.
1
Let d(o) = o + 8. Let r be d(0). Let m be 2 - 0*(-1)/(-3). Let x = 7 - m. Solve -g - x*c - 7 = 0, 3*g = -0*g - 2*c - r for g.
-2
Suppose -3*f = -5*b - 22, -4*f + b + 4*b + 26 = 0. Solve 0 = f*s - 0*p - p + 8, 0 = -p for s.
-2
Suppose -5 = f, 4 = w + f + 9. Suppose 4*a - 16 + 4 = w. Solve -10 = 2*g - 4*g, -g - 10 = -a*c for c.
5
Suppose -12*n + 16*n - 12 = 0. Solve c - 2*h - 3 - n = 0, 0 = -c - 4*h for c.
4
Let k be -6 - 2 - (2 + 1). Let t = -11 - k. Solve n = 5*a - 1, t*n + 4 = n for a.
1
Suppose 2*c + 31 = 3*o, 22 = 5*o + 2*c - 51. Suppose -j - 4*j - 25 = 0, u + o = -3*j. Suppose -u*h + 3*h = 4. Solve -4 = -3*d - 4*n, -h*d - 5*n = d for d.
-4
Let g(k) = -k**3 + 7*k**2 - 5*k - 6. Let a be g(6). Solve 4*s = 6*s, -4*j + 2*s + 16 = a for j.
4
Let j be 9 + 0 - (0 - 1). Suppose 9*h - j*h = -2. Solve 7 + 9 = -v + 5*f, -4*v - 2*f = -h for v.
-1
Suppose 14 - 2 = 3*v. Suppose 5*l - 105 = -0*l. Solve 2*t = -t + 2*n + l, v*t - 32 = 4*n for t.
5
Let o(v) = v**3 + v**