2*y + 2*t + 18, -9 = 2*y + 5*t + d for y.
4
Suppose 4*a - 20 = 0, -12 = 4*h - 5*a - 3. Let w = 11 - 10. Suppose w = m, -2*m + 6 + 26 = 3*p. Solve 3*f + 6 = h*z + f, 5*z = 3*f + p for z.
-1
Let i(g) = 120*g + 5. Let m be i(0). Solve a + 24 = m*l, 0*a + 2*a + 5*l - 12 = 0 for a.
-4
Let b = 89 - 84. Suppose 0 = 2*k - 4*m - 32, b*k - 4*m = -0*m + 50. Solve 8*h + k = 3*h - 2*c, -2*h = -5*c + 14 for h.
-2
Suppose -23*m = -24*m. Solve -b - 5*z + 10*z + 23 = m, -4*z = 4*b + 28 for b.
-2
Let k(r) = 54*r + 186. Let z be k(10). Let b = z + -712. Solve -5*j - 5 - 15 = 0, a - 4*j = b for a.
-2
Let w = 978 - 978. Solve 22 = -h - 4*h + 3*s, w = -2*h + s - 8 for h.
-2
Suppose -31*l = -56*l + 1150. Let v be (-21)/5*(41 - l). Solve o + 4*b - 14 = 0, -2*o - 5*b + v = o for o.
2
Let q(r) = r**3 - 4*r**2 + 2*r + 22. Let d be q(5). Let l = 59 - d. Solve -b = -2*n + 3, -l*b - 2 + 4 = 0 for n.
2
Let r be (-8 + -1)*(147/(-63) - -2). Let a(p) = p**2 + 10*p + 5. Let i be a(-10). Solve i*z = 3*q + 20, r*z - 5 = 4*q + 7 for q.
0
Let l be 14 + (-18 + 9 - 0). Solve x - 3*h = -2*x + 12, -l*x = h - 2 for x.
1
Let t = -16159 - -16167. Solve 2*z - 2 = -t*l + 10*l, -4*z = -12 for l.
2
Suppose m = -m - 5*k - 15, -m + 4*k + 25 = 0. Suppose o - 22 = 11*q - 7*q, 0 = 3*o + 5*q - 32. Solve m*d + 0*d - o = -h, 0 = 4*h + 3*d - 5 for h.
-1
Let v = 11 + -8. Let f = -342 + 336. Let z be (f + -2 + -4)*9/(-12). Solve z = -2*w - 5*l - 5, 0 = -v*w + l + 13 for w.
3
Let a(s) = s**3 + 5*s**2 - 3. Let h be a(-3). Suppose -4 = 4*d - 3*k, k - h + 17 = 3*d. Solve -d*q - n + 8 + 1 = 0, q = -2*n + 9 for q.
3
Let i = -37 + 37. Let d be 2*1*(-10 + (-100)/(-8)). Solve z - d*j - 16 = -j, -z - j + 1 = i for z.
4
Suppose 125*u = 122*u - 1518. Let h = u - -511. Solve -d = -4*d - h*x - 4, 10 = 4*d - x for d.
2
Let a(o) = 3*o - 43. Let v(j) = 2*j - 22. Let t(k) = 4*a(k) - 9*v(k). Let w be t(16). Let i = w + 73. Solve z = 2*g - i, g + 4*z - 1 = -4*g for g.
1
Suppose 0 = -2*f + 2 + 2. Let l = f - 0. Let p = -31 - -52. Solve -5*x - l*s - p = 0, 4*x + 4*s + 14 = s for x.
-5
Suppose -5*g + 46 = 3*r, -49 = -5*g - 0*r - 2*r. Suppose 2 = g*x - 20. Solve w + x*w = -2*b, b = w for w.
0
Suppose 25 - 65 = -4*q. Let n = -5 + q. Let u(o) = o**2 + 87*o + 257. Let m be u(-3). Solve 0 = m*d + y + 15, 3*d - 4*d + n*y = 3 for d.
-3
Let i be (21 + -11)*(-1)/(-6 - -4). Suppose 3*p - w + 0*w - 16 = 0, w = -p + 4. Solve -2*b = -i*b - p*a - 13, 5*b = -3*a + 5 for b.
4
Suppose 3*t - 19 = 4*c, t - c - 21 = 4*c. Suppose -2*y = -t - 9. Suppose 3*g - 79 = -4*q, -2*q + 35 = g - 4*g. Solve 1 = -z, y + q = 5*a - 4*z for a.
4
Suppose 0 = -29*c + 24*c + 155. Suppose 2*k - c = -5*n + 12, -4*n + 2*k = -20. Solve 3*d = 2*a - n, 10 = -4*a + d - 3*d for a.
-1
Let b = -112 + 122. Let h be (4/b)/((-32)/(-320)). Suppose -4*u = h*u - 3*u. Solve u = w - 3*s + 1, -w - 4*w - 19 = -s for w.
-4
Let y = 1663 - 1659. Solve y*p + s = 23 + 1, -4 = -4*p + 4*s for p.
5
Suppose -1710 = 9*u + u. Let p be ((-2)/(-5))/((u/(-1755))/(-19)). Let t = p - -80. Solve -t*i - 3*l + 9 = 20, -4*i - 3*l - 13 = 0 for i.
-1
Let u be (-108)/(-36) + 1/(1/172). Let x = u + -141. Solve 5*w = -4*o - 13, w + 4*w = 3*o - x for o.
3
Let v(f) = 22*f**2 - f - 7. Let w be v(3). Suppose -w*z = -168*z - 700. Solve -z = -3*a + 5*o, -3*a + 27 = -0*a - 3*o for a.
5
Let s = -39 + 41. Suppose -s*d - 22 + 28 = 0. Suppose -2*q + 3*v = -51, 2*q + d*v = -2*v + 27. Solve 4*x - q = -5*p, -5*p + 3*x - 12 = -8*p for p.
5
Let s(c) = 3*c**3 + 31*c**2 - 23*c - 7. Let g be s(-11). Solve 5*u = 3*w - 14, g*u + 8 = -4*w + 8*w for u.
-4
Let d be -4 + 6/(-3) + (10 - 6). Let h be -10*(-48)/(-30)*d/8. Solve -u = -3*t - 4, h*u - 6 = -5*t - 24 for t.
-2
Suppose -15*p = -11*p - 20. Suppose 11*o = p*o + 18. Solve 0 = o*f - 6, -y - 4*f + 3 = -0 for y.
-5
Let j(o) = -o**3 - 5*o**2 - 6*o - 5. Suppose 2*z + 2*l = -18, 0 = 2*z + l + 12 + 1. Let w be j(z). Solve 5 + 0 = i + k, i = w*k + 5 for i.
5
Let a = -493 + 575. Suppose -94 + a = -3*o. Solve 4*t + 5*z - 18 = 0, 2*t - 14 = -t - o*z for t.
2
Let f = 480 + -427. Let u = -51 + f. Solve -5*g = -q - 23, u*q = -0*q - 6 for g.
4
Let o(x) = -x**3 + x**2 + 5. Let j = -103 - -103. Let r be o(j). Solve 4*n + r*l + 24 = n, -n = l + 6 for n.
-3
Let t be ((-126)/27)/((-4)/6). Suppose -t*v = -26 - 23. Suppose j - 5*p = 5*j + v, -j = -3*p - 11. Solve 2*q = -g + 10, j*q - 5*g + g = 10 for q.
5
Suppose 5*n = -3*b - 0*b + 1, b - 5*n + 13 = 0. Let k be (-37)/b - 2/6. Let z be ((-2)/(-5))/(1/5). Solve 3*l - 32 = 5*r, r + k = -z*l + 4*l for l.
4
Suppose -4*l - j = -15, -3*j - 2 + 3 = l. Let n(q) = -18*q + 77. Let v be n(l). Solve -5*t - v*r - 20 = 0, 3*t + 5*r + 9 + 13 = 0 for t.
1
Suppose -7*k + 15*k = -1296. Let c = 165 + k. Solve 2*u - 10 = 5*s, -4*u - c + 5 = -s for u.
0
Suppose -36*l + 223 = 43. Let g be (0 + -1)/((-5)/10). Solve -u + l*o - 15 = 0, 0*u + g*o = 2*u - 2 for u.
5
Let y be (-17 - (-840)/72)/((-2)/(-6) - 1). Solve 11*k - y*k = 5*u + 35, k = -3*u - 7 for u.
-4
Let c = -551 + 551. Suppose -33 = -o - 2*o. Let r = o + -8. Solve c = 2*f - 3 + 1, 0 = -2*n + r*f - 7 for n.
-2
Let k(x) = x**2 + 78*x + 161. Let s be k(-2). Let c = -4 + 7. Suppose 0*p = -c*p + s. Solve 0 = 3*l - 3*a - 6, 3 = -3*l - 3*a - p for l.
0
Let m = -8235 + 8244. Solve -21 = -3*b + 3*p, -3*b + 4*p - m = -35 for b.
2
Let i(d) = -2*d - 4. Let v be i(-3). Let o be (-6 + -18 + 23)/((-9)/45). Solve v*w = -3*w - u + 1, 4*u = o*w + 4 for w.
0
Let j = -21 - -27. Let r be ((-3)/j)/(3 - (-78)/(-24)). Suppose -a + 9 = 2*a. Solve -a*d = 2*d + 15, -5*i = -r*d - 6 for i.
0
Suppose -4*t + 138 = 2*t. Suppose 3*s - t - 25 = 0. Let j be ((-1)/(-10) - s/(-40))*0. Solve j = 5*d - 2*a - 2, 2*d + 0*a + 12 = 4*a for d.
2
Let h be (3 + 17)*4/10. Let g(a) = a**3 - 12*a**2 + 28*a - 9. Let r be g(h). Let l = r + 43. Solve 3*z = 5*n + 20, -l*z = -2*n - 2*n - 14 for n.
-1
Let g be -2 - (9/24*2 + 253/(-44)). Solve -155 = -o - 156, -j + 4*o + g = 0 for j.
-1
Let r = -12604 + 12607. Solve 3*v + 3*x = 2*v, 5*v - r*x = 36 for v.
6
Let d be -8 - (5/5 + 2). Let c = d + 13. Suppose 2*o - a = 4*a + 42, 0 = 2*o + 5*a - c. Solve 13 = 2*m + 3*m + 2*p, 0 = 5*m + 4*p - o for m.
3
Let r be 2 - -2 - (-40)/(-72) - (-40)/(-90). Solve -2*j = 5*m + 21, -2*m - 7*j = -8*j + r for m.
-3
Let l(r) = -r**2 + 110*r - 2537. Let p be l(77). Solve p*j - 24 = 4*o, -5*o + 2*j = 5*j - 10 for o.
-1
Let x(u) = 2*u**2 + 50*u + 60. Let k be x(-24). Solve -5*y - 4*m = 12 - 3, -k = -3*m for y.
-5
Let y be -22 + -8 + (-9 - -4)*-1. Let b = y + 27. Solve 3*k - 2*k = 5*d - b, k + 4*d = 7 for k.
3
Suppose -49*k + 101*k - 1196 = 0. Solve -25*w = -3*d - k*w - 14, 5*d - w + 14 = 0 for d.
-2
Let a = -8720 - -8725. Solve 36 + 4 = 4*y - a*i, -5*y = -5*i - 45 for y.
5
Let j(q) = -3*q**2 + 91*q - 99. Let f = -609 + 638. Let v be j(f). Solve -4*g = -0*g + i - v, i - 22 = -5*g for g.
5
Suppose 57*i - 56*i = f + 11, -i - 13 = 5*f. Suppose 25*c - 15 = 22*c. Solve -j + 19 = -2*v + i, j = c*v + 27 for v.
-5
Suppose -9*j + 250 = -8*j - m, 0 = j + 2*m - 262. Let v = j - 250. Solve 5*f = -4*c + 9, -4*f + 1 = -v*c + f for c.
1
Suppose -33*d = 133*d - 664. Suppose s + 2 = 1. Let k be s/(-2)*0/(-11). Solve 0 = 4*j - a + 23, -d*a + 7 = -k*j + j for j.
-5
Suppose -5*x - 24 = -2*p, 0 = -2*p - 89*x + 91*x + 12. Solve -5*o + 20 = 5*r, -7*r = -p*o - 2*r - 27 for o.
-1
Suppose 0*k - v = 2*k - 85, 3*k - 115 = v. Let i be (-4)/k + (-408)/(-80). Solve -i*g + 20 = -5*q, -2*q + q - 3*g + 12 = 0 for q.
0
Let f = 223075 + -223071. Let l(i) = i - 1. Let o be l(4). Solve 2*j - o*n + 3 = 0, -1 = -5*j + f*n + 2 for j.
3
Suppose -7*m = -10*m + 237. Suppose 5*w = -558 + 188. Let h = w + m. Solve 2*f + 1 = 3*f, -h*f + 10 = -5*c for c.
-1
Suppose m - 9 = -15, 0 = 2*t + m - 16. Solve -2*c - 4*u = 4, -2*c + 0*u + t = -u for c.
4
Let j be 1 + 6*2/4. Suppose 0 = -2*n + 16 - j. Suppose -212*x + 112*x + 1500 = 0. Solve 3*d + 0*d - 5*c = x, -2*c = -3*d + n for d.
0
Suppose -24*p - 197221 = -197221. Let j(m) = -m + 5. Let t be j(6). Let b = -1 - t. Solve 5*f + 3*c - 40 = 0, 2*f + p*f - 2*c = b for f.
5
Let f be (-4)/6 - 55*52/12. Let w = f + 241. Solve 4*z + 2*m = -16, 0 = z + 4*z + w*m + 19 for z.
-3
Suppose 14*y - 23 = -18 + 51. Solve y*d + 2 = 2*p, -2*d = 3*p + 2*p + 19 for p.
-3
Suppose 0 = -68*l + 16961 - 15329. Solve 4*i =