8 + 100. Let t = -2 - -4. Suppose 7*p - t*p - 75 = 0. Solve y + q*z - p = 0, -2*y = 3*y - 5*z for y.
5
Suppose -4*c + 3 = -3*c. Let i be -4 + c - (7 + -7). Let y = i + 6. Solve 0 = q + 3*n - 2 - 3, 0 = y*q + 3*n - 25 for q.
5
Let k be 1/(-14 - 430/(-30)). Solve -4*y = 5*p - 0*p - 12, 4*p - y = -k for p.
0
Let m be (-2)/(0 + -2)*-6. Let q(l) = 2*l - 60. Let t be q(26). Let s = m - t. Solve -s*j + 4*w - 2*w = 6, -w = 2*j + 12 for j.
-5
Let d be (-2)/5 - (2 - (-1149)/15). Let i = d + 113. Suppose -3*h + 5*h - i = 0. Solve -x + g - 6*g = -h, -x = 2*g - 8 for x.
2
Let v be ((-10)/(-6))/((-1)/(-3)). Suppose -11380 + 11696 = 79*s. Solve 3*b = -c + 2*c - 7, -v*b + s*c - 21 = 0 for b.
-1
Suppose c - 11 = -p, -47 = -c - 8*p - 2*p. Solve -s + 0 = 3, -2*y = s - c for y.
5
Suppose -3*w = -2*y + 8, 8 = y + 2*w - 3. Let g be (0 + -16)/(y/(-7)). Solve 2*c = -3*x + 12, 4*x - c = -0*x + g for x.
4
Let h(r) = r - 19. Let v be h(-13). Let l = 46 + v. Suppose 12*g + 4 = l*g. Solve 4*o + g*a = 3*a, -o - a = 0 for o.
0
Let n = -28 - -34. Let g(d) = -d**2 + 8*d - 8. Let r be g(n). Suppose 3*f - r*f + 4 = 0. Solve -3 = 3*z, o - 5 = -z - f for o.
2
Let k = -33 + 16. Let a = k - -18. Let p be 176/96 + a/6. Solve 5*n + 3*w = -4, w - 1 = -2*n - p for n.
1
Suppose 4*n = -6 + 2, 209 = -5*v + n. Suppose -3*s - 2*s + 230 = 0. Let z = v + s. Solve 2*p - z = 0, 5 + 3 = -3*d + 4*p for d.
0
Let n(h) = 97*h - 289. Let t be n(3). Solve t*k = -3*y - 17, 4*y + 6*k + 25 = k for y.
-5
Suppose -236*q + 1092 = -52*q - 2*q. Solve -5*u - 5 = -3*w, 5*u = -q*w + 1 - 6 for u.
-1
Suppose -85*v = -82*v - 21. Let n be 4 - ((-35)/v + 1). Solve 3*s + 2*m - 3*m + n = 0, s + 2*m = 2 for s.
-2
Let g(p) = 5 - 1 - 3 - 9 + p**2 - 3*p. Let f be g(6). Let q(m) = 4*m**2 + 13*m + 7. Let j be q(-3). Solve -j*a - 17 = a + 2*z, f = -2*a - 4*z for a.
-3
Let o(c) = -c**2 + 6*c + 8. Suppose -4*d + 30 = d. Let i be o(d). Suppose -9*k = -i*k - 2. Solve j + q = 0, k*j + 4*q - 5 = 3*q for j.
5
Let w(g) = -g**2 - 3*g + 79. Let q be w(-10). Suppose 0 = -2*k + 62 - 12. Suppose k - q = 4*j. Solve -5 = 3*n - 5*c, -c + 20 = j*c for n.
5
Let t be (-8)/(-14) - 2080/(-35). Solve v = -5*z + 20, 55*v - 3*z = t*v - 12 for v.
0
Let a(w) = 5*w + 59. Let g be a(-9). Suppose -5*f + 13 = 32*y - 28*y, -5*y - 4*f + g = 0. Solve 9 = 3*m - 3*b, 2*m - 6*m = y*b + 18 for m.
-2
Suppose 4*n - 15 - 1 = 0. Let s(d) be the second derivative of -d**3/2 + 13*d**2/2 + 4*d. Let t be s(4). Solve n*a - 5*a - i = t, -5*a + 22 = -4*i for a.
2
Suppose 18*w = 19*w - 2. Suppose 12 = 4*c, -4*u + c = -3 - w. Solve -2*a - 2 = -u*y, -3*a - y - y = -17 for a.
3
Suppose -2 = -y, 2*y - 3*y = -2*u + 8. Solve 3*q + f = u*q, 0 = q - 4*f for q.
0
Let c(r) be the third derivative of r**5/60 + 5*r**4/6 + 19*r**3/3 + 4*r**2 + 10*r. Let d be c(-18). Solve 0 = 2*z + 3*f - 8, -2*z + d*f = 3*f - 4 for z.
1
Let k = -8896 + 8902. Let o be ((-3 - -2) + -3)*-1. Suppose 4*m + 3 = -3*w, -2*w - w + 18 = -3*m. Solve a - 14 = -w*s, 4*a - k*a = o*s - 18 for s.
5
Let q be (-7)/28*-4 - 2*-26. Suppose 0 = q*h - 61*h + 120. Solve -5*u + 3*t = -0*t - 19, -u + h = 5*t for u.
5
Suppose 26*f - 7722 = -0*f. Let t = f + -294. Solve 2*b + 20 = 4*h, 2*h = 5*b + 21 - t for h.
4
Suppose -56778*c + 56804*c = 0. Solve c = 5*x - 20, 2*x - 12 = -30*d + 28*d for d.
2
Suppose 25*t + 118 = 193. Solve 4*q = -4*j + 16, -4*j - 6*q = -t*q - 11 for j.
-1
Let c(j) = -j + 7. Let x be c(8). Let r be 2 - x - 3 - -12. Let g = -2158 + 2159. Solve 0 = -3*s - r, -o + 2 + g = -s for o.
-1
Suppose 2*u - 4 = 4*r - 6*r, -3*r - 2*u + 11 = 0. Let d be 9/6 + -2 + r/2. Solve 4*l + 8*i + 6 = 3*i, d*l + 4*i = -5 for l.
1
Let o(m) = -m**3 + 7*m**2 - 9*m + 1. Let g be o(4). Let z(t) = -4 + 5*t - 5 - g*t**2 + 14*t**2. Let a be z(-7). Solve y = -p - p - 4, 2*y = -a*p - 12 for y.
4
Let k = -38 + 43. Suppose k*f + 28 = 3*h, 2*h - 52 = -3*h + 3*f. Let i be 8/(-2)*17/(-34). Solve 5*d + 2*y + 11 = 0, -i*y = -d + 2*y + h for d.
-1
Let k(z) = -27*z + 407. Let t be k(15). Suppose n - 9 - 15 = 0. Let v = n - 9. Solve h = -5*d + 23, t*d + d - v = 0 for h.
-2
Let f(l) = -2*l**3 + 96*l**2 - 11*l + 532. Let a be f(48). Solve a*n = 3*u, -2*u = -u - 4 for n.
3
Suppose -3*i - 219 = 5*u, 3 = 4*u - 5*u. Let r = -48 - i. Solve t = -2*q + 5, -4*q = 5*t + q - r for t.
3
Let r = 181 + -154. Suppose -3*x - 4*y = -r, -24 = -5*x - 3*y + 10. Solve 0 = -j + q + 8, -x*j - 4*q = 3 - 16 for j.
5
Let j(q) = -q**3 + q**2 - 7*q + 2. Let p be (-46 - -1)*63/(-105). Let z = p + -27. Let t be j(z). Solve -5*x + 3*m - 10 = 0, 3*x - 1 = t*m - 6 for x.
-5
Suppose 3*y = -2*y - 20. Let j = y + 9. Let g(q) = q**3 + q**2 - 13*q - 3. Let r be g(-4). Solve j = 5*o - 5*n, 5 = -5*o - 4*n + r for o.
0
Let g = -376 - -260. Let z be 15/(g/32 - -4). Let d = 72 - z. Solve 4*k - d = 5*f, -1 = k - 4 for f.
-4
Let g(x) = -x - 3. Let b be g(-6). Let o = 377 + -390. Let q be o*(80/130 + -1). Solve -3*u + 8 = -b*m - m, -3*m - q*u = -23 for m.
1
Let j be 2/4*(-4 - -3)*-262. Suppose -5*x + 49 + j = 0. Let t be ((-6)/4)/((-18)/x). Solve -7*m = -2*m - 3*c + 14, -2 = t*m - 5*c for m.
-4
Let w be (-7170)/5019*(-21)/5. Let g = -2 - -2. Solve -4*z - x = -19, g = -3*z + x + x + w for z.
4
Let b(c) = c**2 - 6*c + 3. Let h be b(7). Let z = 12 + h. Let n = -14 + z. Solve 2*t - n = 0, -t - 4*t = -u - 20 for u.
0
Suppose 25*p = 26*p. Let t(w) = -w**3 - w**2 + 3*w + 5. Let c be t(p). Solve -9 = -3*a - c*n, a - n - 4*n + 17 = 0 for a.
-2
Suppose -420 = 6523*m - 6593*m. Let q = -13 - -17. Solve -3*i + z = -m, -q*i + z + 5 = -2 for i.
1
Suppose -35*q + 37*q - 14 = -2*t, -t = 2*q - 10. Solve -36*f = -38*f - q*l - 5, -5*l - 3 = 2*f for f.
-4
Let a(s) = -63*s - 754. Let p be a(-12). Solve 5*m = 3*l - 0 + 8, -m + 12 = p*l for m.
4
Let t = 8464 - 8462. Solve t*b = -2*g - 4, 4*b - 11 - 2 = 3*g for b.
1
Let m = 52 - 152. Let v be (-6)/8*m/15. Suppose 2*i = i + v. Solve 4*k - 6*k = -i*p + 1, 5*k = 10 for p.
1
Suppose -44 = -48*v + 148. Solve -6*b + 2*b = 4, -v*g - 19 = -b for g.
-5
Suppose 0 = 2*b + 3*y - 20, 2*b + 8 = -2*y + 24. Suppose 0 = b*k + 4*k - 5*k. Solve 2*s + 5*x + 15 = k, 4*x - x + 30 = 3*s for s.
5
Suppose 0 = 1434*h - 1426*h - 80. Solve -2 = -r, 3*r = 2*c + 4*r - h for c.
4
Let c be (-44 + 6)*(-2)/4. Let i = c + -17. Solve -15 = -5*s - 5*t, 4*t - i*t - 4 = -s for s.
2
Let a(l) = 2*l**2 - 4*l - 18. Suppose 45 = -4*n + 33. Let h be a(n). Solve 0 = -5*x - 5*k + 20, 2*x + 4*k - h = -0 for x.
2
Suppose 6 = -0*t + 2*t. Suppose 0 = 8*r - t*r - 10. Suppose 0 = -4*y - 24, 9*y = -5*c + 11*y + 27. Solve -u - r = -7, -c*z - u - 4 = 0 for z.
-3
Let t(f) = f**2 + 16*f - 9. Let b be t(-7). Let h = b + 76. Suppose 5*u = h*p + 22, -4*u = p - 8 + 3. Solve u*x - 4*o - 6 = 0, x - 7*o = -2*o for x.
5
Suppose -3*h + 0*h + 36 = 0. Let o(d) = 8*d + 74. Let p be o(-8). Suppose h = p*i - 8. Solve -4 = k, 16 = n - 7*k + i*k for n.
-4
Let w(b) = 20 + b + b - 3*b - b. Let i(x) = x - 1. Let t(c) = -4*i(c) - w(c). Let y be t(-10). Solve 0 = 2*f + f + u - 1, -y*u - 20 = 0 for f.
2
Let l = -2365 + 2370. Solve x + 66 = 2*y + 56, 2*y = l*x + 18 for x.
-2
Suppose -3*o + 732 - 656 = y, 8*o = -4*y + 204. Solve 0 = -q + 2*j + 4, -o*j + 22*j - 11 = -4*q for q.
2
Suppose 20*z = 21*z + 19*o + 17, -z + 23 = -o. Solve 4*x + z = r, 5*r = 4*r + 5 for x.
-4
Let u(t) = -7*t - 3. Let a be u(-1). Suppose -5*j - a*x = 12, -6*j + 3*j + 6 = -2*x. Suppose j = 3*g - g - 56. Solve -5*s = n - g, n + 5 - 3 = s for s.
5
Suppose -2*n - 5*w - 118 = -3*n, 0 = 2*n + 5*w - 266. Suppose -n = -33*t + 32*t. Suppose 0 = 4*q + 116 - t. Solve -a - 10 = 2*y, -q*a + 2*y = -8*a - 26 for a.
-4
Let x(v) = -2*v + 2. Let z be x(-5). Suppose 27*t - 119 = 20*t. Suppose -23 = -2*i - t. Solve z = -4*n - i*f, -2*n + 4*n - 4*f - 16 = 0 for n.
0
Let z be -9*10/315 - 46/(-14). Let d(r) = r - 9. Suppose 0 = -0*w - 4*w + 36. Let u be d(w). Solve -3*i - 7*b + 2*b + 15 = u, z = -4*i + b for i.
0
Let f be (0 - 0)/(4 + -11 + 5). Suppose -10 = -f*m - 2*m. Let v = 6 + -3. Solve -2*k + 1 = -v*u + 2, -11 = 3*k + m*u for k.
-2
Let w be (-39)/(-2) + (-95)/38. Solve 0 = -h - z - 2 - 3, -w = 5*h - 3*z for h.
-4
Suppose -4*j - 10 + 0 = 2*a, 0 = 5*a + 2*j - 15. Solve -5*i - 19 = -a*p + 6, 0 = -5*p - 3*i + 1 for p.
2
Suppose -13*f + 18*f = -165. Let g = -36 - f. Let k = 6 + g. Solve -k*q + t = 