-m + 2*f = -3, -c*m - 2*m = -3*f - 7 for m.
1
Suppose 4*z = 31*z + 56*z - 1411. Solve -3*b + z = -s, 30 = 5*s - 5*b + 65 for s.
-2
Let c = 52 + -59. Let v(l) = -5*l - 30. Let j be v(c). Solve j*u - 2*w = -2 - 16, 0 = -4*u - 4*w - 20 for u.
-4
Let r = -132 - -132. Let y(a) = -a - 12. Let c be y(-15). Solve 1 = -c*j + 2*j, r = p - 3*j + 2 for p.
-5
Let l = -2898 + 2910. Solve 16*h = 17*h - 5*i + l, -4*h + 4*i = 0 for h.
3
Let c be (-18)/12 + (-31)/(-2). Let y(s) = 6*s + 22. Let b be y(-5). Let u be 2/8 - c/b. Solve -3*x + 0*r = -3*r + 21, u*x - r + 11 = 0 for x.
-4
Let o be 0/(1 - (1 + -1)). Let w(p) = -3*p**2 - 1451*p + 8824. Let u be w(6). Solve u = -5*n - 5*q, 4*n + o*q + 9 = -3*q for n.
-3
Let z be 5/(-15) - (-4)/3 - -539. Let r = -538 + z. Let t = 1 + 3. Solve -3*o = r*b - 9 - 1, 5 = -t*o + b for o.
0
Suppose 0 = 36*f + 16535 - 18803. Solve -4*z + 5*a = 18 - f, -2*a = 5*z - 15 for z.
5
Suppose 223*k - 154 = 68 + 224. Solve -b + 9 = k*h, 37*b + 4*h = 32*b + 15 for b.
-1
Suppose 0 = 2*j + 6*p - 2*p - 14, -p + 3 = 0. Let r = j + 15. Suppose -6*n = -4*n - r. Solve -4*c - 6 = 5*b, 2*c - 2*b = -7*b - n for c.
1
Suppose 5*o = v - 40, 34*v - 24 = 32*v - 4*o. Solve 5*h + 6*w + v = 11*w, -3*h - w + 4 = 0 for h.
0
Let f = 4 + -1. Let h = -52 + 56. Suppose -h*z = -7*z + 6. Solve -v + 2*v + f*r = 19, z*v - 13 = -r for v.
4
Let v be 6/(-2*((-17)/(-68) - (4 - 3))). Solve -v*y + 0*d = -5*d - 40, 0 = 5*y + 7*d + 3 for y.
5
Let t be 2 + 1 + (-18)/((-60)/(-10)). Suppose t = -3*z - 4*p + 19, 31*z - 2*p + 11 = 34*z. Solve u = 4*q - 5, -2*q - 1 = 4*u + z for q.
1
Let c be (-794)/10 - -3*4/30. Let d = 86 + c. Solve -2*p + 3*k = -d, -k + 3*k = -4*p - 26 for p.
-4
Let m be 2/4*(-35 + 35). Solve -o + 2*h + 10 = m, o + 2*h = -3 + 1 for o.
4
Suppose -13 = -3*u - 1. Suppose 18 = 11*v - 59. Let y be 1 - (v - (5 - -1)). Solve -4*b + u*m - 4 = 0, y*b + 3*m = -b - 13 for b.
-4
Let n(c) = c**2 - 1. Let g be n(2). Suppose -r = -g*r + 4. Let w be (12/(-21))/(7/(392/(-16))). Solve 5*d - r*t = -12, 3*d - w*t - t = 0 for d.
-4
Let n(z) = 4*z**2 + 81*z + 381. Let a be n(-13). Solve 9*p - a*p + 2*s = -10, 0 = 3*s for p.
-2
Let n(i) = -16*i - i**2 + 6*i + 0*i**2 + 2. Let a be n(-10). Solve d + 5*w + 8 = -17, -a*w + 2 = -2*d for d.
-5
Suppose 23*w - 780 = -53 - 14. Solve -3*y = -s - 13, -10*s + 5*y = -6*s + w for s.
-4
Suppose 6 = -2*k + 3*z, 0 = 60*k - 57*k - 2*z + 4. Suppose -3*f = 5*r - 26, 3*r = 3*f + r + 2. Solve 5*v - f*g + 12 = k, -g = -2*v - 5*g for v.
-2
Suppose m - 13 + 25 = 2*c, -4 = 2*c - 5*m. Solve -12 = 4*y, -c + 22 = 4*z + 2*y for z.
5
Suppose 2*n - 2*d + 240 = 0, -d + 0 = 5. Let j = -117 - n. Suppose -f - f = j*f. Solve f = -3*o + 4*p + 11, 2*o + 3*p = -o - 3 for o.
1
Let u = 8 + 312. Let r = 325 - u. Solve 3*n - n - 3*q = -3, 12 = -r*n + 3*q for n.
-3
Let i(z) = -z**3 - 17*z**2 + z - 32. Let q be i(-17). Let x(k) = k**2 + 2*k + 4. Let m be x(-9). Let p = m + q. Solve -2*s - p = 2*s + 5*y, 3*y + 4 = s for s.
-2
Let i be (-17 - -12) + (-1 - -18). Suppose -14*z = -i*z - 8. Suppose 0 = 20*c - 22*c + z. Solve 0 = 4*u - 5*v + 29, -u - v = c*u - 2 for u.
-1
Suppose -6*k + 53 = -19. Suppose -4*l - 2*c = -18, -l = -0*l - 5*c + k. Solve l*i - 20 = -4*u, -3*u + 0*i = -i - 2 for u.
2
Suppose 0 = 23*u - 24*u - 99. Let a be ((-8)/12)/((-3)/u). Let g be 8/6 - 1 - a/6. Solve -g*f = 2*l - 20, 10 = 3*f + 2*f - 5*l for f.
4
Let h(t) = t**2 + 11*t - 12. Let r be h(-4). Let i be ((-30)/r)/((-6)/8 - -1). Suppose -i*p = -8*p + 25. Solve -11 = -y + 3*g, 3*y - 2*g = -p*g - 27 for y.
-4
Let g(n) = n - 5. Let o be g(8). Let w be 2*-6*o/(-12). Suppose -4*m - 4 = -7*m + c, -5*m = 5*c - 20. Solve w*q - 4*b - 18 = 0, 0*b = -m*q - b + 1 for q.
2
Let u be 158/54 + (-6)/(-81). Let n(q) = 2*q - 2. Let f be n(2). Suppose 3*a - 4*i = f, -a = i - u*i. Solve -l = -c + 1, a = -0*l + l for c.
3
Let d = 11278 - 11273. Solve 0 = 2*c - 4, 2*y + d*c = 4*y + 2 for y.
4
Let s(n) = 70*n + 4202. Let h be s(-60). Solve -4*p = -h*f + 8, p - 3*f - 6 = 7 for p.
-5
Suppose 21 = i + 13, -2*h = 5*i - 52. Solve 5*d = 3*l - h, -171*d - 3 = -167*d - 3*l for d.
-3
Let t = -16 + 18. Let m be 392/84 + 16/(-6). Solve 5*j - t*a - 8 = 15, 2*a - 12 = -m*j for j.
5
Let v = -2683 - -2686. Solve 4*b - 9 = 3*l, 5*l + v = b - 12 for l.
-3
Let o = 8 - 32. Let v be 572/6 - (-2)/o*4. Let w = -91 + v. Solve 12 = w*d + 4*a, 3*a = 3*d - 8*d + 13 for d.
2
Let h(d) = 3*d**2 - 31*d + 76. Let y be h(3). Solve -3*g = -15, -2*g + y = -2*m - 8 for m.
-4
Let t(p) = p**3 - 6*p**2 - 4*p - 1. Let i be t(6). Let y = i - -26. Suppose -2*a + 9 = s + y, -3*s = -a - 10. Solve -5*u = -5*r, s*u + u = 2*r + 15 for r.
5
Let y = -228 + 235. Suppose y*f + 28 = 14*f. Solve -f*g - 5*l = -0*l + 28, -4*g = l + 12 for g.
-2
Let m(t) = 6*t**3 + 52*t**2 - 19*t - 6. Let v be m(-9). Solve v = 3*u, -z - 3*z + 23 = 3*u for z.
5
Suppose 21 = 98*o - 273. Solve -o*v - 3*h = 12, -v + 4*h + 0*h + 11 = 0 for v.
-1
Let f be ((-78)/36 + (-1)/3 - 0)*-6. Solve -f = 24*o - 28*o - w, -9 = -o - 2*w for o.
3
Let g(c) = c**3 - 10*c**2 - 23*c + 138. Let d be g(11). Solve -d = -0*v - 3*v + 3*z, -2*v - 4*z - 20 = 0 for v.
-2
Suppose -5*x + 7*x - 14 = 0. Suppose 0 = -4*q + 5 + x. Suppose q*n + 9 = 81. Solve 4*w - 14 = f, 5*w + 3*f - n = f for w.
4
Let z(u) = 9*u**2 + u + 3. Let x be z(-3). Let t = x + -68. Suppose 5*k = -27 + 2, -2*g = -k - t. Solve 0 = -3*a - g*m - 4, 2*a = a + 3*m + 3 for a.
0
Let a = -27648 - -27651. Solve -5*f + 3 = -6*f - a*q, -4*f - q = -21 for f.
6
Suppose -4*u - u - 1503 = -3*j, 4*j - 287 = u. Let c = 308 + u. Solve -7 = c*q + 3*d, 4*q + 3*d = -2 - 6 for q.
1
Let j = 230 - 225. Suppose 2*w - 19 = -5*a + 8, 2*a = -5*w + 120. Solve -4*c - w = -3*n + 5*n, 0 = -n + j*c + 15 for n.
-5
Suppose 9*d - 3*i - 93 = 8*d, -i = -5*d + 409. Suppose -3*t = -0*t - 6. Suppose -82*q + t = -d*q. Solve -r - 5 = 7*a - q*a, -r + a = -1 for r.
0
Let c(n) = 285*n + 6239. Let w be c(-22). Let d = 84 - 47. Let b = w + d. Solve 4*v + j - 2 = b, 8 = -4*v + 3*j for v.
1
Suppose -3*v - 81 = -84. Suppose -3*b = 4*w + 16 - 3, -2*w - 10 = -2*b. Let l be ((v - -10) + 1)*b. Solve 5*m - 15 = -5*c, m - 2*c - 2*c = -l for m.
0
Let a = -105 + 113. Suppose a*c = 4*c + 8. Solve -2*k + 0*k - c = 5*u, -u = -4*k + 18 for k.
4
Let x(p) = 5*p**2 - 3*p - 2. Suppose 8*q = q + 21. Let m be x(q). Suppose 3*i = 5*s - 34, 3*s + 4 = 5*i + m. Solve -4*j - c - 8 = 0, -j = -3*j - s*c - 22 for j.
-1
Let m = -104 + 187. Let p(u) = -11*u - 355. Let o be p(-27). Let f = m + o. Solve 4*w = 3*w - 5*q + f, 4*w = 4*q - 20 for w.
0
Let q be 30/9 - 4/(-6). Suppose 0 = u - 6, 63 + 77 = 4*j + 22*u. Let c = 7 - -1. Solve -5*f + w = -c, 2*f - q*w + j = -f for f.
2
Let d = 9310 + -9308. Solve 4*r = u - 12, u - d*r - 11 = -3 for u.
4
Suppose s = 5*a - 125, 0 = 3*s - 2*s + a + 107. Let k(d) = -2*d**2 + 5*d - 5. Let h be k(-6). Let q = h - s. Solve -7 = 3*i - 0*m + 4*m, -q = 4*i - m for i.
-1
Suppose -2*g = -4*d - d + 511, -2*d - 4*g + 190 = 0. Let i = d + -96. Solve 5*x = i*v, v + 4 = -x + 4*v for x.
2
Let g = -64 - -63. Let n(s) = -2*s**3 + s**2 + s. Let i be n(g). Let j(k) = 3*k**3 + k**2 + k - 1. Let x be j(1). Solve -4*q = -x*a, i*a + 28 = -4*q - a for q.
-4
Let h = -15 - -12. Let d be -1 + (-50 + 1 + h)/(-2). Suppose 0 = 2*a + 2*w - 3 - 7, 5*a + 3*w = d. Solve 3*q + 2*b + 37 = -3*b, -10 = a*q - 2*b for q.
-4
Let w be -6 + (-5910)/(-36) - (-1)/(-6). Suppose w = -4*h + 174. Solve 2*o + 29 = 5*t, -3 = -h*t + 3*t - o for t.
5
Let f = -6509 + 6512. Solve -f*s - 14 = -4*s - 2*u, 0 = 5*s - 2*u - 10 for s.
4
Let l be -4 + 140/10 - (4 + -4 + 3). Suppose -4*k = -7*k. Suppose 3*a + 2*j - 47 = k, 4*j + 5 = 3*j. Solve -4*v + 5*v = -5*f - a, -f = v + l for f.
-3
Suppose 9*c - 120 = 5*c. Suppose 5*v = -3*j - 0*j + c, 0 = v - 5*j - 34. Suppose -2*u + v*s = 6*s - 7, u = 5*s. Solve 3*d - 3*n + 13 = -u*n, -2*n - 4 = 0 for d.
-3
Let h(g) = -g**3 - 10*g**2 - 26*g. Let t be h(-5). Solve 2*u - 2*c - 12 = 0, -3*c = 5*u - 17 - t for u.
5
Let v(a) = -56*a - 1107. Let r be v(-20). Solve -o = -w + 10, -3*w - r + 3 = 5*o for o.
-5
Suppose 0 = -4*m - 45 + 53. Let p be 0/13*m/4. Suppose -3*l + p*i = -i - 9, 3*l + 4*i + 6 = 0. Solve -3*w = -w - a - 13, -l*w + 18 = -2*a for w.
4
Let u(i) = -16*i - 10. Let t be u(4). Let b = 79 + t. Suppose -2*g = -b*v + 3*g, -2*v