i - 2 = 0, 2*v - 23 = -3*i - 9 for v.
1
Let u = 25 - 21. Let t be (-8)/u + (5 - 2). Solve -2*z + 2*y + 2 = 0, y + t = 4 for z.
4
Let u be (-2)/((-49)/21*2/7). Let o be ((-21)/6 + u)/(2/(-8)). Solve 2*h + h + 15 = 3*j, -h - 9 = -o*j for h.
-1
Let d be 2 + 1 + 2/(4/(-2)). Suppose d*i - 20 = -2*i. Solve -17 = -i*x - 4*j, 3*x - 9 = -3*j - 0 for x.
5
Suppose -21 = -5*v + 2*w - 6, 6 = 2*v - 3*w. Let g = -1 + v. Solve -3*b = 3*u + 9, 2*u - 14 = g*b + 6*u for b.
1
Let h = 31 - 29. Suppose h*m + 0 = 5*z + 13, m = z + 5. Let c(d) = d**2 - 5*d + 1. Let i be c(5). Solve -m*v - t + i = -2, t = -1 for v.
1
Suppose 12*k - 19*k = -14. Solve -2*g + 6*g = t + 18, 0 = -2*g - 3*t + k for g.
4
Let v(g) = 4*g + 23. Let m be v(10). Suppose -2*s - 3*n = s - m, -2*s + 47 = 3*n. Solve 4*r + 3*a = -0*a + 12, 4*a = 2*r + s for r.
0
Suppose 5*w - 20 = -5*u, 0 = 5*u - 3*w + 11 + 1. Suppose -2*g + 2*c + 22 = u, 0*g + 2*g - 2 = -2*c. Solve o = -4*s + 20, -g*o + 28 = 3*s - 2*o for s.
4
Suppose 5*w - 2*o + 100 = 0, 2*w - 8 + 48 = -2*o. Let s = w + 24. Solve -2*v + s = -x + 7, -3*v + 6 = -5*x for v.
-3
Let p(a) = a + 9. Let g be p(14). Let j = 38 - g. Suppose -4*m + 5*n = 2*n - 8, -j = m - 5*n. Solve -m*h + c - 17 = 9, -9 = 2*h + c for h.
-5
Let j = -6 + 10. Let n(y) = 2*y**2 + 3 - j*y**2 - 2*y**2 + 5*y**2 + 7*y. Let l be n(-8). Solve -5*h = -g - 0*h + l, -5*h = -3*g + 3 for g.
-4
Suppose 6*j = -3*j + 45. Solve -3*m = b - 5*b - 5, 2*b = j*m - 13 for m.
3
Let n = -131 - -141. Suppose n*q + 8 = 14*q. Solve 2*w + 6*d - 4 = q*d, w = 3*d - 13 for w.
-4
Suppose -5*v + 4*x + 11 = 0, -4*v = -5*x - 2 - 5. Let k = -3 - 2. Let u(y) = -y - 3. Let g be u(k). Solve g*z - 4*z + v*j + 1 = 0, 3*j + 9 = 0 for z.
-4
Let k = 774 - 758. Solve 4*q + q = 4*j - k, 16 = 4*j - q for j.
4
Suppose -w + 16 = p, -4*p = p - 4*w - 62. Let z be (-4)/((-8)/p) + -2. Solve 0 = -z*r - 2*q - q + 40, 4*r = 5*q - 5 for r.
5
Suppose p + 2 = 1. Let w = 5 - p. Suppose 5*h - w = 29. Solve 4*o + h = 3*a, o + 3*o - 5*a = -17 for o.
2
Let n = -15 - -1. Let t = 15 + n. Suppose -13 = -4*d - t. Solve -3*r = -4*s + 13, -2*r + d = 5*s - 19 for r.
1
Let y(v) = 15*v**3 - 25*v**2 - 16*v**3 - 5 - 31*v + 8*v + 53. Let d be y(-24). Suppose -5*p - 9 + 29 = 0. Solve 5*x = -3*t + d, 6 = t - 3*t + p*x for t.
3
Let q be ((-3)/6)/((-5)/10). Let c(l) = -7*l**3 + l**2 - 2*l + 2. Let u be c(q). Let k be 32/(-48) - 4/u. Solve 7*h = 2*h + 3*t + 14, h - 5*t + 6 = k for h.
4
Suppose -5*d + 3*v = v - 87, -49 = -3*d + 2*v. Suppose -5*b + 23 = -a, 5*b - 5*a = 16 + d. Solve u - 4*u = -s + 17, 0 = -b*u - 16 for s.
5
Let r = -1 - -4. Suppose r*w - o - 3*o = 116, -2*o - 170 = -5*w. Let g be ((-9)/4)/((-6)/w). Solve -5*h - 2*x - g = 0, 7 = -5*h + x - 2 for h.
-2
Let n be (-1*5)/((-1)/1). Let u = -26 - -29. Suppose -s - 11 = -u*v + 26, -v + 13 = -s. Solve -2*d = 0, -v - 13 = n*t + d for t.
-5
Let h(t) = t**3 - 3*t**2 - t + 3. Let i be h(3). Solve 0 = -2*j + 2*z + 12, i = 4*j + 4*z - 6 - 2 for j.
4
Let p(c) = c**3 - 7*c**2 + 8*c - 10. Suppose 0 = -3*v + 17 + 1. Let t be p(v). Solve t*l = 0, -l + 1 = -3*h - 11 for h.
-4
Let k = -72 + 76. Solve 5*j = -k*h + 32, -2*j + h - 11 = -4*j for j.
4
Suppose 2*v + 4*m = 0, -m + 5*m = -16. Let b be 10 + 2 + (v - 6). Solve 0 = -5*t + 4*j - 45, -2*j - 4 + b = 0 for t.
-5
Let p be 80/(-3) - 6/(-9). Let n = 53 + p. Let a(l) = 3*l**2 - 4*l - 7. Let h be a(-3). Solve 3*t + h = 4*q, 4*t - 3*q + n = t for t.
-4
Let w(b) be the third derivative of 1/8*b**4 + 1/60*b**5 + 0*b - 5/6*b**3 - 4*b**2 + 0. Let k be w(-6). Solve -2*l - 5*z = -16, 4*l - z = -k + 1 for l.
-2
Let a(g) be the second derivative of 7/3*g**3 + 0 + 3/2*g**2 + 5/4*g**4 + 3*g + 1/20*g**5. Let l be a(-14). Solve 7 = 3*f - 2*v - 2, -v - l = 0 for f.
1
Let l(u) = 7*u**2 + u + 1. Let d be l(-2). Let x = d - 30. Let r be (-3 - x)/((-2)/(-2)). Solve 2*k = 5*j - 5, r = -5*k + j - 0*j + 22 for k.
5
Let o(x) = -x + 48. Let j be o(-11). Let u = j + -44. Suppose k - b = 15 + 5, 0 = -k + 4*b + 35. Solve -5*q + k = -5*m, -m + 5*m + u = 5*q for q.
3
Let s be (-1 - (-11)/4) + 10/40. Suppose -2*q - 10 = -a, -s*q = 2*a - 5*q - 16. Solve -5*l - 18 = a*m, -10 = -l + 5*m + 8 for l.
-2
Let k = -61 - -73. Suppose 0 = -k*w + 2*w + 20. Solve 6*q - 10 = q - p, w*p - 15 = -5*q for q.
1
Let n(i) = -3*i + 38. Let m be n(12). Let y = 8 - 7. Let d = y + -1. Solve -h + 2 = -g, -m*h = -4*g - d*h - 12 for g.
-4
Let s(w) = -w**2 - 20*w - 15. Let r be s(-17). Let n be 2/(-2 - r/(-15)). Solve n*f = 3*h + 10, 5 = 4*h + 2*f + 1 for h.
0
Let l be (-1 - -2)/(-14*(-12)/672). Solve l*k - 1 = -3*c, -5*c = k - 3 + 24 for k.
4
Suppose -3*o - 21 = -3*w, -5*o = -3*w - 5 + 30. Solve -8*f = -11*f + 5*r - 32, w*f - 5*r + 40 = 0 for f.
-4
Let w = -405 - -409. Solve 4 = r, w*g + 4*r = 3*r - 8 for g.
-3
Let z = 13 - 11. Suppose 4 = -z*f, 0*w - 2*f = -3*w - 17. Let h = w - -9. Solve -q - 5 = 2*a, 3*a + h*q + 1 = -4 for a.
-5
Let s = -172 - -175. Solve -s*v + 5*z + 8 = -0, -z + 12 = -4*v for v.
-4
Let x(y) = -y**2 - y + 3. Let m be x(0). Suppose 25 = 3*l - 2*t, -l + t = -m*l + 12. Suppose -22 = w - 24. Solve w*n - s - 2*s = 13, -n - 3*s - l = 0 for n.
2
Suppose -68 - 364 = 72*p. Suppose 3*l - 4*i = 14, -2*i + 16 = 2*i. Let o be 44/l - p/(-15). Solve 0 = 3*w - 6, 4*v + o*w = -0*w for v.
-2
Let r(a) = 5 + a**2 + 18*a + 5 + 27 - 15. Let c be r(-17). Solve -2*o = c*m + 25, 2*m + 13 = 4*o + 3 for o.
0
Suppose -5*o + 4*o - 4*n + 20 = 0, -n = -5*o + 37. Suppose -o*u + 4 = -6*u. Solve v = 2*y - u*v, 0 = 5*v + 10 for y.
-3
Let m be (-219)/(-21) - (-5)/((-210)/(-24)). Suppose -2*w + 12 = w. Solve -w*c + 5*y = m, -4*y - 5 = -17 for c.
1
Let l(x) = x**3 - 4*x**2 - 3*x - 6. Let c be l(5). Let n be -5 + 1 - (c + -13). Solve 5*r - o - 15 = r, 0 = o - n for r.
5
Let t(i) = i**2 + 27*i - 87. Let c be t(-30). Solve y = -l - 2, -c*y + 3 = -2*l + 19 for l.
2
Let z be 10 - 1*(-2)/8*-4. Let f be 40/6*6/4. Solve -2*j = -5*p - 13, p - f = -5*j + z for p.
-1
Let h(a) = 3*a**2 - 108*a + 107. Let g be h(35). Solve -4*w - 16 = 0, -g*w - 13 = -v - 0*w for v.
5
Let j(q) = q**2 + 6*q + 6. Let u be j(-5). Let p be ((-1)/3)/(4/(-12))*3. Suppose 2*z - p = u. Solve -z*k - k + 5*t + 27 = 0, 0 = -k + 2*t + 10 for k.
4
Let x(k) = 2*k - 14. Let p be x(7). Solve 2*a = 3*r - r, p = -5*r - 25 for a.
-5
Let a be (-57)/(-11) + 10/(-55). Suppose 0 = -5*x - a*n - 10, -5 - 3 = -x + n. Solve -4*s = -5*f - 28, 6 = -x*f + s - 8 for f.
-4
Let z(a) = a - 4. Let y be z(4). Suppose y = -o + 2. Solve 29 = 5*w + 3*l + o, -4*w = 2*l - 20 for w.
3
Suppose -3*t - 3*n + 4 = 1, -2*t + 4*n + 8 = 0. Suppose t*y + 2*y = 8. Solve -2*p + 4*x = -24, -2*x = y*p + 3 + 3 for p.
2
Suppose t - 45 = -4*m - 0*t, -3*m - 5*t = -21. Suppose g - 5*g + m = -2*j, -4*g = -5*j - 12. Solve z = -2*q + g, 6*z + q = z + 6 for z.
1
Let t(h) = h**3 - 6*h**2 + 7*h - 6. Let d = -21 - -26. Let k be t(d). Solve 0 = 3*r + 2*a, 7*a + 4 = -k*r + 3*a for r.
2
Let c = 25 + -18. Solve c*w - 20 = 2*p + 3*w, -3*p + 4*w = 22 for p.
-2
Suppose f = k - 57, -k - 3*f - f = -37. Suppose 0 = -4*p + 3 + k. Suppose -5*c + 2 = 5*v - 3, -2*c + 8 = -v. Solve 5*s - p = -w, -c*s + 15 = -w + 5 for w.
-1
Let w be 30/36*1/((-3)/(-18)). Solve 0 = -4*m - w*j + 32, -3*j + 8*j = m + 17 for m.
3
Let p(v) = -6*v + 255. Let m be p(42). Solve 0 = -4*n + 17 - 1, -m*n = -b - 11 for b.
1
Let k(a) = -38*a + 649. Let g be k(17). Let s be (4/6)/((-2)/(-9)). Solve 1 = -g*q - 2*f + s, 0 = -5*f - 25 for q.
4
Let f(c) = -7*c + 33. Let z be f(3). Solve -2*n - 2*n + 16 = o, -4*o + z = 3*n for o.
0
Let z be (7/((-14)/16))/(-2). Suppose -20 = z*c + 8. Let x = c + 12. Solve 0 = 4*m - 3*a - 10, x*m - 15 = 5*a - 0 for m.
1
Let t = 3 - -15. Solve 4*h - 2*y - 12 = 2*h, -h - t = 5*y for h.
2
Suppose 11*y - 45 = 6*y. Let z be 6/y*(2 - (-5 - -1)). Solve 2*p - z*n = -3*p + 17, 0 = p - 3*n + 1 for p.
5
Let t(k) = -k**3 + 5*k**2 + 3*k - 12. Let r be t(5). Solve 0*f = 3*f - 5*b + 27, 4*f - r*b + 25 = 0 for f.
-4
Let h(v) = v**2 + v - 4. Let w be h(3). Let d be 14/w + (28/(-16) - -2). Solve 9 = d*a - t, -2*a = -5*a + 2*t + 15 for a.
3
Let i = -892 - -894. Solve -p - 5 = -f, 0 = p + 2*p - i*f + 10 for p.
0
Suppose -92*w - 60 = -104*w. Solve -w*r + 4*h + 13 + 11 = 0, -5 = -2*r - 3*h for r.
4
Let k(n) = -4*n - 12*n**2 + 2*n + 2*n**3 + 5*n**2 + 4*n**2 - 5. Let v be 