41, -443 = -4*a - k. Let f = a + -109. Solve 0 = -0*j - j - 5*d + 17, -2 = f*j + d for j.
-3
Let d = 57 - 53. Suppose -d*k = -9*k + 20. Solve -5*x - 11 = -2*c, -7*x - k*c + 8 = -3*x for x.
-1
Let b = 35 - 14. Suppose -4*i + b = 5. Solve -i*s + x - 3 = 6, 0 = -2*s - x - 9 for s.
-3
Let z(x) = -10*x + 72. Let a be 150/22 + (-26)/(-143). Let l be z(a). Let j(o) = o**2 - 8*o + 1. Let r be j(8). Solve 8 = -l*p - w - 3*w, -w = r for p.
-2
Let m(j) = j**2 + 61. Let v be m(0). Suppose -2*c - 5*s = -2*s - 27, s = 4*c - v. Solve -w + 0 = o - 6, -c = -w - 4*o for w.
3
Let m = 160 + -155. Solve -5*p + 30 = m*x, -5*p - 3*x = -9 - 15 for p.
3
Let p be 32/6 - (-116)/(-87). Suppose v - 2*k - p = 3, -2 = -2*k. Solve -4*a + b = -v, 2*a + 0*b - 7 = b for a.
1
Let q(g) = 3*g**2 + g - 1. Let y be q(1). Suppose 0 = y*x + 2*x - 20. Let r be 15/20*x - 0. Solve -t = r*u - 9, u = -u + 2*t + 6 for u.
3
Let h be 10/6 + (5/3)/5. Suppose -3*v = h*i + 4, 3*i + 2*i - 24 = v. Solve 2*l - i = w + w, -8 = 3*w - l for w.
-3
Suppose 210*l = 212*l - 6. Solve -3*g - 32 = -7*g - 4*w, -l*g - 4*w + 27 = 0 for g.
5
Let j be (-12)/(-32) + 65/40. Suppose 0*x + 2*x = 0. Solve x = -j*h - 3*k - 16, -52 = 5*h + 3*k - 21 for h.
-5
Let a(u) = 2*u**2 + 3*u - 2. Let n be a(-2). Let o(h) = -h - 3. Let i be o(-7). Let d = 6 - i. Solve -4*j = -d*v - 14, n*v = v - 4*j + 17 for v.
3
Let g(s) = s**3 - 6*s**2 + 8*s - 10. Let f be g(5). Suppose -2*w + f*q = 5, 3*w + 3*q - 15 = 30. Solve 4*d + 17 = -z, -w = 5*z + d - 1 for z.
-1
Suppose 35*q = -64 + 309. Solve -q*i = -2*i, 12 = -3*f + 4*i for f.
-4
Let n be (3 - 2)*(-17 - -12). Let l(b) = b**2 + 4*b. Let h be l(n). Solve -h*k - 6 = d - 0*d, 0 = k + d - 2 for k.
-2
Let z be ((-12)/14)/(-3)*14. Suppose z*r = 2*g, 4*g - 4*r - 6 = g. Solve c = 5*x - 11 - g, -3*c = -2*x + 12 for x.
3
Let r be (12/30)/(1/5). Suppose -26*z = -27*z + r. Solve -b = 4*w + 4, -z*w - 2 = -3*b + 2*b for w.
-1
Suppose -17 = 2*j - 5*b, -4*b = -4*j - 3*b - 7. Let h be 3 + (-4 - (20 + -3)*j). Solve -2*o - 2*t + 4 + 10 = 0, 4*t = -o + h for o.
4
Suppose 0 = -2*c - 2*g + 30, -g = 5*c + g - 60. Solve 0 = q + 3*y - c - 4, -4*q - y + 23 = 0 for q.
5
Suppose 3*j - 71*d - 8 = -72*d, -2*j - 4*d = -2. Solve 0 = u + 3*z - 0 - j, -4*z = u - 5 for u.
-3
Let h(u) = -39*u + 3. Let w be h(1). Let z = -31 - w. Solve 2*r + 1 = -z*y, 4*y = -4*r + 5 - 1 for y.
-1
Suppose s - 2 = 2*o - 0*o, 3*o - 1 = 2*s. Let q(r) = 9*r**2 + r. Let z be q(1). Let y be (z/s)/(2/(-8)). Solve 10 = 2*c + 2*k, -y*c + 3*c + 3*k = 0 for c.
3
Suppose -15 = -2*c - c. Let m be (5/((-25)/(-5)))/(1/c). Solve 2*k + 0 = -3*a + m, 0 = 4*a - k - 3 for a.
1
Suppose -t - c + 50 = 0, -t - 3*c + 60 = -0*t. Suppose -3*h + 57 - t = 0. Solve 5*w + 10 = -r + 35, h*r = 4*w + 4 for r.
5
Let j(w) = -w**2 - 5*w + 5. Let d be j(-5). Suppose -6 = -2*t, -p + 15 = 5*t - 2. Solve -d*v = 3*m + 31, -v = -2*m + p*v + 11 for m.
-2
Let u = -9 - -11. Solve 4*l + 2*k = -u + 8, -2*k = -2*l + 18 for l.
4
Suppose -s = -3*b + 19, -13*b - 3*s - 29 = -18*b. Solve -14 = -2*f - 2*l, 0 = 4*f - b*l + 10*l - 24 for f.
3
Suppose -y + 4*a + 12 = 3*y, -y + 3*a + 3 = 0. Suppose -y*r + 2*r = -4. Solve -2*q = 4*z + 2*q - 24, r*z - 25 = -5*q for z.
5
Suppose 4*d - 38 = 3*f, -5*f - 2*d = 16 + 4. Let x = f + 11. Solve 0 = -3*o - 2*k - 4, -x*o = -o - k + 9 for o.
-2
Let k(g) = 10*g**2 + 66*g - 26. Let s be k(-7). Solve -s*c = y - 2, -4*c = 2*y - 3*c + 5 for y.
-4
Let r(o) = -o. Let u be r(-3). Suppose 9 = 4*c - u. Solve z - 4*p = c, z + 3*p - 3 = -0 for z.
3
Suppose 41*u + 18 = 59. Let x = 12 + -8. Solve 0 = -x*i + 2*c - u + 9, i = -3*c + 9 for i.
3
Let v(x) = -x**3 - 19*x**2 - x - 14. Let m(o) = o**2 - 24*o + 25. Let z be m(22). Let g be v(z). Solve -2*q - g = 5*u, 3*q + 6 = -5*u - 4 for q.
-5
Suppose -z - 1810 = -1814. Solve -l - 5*d = -1 - 19, 5*l - z*d = 13 for l.
5
Let q(y) = y**2 - 3*y - 7. Suppose b + r = -0*b - 6, b = 4*r - 21. Let c = 14 + b. Let i be q(c). Solve 0 = 3*z + 4*o - 1, -z + i*z - 1 = -3*o for z.
-1
Let p = 20 - 7. Suppose p*l = 15*l - 8. Solve d + 10 = -l*v - 2, 2*d = -4*v - 8 for d.
4
Let a(g) = 7*g + 12. Let l(k) = 20*k + 35. Let s(b) = -17*a(b) + 6*l(b). Let u be s(0). Solve -2*q = -2*m - 7*q + 25, -2*q = -u for m.
5
Let g = 270 + -267. Solve 3*j = -p + 2*p - 12, -g*p + 1 = -2*j for p.
-3
Let s be (-3 - -2)*(3 + -7 - -4). Suppose -3*a = -s*a - 9, 0 = -t - a + 7. Solve -4*x = i + 2, -x + 2 = i + t for x.
0
Let k(z) be the first derivative of -2*z**2 - 3. Let b be k(3). Let c = b + 36. Solve 4*x = 5*j - 3*j - c, x + 4*j = 3 for x.
-5
Let x(u) = -2*u + 12. Let k be x(5). Suppose 4*i - 12 = -4*v, -3*v = 2*i + k*v. Suppose -4*d + 43 + i = 0. Solve 5*t = 2*n + 12, 0*n = -2*t - n + d for t.
4
Let v(k) = k - 3. Let o be v(3). Suppose 2*g - 2 = 0, 0*g - 236 = 4*t + 4*g. Let h = t - -62. Solve -c = -3*y + 8, h + o = 2*y + c for y.
2
Suppose -10*c = -12*c - 18. Let q = c + 14. Solve 4*g + 4*t + 32 = -0*t, 4*g - q*t = 13 for g.
-3
Let c be -4 + (8 - -2) + -4. Solve -5*y = -2*b + c, 0 = 4*b + 3*y + 2*y - 4 for b.
1
Let g be (-3)/(-15) + (-63)/(-35). Solve -g*n + 3*n - 2*t + 1 = 0, -5*t - 4 = 4*n for n.
-1
Suppose 680 = -3*o + 695. Solve -p + 0 = -o*j + 6, -4*j + 12 = p for p.
4
Let d(v) = v**3 + 5*v**2 + 3*v - 3. Let z be d(-2). Solve -z*q = -5*w + 10, -2*w + 3*w - q - 4 = 0 for w.
-1
Let c(r) = 3*r - 22. Let d be c(9). Suppose 10*o - 35 = -d. Let f = 11 + -8. Solve -v - 2*s = -0*s + 1, 0 = -v - f*s - o for v.
3
Let r(b) = b + 2. Let c be r(-3). Let l be (2 - c)/(3/4). Solve -2*a - 7 = m, -3*a - 4*m = -l*a + 1 for a.
-3
Let t = 257 - 256. Solve -2*u - t + 13 = -3*v, -3*u = -v - 4 for v.
-4
Let u = -23 - -26. Let i be (-3 - 20/(-8))*-20. Let t = -10 - -15. Solve -15 = u*l, -t*a - l - 2*l + i = 0 for a.
5
Let r(c) = c - 1 - 3*c + 3*c. Let t be r(6). Let b be (-2)/20 + 1530/300. Solve o + 10 = -t*x - b, 4*x + o = -13 for x.
-2
Let v = -609 - -616. Solve y - 7 = 5*r + 10, -4*y - 5*r = v for y.
2
Let c(l) = -11*l - 47. Let v be c(-5). Solve v*g + 5*z + 19 = 10*g, -2*z - 8 = -g for g.
2
Suppose 24 - 61 = -i. Suppose 2*r - i = -3*s, 3*r + 37 = 3*s + 100. Let o be 2/(-4) + (-10)/(-4). Solve 4*l = 4*x + r, -3*l + 0 + 5 = o*x for l.
3
Suppose 5*o = 5*i + 55, 2*i = -o + 1 + 1. Let g(k) = k**2 - 8*k + 2. Let x be g(o). Let r(y) = y + 4. Let v be r(3). Solve c = -m + v, -m + c = m - x for m.
3
Let g be (1 - 3) + 56/(6 + -2). Solve 2*d + 4 = -f, 2*d - g = 5*f - 4 for f.
-2
Let o(d) = d**2 - 5*d + 9. Let n = -10 + 14. Let u be o(n). Solve 4*x + 6 = 2*k, 4*k - u*x + x = 16 for k.
5
Let o(h) be the first derivative of -5*h**2/2 + 37*h - 13. Let n be o(7). Solve 3 = -c, 2*c + 20 = 2*t - n*c for t.
4
Suppose -3 = z - 4*z. Let j(a) = a - 7. Let t be j(9). Let s = z + t. Solve -4*p + 8*f = 3*f, 0 = s*p + f + 19 for p.
-5
Let w be 57 - (36/4)/3. Suppose -w*o + 50*o + 8 = 0. Solve -4*g - 16 = -o*k, 0*k = -3*k - 5*g - 31 for k.
-2
Suppose 0 = 5*n + 2*y - 4*y - 61, 0 = 4*n + 2*y - 38. Suppose -3*a - 2 = -2*i, 3*i - n = -5*a + 11. Solve 22 = -4*u + a*p, u + p + 13 = -3*u for u.
-4
Let t(k) = 35*k**2 - k + 1. Let d be t(1). Suppose d = 6*m - m. Suppose m = -4*s + r + 24, -s = 4*r. Solve 13 = s*h - n, h = -0*h + 5*n - 11 for h.
4
Let n(k) = -2*k**3 + 25*k**2 + 11*k + 28. Let s be n(13). Solve -3*x - 4*u = -2*x - s, 0 = 4*x - 2*u - 8 for x.
2
Suppose 239*p - 230*p = 18. Solve -5*m = p*n + 14, 23 = -5*m - 0*n + n for m.
-4
Let n(a) be the third derivative of a**5/60 + a**4/6 - 7*a**3/6 - 9*a**2. Let k be n(-8). Solve 3*y = 2*f - k, 0 = 2*y + 3*y + 25 for f.
5
Let w(j) = 12 - 8*j**2 - 8*j - 10*j**2 + j**3 + 11*j**2. Let d be w(8). Let m = 14 - d. Solve -4*r = r - m*b + 22, -8 = 3*r + 4*b for r.
-4
Suppose -d = -2*x, -4 - 2 = -5*d + 4*x. Let t = 2 + 7. Let i(v) = -v**2 + 10*v - 9. Let q be i(t). Solve 3*h = o + 8, 5*o + 1 = d*h - q*h for h.
3
Let j be 8/(-3)*48/32. Let l be j + 1 - (-1 - 6). Suppose 3*s + l = -2*x + 14, -5*x + 25 = -s. Solve k - n - 1 = s, 2*k + 2*n = 7*n + 17 for k.
-4
Suppose -75 = -12*v - 3*v. Suppose 4*w = -26 + 6, -c - 22 = v*w. Solve -5*x - 22 = -r, -2 = -2*x + 5*r + c for x.
-5
Let i = -67 + 71. Let b = -2 + i. Solve -5*u = -4*o + 1 - 20, -b*o = -5*u + 17 for u.
3
Let z(g) = 9*g - 5. Let d be (-12)/(-9)*(3 + 9/(-4)). Let s be z(d). Solve -14 = s*r + 2*l + 4, -r = -3*l - 6 fo