5, 0 = 2*j + j - 2*v - y for j.
1
Let m be 3/4 + (-50)/(-8). Let t(h) = m*h - 4*h - 2*h + 4. Let j be t(0). Solve 3*d + 2*l = -4 + 11, -j*d + 4*l = 24 for d.
-1
Let y be 2/16 + (-376)/(-64). Let n = -4 + y. Solve 4 + n = -3*k - 2*q, 4*k + 4 = -4*q for k.
-4
Let g(s) = 8*s + 14 + 0*s**2 - s**3 - 6*s**2 - 5. Let l be g(-7). Suppose 4 = w - 0. Solve l*z - n - 7 = 0, w*n + 0*n - 8 = -z for z.
4
Let j(q) = -3*q + 65. Let b be j(21). Suppose 0 = -r - 2*y + 2 + b, 3*y - 7 = -2*r. Solve 0 = -2*w - m, m - 5*m = -r*w + 20 for w.
2
Let o(p) = p + 5. Let k be o(-4). Solve 5*t + k = 4*t - 4*y, 3*y = -t for t.
3
Suppose 3*d = 5*k - 12, -3*k + k - 2*d + 8 = 0. Suppose -x + 4 = 0, 2*c - k*x = -0*x - 28. Let t = -8 - c. Solve -p = -1, t*p - p + 5 = -2*z for z.
-2
Let r be (-4 - 1) + 8 - (0 - 1). Suppose -5*k = 2*a - 34, 22 = 5*k - r*a - 0*a. Solve 5*n = -2*d + k, -4*d = -4*n - 0 - 12 for d.
3
Let d = 53 + -41. Let l = 16 - d. Let b be 4/3 + 2/3. Solve 5*k - 2*c = c - b, 2*k = -l*c + 20 for k.
2
Let m be ((-11)/((-22)/5))/((-1)/(-2)). Solve -m*d - 28 = j - 0, -11 = -3*j + 4*d for j.
-3
Let w be (-1)/4 + (-12)/(336/(-119)). Suppose 2*j - 1 = 7. Solve -11 = -5*y + 3*d, -w*y - j*d = y - 32 for y.
4
Suppose -2*n - 5*w + 31 = 0, 3*n - 165 = -2*n + 5*w. Solve a - 5*g + 24 = 0, 5*a - 5*g + 12 + n = 0 for a.
-4
Let g(y) = 3*y - 9. Let m be g(3). Let b be (m + 2/(-4))/((-1)/4). Solve i = b*w - 2*i + 13, -i = -3*w - 16 for w.
-5
Suppose 36 = -71*t + 68*t. Let c = 14 + t. Solve 3*f = -b - c*f - 10, 0 = b + 4*f + 8 for b.
0
Let i = 70 - 67. Suppose 6*q = 4*q - r + 3, -5*r = -i*q - 15. Solve -20 = 2*h + 5*t, -5*h - t + 8 - 35 = q for h.
-5
Let f(k) = 2*k + 7. Let g(w) = w**3 + 2*w**2 - 6*w - 12. Let i be g(-3). Let v be f(i). Solve v = u - 3*q, -3*u - 15 = 2*u - 5*q for u.
-5
Suppose -225 = -0*v - 5*v. Let k = v - 33. Solve o - 2*o - 3*w - k = 0, -3*w - 12 = 2*o for o.
0
Let s(h) = -h**3 + 7*h**2 - 6*h + 10. Let b be s(7). Let n = b + 33. Solve 5*p = -3*r + 7, -2*r + n = 2*p - 1 for r.
-1
Let v = 7 + -5. Suppose -4*x + 26 = v. Suppose -3*z + x = -9. Solve 4*t + 2 = -z*o, 4*t + o = -6 - 4 for t.
-3
Let v = -31 - -40. Suppose -n + 5 = 0, -2*z + 4*n = -n + v. Solve -2*m + 2*k = -0*m - z, -k - 5 = 0 for m.
-1
Let b = -37 - -29. Let n be 3 + -1 - (5 + b). Solve -y + 29 = -n*o + 3*y, -o = y + 4 for o.
-5
Let u be 115/(-2)*16/10. Let i = 92 + u. Solve i*n + 12 = -r + 3*n, 5 = n for r.
3
Let z = 6 + -13. Let v = 7 + z. Suppose v*d = d - 4. Solve 0 = -4*r + 5*s - s + d, -4*r - 4*s = -20 for r.
3
Let z(b) = b - 9. Let w be z(-6). Let a = 18 + w. Solve -2*k - a*p + 1 = -1, 4*p = -3*k + 2 for k.
-2
Suppose -4*c = -4*q - 20, -3*c = 7*q - 2*q + 17. Let z be (c - (-14)/(-6))*(-5 + 2). Solve z*m - 5 = -3*l, 0*m + 2*l = -3*m + 3 for m.
-1
Let q(o) = 25*o + 471. Let t be q(-18). Let k(l) = l**3 - 3*l**2 - 4*l + 2. Let h be k(4). Let s = h - -3. Solve 0 = s*f - v - t, 4*v - 16 = -3*f - 2*f for f.
4
Let j(x) = 5*x**2 + x. Let r be (-72)/(-15) + (-1)/(-5). Suppose r*y - 3 = 2*y. Let s be j(y). Solve -3*n = n + 8, 2*g - n = s for g.
2
Let d(a) = 2*a + 7 + 0 - 7 - 1. Let h be d(3). Solve 3*z = h*q + 7*z - 4, 4*z - 4 = 3*q for q.
0
Let z(p) = 3*p - 13. Let i be z(9). Suppose 5*h = -4*c, 2*c + i = 4. Solve -h*f - s - 1 = 0, f - 5*s = -2*f + 5 for f.
0
Let w(u) = 2*u**2 + 3*u - 4. Let t = 1 - 4. Let l be w(t). Let x = 72 + -69. Solve x*p + 3*v + 5 = l*v, 4*p - 5*v - 5 = 0 for p.
-5
Let i be (-9 - -102)*2/6. Suppose -3*a = 6, a - 4*a = 3*o + 54. Let k = o + i. Solve 4*n = 4*w, -3*w + 2*w = 2*n + k for n.
-5
Let q be -1 + 2 + -4 + 3. Suppose -4*b + 50 = 6*b. Solve 4*g + 1 = 3*v - q, -3*g = -b*v + 9 for g.
2
Let p = 366 + -363. Solve 2*s + 7 = 3*x, -3*x + 6 = -p for s.
1
Let v(q) = 4*q - 25. Let a be v(7). Let z(c) = c**2 + 9*c - 22. Let o be z(-11). Suppose o = 5*g - 3*g - 10. Solve g*i = 2*y + 23, -7*y - a*i + 19 = -3*y for y.
1
Suppose -f - 13*q = -12*q - 3, 12 = 5*f + 2*q. Solve 3*o - f*a + 8 = -a, -3*o + 2*a = 13 for o.
-1
Let m(s) = s. Let l be m(4). Suppose -l*h + 4 = 3*r, 3*h - 2*r = -h + 4. Solve -2*d - 5 - h = -4*u, -d + 4*u = 5 for d.
-1
Let h = -120 + 177. Let m = h - 53. Solve 2*f - 6*f - 2*n - 22 = 0, -m*f + 2*n = 18 for f.
-5
Suppose 37*h - 264 = -7*h. Solve 2*s - 6 = 0, -w + 0*w + 3*s - h = 0 for w.
3
Let i(c) be the third derivative of -c**6/120 - c**5/5 - 7*c**4/8 - 3*c**3/2 + 43*c**2. Let y be i(-10). Solve 0 = -r - u - 2, u + y = -3*r + 3 for r.
2
Suppose 7*a - 6*a = 0. Suppose a*h - 36 = -3*h. Suppose 14*o - h = 11*o. Solve -o*f + l + 1 = -2*f, 0 = -5*f + 3*l + 2 for f.
1
Let p(y) = 2*y**2 - 7*y - 15. Let o(g) = -3*g**2 + 11*g - 1. Let q be o(3). Let x be p(q). Solve -3*b + 9 = x, b + 0*b - 4 = h for h.
-1
Suppose 14*q = 5*q + 36. Let y be (2 + -1)*1 - -4. Solve -y = v, -q*t - 2*v - 6 = -0*t for t.
1
Suppose -4*l - 26 = 6. Let x be l/3*(-21)/14. Solve 2*w = 2*h + 5*w + 5, -4*h - 12 = x*w for h.
-4
Let p be 6/(-10) + 728/(-20). Let b = 41 + p. Solve -24 = -2*s + b*f, -4*f - 2 = 3*s + 2 for s.
4
Suppose 49 = 3*f + 4*f. Let s be f - (0 - (2 - 5)). Solve -3*g + 27 = 5*h + s, 3*g = h - 1 for g.
1
Let b(w) = -w**3 - 6*w**2 - 5*w. Let l be b(-2). Let p be (-522)/(-145) + l/(-10)*-1. Solve -j = j + p*o - 10, j = -3*o + 8 for j.
2
Let o = -2586 - -2589. Solve 0 = 3*v + 13*h - 10*h + o, -5*h = -3*v + 13 for v.
1
Let i(d) = -10*d - 2. Let q be i(-2). Let w(g) = -g**3 + 18*g**2 - g + 22. Let s be w(q). Solve -a - 11 = 2*p, s*p - 9 = -3*a - 32 for a.
-1
Let p(w) = 6*w - 21. Let z be p(4). Suppose 3*j + 34 = z*b - 2*j, -2 = j. Solve -o - 8 = -4*v + b, -3*v = -3*o - 3 for v.
5
Let h = -433 + 438. Solve 23 = 4*d - h*y, -4*d + y = -9*d + 7 for d.
2
Suppose -19 - 7 = -13*s. Solve 0 = -w + 3, s*k + 3*w - 29 = -3*k for k.
4
Let d be (0 - 0)/(10/5). Let y(v) = 2*v + d*v - 6*v + 4*v**3 - 3*v**3 - 7 + 6*v**2. Let i be y(-6). Solve -b + 0*j + j + 2 = 0, 2*j = -5*b + i for b.
3
Suppose -18*i + 21 + 15 = 0. Solve -y = i*k - k + 9, 13 = 3*k - 5*y for k.
-4
Suppose -3*x - 2*j = -j - 96, -3*x + 102 = 3*j. Solve r - 5*k + x = 4*r, 2*r - 5*k + 21 = 0 for r.
2
Suppose 3*k - 15 = -3. Suppose 0 = -8*p + 2*p + 48. Let z be (p - 6)*1*2. Solve 4*x - 3*s = -0*x + 11, z*s + k = 0 for x.
2
Let j = -36 + 20. Let t = 0 - j. Solve 4*v - t = -5*k, v = -k + 4*k + 4 for v.
4
Let y = 11 + -8. Suppose 0 = -4*g + 43 - 27. Suppose -g*t = -2*s, -2*s - y*t = t. Solve s = 2*a + 4*h - 20, -4*h + 8 = -4*a - 0*a for a.
2
Let q(m) = m**3 + 16*m**2 + 13*m - 27. Suppose 5 = h - 5*v, -5*h - 18 = -3*h - 3*v. Let f be q(h). Solve -f*w + 12 = 3*o, -6 = -2*w - 0*w for o.
1
Suppose 2*y + 164 = -2*w, -y - y + 2*w - 168 = 0. Let t = -79 - y. Solve 4*j - t*m = -4, -40 = -j - 4*j - 4*m for j.
4
Suppose 144 = 3*m + 33*m. Solve 3*n - 15 = 2*n + m*r, -2*n + 5*r + 15 = 0 for n.
-5
Let q(i) = -i**2 + 11*i - 5. Let a be q(8). Suppose 3*b + 1 = a. Suppose -b*d + 2*d = -8. Solve 0*k - 9 = -3*k, -d*g - 1 = -3*k for g.
4
Let r be -8 + 6 + (7 - 3). Suppose 0 = 10*n - 14*n + 20. Solve -r*k = -6, n*i + 4*k - 11 = 1 for i.
0
Let z(j) = j**3 + j**2 - 3*j - 13. Let r be z(0). Let y = r + 19. Solve -4*c + 10 = -w - w, -4*w - y = -c for c.
2
Let t(b) = -b**3 + b**2 + 2*b + 18. Let u be t(0). Let c = u + -17. Solve -2*k - 3*n = -0*n + c, 2*k - n + 13 = 0 for k.
-5
Suppose t = -5, -5*v = -t + 3*t + 60. Let w = v + 19. Suppose -2*a + 11 = -u + 2*u, 12 = 3*a + 3*u. Solve 4*r + 21 = g, -4*r - 4*g - w - a = 0 for r.
-5
Let r = 1753 - 1750. Solve -4*n = 2*v + 8, -r*v = 2*v + 2*n + 4 for v.
0
Let i be 291/15 - 14/35. Solve -i = -4*g - u, u - 2 = 3*u for g.
5
Let q be (-27)/(-5 + 2) + -7. Solve -6*c = -t - 8*c + 1, -q*c = -3*t + 3 for t.
1
Let x(f) = 2*f**2 + 13*f - 5. Let i be x(-7). Suppose 2*m = 7 - 1. Solve 2*v = -l - 3, 0 = 3*v + l + m*l + i for v.
-2
Suppose -3*h - 4*f = 1, 8*f = -4*h + 3*f - 1. Solve 5*a = -u - 13, 0*a + 4*u = -3*a - h for a.
-3
Suppose -4*h + 21 = j, -2*h - 9 = -4*j - 15. Solve -s - 1 = -5*k, 5*s + 2*k + 2*k = -h for s.
-1
Suppose 12*k - 13*k - 20 = 0. Let y be k/(-6)*30/25. Suppose 4*n = 2*r - 56, -6*r = -3*r + y*n - 34. Solve 0 = -u + 4*v + 11, -2*u = -2*v + 4*v + r for u.
-5
Let w = 36 + -32. Suppose -2*u - 4*r = -20, -2*r + 17 = w*u + 1. Solve 3*h = -u*b - 3*b + 35, 0 = 2*h - 2*b - 2 for h.
5
Let w(r) = -r**3 - 5*r**2 - 3*r. Let b be w(-3). L