= 23, 0 = -i + 4*c - c + r for i.
4
Let z be ((-4)/24)/((-4)/48). Suppose -4*m - 2*b = -9*m + 12, -z*b - 2 = 0. Solve -m*a + 24 = -5*a - 4*p, a - 2*p = 2 for a.
-4
Suppose -417 + 137 = -8*f. Suppose c - 8*c = -f. Solve -2*v + 4 = -3*k, 4*k + 5 = c*v - 2*v for k.
-2
Let o(u) = -u**3 - 12*u**2 + 28*u + 4. Let f be o(-14). Solve -5*j = -2*q + 5, f*q + 5 = 25 for j.
1
Suppose -5*q + 5*o = 4*o - 12, 4*q - 21 = -3*o. Solve -q*p - 4*c - 2 = -0*c, -6 = -5*p - 2*c for p.
2
Let u be 5/(-1 - (-3 - -1)). Suppose -6*q + 1 = 7. Let s be 3/(1/q) + 19. Solve -4*d - s = -u*k, 4*k + 3 = 2*d + 17 for k.
4
Let o(f) = -f**3 + 8*f**2 + 424*f + 10. Let s be o(-17). Solve 5*x - 9*m - 35 = -5*m, 4*x - 3*m = s for x.
3
Let m = -693 - -691. Let l be 10/m*1*18/(-45). Solve -i - 5*q - 9 = -2*q, -2*q = l*i + 6 for i.
0
Suppose -o = -3*d + 14, 3*d + 1 - 7 = -3*o. Suppose 22*h - 27*h + 5 = 0, l - d*h - 1 = 0. Solve -6 = -r - 4*g - 1, -l*g - 15 = -3*r for r.
5
Suppose 1112 = 47*g - 1496 - 353. Solve 5*d + 2*y = -g + 60, 5*d + 4*y = -1 for d.
-1
Let p be (-5358)/(-423) + 2/(-3). Solve 2*s = -p, -3*u + 2*s - 7*s - 15 = 0 for u.
5
Suppose -5*k + 41 = 2*w, -4*w + k - 12 + 17 = 0. Suppose -4*j + 2*x = -2*x + 4, 2*x = -3*j + 22. Solve 5*a = w*b + b - 13, -j*b = 5*a + 37 for b.
-3
Suppose 0 = d - 3*z - 19, -5*d = 219*z - 214*z + 5. Solve 0 = -c + 2 + 1, 0 = d*n - c + 11 for n.
-2
Let x(s) = -6*s - 32. Let n be x(-6). Let h = -973 - -976. Solve 0 = -h*i - i + n*k + 28, -5 = -3*i - 5*k for i.
5
Let l(y) = 3*y - 10. Let t be l(4). Suppose -s + 5 - 1 = 0. Suppose 4*z = -4*u - 9 - 3, 3*u + 7 = -s*z. Solve -4*x + 2 = -x + z*j, t*x - 13 = j for x.
4
Let m = 85 + -47. Let r = -34 + m. Suppose -r*l + 0*l = -20. Solve 3*q = l*d + 10, -q = -d - 0*q for d.
-5
Let m(p) = -14*p + 63. Let k be m(-10). Let h = k - 201. Solve -5*c + 20 = -2*o - 10, -h*o + 10 = 5*c for c.
4
Suppose -3*b + 3*y + 21 = 0, 3*b + y + 7 = 8. Solve 4*n - b*h - 5 = n, 4*n - 2*h = 4 for n.
-1
Suppose 0 = -81*k + 447*k - 864 - 966. Solve 4*g - 23 = 5*x, -32*g = k*x - 35*g + 21 for x.
-3
Let h(z) = -z - 9. Let m be (-3 - -2 - -2)*(-9 + -1). Let s be h(m). Solve -7*f - 3*u + 2 = -2*f, 2*f + 3*u = -s for f.
1
Let b be (-4)/8*28 + 5. Let q be (30/b*3)/(-2). Solve -q*a - 5 = -k, 4*k - a + 0*a = -18 for k.
-5
Suppose 6 = 5*w - 64. Suppose 0 = -7*t + 14*t - w. Solve -r + 3*o = o - 2, -t*o - 2 = -3*r for r.
0
Let r be (300 + 20 + -40)*6/15. Solve -4*z + 22 = 3*f, 0 = 3*f - 5*z + r - 98 for f.
2
Let z(o) = 5*o - o**3 - 1 + 1 + 5 - 2*o**2 + 6*o**2 - 4. Let i be z(5). Solve 0 = t - n + 7, 2*t = 4*t + n - i for t.
-2
Let i(n) = -n**2 - n + 5. Let f be i(0). Suppose -o - 4*k = -36, 5*o - 7*k + 71 - 143 = 0. Solve -5*m - 16 = -2*a + 3*a, f*m = -o for a.
4
Let d be 29/4 + (-1467)/652. Solve -3*o - d*y = -21, -3*o + 7*o - y = 5 for o.
2
Suppose -14 - 71 = -46*h + 53. Solve 0 = -4*q + h*v - 9 - 18, -3*v = -15 for q.
-3
Suppose 2*h = 5*q + 12, 49*q - 54*q = h - 36. Solve 4*f - 15 = 8*u - 5*u, -4*f + 4*u + h = 0 for f.
3
Let l(z) be the third derivative of z**5/30 - z**4/12 - z**3/3 + z**2. Let v be 1*(-1 - -2 - 2). Let u be l(v). Solve -b + 0*b = p + 5, -u*b = p + 8 for p.
-2
Let p(o) = -o**3 - 17*o**2 - 8*o - 20. Let h be p(-16). Let f = h - -101. Let z = f + 50. Solve 5*v + z*b = v + 7, -v - 2 = -3*b for v.
1
Suppose -16*f + 20 = -c - 20*f, 5 = 5*c - f. Suppose -5*g - 2*o + 18 = c, 10*g = 5*g + 5*o - 10. Solve g - 25 = s - 4*l, -l - 1 = 2*s for s.
-3
Let q(a) = -a**2 + 16*a + 59. Let k be q(18). Suppose -z = -k + 3. Solve 4*h = 2*x - z, -3*x = -2*x - 3*h - 15 for x.
0
Let r be 3/((4/(-6))/((-920)/1035)). Solve 5*f + r*b + 12 = 0, 5*f + b - 16 + 19 = 0 for f.
0
Let t = 2473 + -2471. Let x = 1 - -8. Solve 0 = 3*a + i - x, -4*a + 18 = -a - t*i for a.
4
Suppose 43 = 5*f + 3*x, -x = -5*f + 2*x + 67. Let a(c) = -c + 20. Let z be a(f). Let w = z - 5. Solve 3*r = -5*m - 3, -m + w*m = -r - 1 for m.
0
Suppose 2*a - 8 = -3*o, -4*o + 7*o + 5*a - 2 = 0. Suppose 0 = -5*y - 8*b + 3*b + 15, 0 = -4*y + 3*b + 19. Solve -20 = o*m - 4*p, y - 3 = p for m.
-4
Let h be (5 + (-187)/44)/(9/(-24)) - -26. Solve 0 = -3*t + 2*x - 15, -2*t - 15 = 21*x - h*x for t.
-3
Let a = 25124 - 25121. Solve 5*q - 42 = -a*n - 20, 0 = n - q - 2 for n.
4
Let i(g) = g**2 + 4*g - 7. Let l be i(-6). Let x(j) = j**3 - 49*j**2 + 48*j + 20. Let h be x(48). Solve -k + h = l*y - 4*k, 4*k + 20 = 0 for y.
1
Let w be (-4)/(-5)*(-5)/(-1). Let t = 86 - 86. Suppose -6*s = 2*s - t*s. Solve 2*i - 3*m = -4*m - w, s = -3*m + 12 for i.
-4
Let v(z) = -46*z + 97. Let g be v(2). Solve 4*o - g*t + 2 = 0, -2*t = -3*o - 4 - 1 for o.
-3
Let k(n) = -n**2 + 3*n + 1. Let v be k(2). Suppose 2*l = -243*g + 238*g + 1, 50 = 5*g - 5*l. Solve v*w - 5*z + 17 = 0, w + g*z = 3*w + 10 for w.
1
Let b be (-230 + -1)/(-3)*(-10 + 9). Let g be (-3)/(-6) - b/2. Suppose 0 = g*s - 38*s. Solve 0 = -4*r - 8, s = 2*h - 4*r - 11 - 7 for h.
5
Suppose 65 = 4*c + 45. Solve -1 = 8*q - 7*q + v, 5*v + c = 0 for q.
0
Let q = -10 + 13. Suppose -q*n + 3*w + 26 = -n, -4*w - 58 = -5*n. Solve -3*t = 4*m - n, m - 3*t = -4*m + 26 for m.
4
Let g be 1222/182 - 2/(-7). Suppose r + g = 4*c - 6, 16 = 4*c. Solve -2*h + 3*f = -4*h + 4, 0 = r*h + 3*f - 6 for h.
2
Let f(g) = 2*g**2 - 631*g + 633. Let p be f(1). Solve 2*c - 6 = 5*w, -106*c + 109*c - 9 = p*w for w.
0
Suppose -4*n + 0*a + 96 = -4*a, 5*n = -4*a + 111. Suppose 31 + 38 = n*g. Solve 0 = 3*z - g*t + 30, -2*z - 20 = 3*z + t for z.
-5
Suppose -q + 5*b = 222, -q - 100 = -2*b + 137. Let c = 249 + q. Solve a - c*k = -5, -2*a + k = 2*k - 15 for a.
5
Suppose -2*j = 6*z - 3*z, -5*j - 21 = -3*z. Let x be (-15 + (-496)/(-32))/(2/20). Solve z*k + 2*t = -4, -k + x*k - t = -8 for k.
-2
Suppose 0 = -175*p + 150*p. Let f be (-3 + -3)*(-26)/6. Solve -2*s - 23 = -5*x, -2*x = -5*s - p*x - f for s.
-4
Let x be (16/14)/(40/420). Solve 0 = f - 4*l - x, -5*l = -3*f + 3 + 5 for f.
-4
Suppose -3*o - 34 = -7*o - 2*p, 4*p - 20 = 0. Suppose 0 = x - o*x + 45. Solve r = -r - 2*f + 6, 4*r + f = x for r.
2
Suppose -16*o + 11 = -53. Solve 2 = -i - x - o, -x - 18 = 4*i for i.
-4
Let y be (21/(-9) + 2)*-69. Let z = y + -6. Let c = -2439 + 2444. Solve 17 = 4*u - p - 0*p, -3*p = c*u - z for u.
4
Suppose 5*s = -3*k + 149, 0 = k - 35*s + 32*s - 45. Solve 0 = 3*l + 5*m + 20, 52*l - k*l = -4*m - 16 for l.
0
Let d(b) = 45*b - 614. Let v be d(14). Solve 5*l - 25 = -2*a, 4*a + 11 = -l + v for l.
5
Let t = -423 + 428. Let k = 119 + -102. Solve 2*h - k = -5*a, 15 = -a + t*a + 3*h for a.
3
Let o = 22855 + -22835. Solve 9*w = 5*w + t - 16, 2*t - o = 4*w for w.
-3
Let m(l) = -2*l + 46. Let b = -118 + 141. Let j be m(b). Solve j = -3*i - 4*w - 13, 4*i - 4*w = -0*w + 20 for i.
1
Suppose 0 = 3*g + 5*v - 19, 0*g + 36 = 4*g - 4*v. Suppose 36 = 26*w - 22*w. Suppose 11 + w = 5*i. Solve -i*o - p = -17, -o + 4*p = -2*o + g for o.
4
Let a = 15150 + -15142. Solve -2*f + 2*m - a = m, f - 3 = 4*m for f.
-5
Let l = 8631 - 8618. Let t(b) = -b**3 - b**2 - b - 1. Let n(x) = x**2 + 6*x + 3. Let y be n(-5). Let d be t(y). Solve j = 3*c - 0*j - 11, j - l = -d*c for c.
3
Suppose -r - 178 = -5*z - 88, 82 = 3*z + 5*r. Solve 5*s + z - 28 = -3*a, 0 = 5*s for a.
3
Suppose -11*u - 53*u - 6036 + 596 = 0. Suppose 2*s + 3 = -17. Let z be 136/u + 4/s + 2. Solve -x + 1 - 2 = 4*m, z = m + x + 4 for m.
1
Suppose -5*r + 15 = 2*n, 131*n = 135*n - r - 19. Solve 6*p = -n*m + 9*p + 26, -5*m + 22 = -p for m.
4
Let l(o) = 2*o**2 + 4*o - 1. Let x be l(-3). Let h(t) = -163 - 127 + 3*t + 105 - 23*t. Let u be h(-10). Solve 3*i = -3*s + u, 2*i - x*s + 7 = i for i.
3
Let m = -139 + 143. Suppose 0 = -f - m*c - 8, 57*c + 17 = 2*f + 54*c. Solve -2*j + 12 = -2*n, f*n = -5*j + 7 + 14 for n.
-1
Let w = -26336 - -26339. Solve 0 = -w*t - 28*g + 24*g - 22, 0 = -4*t - 2*g - 16 for t.
-2
Let q(k) = 1609*k - 9650. Let i be q(6). Solve i*y = -n + 15 - 12, 0 = 4*y - 4*n + 12 for y.
0
Let a = -163 + 165. Suppose -a*c - 180 = -20*c. Solve -3*u = 0, 5*x - 5*u + 0*u + c = 0 for x.
-2
Suppose -3*p + 0*p + 365 = 4*m, 2*m + 125 = p. Suppose -15*d = -p - 57. Solve -4*y + 20 = 5*z, -2*y - d = -z - 2*z for z.
4
Let s be 3/33 + (-1)/11. Suppose 33*x - 28*x - 20 = s. Solve 0 = -2*j - x*v - 10, -4*v = j - 7 + 22 for j.
5
Suppose 0 = -4*d + 8. Let j(v) = v**3 - 11*v**2 - 57*v - 34. Let z be j(15). Suppose -12*u = -z