 Solve d + 2*d = c*b - 35, 0 = -2*b + 4*d + 28 for b.
4
Let v be (0/34)/(-2 - (0 + -3)). Solve j - 4*t - 10 = v, 3*t - 5*t = -4*j - 2 for j.
-2
Let s be (3 - 3)/(2 - -1 - 5). Suppose 4*t - 3*u + 0*u = 22, s = -5*u - 10. Solve 1 = -3*a - 2*j + t*j, 0 = 3*a + 5*j - 13 for a.
1
Let m be (-36)/(-81) - 64/(-18). Suppose -w + 4 = m. Solve u = -3*r, 5*u = -w*r + 4*r - 19 for r.
1
Suppose -3*q = 4*s - 51, -3*s - 3*q + 10 = -32. Solve 5*r = 3*o + 1 - 22, -3*o - s = 5*r for o.
2
Suppose 5*b - 4*n = -78, -1 = -4*n + 7. Let v = 15 + b. Solve -x = 4*s + 19 - v, 0 = 2*x - s for x.
-2
Let j(f) = -f**3 + 15*f**2 + 14*f - 7. Let d be j(16). Let t = d + 42. Solve -2 = t*i + 4*z, 3*i - i = -3*z - 1 for i.
-2
Suppose 0 = -3*l - p - p + 34, -5*l = -4*p - 20. Let m be (-4)/l*(2 - 12). Solve -4*z = m*w - 8, 5*w - 12 = 2*w for z.
-3
Let a(g) = -11*g - 22. Let j be a(-4). Solve 3*v + 2*v = -3*z - j, 4*z - 4 = 0 for v.
-5
Let g(x) = 2*x**2 - 52*x - 50. Let n be g(27). Solve -11*a + v = -9*a - n, -3*v = -5*a + 11 for a.
1
Suppose 2*v - 3*p = 5*v - 9, 9 = 4*v + 5*p. Let w be 10/((v/(-4))/3). Let d be (-204)/(-20) - (-4)/w. Solve z + 4 = t - 3, -4*z - 5*t = d for z.
-5
Let q(h) = 8*h - 22. Let x be q(3). Let o(a) = -a + 14. Let y be o(11). Solve 0 = 5*i + y*g + 4, -2*g = i - x for i.
-2
Let y = -35 + 39. Suppose 3*u + 4 = -4*z, -3*z + 4 = -y*z. Solve -2 = -5*f - 2*h - u, 0 = 4*h - 16 for f.
-2
Let a = 492 + -490. Solve -4*t - 4*p + 0 + 8 = 0, 0 = -3*t + a*p - 9 for t.
-1
Suppose -735 = -3*i - 4*c, 5*i - 4*c - 1193 = -0*c. Suppose 5*u = 3*q + 2*q - 235, 5*q - i = 3*u. Solve 4*m - q = -m + 5*f, 5*f = -4*m - 5 for m.
5
Let l be ((8/(-12))/(-2))/((-2)/(-24)). Suppose -2 = 4*g - 18, 2*f = -l*g + 20. Solve i + 3 = f*u - 0, -4*i + 8 = -3*u for u.
4
Let n(u) = u**2 + 5*u + 5. Let i(t) = t**2 + t. Let d(r) = 2*i(r) - n(r). Let o be d(5). Solve o*h + 30 = 3*b, -3*b + 2 = 3*h - 4 for h.
-3
Let w(h) = h - 12. Let q be w(0). Let x be ((-2)/(-6))/(q/(-180)). Solve -x*y = -4*a - 8, -a - 7*y + 3*y = 2 for a.
-2
Suppose 164*y - 3053 - 4286 = -15*y. Let q(h) = h + 11. Let n be q(-6). Solve -4*b - y = n*t, -t - 2*t = -2*b + 7 for t.
-5
Suppose -232 = -5*l - 67. Solve -k + 5*t - 10 = -25, -2*t = 5*k + l for k.
-5
Let d be (2/(-4))/((-3)/24). Suppose -5*k + 0 + 10 = d*j, 4*k = -3*j + 8. Let h be j + 1 - (3 - 7). Solve -6 = 2*s, -h*s = -x + 5*x - 1 for x.
4
Let g(u) = u. Let f be g(3). Suppose 44 = -6*v + 17*v. Let t = 39 - 36. Solve 4*s = f*b, v*s - t*b + 8 = -2*b for s.
-3
Let s = 133 - 92. Let o = -27 + s. Solve -2*f + 5*f = 5*z + 29, o = -2*f - 5*z for f.
3
Suppose -744 + 734 = -5*k. Solve c - 3*c - 4*p = 0, 0 = k*c + p for c.
0
Suppose 0 = 5*c + m - 52, c + 3*c - 42 = -m. Let t = -2 - -2. Solve 2*k = -4*s - 10, -s - 6*k + 3*k - c = t for s.
-1
Let m = 97 - 153. Let n = m + 83. Let d = n + -10. Solve -3*l - 4*s - 7 = 0, s - d = -5*l - 6 for l.
3
Suppose -13*i + 3*i - 80 = 0. Let m be (14/(-168) - 6/i)*3. Solve -p + m = -0*p, 2*g + 2 = -2*p for g.
-3
Suppose 0 = -14*b + 12*b. Suppose 3*k + 5*t - 104 = 0, 3*k + 4*t - 68 - 32 = b. Solve 5*x - k = -5*w - 3, 8 = 4*x + w for x.
1
Let b(d) = 6 - 31 - 5*d + 15. Let k be b(-3). Solve 5 = 4*r - 2*v - 7, 3*v = -k*r + 26 for r.
4
Let i = -58 - -64. Solve x + 11 = 4*r, 1 = -5*x - 4*r - i for x.
-3
Let o be (-37)/(-10) + 27/90. Solve -o*q - 30 = 3*u - q, 5*u + 3*q = -40 for u.
-5
Let o = 18 + 31. Suppose -4*r + o = 21. Solve -5*p - 5*b + 1 + 4 = 0, -p + r = 3*b for p.
-2
Let f be 2*(-2)/4 + -1. Let i be -1 - -3 - (-5 + f - -4). Solve 4 + i = 3*q, -3*v = -q for v.
1
Suppose 3*c = 5*o + 17, 5*c - 5*o - 8 = 17. Solve 3*t = 5*x - 12, -6 = c*t - 3*x - 1 for t.
1
Suppose -4*c - 3*g + 118 = 0, c - 2 = 2*g + 22. Suppose 8*w = w + c. Solve w*m - 5*l = -32, -l + 14 = 2*m + 4*l for m.
-3
Suppose -6 = -4*b - 3*i, 2*b - 5*i - 16 = -0*i. Solve -b*l = w - 8, 5*w - 3*l + 2 = 6 for w.
2
Let j = -4 - -8. Suppose 14*n - 1978 + 536 = 0. Let i = n + -91. Solve 2*l + i = 3*r - 8, j = 2*l + 3*r for l.
-4
Suppose -11*r + 5 + 28 = 0. Solve 5*z = -c - 22, r*z - 3*c = 2*c - 30 for z.
-5
Suppose 57 = -5*r + 2*r. Suppose 0 = -2*t + 51 + 11. Let x = t + r. Solve 2*z + p = 2*p - 3, 4*p - x = -3*z for z.
0
Let s be ((-6)/10)/(3/(-15)). Let r be -4 + 3 + (-18)/s. Let c = -3 - r. Solve -b + 6 = c*q - 2*b, 2*q + 2*b - 8 = 0 for q.
2
Suppose -45 = -5*b + c, 5*b = -9*c + 4*c + 15. Let i = 8 - b. Solve i = -5*u - 3*p - 25, -5*u - 25 = 4*p - 0*p for u.
-5
Suppose -10 = 5*b - 20. Solve 0 = 4*w - 4, w = -b*h - w + 8 for h.
3
Let r be 2/(-12) - (-74)/12. Suppose -r = -0*z - 3*z. Let s(w) = -w**3 + 2*w**2 + 2*w - 2. Let h be s(z). Solve -5*f = 3*o - 12, -2*o + 8 = h*o + 4*f for o.
-1
Let y be (7 - 3)/(-3 + 20/6). Suppose 5*b + n = y - 1, 0 = 2*n - 2. Solve -2*p - h - 15 = b*p, 5 = -2*p - h for p.
-5
Suppose 5*z + 10 = 4*g, 3*g - 4 = -4*z + 19. Solve -7 = o + g*d, -2*o + 4 + 0 = d for o.
3
Let n(g) = -g**2 + 10*g + 175. Let c be n(19). Let z(k) = -k**2 - 7*k - 5. Let b be z(-4). Solve -3*s - 5*p - b = 0, p - 5 = -3*s + c*s for s.
-4
Suppose -3*l - 2*l = -4*s + 18, -4*l + 4*s - 16 = 0. Let f be (l/(-3))/(8/24). Solve -f*o = 4*z - 16 - 4, 0 = -o for z.
5
Suppose -8 = 5*i - 6*i - b, 4*b - 4 = 0. Solve -s = -5*x + 29, s - i = -4*x + 9 for s.
-4
Let t be (-72)/30*5/(-2). Solve -4*g + 2*m - 4*m - t = 0, 3*g = -2*m - 5 for g.
-1
Suppose -5*i - l = -25, -3*l - 13 = -i - 6*i. Solve -i*c = -3*x + 4 - 25, -c - 5*x = 12 for c.
3
Suppose 0 = 3*k + 6, 5*k + 3 = -i + 7. Suppose 0*r + r - i = 0. Let h be 5 + 0 + -13 + r. Solve m - 1 = -3*q, 3*q - 4 = -4*m + h*q for m.
1
Suppose -16 = o - 5*o. Suppose -o*q = -5 - 7. Let l = 11 - 6. Solve -q*k - 3*p = 9, 35 = l*k - 6*p + p for k.
2
Let j = -6 + 10. Suppose -2 + 7 = 3*x - j*w, -4 = -3*x + 5*w. Solve x*h - 12 = 3*s, -5*h = -5*s + s - 18 for s.
-2
Let i = -56 - -60. Let a be (1 + 0 - 3)*1. Let s be (34/(-4))/(a/4). Solve -c = 4, 0 = -w + c + i*c + s for w.
-3
Suppose 3*d + 1 = -5. Let u be d/7 - (-837)/63. Solve 4*q - 1 = -x, q - 3*q = 3*x - u for q.
-1
Suppose -o + s = -0*o - 8, -o = -5*s - 16. Let l = o - 4. Solve 2*v + 6*t + 26 = l*t, 30 = -5*v - 3*t for v.
-3
Let m = 42 - 37. Suppose 5*c + 2*f = -2*f + 145, -c = -4*f - 5. Let o be 6/5*c/2. Solve -21 = -4*i + 5*x, 3*x = m*i - x - o for i.
-1
Suppose 0 = 3*y - 9, 4*a = -3*y + 4*y - 3. Suppose a = 2*v - 26 - 16. Let s = v + -18. Solve -2*m = -4*g + 2*m - 4, s*g + 35 = -5*m for g.
-5
Let g = -85 + 85. Solve 3*p = 2*v + 2*p + 1, g = 5*v - p + 10 for v.
-3
Let a be (7 - 3)/2 - (-17 + -2). Solve f = 4*s - a, -4*s + 0 = f - 19 for s.
5
Let b be (-4)/(-2 + (-14)/(-6)). Let y = 21 + b. Suppose 21 = 2*u + u. Solve -3*j + 3*x + y = 0, 4*j + 2*x = u*x + 16 for j.
-1
Let t = -137 - -142. Let b(f) = f**2 - 10*f - 8. Let d be b(11). Solve t*h - d*z + 13 = 0, 0 = -4*h + 5*z - 2*z - 11 for h.
-2
Let w be ((-6)/(-4) - 2)*-16. Let k be (36 - 31)*(-1 - w/(-5)). Solve -k*s - 4*b = -2*s + 7, -3*s + 3*b - 6 = 0 for s.
-3
Let v = 19 - 37. Let s be v*1*(-9)/(-18). Let u = s - -11. Solve -u = -2*r - 4*a - 0, 0 = 2*a for r.
1
Let j = -26 + 28. Solve -3*r - 2*q = j, -2 = -r - 4*q + 4 for r.
-2
Suppose 31*b = -4*b + 105. Solve 12 = -4*f + 4*h, b*f + 19 = -0*h - 2*h for f.
-5
Let k be 270/14 - (-4)/(-14). Suppose 0 = 5*r + 15, -3*r = -2*p - 2*r - 1. Let w be (-1)/(p/(k - 3)). Solve -3*q = 9, 0 = -y + 3*q - 5*q - w for y.
-2
Suppose 15*n - 60 = 3*n. Solve 20 = 4*j + d, -2*j + n*d = -0*j + 12 for j.
4
Suppose j = -2*j - 0*j. Suppose -135 = -j*m - 9*m. Let q be 4/1 + (-1 - -3). Solve -h - m = -3*v - 0, 2*h + 3*v = q for h.
-3
Suppose 0 = -h - 1, 2*h + 19 = 3*c - 2*h. Suppose 11 = 5*u + 2*s, 3*s - c = -11. Suppose 0 = -2*q + 7*q - 40. Solve -m = 2*a + 2*a - q, -2*a + 4 = -u*m for m.
0
Let d(t) = -5*t - 13. Let h be d(3). Let i be ((-32)/h)/((-2)/(-7)). Solve 0 = -k + 3*n - 2, 2*k + 3*k - i*n - 1 = 0 for k.
1
Let l be (-78)/(-42) - 1/(-7). Solve 27 = 4*j + 3*o + l, j + 2*o = 10 for j.
4
Suppose 0 - 5 = -5*c + 3*y, 0 = c - 4*y + 16. Solve 0 = -2*b - 2*f + 16, c*b = 14*f - 10*f for b.
4
Let b(c) = -c**2 + 6*c**3 - 2 - 2*c**2 + 1 - 2*c**3. Let y be b(3). Suppose -y = -0*w - 5*w. Solve -k + 16 = -3*q, -3*q + w = -k - 8*q for k.
4
Let s = -2286 - -2289. Solve -21 = s*c - 7*c + 5*r, 5*r + 27 = -2*c for c.
-1
Let f = 119 + -42. Let t = 77 - f. Solve 