, -p*v + 15 = -4*s for v.
5
Suppose 5*b = 3*f + 4 + 32, 0 = 4*b - 4*f - 32. Let p = b - 0. Let n be (-9)/12*(-32)/p. Solve n*k - 3*k + 4*s = -17, -3*s - 9 = -3*k for k.
-1
Let s be ((-18)/(-5))/((-4)/(-1280)). Suppose 3*b + s = -b. Let q be b/(-162) + (-4)/(-18). Solve -2*l = 5*v + 17, 0 = -2*l - 2*v - q*v - 14 for l.
-1
Let l be 14/70 + 14/5. Suppose -29 = s + 3*t, 2*s + 3*t = -55 - l. Let f = 34 + s. Solve -f*d - 10 = -5*i, 4*i + 2 = -2*d - 2 for i.
0
Suppose -2*b - 2*b - 8 = 0, -141 = 5*m - 2*b. Let v = -13 - m. Solve 0 = 2*c - 3*c - 4, 4*c = x - v for x.
0
Suppose -3*y - 34 - 44 = 0. Let s = y + 41. Let u = -15 + s. Solve 2*w + 2*w + x + 13 = 0, u = -5*w - 4*x - 19 for w.
-3
Let o = 592 - 589. Suppose -4*j + 26 = p + p, j + p = 8. Solve -32 = j*w - 0*u - o*u, -3*u = 3*w for w.
-4
Let w = 88 - 86. Solve -3*s - 7 = -w*z, 2*s + 3*s - 5*z = -5 for s.
-5
Let b(l) = -4*l - 1 + 3*l + 0. Let x be b(-5). Solve 0 = s - 4*j - 15, s - 3 = -3*j + x*j for s.
-1
Suppose 0 = -12*q + 11*q + 5. Solve -5*j = -r + 1, -q*r - 25 = 3*j + 2*j for j.
-1
Let h be (-36)/(-15)*(0 + 5). Let r = 20 - h. Let j(m) = m**2 - 8*m + 7. Let l be j(r). Solve 5*u - 7 = 2*v + l, 4*v + 4*u - 28 = 0 for v.
3
Let q = -3 + 5. Suppose 33 = -5*v - 4*w - 12, v = -4*w + 7. Let t be q + -4 - (-1 + v). Solve -4*u - 10 = x + 2, 0 = -4*u + 4*x - t for u.
-3
Suppose -4*z + 17 = 105. Let g be (-6)/(-4) + (-33)/z. Solve 3*s = g*w - 18, 0 = 6*w - 4*w - 6 for s.
-3
Let x(q) = q**2 - 8*q - 18. Let h be x(10). Solve -k = -u - 4*u + 2, -h*u = 5*k + 10 for k.
-2
Suppose 3*t = 2*d + 18, -16*t - 3*d - 6 = -17*t. Solve -r = 5*v + t, -2*r + 2 + 14 = -4*v for r.
4
Let b = 284 - 185. Let u = 103 - b. Solve -o - u*t + 9 + 7 = 0, -o - 3*t + 12 = 0 for o.
0
Let u = 323 - -274. Let v = -327 + u. Let z be 122/15 - 36/v. Solve 4*q = -z, 0 = 4*d + 5*q - 4*q + 14 for d.
-3
Let p(t) = -t + 4. Let u be p(0). Suppose 3*j - 2*j - 2*y + 3 = 0, -j = -y - 2. Solve 1 = -u*b - k, 0 = 4*b + 2*k + j - 1 for b.
1
Suppose 213*p - 212*p = 0. Solve -4 = -k + 2*g, k - 5*g - 10 + 0 = p for k.
0
Let d(h) = -2*h + 1. Let g be d(2). Let n(o) = 3*o - 14. Let r be n(6). Let v = g + r. Solve -5*w - 4*t = -0*t - 14, -5*t + v = -2*w for w.
2
Let c = -36 - -51. Solve -3*p - 3*g = c, -g = -4*p + 4 - 19 for p.
-4
Let q be 2/8 + -3 + 162/24. Let u(o) = -o**2 + 10*o - 11. Let s be u(8). Solve q*k - 45 = 5*l, -5*k + 3*k - s*l = 15 for k.
5
Let k be 26/8 - 3/12. Suppose 3*z + 24 = 4*o + 6*z, o - k*z + 9 = 0. Let a = 1617 - 1603. Solve b = -5*u + a, -o*b + u + 16 = 3*u for b.
4
Suppose -t - 3*g = t - 28, t - 2*g = 0. Solve 4*c + f = t, 6*f = 3*f for c.
2
Suppose -5*s + 117 = -2*s. Let a = -35 + s. Solve -2*k - 5*o = -31, 4*k + 6 = a*o - 2 for k.
3
Let t = 1273 - 1270. Solve 6*h + 6 = 3*h - q, 0 = q + t for h.
-1
Let n(g) = -g - 1. Let h(l) = -1. Let i(c) = -4*h(c) + n(c). Let z(f) = -f. Let s be z(0). Let a be i(s). Solve -22 = 4*d + a*q + 2*q, -4*d - 16 = 2*q for d.
-3
Suppose 1 = -2*q + 9. Let l be (-30)/(-45)*14/4*3. Let k be (-4 + 30/7)*l. Solve -5 = k*h + r, q = -5*h - 5*r - 16 for h.
-1
Let t = 103 + -99. Solve 0 = -2*y - 3*v - 1 + 3, 3*v + 22 = t*y for y.
4
Let v(k) = k**3 + 25*k**2 + 23*k - 22. Let h be v(-24). Suppose -u - 10 = -5*w - 0, -4 = -h*w - 5*u. Solve 3*s = -3*y - 12, 3*s - 2*y - 10 = -w for s.
0
Let x(z) = -z**3 + 11*z**2 - z + 15. Let d be x(11). Suppose f - 1 + d = 0. Let b be 4/f*3/(-1). Solve -7 = -p + b*n + 7, -2*n - 16 = -5*p for p.
2
Let u(r) = -r**2 + 20*r - 38. Let f be u(18). Let k be -2*(f/7 + 108/(-63)). Solve -k*s - 4*z - 5 = 3, -6 = -5*s + 3*z for s.
0
Suppose 2*g + 22 = 4*p, 3*p - g = -2*p + 23. Let b = 3 + 0. Solve 0 = 4*s - b*z - 1 + 2, 16 = 2*s + p*z for s.
2
Let j be 27/(-81) - (-2 + (-1)/3). Solve 5*h - 5*a = 30, -a = j*h + 4*a + 9 for h.
3
Suppose -18*u + 10*u = -7*u. Solve -2*q + 4*g = u, 4*q - g + 3*g - 20 = 0 for q.
4
Suppose 3*d = 4*g - 2*g - 15, -3*d - 18 = -3*g. Solve 4*x + 11 = 2*s + g, 3*x = -5*s - 6 for s.
0
Let f(h) = 3*h**3 - 17*h**2 - 10*h + 29. Let i be f(6). Solve -5*w - 5*k = -5, -6*k + i = 2*w - k for w.
0
Let f = -96 - -101. Solve -2*h = -4*v + 22, 2*v - f*v = h - 4 for v.
3
Let d be 56/56 - (1 - 2). Solve 0 = n - 3*i - 15, -d*i = 5*n - 4*i - 23 for n.
3
Let j be -8 + 6 + (2 - 3). Let t be (j/2)/(2/(-4)). Solve t*z = 4*l - 13, -l - 3*z + 7 = -0*l for l.
4
Let p(v) = v**2 + v - 7. Suppose 3*t = -t - 20. Let m be p(t). Solve -3*w = 2*c - m, 7 = 3*w - c - 9 for w.
5
Let s be 2 - (-2)/(-3)*-9. Let x be (-12)/(-6) - (-1 + 1). Solve 0 = 2*f - 10, -j = x*f - 5 - s for j.
3
Suppose -2*o + 12 = 4*o. Suppose 5*x - 38 = -4*h, 5*h = -4*x + o*h + 31. Let y(g) = 3*g. Let l be y(1). Solve 0 = 5*p - 4*i + 45, 0 = l*p + i - 0*i + x for p.
-5
Let a = -9 - -2. Let f = a - -7. Suppose 2*q = 4*q + 2*d, f = 3*q + 2*d - 4. Solve -5*r - 12 = -r + 4*b, -4*r + q*b = -20 for r.
1
Let l be 0 + -13 + -2 + 3. Let r be (l/(-2))/((-36)/(-24)). Suppose -2*y + r = -y. Solve -13 = -3*t - 4*p, -3*p - 4 = -y*t + 5 for t.
3
Suppose -5*z + 147 = 4*f + 55, 2*f = -5*z + 86. Let w = z + -6. Solve -8*i + 4*b - 24 = -4*i, -3*i = 5*b + w for i.
-5
Let t(j) = -j**2 + 5*j. Let v be t(5). Let q(g) = v*g + 8 + g - 3. Let f be q(0). Solve z + 2*d = -15, z + f*d = 4*z - 10 for z.
-5
Let j be 1/(-4 - -5)*2. Solve j*p - 5*p + 1 = 5*x, 0 = -5*x + p + 13 for x.
2
Let x = 16 + 82. Suppose -o = -p - 34, -3*o - 2*p + 3*p = -x. Let s = o + -27. Solve 7*q = 4*m + 2*q + 32, s*q = -3*m + 11 for m.
-3
Let j = 28 - 20. Let y be 4*5*(-16)/(-32). Let r = 15 - y. Solve 4*x + x + 35 = -r*s, -2*s + x = j for s.
-5
Let b be 11 + (-11 - 10) + 10. Suppose 7*l = 3*l. Solve b = 4*i - 3*u + 15, -3*i - 3*u + 7 + 8 = l for i.
0
Suppose 3*q - 50 = 8*q. Let a = -7 - q. Solve -s + a*g + 16 = 0, s - 4*s + 32 = -5*g for s.
4
Let x(n) = -2*n - 3. Let j be x(-1). Let w(p) = 3*p**2 - 2*p - 1. Let h be w(j). Solve -5*y = 3*c - 5 - 3, -h*y = -5*c - 36 for y.
4
Let c be (16/(-10))/(8/20). Let m be -3 + (c - 5 - -3). Let r be (m/12)/(9/(-60)). Solve 3*s + 6 = -2*l + r*s, -3*s + 3 = 3*l for l.
-1
Let c = 2178 + -2176. Solve -u + 10 = -g, -u = -4*g - c*u - 15 for g.
-5
Let a(f) = -f**3 - 8*f**2 - 10*f - 17. Let n be a(-7). Suppose n*y + 3*r - 18 = 0, -5*y + 2*r = r - 13. Solve 4*i = y*o - 6, -5*i - 2*o = 2*o + 23 for i.
-3
Suppose -7*h - 2 = -8*h. Let c(s) = s - 1. Let g be 27/6 + 1/2. Let y be c(g). Solve -h*a - 2*a + y = -4*f, 0 = -2*a - 5*f + 9 for a.
2
Let o(q) = q**2 + 5*q - 4. Let d be o(-6). Suppose -6*s - 12 = -10*s. Let c be d/4*(15 + s). Solve -3*k - 4*f + c = 0, 0*f = -2*f for k.
3
Suppose -5*t + 2*o - 2 = -6, -3*t + o + 3 = 0. Suppose -r + 35 = -w, -5*r + 163 = -3*w + 2*w. Solve p = s, -3*s + r = 3*p + t*s for p.
4
Suppose 44 = 6*r + 5*r. Suppose -593 = -5*v + 3*s, 2*v + 5*s = 4*v - 222. Suppose r*a + 13 = v. Solve -4*g + y + 27 = -4*y, -4*y = -5*g + a for g.
3
Suppose -13*f - 58*f = 0. Solve f = 5*n + 5, 4 + 15 = 3*a - 4*n for a.
5
Let g = -264 - -264. Solve q = -h + 1, 41 = 5*h - g*q - 4*q for h.
5
Suppose 0 = 5*c - 7*r + 5*r - 164, -2*c - 5*r + 54 = 0. Solve -5*n = 4*h - 37, 2*h - 4*n = 6*h - c for h.
3
Let s be (-45)/(-40)*4 + (-2)/(-4). Solve 3*l + 2 = 4*i - 3, -5 = 4*l - s*i for l.
5
Let q = 1 + -1. Let t be 0 + q + 1 - -3. Suppose 4*j - 72 = 56. Solve -4*z = 3*r, -2*z + 10 = -t*r + j for r.
4
Suppose -350 = -59*q - 114. Solve q*c - o + 8 = 0, 3*o - 5*o - 14 = 2*c for c.
-3
Let f be 10 + 3 + 4 + 0. Solve k - 3 = y, -4*y + 5 = -3*k + f for y.
-3
Let d(n) = -80*n + 1840. Let k be d(23). Suppose 4*u + 4*g - 68 = 0, -5*u - g + 84 = 3*g. Solve -3*y = -3*h + 12, 5*y - h = -k*y - u for y.
-3
Let p be (-2 - -4)/(606/54 - 11). Solve 0 = -3*d - p + 6, 5*x = -4*d + 1 for x.
1
Suppose 14*f = 6*f + 80. Suppose 8*l = f*l. Solve -2*h = -3*x + 19, l*h + x = 5*h + 15 for h.
-2
Let r = 89 + -81. Solve -a = -2*s - 2, 2*a = 4 - r for s.
-2
Let i(y) be the first derivative of y**4/2 - 10*y**3/3 - 9*y**2/2 + 7*y + 9. Let l be i(6). Solve -2*f + 5*k - l = 3*f, -3*f + 5*k - 21 = 0 for f.
-2
Suppose 18 = -5*k + 28. Suppose k*t + 3 = 11. Let z be (-2 - 2)*(-2)/4. Solve 2*i + 0*i = -a + 3, 0 = t*a - z*i + 28 for a.
-5
Suppose 3*x - 30 = x. Let d = x + -13. Let q(s) = s**3 + 9*s**2 + 16*s + 4. Let c be q(-4). Solve -3*i = 3*u + 9, c = -d*i - 0*i + 5*u for i.
-5
Let f(p) = -2*p + 8. L