 first derivative of 3/2*o**2 + 2*o + 7/3*o**3 + 5 + 1/4*o**4. Let q be v(-6). Solve 0 = s + 2*r + 8, -2*r - q = 3*s + 3*r for s.
0
Suppose -4*q - 339 = 165. Let b be (-36)/q - 12/(-7). Let l = -4 + 5. Solve -2*y - y = -2*k - l, 3*k = -b*y - 8 for y.
-1
Let m be 1*(2/2)/(-1) - -4. Suppose 0 = 4*u - 3*u + 2*q - 11, 0 = -m*u + 4*q + 3. Solve 5*h + 2*z = -3*z - 5, -2*h = -u*z - 12 for h.
1
Suppose -w + l = -6*w + 30, -4*l = w - 6. Suppose -7*p + 27 = 2*p. Solve p*a + 1 = w*a - 4*i, -i = -a for a.
-1
Let n(w) = -20*w + 100. Let l be n(5). Solve 2*y = -l - 4, -k + 4*y + 5 = 0 for k.
-3
Let d(y) = -y**2 - 4*y + 12. Let u be d(-7). Let c(r) = r + 13. Let f be c(u). Solve 0 = f*q - 3*j + 10, 5*q + 4*j + 28 = -0*j for q.
-4
Let n(w) = -1 - 12 - 9*w + 10*w. Let b be n(13). Solve 13 = -5*g - 3*x, b*g + 5*x = g + 25 for g.
-5
Let b = 450 - 447. Solve -q = 4*k - 6*q + 16, 16 = 4*k + b*q for k.
1
Suppose 29*x = 32*x. Suppose u + 13 - 30 = x. Solve -4*v = -5*y + u, 2*y + v - 6*v = 0 for y.
5
Let q(r) = -r**2 - 34*r - 28. Let z be q(-33). Solve -v = 2 - 0, -2*c - 4 = z*v for c.
3
Suppose 0 = -2*g + 7*g - 5. Suppose g = -3*o + 16. Suppose 3*t + 5*l - 47 = -15, -l = -o*t + 16. Solve 6*p - p = -3*x + 7, -2*x - 10 = -t*p for x.
-1
Suppose 5*q - 205 - 165 = 0. Let r = q - 71. Solve 4*f = v - 9, f + 6 = r for v.
-3
Let t be 1428/(-90) + 4/(-30). Let n = 18 + t. Solve 0 = -n*j + 3*d - 2*d - 9, 0 = j + 5*d - 1 for j.
-4
Let r = 86 + -118. Let a = r - -38. Solve -k = 3*k - 2*d + a, 5*d = -25 for k.
-4
Let f be 144/(-60)*(-10)/6. Solve -4*y = -k - 3, 5*y - 9 = -f*k - 0 for y.
1
Let i be (32/40)/((-1)/(-5)). Suppose 2*f + 2*d - 8 = 5*d, 3*d = 0. Suppose -21*w + 100 = 4*w. Solve -i*k - f = -3*y, w*k + 3 = -2*y + k for y.
0
Let m = 18 + -22. Let g be -1 + (4 - m) + -4. Solve -2*s - 4*r = 20, g*r = -5*s + 3 - 18 for s.
0
Let b(w) = -w**3 + 9*w**2 - 12*w - 11. Let p be b(7). Suppose -1 = x + 4*h, x + 22 = p*x - 4*h. Solve 2*a + x = -0*s + s, 3*a + 15 = -3*s for a.
-4
Let v = 10 - 10. Suppose -3*c - 5*j - 10 = 0, -4*j = -v*c + 5*c + 8. Suppose c = 3*n - 10 - 5. Solve -3*x + n*x - 6 = 0, 22 = -5*g + 4*x for g.
-2
Suppose 0 = -5*l - 4*l + 72. Suppose -l = 4*h - 24. Solve -19 = -y - 0*y - h*m, -20 = -4*m for y.
-1
Let j = 81 + -75. Let v = -2 + 2. Let t = 2 + v. Solve -5*a - 12 = -4*k, 0*k = -3*a - t*k + j for a.
0
Let a be 4 - 8/(-60)*3*25. Solve -5*q - a = 3*u, -2*q + 2*u + 2*u - 16 = 0 for q.
-4
Let a = -15 + 23. Suppose 2*h = -d, h - 5*h - 4*d = a. Let u be (360/(-140))/((-3)/14). Solve 4*s + r + 0*r = 15, h*s = -2*r + u for s.
3
Suppose h + 152 - 39 = -2*z, 4*h = -2*z - 458. Let y = h - -117. Solve 4*a - y*j - 28 = 0, 0*j - 21 = -5*a - j for a.
5
Let h be 8/12*15/10. Let x(y) = 2*y + 3. Let z be x(h). Solve 4*c + 12 = 2*j, z*c = j + 4*j - 15 for c.
-3
Let n(v) = 3*v**2 + 46*v + 17. Let h be n(-15). Let u(g) = -g + 2. Let m be u(0). Suppose -m*o = -o. Solve -2*d + 7 = -3*k, -d + 0*k + h*k + 6 = o for d.
-4
Let c be ((-18)/12)/(2/24). Let f be (9/(-2))/(c/(-48)). Let h = -9 - f. Solve -3*m = -h*u + 15, u - 5 + 0 = 5*m for m.
0
Let r = -65 - -198. Let b = r - 128. Solve 5*p = 6*p + b, -5*v + p = 15 for v.
-4
Let p = 5 + 4. Solve 5*j + 3 = -3*z + 2*j, -p = 5*z + j for z.
-2
Suppose -29*h + 119 + 316 = 0. Let k be 1/(-2) - (-22)/4. Solve -k*t + h = b, t + 7 = -t - 3*b for t.
4
Suppose 3*x = -3*u - u - 249, 2*x = u + 54. Let j be (-12)/5*u/8. Solve 2*c = -2*s - c + 16, -s + j = 4*c for s.
2
Suppose j - 64 = -54. Let g = -175 - -363. Let w be 4/14 - g/(-28). Solve 5*r + w = -4*h - 10, -4*h - j = -2*r for r.
-1
Let a be 2/(-9) + 10/45. Suppose -l - 2*y = -a*l - 15, -3*l = -3*y. Suppose -108 + 18 = -l*d. Solve r = 4*q + d, -q + 6*r + 5 = r for q.
-5
Suppose -257 = -4*s - 5*v, 4*v - 2*v = 3*s - 164. Suppose 6*w - s = -4. Solve 3*l + w = 3*z, 0 = -2*z - 7*l + 3*l - 12 for z.
0
Suppose o = 2*b - 3*b, 0 = -3*b + 3*o - 18. Let r be 1 - b - (-3)/((-6)/4). Solve -2*w - 7 = 2*t + 1, -t - 5 = r*w for w.
-1
Let p(t) = 2*t**3 - t**2 + t + 2. Let o be p(-1). Let l = 10 + o. Solve 3*m + l = -2*g + m, g - 2*m = 11 for g.
1
Let o = 0 + 1. Suppose -5*v = -4*j + 7, -4*v - 3 = -2*j - 1. Let g = v - o. Solve f = -y - g - 3, -21 = -3*y + 3*f for y.
2
Suppose 51*r - 28 = 37*r. Solve 0 = 3*u + f + 11, r*u + 2*u + 22 = -5*f for u.
-3
Suppose r + 88*h = 90*h - 8, -r = -h + 4. Solve 4*z = 4*k - r*k - 8, 0 = -2*z - 2*k + 12 for z.
2
Let u = -31 + 35. Suppose 6 - 26 = -u*c. Solve -14 - 20 = -3*l - c*w, 2*l + 2*w - 16 = 0 for l.
3
Suppose -5 = -r - 0*r. Let n = -14 - -18. Let c be (-32)/12*(-6)/n. Solve -r*o + d = 2*d + 22, 17 = -o + c*d for o.
-5
Let a be (-1)/3 + 91/39. Suppose 0 = 3*i + 4*q - a*q - 37, -2*i - 3*q + 23 = 0. Solve -5*m + 8*m = -4*k - i, -3*m = -4*k - 19 for k.
-4
Let a = 986 - 981. Solve 3*j - 5 - 10 = -3*v, 0 = a*j - 4*v + 11 for j.
1
Suppose -2*p = -12 - 6. Let r(c) = -3*c + 30. Let w be r(9). Solve -5*t + 2*t = -p, 24 = -w*z + 3*t for z.
-5
Let u be (-1 - 2)/6 + (-24)/(-16). Suppose 0 = -4*c + 11 + 5. Solve -4*j + 3*i - 18 = 0, 0 = j + 2*j + c*i + u for j.
-3
Let t be 5/(4 + 1)*0. Suppose 0*j - 5*z = -j + 17, t = 5*j - 2*z - 16. Solve 11 = 5*q + j*a + 1, -10 = -5*q - 3*a for q.
2
Suppose -5*u = -1 - 14. Suppose u*m - 70 - 83 = 0. Solve 0 = -4*n - 2*j + 30, -5*n + m = 4*j + 6 for n.
5
Suppose -12 = 4*h - 24. Solve 2*m = -y - 2*m - 1, -h*m = y for y.
3
Let g be 5/10*-12 - -5*2. Solve -3*f - 5*x - 4 - 1 = 0, 0 = 4*f + g*x - 4 for f.
5
Let g = -384 - -389. Solve 25 = -g*v - 8*z + 3*z, 4 = 2*v - 5*z for v.
-3
Suppose -g + 16*g - 60 = 0. Solve 5*n - g*y - 24 = 0, y + 1 = -n - 4*y for n.
4
Let x be (-6)/10*(42 - 7)/(-7). Let o be ((-10)/15)/(x/(-18)). Solve -u - u - 8 = -q, 0 = u - 5*q + o for u.
-4
Let x be 0/(-2 - (-3 - 1)). Suppose -1 = -t - x*t, t - 1 = -3*f. Suppose -3*j + 2*j = f. Solve -3*d = -3*a - 0*a + 3, j = 5*d + 3*a - 3 for d.
0
Let q(x) = x + 19. Let m be q(-10). Let w = 11 - m. Solve w*u - 4 = -4*b + u, 2*b - 20 = 4*u for b.
2
Suppose 3*s = 2*v + 27, v = -0*v + 4*s - 26. Let t(b) = b**2 + b - 8. Let a be t(v). Solve i - a = 5*i - 5*o, 4*i = 4*o - 20 for i.
-3
Let j be (6/9)/(3/(54/4)). Suppose 0 = -a - 4*z + 8, 5*z = -j*a + a + 13. Solve 0 = 2*q - 3*q - 3*o + 9, 0 = -a*q + 2*o - 6 for q.
0
Let w = 22 - 4. Let d = w + 17. Solve -2*a - 3*a = 2*o - d, 2*a - 25 = -3*o for o.
5
Suppose -24 = t - 13*t. Suppose 4*o + 2*o = t*o. Suppose -1 = 2*s - 5. Solve -3 = l + s*a - o, -l = -3*a - 2 for l.
-1
Let s(k) = -7*k + 8. Let w be s(-1). Solve 5*x + 5*t = w, -2*t = -6*t - 8 for x.
5
Let n = -1557 + 1559. Solve 5*r + 3*c + 26 = n*c, -12 = 2*r + 2*c for r.
-5
Let u = -156 - -107. Let z = 52 + u. Solve -3 = 3*r + 3*h, z + 2 = -h for r.
4
Let w be -2 + (-7)/(-4)*4. Solve 0 = 4*j - 2*z + 14, 3*j + 5*z - w + 22 = 0 for j.
-4
Let d(j) be the first derivative of -j**4/4 + 13*j**3/3 - 6*j**2 - 7. Let x be d(12). Solve -s - 2 = -4*a, x = -5*a + 5 for s.
2
Let y be -1 + 7*(-30)/(-35). Suppose 0*t + 4 = 2*t. Solve y*i + 4*j - 6 = 0, -t*j + 0*j = 4*i for i.
-2
Suppose 2*k = -3*k + 20. Let x = -3050 + 3053. Solve -2*d + k*m + 6 = 0, 0 = x*m + 1 + 8 for d.
-3
Suppose -12 = -6*k + 18. Solve 4*h + 27 = -k*u, -3*h - 15 = 2*u - 0*u for u.
-3
Suppose 6 = z - r + 2, -2*r + 4 = 2*z. Solve 5*y - 33 = 4*w, -y = -3*w - z*y + 4 for w.
-2
Let v = 511 - 509. Solve 2*y = -3*y - v*z + 10, -y + 5*z = -29 for y.
4
Let q = -472 - -475. Solve 0 = q*m + i + 10, 5*m - 3*i - 8 = -20 for m.
-3
Suppose 8 = 5*r - r. Suppose 7 = r*w - w. Suppose 4*c - 21 - w = 0. Solve 0 = -2*p + 4*z - 8, c*z = -3*p + 2*z - 12 for p.
-4
Suppose -3*a - 11 = -2*i + 2, 48 = 3*i + 5*a. Solve 3*k - 3*g = -9, 4*k - k = 2*g - i for k.
-5
Suppose -1002*h = -997*h - 20. Solve 0 = -5*t, -j - 7*t = -h*t for j.
0
Let a be (-3)/(6 + 0)*0. Let s(l) = -l**3 - l + 42. Let w be s(a). Suppose 4 = -2*f - 4*o, -w = -4*f + o + o. Solve 4*q = r - 14, -5*r + q - 3 = -f*r for r.
2
Let l(t) = -3*t + 2. Let v be l(-6). Suppose 38*z - 33*z = 10. Suppose 0 = 2*a - 2*a + z*a. Solve o + a*g - v = 5*g, -11 = -o + 2*g for o.
5
Let n(r) = 3*r + 35. Let h be n(-11). Let q(v) = -v**3 + 6*v - 3. Let o be q(h). Solve -3*j - 3*d = 12, 3*j + 5*d + o = -19 for j.
0
Suppose 5*l + l - 42 = 0. Suppose 5*b + m - 14 + 1 = 0, 5*b = -4*m + l. Solve -2*a + 2*d = -d - 13, -b*d - 16 = a for a.