 2*x + 5*r + 31, -33 = m*x + 2*r for x.
-5
Suppose 2*f = -q - 5, 25 = 4*f - q - 4*q. Let n be f/43*(-1)/(-4). Solve -4*d - 5*z - 12 = n, 0 = z - 2*z for d.
-3
Let y = -8681 + 8696. Solve 6*l - 5*l + 3*d - y = 0, -5*d = -25 for l.
0
Let j(u) = 5*u - 40. Let h = -132 - -140. Let d be j(h). Solve 10 = -3*g - b, 4*g + 3*b + d*b + 5 = 0 for g.
-5
Suppose 2*d = 5*x - 20, -3*x - 4 = -2*d + 4*d. Suppose -9 = -r - x*r. Suppose -r*p + 17 = 8. Solve -9 = -p*l - 5*u + 4, -u + 6 = 4*l for l.
1
Let c(s) = 2*s + 26. Suppose 8*l + 180 = 13*l. Suppose 0 = 3*u - 0*u + l. Let x be c(u). Solve -5*k - 5*j = 10, k + 5*j = x*k + 14 for k.
-4
Let z = 542 + -542. Solve z = 5*c + f - 9, -3*c = -c - f - 5 for c.
2
Let w be ((-212)/68 - -3) + (-288)/(-136). Solve 0 = -w*k - 4*t - 8, -2*t = -5*t - 3 for k.
-2
Let n(m) = m**3 + 7*m**2 - m - 5. Let p be n(-7). Let b be (-10)/(-2)*(-100)/(-250). Suppose -139 = -b*t - 139. Solve -q - 1 = -p*d, 6 = d - t*q + 5*q for d.
1
Suppose 0 = 2*x + 4*j - 12, 4*x + 18*j - 14 = 20*j. Solve x*v - d = 0, 21*d = -v + 24*d for v.
0
Suppose -4*f - 72 = -92. Suppose 5*b + 42 = -f*p + 12, 5*b + 36 = -3*p. Let y = 14 + b. Solve 0 = 2*g - 0*g + 8, -5*t = y*g + 25 for t.
-1
Suppose -2*u - 50 = -2*h - 8, 0 = 5*h - 2*u - 120. Suppose 23*z = h*z - 6. Solve 0 = 3*i - 8*i + z*c - 20, -2*c + 4 = 3*i for i.
-2
Let d = 50 + -38. Suppose 5*k + 2*g = 15 + 33, -2*k + g = -d. Solve 4*s + 21 = h - 6*h, h = 3*s - k for s.
1
Suppose -4*j + 5*j = 4*v - 4, -3*v - 14 = -5*j. Solve k - 12 = v*w - 3, 3*k = 5*w + 23 for k.
1
Suppose 0 = -2*s - 3*s + 8*s. Suppose 2*r + 5 = d, -2*r = -7*d + 3*d + 20. Solve -5*a - 5*w + 45 = r, -2*a - 4*w + 11 + 17 = s for a.
4
Suppose 25*d - 10 = 24*d. Suppose -u = u - d. Solve -b - 25 = 4*b - u*w, -b = 2*w + 5 for b.
-5
Let s be ((600/45)/(-4))/((-10)/18). Solve 4*v + s = 5*h, -3*v + 111 - 114 = -3*h for v.
1
Suppose 960 = 15*o - 17*o + 4*z, -o = -5*z + 489. Let d = -471 - o. Solve 3*i = 4*m - 17, -7*i + 5*i - 13 = -d*m for m.
5
Suppose 0 = -4*m + 8*q - 3*q + 85, -3*m = -4*q - 65. Suppose 5*o = 2*l - 45, 3*o = -2*o - m. Solve 2*v - 3*f - l = 10, 3*f + 20 = v for v.
5
Let o be 54/12 - 2/(-12)*3. Suppose -26 + 26 = o*s. Solve -5 = -5*z + 5*i - s, -4*z = -5*i - 1 for z.
4
Suppose 2*n + 53 - 57 = 0. Let p be ((-2)/n)/(7/14 - 1). Solve h = 2*k + k - 5, -p*k = -h - 5 for k.
0
Suppose -75 = -2*m + v, -v - 20 = 3*v. Let l(y) = -y**2 - 17*y + 5. Let c be l(-17). Solve 0*z - m = -5*z + c*p, 2*p = -6 for z.
4
Let j be 2/7 - 1/((-35)/95). Suppose -3*s = -0*s - j*w - 24, 0 = 3*s - 4*w - 29. Suppose s*d + 110 = 122. Solve -d*h - n = 8, 0*h - h - 4*n = 2 for h.
-2
Suppose 4*v - 6*l - 40 = -8*l, 0 = -5*l. Suppose 2*t - v = -5*f, -8*f + 10*f = 5*t + 4. Solve t = 4*s + 4*g - 3 - 25, -2*g + 8 = -s for s.
2
Let h(s) = -3*s - 7. Suppose -x - 27 = -18. Let g be h(x). Let c(r) = -8*r**2 + 46*r + 15. Let j be c(6). Solve j*d + b = -g, 0 = -b + 3 - 8 for d.
-5
Let n = -1096 + 1096. Solve -5*c - 4 = 16, n = q + 4*c + 17 for q.
-1
Suppose -3*l = -u + 31, -6*u - 65 = -11*u - 3*l. Suppose 0 = -u*c + 20*c - 8. Solve -5*w = 3*g + c*g + 45, 2 = -2*w + 2*g for w.
-5
Suppose 8*f - 25 = -5*s, -2 = 2*s + 4. Solve f*y - 2*c + 13 = -3, -2*y - 14 = 3*c for y.
-4
Let b be 1 + 3 - -15*(-2)/(-6). Suppose 6*n - 420 = -b*n. Solve -a + 0*a - 5*z + n = 0, -3*z = -a - 12 for a.
3
Let b(r) = -3*r**2 + 3*r - 10. Let p be b(0). Let y be p/(-8) + 22/8. Solve 0 = -3*d + 5*s - y*s + 1, -5*d - 5*s - 25 = 0 for d.
-1
Let f(m) = -2*m + 10. Let n = 42 - 44. Let l be f(n). Suppose -3*z = 2*c - l, 3*c - 3*z + 7 = -2*c. Solve c = 2*g - 3*p, 4*g + 5*p = 22 + 13 for g.
5
Let g = 73 - 71. Suppose 0 = -2*k - 4*z + 14, 15*z - 13*z - g = 0. Solve k*n = -6*j + j + 25, -2*j + 4 = -4*n for n.
1
Suppose 4*s - 8*s + 20 = 0. Let l be -1*0*3/(-24). Solve 5*k + 5*a = -l + 25, k = s*a + 5 for k.
5
Suppose 3*r - 37 - 821 = 0. Suppose -r*c + 290*c = 12. Solve -5*h = -c*u + 16, 0*h = 3*h + 4*u + 27 for h.
-5
Suppose 5*k - v = 0, -v - 3 = -2*k - 0*v. Let q be 2340/140 + k + (-18)/(-14). Suppose -2*h + 25 = q. Solve 4*r + 5 + 3 = j, 0 = h*r + j for r.
-1
Suppose -55 = -3*i - 4*t, -3*t = i - t - 17. Suppose -3*v - 12 = -i. Solve -4*m - 8*j = -v*j - 10, -2*j = -4*m + 24 for m.
5
Let b(x) = -2*x**3 - 96*x**2 + 100*x + 108. Let y be b(-49). Solve y - 23 = -5*t - 3*q, -2*t + q = -14 for t.
5
Let y be (0 + 5)/(-1*3*9/(-27)). Solve -q = -3*i - 7, 5*q - 5*i = 2*q + y for q.
-5
Suppose -7*o - 5*y + y = -15, -5 = y. Solve 6*f - 9 = -4*w + 3*f, 4*w - 15 = -o*f for w.
0
Let z(r) = 2*r**2 + 2*r + 6. Let t be z(1). Solve -w + 2*b + b = 13, 2*w + 3*b - t = 0 for w.
-1
Suppose 5*z - 2*r + 0*r = 14, 0 = 5*z + 5*r. Let c be (-1)/(-6)*z + 2/(-6). Solve c*t + 20 = -2*n + 4*t, -2*t + 8 = 0 for n.
-2
Suppose 6*y - 10*y - 42 = -5*b, -20 = -3*b + 5*y. Solve 0 = -5*q + b*q - k + 15, 2*k = 3*q + 16 for q.
-2
Let q = 67 - 65. Suppose q*f = 6*f - 4. Suppose -2*c - 2*a - 2 + 4 = 0, 2*c + 3*a - f = 0. Solve 0 = 4*p - 3*h - 4, 0 = 4*p - c*h - 0*h - 4 for p.
1
Let l(m) = 8*m - 154. Let z be l(19). Let x(t) = -4*t - 2 + 0 - 3. Let b be x(z). Solve -4*k + 0 + 12 = 4*g, b*g - 21 = 3*k for k.
-2
Let u be ((6 + -6)/(-9))/(2 - (0 + 0)). Solve 5*o - 20 = -2*l + 5, -3*o - 4*l + 15 = u for o.
5
Let p = 1273 - 720. Suppose -6 = -555*o + p*o. Solve 4*x - d = -16, 0*x = 2*x + o*d + 8 for x.
-4
Let u(d) = 7*d - 55*d**2 + 53*d**2 - 29 + 36. Let z be u(4). Solve 3*h = 4*c - h, 5*c = z*h - 4 for c.
-2
Let p be -4 + 0 - (-154)/22. Suppose 0 = 3*k + 5*x - 17, p*k + 5*x - 1 = 4*k. Solve -k*l + 7 = 3*s, 0*s + 10 = 5*l + 5*s for l.
1
Suppose 7895 = -65*l + 8025. Solve 3*o - k - 10 + 5 = 0, k = -l*o for o.
1
Let l(b) = b**3 + 6*b**2 - 10*b - 28. Let m be l(-7). Let v be m/(-28) - 49/(-28). Solve w - 4*f = -9, -v*w + 3*w + 5*f = 0 for w.
-5
Let m = 320 + -474. Let p = m + 157. Solve p*s = -4*z, 0 = -3*s + 2*s + 3*z for s.
0
Suppose -5*n - 46 = -2*g, 5*n = 7*g - 6*g - 23. Suppose -2 - 26 = -5*w - 3*o, 4*w + 3*o = g. Solve 0 = b - w*p + 30 - 7, 5*b - 35 = -5*p for b.
2
Let l = 16605 + -16601. Solve -u + l*u + 5*n = 13, 2*u + n = -3 for u.
-4
Let u be 0/(-1*(0 + -2)). Suppose -r + 42 = 5*r. Suppose r + 78 = 17*n. Solve -3*j + 7*j - n*g = 7, u = 2*j - 3*g - 5 for j.
-2
Suppose 6 = 4*m - 2*m. Suppose 0 = -3*u + a - 0*a + 121, 0 = -4*a + 20. Suppose -63 - u = -5*d. Solve 3*f + m*n + 11 = 2*f, d = -5*f + 2*n for f.
-5
Suppose -25*s = 18*s. Solve r - 1 = s, 5*q = -r - 5 + 1 for q.
-1
Suppose -115 = 7*f - 30*f. Suppose 5*s - d = 27, -f*s + 29 = -2*d - 0. Solve 3*t = 4*j + s, -3*j = 4*t - 0*j + 35 for t.
-5
Let u be -2 + 3/2 - (80/32 + -4). Solve -4*p = -8, r - 5*p + u = -3 for r.
6
Let i(k) = -k**3 - 10*k**2 - 29*k - 99. Let y be i(-8). Solve -y*q - a = -23, 0 = 2*q - 4*a - 2 + 6 for q.
4
Let n be 42/9*270/(-105). Let d be ((-5)/(-30)*-4)/(4/n). Solve -d*j - y - 5 = -2, 6 = -5*j - 2*y for j.
0
Let s(y) = y**2 - 3*y + 3. Let d be s(3). Let t = 382 - 380. Let p = -2 + 12. Solve t*x = -j, -x - j + p = -d*j for x.
2
Suppose 0 = 274*i - 1443 + 347. Solve i*r = 5*w - 9, 5*r - 15 = 2*w - 22 for r.
-1
Let y(j) = -j**2 - 18*j + 53. Let z be y(-21). Let u be 4 + (-3)/(-5) + (-34)/z. Solve 4*n + 5*d = -0*n - u, 4*d = 0 for n.
-2
Suppose b = 2*q - 3, 4*q + 3 = 3*b + 6. Solve -3*j - w + 5 = -2*j, 3*j = q*w - 3 for j.
2
Suppose -j + 0*b - 5*b + 10 = 0, -j + b + 4 = 0. Suppose j*v - 45 + 5 = 0. Solve 0 = -4*i - 8, 0 = -4*t + i - v - 6 for t.
-4
Let q(s) = s**2 + 32*s + 8. Let n be q(-28). Let t = -122 + 229. Let g = n + t. Solve -g*l + 11 = 4*v - 8*l, 0 = 2*v + l - 9 for v.
4
Let l(p) = p - 2*p - 5 + 1. Suppose -5*x + 3*y + 124 = 163, 4*x + 36 = 4*y. Let b be l(x). Solve -b*o - 4*f - 1 = -5*o, -5*f = -o - 7 for o.
3
Let o(c) = -c**3 + 21*c**2 + 46*c + 3. Let p be o(23). Let i be (-4)/26 - 268/(-52). Suppose 5*a - 10 = i. Solve -w + 1 = a*j - 2, -p*j = 0 for w.
3
Suppose 3*v - 8*v - 20 = -4*y, -5*y + 25 = 0. Suppose v = -2*g - 25 + 35. Suppose g*f - 20 = f. Solve f*s - 2*j + 22 = j, -3*j = 3*s - 6 for s.
-2
Let a(b) = -32*b**2 + 2367*b + 82. Let n be a(74). Solve 2*j + 22 = -4*y, -y - n = -j + 4*j for y.
-5
Suppose 4*a - 8 = 4*q, -28*a + 11 = -24*a - q. Suppose -5*c - 5*n + 1 = -49, c = -a*n + 18. Solve -c = 3*v, t - 7 - 2 = 3*v for t.
3
Let s(f) = -7*f + 42. Let l be s(7). Let q(b) = b**