 2*b - 4 = -2*c for b.
-3
Let s(q) = 2*q - 5. Let y = 5 + -1. Let t be s(y). Suppose t*k = 4*k. Solve -5*o + 15 = j, 12 = 4*o + 3*j - k*j for o.
3
Let k(r) = -r**2 - 7*r + 10. Let w(d) = -2*d**2 - 3*d + 1. Let s be w(-3). Let f be k(s). Solve -4*o - 4*n + 4 = 0, -f*o - 4*n = 3 + 1 for o.
4
Let w = 84 + -19. Let s be (0 + -1)/((-13)/w). Solve -4*k + 5*z = 5 + 40, s*z - 25 = 0 for k.
-5
Let n = -63 + 34. Let m = 34 + n. Solve -l + s = 0, 4*l + 3*s - m = 16 for l.
3
Suppose -17 = 5*l - 37. Suppose 8 = o + 3*o. Suppose m = -o*m. Solve 0*p + l*p = -8, m = -2*g - p for g.
1
Suppose -3*h - 2*h + 15 = 0. Suppose -q + h*q = 4, -5*t + 37 = q. Solve 2*x - 2*v = -2, -7*x + 2*x = -v - t for x.
2
Let l(t) = 5*t + 100. Let z be l(-19). Solve 2*j - 8 = 3*x, -z*j - 5*x + 5 - 35 = 0 for j.
-2
Let n(c) = 3*c**2 + 7*c + 27. Let r be n(0). Let h(t) = -7*t + 5. Let l be h(-4). Let s = l - r. Solve -5*q - 7 = -2*i, -4*i - s - 4 = -2*q for i.
-4
Let a(u) = -2*u - 6. Let k be a(-4). Suppose -2*p + 2 + k = 0. Suppose -2*i = -0*i - 8. Solve p*c = -i*l + 4, -4*c + l - 12 = -l for c.
-2
Let y = 129 - 123. Solve -6 = -2*j, -q - 2*q + y = -3*j for q.
5
Let n be (-96)/(-72)*(0 - 30/(-2)). Solve 2*x - 20 = 2*c, 5*x + 0*x = -c + n for c.
-5
Suppose -d - 1 = -3*n - 4, n - 6 = -2*d. Suppose -5*u + d*u = -6. Suppose 0 = -z + u*z + 4*c + 14, 3*z + 5*c = -16. Solve -8 = -o + z*t + 4, 4 = 5*o - t for o.
0
Suppose 5*b - 5 = 2*k + 7, -4*b = 5*k - 36. Let y be 50/40 - 43*(-2)/8. Solve -32 = -4*o - k*i, -4*i + 3*i - y = -3*o for o.
5
Suppose 12*i - 75 = 81. Solve -2*b = 5*k + i, -2*b + 19*k = 16*k - 11 for b.
1
Let d be 3/9 + (-46)/(-6). Let o be 22/8 - (-2)/d. Suppose 4 - 22 = -3*j - o*g, 2*g + 6 = 0. Solve l - 4*f = -7*f + 7, 3*f = 3*l - j for l.
4
Let v = 44 - 40. Suppose x + 16 = -4*t, -v*t = -t + 12. Solve -2*a - 4*s + 7 + 1 = x, 5*s = -2*a + 10 for a.
0
Let j(s) = s**3 - 2*s**2 - 3*s + 3. Let k be j(3). Let v(d) = -d**2 - 7*d - 4. Let r be v(-6). Solve 0 = r*g, p - k*g + g - 3 = 0 for p.
3
Let t = 1746 + -1746. Solve k = -y - 3*k + 22, t = -3*y + 2*k - 4 for y.
2
Let v be ((-1650)/(-5))/3 + -5. Let o = -78 + v. Solve 5*b + 3*n + o = 0, 16 = -5*n + n for b.
-3
Let g(s) = -31*s + 222. Let c be g(7). Solve 4*y + y - 40 = c*w, y = -w for w.
-4
Let f(r) = -2*r - 37. Let k be f(-14). Let c be ((-2)/k)/((-3)/(-27)). Solve 5*q - 3*m - 4 = c, -10 = 4*q + 5*m for q.
0
Suppose 0 = g - 3*k, -g - 4 = -4*k - 1. Let l(r) = r + 11. Let v be l(-9). Suppose -v*z + g = z. Solve -4*w = -3*m + 7, -z*w - 8 = -2*m - 3*m for w.
-1
Let b(j) = 18*j**3 - j**2 + 1. Let a be b(1). Let h = 56 - 32. Suppose -3*o - 13 - h = -5*s, 5*s - 41 = 4*o. Solve a = -s*z - 5*i - 2, 2*i = -6 for z.
-1
Let s be (84/(-56))/(3/(-8)). Solve -5*c - 3 = -w, -s*w + 0 = -4*c + 4 for w.
-2
Let z be (-35)/2 + 1/2. Let u = -15 - z. Let q(g) = g**3 - 10*g**2 + 8*g + 12. Let f be q(9). Solve -4*x - 1 = 3*j - f, -u*j + 3 = x for j.
2
Let b be 1 + 4 - (-3 - 0). Suppose 14 = b*d - d. Solve f - 5 = 0, h - 5*f = d*h - 23 for h.
-2
Let c be 2 + (39 - -3) + -3. Let p be (-156)/(-11) - 28/154. Solve -4*d - d = -4*r - c, 2*d - p = r for r.
-4
Let u be (3 + 72)/(0 + 1). Suppose 3*c - u = -4*f, -2*f - 2*f + 33 = c. Solve c = -2*x - 5*w, -3*x + 8 - 2 = -5*w for x.
-3
Suppose 0 = -3*t + 12, -2*u + 4 + 2 = -t. Suppose 5*h - 8 = 2*q + 7, 0 = 4*h - 3*q - u. Let x = 164 + -160. Solve g - 17 = -2*j - x*g, -30 = h*j - 2*g for j.
-4
Let o(u) = 21*u. Let f be o(1). Let q = f - 14. Suppose 2*v - 19 - q = 0. Solve 5*a = 2*b - 17, b = -3*a + 7*a + v for b.
1
Let i(c) = -c**3 - 17*c**2 - 16*c - 4. Let b be i(-16). Let a(n) = -n**3 - 4*n**2 + 2. Let x be a(b). Solve 5*g - 23 = -2*j, 0*g + x*j - 2 = 2*g for g.
3
Suppose 4*q - 2 = 5*x - 6, 5*x - 20 = 0. Let i = -263 + 268. Solve -2*s = -s + a + i, -5*s + 2*a = q for s.
-2
Suppose 0 = -3*r + k + 16, 4*r - 2*k - 29 = -5. Let x = 4 + 0. Suppose -2*z + r*z + x = -5*w, 5*z + 2*w = 11. Solve -q + 2*q - 2 = -2*h, 4*q - 3 = -z*h for q.
0
Suppose 8*p + 19*p = -8*p. Solve 3*c = 4*i - 0*c + 12, 5*i + 4*c + 15 = p for i.
-3
Let q be ((-20)/6*18/5)/(-2). Suppose 4*i - 24 = -4*v, -q = 4*v - 7*v. Solve -4*k + 20 = -2*h - 3*h, 2*k - 16 = i*h for h.
-4
Let u(c) = 3*c + 13. Let j be u(-5). Let b be (-63)/(-2) - (-1)/j. Solve 8 = 2*x - 5*o, -b = -5*x + 2*o - 11 for x.
4
Let s(b) = -16*b + 15. Let r be s(0). Solve -5*q - 3*g = -r, 5*q - 4*g + g = 15 for q.
3
Let v be -38*(3 - (-14)/(-4)). Suppose 5*d - v = 6. Suppose -i = -0*i - d. Solve -25 = -i*c + 5*a, c - 3*a - 19 = -3*c for c.
4
Let q be (4/6)/(6/18). Let v be q*-42*1/(-4). Solve u = 3*s - 11, s = -s - 5*u - v for s.
2
Suppose 4*u - 21 = 31. Let s = u - 12. Solve -2*w - 2 = -5*z + s, -2*z = -4*w + 2 for w.
1
Suppose -270 + 20 = 10*i. Let r = i + 31. Solve l - 25 = -4*f, -r*l + 4*l - f = -15 for l.
5
Suppose 13*a - 9*a + 24 = 0. Let z be ((-8)/6)/1*a/4. Solve -3*s + 1 = -5, 0 = z*g - 5*s + 16 for g.
-3
Let b(x) = 0*x - 5*x - 5*x + 2*x**2 + 7*x + 1. Let i be b(2). Solve -10 = v - 2*v - 3*f, -30 = 3*v - i*f for v.
-5
Let s(p) = -p + 16. Let g be s(14). Solve 4*j + 5*y = 23, g - 11 = 3*j - 5*y for j.
2
Let r = -238 - -241. Solve r*j + 0 = s - 1, -2*j + 3*s = -11 for j.
-2
Suppose -2*j - 8 = 0, 0*k = -3*k - 2*j + 55. Suppose -k = -8*g + 3. Solve r - 4*r - g*n = -9, 3*r = n + 13 for r.
4
Let n(r) = 4*r - 32. Let o be n(12). Let x = o + -11. Solve 5*g = -t + 4 + 5, 2*t + x*g - 13 = 0 for t.
4
Let w be (6/(-4))/((-30)/(-440)). Let c be (-57)/(-11) - (62/w + 3). Let q(l) = 3*l + 1. Let b be q(1). Solve 5*h + 4*n + 40 = 0, b*n + c + 15 = 0 for h.
-4
Suppose c + 1 - 5 = s, -3*c = 5*s - 28. Let u be (-12)/40*4 - (-54)/45. Solve -3*l - 3*q - c = u, q = l + 1 + 3 for l.
-3
Let q be 17/2 - (4/(-8) - -2). Suppose q*b - 111 + 27 = 0. Solve -4*a + y = -y - b, 4*a - 2 = -3*y for a.
2
Let t = 12 + -14. Let j be (-8)/44 + t/(-11). Suppose j = -3*m + 15 - 3. Solve -2*r - m = 2*a - 5*a, 2*a - 4 = 2*r for r.
-2
Let f be ((-1)/4)/((-12)/144). Suppose -3*n + 6 = 3*a - 15, -f*n + 1 = -2*a. Solve i - 5*o = a*i - 13, -4*i - 2*o = 6 for i.
-4
Let o = -316 + 320. Solve 15 = -5*y - 4*a, -y = o*y - 3*a - 20 for y.
1
Suppose 131 - 23 = 3*t + 3*r, 67 = 2*t + r. Let b = t + -28. Solve -b*f + 4*y = -20, 0*f = f + 5*y + 6 for f.
4
Let y = -1801 + 1803. Let g(r) = -1 - r + 0 + 0. Let d be g(-4). Solve 0 = 4*n + y*u + 6, -d*u = -0*n + n + 14 for n.
1
Let g(q) = q**3 + 6*q**2 + 11*q + 11. Let a be g(-3). Solve 5*c + a*v + 10 = 0, -2*c + 2*v = -v + 9 for c.
-3
Suppose 14*l = 5 + 23. Let o(a) = a. Let n be o(2). Solve -l*m - 1 = 3*m - 2*h, -2*m - n*h = -8 for m.
1
Let c(u) = -u**2 - 13*u - 14. Let d be c(-12). Let q(a) = -a**3 + a**2 + 3*a + 2. Let s be q(d). Let r = s - 5. Solve 3 = 4*p - r*f, -p + 2*f + 3*f = -5 for p.
0
Suppose -2*w + w - 48 = -4*b, 2*w - 5*b = -96. Let c be (3/6)/((-2)/w + 0). Solve c = -4*k + 3*x + x, 5 = 5*x for k.
-2
Let q = -49 - -51. Solve -q*k = -k - 1, -19 = 5*n - 4*k for n.
-3
Let t = -4 + 9. Suppose 0 = 2*r + 4, 5*u = -0*u + 3*r - 54. Let d = -7 - u. Solve -t*l = d*b, 3*b + b = -5*l + 4 for l.
4
Suppose 5*a - 10*a + 36 = 4*p, 4*a - 18 = -2*p. Let d(w) = w**3 - 8*w**2 - 5*w - 22. Let u be d(p). Solve -16 = 3*l - 5*h, -5*l + 2*l = h - u for l.
3
Suppose -2*n = 4 + 4. Let l be n/(-14) - 40/(-56). Solve 0 = -5*j - 2*b - l + 6, 4*b + 29 = 3*j for j.
3
Suppose -28*n + 110 = -17*n. Solve 11*s - n*s - 12 = 3*b, 2 = 2*b - 4*s for b.
-5
Let o(w) = -3 + w + 4 - 3. Let q be (2 - 42/15)*(-1 + -4). Let r be o(q). Solve 0 = -2*t - m - 4*m + 27, 0 = t - r*m + 9 for t.
1
Let h be (-4 - -5)*(0/(-2) + 17). Let i = -6 + -10. Let n = h + i. Solve 4*g + n = -3*c, g = -0*g - c - 1 for g.
2
Suppose -27*a + 4*a = -115. Solve -a*p = -4*w - 17, -8*p + 6*p + 14 = -4*w for p.
1
Let m be -2 + -1 + (-5 - -18) + -6. Solve 4*z - m*g - 7 = 1, 3*z - 12 = -3*g for z.
3
Let x be (-8)/36 - (-230)/(-18). Let f = -13 - x. Suppose f = -4*q + 4*i + 8, 0*q + 2*q + 4*i = 28. Solve 3*s = q - 15, -k = 2*s + 6 for k.
0
Let r be (-2 + (-75)/2)*(-13 - -15). Let i = 81 + r. Solve -i*y + 2*f = 12, 3*f - 2*f + 6 = -2*y for y.
-4
Let p be 17 + -2*(-11 - -17). Solve o - 8 = -2*y, -o + 6*o = p*y + 10 for o.
4
Let d be 8 - ((-66)/(-6) + -5). Solve 5*x + 5*c = 0, -5 = d*x - c - 2 for x.
-1
Let p = 49 - 49. Suppose p*u = u. Solve -q = -4*w + 5