3*m - 8 = 5*c + 23, x*m = 4*c + 12 for m.
-2
Let c(t) = 2*t - 8. Let r be c(-3). Let x = -2 - r. Solve 3*q - 16 = 5*g, 4*g - q = q - x for g.
-2
Suppose 4*a - x - 16 = -0*x, -5*x - 4 = -a. Solve y - 2 = -0*y, f = -y + a for f.
2
Let h(d) = -16*d - 9. Let m be h(-3). Let k = -39 + m. Solve -4*a - n - 16 = k, 25 = -a - 0*n + 5*n for a.
-5
Let z(i) = 0*i - 1 + i + 4. Suppose -4*b + 8*b = 11*b. Let f be z(b). Solve 2*n - f*d + 17 = 0, 0*n = -3*n + 5*d - 28 for n.
-1
Suppose 3*d = -2*c + 1, 4*d + 14 = 5*c - 0*d. Suppose -q + 9 = -b, 2*q + 2*b = 5*b + 22. Solve q*n + 7 = c*k, -7*k - 4 = -4*n - 3*k for n.
-3
Let r = -698 + 702. Solve 7*f = 4*f + 6, -r = -5*c - 2*f for c.
0
Let m be (-856)/11 + (-18)/99. Let w be (1/(-2))/((-3)/m). Let d = -9 - w. Solve -4*j + 20 = d*c, 2*j + c + 2*c = 15 for j.
0
Let n = -9550 - -9554. Let d(r) = -r**3 + 4*r**2 + 2. Let k be 6 + (-2 + -2)/2. Let x be d(k). Solve -x*v + 5*g + 27 = -n*v, -4*g = v + 21 for v.
-1
Let g = 5 + -1. Suppose 0*f - 20 = -g*f. Solve f*m + 3*i + 13 = -0, m - 11 = -4*i for m.
-5
Suppose 0 = 4*j - a - 0*a - 187, -3*j = 4*a - 126. Let k = j + -44. Solve -4*q + v + 0*v + 15 = 0, -k*v = 5*q - 22 for q.
4
Let b(u) = u + 9. Let i be b(0). Let h be i/(-3)*2/6. Let z(f) = f**3 - 2*f - 1. Let g be z(h). Solve m + 4*l - 7 = g, -2 = 2*l - 8 for m.
-5
Suppose 4*u + 14*m - 10*m + 8 = 0, 5*m + 14 = -3*u. Let a be (-8)/6*(-3)/2. Suppose h = -a*h + 12. Solve 0 = -u*z - 4, h*i = 5*i + 2*z + 6 for i.
-2
Let m be 2/7 + (-240)/(-140). Solve w + 3*r = m*r, 0 = -3*r - 6 for w.
2
Let r = -8 - -10. Suppose -x = r*x - 12. Let h(p) = p - 2. Let f be h(x). Solve -f*n - 3*n + 15 = 0, -n = -3*c + 3 for c.
2
Let s = 15 - 20. Let r be (-6)/(-5)*s/(-3). Solve 0 = -3*p, -o - 12 = 3*o + r*p for o.
-3
Let i = -97 - -114. Let c be (-3)/(-9) - 16/(-24). Solve 2*y + n - c = 2*n, -4*y - n + i = 0 for y.
3
Let h(v) = -v**2 + 3*v + 5. Let m be h(6). Let w = m - -3. Let y be 5/(w/(-14)) + -3. Solve t = -4*c - y*t + 5, -3*t + 15 = 0 for c.
-5
Let n be (-9)/(-45) + 48/10 + 0. Suppose -98 = -n*v - 0*c - c, -4*v + 3*c = -67. Solve -3*m - 2*u = v, 1 = 4*m - m - 2*u for m.
-3
Let r = 801 + -775. Solve -3*u + x = -14, -x = 2*u + 3*u - r for u.
5
Let z(o) = 5*o - 19. Let y(l) = -9*l + 37. Let w(u) = 6*y(u) + 11*z(u). Let n be w(-9). Solve 17 = -c - 4*s, -2 = n*c + 3*s + 1 for c.
3
Let c be (-340)/(-15)*((-45)/12)/(-5). Solve -5*o - 13 = 3*m + c, 0 = -m + 3*o + 4 for m.
-5
Suppose 52*h - 33*h = 57. Solve 2*m + 12 = -l, -3*m + 5 = -5*l - h for m.
-4
Let p = 60 + -58. Suppose 0 = p*o + 3 - 3. Solve o = -3*q - 3*j + 9, 13 = -q + 3*j + 4 for q.
0
Let q(g) = g + 15. Let t be q(-7). Solve -5*m - f + t = 0, -3*f + 8 = -m - 0*m for m.
1
Let x be 4/(-4)*-1 - -1. Suppose -2*t = 2*l - 2, 2*l = 3*t + 5 + x. Let b be (-2)/10 - 84/(-20). Solve -l*i - 8 = -b*p, 2*i - 2*p + 2 = -0*i for i.
2
Let z(r) = r**3 - 5*r**2 - 11*r - 18. Let n be z(7). Solve n*c - 5*l = -0*c - 22, 4*c - l = -1 for c.
1
Let i be 0 - 3*(-8)/6. Solve 2*h + 6 = i*b, -12 + 3 = 4*b - 5*h for b.
4
Let x = -105 - -122. Solve 2*y - m = -5, 3 + x = -y + 4*m for y.
0
Let w(b) = -21*b**2 - b + 1. Let g be w(1). Let c be ((-5)/5)/(3/g). Let i be 209/77 + 2/c. Solve -5*x + f + 2 = 0, -i*x + f + 3 - 1 = 0 for x.
0
Let k be (-1 + -2)/((-6)/4). Let p = 8835 - 8825. Solve -n - n = 0, k*d = 4*n + p for d.
5
Suppose 3 = 3*i, 4*b - 2*b - 2*i = 4. Solve 2*r - b*r - n - 1 = 0, 4*n = -r + 5 for r.
-3
Let o(r) = r**2 + 14*r - 10. Let h be o(-15). Let u = h + 0. Solve -4*w - 2*b = 10, 0*w + 4*w + 25 = -u*b for w.
0
Let w be ((-2)/(-6))/((-2)/192*-8). Solve -2*v + 2*m = -w, -5*m = v - 0*m - 14 for v.
4
Let v = -10 - -16. Let t(y) = -y**3 + 4*y**2 + 8*y - 21. Let q be t(3). Let n be (-3 + -7)/(-4 - -2). Solve 3*j + n*l - v = -0, -3*l + q = -j for j.
-3
Suppose 7*f + 68 = 89. Solve -f*q + 11 + 4 = 0, 3*k = 2*q - 16 for k.
-2
Let c be 1 + (12 - 9) + 1. Solve c*d + 25 = 0, d + d = -3*w + 2 for w.
4
Let i(j) = -38*j - 70. Let d be i(-2). Solve -3*s - 3*m + 18 = 0, 6 = -d*s + 2*s + 2*m for s.
1
Let v(d) = 11*d + 4. Let u be v(0). Solve -12*s = -u*f - 8*s - 28, -5*f - 3*s = 3 for f.
-3
Suppose 2*y + 3*g + 1 = -9, 3 = -y - g. Suppose 183 = 5*c + 3*n, 4*n = -5*c + 233 - 49. Suppose -v = v - c. Solve -2*o + 1 = -3*d - v, -o = 2*d + y for o.
5
Let u(d) = 4*d - 4. Let c be u(7). Suppose 0 = -0*l - 3*l + c. Let v be l/(-6)*9/(-6). Solve -10 = v*n + 5*r, -4*r - 16 - 9 = 5*n for n.
-5
Let i = -331 - -351. Let k be ((-6)/4)/((-3)/16). Suppose 5*j - 4*w - 13 = -0*w, -w - 22 = -5*j. Solve 2*u + 5*a = k, -j*u + i = -a - 2*a for u.
4
Let d(w) = -5*w - 36. Let v be d(-13). Suppose -2*l + 5 = -v. Let o = -2 + 5. Solve 4*u = s - l, -6*s + s = 2*u + o for s.
1
Suppose 5*a = -0 - 0. Solve a = -2*n + 3*d + 1 + 4, -d + 5 = -4*n for n.
-2
Let r be (19 - 17) + (2 - 1). Solve 0 = r*q - 5*p + 9, -2*p = 2*q - 7*p + 11 for q.
2
Let g(i) = i**2 - 11*i + 12. Let s be g(10). Suppose -s = 5*k + 3, 2*x = 5*k + 11. Solve -12 = -m - 2*v - 2, 4*m + x*v - 20 = 0 for m.
2
Let b(g) = -g**2 - 19*g - 11. Let c be b(-18). Solve 2*y + 1 = 2*d - y, -5*y = -2*d + c for d.
-4
Let o be 234 + -241 + (-20)/(1*-2). Solve -3*n - 24 = 3*q, -18 = -o*q + 4*n - 7 for q.
-3
Suppose 16*k - 4*k - 636 = 0. Let h = -53 + k. Solve -4*u = -4*d + d - 31, h = -2*d - u - 6 for d.
-5
Suppose -33 = -4*g + 39. Let r = g - 16. Suppose -3*v - v - 5*m = 25, 0 = -5*v - r*m - 10. Solve 3 = -d - v, -i = 4*d + 15 for i.
-3
Let w = -49 + 37. Let l be w/(-7) + 30/105. Solve 0 = -s + 3*s - l*k, 3*s + 2*k + 25 = 0 for s.
-5
Suppose c + 3*c + 40 = 0. Let x be (-16)/c + 8/20. Let h = 2 + x. Solve -1 = 2*m - k, -h*k = m - 0*k + 23 for m.
-3
Let d(b) = b - 5. Let s = -17 - -27. Let x be d(s). Solve -2*r + x = -3*v, -2*r + 2 = -4*v - 2 for r.
4
Suppose -37 = -23*y + 78. Solve -3*r - 7 = -2*f, -y*r + 12 = -4*f + 25 for f.
2
Let t = 12 + -12. Let g(m) = m**3 + m + 3. Let s be g(t). Suppose -18 = -3*u - s. Solve 0 = -q - 2*f + 14 - 1, -3*q + u*f - 5 = 0 for q.
5
Let v = 931 - 928. Solve 4 = 2*r + v*p, 0*r + 3*r - 11 = -2*p for r.
5
Let w(j) = j**2 + 10*j + 2. Let b(y) = -2*y**3 + 2*y**2 - 2. Let g be b(2). Let x be w(g). Solve o + 2*i - 5 = -0*o, x*i = 3*o + 25 for o.
-5
Suppose -7*u = 71 + 27. Let w = 19 + u. Suppose q + 2*c = 2, 0*q + w*q + c - 10 = 0. Solve l = 6*l - q*h + 10, 0 = -l - 5*h - 29 for l.
-4
Let b(t) = t**3 + 0*t**3 - t + 10*t**2 + 131 - 143. Let m be b(-10). Let l be (m - 0)/((-2)/12). Solve -4*o + o + l = -i, 2*o = -3*i + 8 for i.
0
Let k = 6 + -3. Suppose 10*z - 138 = -48. Solve -4*s + z = 2*m - k, -m - 5*s = -15 for m.
0
Let c(a) = -a**3 - 13*a**2 + 15*a + 18. Suppose 3*v + 27 = -15. Let b be c(v). Solve -5*o + 1 = 2*h, -b*h - 4*o = h + 6 for h.
-2
Suppose 65 = 3*q + 10*q. Solve -5*s + 3 = -k, -3*k = -s - q + 14 for k.
-3
Let k(y) = -2*y**2 + 9*y - 1. Let h be k(6). Let b = h + 34. Let x = 17 - b. Solve 2*r + 3*r = 10, -2*n + 4*r = x for n.
3
Suppose 5*b + 7*t = 11*t + 46, -b - 2*t = -12. Let h be ((-16)/b)/((-34)/85). Solve v - 2*v = 3*o + 3, -h*v - 12 = o for o.
0
Suppose 36 = 4*d - 0*d. Let y be 2/(-4 - (-42)/d). Solve 3*a = y*j - 0*a + 3, 2*a - 11 = -j for j.
3
Let g(n) = 3*n + 34. Let j be g(7). Let l = j - 50. Solve -s + 3*a + 1 = 0, 0*a - a + l = 5*s for s.
1
Let n be (-3*1/(-3) - -2) + 0. Suppose -2*g - 14 = -4. Let c = g + 8. Solve -n*r + 3*i - 6 = 0, 4 = r + c*i + 18 for r.
-5
Let d be (-5)/((-10)/(-22)) - 3. Let y = 18 + d. Solve 5*p - 16 = -1, -5*p = y*k - 27 for k.
3
Suppose 0 = 2*v + 2*u + 3*u + 22, 2*v + 6 = 3*u. Let m(j) = -j - 1. Let s be m(v). Solve h = l, -10 = -s*l + h + 2 for l.
3
Let t = 8 + -6. Suppose 4 = -t*f + 10. Solve -12 = y + f*c - 1, -4*c - 36 = -4*y for y.
4
Let l = 36 + -34. Let q be l + (2 + -3 - -1). Solve -q*x = 4, -z + 0*z = 3*x + 5 for z.
1
Let d be 2 + (-2 - -3) + -3. Suppose d = 2*z - 4*z. Suppose -5*n - o + 16 = z, -n + 4*o = 2 - 1. Solve 4*y + 5 = 3*y + 5*v, 0 = n*y - v - 13 for y.
5
Suppose -4*k = 2*m - 48, 41 = 4*k + m - 5. Let f(l) = -l**3 + 10*l**2 + 10*l + 16. Let s be f(k). Solve 3*o - 30 = s*o + 5*q, 2*q + 13 = -o for o.
-5
Let d be 4*(-7)/((-28)/8). Let a(q) = -q + 10. Let u be a(d). Suppose -26 = -u*k + 2*z, -3 + 54 = 3*k + 3*z. Solve s = 3*r - 0*s - 9, 0 = 5*s + k for r.
2
Let d = -49 - -52. Solve 0 = w - 3*y + 9, 9 = 3*w + 2*w 