2*z - 5*z + 3 for z.
1
Let n be (-1)/(-2)*(-60)/(-3). Solve 5*o + 4*w = n, -5*o + 0*w = -3*w - 10 for o.
2
Let d be 5 - (2 + -1 + 0). Let s = 4 - d. Let y(v) = v + 15. Let x be y(-7). Solve s = -z - 1, -6*i + x*i + z - 9 = 0 for i.
5
Let q(u) = -u**3 + 4*u**2 + 6*u - 2. Let j be q(5). Suppose -2*l + j = -45. Solve -2*m + 4*c - l = 0, 4*c - 23 = 4*m + c for m.
-2
Let g = 23 - 12. Let n = 12 - g. Solve -d = 5*v + 27, 0*v + v = 3*d + n for v.
-5
Let v = -56 + 59. Solve -v = 3*h - 2*z, -3*h = 4*z - 8*z + 3 for h.
-1
Let l be (1/3)/(2/12). Suppose -l*k + 4 = 2*o, -5*o - k + 22 = -2*k. Suppose o*t = -3 + 127. Solve -4*x = 5*m + t, 3*x = -5*m + 7 - 34 for m.
-3
Suppose 0 = -2*n + 4*n - 2. Let g = n + 2. Solve 3*s = -g*b + 7*b + 23, 25 = 5*s - 4*b for s.
1
Let y = -43 - -47. Solve 0 = 5*w + y*h + 10, -2*h = -w - 0*h - 2 for w.
-2
Let r(w) = 4*w - 4*w + w + 0*w. Let u be r(2). Let n be (-6)/27 - (-2)/9. Solve -4*t - 4*j - 4 = n, -1 = t + u*t + 2*j for t.
1
Let t = -6 - -15. Solve 5*s - t = 3*h, 2*s + s = 2*h + 6 for s.
0
Let k be (-290)/(-8) + 2/(-8). Let m = -26 + k. Suppose m*s = 7*s. Solve -4*x = n + 13, -3*x + s*n = -5*n - 19 for x.
-2
Let i(q) = q**3 - q - 2. Let x = 6 - 4. Let h be i(x). Solve 0 = -2*z - u - u + 10, 0 = -z + h*u - 10 for z.
2
Let w(p) = p**2 - 2. Let s be w(-3). Suppose -4*r + s + 5 = 0. Solve 0 = -2*l + r*y + y + 14, -18 = l + 3*y for l.
-3
Suppose -6*y - 26 + 44 = 0. Solve 3*j + y*c - 24 = 0, 0 = -2*j - 2*c + c + 12 for j.
4
Suppose 3*u + 7 = 4*x, 2*x - 4*x + 1 = u. Let a = x + 1. Solve 4*m + 6 - a = i, 5*i = -2*m - 2 for m.
-1
Suppose 4*p - 6 - 14 = 0. Suppose -p*l + 1 = -4*m + 48, 0 = -2*l + m - 17. Let x be -2 + l*(-3 - -2). Solve 4*i + 5*d = 1 - 13, -2*d = -x*i + 18 for i.
2
Let t be 1*(1 + 2 - 0). Let l be ((-56)/(-24))/(1/t). Solve -l*q + 2*q = -n - 25, n = -5 for q.
4
Let b(l) = l**3 - 19*l**2 - 19*l - 17. Let m be b(20). Solve -2*s - 10 = -x - 3*x, 0 = m*x - 6 for s.
-1
Let j = -5 + 8. Suppose -2*a = -15 + 31. Let k be (-10)/(-25) + a/(-5). Solve y = k*q + 7, -5*y - q + 3 = -j*q for y.
-1
Let y be -5 - (-6 + 4) - -6. Solve 6*k = 2*k + 5*n + 14, 0 = -5*k - y*n - 1 for k.
1
Let q = 7 + -7. Let w be (q - 0) + 1 + 15. Suppose -5*f + 20 = 5*n, 2*f + 43 = 5*n + w. Solve 3*o + 27 = 6*o - n*d, 5*o + 5*d = 5 for o.
4
Let m be (-10)/(-4) - (-3)/2. Suppose 5*y + 4 = 4*n + 7*y, 3*n - 25 = m*y. Solve 16 = -p - n*p - 2*c, 3*p + 5*c + 5 = 0 for p.
-5
Let u = 60 - 6. Suppose 0 = f - 3*f + u. Solve 0 = 2*m - d + 11, 10 = -4*m + 5*d - f for m.
-3
Let a(c) be the third derivative of -c**2 - 1/2*c**3 + 0*c - 1/24*c**4 + 0. Let m be a(-3). Solve 2*t - 4*u - 8 = m, -5*t + 20 = u + 2*u for t.
4
Let y be -1 + 13 - (-2)/((-8)/12). Solve 2 = -2*b + q, 4*b - 3*q - y = 3*b for b.
-3
Suppose -2*k - 5*u = 17, -2*u + 4*u = -4*k + 6. Solve -5*g - k = -0*g - 2*z, -5*z = -4*g + 7 for g.
-2
Let t = -10 + 14. Let f be 20/6*(-12)/(-5). Let c = f - 5. Solve j - 2*r = -c, 3*j = -j + t*r for j.
3
Let n = 5 + 11. Solve f = -4*q - 6 + n, 2*q = f + 8 for f.
-2
Let w(q) = -q**3 - 12*q**2 + 11*q - 18. Let f be w(-13). Solve f = -5*t + 4*j, t - 3*j - 6 = -1 for t.
-4
Let r(s) be the second derivative of s**2 + 0 + 1/20*s**5 + 2/3*s**4 + 3*s + 0*s**3. Let f be r(-8). Solve -4*g + 2*c - c = 0, -f*c = 0 for g.
0
Suppose 4*s = 8 + 12. Solve 2*d - o = -2, 5*o + 6 = -s*d + 7*o for d.
-2
Suppose 2 = 2*j - j. Let i be (j/9)/((-3)/(-27)). Solve -i*c = -5*k - 3*c + 10, -k = c - 2 for k.
2
Suppose 2*y + s - 21 = 0, -4*y = -s - s - 54. Let n(o) = o**2 - 4*o - 3. Let x be n(5). Solve a - 23 = 3*v + x*v, a = -2*v - y for v.
-5
Let j = 53 + -48. Solve -4*t + 5*t = -3*k + 9, j*k - 26 = 2*t for k.
4
Suppose 4*t - 30 = -3*v, -v = 2*v + 2*t - 24. Solve -3*m = 5*r + 4, 5*r + m = -m - v for r.
-2
Let q = -1 - -1. Solve 4*g - 5 = 2*y + 3, -4*y + g + 12 = q for y.
4
Let i(y) = y**3 - 7*y**2 - 7*y + 11. Let d be i(8). Suppose -41 = -4*p + d. Solve -2*b = -4*l + 12, -4*l + 4*b + p = l for l.
3
Suppose 5*u - f + 30 = -13, -3*u - 39 = -5*f. Let h = 24 + u. Solve 4*b - h = -4*l, 5*b = -0*l - 4*l + 20 for b.
4
Suppose 0 = 4*r - 4*b - 72, 0*r - 5*b = -3*r + 64. Let m = r + -9. Solve 24 = m*y - 3*y - 4*p, y = 5*p + 29 for y.
4
Let f(w) = -w**3 + 6*w**2 + 2. Let d be f(6). Solve 4*y - 5 = -v - d*v, -2*v = 4*y - 10 for v.
-5
Let s(d) = d**3 - 6*d**2 + 3. Let k be s(6). Suppose 0 = -0*g - 2*g - m + 8, g = -m + 5. Suppose -l + g = -2. Solve -l*q = 5*t - k + 23, 3*t + 11 = -4*q for t.
-5
Let r(l) be the second derivative of -2*l + 0 + 1/12*l**4 + 1/3*l**3 - 3/2*l**2. Let j be r(2). Solve 2*q = -3*x - 11, j*q + x + 16 = 5*x for q.
-4
Let f = -64 - -67. Solve 4*x + 3*a = 5*a + 12, 0 = f*x - 3*a - 12 for x.
2
Let h be 1/5 + 248/10. Solve y + 26 = -5*q + 1, 5*q + h = 0 for y.
0
Let y be -1*1/1 - (-32)/32. Solve 4*h + 4*c - 7 = c, -2*c - 6 = y for h.
4
Suppose -k = -0*k. Suppose 0 = 19*m - 21*m + 8. Solve k = m*i + 2*d + 8, 0 = -d + 5*d + 8 for i.
-1
Suppose 5*x - 82 = 23. Solve -32 = 4*v + 6*i - 2*i, -x = 3*v + 2*i for v.
-5
Suppose 2*c - 2*b - 67 = 93, -254 = -3*c - 4*b. Suppose 2*m - 3*p - 11 - 36 = 0, 4*m - 2*p = c. Solve 0 = 4*t - 3*d, t - m = -0*t - 4*d for t.
3
Suppose w = 3*v - 3, -2*w + 5*v = 3*v + 2. Let x be (w/2)/(8/4). Suppose x = r - 2*r + 30. Solve -i - 3 = -4*h + 14, 5*h - 3*i - r = 0 for h.
3
Let v(c) = c**2 - 2*c - 5. Let y be v(4). Solve 0 = -3*h - b - 12, 3*h - 5*b - y = -h for h.
-3
Let a be 1/(-3) + (-10)/6. Suppose -5*b - 25 = -0*b. Let c be b*1/a*2. Solve -c*p + 2*p = 5*y + 10, 4*y + 5*p + 21 = 0 for y.
1
Let l be 0 + (3 - 1 - 0). Let s be 0 + 16 + 2 + -4. Solve -w - s = -3*a, 5*a = l*w - w + 24 for w.
1
Let x = 7 - 6. Solve 2*u - 3*j + 3 = -x, 0 = -j - 2 for u.
-5
Let f(u) = -u + 5. Let k be f(7). Let j be k + (16 - -1*2). Suppose j = 5*t - t. Solve p - 3*b - 5 = -t*p, -5*b + 21 = -p for p.
4
Let w(g) = -g - 1 + 0 + 1 - 2. Let u be w(-6). Suppose -u*k - 5*l - 9 = 0, 36 = 4*k - 4*l - 0. Solve -3*d - 8 + 25 = -2*o, 5*o + k*d = -8 for o.
-4
Let v(u) = -u**3 - 4*u**2 + 1. Let y be v(-4). Suppose -y = -4*o + 3*o. Suppose -o = -2*k + 3. Solve -5 = 3*z + s - k*s, 0 = 3*z + 4*s + 10 for z.
-2
Let p(r) = r**3 + 2*r**2 + 4*r. Let f(n) = -n**2 - n - 1. Let t(h) = -3*f(h) - p(h). Let m be t(0). Solve -m = d + 4*u - 4, 0 = 3*u - 3 for d.
-3
Let u(y) = y**2 + y. Suppose 4*n + 3*s = -11, 3*s + 12 = -n - 2. Let c be u(n). Solve 5*d + b = 6 - c, -5*d + 20 = 5*b for d.
0
Let c = 40 + -40. Solve 0 = -3*q - 6, c = f + 3*q + 2*q + 9 for f.
1
Let y(x) = x**2 - 5*x - 3. Let v(b) = b**2 - 5*b + 2. Let i be v(5). Suppose -1 + 13 = i*z. Let d be y(z). Solve 0 = 2*m + 10, -2*a + d*m + 20 = -3*a for a.
-5
Let r(v) = v**3 + 5*v**2 - 6*v. Let k be r(-6). Solve 3*f = -3*a - 0*a + 3, 4*a - f - 9 = k for a.
2
Let t = -2 + 0. Let s be 11 - t/(-1) - 1. Solve -5*v + s*v - 4*q = -13, -2*v + 4*q - 14 = 0 for v.
1
Let t(l) = -l**2 + l - 1. Let h(w) = 8*w**2 - 3*w + 6. Let f(o) = h(o) + 6*t(o). Let y be f(-2). Solve m - 12 = 6*x - x, -2*m - x = -y for m.
2
Let i(z) = z**2 - 4*z + 3. Let g be i(4). Suppose -2*q = -g*q. Let d = 5 + q. Solve -10 = 2*j - d*o, -5*j + 10*j + o = 2 for j.
0
Let h(i) = 2*i**3 + 4*i**2 + 3. Let m be h(-3). Let r be 0 - 4/(12/m). Suppose -5*q = -9 - 16. Solve 30 = -j - 5*y, r*j + 0*y = q*y for j.
-5
Suppose -3*b + 4*a + 1 = 0, b - 1 = -0*b + a. Let u(p) = p**2 + 4*p - 2. Let f be u(-5). Suppose 3 = f*l - b. Solve -l*d + 1 = 3*s, 0 = -d + 2*s + s + 14 for d.
5
Let z(x) be the second derivative of 13*x**4/6 - x**3/3 + x**2/2 + 2*x. Let h be z(1). Let p = -14 + h. Solve 2*a + p + 3 = -2*f, 2*f - 6 = 3*a for a.
-4
Let p = -2 - -29. Solve -u + 0 - 2 = -2*r, 3*u = -5*r + p for u.
4
Let b(q) = q**3 + q**2 - 2*q - 1. Let j be b(-2). Let t be 13/(-1*j/(-1)). Let z = t - -18. Solve z*y + 0*r - 1 = 4*r, y + 15 = -3*r for y.
-3
Let m(y) be the third derivative of y**6/120 + y**5/30 - y**4/24 + 2*y**2. Let k be m(-2). Solve -v = -3*d - 0 + k, 4*v - 4*d = 8 for v.
4
Let t(j) = j**2 - 2. Suppose -2*l = -3*h - 5, -2*l = 3*h - h + 10. Let r be t(l). Suppose c = r*c. Solve 5*y + 2*a = -10, 3*y + 3*a - 4 + 1 = c for y.
-4
Let g = 8 + 16. Suppose 5*v = v + 48. Let q = v - 5. Solve q*l - g = 4*b + 3*l, 5*b = l - 26 for b.
-5
Let r(t) = -3*t - 10. Let s be r(-5). Solve 3*i = 4*m + 16, m = -s*i + 20 - 1 for i.
4
S