 2*c for b.
4
Suppose -g = -3*v + 12, 0*v - 3*g = 3*v - 24. Suppose -v*p + 7 = -63. Solve -3*c + c - 2*m = -6, 2*m - p = -4*c for c.
4
Suppose 2*l + 7 - 11 = 0. Let y = 177 + -159. Solve 28 = -4*j - 5*v + v, -y = l*j + 3*v for j.
-3
Let a(p) = p**2 + 27*p - 89. Let w be a(-30). Solve -4*l - 5*b = -0*b - 31, l - b = w for l.
4
Let n(t) = -2*t**2 + 34*t + 17. Let x be n(17). Solve -4*o + 8 = 0, 4*o + 0*o - x = -3*m for m.
3
Let l = 105 + -101. Solve -3*t - 3 = -5*f, l*t - 1 = f - 5 for t.
-1
Suppose 3*y + 3 = -4*s, 3*s = 5*y - 28 + 4. Solve 6 = -y*u + 2*z, -4*z - z = 2*u - 15 for u.
0
Let l be (-33)/8 + 4 - (-13)/104. Solve l = -0*z - z + f + 4, 0 = 3*f + 6 for z.
2
Let x = 53 + -52. Let j be ((-3)/(18/(-15)))/(x/6). Solve -j = -5*y - 5*s, 2*y + 2*s + 14 = 4*y for y.
5
Let b = 43 - 46. Let x = 4 + b. Solve -6 = 2*c - 4*d, 4*c - 4*d - x = 3 for c.
5
Suppose -6 - 19 = 5*k. Let s(p) = 2*p + 10. Let n be s(k). Let g(h) = h**2 - 5*h + 2. Let b be g(7). Solve -4*w - b = 2*y - y, n = -5*y - w - 23 for y.
-4
Suppose 24 = 3*c + 15*h - 12*h, 0 = -4*c - h + 17. Solve 4*s - w = -11, -s - c*w - 16 = 3 for s.
-4
Let b(z) = 3*z**2 + 5*z + 1. Let y be 6/(5 - 2) + -4. Let k be b(y). Solve 3*a = -k*v + 3 - 0, -9 = -5*v - 3*a for v.
3
Suppose -2*i + 0 = -4. Let x = 128 + -189. Let a = x - -64. Solve -i*z - m = 1, a*m - 3 = -0 for z.
-1
Let h = 39 - 35. Solve 3*i - 9 = -5*o, i - 2*o = -4*o + h for i.
-2
Let q be (-8)/6*(693/14)/11. Let p be 5 - 3/q*16. Solve 5*o - 5 = 4*o, 3*o - p = -2*r for r.
-1
Suppose 3*f - 9 = 6*u - 9*u, -f + 33 = -5*u. Solve -5*i + h = 3*h + 17, -2*h = -f for i.
-5
Suppose -20*r = -34*r. Solve -b - 4 = r, 4*h + 0*b - 28 = 4*b for h.
3
Suppose 0 = -584*a + 565*a + 95. Solve 2*h - 7*h + 3*n + 18 = 0, 0 = a*n + 5 for h.
3
Suppose 0 = -5*f + 2*o + 4, -2*o = 2*f - 4 - 6. Suppose f + 4 = 2*p. Let g = -1534 - -1538. Solve 5 = -g*u - 2*c - 11, c = -p*u - 10 for u.
-2
Let i = -8 + 18. Let w be 15/(-6)*(-12)/i. Let a be (w/1 - 1)*1. Solve 2*d = 2*s + 4, -3*s - 31 = a*d + 2*s for d.
-3
Let v = 1648 - 1635. Solve -25 = -3*h - v*u + 11*u, -25 = -4*h - u for h.
5
Let f(b) = -13*b + 57. Let o be f(11). Let n = 89 + o. Let z(l) = l - 5. Let a be z(5). Solve 5*c + 2*m + 12 = 0, -n*c - m - m - 4 = a for c.
-4
Let a = 4 + 0. Suppose -4*p - 13 = -a*t + 3, 2*t - 3*p = 8. Solve 0 = 3*w + t*k + 22, 16 + 10 = -3*w - 5*k for w.
-2
Suppose -4 = 35*n - 36*n. Suppose 2*b - 30 - n = 0. Solve 0 = -6*q + 3*q - 4*y + 11, b = 4*q + 3*y for q.
5
Let g = 669 + -655. Solve -r + 3*a - 2 = 0, 5*r - a - 4 = -g for r.
-2
Let f be (-85)/(-170)*(0 - 0/(-2)). Solve -2*d = 5*o + 3 + 13, f = -5*d + 5*o - 5 for d.
-3
Let c(o) = -3*o**2 + 8*o + 19. Let w be c(4). Solve 3*g - 3*l - 22 + 7 = 0, -15 = -w*g + 5*l for g.
5
Let z = -385 - -387. Solve -2*y + 6 = -3*v, -8 = -0*y + z*y + 4*v for y.
0
Suppose -63 - 93 = 2*a. Let w be a/(-24) - (-3)/4. Suppose -41*t + 10 = -39*t. Solve t*l - 3*u = -w*u - 4, u = -l for l.
-1
Let s(h) = 4*h**3 + 40*h**2 + 2*h + 29. Let v be s(-10). Solve -3*d + 14 = 5*x + 15, -3*x - v = -d for d.
3
Suppose -574*a + 564*a + 50 = 0. Solve b = 3*b + 2*p + 10, -a*p - 25 = 3*b for b.
0
Suppose -10*f = -5*f. Suppose -i = 3*s - f*i - 8, -4 = 2*s - 4*i. Solve 3*j + 2 = 4*j, 4*l - s = j for l.
1
Let f be (2 + -2)/3 - -4. Let o be (f/6)/(6/81). Let d(j) = 3*j**2 - 11*j - 30. Let w be d(-2). Solve 5*q = 3*k - 13, -3*q = -w*k + 2*q + o for k.
-4
Let l be (4/(-16))/(7/(-112)). Solve 0 = -3*q + 5*b + 31, l*q + 0*q + b = 3 for q.
2
Suppose -2*p + 3*k + 9 = 0, -5*p = -5*k + 4 - 19. Solve x = p, 4*f + f = 2*x - 5 for f.
-1
Suppose 5*s - 2*t = -0*s + 93, -t - 4 = 0. Let d = -13 + s. Suppose d*o + 6 = 7*o. Solve 3*i - 2*h - 3*h - 25 = 0, -3*i - o*h = -11 for i.
5
Suppose -3*z + v = -5, 0 = z + 2*v - 11. Solve -6*u + u + 25 = -5*s, -z*u = -5*s - 17 for u.
4
Let p = 583 + -580. Solve -5*j - 5*c - 35 = 0, 0 = j + 5*c - p + 26 for j.
-3
Let p(c) = -3*c + 77. Let w be p(25). Suppose -3*i = -w*x - 1, -x - 2 = -3*i + i. Solve -5*f + 2 = -x*z - 15, -3*f + 13 = -z for z.
2
Let p(r) = r**3 + 10*r**2 + 12*r + 31. Let s be p(-9). Let z be (-2)/8*((-28)/s - 5). Solve 5*a = -3*q + 14, 0*a = z*q - 4*a + 22 for q.
-2
Let l = -323 - -327. Solve 10 = 4*j + 5*x, 0 = -0*j - l*j + 3*x + 26 for j.
5
Let v(n) = -2*n**3 + 5*n**2 - 4*n + 6. Let t be v(6). Let y be (t/(-81))/((-4)/(-6)). Solve 18 = 2*o - 2*c, 40 = 2*o + 2*o - y*c for o.
5
Let u = 7 - 11. Let x = u - -7. Solve 3*b + 2*p = -10, b + 3*p = x*b + 11 for b.
-4
Let f be 3/((-18)/(-4))*(-72)/(-16). Solve 3*h = -4*j + 23, -j + f*h - 7 = 3*j for j.
2
Suppose 358*v = 367*v. Solve c + 4*z + 0 + 1 = 0, v = -5*z + 5 for c.
-5
Let v = 1293 - 1293. Solve 20 = -4*s + 4*i, 3*i + v*i = -3*s + 9 for s.
-1
Let k be 6/(-2 - 4) + 178. Let f = k + -171. Let c = 8 - 5. Solve 4*o + 8 = -2*v, -c*v = -o + f*o + 8 for o.
-4
Let p = 798 - 796. Solve -4*y = -5*z + 36, 5*z - 3 = -p*y + 9 for z.
4
Let b = 500 + -492. Solve 5*x = 2*d + b, 0*d - 4*d - 6 = -5*x for d.
1
Let t(l) = -l**3 - 10*l**2 - 12*l + 1. Let d be t(-9). Let s = -31 + d. Let b be (s - 0)/(-5 + 4). Solve 0 = -2*g + 4*w + 22, 5*w - 5 = -b*g - g for g.
5
Let b = -1 + -1. Let o be (-108)/(-48) - b/(-8). Suppose -6 = -4*c + o*c. Solve 3*x - 10 = -2*x + 5*h, c*x - h = 8 for x.
3
Let j be (0 - -1) + (-4)/2. Let f(p) = -3*p**3 - p - 1. Let r be f(j). Solve -5*x = 3*k - 5, 0 = r*x - 0*k - 2*k - 22 for x.
4
Let z(o) = -6*o - 3. Let m be z(3). Let u = m + 23. Suppose 0 = u*d - 2*j - 12, -5*d + 4*j - 10 = -40. Solve 0 = 2*a - 2*n - d, 4*a - 7*a = -5*n - 13 for a.
1
Suppose -1712*c + 245 = -1705*c. Solve -d = -5*k + d - c, -3*d = -3*k - 30 for k.
-5
Let d be 4/2 - 22/(-1). Suppose 5*f - 1 = d. Suppose 6*q = 2*q - 4*u + 12, -q - 5*u + 3 = 0. Solve q = f*w + 3*p - 0, -3*w - 2*p + 2 = 0 for w.
0
Let u(v) = 2*v**2 + 6*v + 2. Let z be u(-4). Suppose -z*l = -13*l + 12. Solve o + 1 + 3 = s, 6 = -l*o + 2*s for o.
1
Suppose 0 = -7*a - 2291 + 2305. Solve 4*l - 20 = -m + l, -a*l = -m - 5 for m.
5
Let z be (3 + 3)/(2 - 1). Solve -2*d + z = 0, 2*d = -a + 2 - 0 for a.
-4
Suppose 0 = 5*c - 2*c + 15, c + 15 = -5*z. Let r be (-5 + 6)/(z/12). Let o be (-12)/(-2)*r/(-9). Solve -o*p - s - 12 = 0, 4*p + 3*s + 7 = -5 for p.
-3
Let r(d) = -20*d + 12 + d**2 + 14*d - 2*d**2. Let b be r(-7). Solve 0*m + u = 3*m - 1, -u + 1 = -b*m for m.
-1
Let d be 640/96 - (0 + 2/(-6)). Solve 0 = o + 2*n + d, -5*o + 0*o = -3*n + 9 for o.
-3
Suppose 0 = -5*q - 2 - 3, -5*v - 3*q + 317 = 0. Suppose -9*x + 5*x + v = 0. Solve 5 = b, -x - 2 = 2*n - 4*b for n.
1
Suppose 5*i + 6 = 2*o, -14 = -o - 54*i + 51*i. Solve 2*a - o = j + a, 0 = j - 2*a + 11 for j.
-5
Let s = 1832 - 1817. Solve 22 - 1 = -4*j + 5*d, -4*j - d = s for j.
-4
Suppose -16 = -2*m + 2. Let f = 282 + -149. Suppose -5*a - 25 = 0, 4*x - f = -0*x + 5*a. Solve -5*j - 5*w + x = -w, -w - m = -4*j for j.
3
Let t be ((-54)/15)/(27/(-90)) + -6. Solve -11 + 0 = -5*c - j, -2*c - 3*j - t = 0 for c.
3
Suppose 0 = -o + 4*o + 2*h - 3, 0 = o - 5*h - 18. Solve 0 = 2*l + 3*u + 6, 6*l = 2*l + o*u + 6 for l.
0
Let r be (-49)/(-14) - 9/(-6). Solve -35 = -r*b - 5*d, 3*b = 6*b - 2*d + 4 for b.
2
Let p(z) = 17*z - 4 - 13*z + 1 - 9*z. Let r be p(-3). Suppose 4*c + 3*b - r = 7*b, 19 = 4*c + 3*b. Solve -4*y = -y - c*j - 10, -y - 10 = 2*j for y.
-2
Let o = 34 - 19. Let f(j) = 5 + 3*j + j**2 - 18*j - 3. Let u be f(o). Solve -u*p + 16 = -4*y, -p - 22 = 4*y - 0 for p.
-2
Let r be 2*-16*(-57)/76. Let k be 8/1 + 4/2. Suppose k*n - 14*n + r = 0. Solve 6*j - 3*j = 4*o + 7, 2*o + n = 2*j for o.
2
Let x be 0 + 28/8 - 9/(-18). Solve -2*v - x*t = -24, v - 4*t + 2 = -10 for v.
4
Suppose y = 2*y + 4. Let o be (0 - y)*(-44)/(-8). Suppose -5*w + 2*x + x + o = 0, -3*w - 4*x + 19 = 0. Solve -4*t = -2*k - 3 - 3, -w*k = 5*t for k.
-1
Let v be (-1 - 2*-2) + (-168)/(-8). Let u = -15 + v. Solve 0 = 2*r - 3*r + 2*k - u, 0 = -5*r + 4*k - 27 for r.
-3
Let b = 639 - 634. Solve -l = -3 - 2, 4*c - 5*l + b = 0 for c.
5
Suppose 0 = -5*i - 6 - 9. Let y be (-26)/(-2)*(i + 2). Let w = y - -16. Solve -w*d + t - 1 + 0 = 0, -d - 2*t = 5 for d.
-1
Let w = -139 - -81. Let y be w/(-6) - 8/12. Suppose -5*b + 1 = -y. Solve -4*z = -5*k + 19, 0*k + b = 2*k + 4*z for k.
3
Let s(h) = 14*h**2 - 36*h + 12. Let k be s(3). Solve 3*o = 5*i + k, -8 = 2*i - 2 for o.
5
Let x = 288 +