-b = -4*h + 17 for b.
-5
Let h = -70 + 65. Let v(s) = -11*s - 50. Let f be v(h). Solve 0 = 3*u - 17 + 5, -f*o - 24 = -u for o.
-4
Suppose -4*m + 12 = n, 5*m - 4 = n + 20. Solve 0 = -x + 3*k - 4, 1 - 9 = 4*x - m*k for x.
-1
Suppose -19*u - 6*u + 100 = 0. Solve u*h - 17 = -3*v, 5*v - 18 + 3 = 0 for h.
2
Let y be ((-216)/135)/((-4)/10). Solve 28 = -4*n + y*d, 3*d + 11 = -5*n + 2*d for n.
-3
Suppose 3 = 2*t + l, -3*t - 2*t = -5*l. Suppose -t = -4*z + 15. Solve 3 = 3*k, 4*w - 3*w - 1 = -z*k for w.
-3
Let z be (144/240)/(3/20). Solve -24 = -2*g - z*r, 2*g - 4*r + 5 = -11 for g.
2
Suppose -33 = -18*z + 7*z. Solve -1 = -5*l + z*q, -q - 7 = -5*l - 0*l for l.
2
Let r = -63 - -59. Let z be 40/(-6)*(10/4 + r). Solve -14 = -2*j + 3*u, -2*j + u = 4*u + z for j.
1
Suppose -j + 0 = -h - 20, -2*j + h + 44 = 0. Solve 0 = -4*y - 4*f - j, -y = 3*f + 5 + 7 for y.
-3
Let l(p) = -9 + 13 - 1 - 6 - p. Let c be l(-5). Solve -c*w - 9 = -t + 2*t, -3 = t - w for t.
-5
Suppose d - 15 = -d + 3*m, m = 4*d - 25. Suppose -3*c + 2*s = 7 - 3, 0 = -3*c - 2*s + 16. Solve 3*r + 1 = c*i + 5, r = -4*i + d for i.
1
Let z = -17 - -21. Let b be ((-3)/(18/(-24)))/(z/6). Solve 5*k - b = 3*s, -4*k + 1 = -s - 1 for s.
-2
Let w be ((-6)/(-8))/((-2)/(-8)). Let m = -329 + 614. Suppose m = 11*o + 32. Solve 3*s = 3*c + w, -4*s - c + o = s for s.
4
Let a(i) = 5*i - 8. Let h be a(6). Suppose 0 = -7*o - h + 141. Let k = -15 + o. Solve 5*l + 15 = 5*w, -2*l - k = -0*w - 4*w for w.
-2
Let k = 3 + 3. Suppose 2*y = -y + 15. Suppose -7 = -o - y. Solve -3*s - 2*a + 5 = 0, 0 = 6*s - 2*s + o*a - k for s.
1
Let l = -11 - -13. Let u = l + 12. Solve -p - 24 = -4*o, -o + u = o - p for o.
5
Let n be (-4 + 3)/(2/(-16)). Suppose r = 4*m + 4, m - n = -2*r - 4*m. Let g be (-7 - -3)*2/(-4). Solve -2*k + c + g = r*c, k - 2*c = -13 for k.
-5
Suppose -5*w - 4 = 2*x, 4*x = x + 4*w + 17. Solve p - 1 = x*g, g - 4*p = 3*g - 4 for g.
0
Suppose -k + 3*k - 20 = 0. Let f = 7 + k. Suppose -f + 7 = -2*t. Solve -3*u - 2 = 2*s, t*u = 2*s + 1 + 1 for s.
-1
Let y = -23 - -24. Suppose -x + 4 = -k + 1, -y = 2*k - x. Solve t - 2*b - 11 - 2 = 0, -5*b = -k*t + 31 for t.
3
Suppose 9 = u - 0*y + y, 2*y + 24 = 5*u. Suppose 3*d = u*r - r + 33, -4*d + r + 44 = 0. Let g = 15 - d. Solve -26 = 5*l - 6, -5*l - 32 = -g*v for v.
3
Let t(l) = l**2 - 7*l + 1. Let r be 6*(-14)/(-6)*1. Suppose -4*u + 2*u = -r. Let h be t(u). Solve 0 = -3*v + 2*v + 2*c + 11, v + c + h = 0 for v.
3
Let g be ((-10)/(-4))/(60/96). Solve 2*y - g*c = -0*c + 16, -y = -3*c - 11 for y.
2
Suppose -j + 14 = 7. Let r = -5 + j. Solve 0 = 2*m + 6, 3*g - r*m = 2*g + 11 for g.
5
Suppose -230*o - 4 = m - 234*o, 2*m - 4*o = -4. Let a = -10 - -14. Solve j - 2*c = 0, -4*j + m = -4*c + a for j.
-2
Let i(j) = -j - 3. Suppose -40 = 4*t - 5*g, -4*t - 4*g = g. Let d be i(t). Solve 0 = 3*h + 2*k - 4, -3*k - d*k = 2*h + 12 for h.
4
Let o be 12/9 - 1 - (-6)/18*11. Let y(r) = -2*r - 6. Let n be y(-4). Solve o*s + f = 0, n*f - 6*f = -4*s for s.
0
Suppose 13 = -2*a - 1. Let m(j) = -j**3 - 7*j**2 - 3. Let c be m(a). Let g be (-11)/c - (-1)/3. Solve -15 = g*k - 3*n, 1 = -4*n + 5 for k.
-3
Let c be (-4)/7*(2 - (-77)/(-14)). Solve c*w - 1 = -o, -4*o + w = -4*w + 9 for o.
-1
Let v = -38 - -46. Let l be (2/10)/(v/40) + 1. Solve -5*g - 3*x - l = 0, -2*x - 30 = -5*g + 3*x for g.
2
Suppose 2*u + 2*m - 6 = u, 3*m - 9 = 3*u. Suppose 24 = 4*s - 4*r, -66*s + 61*s + r + 18 = 0. Solve -6 = n - 2*n - p, u = s*p - 15 for n.
1
Let o = -8 - -10. Let g(v) = -2*v - 2*v - o*v**2 - 4 + 3*v**2 - 4. Let s be g(6). Solve 4*u = -4*c - s, c + 15 = 6*c for u.
-4
Let s be ((4 + -10)*-3)/1. Suppose -3*v - 3*x = -18, -x + s = -2*v + 3*x. Solve -1 = 3*l - 5*n, -2 = 3*n + v for l.
-2
Suppose -9*t + 31 = -14. Solve -t*g - 21 = -2*p, -p + 3*g + 25 = -6*p for p.
-2
Let x(v) = v**2 + 8*v + 9. Let s be x(-7). Let m be (4/s)/(-2) + 3. Let a(z) = 3*z - 11. Let r be a(5). Solve 5*d = r*j + m*d + 9, j - 3*d = 0 for j.
-3
Let b(v) = -73*v - 143. Let m be b(-2). Solve m*q - 18 + 30 = 3*i, -4*i - 2*q + 16 = 0 for i.
4
Suppose 0 = -5*h - 5*t + 95, -4*h + 25 = -2*t - 69. Let p be 4/h + (-2119)/(-143). Solve 3*x + 3*f - p = -2*f, 5*f = x - 5 for x.
5
Let i be 8/(-64)*(5 - 15)*4. Let m(o) = o**3 + 6*o**2 + 4*o + 2. Let f be m(-3). Solve -g - 23 + 4 = -i*y, -2*g = -3*y + f for y.
3
Suppose -3*y = 121 - 10. Let h = -28 - y. Let u = h + -5. Solve 5*o = 2*o - 4*c - 32, 28 = -2*o - u*c for o.
-4
Suppose -5*v - 4*m = -29, -15*v = -19*v + 3*m + 17. Solve r + v*h + 19 = 0, 3*r - 3*h + 5*h = -5 for r.
1
Let z(f) be the first derivative of -2*f**2 - 15*f - 12. Let a be z(-5). Solve a*b + c + 6 = -0*b, 2*b - 4*c = 2 for b.
-1
Let x be (2/3)/((-18)/27) - -3. Suppose -6 = -4*j + x*j. Solve -j*m + 11 = 2*z, m + 7 = 2*z - 0 for m.
1
Suppose 3*w - 5*d - 62 = 0, -4*d - 3 = -3*w + 61. Let p = -21 + w. Solve -3*l + 4 = -s, -4 = p*l - l + s for l.
0
Let v be 2 + 1 + (0 - -1). Suppose 25 = -5*n, -6*r + 5*n = -3*r - 37. Suppose 26 = -r*l + 5*l. Solve 3*f + 5*z = -l, -3*z = -v*f + 6 - 2 for f.
-2
Suppose 0*l + 5 = -l. Let a = -1 - l. Solve a*y + 28 = 4*v, 0 = -y - y + v - 10 for y.
-3
Let p be (-118)/295*(-2 + -3). Solve -2*x + p = 2*y, 9*x - 6*x + 1 = y for x.
0
Let k = 728 + -728. Let c = 12 + -6. Solve -c*m - 33 = 2*z - m, k = -z - 4*m - 24 for z.
-4
Let t(w) = -w**3 + 6*w**2 - 5*w + 3. Let v be t(5). Suppose -c - v*f + 14 = 0, -c + 18 = f + 4*f. Let l = -4 + c. Solve 0 = -l*g + y - 4, 5*y = -7 - 13 for g.
-2
Let k = 15 + -7. Let a = k - 2. Let r be (-4)/8 - (-1)/2. Solve 2*m + r*m + 2*n - 6 = 0, -2*m + 2*n = a for m.
0
Let b be (2/(-4))/((-2)/(8*3)). Solve 5*l + 20 = -5*x, -l + 20 = -b*l - 4*x for l.
-4
Suppose -3*t = -4*b + 8, 13 = -2*t + 4*t + b. Suppose -13 = 5*v + 17. Let x = v + 11. Solve -t*k - x*h = -5, 2*h - 4 = -k + 1 for k.
-5
Let d(c) = 8*c - 36. Let x be d(5). Suppose 2*f + 3*j = 5*f, 30 = 2*f + x*j. Solve -k + 0*s - f*s = 24, -k = s + 4 for k.
1
Suppose -5 - 1 = -2*y. Let k(u) = -3 - y*u + 2*u + 2*u + 5. Let p be k(0). Solve -5*i + 5 = p*q, 3*q - 3 = 7*q - 3*i for q.
0
Let g = -6 + 10. Let s(v) = -v + 6. Let q be s(-9). Suppose 0 = -16*y + y + q. Solve -2*l = -m - 2*m - y, -g*m + 2*l = 0 for m.
1
Let y be -6*(-9)/((-324)/(-30)). Solve a + b + 3 = 0, 2*b = -y*a + 5*b + 17 for a.
1
Suppose -4*p = 20, 0*k + 2*p = -k - 8. Suppose -k*o - 5*r = -3 - 7, -2*o - 2*r = -10. Solve 0*x = -4*x + 3*h - 5, 3*x + o*h = 18 for x.
1
Let p = 52 - 106. Let x be 12/(0 + -3) - p/3. Solve 5*i - 5*k + x = 3*i, 0 = 5*i + 2*k - 23 for i.
3
Suppose -12 = -4*y + c, -2*y + 5*c - c + 20 = 0. Suppose s = -y*s + 9. Suppose 4*m - s*m = -2*a, -2*a - 4 = 0. Solve -5*x = -2*n + m, 0 = 2*x + 3*x + 10 for n.
-3
Let f be (6/39)/(13/338). Solve -g + 4*g = 3*k - 3, f*k + 26 = -2*g for k.
-4
Let l = 0 + 5. Suppose -6 = -5*v + 9. Suppose 64 - 414 = -35*f. Solve -l*b + 30 = -h, 3*b - v*h = 4*b + f for b.
5
Let s be (0 - 4/(-7))/((-204)/(-3570)). Solve -c + 1 = -a, c - s - 6 = 4*a for c.
-4
Let t(d) = 4*d**3 + 57*d**2 + 13*d - 10. Let h be t(-14). Solve -l - 2*g = -11, -l = g - 4 - h for l.
5
Let f be -3 - -5 - -7*1. Let v(q) = -7*q**2 + 1 - 6 + 2 + q**3 + 0 + q. Let d be v(7). Solve -l - 2*g = f, 5*l - d*g = 2*l + 13 for l.
-1
Let f(z) = -24*z - 260. Let l be f(-11). Solve l*d = -p - 8, -5 = d - 13*p + 14*p for d.
-1
Let i be (4 + 0 + 1)*4. Let y be i/4 + (-9)/(-3). Solve y = -o - 4*v, 2*o - 11 = 2*v - v for o.
4
Let x be 4/((-20)/15)*(-4)/3. Solve -x*c - 6*q + q = -5, 2*c - 5*q = -5 for c.
0
Let t(k) = -8*k**2 - 8*k + 7*k**2 + k + 1. Let c = 1 + -4. Let m be t(c). Solve -i - 3*d - 2*d + 16 = 0, 4*i - m = -3*d for i.
1
Suppose -3*u + 3 = 2*z + 90, 4*z - u + 209 = 0. Let d = -49 - z. Solve 4*v + 3*l - d = 0, -2*l - 1 - 13 = -5*v for v.
2
Let b = 6992 - 6989. Suppose v + 2*x - 8 = -v, -3*x + 12 = 2*v. Let t be 2/(-6)*(-15 - v). Solve -t*r + 17 = -4*w, 5*r + 4*w - b*w = 27 for r.
5
Let y(g) = g**3 - 12*g**2 + 21*g. Let q be y(9). Let l = q + 56. Solve -2*u + l*a = -2*a - 4, -3*u = 5*a + 5 for u.
0
Suppose -32*v - 72 = -34*v. Let j = v + -24. Solve 2*m = 2, 2*r - 4*m = -2*r + j for r.
4
Let z = -6 - -9. Suppose -16*u + 5*u = -33. Solve u*l - z = g + 6, -15 = -5*l for g.
0
Let v(x) = x**3 + 13*x**2 + 4*x - 16. Let q be v(-12). Suppose -q = -11*p + 3*p. Solve 0 = 3*f - 5*g + 13, 2*f - 5*g + p*g - 8 