 first derivative of 2*m**3/3 + m**2/2 + m + 12. Let l be o(-1). Solve 0 = i + l*c + 7, -3*i - 3*c - 3 = 6 for i.
1
Let d = 16 - 12. Solve 2*g - 2 = d*v, -5*g - 13 + 0 = -4*v for v.
-3
Let a = 8 - 7. Suppose 2*d - 4 = d. Suppose 0 = 3*l - 4*g - 19, -d*l - l = 3*g - 22. Solve l*y = -n - 16, 0 = -y - a - 2 for n.
-1
Suppose -10*g = -4*g + 60. Let f be 1/((-2)/g - 0). Let u(c) = c**3 - c**2 - c + 3. Let i be u(0). Solve -20 - 3 = -f*j - 2*p, -i = -5*j + 3*p for j.
3
Suppose -2*f - 5*o - 27 = -4*f, -2*f = -2*o - 12. Suppose -u + 3*h = -f, -2*u = -3*u - h + 5. Solve 6*v + c - 16 = v, -4*c = u*v for v.
4
Let p(i) = 2*i**2 + i + 2. Let u(q) = -q**2 + 8*q - 12. Let r be u(6). Let y be p(r). Solve b - 7 = -3*s, 1 = s - b + y*b for s.
3
Suppose -25 = -7*b + 3. Suppose 0 = -z + b*z - 2*z. Solve -5*m + 5*k + 35 = z, 0*m - 2*k = 2*m - 6 for m.
5
Let i be (4*10/4)/2. Let v = 10 - i. Suppose -3 = -4*d + 5. Solve -l - d*n = -5 - v, -4 = -n for l.
2
Suppose 10*c = 6*c. Suppose -3*r - 2*r + 30 = c. Suppose 4*a + o - r = 0, 2*o - 1 = a + 2*a. Solve 5*z - 5*v - 20 = 0, 5*z + 3*v + 3 = -a for z.
1
Suppose s = -0*s - 5*r - 6, -4*s + 39 = -r. Suppose -5*a + 1 = -s. Solve -3*b - a*b + 12 = 4*k, -4*b + 12 = 4*k for b.
0
Let t = -65 - -70. Solve 3*w + p = t, 5*w + p = -4*p + 5 for w.
2
Let q(w) = -w**3 + 31*w**2 - 83*w - 26. Let n be q(28). Solve -4*x = -n*p + 10, -3*x = -2*p - x for p.
-5
Let i be (-120)/(-160) - 135/(-12). Solve -i*a - 12 = -2*s - 16*a, -2*s + 5*a = 33 for s.
-4
Let d = 183 - 183. Solve -2*m = 2*o, -4*o + m - 10 = -d*o for o.
-2
Let d(h) = h + 29. Let r be d(-13). Let a(v) = v - 12. Let x be a(r). Let b = 2 + 2. Solve 2*q + 0*q + 12 = -x*k, -2*q + b*k + 12 = 0 for q.
0
Suppose 0 = 7*s - 25 - 24. Suppose -2*b + 3*u = -5, -s*b + 2*b + 4*u = -9. Solve -4*m - 9 = 5*n, -b = -n + 3*m - m for n.
-1
Suppose -3*m + 9 = -2*g, 4 = -2*g + 2*m - 0. Suppose 0*o = -o + 3*h + 16, 3*o + g*h = 0. Solve -4*a - 3*f + 1 = 0, 10 = o*a + 5*f + 3 for a.
-2
Let g(o) = -13*o + 317. Let m be g(23). Solve -4*j - n = m, 3*j + 5*n + 0*n + 22 = 0 for j.
-4
Suppose 36 = -4*j - g + 181, 0 = -5*j - 3*g + 183. Solve -t + 4*x - j = -6*t, 8 = -3*t + 5*x for t.
4
Let o = -13 - -18. Suppose 5*f - o*j - 175 = 0, 3*f - 4*j - 75 = 34. Let v = -10 + f. Solve 19 = 2*a - 4*w - 9, a + 5*w + v = 0 for a.
4
Suppose -j + 46 = 4*a, -13*a + 8*a + j = -53. Solve 4*y = -31 + 11, -3*y - a = -d for d.
-4
Let q = 1381 + -1379. Solve 8 = -j + t, -q*t + 16 = -5*j - 3*t for j.
-4
Let y(i) = -44*i + 47. Let o be y(1). Solve -o*l - 15 = 0, -2*r + 26 = -4*l - 2 for r.
4
Let j be (-4)/(12/9) + (-4 - -10). Solve 0 = -2*q - 2, 17*q = -2*v + 16*q - j for v.
-1
Suppose 3*s - 147 = -3*c + 99, -s = -4*c - 97. Let q be 1/((-335)/s + 4). Solve -12 = 2*a + a, 5*v + q = -3*a for v.
-1
Let f(d) = -d**3 - 9*d**2 + 10*d + 2. Let z be f(-10). Suppose 4*r = -z - 6. Let k be 3 + r + 10 + -1. Solve 4*g = 2*i + k, -8 = -5*g - i + 8 for g.
3
Let m be (42/16)/(-7) + (-35)/(-8). Solve 3*n + 4 = -4*d + 2*d, -m*n - 4*d - 8 = 0 for n.
0
Let o = 445 - 444. Solve 23 = -4*k + 3*m, k - m + o = 3*k for k.
-2
Let f(x) = -x**2 + 3*x + 5. Let v be f(0). Solve v*o = -4*a + 23, -2*a - 2*a = -3*o + 1 for a.
2
Suppose -3*n + 14 = 2*p, 2 = 2*p - 2*n - n. Suppose 2*f + 2*z = 32, -z + 3*z = -8. Suppose -8*u + 2 = -7 - 7. Solve u*i - 3*g = -2*g - 5, p*g + f = 0 for i.
-5
Let c(m) = -5*m**2 - 2*m + 3. Let o be c(0). Solve 5*p + o*g = -5, -6*p = -4*p + 3*g + 2 for p.
-1
Let r = 2 + 0. Let b be r/(26/63) + 4/26. Suppose u + 0*u - 1 = -2*s, 4*s + 53 = 3*u. Solve -3*w - 5*m + u = 0, 2*w = -0*w - b*m + 14 for w.
-3
Suppose 0 = 2*g - 125 + 5. Let k = g - 42. Suppose 5*c - k - 27 = 0. Solve 2*z - c = 3*y, 2*z + 0*y + 3 = -y for z.
0
Let o be (-3 - (4 + -3)) + 25. Let t be -2 + 4/(12/o). Let z be 8/60 - 88/(-15). Solve t*v = -3*j + 4, 4*v = -0*v - j + z for v.
2
Suppose -4*z + 14 = 2*l - 8*z, -5*z = -3*l + 17. Let i be (-2)/l - 8/4. Solve 4*p = 4*y + 24, i = -5*p + 10 for y.
-4
Let y = -172 - -175. Solve -4*v + 2*q = -2, 3*q - y + 1 = v for v.
1
Suppose -4*o - 30 = -5*s, -3*s + 16 = -3*o + o. Suppose 2 = 3*l - s*l. Solve b = -3*b - l*w + 2, -3*b = -5*w - 8 for b.
1
Let o be 6*(20/(-8))/(-5) - 3. Let y be 5*(1 + o) + -3. Solve b = y*t + 8, -t + 3*b + 1 = 10 for t.
-3
Let g be (-4)/((-56)/77) - 3/2. Suppose 5*o = -d + 14, 0*d + 4 = -d + g*o. Solve 0 = 5*a + d*j - 2, -2*j + 9 + 5 = -4*a for a.
-2
Let d(z) = -z**2 + 10*z + 560. Let g be d(-19). Suppose u - 9 = -2*u. Solve b + 4*f = -15, -u*b + 3*f + g = -21 for b.
5
Let l(u) = -u**2 + 8*u - 9. Let w be l(6). Let j(a) = 18 - a + 2*a**2 - 17 - 6*a. Let d be j(4). Solve -3*k - w = 4*c - 14, 3 = d*k - c for k.
1
Let c be -1 - (15/(-6))/((-1)/(-8)). Suppose -4*o + 35 = j, 5*j - o - 3*o - 127 = 0. Suppose -5*p = -18 - j. Solve 2*v + p + 5 = -4*d, -3*v - 4*d = c for v.
-5
Suppose 4*x = v + 5, 2*v - 5*v - 2*x = -27. Suppose -3*p - j = -v*p + 58, 8 = 4*j. Solve -5*f - p = -4*r, -4*r - 4*f = 12 - 0 for r.
0
Suppose 5*p + 15 = 5*o, -3*p - p + 12 = 4*o. Suppose 0 = -o*h - h. Suppose -12 = -h*r - 3*r. Solve -5*z - 15 = -3*a + 2*a, 3*z + 9 = -r*a for z.
-3
Suppose -3*d - 3 = -0, 4*o + 40 = -4*d. Suppose -2 = 3*h + 10. Let v = h - o. Solve 4*u + z = 4 + 8, 3*z - 15 = -v*u for u.
3
Let h = 40 + -44. Let s be h/2*1 - -14. Solve -4*c + 5 = x + s, -5*c = x + 8 for c.
-1
Let r = -776 + 781. Solve i - 3*l = -l - 2, 12 = i + r*l for i.
2
Suppose 9*i - 5*i = 24. Suppose 7*y - i*y = 3. Let p(x) = -x**3 + 4*x**2 - 7. Let u be p(y). Solve 0 = 2*f + w + 6, -27 = 3*f - w - u*w for f.
-5
Suppose 0 = 3*a - 475 + 445. Solve 4*s = 0, 3*s = 2*c - s + a for c.
-5
Let h = -50 + 3. Let m = -44 - h. Solve c = 2*j + 3*c + 8, m*c = 0 for j.
-4
Let a = 220 + -210. Suppose -4*l + 18 + 14 = 0. Let w be (6/l)/((-2)/(-8)). Solve -16 = 3*z - 0*q - 2*q, w*z + q + a = 0 for z.
-4
Suppose 0 = 3*f - 4 - 11. Solve 0 = 2*v + f*a + 5 - 1, 8 = 2*v - a for v.
3
Suppose -5 + 2 = -b. Let g be 4/(4 + 0) + 1. Suppose -3*p - g*p + 25 = 0. Solve -p*n - 18 = l - 3*l, -n + b*l - 1 = 0 for n.
-4
Let s(i) = -i**2 - 10*i - 16. Suppose -4*a = 5*n + 20, 4*n = 2*n + 4*a - 36. Let f be s(n). Suppose 5*x - x = f. Solve x = c + 3*c + 16, -c + 6 = 5*h for h.
2
Suppose 0*u - 12 = -4*u. Suppose -104 = -g - u*g. Let j(s) = s**2 - 2*s + 2. Let d be j(2). Solve -h - d*f = -2 - 7, -g = -4*h - 3*f for h.
5
Suppose -2*z + z = 5*n - 23, -3*z + 37 = -n. Let o be 24/z - 6/(-39). Suppose o*l + 15 = 5*l. Solve 0 = -l*v + 5*q - 30, 1 = -v - q - 3 for v.
-5
Let z be 1/(-1) + -3 + 5. Suppose z + 1 = 2*m + 2*a, -3*m - a = -7. Suppose 4*r - 2*r = 8. Solve 0 = 4*n + 4*q + 12, 0*n + 2*q - r = m*n for n.
-2
Suppose 0 = k - 4*q + 14, -3*q + 28 = -2*k + 3*k. Suppose -3*z + 6 = -0*z. Solve -2*m = r - 11, k = z*r + 3*r - 5*m for r.
5
Let f be 0 - (-49 + 49 - 1*5). Solve f*o + 2*r - 1 + 16 = 0, 2*r = -4*o - 14 for o.
-1
Let t(d) = 2*d - 2. Let q be t(3). Let p(k) = -k**3 - 4*k**2 + 41*k + 182. Let j be p(-5). Solve 3*a = -4*l - 2*a, -j*l - q*a = -6 for l.
-5
Let i be 121/5 - 2/10. Suppose s - i = 5*s. Let h = s + 8. Solve 5*n = l, l = -h*n - 0*n + 7 for n.
1
Let f be (2/(-1))/1*-1. Suppose 4*h - 7*h = h. Suppose -3*z + f*l - 2 = 0, h*z = z - l + 1. Solve z*w + 5*c = -5*w, 4*w - 3*c - 28 = 0 for w.
4
Suppose f + 7*i = 10*i + 11, 5*i = -2*f. Suppose f*t - 112 = -2*t. Solve -v + 28 = -3*p + 3*v, 0 = 5*p + v + t for p.
-4
Suppose -z + 8 = 3*z. Let l be (-5)/(z/(6/(-3))). Suppose -p - l = -21. Solve 0 = o + 5*i + p, o + 24 = 5*o - 2*i for o.
4
Suppose 4*p = -4*r + 36, 5*r - 33 = -3*p + 2*p. Suppose -8*q + r*q = -24. Solve 2*n = -5*g - q, 5*n - 6 = -g + 10 for g.
-4
Let i = 102 + -98. Solve l = i*l + 9, -2*l + 9 = -5*f for f.
-3
Let i(o) = o**2 + 7*o + 26. Let j be i(-6). Suppose 19*q = j*q - 8. Solve -5*a = -4*g - 2*a + q, -3*g + a = -1 for g.
-1
Let w(k) = 11*k**2 + 9*k - 3. Let a(u) = 5*u**2 + 4*u - 1. Let g(y) = 9*a(y) - 4*w(y). Let z be g(0). Solve -o - 5 = -2*d - 2*o, -4*o = z*d - 15 for d.
1
Suppose -3*s - 3*i - i + 33 = 0, 3*i + 9 = 0. Suppose -5*x - p = -s, -5*x + 0*p = -2*p. Solve -x*b - 15 = -5*d, -40 + 15 = -5*b for d.
5
Suppose 4*b = 15*b - 22. Solve 2*i - 11 = -1, -b*q - 35 = -5*i for q.
-5
Let r be 0 + 2 - (-4)/1. Let l be 12/r + 0/2. Suppose -5*s - 5*f = -3*s - 14, 3*s - 2 = l*f. Solve 0*c + s =