 5, 4*a = 5*u + 11 for u.
1
Let c be ((-3 - -3) + -5)*-5. Suppose 0 = -6*r + 2*r + 12. Suppose -3*m + s = -c, 0 = r*m + 2*s + 6 - 19. Solve m*y - 2*y = 2*l + 11, 2*l = 4*y - 8 for l.
2
Suppose -12 = 2*a - i, 5*i = -5*a + 4 - 49. Let r be (0 + -1)*(a - -6). Solve -3*y - 2*z - 3*z = 17, -z = 5*y - r for y.
1
Suppose 10*l = 13*l - 15. Suppose 3*z + l = 20. Solve 5*b - 3 = 3*a + 2, 4*b = z*a - 9 for b.
4
Let q = 53 - 51. Solve -3*y - 3 = -q*j, -j + y = -0*y - 1 for j.
0
Let z(f) = -f**2 + 4*f + 1. Let g be z(3). Solve -2*q = -l, l = 2*l - g*q for l.
0
Let z be (-60)/(-14) - 4/14. Suppose h - 3*h + 18 = 0. Solve 5*s = -2*c - c + h, -c - z*s = -3 for c.
3
Let o(r) = -r - 3. Let m be o(-6). Suppose m*w + 2*w = 15. Let d be w/3 - -2 - -2. Solve 0 = 2*f, d*g + 3*f + 0*f + 20 = 0 for g.
-4
Let i(b) = -b + 8. Let y(q) = 7*q**2 - 1. Let w be y(-1). Let z be i(w). Suppose 0*a + z*a - 20 = 0. Solve a = -x + 3*g + 28, 0 = -3*x - 5*g - 16 for x.
3
Suppose 4*h - 5*r - 43 = 0, 3*r = h - 4*h + 12. Solve 4*n - p = -21, -3*p + 6 = -2*n - h for n.
-5
Suppose -11 = -4*v + 2*v + 3*z, v = -3*z + 1. Let r = -10 - -15. Solve -v*c = r*u - 2, 2*u - 5*u = -2*c - 10 for c.
-2
Suppose -w - 4*w + 2*b = -116, -b = w - 19. Solve 0 = 5*v + 4*a + 28, 5*v + w = a + 4 for v.
-4
Let f = 3 - -6. Let o be (3/f)/((-1)/6). Let d be ((-6)/(-10))/(o/(-10)). Solve -d*w + 6 = -2*t - 1, 0 = 3*w + 2*t - 23 for w.
5
Suppose 6 = 3*u - 3. Suppose 2*x = 4*n - 120, -u*n = -2*n + x - 33. Solve -4*g = c + 16, 4*g = g + 4*c - n for g.
-5
Let t be (-57)/(-12) + 1/4. Suppose -3*x - 2*x - 2*u + 107 = 0, 4*x = 2*u + 82. Solve -4*h = 4*y + 24, -h = t*y + h + x for y.
-3
Let j = 128 - 125. Solve g + 25 = -4*g + 3*n, -4*g = j*n + 20 for g.
-5
Suppose 0 = -3*r - 2*r + 25. Solve 11 = r*k + a - 7, -k + 5*a - 12 = 0 for k.
3
Let v = -21 - -26. Suppose 0 = 2*l + v - 13. Solve 0 = l*y + 3*f - 20, 4*y + 2*f - 10 = 6 for y.
2
Let s = -12 - -17. Solve s*f + d + 9 = -0*d, -4*f - 4 = 4*d for f.
-2
Let l(z) be the first derivative of 0*z + 1 + 1/2*z**2. Let d be l(2). Solve 0 = 5*c, -3*u - c + 14 = d for u.
4
Let q(z) = -2*z + 9. Let p be q(7). Let s be ((-2)/4)/((-2)/4). Let h be s + -4 - p - 2. Solve 2*a + 18 = 5*r, h = -3*r - 2*a + 3 - 5 for r.
2
Let m(y) = y. Let s be m(3). Suppose 3*u - 12 = -u - t, s*u = -3*t + 9. Solve -u = 3*l + 4*p + 3, 2*l = -3*p - 5 for l.
2
Let d(p) = 2*p + 1. Let v be d(3). Solve -3*x - 2*r + r = v, r + 15 = -5*x for x.
-4
Suppose 1 + 1 = 2*z, 5*s + 2*z - 27 = 0. Solve 4*n = 4*g + 8, -g + 9 = 5*n - s*g for n.
1
Suppose 10 = 2*v - 0. Solve n - 6 - 11 = -v*j, -2*n - 10 = -j for n.
-3
Suppose -f = -5*f + 40. Let o be (8 - 10)/((-1)/f). Solve 4*u - o = -5*z + 3*u, -u + 5 = 0 for z.
3
Suppose 0*z = 5*z - 85. Let a = 20 - z. Suppose -3*p + 6 + 0 = 0. Solve m = l - a, p*m + 3 - 15 = -4*l for l.
3
Let t(n) = n**2 + 14 + 21*n - 5 - 11*n. Let j be t(-11). Solve 0 = -3*g, 4*g = 2*v + 2*v + j for v.
-5
Let n be (4 + -4)*(2 - 1). Let p be n + 0 + -1 - -7. Solve 5*z = -3*b + 2, 4*z + 2 - p = 0 for b.
-1
Let m be 12/(3 - 5) + 18. Solve -2*s - 11 = -3*u - 4*s, m = 5*u - 3*s for u.
3
Let g be (-1)/(-2) - (-28)/8. Suppose 11 = g*v + 3. Let y(m) = -m**3 - 5*m**2 + 1. Let i be y(-5). Solve -2*p - 8 = 5*k + i, v*p + 6 = -2*k for k.
-1
Let k = 8 - 10. Let v(n) be the second derivative of -n**5/20 - n**4/6 + n**2 - n. Let z be v(k). Solve -4*l + s = -5, 2 = -l + z*l - s for l.
1
Let k(q) = -2*q**2 - 11*q + 5. Let y be k(-5). Solve 4*o - 2*o - w = y, 0 = -2*o + 3*w + 14 for o.
4
Let a(y) = -y**2 - 4*y + 1. Let i be a(-4). Solve 0 = -3*j + 4*q - 6, -j + 4 = q - i for j.
2
Let a be (-4 - 1)*(-9)/15. Suppose -9*l = -4*l. Solve -n - 5*z + 4 + 21 = l, -a*z - 13 = -5*n for n.
5
Let i be 3/2 + (-25)/(-10). Solve 0 = -4*u - w + i - 7, -15 = -3*u + 5*w for u.
0
Suppose 0 = -2*q - 2*q - 8, q + 8 = u. Suppose -y + 17 = g, -2*y + 2*g + 3*g = -u. Solve 3*a + y = -f, 2*f = 3*f - a + 1 for f.
-4
Suppose 5*g + 12 = g. Let p = g - -6. Solve -5*h - 2*x - 23 = 0, -4*h = -2*x - p*x + 25 for h.
-5
Let v(l) = l**3 + 3*l**2 + 5*l + 5. Let m be v(-3). Let s(g) = -g**3 - 10*g**2 - g - 7. Let y be s(m). Solve -4 = -p - y*h + 2*h, 0 = -2*h + 2 for p.
3
Let f = -4 + 6. Suppose -f*y + 3*y - 4 = 0. Solve 0 = -2*q + a - 10, 4*a = -y*q + a for q.
-3
Let q = -20 + 74. Let h be ((-1)/(-3))/(2/q). Suppose -p = y - h, 10 = y + y. Solve -p*f + 7*f = -4*a, -5*a - 15 = 0 for f.
4
Suppose 6*l = 4*l. Suppose i + 0*i = l. Suppose -b = -t - i*t - 2, -4*t - b = -17. Solve t + 1 = -2*z, 3*g - 4*z - 11 = 0 for g.
1
Let u(d) = -2*d + 4. Let j be u(-5). Let b = j + -9. Solve -q = y - 3, 0*y - b*y = q + 5 for q.
5
Suppose 4*i - 5*x - 28 = 0, -2 = 3*x + 10. Solve -4*a = -i*a + 2*m + 8, a - 5*m = -4 for a.
-4
Suppose 3*x = -x + 32. Suppose -2*y = -0*y + 2. Let m be 2 + 10 + -1 + y. Solve -d - m = -2*c, -2*c = c + 2*d - x for c.
4
Suppose 2 = 4*z - 18. Solve 0 = i + 3*r, -2*i - r + 0 = z for i.
-3
Let g be 16 - (2/(-8))/((-5)/40). Solve 2*l = -2*t + g, -2*l + 0*t = 3*t - 17 for l.
4
Suppose 2*b = -j + 3*j + 4, -5*j - 25 = 0. Let v(w) = w**2 + w - 2. Let z be v(b). Solve 2*d = 2*h - 2*d, h - z = -2*d for h.
2
Suppose -p = 2*p. Let i be (0 - -3)*(p + 1). Solve 2*b + 2 = -2*c, 0 = -2*b - 3 - i for c.
2
Let o(v) = 1. Let m(f) = f + 3. Let h(r) = -m(r) - o(r). Let i be h(-4). Solve -4*x - 3*u - 12 = -i*u, 0 = 3*x + 3*u + 12 for x.
0
Let m(o) = o**3 + 2*o**2 + o. Suppose -4*j + 3*b - 2 = 5, -3*j + 4*b - 14 = 0. Let w be m(j). Let p = w - 13. Solve 0 = 4*l - 3*l - y + 2, -p*l - 5*y = 0 for l.
-1
Suppose -4*y + 2*y = 5*q - 22, 22 = 4*y - q. Suppose -5*j + 4*j - 2 = 5*b, 5*b + 5*j = -10. Solve -3*v = 5*t - 6, 2*t - y*t = b for v.
2
Let j(x) = 3*x - 11. Let s(r) = -11*r + 44. Let c(a) = 9*j(a) + 2*s(a). Let t be c(6). Solve 4*g + 5*f + 23 = 0, 5*g + 3*f = -0 - t for g.
-2
Let c(y) be the second derivative of y**4/12 - 4*y**3/3 - 2*y**2 + y. Let g be c(9). Solve -v + 4*o + 3 - 2 = 0, g*o = 0 for v.
1
Suppose -2 = r - z, -4*r - 3*z + 2*z = -17. Let t = 1 + 1. Suppose -t*d + 18 = -0*d. Solve x - d = -0*g - r*g, -4*x = 12 for g.
4
Let d(p) be the second derivative of p**4/3 - 2*p**3/3 + 4*p. Let l be d(3). Solve 4*r = 3*f - l, -r - 15 = 4*r for f.
4
Let m(r) = -r - 1. Let s(i) = i**3 - 5*i**2 - 6. Let a be s(5). Let k be m(a). Let b = 6 - 1. Solve -3*q + 20 = -b*v + 57, -5*q = 3*v + k for q.
-4
Suppose -2 = p - 2*p. Let q be (-2)/(2/(-8)*p). Solve 3*c + 3*x + 25 - q = 0, -8 = 2*x for c.
-3
Suppose -8 = 3*n + 10. Suppose 7*q + s - 35 = 2*q, 3*q = 4*s - 2. Let y = n + q. Solve -v = -5*z - 16, -2*v + y*v = z + 1 for v.
1
Let h(q) = -q**2 - 19*q - 32. Let d be h(-17). Solve 4*z + 15 = 5*a, a + 2*z = -d*z - 21 for a.
-1
Suppose 3*l - 29 = -23. Solve -5*q + l*u + 10 = 0, 5*q = 5*u + 7 + 3 for q.
2
Let f = -23 + 37. Solve 5*o - 3*i - 26 = 0, -5*o - 2*i - i + f = 0 for o.
4
Suppose 3*k - 3*q - 5 = 1, -5*k + 4*q = -10. Suppose -5*l = -5*i + 80, 5*l + 20 = k*i - i. Solve i = -5*u + 3*c + 4, 5*u = -2*c - 26 for u.
-4
Let o be 63/15 + 5/(-25). Suppose 35 = o*j + 2*f + 3*f, 6 = 3*j - 3*f. Solve -3*u - u - j*z = 0, 3*u + 5*z = 0 for u.
0
Let v(l) = -l + 2. Let u be v(7). Let b = u - -7. Let s be 0/(b - (6 + -2)). Solve -4*c - 22 = 2*i, s + 10 = 2*i - 4*c for i.
-3
Suppose 0 = -4*v + 2*v - 48. Let t = -11 - v. Suppose 0 = 3*h - t - 41. Solve u = 6*f - 5*f, 3*u + 3*f = h for u.
3
Let b(w) = 0*w - 6*w + 2*w + 3*w + 4. Let v be b(2). Solve v*z + 21 = 5*g, -4*z + 3 = 5*g - 0 for z.
-3
Let g be 1/(-2) + 22/4. Suppose b + 3*j = 11, -2*b + 9 + g = 2*j. Solve -2*u = -0*u + 4*z + 4, b*u - 3*z = -23 for u.
-4
Suppose -4*c + 0*v + 2 = v, 0 = -5*c - 5*v + 10. Suppose -2*k - 1 + 11 = c. Let h = 9 - k. Solve -4*j + h*o + o = 25, 0 = o - 1 for j.
-5
Let k be (-3 - -4)/(1/6). Solve 18 = 3*g + r + k, -2*r + 4 = g for g.
4
Let a(x) be the third derivative of x**5/60 + x**4/12 - x**3/2 + 4*x**2. Let c be a(-3). Let w = 3 + 0. Solve c = -5*z + 2*u - 25, z + w*u + 18 = 6*u for z.
-3
Let n be (-11)/(-2) + (-6)/(-4). Suppose -5*s - n = 3. Let i(u) = -2*u + 2. Let l be i(s). Solve -4*q + 3*h + l = 0, -3*q + 3*h = 6*h + 6 for q.
0
Let z = 11 - 6. Suppose 36 = 4*l - 4*u, -3*u = -u. Let n = l - z. Solve -4*r = -q - 4 + 3, -n*q = -r + 19 for q.
-5
Let m = 37 + -37. Solve k + 1 = -2*r - 5, 2*r + 2*k + 6 = m for r.
-