+ 4*s for s.
4
Let k = 1 - 1. Suppose k = -3*i + 2*i. Suppose -25 = -5*l - i*l. Solve -5*z - 50 + 10 = -4*w, l = w for z.
-4
Let d = 15 + -24. Let w = d - -14. Suppose -7*m + 5*m = -36. Solve 0 = -w*y - 4*f - m, 3 = 5*f + 13 for y.
-2
Let k(o) = 5*o**2 - 3*o - 3. Let p be k(4). Suppose 8*r - p = 3*r. Solve 4*s - r = 4*m + 7*s, 25 = -5*m + 5*s for m.
-4
Suppose -2*f + 33 = 9*f. Suppose 6*q = q + 15. Let b be ((-5)/2 - -1)*-8. Solve q*x = s - b, -x = s + s - f for x.
-3
Suppose 2*x + 3*d - 3 - 7 = 0, 0 = -5*x + 5*d. Let r = 19 + -14. Solve r*i = -x*z + 25, 6 = -i + 3*z - 6 for i.
3
Suppose -6*l + 18 = -3*l. Suppose 21 = 5*w - 2*p, p - l = -3*w - 0*p. Solve -w*i - 2 = v + 8, -2*i - 16 = -4*v for v.
2
Let z be (-4)/(-8) - (-10)/4. Suppose 3*f - 2*r = -r + 13, -f - z = -4*r. Solve 0 = 5*u - f, -3*u = -3*g - 3 + 9 for g.
3
Let h = -10 - -20. Let b be (-2)/(h/4 + -3). Suppose 4*f = -0*n + 3*n + 31, -5 = 5*f + 5*n. Solve -d - b*y = d + 20, 0 = 5*d - f*y - 6 for d.
-2
Suppose 0 = -3*j + 6*j + 4*r - 29, -2*j = -3*r + 9. Solve 4*s - j - 9 = 3*x, 5*s - 2*x = 15 for s.
3
Let i(u) = -u**3 + 12*u**2 - 12*u + 16. Let k be i(11). Let p(q) = -q**3 + 4*q**2 + 6*q. Let n be p(k). Solve 5*w - 5*o + 3 = -2, w + n*o = -1 for w.
-1
Suppose -5*s - 40 = -5*n + 30, 0 = 2*n + 5*s - 14. Let z be 4/(-1 - (-16)/n). Solve -4*c - z = 4*u + c, 2*u = 5*c - 6 for u.
-3
Let c(z) = -z**3 - z**2 + z + 2. Suppose -25 = 6*y - y - 3*n, -4*y - 3*n = -7. Let f be c(y). Solve 2*x = -f*v + 4, -2*v - 7 = -5*x + 15 for v.
-1
Let z be (11/(-4) - -4)*4. Solve 0 = -3*w - 4*p + 1, 2*w - z*p - 15 = 1 for w.
3
Let x = 6 - 8. Let o be 3/6 - 31/x. Solve -o = -2*g - g + 2*i, 2*g - 3*i = 19 for g.
2
Let p be -5 + 9 - (-4)/(-2). Suppose -t + p + 0 = 0. Solve -k = r + 2, -t*k + 3*r = 7*r + 10 for k.
1
Let v(j) = j**2 + 4*j. Let s be v(-5). Let z(q) = -q + 3*q**2 + s*q**2 - 4*q**2 - 3*q**2 + 14. Let y be z(0). Solve 2*n = 2*w + w + 7, -2*n = 4*w + y for w.
-3
Let w be -1*(-1 + 0 - -1). Suppose w*h - 5*h = -10. Solve -19 = -h*f + 2*r - 5*r, 5*f - 16 = 3*r for f.
5
Let a = 6 - -5. Suppose -3*p = 4*u - 19, 5*u = 4*u + 2*p + 13. Suppose u*f = 3*f + 16. Solve -5*t + 2*t - a = -v, f*v = -2*t - 26 for v.
-4
Suppose -a - 11 = -4*y, 4*a + 2*y - 40 = -3*y. Solve 0*l = 4*l + a*q - 33, 15 = -5*l + 5*q for l.
2
Let x(m) = m**3 - 2*m**2 - 3*m + 1. Let o be x(3). Suppose o + 5 = 3*g. Suppose 0 = f - 4 + g. Solve -i = -f*w + 5, 3*w - 8 = -i + 12 for w.
5
Let q = -37 + 42. Solve 0*u + s - 19 = -q*u, -4*s = -4*u + 20 for u.
4
Let r(i) = -5*i**2 - 6*i + 2. Let m(d) = 4*d**2 + 5*d - 2. Let p(c) = -4*m(c) - 3*r(c). Let q be p(0). Solve s = q*a - 0 + 6, 3*a = 3*s - 9 for a.
-3
Let y(z) be the third derivative of 11*z**6/40 - z**3/6 + 2*z**2. Let k be y(1). Let g be 52/12 - (-1)/(-3). Solve -x + g*o = -5*x - 4, 0 = 4*x - 5*o - k for x.
3
Suppose -u + 3 - 1 = 0. Let l be u*(-9)/(-6) - 1. Let a(f) = -f + 2. Let o be a(-4). Solve -z = -5*h - 19, -o - 16 = -4*z + l*h for z.
4
Let b(l) = -l + 9. Suppose 0*n = -3*n. Let y be b(n). Suppose 5*i - 29 + y = 0. Solve i*d + 5*a - 33 = 0, -2*d - 11 = -0*d - 3*a for d.
2
Let a(d) = d**2 + 6*d + 5. Let v be a(-6). Suppose -v = -b - 0*b. Let q be ((-1)/2)/(b/(-50)). Solve n + 4*s = -22, n - 4*s - q = 13 for n.
-2
Let b be -1*((-2)/(-3) - 8/12). Let c(m) = -3*m. Let z be c(-1). Solve -3*p + b*p + z = 3*t, -p = -2*t - 1 for p.
1
Suppose 3*u - 3*r - 9 + 0 = 0, 3*u + 4*r + 12 = 0. Solve -x + 2 - 7 = u, 0 = c - 5*x - 24 for c.
-1
Suppose 0 = -6*n + 22 + 8. Solve 3*l = 2*j + 2*j + 6, -n*j = 5*l + 25 for l.
-2
Let w be (1/3*0)/(-2). Let k = w + 16. Let s be ((-2)/(-4))/(4/k). Solve -m - 3*u + 15 = m, -2*m = -s*u for m.
3
Suppose 0 = 2*l + 2*l + 8. Let m be l/4 + (-13)/(-2). Solve 0 = -2*x + 3*v + 3 - 1, -5*v = -x - m for x.
4
Let b = 1 + 1. Solve 3*p - b*l - 3 = 0, 6 = 3*l - l for p.
3
Suppose 3*b + 35 = 5*z, -24 = -4*z + 5*b + 17. Solve 12 = -4*y - z*t, -4*t + 17 = -3*y - 3*t for y.
-5
Let p(n) = 3*n - 27. Let o be p(9). Solve -3*u + 9 = o, 3 = 4*t - 5*u - 2 for t.
5
Suppose -2*f + 9 = -3*t, t = 2*f - t - 10. Suppose -2*x - 2*j - 3 = 7, 4*j = 4*x + 12. Let w = -1 - x. Solve -6 = -m + 5*d + 4, 5*m = w*d + f for m.
0
Let l(m) = 10*m**2 + 3*m - 4. Let y(p) = -p**2 - p + 1. Let h(s) = l(s) + 5*y(s). Let f be h(1). Solve -1 + 18 = -f*t + 5*v, -4*v - 5 = 3*t for t.
-3
Suppose 3*t - 2*u = 1, -t + 5*u - 3 = 1. Let q = t - -2. Let w = 8 - 5. Solve -w*a + 2*a - 1 = q*j, 0 = 4*a + 4*j - 12 for a.
5
Suppose 4*o = -o + 25. Solve o*i = -0*i + 5*j, -5*i = j - 18 for i.
3
Let h be 2 + -1 + (8 - -6). Solve -4*g + 6 = -f + 3*f, -h = -5*f - 4*g for f.
3
Suppose -4*f - 2 = -4*q - 6, 2*f - 5 = q. Solve 4*l - 12 = -4*r, 4*l = 2*l - q*r + 10 for l.
-1
Let s be 248/14 + (-4)/(-14). Suppose 54 = -4*w + 2. Let d = w + s. Solve -d*y - 25 = 0, -2*x + 5*y = -6*x - 41 for x.
-4
Let o(a) = a - 1. Let s be o(5). Suppose 3*z - 19 = -5*c - 0*c, 2*z + 2 = s*c. Suppose -2*j - 5 = -3*j. Solve 4 = 3*w + j*d, 2*d = -z*w - d for w.
-2
Suppose -4*n + 2*n = -4. Solve 2*j = z + n - 4, 2*z + 14 = -5*j for j.
-2
Suppose 25 = 5*c + 5. Suppose 3*v = 5*v - c. Solve -5*d + 2*k - v = -16, 2*k + 2 = -d for d.
2
Suppose f = 3*f - 4. Suppose 5*i = w + 30, 0*i + f*i - w = 12. Let u be 18/(-15)*(-20)/i. Solve 0 = u*s + 5*t - 23, s + 2*t = -2 + 10 for s.
2
Suppose 2*v - 3*m - 1 = 0, 3*m + 24 = -3*v - m. Let i(y) = -y**3 - 4*y**2 - y + 1. Let n be i(v). Solve -n*q = -c - 17, 5*c - 4*q + 7 = 6 for c.
3
Let b = -1 + 6. Let s = -4 - -9. Suppose m + 5*l + 14 = l, -m + s*l = -22. Solve -5*o + 25 = -4*c, -b*c - 30 = -3*o - m*o for c.
-5
Suppose -2*p + 35 = 3*p - 2*y, 5*p = y + 30. Solve 3*x = 2*n - 3*n + p, -2*n = -3*x + 8 for n.
-1
Suppose 0 = -5*y + 4*y + 3. Suppose 19 = c - y*o, -4*o - 8 = -0*c + 3*c. Suppose 4*i = 8, -i + 22 = q + c*q. Solve -14 = -2*w + 3*t, -13 + 1 = 4*w + q*t for w.
1
Let w be (-925)/(-20) + (-1)/4. Let n be (-4)/(-6) + w/3. Solve -3*c = -5*g - n, -g = -5*c + 3*g + 5 for c.
-3
Suppose 22 = s - 4*d, -s = -4*s - 3*d - 9. Solve -4*i - 13 = -2*x - 1, -s*i - 14 = -5*x for i.
-2
Let f = 44 - 27. Let m = f + -14. Solve -m*h + 2*y = 20, -3*h + h = -4*y + 24 for h.
-4
Let j(x) = x**3 + 5*x**2 - 5*x + 6. Let k be j(-6). Suppose 0 = -0*g + 5*g - 15. Let r = -4 - -9. Solve n - 11 = -r*h, -g*n - n + 2*h = k for n.
1
Let m(d) = d + 3. Let y be m(-4). Let s = y - 3. Let b = -2 - s. Solve -3*p + p = 5*i - 20, b*p = -4*i + 16 for i.
4
Let i be (-369)/(-6)*-2 - 3. Let h be (2/6)/((-7)/i). Solve 4*d - h = 4*u + 2*d, 0 = u - 4*d - 2 for u.
-2
Let p = -10 - -14. Let n = p - -6. Solve n = -h - 2*i + 4*i, -h + 3*i = 15 for h.
0
Let q be 0/(-4 + 2 + 3). Let b be (2 - q)/((-12)/(-18)). Solve 3*i - 6 = -b*w, -2*w + w - 2 = 0 for i.
4
Let l(a) = -a - 4. Let p(s) = -s**2 + 2*s + 2. Let i be p(4). Let w be l(i). Suppose -q + w = -2. Solve h = -3*c - 11, q*c + 3 = 5*h + 1 for c.
-3
Let c(h) = h + 9. Let g be c(-10). Let a be (g - 1) + 1 + 26. Let w(j) = -j. Let z be w(-3). Solve 0 = 5*l + 3*f - a, z = -l - 5*f + 30 for l.
2
Let b be (-1)/(-4) - (-14)/8. Suppose -4*k - b = -18. Solve -3*r = k*a - 4*r + 10, 0 = -a - 5*r - 13 for a.
-3
Suppose -2*t = 3*m - 5*t - 24, -t = 2*m - 4. Solve -m*q = 8, 0 = 2*a - a - 2*q for a.
-4
Let c = 2 - -4. Let r be (6/9)/(c/27). Suppose -r*d + 17 = 2. Solve -5*y - 18 = q, 0 - 27 = d*y + 4*q for y.
-3
Suppose 0*j + 57 = 3*j. Let n = j + -19. Solve -2*x - 8 = 2*h, -5*x = -2*h - n*h + 6 for h.
-2
Suppose -2*s = -h - 2 + 8, -2*s - 3*h = -2. Let i = s + 0. Let r be 21 + (-4)/i + -1. Solve -2*w = 4*p - r, p + w - 2 = 6 for p.
3
Let w = 50 + -45. Solve 5*h + 4*c - w = 11, 2*c - 8 = -h for h.
0
Let x(v) = -2 + v + 5 - 3 + 1. Let b be x(4). Solve -7*s + 20 = -3*s, b*y + s - 15 = 0 for y.
2
Let l = -22 + 40. Solve -4*f - 4 - 8 = 4*i, 4*i + f = -l for i.
-5
Suppose -10*g + 14*g - 16 = 0. Let h be (-3*(g + -3))/(-1). Solve 5*m = -4*r, 2*m = h*r - 3*m + 35 for r.
-5
Suppose 2*h = 3*h - 2*a + 8, 4*h + 4*a = -80. Let c be h/(-10) - (-10)/25. Solve -1 = 2*k - d, 2*d - c = 2*k + 2 for k.
1
Suppose 3*v + 3*o = 0, 2*v = 5*v + 4*o + 4. Solve 0*g - 16 = 2*t - 2*g, -v*t = g + 12 for t.
-4
Let p(k) = k**2 - 8*k - 8. Let m(y) = 4*y**2 + 2*y - 2. Let b be m(-2). Let j be p(b). Solve -2*i = -0*v + 2*v - 12, 5*i = v + j for v.
3
Let z(y) = -y**3 + 4*y + 3. 