 + 2, 4*c = 4*i + 20 for c.
2
Let n(p) be the second derivative of -1/6*p**3 + 0*p**4 + 1/2*p**2 + p + 0 + 1/5*p**5. Let g be n(1). Solve g*c = 3*i - 4*i - 9, 5*i + 9 = -2*c for i.
-1
Let h = -34 - -36. Solve 5*g - 22 = -2*u - 9, -2*g = h*u - 10 for u.
4
Suppose -2*m - 2*c - 2 = 6, -c = -2*m + 4. Suppose m = 2*o - 13 + 5. Suppose 5*r - 20 = -0*r. Solve i + 2*j - 7*j + 18 = 0, -r*i + 3*j = o for i.
2
Let u(f) = f + 15. Let k be u(0). Let l = 20 - k. Solve 2*n - 3*a + l = -2*n, 5*n = 4*a - 5 for n.
-5
Let i(h) = -h**3 - 3*h**2 + 3*h - 1. Let t be i(-4). Let b(j) = j + 3. Let p be b(12). Let u = p + -9. Solve u = t*z - 3*s, -4 = -3*z - 4*s - 12 for z.
0
Suppose 0 = 4*x + 3*c + 7, 0 = -2*x + x + c + 7. Suppose -1 = -3*j - 5*o - 5, -5*j + 6 = 2*o. Suppose -j*z = 2*z. Solve -k = 5*n + 14, z*k = -k + 3*n + x for k.
-4
Let d(y) = -y**3 - 4*y**2 + 4*y - 10. Let m be d(-7). Let z = -78 + m. Solve -4*i + z = 5*l, -5*i = -l - 4*l - 5 for l.
3
Suppose 0*g = 4*g - 52. Suppose 20 = -4*w, -5*k = -4*w - 41 - 14. Solve b + 4 = 5*h - g, -b = h - k for b.
3
Suppose -5*u + 15 = -0*u. Suppose u*h - 15 = -3*o, -4*o + 8 = -h - 2. Solve 3*z + 2*z = h*m + 13, 0 = 2*z - 5*m - 22 for z.
1
Let d be 36/10 - (-3)/(-5). Solve -d*w - w + 4*m = -8, 4*w = -5*m - 19 for w.
-1
Let y = 7 + -2. Suppose -y*l + 0*l = 0. Solve -26 = 4*w - 0*w + 2*b, 4*b + 20 = l for w.
-4
Let f = -36 - -20. Let m = -13 - f. Solve 0 = -3*b + b - 6, m*j = -2*b for j.
2
Let r be (20/6)/((-3)/(-9)). Suppose k + 9 = -2*k - 4*i, 0 = 4*k - 2*i - r. Suppose -k - 3 = -2*t. Solve -3*d + t*d = a - 4, -a = 5*d for a.
5
Let r(d) = d**3 - 2*d**2 - 3*d + 2. Let i be r(3). Suppose 0 = 6*x - i*x - 20. Solve v + 4*m + 14 = 0, 0 = -7*v + 2*v + 5*m + x for v.
-2
Let x(g) = 8 + g**2 - 1 - 7*g - g. Let q be 14/4*2*1. Let t be x(q). Solve j - z - 2 = t, -3*j + 9 = -z + 1 for j.
3
Let v(a) = 2*a + 9. Let s be v(9). Suppose 0*z - 2*f = -z + 7, 0 = 3*z - 3*f - s. Solve -2*w = -m + 3*w - z, w - 6 = 4*m for m.
-1
Suppose -4*q + 17 = -u, 2*u = -3*q + 5*q - 16. Let m(f) = -1 + 0*f**3 + f**q + f + 6*f**2 - 2*f. Let o be m(-6). Solve 5*n - 5 = 4*d + 3, o*d = 3*n + 3 for d.
3
Let g be (4/10)/(0 - 2/(-60)). Solve 2 = 4*b - 2, 2*t - 4*b = -g for t.
-4
Let g(z) = 6*z**2 - 6*z + 4. Let o(m) = 5*m**2 - 5*m + 4. Let h(i) = -4*g(i) + 5*o(i). Let r be h(4). Solve r = 4*t - 0*q + 2*q, 0 = 2*t + 4*q - 20 for t.
2
Let r(s) = s**3 - 3*s**2 + 10*s - 14. Let w be r(2). Solve 3*u - 18 = w*k, 0*u = -3*u + 12 for k.
-3
Suppose -4*o - t = -4, 0*t + 4*t + 10 = -3*o. Solve 3*q = 5*v + 8, 5*q + o*v = 2*q - 20 for q.
-4
Let o(n) = -4*n - 8. Let q be o(-5). Solve q = 3*f - 2*l, -2*f + 8 = 5*l - 0 for f.
4
Let j(w) = -w + 5. Let g be j(0). Let b = 5 - 3. Solve g*p + b*y = -3*y - 15, 2*y + 1 = -p for p.
-5
Suppose 3*p = 2*p - 8. Let s be -6*2/p*-2. Let f = 6 + s. Solve -w = -g - 5 - 4, 5 = f*g + 5*w for g.
-5
Let c(v) = v**3 - 10*v**2 + 7*v + 13. Let f be c(9). Let r = -3 - f. Let z be (-27)/(-2) + r/(-4). Solve 0 = 3*g + 4*h - z, -13 = -5*g + 2*h for g.
3
Suppose 0*y + 52 = 4*y. Suppose -y = -3*i - 4. Solve 0 = i*s - 3, s + 15 = -3*h - h for h.
-4
Let b(q) = -q**2 + 11*q - 13. Let f be b(9). Solve 3*z - 4*v + 10 = 0, 5*z + f*v + 16 = 46 for z.
2
Let x(i) = i**2 - 2. Let q be x(-2). Let n be (-2)/((-24)/9 + q). Let u be n*((-6)/(-9) + 1). Solve -3*b + 2*c + 10 = 0, u*b - c - 20 = 4*c for b.
2
Let q(w) = w**3 + 9*w**2 + 16*w + 16. Let y be q(-7). Solve 0 = -m - 2*t - 7, 5*m - y*t = 18 + 7 for m.
3
Let k = 41 + -21. Suppose -v + h - 12 = 4*h, 4*h = -k. Suppose -v*s - 2 + 8 = 0. Solve 0*m - 1 = -3*m - s*q, 5*m = -q - 3 for m.
-1
Suppose -y - 2*o - 8 + 22 = 0, 14 = y + o. Let f = -4 + y. Let k be (8/f)/(4/10). Solve -k*g - 5 = d, 2*d + 0 - 5 = g for d.
1
Let i(s) = -s**2 - 8*s - 6. Let c be i(-6). Suppose c*w - 111 = 3*w. Solve 5*m - 4 = -4*g - w, 35 = -5*m - 5*g for m.
-5
Let c(r) = r**3 - 4*r**2 - 3*r - 5. Let x be c(5). Suppose 4*v = -0*t + 5*t - 6, v + 1 = t. Solve -y = 5*f + x, -t*y + 3*f - 10 = -2*f for y.
-5
Let n = 8 + -9. Let b be (n/2)/((-9)/90). Solve 2*k = -t + 9, -b*k + 19 = t + 4 for k.
2
Let l(c) = -5*c + 1. Let q be l(-3). Let k = -11 + q. Solve 2*j - 10 = -d, 5*j = k*d - 0*j + 25 for d.
0
Let c(q) = -q**2 + 5*q + 1. Let u be c(5). Let f be u + -2 - 0 - -4. Solve 6*i - f*i = -2*x - 3, 2*x - 15 = 3*i for i.
-3
Let r be (-90)/3 + (-3)/(-1). Let d be 6/27 - 696/r. Suppose 0 = -2*c + 4 + 2. Solve -2*b + d = b - 5*h, -18 = -c*b + 3*h for b.
2
Let b = -16 - -22. Suppose -b - 9 = -3*k. Solve 0*d - k*l = 2*d + 26, 19 = -5*d - l for d.
-3
Let f(b) = -2*b - 16. Let x be f(-15). Solve p + 4*d = -x + 37, 5*p = 5*d - 10 for p.
3
Suppose 4 = 5*n + 59. Let a = -8 - n. Solve -a*s + 3 = 3*c, s = 2*c - 9 - 2 for c.
4
Let g = -10 - -12. Solve v = g*n - 5 - 1, 5*n - 2*v = 13 for n.
1
Let y(j) = -3 + 5*j - 5*j + 0 + 2*j. Let g be y(3). Solve -g*x = t - 16, -t + 12 = 2*x + t for x.
5
Suppose 6 = -6*s + 5*s. Let u be 3/s + 3/2. Let d = 11 - 6. Solve -2 + 1 = 3*b - 2*j, d*b = 3*j - u for b.
1
Let h = 90 - 58. Let q be -5*(h/(-10) + 0). Suppose 5*j = -4*i + 11 + 7, 2*i = 5*j - 6. Solve 2*o - 24 = 6*o + 4*u, -i*u + q = -5*o for o.
-4
Suppose -2*v + 7*v - 4*w - 8 = 0, 2*v - 3*w = 6. Solve -f - 3*s = -14, -2*f = -v*f + 4*s - 20 for f.
2
Let l be (2 - 3)*(-5)/1. Solve -1 = l*v - 3*r + 6*r, -7 = -v + 3*r for v.
1
Let n be (-2)/(-11) - (-62)/22. Let c be (0/n)/(-2) + 1. Solve c = 2*o - a, 2*a + 4 = o + o for o.
-1
Let l(p) = -p**2 + 5*p - 3. Let j be l(4). Let g(i) = 2*i**3 + i**2 - 1. Let n be g(j). Solve -2 = -q + 3*u, u + 1 = n*q + 7 for q.
-4
Suppose 2*m + 2*m = -5*w + 121, -5*w = 2*m - 63. Suppose 4*y - m = -9. Suppose y*j = 0, 0*j = r + 4*j - 4. Solve 4*l + l + 4*c + 25 = 0, -20 = r*c for l.
-1
Let t(d) = 4*d**2 + d + 1. Let l be t(-1). Suppose 3*z = 19 - l. Solve 4*g + 18 = n, -g = z*n - 3*n for g.
-4
Let u be (4/(-3))/(2/(-3)). Solve 5*n + 12 = u*k - 3*k, -k = n for k.
3
Let y(m) be the second derivative of 7*m**3/3 + m**2/2 - m. Let o be y(1). Solve -o = -3*h, 5*q + 4*h = h + 10 for q.
-1
Let i = 105 - 101. Solve 4*p = 3*g + 23, -5*p = -i*p - 2*g - 12 for p.
2
Let d be (-1)/((-42)/(-24) + -2). Solve d*b = -8, -4*b - 19 = -3*y + b for y.
3
Let u = -27 - -31. Solve 5*j + u*o = -0*j + 10, -5*j = -5*o - 10 for j.
2
Let u be (-71)/4 - (-5)/(-20). Let k be (-40)/u + (-10)/45. Solve k*c + 3*z - 4 = 5*z, 5*z = 2*c - 1 for c.
3
Let t = 127 - 124. Solve 0 = 2*p - 4*u + 18, -p + 3*u = t*p + 26 for p.
-5
Let k be 12/(-54) + 2/9. Suppose k*l - 3*l = -15. Solve 0 = -4*f - l*j - 28, 3*f - 4 = -j - 14 for f.
-2
Suppose -4*l - 2*s = -l + 1, -s + 4 = 3*l. Let f be (3/l)/(1/6). Let i = f - 1. Solve -a = -2*a - 2*y - i, 5*a = -3*y + 3 for a.
3
Suppose s + 0*s - 1 = 0, -5*s - 1 = -2*d. Solve 2*g + 2*a = d*a + 2, -2*g + 4*a = -14 for g.
-1
Let s be ((-3)/3)/1 - -4. Let b(y) = y**3 - 9*y**2 - 9*y - 6. Let p be b(10). Let c be p/10 + 16/10. Solve -4*v - 9 = z, -c = -s*v - 4*z - 25 for v.
-1
Let d be ((-2)/(-5))/(7/35). Suppose -6*m = -d*m. Let b(z) = -z**3 - 8*z**2 - 7*z + 5. Let a be b(-7). Solve a*c = m, -x + 2*c - 3 = 4*c for x.
-3
Let k = -19 - -24. Solve 2*i - k*q - 33 = 0, -5 = q - 0 for i.
4
Let n = 15 + -7. Suppose 7*y - n = 5*y. Solve m = d, -y*d - 2*m + 19 + 11 = 0 for d.
5
Let x be -1 + 0 - (-10 - -7). Suppose -4 = -x*d - 0*d. Solve q + 2*m + d = 5, -4*q - 2*m - 12 = 0 for q.
-5
Let i be -4 - -23 - 10/2. Solve 4*v + 2*l + i = 0, 4*v = -2*l - l - 19 for v.
-1
Suppose v - 1 = 2. Suppose -v = 5*w - 28. Solve -2*d + 9*b = 4*b + 21, w*d + 21 = 2*b for d.
-3
Let o(y) = y**3 - 3*y**2 - 3*y + 4. Let m be o(3). Let l(t) = -t**2 - 5*t + 7. Let f be l(m). Solve 3*w + r - f = -0, -10 = 5*r for w.
3
Let w be (-4)/4*2 + 4. Solve q - 3*r = 10, -w*r - 6 = -0*r for q.
1
Suppose u + u = 4. Let j(w) be the third derivative of w**5/30 - w**4/8 + w**3/2 - 2*w**2. Let m be j(u). Solve -20 = 2*o - 4*o - 4*g, -m*o + 26 = 2*g for o.
4
Suppose -3*z = 3*n + 78, -n + 3*z = n + 27. Let i = 29 + n. Suppose i - 28 = -4*g. Solve 35 = -5*w - 3*a, -4*a + g = -5*w - a for w.
-4
Suppose 4*c - 3 = 5. Let i be 8/(-60) - 94/(-30). Solve c*h + q + 12 = 0, i*h = -h + 4*q - 12 for h.
-5
Suppose -3*n + 5*h = h - 9, 1 = n - 2*h. Suppose -20 = -n*l + 2*l. Solve l*u = x + x, -u = 5*x for x.
0
Suppose 3*h = 2*h - 23. Let 