 -i + 4*y = 16, -y + t + 1 = i for i.
4
Let l(q) = 2*q - 6. Let j be l(3). Suppose j*h + h - 3*v - 11 = 0, 23 = 4*h - 5*v. Solve -a - z = -5*z + 24, -2 = 3*a + h*z for a.
-4
Let k be (-11 - -1)/(-2)*8/20. Solve 4*z - t - 12 = 0, k*z + 3*t + 7 = -1 for z.
2
Let z(w) = -w**3 - 3*w**2 + 4*w. Let a be z(-4). Let j be (-32)/20*(-21 - -1). Let n = 32 - j. Solve -4*g - 5*d + a*d + 1 = n, -2*g = d - 5 for g.
4
Suppose -8 = -5*c - 3. Solve c = a + w - 0, 5*a = w - 1 for a.
0
Suppose 18*l + 67 - 265 = 0. Solve 3*k + 3*t = -3, t = 3*k + 2*t + l for k.
-5
Let z(t) = 3*t - 21. Let g be z(-7). Let c = g + 46. Solve -5*u + 33 = c*l, -u - 4*l - 5 = -9*l for u.
5
Let y(g) = g**2 - 11*g + 11. Let o be y(10). Let a = -67 + 71. Solve -a + 5 = -z, -3*z = n - o for n.
4
Suppose -2*o + 10 = 5*a - a, -a - 10 = -2*o. Solve 5*d = 5*m + o, 2 = d + m - 5 for d.
4
Let q = 7 + 18. Let s be (-3)/((-6)/8) - 2. Suppose 5*k - q = 0, -p - 3*k + 10 = -s*p. Solve 3*v = -3*u + 8*u + 28, p*u = -2*v - 23 for u.
-5
Suppose -5*p - m = -20, 0*m = 5*p + 4*m - 35. Let q(t) = -t**3 - t**2 - t - 1. Let k be q(-2). Solve -k*v - p*z = 22, 3*z = -2*v + 6*v + 23 for v.
-5
Let h be 30/(-25)*(-50)/15. Solve -4*w = h*d - 8, -w = -d - 0*d + 4 for w.
-1
Suppose 1 = t - 4. Let b(s) = 20*s - 80. Let f be b(4). Solve -2*p - 24 = -t*v, f = 4*v - 0*v - 16 for p.
-2
Let i be (-2 - (1 - 7)) + 1818/(-18). Let n = -94 - i. Solve z + 3*l = -1, n*z = -4*l - 0 - 8 for z.
-4
Let g = 4 + -1. Let r(q) = -12 + 0*q + 10 + 11*q + 5. Let x be r(g). Solve -4*m = -5*b + x, 2*b = 2*m - m + 12 for m.
-4
Suppose -4*b - 13*o + 14*o = -15, -3*o = 4*b - 3. Solve b*a + 15 = 6*k - 3*k, -k + 3 = a for k.
4
Let o = 29 + -4. Let c = 25 - o. Let f be ((-24)/28)/((-1)/7). Solve -4*z + f = -c*z - 2*n, -3*z + 37 = 5*n for z.
4
Let d be (-4)/8*23*-4. Suppose 7*o = d - 18. Suppose -o*a + 4 = -20. Solve -2*z - 4*b = 24, 2*z - 5*b = -3*b + a for z.
-2
Let z be -1 + 84 - (0 - 0). Let c = -55 + z. Suppose 4*m - 8 - c = -4*o, o + 16 = 4*m. Solve -3 = 3*j - 2*j, -3*w = m*j + 6 for w.
3
Let z(u) be the third derivative of -7*u**4/24 + u**3/2 + 3*u**2. Let i be z(2). Let r = -6 - i. Solve -r*g - 2*d = -2*g - 10, -3*g + 3*d = 0 for g.
2
Let w(d) = d + 9. Let v be w(-6). Suppose l + 0*l - v = 0. Suppose -l*q - 29 = -8*q + 2*b, -q - 4*b = 3. Solve 0 = 3*p - 3*z + 9, -q*p + 6*p + 5*z = -3 for p.
-3
Let f(y) = -y**3 - y**2 - 3*y - 1. Let j be f(-2). Let z be (-6)/j - (-28)/6. Solve 0 = -2*h - z*d - 28, 0*h - 5*d = -3*h + 13 for h.
-4
Let g = 1613 + -1608. Solve g = -4*b + 3*q, -q - 1 + 3 = -b for b.
1
Let r = 61 + -24. Let j = -32 + r. Solve o = -5*h + j*o + 16, -2*h = -3*o - 5 for h.
4
Let k(s) = -39*s**3 + 2*s**2 - s - 1. Let o be k(1). Let d = 44 + o. Solve 3*j + 4 - 17 = 2*x, d*j + x = 0 for j.
1
Let u be -12*(-9)/(-27)*-1. Solve 0 = -2*c + 3*b + 1, 0 = -c - u*c - 3*b - 29 for c.
-4
Let k be (-4)/(-10) + (-528)/20. Let h = k + 33. Solve -3*l - 3 = 0, l = -4*i + 2*l - h for i.
-2
Suppose -4*c = -13*v + 10*v + 1, 3*v = 2*c + 11. Let l(d) = d**3 - d**2 + 4. Let y be l(0). Solve 4*m + v = 3*j - 8*j, -y*m - j - 11 = 0 for m.
-3
Let o be 27/(-18)*(1 - 3). Let u be 29 - o/(-3 - (-2 + -2)). Solve -3*w - 3*m - u = w, -3*m - 1 = -w for w.
-5
Let b = -2 - -17. Suppose 2*g + 9 = -b. Let o = 16 + g. Solve z + 14 = 4*p, -z - o*p + 4 + 14 = 0 for z.
2
Suppose 2*g = 7*g - 135. Suppose -5*o + g = 3*r, -4*o = -2*r - 5 + 1. Solve -5*t = -0*t + 4*u + 17, -o*t + 6 = -3*u for t.
-1
Let q = 1 + -9. Let v be (12/q)/(-1*(-4)/(-8)). Suppose -t = 3*a - 2*t - 20, 3*a = -3*t. Solve 3*h = -v*k - 2*k - 25, k + 5 = a*h for h.
0
Let t = 284 + -280. Solve -5*h + 5*z = 0, t*z = 2*h - 0*h - 6 for h.
-3
Suppose 6*z - 31 = -13. Solve 3*i + 2*y + 5 = 0, 5*y + 5 = z*i + 24 for i.
-3
Let l(r) = r**3 + 5*r**2 + 5*r. Let o = 135 - 138. Let n be l(o). Solve -c = n*p + 5, -2*p = -2*c - 4 + 2 for c.
-2
Let j(b) = -b**2 + 1. Let g(o) = o**2 - 9*o - 22. Let z be g(11). Suppose -q + 5 - 4 = z. Let y be j(q). Solve y*c + c - d + 3 = 0, -3*c - 4*d = -19 for c.
1
Let i = 8 - 5. Let g(k) = k**2 + 3*k - 16. Let n be g(4). Suppose -2*j + 19 = -n*m + 9*m, -m - 3 = 0. Solve -2*u - 15 = -j*o, -u = -o + i*o - 6 for o.
3
Suppose a - 12 = -3*o, 7*a - 4*o = 9*a - 18. Let k(y) = -y**2 + 2*y. Let q be k(2). Solve 3*g + 12 = q, g + a*g = -p - 14 for p.
2
Let g = -46 - -46. Solve -2*h + s + 13 = g, h - 35 = 4*s - 11 for h.
4
Let a = 212 + -209. Solve 3*y = 5*k - 2, a*y = -k - 5 - 9 for y.
-4
Let c(d) = -d**2 - 7*d - 1. Let j be c(-4). Let f be (-3)/(2 + j/(-4)). Solve -5*b - 25 = 2*g, -2*g = -g - f*b - 20 for g.
0
Suppose -28 - 8 = -9*b. Solve 3*h + q = 2*h - b, 3*q = 3*h - 12 for h.
0
Let o(g) = -5*g - 73. Let f be o(-15). Solve 0 = -4*u - 8, r + 0*u = 3*u + f for r.
-4
Let u be 2/(4/(-6)) + 18. Let n = u + -13. Suppose 0 = a - n*a + 4. Solve 4*y - 3*f - 7 = -0*f, -5*y - 30 = a*f for y.
-2
Suppose -n = -5*n - 4*g + 100, -5*n + 119 = 3*g. Suppose -78 = 4*z - n. Let a = -12 - z. Solve 0 = -h - a*r - 3, -4*r = -9*h + 4*h - 29 for h.
-5
Let o(s) = 13*s**3 - 2*s + 1. Let h be o(1). Let r be 188/h - (-4)/12. Solve 0 = 3*v + 5*b + r, -4*v = 4*b - 9*b - 37 for v.
3
Suppose -58 = -6*q - 34. Suppose 4*p - 14 = -5*c + 11, -q*p + 5*c = 25. Solve 2*v - v - 2*z + 1 = 0, p = -2*v - 3*z + 5 for v.
1
Let v be 3 - (-39)/(-15) - (-30)/(-75). Solve 20 = -5*x, -t - 18 = -v*t + 5*x for t.
2
Let i(y) = 2*y - 30. Let g be 32/10*(-5)/(-1). Let z be i(g). Solve -8 = -z*n - 2*v, v = -v + 8 for n.
0
Let k = -103 + 100. Let l be 25/(-9) - k - (-410)/18. Solve -5*o + f = l, -18 = 3*o + 2*f - 4*f for o.
-4
Suppose -3*m = m - 28. Let z(c) = 5*c - 31. Let r be z(m). Solve -3*t + 12 = -0*t, 4*p - r*t = -28 for p.
-3
Let n = 357 + -351. Solve -3*w - 5 = 2*w, -4*b + 2*w = -n for b.
1
Suppose 0 = -5*u - 4*d + 18, 4*u + 1 = 5*d + 40. Let z be (u/15)/((-2)/(-10)). Solve 2*r + z*i + 4 = 0, -2*i = 5*r - 7*i + 10 for r.
-2
Suppose 4*n = 8, -f + 3*n - 4 = -0. Solve 0 = k + 5*w + 24, f*k + k + 3*w + 12 = 0 for k.
1
Let y = 284 + -281. Solve -4*n - 28 = 5*q, -y*q - 10 = -3*n + 2*n for q.
-4
Let i = 1847 - 1842. Suppose -5*z = r - 9, 5*z - 17 = -5*r + 8. Solve 5*h = -r*w + 11, i*h + 0 = w - 9 for w.
4
Let f = -123 - -127. Solve 0 = 4*v - 5*d + f, d = -3*v - 0*d + 16 for v.
4
Suppose 0 = -d + 10*d + 18. Let w be ((-3 - -6)*(-16)/3)/d. Solve -y - 7 = g, -3*g = g + w for y.
-5
Let z(i) = -i + 7. Let g be z(3). Suppose 0*n = -g*t - 4*n + 16, -2*n - 22 = -4*t. Solve -r - 3*u - 16 = -6*r, -u = t*r - 28 for r.
5
Let y = 17 - 17. Suppose -5*n + 27 + 133 = 5*l, y = -4*n + 5*l + 92. Solve 0*b - 5*j - n = b, -4*j = 2*b + 26 for b.
-3
Let j(p) = -3*p**3 + p**2 + 2*p + 1. Let s be j(-1). Suppose 4*c = c + 3*t, 0 = 3*c + s*t - 24. Solve 4*g - 8 = -6*y + c*y, 0 = 4*y + 2*g - 10 for y.
2
Suppose 3*g = 5*v + 193, -4*g + 2*g + 162 = 5*v. Let p = g - 69. Solve -3*b + 4*q + p = -2, 2*q + 2 = -b for b.
0
Let s = -23 - -27. Solve 4*h = -7*u + 12*u + 16, -s*u + 4*h = 12 for u.
-4
Let g = -10 - -4. Let k be (-3*1)/(g/24). Suppose -4*t = -4 - k. Solve z - t*s + 15 = 0, 2*s + 15 = 4*z + 5 for z.
5
Suppose -13*n = -6*n - 77. Solve 3*v = 4*v - 4*y + n, 0 = -2*v + 2*y - 10 for v.
-3
Let j = -389 + 394. Solve 23 = 2*d + 5*m - 0*m, -j = -5*d - 2*m for d.
-1
Let y be -10 + (-264)/(-28) + 274/14. Solve -2*x - 10 = -4*t, -7*t - 4*x + y = -2*t for t.
3
Let k be -11 - (-12)/6*9. Solve -p + 11 = 4*j - 6*p, 0 = -5*j + 4*p + k for j.
-1
Suppose 5*l - 46 - 69 = -3*o, -3*l + 93 = -3*o. Let a = l + -13. Let z = a - 9. Solve -u + 5 = 2*w, z*w + 6*u = 2*u for w.
5
Let c be 184*1/4*-2. Let j = c - -96. Solve -5*i + j = -3*z, -6 = i - 5*i + z for i.
2
Let r be 15*(-5)/2 + (-12)/(-24). Let m = 52 + r. Solve 5*k = 6*x - 4*x - 22, -4*k = x + m for k.
-4
Let f = -23 + 25. Suppose 2*j = -f*a + 14, -5*a + 12 = j - 3*a. Suppose j*i - 4*g + 2*g + 2 = 0, -g = -2*i + 3. Solve -4*k = 16, 5*h + 30 = -i*k - k for h.
-2
Let v(n) = n**2 - 30*n + 71. Let p be v(28). Solve 0 = 2*f - 0*f - 3*c - p, 0 = -4*f + 4*c + 24 for f.
3
Let a = -14 - -18. Suppose 3*s - 24 = -0*s + a*f, -4*s - 2*f = -10. Suppose s*k = -k. Solve -t - 4*h - 11 = k, -4*t + 8*t = -h + 1 for t.
1
Let k(p) = 2*p + 42. Let l be k(-18). Suppose -l = -10*o + 7*o. Solve 4*v = 5*w + 18 + 13, o*w + 5*v = 14 for w.
-3
Suppose -77*b = v - 81*b + 2, -4 