). Solve -5*s + o = 3*q - 2*q, -2*s - 6 = 4*q for q.
-4
Suppose -36 = s + 2*s. Let k be (3 + s/8)*8. Solve 4*m + 15 = 5*w + 7*m, -k = -4*w + 5*m for w.
3
Let k = -5 - -13. Suppose -4*s + k + 0 = 0. Solve 3*x - 7 - 2 = -3*h, -s*x - 4*h + 10 = 0 for x.
1
Let j(k) be the first derivative of -k**3/3 - 7*k**2/2 + 3*k - 5. Let d be j(-7). Solve -d*t + 6*t - 4*m = 5, 0 = t - 2*m - 5 for t.
-5
Let x = -3 - -4. Suppose 0 = o + 2*u - 8, 5*o + 5*u - 25 = -0*o. Let k be (-2 + x)/((-1)/o). Solve 4*v + 4 = 2*y, -k*v + 5*v = 0 for y.
2
Let f = -9 - -14. Suppose 3*t = -4*i + 9, 12 = f*i + 6*t - 2*t. Solve 2*l = 5*x + 6*l + 22, -2*x + 2*l + 2 = i for x.
-2
Let s(v) = -5*v - v**2 - 6 - 1 - 1 - 5*v. Let t be s(-8). Solve -4*i + 5*w = 13 + t, -4*w + 17 = -3*i for i.
1
Let a = -67 + 32. Let g = 60 + a. Suppose 0 = 5*i - j - g - 71, -42 = -2*i + 4*j. Solve 0 = x + 5*t + i, -2*t + 16 = -6*t for x.
1
Let k = -7 - -7. Suppose k = -4*n + 3 + 9. Solve -2*m - 2 = 2*f, 0*m = 4*f + n*m - 1 for f.
4
Let x(w) = -2*w - 18. Let y be x(-12). Solve -13 = 4*i - t, -i - 3*t = 19 - y for i.
-4
Let h(r) = r**3 - 10*r**2 - 13*r + 24. Let g be h(11). Solve -5*a = -0*i + 5*i - 5, g = -i for a.
3
Suppose -2*f + k = 2*k - 25, -27 = -2*f - 3*k. Suppose -z - f = -5*z. Suppose 0 = -z*q + 14 + 25. Solve -2*m - 2*w + q = m, m + w = 4 for m.
5
Suppose -5*u - 5*l + 10 = 0, -u + 3*l - 1 + 3 = 0. Suppose 0 = 2*a - 10, -2*a - 92 = u*p - 4*a. Let c = p + 59. Solve -3*t - 37 = 5*v, -3*t - c = 2*v - t for v.
-5
Let n(l) = 0 + 1 - 2*l + 2 + 0. Let q be n(-3). Solve 0 = 2*d - 3*a + q, 4*a = 20 - 0 for d.
3
Let m = -11 + 14. Solve -20 = 4*x - 2*v, x - v = -m*v for x.
-4
Let n be 7 - 6 - (-1)/(-1). Suppose -3*i - 6 = -5*i. Solve -3*l + i*q - 2 - 1 = n, 3*q = -9 for l.
-4
Let r be (-11 - -13) + 0/1. Solve -r*j + 3*f - 10 = -j, 5*j + 2*f = 1 for j.
-1
Let w = 25 + -23. Suppose -6 + 0 = -5*g + 4*s, w*g - 6 = -2*s. Solve 3*z = -4*h + 3 + 5, 0 = 3*h - g*z - 23 for h.
5
Let i be ((-1)/(-2))/(7/70). Solve -4*z = -i*s - 24, -2*z = -s + 4*s + 10 for z.
1
Let w = -40 - -45. Solve -k + w*b = -16, -2*k + k + 3*b + 8 = 0 for k.
-4
Let j = 2 - -2. Suppose -6*f + 8*f - j = 0. Let b(c) = c**2 - 3*c - 2. Let g be b(4). Solve 3 = -3*v - g*n, -n - f = 2*v + n for v.
-1
Let z = 18 - 13. Solve 5*m + 12 = 2*f, 0*m - 3*f = z*m + 7 for m.
-2
Let t = -28 + 30. Suppose -2*w - 14 = -4*w. Solve -m - t*m + 5*g - 13 = 0, 0 = -2*m + 3*g - w for m.
4
Let p = -29 - -52. Solve 5*d - s = 11, -5*s + 0*s + p = d for d.
3
Let u be 2/(-4)*(4 - 0). Let v be ((-2)/1)/(1/u). Suppose 4*i + i - 30 = 2*z, -v*z = 5*i. Solve 7*m - 17 = 2*m + y, -i*m = -2*y - 10 for m.
4
Let a be (4/(-2))/((-22)/33). Solve s = a*i - 15, 0*i = i - 4*s - 5 for i.
5
Let v(q) = -q**3 + 2*q**2 + 5*q - 4. Let s be v(3). Suppose 6 + 0 = s*j. Solve 14 = u + j*b, 2*u + 5*b - 24 = u for u.
-1
Let c(g) = -g**3 - 10*g**2 + 11*g + 20. Let i be c(-11). Solve -4*m = -i, x + x - 23 = -3*m for x.
4
Suppose -12 = -4*t - 0. Suppose -t*k = k - 4. Let o be 1 - (-1)/1*k. Solve 0 = o*m + 4*s - 6, -2*s + 0 = -m - 1 for m.
1
Let x(y) = y - 6. Suppose -39 = 3*d - 3*p, -33 = 4*d - 5*p + 18. Let o = -8 - d. Let n be x(o). Solve n = -5*q - 2*a - 16, 5*q + 11 = -4*a - 1 for q.
-4
Suppose -28 = -4*t - 3*s, -4*t = -3*t + 4*s - 20. Suppose 0 = -t*g + 10 + 42. Let n be (-20)/6*12/(-10). Solve n*k + y = -g, 4*k + 11 = 5*k + 5*y for k.
-4
Let v = -6 - -3. Let n(g) = -3*g - 4. Let s be n(v). Solve -13 = -4*w - s*b, -5*w - 4*b - 6 = -20 for w.
2
Let l be (4/(-6) - 0)*-3. Suppose -5 + 0 = 3*n + l*s, 0 = -2*n + 5*s + 22. Suppose -2*u = -22 - 4. Solve 4*t - n - u = 2*c, 19 = -4*c - t for c.
-5
Suppose -2*y - 29 = -5*t, 4*y = -14*t + 9*t + 17. Solve 3*u = 2*s, s - 3*u = t*s for s.
0
Let u = -5 + 8. Suppose 36 = u*s + s. Suppose -x - 1 = -5. Solve -4*r + s = 4*o + o, -11 = o + x*r for o.
5
Suppose -3*z = 4*n - 18, -2*z = 3*n - 1 - 13. Suppose 2*a + 0 = 4. Let s = n - a. Solve 5*x - s*g = -28, g - 14 = 4*x + 2*g for x.
-4
Let f = -9 - -15. Solve -f = -w - 6*d + d, 2 = -2*w + 4*d for w.
1
Suppose -4*t + 16 = -i, -3*i + t + 4 = -3. Let x = -1 + 0. Let z be (x + 12)/(4 + -3). Solve -3*m + 5*w + z = 0, w - 3 - 4 = -i*m for m.
2
Let p(f) = f**3 - 6*f**2 + 6*f - 1. Let h be p(5). Suppose -i - 36 = -h*i. Solve -g - v + i = 4*g, 3*g - 16 = -5*v for g.
2
Suppose 0 = -2*v - 4*o + 26, 7*v - 3*v + 3*o = 32. Solve q + v*y - 20 + 0 = 0, 0 = 2*q - 5*y + 5 for q.
5
Suppose 2*a = -4*n + 24, 0*a + n = 3*a - 8. Solve 5*t = -5*r - a - 6, 7 = -2*t + r for t.
-3
Suppose 10 = -5*o, 4*z - o = 12 + 6. Suppose -z*d = -3*p - 8, -30 = -5*p - 10. Solve -5*t + d = 5*i, 4*t = -i - 2*i for i.
4
Let i(h) = -h + 1. Suppose 2*q + 3*v - 35 = 7*q, 3*q - 13 = -5*v. Let s be i(q). Solve -p - 20 = 4*r, r = s*p - 3*r + 4 for p.
-4
Suppose -3*w = -2 - 10. Let u be (-2)/(-4) + (-3)/(-6). Let s be 10/(0/u - -2). Solve -m = -3*r + 4, -w*r + s*m + 8 = 3*m for r.
0
Let y(z) = 2*z + 35. Let l be y(-16). Solve k - 10 = d, -5*d + 0*d = l*k + 10 for d.
-5
Suppose -f - 8*w = -3*w + 21, 9 = f - w. Solve f*s + 4*u - 28 = 0, -u + 30 = 5*s + 3 for s.
5
Let h(b) = b + 20. Let c be h(-17). Solve -4*s + s - 12 = c*t, 0 = 2*t - 3*s + 13 for t.
-5
Suppose 5 - 13 = -4*j. Solve g + 3*u + 2 = -6, j*g - 5*u = 17 for g.
1
Suppose i = -i. Let y be (5/1 - 2) + i. Suppose -y*a = -w - 0 + 11, 5*a = -15. Solve -2*t = f - 3, 0*t - 7 = 3*f + w*t for f.
-5
Suppose -5 = 2*d - 35. Solve 0 = -4*n + 5*l + 21, -3*n - 2*l = 2*n + d for n.
-1
Let v(q) = q**3 + 3*q**2 - 5*q + 1. Let k = 8 + -4. Suppose 2*n - k*n = 8. Let f be v(n). Solve 19 = -4*i - 5*m + 52, f = m for i.
2
Suppose 0 = 3*p + 3*j - 15, -4*j + 11 + 18 = 5*p. Solve 4*f - p = g, f = -g + 4 + 2 for g.
3
Let f be -2*(-9)/6 + 2. Solve f*u + 2*h = 7*h, 3*h + 10 = 5*u for u.
5
Let k = -6 + 12. Solve 3*p - 2*p - k = 4*o, 5*p = -4*o - 18 for p.
-2
Let s be 6/4*20/6. Suppose 5*x = 186 + 14. Solve -3*i + 32 = 4*r, 3*r + s = -5*i + x for r.
5
Let b be (-7)/(2 - (-5)/(-2)). Let y = 16 - b. Solve 0 = y*r - 4*n, -2*n = 2*r + r for r.
0
Let y(u) = -u**3 + 8*u**2 + 4. Let i be y(8). Suppose 3*p = 2*v + 12, p + 16 = 3*p - i*v. Solve -5 - 3 = 4*d - 5*f, -d = f + p for d.
-2
Suppose 4*t - 4*m - 4 = 0, 4*t - 5 = -4*m + 31. Suppose -4*q = 5*b + 27, -4*q - b - 14 = 1. Let r = t + q. Solve -5*y - 15 = 0, 2*y - 4 + r = -2*h for h.
4
Let j(c) = 3*c - 1. Let d be j(1). Suppose -h = d*l - 3, 4*l + 5*h = h. Solve 24 = -4*q + l*s + 4, -2*q - s = 0 for q.
-2
Let k(t) = -3*t - 3. Let v(y) = -4*y - 2. Let b(h) = -3*k(h) + 2*v(h). Let o be b(-5). Solve o = -2*r + 6*r + 5*p - 31, 2*p - 10 = -r for r.
4
Let x = 108 + -94. Solve -x = 4*m + 2*c - 0*c, 5*m = 4*c - 24 for m.
-4
Let p(t) = -t**3 - 9*t**2 - 6*t + 8. Let x be p(-8). Let i = 11 + x. Solve 2*s + 6 = 5*s - i*w, 2 = s - 2*w for s.
2
Let u = 3 - -1. Suppose -b = -u*b + 12. Suppose 4*t - 3*p - 27 = 0, 2*t = b*p + 1 + 25. Solve 4*i = -o - o - 4, -4*i = t*o for i.
-3
Suppose o + 5 = 10. Solve 25 = -3*m - o*z, 7 = 5*m - z + 30 for m.
-5
Let i(h) = -h**3 + 2*h**2 + 3*h - 4. Let p be i(2). Solve 0*s = 5*s - m - p, -s - m - 2 = 0 for s.
0
Suppose -8*h - 20 = -12*h. Solve -21 = r - h*n, 0*r = 3*r + n - 1 for r.
-1
Let c(y) = -y**3 + 6*y**2 - 8*y + 2. Let i be c(4). Solve -r = 2*z - 2*r - 4, z = i*r - 4 for z.
4
Let p be 20/(-1)*((-13)/4 - -3). Solve 0 = p*v - 5*r + 15, -2*v - 2*r + r = -6 for v.
1
Let m = 0 + 3. Suppose -j - 19 = -5*j + 3*r, 5*j - 21 = r. Suppose 7*n - 12 = j*n. Solve -2*b + m*b = n*o - 3, b + o = 2 for b.
1
Let b be (-2)/(30/27)*-5. Solve 0 = -3*d - 2*d + 2*g + 9, 0 = 3*g - b for d.
3
Suppose 0 = -2*c - 3*b - 5 - 2, 2*c = -2*b - 2. Solve 35 = 5*j + c*u, -u + 2*u = 4*j - 7 for j.
3
Let g be ((-2)/18)/((-2)/(-6))*-6. Solve -5*k + 5*d = 0, -5*k + 6*d - g*d + 3 = 0 for k.
3
Suppose 0 = 3*s - 4*o - 14, 2*o - 2 = -s - 4. Solve -4*g - 7*n = -s*n + 2, 5*n = 4*g + 22 for g.
-3
Let s(n) = n**3 + 5*n**2 + n + 46. Let c be s(-6). Solve -c*o = 3*v + o - 32, 2*v + o = 12 for v.
4
Suppose -3*f + 5*f = 4. Suppose f*s = 8 - 2. Solve 3*d - 16 = -s*a + 5, -14 = -5*d + 2*a for d.
4
Let b(s) = -s**3 + 5*s**2 + 2*s - 2. Let f be b(5). Let l = f - 6. Suppose 0 = -6*g + l*g. Solve -3*j - 12 = g, -5*j + 0 - 26 = -2*a for a.
3
Let q(m) = -m + 2. Let c be q(2). Suppose -3*y + 9 = -c*y. Solve 5*i - 1 = a - 4, a = i + y 