7*j + 455. Let o be t(-6). Solve 4*n = 5*x - 1, -x + 14 = -o*n + x for n.
-4
Suppose -2778*j + 72 = -2769*j. Let r(u) = 3*u - 5. Let n be r(7). Let s(v) = -v**2 - 10*v + 3. Let w be s(-10). Solve -z - w*o = 3*z - n, j = 2*z + 4*o for z.
4
Suppose 0 = 5*g + 4*s - 40, -22*g + 3*g + 208 = 4*s. Solve 4*v + g = 0, -22 = 2*j + 4*v - 4 for j.
-3
Suppose 16 = 4*w, q - 246 = 3*q + 4*w. Let u = -118 - q. Let s = -66 + 68. Solve s*t + 18 = 5*n, 0*t = 2*n + 5*t - u for n.
4
Let d = -4 - -2. Suppose -3*m = 3*j - 5*m - 12, 5*j + 4*m = 42. Let g = j + d. Solve -2*h - 8 = 3*h + 2*w, 16 = 5*h - g*w for h.
0
Let t(g) = -g**2 + g - 3. Let s be t(4). Suppose 37 = 27*k - 476. Let n = s + k. Solve -2*h - 6 = -5*x, -4*h - 16 = n*x - 4 for x.
0
Suppose 2*h + 30 = -t, 4*h + 87 + 69 = -5*t. Let l = 88 + t. Let x = 64 - l. Solve 8 = 3*k - c + 3*c, -k + 2*c - x = 0 for k.
0
Let d = 5128 + -5126. Solve 0 = 5*x + d*l - 21, 5*x + l = -4*l + 30 for x.
3
Suppose 0 = 2*g - 17*a + 12*a + 9, -4*a + 20 = 0. Solve 3*q + f = -29 + 21, 4*q = -4*f - g for q.
-3
Let t(o) = 17*o**2 - 5*o. Let b be t(1). Let z be (10/(-4))/((-6)/b). Solve 2*x + 3*v - 20 = -v, -z*x + 2*v = 10 for x.
0
Let i(f) = 484*f**3 + 2*f**2 - 4*f + 2. Let r be i(1). Suppose -8*o + r - 452 = 0. Solve y + o*x + 8 = -x, 5*y + 5*x = 0 for y.
2
Let w(n) be the first derivative of n**4/4 - 13*n**3/3 + n**2 - 15*n + 72. Let z be w(13). Solve 0*g + z = 4*g - 3*u, -u - 2 = -3*g for g.
-1
Let g = -63 + 215. Let f = 154 - g. Solve k + 0*k - f*s = -13, -21 = k - 4*s for k.
-5
Suppose 129 + 46 = -5*f. Let j be (16/(-28))/(10/f). Solve -4 = 2*k - 3*x, -3*k + j*x + 3 + 1 = 0 for k.
4
Let p(c) = c**3 + c**2 - 1. Suppose 5*y + 0 + 10 = -4*j, 0 = 5*j + 4*y + 8. Let r be p(j). Let l = 4 + r. Solve 5*k = 2*h + l*k - 18, 0 = -5*h - 2*k + 17 for h.
5
Let q(c) = -c**3 + 86*c**2 - 152*c - 1342. Let a be q(84). Solve -1 = -5*j - 3*y, j - 5 = 3*y - a*y for j.
2
Let k(y) = -302*y + 3932. Let t be k(13). Solve -2*s + 27*h - 24*h = 3, 3*s = 5*h - t for s.
3
Let d(v) = v + 83. Let x be d(-9). Suppose -36*t = -34 - x. Solve t*r - 5*p - 14 = 0, 3*p - 1 = -4 for r.
3
Let g be (-41 + 3)/((-28)/(-8) + -4). Let j = g - 73. Suppose 6 = f + j. Solve -2*c + 3 = -f*m + 2*m, -8 = 2*m - 2*c for m.
-5
Suppose 0 = 128*y + 29 - 159 - 638. Solve 3*o - u = -y*u - 15, 3*o + 15 = u for o.
-5
Let l = 95 - 88. Let s = 31 + -14. Suppose -3*z = -3*k + 5*k - 19, -3*z - k + s = 0. Solve -l*r + 2*r = -z*i - 20, r = 2*i + 7 for r.
1
Suppose -2*u = 6*u + 48. Let g(x) = -x**3 - 3*x**2 + 15*x - 16. Let r be g(u). Solve 13 = 6*j - 3*j - b, -r*b - 2 = 0 for j.
4
Let v(f) = 123*f - 8466. Let j be v(69). Let o = 24 - 14. Let z = j - o. Solve -t = -2*h, 5*t - h = -7 - z for t.
-4
Let p be (632/40 + -15)/(4/10). Solve x = 5*x - 2*h + 30, x + p*h - 5 = 0 for x.
-5
Let k = -7346 + 7351. Solve -k*d - 5*f = -0*f + 10, -3*f = d - 4 for d.
-5
Let j(z) be the first derivative of -z**4/4 + 5*z**3/3 - 2*z**2 + 3*z - 21. Let o be j(4). Let b be 2/6*2 + 10/o. Solve 4*n = -2*v - 4, 2*n - b + 0 = 2*v for n.
0
Let i(o) = 6*o**2 + 389*o - 871. Let w be i(-67). Let m be (9/(-6))/((-6)/20). Solve m*n + 7 = 3*s, w*s = -3*n + 2*s - 5 for n.
1
Suppose -85 - 335 = -35*s. Solve 35 - s = 4*q + 3*y, -3*y + 3 = 0 for q.
5
Let w be 3/(-2)*(-4)/2. Suppose -20 = 4*f + 5*t + 7, 3*f + 3*t + 18 = 0. Let m be 4 - (11 + f)/4. Solve m*s - 3*p = -5*p, -w*s = p + 4 for s.
-2
Let w be 387/5 - 2/5. Let p be 81 - 5/((-55)/(-66)). Let t = w - p. Solve 5*v + q = -7, t*q + 3 = v - 0*q for v.
-1
Suppose 0 = 58*r - 135*r + 924. Solve 0 = -2*p - 2*t + r, 26 = 5*p + 12*t - 8*t for p.
2
Let o be 4 - (14 + 92/(-4)). Solve -4*q - 17 = -5*j, -q - j + o = -5*q for q.
-3
Suppose -12*a + 200*a = 9*a - 18*a + 197. Suppose 2*c + 6 = 2*v, -3*v = 2*v - 25. Suppose 1 = p - c. Solve p*q - q - o = -a, -11 = 4*q + o for q.
-2
Let t = 8994 + -8860. Solve 3*b = -2*m + 157 - t, -25 = -5*m - b for m.
4
Suppose k = -3*k + 200. Let p = -50 + k. Suppose p = 3*y - 5*d - 0 - 14, y + d - 2 = 0. Solve -3*b + 6 = -5*c, 2*c - 5 = y*b - 11 for b.
2
Suppose w = x - 133, 2 = 2*x + 6. Let b = 140 + w. Solve -4*z = b*m + 4, 4*m = 2*z - 0 + 2 for m.
0
Suppose 0 = 63*x - 58*x - 100. Let b be (-2)/(-7) + x/28. Let a be 2/(-5*b/(-10)). Solve -13 = -3*n - 2*n + 3*i, -16 = -a*i for n.
5
Let z be -6 + 46 + -6 - (3 - -2). Let g be (-17)/(-1) + (z - 23). Let p be 1/4 - (-2)/(-8). Solve h - 5*n + g = p, 3 = 3*h - n + 2 for h.
2
Suppose 15*h - 4*g = 336, 14 = -h - 5*g + 68. Solve -4*a + 5*s - h = 0, -153*a + 3*s = -154*a - 6 for a.
-6
Suppose -4*b = -3*w + 3, -90*b + 5*w = -91*b + 28. Solve 0 = -b*n - 5*a - 23, n + 4*a + 8 = -9 for n.
-1
Suppose -2*q = -15*q + 65. Suppose 5*b - 18 = -z, -b + q*z + 4 = 16. Let n be -2 + (-1 - 16/(-2)). Solve -c + 16 = 4*i - 3*c, b*c + 20 = n*i for i.
4
Let s = 19 + 37. Let p be (-2)/(-3) + (-158)/3. Let r = p + s. Solve r*q = 3*o - 17, -4*o + q + 8 = -2*o for o.
3
Let b be -1 + 7 - 51/17. Let k(v) = 2*v**2 - 7*v + 5. Let p be k(b). Solve 4*c - x = 16, -p*c + 2 = 2*x - x for c.
3
Let t be (-12)/10*((-26)/(-234))/((-1)/15). Solve -2*y + t*r = -10, 0*r - 5 = 2*y + 3*r for y.
2
Let z = -2739 - -2744. Solve -4*d = 3*k + 18, 4*k + 2 = 7*d - z*d for d.
-3
Let d = -14181 - -14191. Solve 4*b = -5*g - 13, 0 = -23*b + 18*b - d for g.
-1
Let y = -1 - 3. Let r be (12/y - 2)*(0 - 1). Suppose -q + r = 3*t, -t + 2 - 1 = q. Solve -5*k - 17 = 3*l, -2*k = -l + t*k for l.
-4
Let j(o) = -262*o - 5232. Let d be j(-20). Suppose -7 + 1 = -2*w. Solve 20 = 5*x + w*m - d*m, 3*x - 2*m = 13 for x.
5
Suppose 109*k + 275 = 246*k - 410. Solve 0 = 10*r - 7*r - 2*c - 4, 3*c + 6 = k*r for r.
0
Let v(o) = o**3 - 23*o**2 - o + 9. Let n be v(0). Solve -6*w - 5*k - 12 = -3*w, -3*w = 4*k + n for w.
1
Let b = -64 - -70. Suppose 4*f - b = -2. Solve 4 = g + 5*n, -4*g - 2*n + 17 = f for g.
4
Let n(t) = 9*t - 21. Let u(m) = -8*m + 21. Let b(z) = 5*n(z) + 6*u(z). Let y be 1/12 - 3776/(-768). Let x be b(y). Solve 4*o + q + q = 4, 2*o - 3*q = -x for o.
0
Suppose -7*w + 294 = 7*w. Let a be 14/w + (-16)/(-3). Solve -3*n = -z - 7, -4*n + 0*z + 3*z = -a for n.
3
Let x be (-3*16/48 - -4)/((-6)/(-20)). Suppose 2*f = 5*o + 7, -o - 22 = -3*f + 21. Suppose -21*l + f*l = -x. Solve 0 = -4*t - l*m - 28, 2*t - m + 8 = 2 for t.
-5
Suppose 0 = -5*h + 4*g + 440, 3*h = 9*g - 14*g + 227. Suppose 46*l = 18*l + h. Solve n = 5*n + 3*o + 29, -5*o = -l*n for n.
-5
Let l = -366 + 410. Suppose 5*m = l - 19. Solve 2*g - m*g + 13 = -4*q, -2*g + q + 2 = 0 for g.
-1
Let c be (-8)/(-28) + (-200)/(-35). Suppose 0 = 2*z + 7*t - 5*t + c, -z + 6 = -2*t. Solve 2*g - s - 17 = 5*g, 3*g + 5*s + 25 = z for g.
-5
Suppose 42*z = 41*z - 442. Let b = z - -444. Solve 0*d + 2 = -y + 4*d, b*d = 3*y - 4 for y.
2
Let h = -1994 - -2002. Solve 0 = a - 3*c + h, -4*a + 3*c - 13 - 1 = 0 for a.
-2
Let l = 105 + -39. Let v = l - 55. Let f(w) = 3*w**3 + w. Let t be f(1). Solve v = 5*o - z + 5*z, -t*z = -16 for o.
-1
Suppose a = 2*q + 3, 3*a - 6*a - 4*q = -9. Suppose -o = -a + 5. Let l be (o - (-3 - -2))*0. Solve 3*m = l, 3*h = 5*m + 4 + 5 for h.
3
Let p(h) = -3*h**2 + 12*h + 100. Let y be p(8). Suppose 0 = -0*x - 2*x + 32. Let r = -21 + 25. Solve 2*o = 4*o + 6, y*o + x = r*g for g.
1
Suppose -27*y + 43 = -26 - 66. Solve 3*n - 25 - 9 = y*o, -3*n - 1 = 2*o for n.
3
Let j(p) = -p**3 - p - 290. Let f be j(0). Let o = f + 320. Solve i + x + 8 = -2, 0 = 5*i + x + o for i.
-5
Suppose -f - 21 = -4*s, 13*s - 24 = 9*s. Solve 0 = -2*x - 5*v + 36 - 55, -f*v - 15 = 3*x for x.
-2
Suppose 1188 = -303*m + 8490 + 1485. Solve -24*o - 3*v - 20 = -m*o, 0 = o + 3*v + 14 for o.
1
Let u(l) = 25*l**2 - 47*l + 46. Let s be u(1). Solve 40*j + 4*y + s = 39*j, -5*j = 3*y + 35 for j.
-4
Let m(t) = t**3 - t**2 + 4*t - 5. Let f be m(2). Suppose -n - 4 = -f. Solve 0 = -4*p - l + 8, -n*l - 7 = -p - 2*l for p.
3
Let d = 33395 + -33392. Solve 38 = 3*f + 29, -2*w + d*f = 9 for w.
0
Let o(f) = -2*f**3 - 15*f**2 + 4*f - f - 1 + 13*f**2 + 3*f**3. Let i be o(2). Suppose -5*s = -i - 15. Solve s*c = -3*h - 23, -3*h + 3*c + 6 = 15 for h.
-5
Suppose -o - 4*o - 20 = 2*s, -4 = -2*s + o. Suppose s*r - 7*r = 0. Suppose 5*i - n - 1 - 7 = 0, -4*i - 3*n - 5 = r. Solve 8 = -3*g + k + k, -k + i = 0 for g.
-2
Suppose -g - g = 5*p, 2*p = -3*g + 11. Let j be (12 - g)/(-3*1/(-15)). Solve 