2*y - 13 = 17. Let u be k - -6 - (-3 + -1). Solve 0 = -2*n - 3*i - 15, -n + i + u = 1 for n.
0
Let p be 3 + 0 + (0/(-4))/2. Suppose -p*z + 4 = -4*u + 2*z, -5*u = 4*z - 36. Solve 5*l - 2*a + 24 = 0, -3*l + u*a - 20 = -0*a for l.
-4
Let u be 1740/(-406)*14/(-4). Solve -j - x = -1, -u = -2*j + 4*x + 5 for j.
4
Let t = -168 - -183. Solve 0*u - 2*w = -u - t, -4*u - w = 15 for u.
-5
Let p = 460 - 457. Solve -j - 2*z - 3*z + 19 = 0, 3*z - 15 = p*j for j.
-1
Suppose -25 = -p - 9. Suppose -16 = -4*b + p. Let h be ((-12)/10)/(12/(-40)). Solve 5*t + j = h*j - 16, 5*j - b = -t for t.
-2
Suppose 4*o - 21 = -0*o + 3*m, -21 = -2*o + 5*m. Suppose -7*h = -o*h - 8. Suppose -5*a + 51 = -h*a. Solve -5*i = -x - a, 32 = -0*x + 4*x + 5*i for x.
3
Suppose -4*i = 4*a - 24, i - 9 = a - 7. Solve 4*m - a = 3*o + 20, 2*m - 4*o - 16 = 0 for m.
4
Let p be (-5)/20 - 21/(-4). Let y be (-4 + p - 0) + 1. Solve 0 = 2*x - 3*c - 1, -x - y*c + 4 = -0 for x.
2
Suppose 5*m = m. Suppose r + 1 = -v, 4*r - 20 = -m*r + 4*v. Let w = -389 + 393. Solve -r - 1 = -i - z, 2*i - w*z = 18 for i.
5
Let f be (-2)/(3*1/(-30)). Let a be 12*((-55)/f + 3). Solve -2*c + 10 = -a*m + 3, -4*m - c - 13 = 0 for m.
-3
Let u be ((-1)/6)/(2*1/(-12)). Let y(a) = 6*a - 3. Let b be y(u). Solve -n - b*o + 10 = 0, -2*n = 4*o + o - 15 for n.
-5
Let s(l) = -2*l + 21. Let w = 87 + -77. Let j be s(w). Solve -4*f - j + 15 = -2*z, -3*f + 12 = -3*z for z.
-1
Let s = -75 + 79. Suppose -s*h - 11 = -19. Solve -3*u = 2*u - 2*z - 33, -u + h*z = -13 for u.
5
Let w(u) = -u**3 - 24*u**2 + 20*u - 120. Let v be w(-25). Solve v*d + 0*p - 35 = 4*p, -21 = -2*d + 3*p for d.
3
Suppose 33 = 3*l - 21*j + 24*j, 2*j - 10 = 0. Suppose 4*o - o = 0. Solve s + o = -4, 2*h + l = -2*s for h.
1
Suppose 106*z = 86*z. Solve 5*w - j - 29 = z, 0 = 3*w + 2*j - 5 - 2 for w.
5
Let i = 13 - 11. Let z be (0 - i)/(12/(-30)). Suppose 4*j = 3*v + z, -35 = -4*j + 2*v - 5*v. Solve 10*u - 31 = -3*n + j*u, 4*n = 5*u - 17 for n.
2
Suppose 0*c + 4*c - 220 = 0. Let m = 364 + -364. Suppose 3*o - c = -4*q, -o - 3*q + q + 21 = m. Solve -2*j + h + 0*h = -o, -j - h - 1 = 0 for j.
4
Let y = 395 + -390. Solve 0 = y*p - 5*n + 10, -5*p - 4*n + 5*n = 14 for p.
-3
Let d(v) = -6*v**2 + 70*v - 154. Let n be d(8). Let f = 1 - -20. Solve -n = -3*p - 7, -2*m - f = -3*p for m.
-3
Suppose 2*t + 85 = 5*r, 5*r = -4*t + t + 110. Suppose -2*h - 4*x + r + 9 = 0, -5*h + 84 = -4*x. Solve -v + h = 5*s, v - 3*v - 10 = -4*s for s.
3
Let f = 1872 - 1859. Solve 0 = i - 2*g - 5, -i + f = -4*i - g for i.
-3
Let w be (5/1)/(680/272). Solve 4*t = 8, -2*u - w*u - 3*t = -22 for u.
4
Let c(n) = -n**2 + 5*n + 1. Suppose 5*t = 14 + 11. Let j be c(t). Suppose 11 = 5*i + j. Solve -b - i*a - 1 = -7*a, -5*b - 4*a - 5 = 0 for b.
-1
Suppose 0 = 15*g - 10*g - 3*a - 39, 4*g - 34 = a. Solve 5*p = -3*n + 10, -5*p - 2*n + g = -6 for p.
5
Let t(m) = 33*m**2 - m - 2. Let j be t(1). Solve 5*h + 5*d = j, 3 = d + 1 for h.
4
Let f be -1*3/6*46. Let o = f + 26. Suppose -o*t + 16 = t. Solve t*j = 4*r, -j = -4*j + 4*r - 2 for j.
2
Let n(k) = -k. Let q(s) = -9. Let i(w) = 2*n(w) + q(w). Let d be i(-5). Solve -d = 3*a - h, 0 = -2*a - 2*a + 3*h + 7 for a.
-2
Suppose -3*m - 128 + 47 = -3*c, 0 = 2*m - 5*c + 48. Let k = m - -20. Let d = 12 + k. Solve 0 = d*y - 3*u - 1 - 2, 0 = 2*y - 3*u for y.
3
Let n be 2 + 6 + (-7 + 1 - 1). Solve -2*s - 3*f - n + 4 = 0, 2*s - 4*f = 10 for s.
3
Let y(k) = -k**3 - 10*k**2 + 31*k + 90. Let g be y(-12). Solve 3*f = -12, -3*s + g*f - 5*f = -1 for s.
-1
Let h = -7 - -2. Let n(k) be the third derivative of k**5/60 + 5*k**4/24 + k**3/3 + 11*k**2. Let y be n(h). Solve 2*i - y*z + 17 = -3*i, -5*i = 5*z + 45 for i.
-5
Let m be (-1)/8 - (-1)/8. Suppose -a - 2*k + 16 = m, 3*a - 47 + 1 = -5*k. Solve 0 = 2*n - 3*u - 11 - 0, -4*u = a for n.
1
Suppose -5*j + 41 = -2*j - i, -2*j = 2*i - 14. Suppose 9*o - 6*o = j. Solve -4*f + 16 = -2*g - 4, 15 = o*g + 3*f for g.
0
Let q(o) = 6*o + o**2 - 2 - 4 - 1 - 2. Let p be q(-9). Let h be (-20)/(-9) - p/81. Solve -h = -2*b, -10 = -u - 4*b - 2 for u.
4
Let j = -38 + 43. Suppose -j*x = 40 - 50. Solve -x*q = s + q + 4, -4*s + 3*q = 16 for s.
-4
Let r(d) = -2 + 3*d**2 - 2*d**2 + 5 + 16*d. Let o be r(-16). Suppose -u = u + o*f - 40, 2*u + 5*f = 40. Solve 5*n - 3*n + u = -4*h, n = -5*h - 19 for h.
-3
Suppose -26*u + 38 = -66. Solve 2*z = u*b - 18, 3*z - z + 13 = 3*b for z.
1
Let c = -68 + 81. Solve -5*n + 3*g = -17, 4*g - c = -3*n + 3*g for n.
4
Let v = -39 + 39. Suppose -5*o + v*n = 3*n - 53, -3*o = -4*n - 26. Solve -q + o = i + 4, -q + 3 = 0 for i.
3
Let t be 12/(-4) - (28/(-7) + 1). Solve -3*c + t*q - 2*q = 6, 2*q = 0 for c.
-2
Suppose -5*u + 22 = -2*b, 3*u - 8 = -2*b + 2. Suppose -2*k - u*q = 4, 0*k + 5*k - 6 = -2*q. Solve 0*v - k*h + 17 = 3*v, 0 = 2*v - h - 2 for v.
3
Let s(r) = -2*r**3 - 1 + 28*r**2 - r - 28*r**2. Let n be s(-1). Let a be (-6)/n*(-1 + 0). Solve a*o + 15 = 0, 8*o - 3*o = -2*h - 17 for h.
4
Suppose -5*w + 10*m - 9*m = -18, -9 = 3*m. Solve 0 = -2*f + 4*d, f = 5*f - w*d for f.
0
Let o = 369 + -364. Solve 3*u - 13 = 2*u - 2*b, -u = -o*b + 22 for u.
3
Suppose 10 + 14 = 2*i. Let h = -7 + i. Solve 4*x - 16 = 0, -h*x + 7 + 1 = -4*z for z.
3
Let r be -1 + 0 - (-18 + -3 + -1). Let i = r - 18. Solve 7 = -4*j + i*x + 2, 3*j + 20 = -x for j.
-5
Let q(z) = 5*z**2 + z - 1. Let a be q(-1). Suppose 0 = 5*r - 7 - a. Suppose 12 = s + r*s. Solve 3*o - 2 = -s*d, 5*d + o + 4*o = 5 for d.
-1
Let x = -252 - -254. Solve 2*p - x*z - 3*z - 12 = 0, p + 12 = -2*z for p.
-4
Suppose 38*t = 160 - 8. Solve -j = p, 3*j - t*p = -3*p - 12 for j.
-3
Let g(y) = 5*y - 2. Let s be g(1). Solve -9 = 3*f - 3*c, -4*c = 4*f - 3*f + s for f.
-3
Let k = -48 - -56. Suppose -k = 3*l - 5*l. Solve 5*g - 14 = -l*p, 7*g - 3*p - 5 = 3*g for g.
2
Suppose 4*o - 350 + 342 = 0. Solve -5*y - 2*b = -o*y + 10, -5*y - 2*b = 14 for y.
-2
Let f(h) = 46*h + 194. Let r be f(-4). Solve 5*k - 5*i - r = 0, -4*k - 22 = -0*k + 2*i for k.
-3
Suppose 0 = -f - z - 0 - 6, -4*f = 5*z + 21. Let i be 22/(-8) - 3/12. Let h be f/6*8/i. Solve -r + q + 4 = -2*r, -q = h*r + 13 for r.
-3
Suppose 0 = 3*a - 5*n + 5, -10*a + n - 1 = -6*a. Solve -10 = -2*h - 2*z + 4*z, -5*h + 4*z + 20 = a for h.
0
Let j(o) = 5*o - 16. Let r be j(4). Solve 0 = 3*d - 3*f, 2*d - r = -0*f + 4*f for d.
-2
Suppose 0 = 2*h - 2*g, 0*g = 3*h + 2*g - 25. Solve -5*j - 2 - h = 2*w, 3*w - 5*j = 2 for w.
-1
Let x be (4 - 2) + (-8 - -3). Let t be (-11 + 11)/(-1 - x). Solve 4*n - 20 = 0, -y = -t*y + 3*n - 10 for y.
-5
Let m be (20 + -7)*(1 - 0). Let t = m + -36. Let i = -18 - t. Solve -4*a + 14 = 5*l - 2, i*l = 5*a - 20 for a.
4
Let d(v) = v**3 - 5*v**2 + 6*v - 4. Let h be d(4). Suppose -h*j = -5*j + 2. Solve -5 = -5*g - n, 5 = j*n - 3*n for g.
2
Let n = -172 + 177. Solve 3 = 4*a - n*j - 6, 0 = -a + 2*j + 3 for a.
1
Suppose -4*a + 6 = 5*v + 29, -2*a - 15 = -v. Let m(s) = s**3 - 7*s**2 + 9*s - 6. Let x be m(6). Let b = a + x. Solve w + 3 = 0, 3*w = 2*h + 8*w + b for h.
5
Let i = -18 - -17. Let z = i + 5. Solve 3*n = 3*r + 4*n - 13, -z*n = r + 3 for r.
5
Suppose 3*s + 0*f - 26 = 2*f, -5*f - 32 = -2*s. Let z(p) = -p - 7 + 9 - s. Let u be z(-6). Solve -t + 4*q = -u*t + 9, 3*q + 7 = 2*t for t.
5
Let n = 6 - 0. Suppose -15 = -4*p + 5*y, n*y - y = p - 15. Let v be (-4)/(-2) + p/1. Solve 0 = 2*b - b + 2*x - 7, -3*x = -v*b for b.
3
Suppose -3*z - 3 + 0 = 0. Let f be z*(-8)/2 + -1. Let x be 3*(f + -2 + 0). Solve -5*g + 5 = -5*o, -x*o - 12 = -5*g - 1 for o.
3
Let f be 31/93*2*3. Solve 5*c = f*q + 11, 0 = -0*q - 2*q - 2*c - 4 for q.
-3
Let r = -60 + 91. Let w(p) = -2*p + 18. Let j be w(17). Let l be -4 - 1/(4/j). Solve 0 = -4*u + 3*g - l + r, -4*g = 20 for u.
4
Let k(v) = 46*v**2 + 8*v - 56*v**2 + 0 + v**3 + 12. Let m be k(9). Solve m*d + 25 = 2*s, 8*s - d = 3*s + 30 for s.
5
Let l be (-2)/5 - (-120)/50. Suppose -3*s + 6*w - w + 29 = 0, -l*s - 2*w = 2. Suppose 0 = -3*p + p. Solve p*h + s = -4*b - 5*h, -4*h - 12 = 0 for b.
3
Suppose -41 = -j + 4*l, -3*l - 21 = -j - 4*l. Solve 0 = -2*b + 7*b + j, 0 = 5*y + 2*b + 15 for y.
-1
Suppose 3*f + 0 + 6 = 0. Let z be (1/f)/((-2)/4). Suppose -x - 10 = -p + z, 4*p + 3*x = 9. Solve 0 = 2*s + t - p, -s + 3 = 3*t + 2*t for s.
3
Let o be -4 + 0*4/(-12) + 0. Let y be -4*(2 - 3) + o. Solve y = -4*s + 6*h - 3*h + 1, 0 = -2*s - 4*h + 28 for s.
4
Let f be