f = -k - 7, 5*k + y*f - 1 = 0 for k.
2
Let d = 11651 - 11646. Solve d*f = -5*y + 30, 0 = -3*f - y + 16 - 6 for f.
2
Let w be (875/49 - 15)/(4/14). Solve 2*l - 4*k = w, 0 = 5*l + 5*k - 4*k - 3 for l.
1
Suppose -11*l = -16*l + 1405. Let n = l - 277. Solve 0*p - 4 = -4*p + n*d, p + 2*d = 4 for p.
2
Let p(l) = -l**2 - 14*l - 10. Let n be p(-4). Let x = -12 + 16. Solve x*j - 10 = j + v, -2*j = 4*v - n for j.
5
Let c(d) = d**3 - d**2 - d. Let a be c(2). Let f(v) = -v - 19. Let p be f(-22). Suppose -196 = -p*s - 157. Solve -3*k + s = -a*u, -4*k + 23 = -4*u - 1 for u.
-5
Suppose 4*n = -4*u + 40, 3*n - 2*u - 5 = -0. Suppose 0*i = -2*i - 4*k + 12, -4*i + n*k = 2. Solve -2*y = p - i, 7*y - 12 = 3*y for p.
-4
Let v be 732/122*(-4)/(-3). Suppose 5*s - 2*h - 103 = h, 107 = 5*s - 2*h. Suppose s = t + v. Solve -4*b = b - t, 2*l + 15 = 5*b for l.
0
Let l = -19 + 11. Let s be 1*55/(-11) - (1 + l). Solve 3*q + s*c + 5 = 0, -5*c = 4*q - 0 - 5 for q.
-5
Suppose -2*a + 21 = 5*m, -3*m + a - 173 + 190 = 0. Suppose 5*g = -15 - 0, -i = -4*g - 30. Solve j - 3*b = -j - i, 4*j = m*b - 32 for j.
-3
Suppose 7 = -y - 0*z - 3*z, 2*y = -5*z - 11. Solve -n = 4*x + 23, y*n - 31 = 4*n + 5*x for n.
-3
Suppose 4*s + 4*s - 1544 = 0. Let g = -191 + s. Solve 2*d + 2*d - 10 = -g*l, -20 = -4*l for d.
0
Let s be 27/(-36) + (-59)/(-4). Let o be ((-12)/4 - -4)*s/2. Suppose -8*l + 3 = -7*l. Solve -l*i + 4*f = o, 0*i = 2*i + 2*f + 14 for i.
-5
Suppose 0 = -22*r + 8*r + 6*r. Solve 22 = 4*n - c + 7, r = 3*c + 9 for n.
3
Let f = 105 + -102. Suppose 0 = f*a - o - 11, 0 = -2*a + o + 7. Solve -l = 2*t - 8, -a*l = -3*l - 2 for t.
3
Let n be 2 + 0 - 2*3/(-6). Suppose 4*i - 5 = -2*k + 1, 9 = n*k + i. Solve -5 + 14 = 4*v - m, -m = -v + k for v.
2
Let f = -1540 + 1542. Solve 3*m = -f*q + 20, q + 5*m = 6*q for q.
4
Suppose -10*y + 7*y - 13 = -4*z, -2*z - 4*y + 12 = 0. Solve l - z*l + 12 = -3*h, 0 = 3*l - 5*h - 10 for l.
5
Let n = 164 - 168. Let k be n/4*(-20)/4. Solve k*y + 4*p = 10, -8 = -2*y - 2*y - 5*p for y.
2
Let s(x) = 3*x**3 - 134*x**2 - 60*x + 679. Let d be s(45). Solve 4*y + 4 = d*q, y + 3*q + 32 = 27 for y.
-2
Suppose 9 = 2*a - 1 - 0. Solve 5*j = -3*p, a*p = -0*p - 3*j - 16 for p.
-5
Suppose -26 = -2*p + y + 24, 4*p = 5*y + 88. Suppose 2*d + 3*o - 3 = 0, o - 6 = 9 - 16. Solve x + 12 = d*b, 4*b = 11*x - 6*x + p for b.
3
Let k = -1709 + 1744. Solve -5*j - k = 5*c, 53*j - 5 = 52*j + 5*c for j.
-5
Let t be -64 + 8 + (-8 - -4). Let m = t + 11. Let r = m - -62. Solve -3*q - r = -2*x + x, -31 = -4*x + 5*q for x.
4
Let a = 1939 + -1936. Solve 3*z + a = 8*k - 13*k, -k = 3 for z.
4
Let l be 7/(-14)*(3 + -55). Suppose 7*y = -6*y + l. Solve -4*n - y*g - 10 = 0, -3*g = 3*n - 0*n for n.
-5
Suppose -2*i + 70 = 5*t, 0 = -2*i - t - 19 + 105. Let a be (-1 - (-10)/4)*2. Suppose 0 = -a*n + 8*n - i. Solve 2*c = n - 1, c - 10 = -2*x for x.
3
Suppose 0 = -203*p + 750 + 1686. Solve i = 3*f - 5 + 10, -4*f = -4*i + p for f.
-1
Let g = 0 + 0. Suppose g = -v + 4*f - 18, -v = v + f - 9. Suppose -2*j = -v*k - 22, 0 = 3*j + k - 2*k - 23. Solve 5*z + j*m = m - 45, -m + 11 = -3*z for z.
-5
Let b(q) = -q**2 + 9*q - 16. Let g be b(6). Suppose -g*r - 8 = -z + 14, 2*z - 5*r = 44. Solve z = -3*k + 4*s + 3, 2 = -k - 3*s for k.
-5
Let x(w) = 2*w + 4. Let v be x(0). Let k be 6 - (1/(1/3) - 0). Suppose -q = -k*q - 3*j + 18, -v*q + j = -8. Solve 0 = s - q*y + 1, 6*s - 2*y = 3*s + 4 for s.
2
Let w = -11 + 12. Let c be 6 - (-2 + w)*-4. Let v be 0/((0 + -1)/(-3 + 2)). Solve v = -c*p - 2, -2*b - 3*b - 2*p = -13 for b.
3
Suppose -24*n + 24 = -16*n. Solve -a = -z - 12 + 13, -a = n*z - 3 for z.
1
Let n(t) = -t + 5. Let r be n(-9). Let k(c) = c - 9. Let v be k(r). Suppose -v*u = f - 57, f = 4*u + 2*f - 46. Solve 2*o + 3 = -2*j + u, 3*o = -4*j + 14 for j.
2
Suppose -8*q + 5*q + 45 = 0. Suppose 6*z + q = -3. Let b(t) = -7*t - 8. Let x be b(z). Solve -2*v + 3*r = -x, -5*v - 4 = 5*r + 26 for v.
-1
Let a = 1 + 63. Suppose 0 = 4*j - 2*g - 52, 5*j - 7*g + 4*g - a = 0. Solve 0 = -s + 5*v - 25, 3*s - s - v = -j for s.
-5
Let s be (2 + -2)/(10 + -17). Suppose -2*f + 3 + 1 = 0. Suppose k = -f*h - k + 18, -2*k + 8 = s. Solve 0 = -h*b - 2*u - 20, 2*u - 7*u = 0 for b.
-4
Suppose -4*d - 10 = 3*n, 180*n = 185*n + d - 6. Suppose -5*y - 2 = n*i - 14, 2*y + 4*i = 8. Solve -5*q - 2 = 3*l, -5*l - 5*q - 8 = y for l.
-4
Let h = 5429 + -5423. Solve -2*j - 3*j + 17 = -2*u, -2*j + u + h = 0 for j.
5
Let i be (((-1)/(-1))/(-1))/(-8 + 9). Let t be 5*i/(-5)*5. Let u = 0 - 0. Solve u = 5*r - 3*k + 20, 3*k + 20 = -10*r + t*r for r.
-4
Let z be (-12)/((-118)/(-56) + -2). Let i be (-1)/(-7) + (-320)/z. Solve -i*d - 7 - 2 = 4*o, -6 = 4*o + 2*d for o.
0
Let k be (420/9)/((-4)/(-6)). Let b = 74 - k. Solve 3*w - 8 = 3*d + 13, -5*d - b*w = 17 for d.
-5
Let q(j) = j**3 - 20*j**2 - 22*j + 444. Let b be q(20). Solve b*z - 4 = 2*u, 0 = -9*z + 7*z - 5*u - 22 for z.
-1
Suppose -2*v + 1 = -j + 8, -3*j = 2*v + 19. Suppose 389 = 35*w - 604 + 293. Let k be 8 + (12/w)/(j/15). Solve -3*y + 7 = -4*b, -4*b = k*y - 5 + 4 for y.
1
Suppose 0 = 3*j + q - 484, 5*q - 340 = -4*j + 2*j. Let y be 620/j - 3/(-24). Solve 0*c - 16 = -y*c + 4*l, -2*c - 2*l = -4 for c.
3
Let y(v) = -v**2 + 13*v + 49. Let f be y(16). Let a be (f + (-24)/(-40))*(-5)/(-2). Solve -2*o = 2*z + 4, a*z + 2 = -z - o for z.
0
Let q = 5285 - 5282. Solve -2*h + q*t = -9 + 1, -5*h + 2*t = 2 for h.
-2
Let f = -5590 + 5602. Solve -2*m - f = -2*k + 6, -3*k = 4*m + 1 for k.
5
Suppose 6*m - 47 + 9 = -13*m. Solve -3*x + 5*q - m*q = -12, 5*x + 4*q - 20 = 0 for x.
4
Let j be (-12)/(-42) - (-3123)/21. Let g = j - 220. Let x = g - -75. Solve -x*z + 2*b = -2, -b + 32 = 4*z + 3*b for z.
3
Let s(k) = 117*k + 5618. Let j be s(-48). Solve 2*z - j*v = 16, 0 = 3*z - 45*v + 43*v - 20 for z.
4
Suppose -3*p + 36 = 6. Suppose -6*q = -8*q. Suppose q = -14*f + 53 + 3. Solve f*r - p = 2*u, 4*u + 2*r = -r - 9 for u.
-3
Let b = -3663 + 3675. Solve b*l + 7 = d + 11*l, 3*d + 3*l - 9 = 0 for d.
5
Let g(d) = -2*d**2 - 16*d - 11. Let s be g(-7). Let t(j) = -2*j - 12. Let f be t(-6). Solve -x - 5*k - 28 = -f*k, 2*x - 9 = s*k for x.
-3
Let m(u) = 32*u + 205. Let w be m(-7). Let d(y) = 16*y + 306. Let c be d(w). Solve -s = c*f + 5, 4*f - f = -2*s - 5 for s.
5
Suppose 4*p + 7 = -2*i + 29, -3*p = 6. Suppose 2*b + i = -b, -5*m - 4*b + 580 = 0. Suppose -13*x + m = 2*x. Solve 5*h = z - 3 - x, 0 = -3*h - 4*z - 25 for h.
-3
Let o = 22 + -20. Suppose 0 = -3*h + l - 273, 0*h - 2*l = -o*h - 182. Let p = -91 - h. Solve -5*m + s - 22 = 5*s, m - 4*s - 10 = p for m.
-2
Let t = 83 - 141. Let f be (-2)/9 - t/18. Suppose f*j + 0*i = 2*i + 4, 0 = -j - i + 3. Solve j*g = -q - 1, -2*g + 3 = -6*q + 3*q for g.
0
Let m(p) be the second derivative of 3*p**3/2 + 11*p**2/2 - 216*p. Let b be m(-1). Solve b*v - 4*z = -2, -5*v - 4*z = -2*z - 31 for v.
5
Suppose -2*r - 25 = 3*r, -2*b + 3*r - 187 = 0. Let d = b - -111. Suppose -3*i + 23 = -d. Solve 5*o + 3*p - 11 = 4*p, -5*p - i = -3*o for o.
2
Let h = 29519 - 29517. Solve -5*j + 25 = h*f, -65*j + 25 = f - 60*j for f.
0
Let x(d) = 10*d + 12. Let j be x(9). Let f be (-2)/(-11)*11 - 0. Suppose 8*t = f + j. Solve 2 = -a - g, -t = 2*a + 3*g - 4*g for a.
-5
Suppose 0 = -3*k + 6, -3*t + 231*k = 236*k - 25. Solve -3*h - 4*l - 9 = -8*l, -4*l = t*h - 49 for h.
5
Let q = -10 - -76. Suppose -2*d + 5*n + q = 0, -4*n + 31 = d - 6*n. Solve 4*j - d = -3*i, 0 = -5*i - 3*j + 14 + 17 for i.
5
Suppose 26*s + 261 - 321 = 434. Solve -18 = 2*f + 4*b, 3*f + 3*b = -s + 7 for f.
1
Let z be 21 - (0 + 6 + -1). Suppose -z*p + 13 + 3 = 0. Solve 3*w + p = 5*f, -3*w - w + f = 7 for w.
-2
Let h = -1089 + 1094. Suppose -3*u = -0 - 18. Let s be 22/(-1)*u/(-4). Solve h*x + 15 = -c, -x - 3*x = 5*c + s for c.
-5
Let i = 23 + 6. Let g be 20/(-110) + (-62)/22. Let n be ((g + 2 - 0) + 2)*26. Solve 2*d + 6*l - l = i, -3*d - 4*l = -n for d.
2
Suppose 0 = -0*n - 5*n - 30. Let j be ((-9)/(-4))/(n/(-32)). Let c = 3717 + -3713. Solve 2*q + 4*g + 1 = 7, 4*q - c*g = j for q.
3
Let l(y) = -y**3 - 8*y**2 + y + 10. Let p be (-10 - -12) + (-8 - 2). Let d be l(p). Let n be (20/16)/(d/40). Solve 3*a = -2*f - 15, f = -2*f - 5*a - n for f.
0
Suppose -13*a - 50 = -38*a. Solve a*n = -v - 6, -2 = 5*v + 2*n + n for v.
2
Suppose -2*d - 2 = 5*j, 2*d - 4*d + 14 = -3*j. Let z be 3/(-15) + (-162)/(-10). Let w