 22 = 0, 5*a = 5*t + a + 33 for t.
-5
Let y be ((-57)/(-5) - -1)/(1/5). Let g = y - 60. Solve g*h = 3*z + 4, 2*z - 4*h + 9 = -9*h for z.
-2
Let g be ((-124)/6)/((-20)/30). Let y = -26 + g. Solve -y*i = 5*v - 10, 9 = 5*i - 4*v - 19 for i.
4
Let b(p) = -p**3 + p**2 + 2*p. Let h be b(2). Suppose 2*j + 4 = 4*k + 2, 2*k - 31 = -5*j. Solve -3*x - 2*x - 6 = 2*t, j*x - 2*t - 6 = h for x.
0
Let x = 3 + 5. Let m = -82 + 85. Suppose -4*g - 1 = -33. Solve 0*f + x = -m*f + 4*n, 0 = 4*n - g for f.
0
Let n(b) be the second derivative of 0 + 5/12*b**4 - 3/2*b**2 + 1/3*b**3 + 4*b + 1/20*b**5. Let v be n(-3). Solve 2 = 4*d - 5*w + v, -13 = -5*d - w for d.
2
Let t be (13 - -1)*(-126)/(-252). Solve 5*i - t*h + 28 = -10*h, 2*i + 2*h + 12 = 0 for i.
-5
Let o be (-34)/(-22) - ((-216)/198)/(-2). Solve 3*v + 34 = -5*w, 3 = -2*w + 2*v - o for w.
-5
Let y(n) = -22*n + 2071. Let c be y(94). Let m = -1 - -1. Suppose 0 = 5*j - 20, m*g = -2*g + j. Solve -g*r - 3*f = 3, -2*f + 17 = -2*r - c*r for r.
-3
Suppose 2*r - 3*r = -1. Suppose -3*m - 9 = 0, -k = m + r - 2. Solve -k*s - l = 12, -l = 3*s - 3*l - 2 for s.
-2
Let o(c) = 4*c**2 - 2*c + 1. Let r be o(1). Let n(w) = -w**3 + 4*w**2 + 4*w - 21. Let k be n(3). Solve -4*f - 7 = -r*d - k*f, -d + 3*f + 4 = 0 for d.
1
Let x(t) = t + 9. Let h be x(-8). Let i be 1 - h - (-7 + 2). Solve i*c + z = -0*z + 1, 4*z + 17 = c for c.
1
Let n = 1034 - 1029. Solve -4*b = 4*c + n - 1, c + 4*b = -4 for c.
0
Let d(l) be the second derivative of -l**3/6 - 4*l**2 + 9*l. Let q be d(-11). Let s = 3 + -2. Solve 4*w - 5 = -q*y - s, 4*w = -4*y for w.
4
Let j be 92/(-8)*-2 + 0. Let v = j + -21. Solve v*p + 6*m = 2*m + 18, p = -5*m + 21 for p.
1
Suppose -6*w - 2*w + 80 = 0. Let j(y) = y + 4. Let i be j(6). Let s = w - i. Solve -3*r - 3*b + 27 = s, -3*r + 2 = -0*b - 2*b for r.
4
Suppose 26*c - 79 = 129. Solve -5*t + c = -3*x - 1, 0 = 5*x + 3*t - 19 for x.
2
Let q be (2*9/(-15))/((-2)/15). Solve u = -2*u - 5*y - q, 0 = -2*y for u.
-3
Let c(q) = -2*q**3 - 23*q**2 + 9*q - 34. Let u be c(-12). Solve 2*i - 4 = -4*t, 5*i = -2*t - u + 12 for i.
2
Let a = 13 - 42. Let b = a - -31. Solve 5*f - 2 = -b*h, -3*h + 2*f = -2*h - 1 for h.
1
Suppose -5*a + 2*t + 42 = t, 4*a - 3*t = 38. Solve -5*i + 5*l + 7 + a = 0, 0 = 4*i - 2*l - 14 for i.
4
Suppose -t + k = -9 + 2, 5*t - 3*k = 29. Let h = -10 - 2. Let s be ((-4)/h)/(1/3). Solve -f = t*f - 5, -2*g - s = -5*f for g.
2
Let y be 3*472/18 - (-2)/6. Let z = 83 - y. Solve t + 3*t - 4*j - 20 = 0, -z*t + 2*j = -12 for t.
1
Let k = 102 + -99. Solve 0 = k*w + 2*t + 1, 8*w - 5*w - 3*t = -21 for w.
-3
Let w = 1071 - 1069. Solve -g + 6 = -2*c, 2 = -2*g + 4*g - w*c for g.
-4
Let u = 5 - 5. Let f(x) = x - 1. Let t(r) = -4*r + 3. Let p(n) = 11*f(n) + 4*t(n). Let w be p(-1). Solve u = 2*a + w, 2*d - 7*a = -3*a + 8 for d.
-2
Let u(s) = -4*s + 29. Let p be u(6). Let o = 10 + -5. Let c = o + -2. Solve 23 + 7 = p*x - 5*b, 0 = c*b + 15 for x.
1
Let y(a) = 14*a**2 - a + 1. Let q be y(1). Let o = -12 + q. Suppose 4*t - 3*t = -3*b + 50, -o*t = 2*b - 40. Solve -s - 6 - 3 = -2*i, -b = -5*i + s for i.
2
Let c(x) = -81*x + 3243. Let m be c(40). Let i = 11 - 6. Solve -2*v + 2*s = -v + m, i*s = 2*v + 7 for v.
-1
Let j be 2 + (-1)/(-2)*2. Suppose -4*p = p - 25, -2*l = j*p - 19. Solve l*h + 23 = 5*i, -5*i = 3*h - 6*h - 27 for i.
3
Suppose 2*j - 2*z = -6 + 24, -5*z = 0. Suppose 0 = 2*b + v - j - 14, -2*v = -4*b + 58. Solve 0 = 5*c - 2*i + b + 6, 2*i = c - 1 for c.
-5
Suppose 3*v - 30 + 2 = -5*g, 4*g = 5*v + 15. Let p = -2 + 7. Suppose 5*z = -5*j - p, -2*z + 2 - 1 = j. Solve t + 9 = z*c - 3*c, 0 = -g*t + 2*c - 17 for t.
-5
Suppose t - 32 = -7. Let b be 5/t*(1 + 24). Solve 0 = -h - 2*v + 6*v, v = b*h + 19 for h.
-4
Let m = -96 + 18. Let a = m + 81. Solve -2*k - k = 2*d + 4, -4*k - 11 = -a*d for d.
1
Let p(r) = r + 22. Let k(m) = -4*m**2 - 4*m**2 + 5*m - 4 + 7*m**2. Let q be k(4). Let w be p(q). Solve -5*j + 0*j = u - w, 5*j = 2*u + 16 for u.
2
Let f be (-4)/16*4*-5. Solve 3*o = -g + f*o + 13, -5*o = 4*g + 13 for g.
3
Let t = 11 - 28. Let p be (-3)/(3 + -6)*t. Let v = 20 + p. Solve 6*o = v*h + 3*o + 15, -4*h - 10 = o for h.
-3
Let u(m) = m**2 + 19*m - 23. Let i be u(-20). Let b be (14 + 5)/(((-9)/i)/3). Solve -2*d = -3*j - b, 19 = -3*d - 0*j - 5*j for d.
2
Let q be 1 + 0 - (3 + -4). Suppose 5 - 1 = 2*z. Solve -3*v = -d - z - q, -8 = 2*d + v for d.
-4
Let x be (-1)/3 - 2/((-18)/111). Suppose 4*j - t = x, 2*t = 2*j + t - 8. Suppose -1 = s - 9. Solve 2*k - 4*a = s, -k - j*a + 4 = 2*k for k.
2
Let l = 38 + -38. Let d = 0 + l. Solve -21 = 5*h + 5*r + 19, -4*r - 20 = d for h.
-3
Let z(b) = b**3 + 4*b**2 - 2*b + 5. Let u be z(-4). Let f be ((-90)/(-2))/5 + 1 + 0. Let d = u - f. Solve -5*i = -d*h - 12, -i + h = -0*i - 4 for i.
0
Suppose 0 = 2*i - 5*m + 2, -11*i + m = -14*i + 14. Solve 16 = -i*n + 2*j, -n - 16 = 3*n + 5*j for n.
-4
Let j(i) = -i**2 - 8*i - 11. Let a be j(-3). Suppose -8 = -6*t + a*t. Solve 0 = -3*l - 3*k - 13 + 4, t*k + 15 = -5*l for l.
-3
Let t = -521 - -523. Solve v = 5*f - 6, f + 4*f - 7 = t*v for v.
-1
Let p = -56 + 56. Suppose 2 = -3*o - 5*t + 9, 3*t + 3 = p. Solve 3*n + 3 = x - 5, -o*n - 10 = -x for x.
2
Let w(n) = -2*n**3 + 4 - n + 4 - n**3 + 2*n**3. Let q be w(0). Let i = -6 + q. Solve 3*u + 17 = -4*v, -i*u + 5*u - 8 = v for v.
-5
Let k(m) = m**2 - 6*m - 7. Let d be k(5). Let s = d + 16. Suppose -3*z = -v - 2*v - 12, 0 = -v - s*z + 16. Solve 2*l + 3*x = -v*x - 7, 0 = -4*l - 2*x + 6 for l.
4
Let u be 41/9 + (-168)/(-378). Solve u = -d + r, -3*d - r - 2*r + 3 = 0 for d.
-2
Suppose 2*j + 4*x = -12, -3*x + 15 = 3*j - 8*x. Solve d - 3*u = -2*d - 3, j = -3*d + 2*u + 1 for d.
3
Suppose -a + 4*d + 27 = 2*d, -49 = -3*a - 2*d. Let z be (3 - 0) + (a - 14). Suppose 4*f = 12 + z. Solve -2*q + v = -0*q + 11, -3*q = f*v - 16 for q.
-3
Let w(j) be the third derivative of -j**5/60 - 3*j**4/8 - j**3 - 5*j**2 - 3. Let x be w(-8). Solve m = -u, u + x*m = -0*m - 5 for u.
5
Let o be 0/(-6 + 7) + 2. Solve -3*a + 0 = -3*x + 3, x - 10 = -o*a for a.
3
Let i(j) = -2*j**3 + j**2 - 3*j - 4. Let u be i(-3). Let t = -65 + u. Solve 2*v + 2*k = -8, -8 = t*v + 5*k + 12 for v.
0
Let o(d) = -13*d - 127. Let b be o(-11). Solve -4*u + 6*a - 36 = a, 2*u - 2*a + b = 0 for u.
-4
Let n be (-20)/(13/(13/(-4))). Solve 2*d - k - 4*k = 10, -n*d - 3*k = -25 for d.
5
Let v = 7 - -15. Suppose -3*h - 7 = -v. Suppose -8 = -4*n + 3*n - 2*f, -5*n + 28 = 4*f. Solve n*o - 36 = h*l, 0*o = -2*o - 3*l - 4 for o.
4
Let n(b) = 2*b**2 - 19*b + 57. Let k be n(5). Solve 4*w + 4*l = 16, 0*w + k = -w + 3*l for w.
0
Let m be 0 + 6/10 + (-10854)/(-335). Solve 5*b + m = -4*l, 4*b - 2*b = 5*l for l.
-2
Suppose 0 = -16*y - y + 68. Solve -v - 6 = -6*l + 4*l, -18 = y*v - 5*l for v.
-2
Let n be ((-1)/((-1)/(-1)))/((-3)/27). Suppose -4*x = n - 17. Solve -x*y = 3*j - 5, 4*j + 2*y = y for j.
-1
Suppose 0 = -21*g + 13*g - 25*g. Solve -2*i + 2*q - 2 + 8 = 0, -4*q - 8 = g for i.
1
Let m be ((-36)/24)/((-3)/6). Let h = 3 + 1. Suppose -1 = h*l - 13. Solve l = m*g, g + 5 + 6 = -4*y for y.
-3
Suppose 12 = -1342*p + 1346*p. Solve -w + p*q = 7, 12 = -4*w - q + 5*q for w.
-1
Let b(j) = -j + 1. Let h be b(-2). Suppose -h*n = 6 - 18. Solve -2*a = n*i - 12, 2*i - 3 - 3 = 0 for a.
0
Suppose 2*j - 7 - 11 = 0. Let a(q) = q**3 - 8*q**2 - 8*q + 11. Let z be a(j). Let c be (2/6)/((-2)/(-24)). Solve -5*d = -g + c, 5*g = -5*d - 0*g + z for d.
0
Let y(n) = -n + 12. Let p be -6 - -3 - (-7)/(7/10). Let v be y(p). Let c be 5/1*28/10. Solve v*j + 0*j - 5 = 0, -3*u - c = -5*j for u.
-3
Let f be (-4)/(-6) - 39/(-9). Let l(n) = n + 3. Let m be l(-1). Suppose k + 1 = m*k. Solve -5*s - k = -4*x - 2*s, x + f*s = 29 for x.
4
Let n be (-232)/12 + ((-8)/3)/4. Let j = n + 24. Solve -4 = j*g, c = -4*g + 3*g + 2 for c.
3
Suppose -3*p + 4 = -5. Suppose b = j - 27 + 6, b - 79 = -p*j. Solve 0 = 2*x + 2*k - k - 5, -x = -5*k + j for x.
0
Suppose 3*t + 3*z - 12 = 0, -t + 4*z = 8*z - 13. Let r(u) = 0 + 0*u**2 + 1 - u**2. Let v be r(t). Solve 8 = -4*l, v + 27 = -5*n - l for n.
-5
Suppose -a - a = 0. Suppose -6*o = -a - 12. Solve -4*v = -z - 1 + 3, -o = -z + 3*v for z.
2
Let a = 229 + -226. Solve -2*r + 4*l = -l + 15, -a*l = r - 9 for r.
0
Let v = -462 - -468. Solve v = -3*q - 2*j, 0*q - 2*j = -q - 2 for q.
-2
Suppose 0 = 2*j - 7*j + 5*q + 35, -5*q - 17 = 4*j