*r + y*b - 12 = 0, r + r - 5*b = -20 for r.
0
Suppose 6*b + 4 = 5*b. Let r(k) = 2*k + 10. Let f be r(b). Let m = 47 + -42. Solve m*v = 5*u, f*v - 5 = -u + 10 for u.
5
Let w be (-48)/(-5) + 52/130. Suppose g - w = -2*s, 5*s + g = -0*g + 25. Solve -16 = -3*h + 4*d, 21 = 5*h + 4*d - s*d for h.
4
Let m be (-26)/(-4) - 9/18. Let t(z) = z**2 + 2*z - 35. Let k be t(m). Solve 2*y + q - 2*q - 7 = 0, -5*y - 2*q = -k for y.
3
Let b be 3/(-7) - (-148545)/(-315). Let k = 488 + b. Solve 3*i = 3*w + 6*i - 24, -3*i = w - k for w.
4
Let b(v) = -77*v + 48. Let m be b(1). Let t be (-17 - m) + -9*1. Solve 4*x = -4*q + 8, 4*q = -t*x - 2 + 8 for x.
2
Let a(g) = 3*g**2 - 39*g - 125. Let u be a(-3). Solve -11 = 2*l - 2*y - y, 4*l = 5*y - u for l.
-1
Let h = 36344 + -36342. Solve -2*n - 3*g - 4 = 0, 95 = h*n + 4*g + 101 for n.
1
Let s = 90 - 8. Suppose -4*g - 4*u + s = 6, -4*g - 5*u + 79 = 0. Solve 0 = -5*w + v + 9, v + 3*v = -g for w.
1
Let u = 60 + 19. Suppose -63 = 8*m - u. Solve 5*n + m*r - 3 = 11, 5*r = 3*n + 4 for n.
2
Suppose 0 = -3*l + 1 - 7, o = 5*l + 26. Suppose 33 = 7*p - o. Solve -3*t - 7 = 5*k - p*t, -k + 3*t = 8 for k.
1
Suppose 3*r - 3 = 2*d - 0*r, -5*r + 5 = -3*d. Suppose 988 + 57 = 593*p - 141. Solve -4 = 4*q - 24, 5*l - p*q = d for l.
2
Let r(j) = j + 3. Let w be r(7). Suppose w*p = 23*p - 26. Solve -p*n - l = 3*n - 5, 3*n + 5 = l for n.
0
Let m(f) = 2*f**2 + 2*f + 2. Let q = -44 - -46. Let s be (0 + 0)*q/(-4). Let r be m(s). Solve -4*u = -12, 1 = 5*y + u - r for y.
0
Let d = -24 + 37. Suppose -5*j = -d - 22. Suppose -2*z + 2*l - j*l + 12 = 0, -5*l = -10. Solve -w - 29 = 4*w - 4*i, -i = -z for w.
-5
Suppose 2*o + 0 = -3*u + 1, -4*o - u + 7 = 0. Suppose 0 = -2*i + o*d + 6 + 8, -3*d = -4*i + 23. Solve 0 = c - i*g - 13, -g + 2*g + 5 = 0 for c.
3
Suppose -5*p = -12*x - 8 + 5, 13 = 3*p + 4*x. Solve -p = -2*f - o - 6, 3*o + 6 = -5*f for f.
-3
Suppose 38*i = 41*i - 15. Suppose -4*w + 15 = 3*a, a + w = 6*w + i. Solve 0 = -2*u + 3*s + 6 + 2, -a*u + 5*s + 10 = 0 for u.
-2
Let i(k) = -10 + 24*k + 20 + 2*k**2 + 19 + 1 + 26. Let z be i(-9). Solve -5*o + 8 = -z*w, 0 = 5*w + o + 3*o - 13 for w.
1
Let p(i) = -i**2 - 16*i - 53. Let s(y) = -2*y**2 + 13*y - 14. Let u be s(6). Let t be p(u). Solve -21 = g + 5*d, t = 5*g - 3*d - d for g.
-1
Suppose -28*g - 50 + 134 = 0. Solve g*a = -9, -21 - 3 = -3*w + 4*a for w.
4
Suppose -100*n + 16 = -92 - 92. Solve 4*c - n = z, 0 = 2*z + c - 924 + 919 for z.
2
Let q = -56 - -44. Let p(j) = 3*j + 41. Let g be p(q). Solve 0 = -0*z - z + 2, -g*u - 2*z - 1 = 0 for u.
-1
Suppose -994 = -256*x + 30. Solve 5*l - 3*h + 5 = -0, -x*l - 5*h - 4 = 0 for l.
-1
Let l = 3896 + -3880. Solve 3*c + l = m, -13*c = -m - 9*c + 21 for m.
1
Suppose -5*c + 2*p = -12, -737*c + 733*c = p - 20. Solve -41*w = 2*i - 38*w + 13, c*i - 19 = 3*w for i.
1
Let k = 23420 + -23298. Solve k*c - 117*c + 11 = 3*o, 0 = 5*o + 15 for c.
-4
Let p = 1004 + -1589. Let t = p - -590. Solve -3*c - v + 3 = 0, t*c - 5*v + 0 = 5 for c.
1
Let r be -7*(-2)/(-1)*(378/49 + -8). Solve x = 3*a + r*x - 3, 0 = 5*a + 3*x - 13 for a.
5
Suppose 0 = -4*i + 5*i + 40. Let w be 3/18*i*-6. Solve 5*c - w = 5*z, -3*z + 7*z + 17 = c for c.
5
Let j(s) = -s**3 - 7*s**2 - 11*s - 7. Let n be j(-4). Let l(p) = 13*p + 159. Let q be l(n). Solve 2*m + 4*r = -0*m - 4, 0 = -4*m + 4*r + q for m.
2
Suppose 0 = -4*p - 0*p + 16, -5*t = -3*p - 93. Suppose 0 = 5*j - 2*w - 16, 14 = 4*j + 20*w - t*w. Solve -4*o = -2*d + 16, -4*o = j*d + 23 - 7 for o.
-4
Let n be 10/(105/14 - 7). Suppose -214*t + 209*t = -n. Solve a = 3, 9*r - 5*a - 10 = t*r for r.
5
Let q(h) = 4*h**2 - 46*h + 133. Let l be q(4). Solve 0 = r - 3*w + l, 3 = 4*r + 4*w + 7 for r.
-4
Suppose 26*u - 898 + 794 = 0. Solve 3*p - 2*o - 17 = 0, -p + 0*p = -u*o - 9 for p.
5
Let l be ((4/12)/1)/(2/2022). Let u = 342 - l. Solve n + o = 0, -o + 3 = u for n.
2
Let s(x) = x + 12. Let i be s(6). Suppose 0 = 5*f + 3*y - 83, 2*f - i + 0 = -5*y. Let z = 35 - f. Solve -14 = 4*t + 3*k, 3*t - z = 7*t + 2*k for t.
-5
Suppose 38*z + 5*u - 22 = 37*z, 2*z = 4*u - 12. Solve z*q = -4*w + q + 9, 6 = 4*w - 2*q for w.
2
Let l be ((-14558)/87)/((-2)/(-12)*-2). Let a = l + -502. Solve 4*d + a*h = h - 10, 0 = -5*d - h - 8 for d.
-2
Let m = 2057 + -2055. Solve -12 = -m*t + y, -y - 15 - 7 = -4*t for t.
5
Suppose 3*l + 18 - 22 = 2*i, 2 = 3*l - i. Solve -x + l*x - 6 = -g, 0 = g - 1 for x.
-5
Let g(s) = -s + 4. Let a = -14 + 14. Suppose 3*f + 2*t - 18 = a, 2*f - 2*t + 2 - 4 = 0. Let p be g(f). Solve -3*l - 9 = -4*m + m, -5*l + m - 15 = p for l.
-3
Let z = -43199 - -43204. Solve 2*h + m - 6 = 0, z*h - 496*m + 501*m = 20 for h.
2
Let u = -29 + 37. Let z(a) = a**2 - 8*a + 5. Let g be z(u). Let s be 2/((-8)/4) - -4. Solve -g*h = -s*v - 8 + 25, -h - 2*v = 6 for h.
-4
Let w be 1/(-3) - (-4 + 44/12). Suppose 170 = -5*m + 4*a, w*m = -3*m + 2*a - 104. Let g = -28 - m. Solve g = -2*l + q + 3*q, 0 = 5*l - 2*q + 25 for l.
-5
Let q(n) be the third derivative of -n**6/120 + 7*n**5/60 + 4*n**4/3 - 3*n**3 - 140*n**2. Let c be q(10). Solve -2*s - 6 = -4*r, -c*r + 32 = 4*s + r for s.
5
Let k(p) = -3*p - 10. Let u be k(-6). Suppose u = -2*b + 16. Let r = 9 - 5. Solve -2*g + 3*z = 2*g + 2, 0 = r*g - b*z + 4 for g.
1
Let o be ((-66)/(-24) + -4)*-4. Suppose -20 = -o*n, -q - 2*n - 4 = -18. Solve 3*g = -5*l + 12, 4*g = -5*l + q*g + 17 for l.
3
Let w(p) = -p**3 - 6*p**2 + 11*p + 79. Let h = -581 - -575. Let t be w(h). Solve -2*u + 1 = -o, -4*o + t = -4*u - 5*o for u.
-2
Suppose 50 = 5*k - 4*r - 9, 3*k - 32 = -r. Solve -x + 15 = -5*p, 2*p + 4*x - x = k for p.
-2
Let s = -681 - -683. Let a(i) = -3*i - 4. Let d be a(-3). Suppose d*q - 35 + 10 = 0. Solve 3*y + s*y - 5 = q*n, -y - 3 = n for y.
-1
Suppose 2*m = -8, 4*u - 14 = 3*u + 2*m. Suppose 12*q + 4*a + 18 = 14*q, 3*q + u = -5*a. Solve -5*r - 21 = 2*j, 4*j - q*r = 3*j + 6 for j.
-3
Let s(y) = -y**3 - 8*y**2 + 12*y + 21. Let w = -23 - -14. Let q be s(w). Let p be 2/q*(-378)/18. Solve -3*x + 2*b = -p*x + 12, 0 = b for x.
3
Let c = 107 - 105. Let y be c/4 - (-395)/(-10). Let l = -34 - y. Solve -4*h + r - 4*r = 12, l*r = -5*h - 15 for h.
-3
Let u be -2 + (5 - -1)*6/(-9). Let z be 141/21 - u/21. Suppose 12*n = z*n + 175. Solve i = -i + 5*t - 5, 4*i + 5*t = n for i.
5
Let h = 4454 + -4449. Solve -2*o - h = -5*f, -69*o + 10 = -71*o for f.
-1
Suppose -17*x + 57 = -12*x + 3*v, 0 = 5*v - 20. Let f be 3/(3/4) + 9/x. Solve -3*d + f*i + 10 = 0, 2*i + 20 = -0*d - 2*d for d.
-5
Let i = 72 - 68. Suppose -5*c = -2*c - 4*b - 52, 4*b + 64 = i*c. Let y be -2 - (2/c - (-26)/(-12)). Solve 4*a + p = 8 + 4, -4*a - 4*p = y for a.
4
Suppose 0 = 39*n - 1779 - 483. Solve 55 = s + n, 0 = -4*g + 4*s + 8 for g.
-1
Let y be (4/(-2))/(65/(-130)). Solve n + y*l + 12 = 0, -4*n + 2 - 17 = 5*l for n.
0
Let f(t) = -2*t - 98*t**2 + 99*t**2 + 10 + 5*t. Let m be f(0). Solve j = p - 7, -3*j + m = 4*p - j for p.
4
Let i = -18972 - -18974. Solve i*q - 1 = -f, 53*f + 2*q - 4 = 51*f for f.
3
Let n(v) = v**2 - 5*v + 7. Let c be n(4). Suppose -f - 2*f + 9 = -5*i, 0 = -2*f + 3*i + 6. Solve -3 = f*x + c*u, 4*x + u = 9 + 2 for x.
4
Let c(q) be the second derivative of -13*q**2 + 2*q + 0 - 1/3*q**3. Let v be c(-15). Solve 4*i - f = 3*f - 16, -6 = 2*i - v*f for i.
-5
Let z = -494 - -469. Let h = 30 + z. Solve 2*p - p + 4 = 0, h*p = -2*l - 30 for l.
-5
Suppose 0 = 4*x - 3*l - 2135, x = -0*x + 3*l + 527. Let h = x - 534. Solve 10 = 3*p + 2*v, h*p - v - 3 + 8 = 0 for p.
0
Let b(i) be the first derivative of 1/3*i**3 - i**4 + 0*i - 3 + 0*i**2. Let h be b(-1). Solve 2*c = -h*k + 5, -5*k = -4*c - 7 + 2 for k.
1
Let a = 62 - 59. Suppose -5*r = 8 + 37. Let y = -7 - r. Solve -w + 4 = -y*t + w, a = -t + 2*w for t.
-1
Suppose 2*c = 30*c - 133 - 91. Solve -12*k + c*k + 13 = -h, 0 = 4*k - 5*h - 33 for k.
2
Suppose 16*x + 7 = 2*m + 17*x, 4*x = -m. Solve -i = -3*i + 4*l - m, 4*l - 2 = 3*i for i.
2
Let r(m) = -27*m**2 - 116*m + 97. Let k be r(-5). Let x be (-4)/6 + (-28)/(-6). Solve -3*n - 3*u = -k*n - 15, -4*n = -x*u + 4 for n.
3
Suppose 0 = -3*c - 932 - 1096. Let i = c + 678. Solve 5*g + u = i*u - 22, 2*g - 2*u + 4 = 0 for g.
-5
Let s be (4/4 - (2 - 1)) + 4. Let w be (-4 + (s - 1))/(11/(-143)). Solve 4*b + w = -5*t, -12 = 4*b + t - 3 for b.
-2
Suppose -44 + 12 = -8*u. Suppose -f = 5*n + 18, -2*f - u*n = -7*f + 55. Suppose -f*d + 2*