 7 = 0 for v.
4
Suppose -3*r + 4*m + 0 + 4 = 0, 3 = 3*r - 3*m. Suppose r = -3*d - 3*d + 30. Solve -d*q = -3*u - 9, -4*u - 3 = 9 for q.
0
Suppose -1276 = -11*b - 1133. Solve -29 = 4*j - 5*z, b = 8*j - 6*j + 3*z for j.
-1
Suppose -5*n + 0*n = -20. Solve -j = b - n*b + 3, 4*j = 4*b - 12 for j.
-3
Suppose 0 = -5*a + 5*z + 10, -67*a - 3 = -69*a + 3*z. Solve -a*f = u + 5, 3*u + 3*f + 18 = 9 for u.
-2
Let n(b) = 6*b**2 - 10*b. Let m be n(2). Solve -m*l = 12, -32 + 9 = 5*k + l for k.
-4
Let c(g) = g**2 - 7*g + 12. Let q(p) = -6*p**2 + 36*p - 60. Let k(b) = -11*c(b) - 2*q(b). Let u be k(-7). Solve 4*r = u*m + 6, -r + 5*m - 7 = -2*r for r.
2
Let p be (6 + 43/(-7))*(-6 + -1). Solve 2*i = -6, -2*a - i - p + 6 = 0 for a.
4
Let g(m) = -51*m - 455. Let z be g(-9). Solve z*b = -a - 9, b - 11 = 3*a - 3*b for a.
-5
Let y = 70 - 66. Suppose -7 = -f - m, 0 = f - y*m + 9 + 4. Solve 7*k = 3*k - 2*l - 28, l = -f*k - 19 for k.
-5
Suppose -j + 5 = 2*w, 5*j + 4 - 2 = -w. Suppose 27 = w*a - 4*f, 3*a + 4*f - 3 = -0*a. Solve a*v + 5*r - 15 = 0, r + 10 = 3*r for v.
-2
Let r = 14 + -25. Let i = 15 + r. Let u(k) = -6*k + 119. Let s be u(19). Solve 6 = -5*f - 4*c, i*c + 38 = s*f + 12 for f.
2
Suppose -2*s + 52 = 4*v, 4*v + 2*s + 23 = 5*v. Suppose -r - 4*r + v = 0. Solve -3*p + 3*z + 6 = 2*z, -3*p + r*z = -12 for p.
1
Let t(l) = -2*l + 2. Let u be t(1). Suppose -b + 5 = -u*b. Suppose -2*s - 11 = -3*s. Solve -k = b*v - 16, v + 5*k = -v + s for v.
3
Let u be -12 - 22/(220/(-150)). Solve 3*g - 5*m - 4 = 0, -3*m - 8 = u*g - 2*g for g.
-2
Let z(b) = 8*b + 5. Let t be z(-3). Let i = 22 + t. Solve 3*f = l + 3, f - i*l + 3 = -2*f for f.
2
Let a(t) = -t - 4. Let b be a(-6). Suppose 8 = 5*p - 12, 3*f - b*p + 20 = 0. Let z be (-2)/f + (-25)/(-10). Solve 16 = -3*r + 2*s + 6, -z*r - 8 = -s for r.
-2
Let x(f) = -f**2 + 8*f - 14. Let c be x(4). Solve 2*v + h + 2 = -c*v, 0 = 2*h + 4 for v.
0
Let v(c) = c - 5. Let y be v(7). Let s = 3 + 1. Let g be (-1*4/8)/((-1)/s). Solve 20 = 5*j + 2*h, y + g = j - 5*h for j.
4
Suppose -3*w - 6 + 21 = 0. Suppose 34 = 2*x + 8. Solve -w*q + 3 = -k, q - 4*k = 6*q - x for q.
1
Suppose 24 = -3*n - 3*n. Let i be -2 + (-16)/n - -2. Let f be 8/(-6)*(-3)/2. Solve -i*h - f*w = 0, -4*h - 4*w + 3 + 1 = 0 for h.
-1
Let a be 1*0/(-4 - -3). Suppose a = y + 3*y - 2*l - 28, -5*y + 17 = 2*l. Solve 0 = -3*d - 2*r + y + 3, -5*d - 2*r + 12 = 0 for d.
2
Let f(z) = z**3 - 9*z**2 - 11*z + 15. Let c be f(10). Solve -3*t + 4*i = 3*i - 14, 30 = c*t - 3*i for t.
3
Let y(n) = -3*n**3 - 5*n**2 + n + 2. Let x = 22 + -24. Let u be y(x). Solve 0 = -s + u*i + 3 - 18, -3*s + 4*i - 5 = 0 for s.
5
Let m be (9 + 0)*12/36. Suppose -m*t = 3*t - 18. Solve -2*f + 0*f = 4*d - 12, 5*f - t = -d for d.
3
Let m = -45 + 49. Suppose 0*g = -2*g - m*t + 50, -2*t + 8 = 0. Solve -c - 3*u + g = u, 7 = -4*c - u for c.
-3
Let r = -105 - -106. Solve 0 = 4*g - 4*t - 7 - r, -4*g + 5*t + 13 = 0 for g.
-3
Let c be (-36)/5*(-20)/6. Suppose 4 + 4 = -g - q, 5*q = -g - c. Let l be (2 - 2 - g)/2. Solve -9 = 5*p + a + l*a, 3*p - 15 = 5*a for p.
0
Suppose 12 = -2*p + 3*c, -40 = 4*p + 4*c - 6*c. Let w = 14 + p. Let f be w - (4 + 0 - 4). Solve 0 = -4*m + f*r + 27 - 3, -3*r - 8 = m for m.
4
Let f be (4/(-6))/((-2)/15). Suppose -15 = 4*l - 2*l - 5*z, l + 12 = 4*z. Suppose l = -w - w. Solve f*t + 5*g = 25, -t - 4*g = -w*g - 11 for t.
3
Let b = 12 + -16. Let u be 9 - (b - (-2)/2). Let i = -7 + u. Solve s - 1 = -t - s, i*t + 5*s = 0 for t.
-1
Let u(w) = w**3 - w**2 + w - 2. Suppose 2*j - 6 = -2*i - 24, 5*i + 2*j = -36. Let q = -4 - i. Let s be u(q). Solve 0 = -4*a + 12, -2*c + c = s*a - 14 for c.
2
Suppose -8 = -5*a + a. Suppose 71 = -123*c + 317. Solve -5*y = c*m + 7, a*m + 2*y = 6*m - 22 for m.
4
Suppose -4*l + 6 = -3*l. Let b be (16/l)/((-12)/(-18)). Solve -2*d - 4 = 2*d, -b*n = -3*d - 3 for n.
0
Suppose 2*p - 3*b - 12 = 3, 4*b + 20 = -p. Solve 5*h + 35 = -4*i + 2*h, p = 3*h + 15 for i.
-5
Suppose 0 = -2*h + 4*z - z + 25, 4*z = 20. Solve 3*m + 4*n = 16, h = 5*m - m + 5*n for m.
0
Let b be -1*(-3 + -2 + 0). Let g(m) = m**3 - 4*m**2 - 4*m. Let u be g(b). Solve 2*h + h + u*f = 0, -5*h = -f - 28 for h.
5
Suppose -177*t + 204*t - 162 = 0. Solve -h = -f, f - 2*f + 4*h = -t for f.
-2
Let q = 2773 - 2762. Solve 2 - q = 4*v + 5*k, 3*v + k = 7 for v.
4
Suppose 3*t + r + 3 - 15 = 0, 5*t - 34 = 3*r. Solve -2*m = -4*i - 2, 39 = -t*i - 4*m + 17 for i.
-2
Let s(v) = -3*v - 34. Suppose -2*r = 4*n + 14, 0 = -4*n - n + 15. Let f be s(r). Solve -4*o - f = 3*q + o, -4*q - 4 = 4*o for q.
0
Let g = -177 - -181. Solve -16 = 4*s + g*l, -3*s = -2*s - 2*l - 5 for s.
-1
Suppose -4*i + 192 = -4*p, 5*p = -2*i - 129 - 83. Let k = p - -70. Solve 0 = -5*r - k + 1, 4*v + 4*r + 32 = 0 for v.
-3
Let o be (1 + 0/2)*0/18. Solve 2*q + 3*c + 8 = o, -2*q + 3*q = -4*c - 14 for q.
2
Let i(c) = 5*c - 9*c + 2 + 3*c + 9. Let b be i(7). Solve 0 = -l + 2*q - 3, 0 = -b*l - 4*q + 12 for l.
1
Suppose 0 = -4*h + 3*c + 98, h - 32 + 1 = 4*c. Let m = 4 + h. Let g = -26 + m. Solve -3*t - 3*y + 11 = 2*t, y - g = -t for t.
4
Let d be 8/(12 - 4) + 2. Solve b + 16 = -d*t + 4, -b + 5*t = -28 for b.
3
Suppose 0*d = 3*d + 4*v + 20, 4*d - 10 = 2*v. Suppose d = -8*y + 6*y + 8. Solve 4*j = y*b, 0 = -2*j - 1 - 3 for b.
-2
Let g(k) = -k**2 + k. Let z be g(6). Let d = -24 - z. Solve 3*f - 4*r + 6 = 0, -5*f - 4 = 4*r + d for f.
-2
Let u be 0*(-3 - 21/(-6)). Let s(v) = v**3 - v**2 + 2*v - 1. Let w be s(1). Solve 4*q - w = 2*k + 3, k - 3*q + 3 = u for k.
0
Suppose 10*i - 13*i = o, 2*o - 3*i = 0. Solve l - 9 = -7*z + 2*z, o = 4*z - 2*l - 10 for z.
2
Let t = -68 - -101. Suppose 31*d = t*d - 36. Solve -2*j = 4*r, -j + d = -3*r + 2*j for r.
-2
Let j(u) = -3*u**3 + u**2 - u - 1. Suppose -3*n + 2*b = -5, -n + 5*b = -2*n - 21. Let v be j(n). Solve v*t + 40 = 5*l, -3*t = 3*l - 7*t - 32 for l.
4
Suppose -8 + 4 = 4*v. Let s(h) = -4*h**3 + h**2 - 1. Let a be s(v). Solve -3*t = -4*m + 8, -2*m + a = t - 2*t for t.
0
Suppose 5*b + 40 = 5*v, 3*v + 8 = -3*b - 2*b. Let d = -12 - -24. Suppose 0 = -0*o - 5*o. Solve -v*h = 2*y - d, 0 = -y - o*h + h - 3 for y.
0
Let i = 2 - -7. Let o be 1/i - (-153)/81. Solve -4*g + r = 8, 2*g + 2 = r - o for g.
-2
Suppose 0 = 3*h + 7*h + 280. Let j be (-54)/(-63)*h/(-6). Solve x + 35 = -4*x + 5*r, j*r = -5*x + 1 for x.
-3
Let b(z) be the third derivative of -z**5/60 - 7*z**4/24 - z**3 - 5*z**2. Let k be b(-8). Let t = -14 - k. Solve -2*c - h = -t*c - 9, -2*c = 3*h - 19 for c.
2
Let b(l) = -33*l - 29. Let n be b(-1). Solve -2*m = 4*u - n, 5*m = 7*u - 5*u - 2 for u.
1
Let a be (-7395)/(-663) + (-4)/26. Solve -4*l = 2*k - 8*l + 26, 0 = -3*k - l - a for k.
-5
Suppose -15*i - 11*i = 0. Solve 3*d - 27 = -5*v, 3*v + i*d + 11 = 5*d for v.
3
Let z = -140 - -142. Solve 0*x = 3*t - z*x - 11, -5*t = -5*x - 25 for t.
1
Suppose -107 = 6*g - 131. Solve -k = -4*x + g, 5*k + 8 = x - 12 for k.
-4
Let j be (0 + 6)/(-24) - 42/(-8). Suppose q - 7 = -q + c, -j*q = 4*c - 50. Solve 5*n - d - q = 0, 2*n = -3*d + 2*d + 1 for n.
1
Let g be (-9)/(-36) + 297/12 - 5. Solve 0 = -5*w + 2*t - 3 - g, 4*t + 19 = -3*w for w.
-5
Suppose -20*t + 5*o = -19*t + 7, 23 = 5*t + 4*o. Solve -p = -5*b - 4*p, 0 = -t*p - 15 for b.
3
Suppose -2*s + 24 = 22*s. Solve 3*b - 2*i = -s, 8*i = 7*i + 2 for b.
1
Let k be ((-6)/(-2) - 2) + 2. Let q = 5 - 10. Let x be (-90)/q - (4 - 1). Solve -t + 21 = 2*t + k*s, -3*s + x = 0 for t.
2
Let q(d) = -29*d + 91. Let z be q(3). Solve -6*i + 4 = 3*t - i, 0 = -z*t - 3*i + 9 for t.
3
Let k be (18/28 - (-45)/(-30))*-7. Let g be (111/21 + -3)*21/k. Solve 3*l = 4*a - 0*l - g, 0 = -5*a - 3*l + 10 for a.
2
Let x(p) = -2*p**2 - 17*p + 6. Let k(i) = i**2 + 8*i - 3. Let w(u) = 5*k(u) + 3*x(u). Let l be w(-11). Solve l = 4*b - 5*h - 14, -2*b = -5*h - 21 for b.
-2
Let a(y) = 2 - 2*y - y + 4 - y**2 - 5. Let i be a(-2). Solve 0 = -c - i*c - 5*o - 5, 2 = 4*c - 2*o for c.
0
Suppose -f = 0, -12*f - 2 = -q - 15*f. Solve -5*s + 21 = -q*n - n, -4*n + 1 = 3*s for n.
-2
Let g(y) = -15*y + 7*y + 5*y + 5 + 2*y. Let k be g(1). Solve -8 = 2*a - k*l, -7*a - 5*l = -3*a - 23 for a.
2
Suppose -3*x - x = -o - 247, 0 = 5*x - o - 309. Let k = x + -55. Solve -4*q = 5*a - k, -5*q + 8 = -7 for a.
-1
Let j = -134 - -95. Let z = j + 43. Solve 0 = -z*k - 0*y + 4*y + 8, -y - 3 = -2*k for k.
1
Suppose 17 = -2*a - 65. Let z = 46 + a. So