(-4)/32). Let k be m*(-4 - -1*6). Solve 16 = 5*v + g, -5*v + k = 3*g - 10 for v.
3
Suppose 0 = h + 5*w + 21, -1 = -9*h + 5*h - 3*w. Solve 2*a + h*u - 5 = -a, 4*a = 3*u + 15 for a.
3
Suppose -5*a + 28 = 4*u, 5*u = -101*a + 96*a + 30. Solve 0 = o - 2*m + a, 6 = -o + 3*m for o.
0
Let r = 20 - 33. Let x(a) = 3*a + 39. Let h be x(r). Solve 0 = 5*c + t + 21, h = -7*c + 2*c + 2*t - 33 for c.
-5
Suppose -762*g + 763*g = 17. Solve 5*b + 2*p = g, 11 = b + 2*b + 2*p for b.
3
Let q = 29 - 24. Suppose d = 5*m - 7, -q*d + 19 = -0*d + 2*m. Solve -d*l - 4*i - 4 = 0, -5*l + 2*i - 7 = -35 for l.
4
Let s(j) = -4*j**3 - 3*j**2 + 5*j + 3. Let p be s(-3). Let w = -49 + p. Let u = 137 + -133. Solve -w = 4*t - 3*q - 0*q, -4*t - u = q for t.
-2
Let x = 273 + -262. Solve f - 3*q = -8*q - x, -3*q + 7 = 4*f for f.
4
Let c(i) = i**2 - 9*i + 11. Let r be c(11). Let l = r - 12. Solve -4*b + 4*h - 16 = 0, 2*b + 4*h - l = 7*b for b.
-5
Suppose 3 = z - 0. Suppose -3*g = -z - 12. Solve 0 = g*l + 20, p + l + 5 = -1 for p.
-2
Let z(d) = 17*d + 78. Let k be z(-4). Solve 0 = w + 4*o - 19, w = -5*o + 14 + k for w.
-1
Suppose -5*o - 28 = -2*r, -2*r - 15 = -3*o - 35. Solve r*k - 12 = -7*a + 2*a, -a - 15 = -5*k for k.
3
Let g(z) be the first derivative of -z**2/2 + 13*z + 38. Let y be (8/(-1))/(2 + -3). Let n be g(y). Solve 5*t - 30 = -n*l, 3*l + 15 = 6*l for t.
1
Suppose c + 6*c - 14 = 0. Suppose 5*d = -3*z + 10, 0 = -z - c*d + 5 - 1. Solve -3*x + a + 8 = z, -6*a = -3*a - 3 for x.
3
Suppose 0 = -3*h + 4*r - 124, -2*r + 1 = 11. Let c = -45 - h. Solve -8*o + p = -3*o + 1, -4*o - 3*p + c = 0 for o.
0
Suppose -3*s = 3*d - 8*d + 36, -3*d = 5*s - 42. Let v be (30/d)/(6/9). Solve 5*y - 15 = v*a, 16 = 2*a + 3*y - 3 for a.
2
Suppose 0 = -10*a + 31 + 9. Solve 3*j = 11 + 4, -a*j = 4*z - 16 for z.
-1
Suppose 5*q = 7*q - 6. Suppose 31 = 4*w + q*f, 5*w - 2*f = 2*f. Suppose 4*s - 4 - w = 0. Solve -s*a = -7*o + 3*o + 2, -3*o + 12 = -5*a for o.
-1
Suppose 2*t + 35*l - 30*l = -12, 3*t - 16 = l. Solve -2*k + t*q = 6*q - 2, -9 = -3*q for k.
-2
Let s(i) = -i - 7. Let m be s(-9). Solve 0 = 4*g + m*z + 14, 4*g - 5*z = -9*z - 24 for g.
-1
Suppose -5*u + 4*i + i - 30 = 0, 4*u = -4*i + 16. Let d be (22 - u)/(4/(-4)). Let l = -21 - d. Solve 4*x + 12 = 0, l*t = -3*t + x + 13 for t.
2
Let i = 248 - 232. Solve 0 = 3*z - 5*d - 22, 6 = -2*z - 4*d - i for z.
-1
Let u(r) = -2*r - 18. Let m(k) = -k. Let f(c) = 4*m(c) - u(c). Let s be f(9). Suppose 6*o - 4*o - 6 = s. Solve 6*q - o*q = -5*l + 13, -2*q + 10 = 4*l for l.
2
Let c = -57 - -62. Suppose -5*z + 12 = f - z, -2*f + 15 = c*z. Solve -2*r = u - f*u + 7, -2*r + 2*u - 4 = 0 for r.
-3
Let l be (-20)/(-28) + (-713)/(-217). Solve x + 12*b - 8*b = -4, -x - b - l = 0 for x.
-4
Let b(f) = f**3 - f**2 + 3*f + 2. Let w be b(0). Let o be 85/10 - (-3)/w. Solve -5*q + 3*k + 4 = 18, q - 3*k + o = 0 for q.
-1
Let b be 4/3 - (-992)/93. Solve r = -2*r - 3*h - b, -2*r + 5*h = 1 for r.
-3
Suppose 2*v = 4, -v + 0*v + 18 = 2*w. Suppose -3*k = -w*k. Suppose j + 0*j - 2 = k. Solve -2*o + j*m = -2, -o - 3*o - 4*m + 4 = 0 for o.
1
Suppose -j + 2*n = 4*n - 10, 2 = -j + 2*n. Solve 4*h - 4*g + 0 + j = 0, -3*h - g = -5 for h.
1
Let a be 500/(-6) - (-2 + 8/3). Let f be a/6*(-4)/14. Solve -5*d + 3*d = 5*l + 3, -f = -2*d + 2*l for d.
1
Let q = 1718 - 1715. Solve -3*p = -q*g - 6, 4*p = 2*g - 0 + 14 for p.
5
Let u be 3/(-2)*(-700)/21. Suppose -10*h + 0*h + u = 0. Solve -2*n = h*y - 14, 17 = -0*y + 2*y - 3*n for y.
4
Let h = -4 + 17. Suppose -4*v + 13 + 6 = -3*s, -5*s - h = -2*v. Let l be (1 + -1)/(4/v). Solve -2*n + 3*r - 4 = 0, 2*n + n - 3*r = l for n.
4
Let n(b) = 38*b - 2. Let p be n(3). Suppose p = 7*m - 3*m. Let k = m - 8. Solve 5*f - 2*g + 16 = 0, -2*g - 2*g = -4*f - k for f.
-2
Suppose -4*g - 3 = -83. Suppose 4*j - 6 = 5*c, c - 5*j + 29 = 11. Suppose 0 = -c*d - 3 + 7. Solve 0 = d*x - 5*m + 15, -3*x - m + 6*m = g for x.
-5
Let n(u) = 3*u**3. Let j be n(1). Suppose -2*c + 14 = -j*c. Let m = 14 + c. Solve -4*g + x + x + 18 = m, 4*g = -3*x - 7 for g.
2
Let h = 87 + -85. Solve 4 = 4*x - h*j - 6, 0 = -3*j - 9 for x.
1
Suppose -81 = -5*s + m, -84 = -7*s + 2*s + 4*m. Solve -c - 4*b - s = 0, -5*c - 2 = -2*b - 10 for c.
0
Let s = -116 + 140. Solve -4*i + 4*x = -8*i, -4*x = -4*i - s for i.
-3
Let y(q) = -q + 21. Let j be y(18). Solve -5*k = 20, -15 = t + 2*k - j for t.
-4
Let d(s) = -4*s**3 + 53*s**2 - 10*s - 20. Let p be d(13). Solve -p = 3*i - g, -g + 10 = -4*i - 14 for i.
-5
Suppose 30*l = 79 + 41. Solve -l*y = -z + 14, 0 = 3*y - 0*y - 4*z + 17 for y.
-3
Let x = 12 + -7. Suppose t + 3*t + 12 = 0, 4*y - 5 = -x*t. Let j(i) = 4*i - 4. Let q be j(y). Solve -5*s - q = -3*u, 0 = -4*u + 4 + 4 for s.
-2
Let j = -485 - -488. Solve -2*w = -2*r + r, r - j*w + 1 = 0 for r.
2
Suppose 0 = 5*j - 5*p - 75, -j + 2*p = 7*p - 39. Suppose -j = a - 22. Solve -4*z + z = -6, 14 = 2*h + a*z for h.
4
Let a(k) = 2*k**2 + 4*k**2 + 6*k + k**3 + 0*k**2 + 5. Suppose -3*g - 25 = 2*g. Let h be a(g). Solve 4*r + 20 = h, 0 = 4*j + 4*r + 33 - 9 for j.
-1
Suppose 0 = s - 5*m + 17, s = 4*s + m - 13. Suppose -4*i - i + 8 = s*w, -3*i - 70 = -5*w. Let u = w + 3. Solve 0 = 3*f - 4*c - u, -3*f + c + 0*c + 8 = 0 for f.
2
Let a be 0/((-6)/((-60)/(-10))). Solve -4*w - x + 3*x + 20 = a, -w + 5 = 3*x for w.
5
Let q be (-115)/(-9) - 6/(-27). Let t be ((-56)/(-35))/((-4)/10). Let c be t/(-12) - 5/(-3). Solve -3*n - q = 4*b, c + 0 = -n + b for n.
-3
Let b(p) = 15*p + 8. Let k be b(-4). Let f = 54 + k. Solve -5*o + 17 = 2*g, 0 = f*o - 4*o + 2*g + 18 for o.
5
Suppose 4*j - 14 = -3*j. Solve 5*k - 5*i = 15, -11 = -j*k + 5*i + 1 for k.
1
Let n be -3*5/10*(-4)/3. Suppose 0 = h + h + 2*d + 2, -h = n*d + 6. Solve -3*s + 2*g = -0 - 1, -3*g + h = s for s.
1
Suppose i - 19 = -3*i + f, 2*i + 4*f + 4 = 0. Suppose -i*v + 42 = -18. Suppose -6*u + 9*u - v = 0. Solve u*m - 2*c = -6 + 2, -2*c + 4 = 2*m for m.
0
Let l(u) = 2*u - 3. Let s be l(4). Let d be (-69)/(-23) + (2 - -1). Solve d*k = k - 3*w + 21, -s*w + 1 = -3*k for k.
3
Let v = 15 + -10. Suppose -4*w + 11 = -v*p, -3*w + 0*p + 15 = 3*p. Solve 0 = -3*b - 3*q - 3, 0 = -5*b + q + w*q + 45 for b.
4
Suppose 5*d + 3 = -4*h + 5*h, -4*h + 12 = 4*d. Suppose -2*m = -u + 32, -3 + 6 = -h*m. Solve 2*z + 3 = 5*i - 22, 5*i = 3*z + u for i.
3
Suppose -4*d = 3*k - 7, 9 + 7 = d - 4*k. Suppose -d*m = -m. Solve x = -1, 5*x + 5 = 3*j - m for j.
0
Let b be -1 + -1 + (-1 - -6). Let m = -61 + 68. Let t = m + b. Solve -4*l - t = -2*a, 0 = 5*l + 5*a - 10*a + 20 for l.
-1
Suppose -m = -4*s - 17, 5*m + s - 8 = 14. Solve 2*u - 2*a + 2 = 0, -5*a - 15 = -m for u.
-3
Let x = 292 + -256. Solve 4*w - 4*f = -x, 4*w - 3*f = -5*f - 6 for w.
-4
Let f = -5242 - -5246. Suppose -3*k - 14 = -2*q + k, 5*k = 5*q - 25. Let p = q + -1. Solve 5*h - 2 = -p*s + 10, f*h - 10 = -2*s for s.
1
Let z = -26 - -31. Suppose 0 = -5*i - 5*u - 20, 3*i + 5*u + 5 + 3 = 0. Let t be ((-4)/i)/((-4)/(-30)). Solve -5*l - 3 - t = -2*k, -2*l + 20 = z*k for l.
0
Let v(i) = -i**2 - 10*i - 9. Let m be v(-8). Let d = m - 5. Let s(l) = l. Let z be s(d). Solve -z*r = -4*w + 11 + 3, -16 = -w + 3*r for w.
1
Let w(p) = -2*p - 4. Let s be w(-5). Suppose 8*g = 6*g + s. Solve -b + g*b = -5*k - 11, 0 = 2*k - b + 8 for k.
-3
Let l = 139 - 139. Solve -4*c - v + 15 + 4 = l, 14 = 2*c + 2*v for c.
4
Let u be (-14 + 11)/((-3)/5). Solve -2*h + 1 + 23 = -u*i, -3*h = -3*i - 18 for i.
-4
Let y = 3 - -2. Suppose -2*q - 2*q + 10 = -3*i, 0 = -2*q + 4*i. Let u be (-33)/((-13)/(-4) - q). Solve -5*z = y*m - 9 + u, -4*m - 19 = z for z.
-3
Let d = -95 - -98. Solve -10 = d*n - 5*u, 2*n + u = 2*u + 5 for n.
5
Let k = -336 - -349. Solve -5*v - 3*p = 18, 2*v + 3*v - 2*p + k = 0 for v.
-3
Let z(t) = t**2 + 1. Let k(i) = -7*i**2 + 4*i + 1. Let p(b) = -k(b) - 6*z(b). Let x be p(7). Solve 3*s + 2*s + 4*q = 12, -3*s + q + x = 0 for s.
4
Let v be -1 + 2 + (3 - 8). Let z be (0/v)/(-4) + 2. Suppose -5*m + 9 = -4*m. Solve -z*h + m = -3*r, 3*r + 12 = h - r for h.
0
Let z be 3/((-42)/(-32)) - 26/91. Suppose -5*f = 3*h - 20, z*f - 10 = 3*h + 19. Solve x = 2*s + 9, -2*x - 22 = -3*s + f*s for x.
-1
Let b be (2 - 1)/((-123)/(-369)). Solve -2*l = -b*w + 17, 11 + 14 = 5*w for l.
-1
Let h be (-2)/(-6)*(-474)/(-79). Solve -5*s = h*b + 7, -3*s + 6 - 31 = -4*b for s.
-3
Suppose -24*d + 12*d = -8*d. Solve 5*s + d*s = -2*o - 10, 