3*m, -m + 1 + h = -4*l for l.
-3
Let g(z) = -z**3 - 17*z**2 + 4. Let m be g(-17). Solve -5*o - m = -n, 3*o - 2*n = 2*o + 1 for o.
-1
Suppose 42 = 3*u - 15. Solve -5*d + u = 2*j, 0 = 5*j + d + 10 for j.
-3
Suppose 2*b + 40 = 2*q, 2*q + 4*b - 3*b - 40 = 0. Solve -4*l = -2*x - q, -3*l = 5*x + l + 8 for x.
-4
Let w = -116 - -121. Solve -w*y + 2*p + 0 = -1, -7 = y + 2*p for y.
-1
Suppose 4*v = 3*v - 5. Let o = 10 + v. Solve 3*u = -5*f + o, 4*f + u + 3*u - 12 = 0 for f.
-2
Suppose 4*x - 61 = v, 6*v - 3*v = -x + 25. Solve 5*c - x = 4*g + c, 2*g = 3*c - 12 for g.
0
Let p = 10 - 6. Solve -p*z + 4 = -3*f, -4*f - 3*z = 29 - 7 for f.
-4
Let s(q) = -q**2 - 5*q - 2. Let z be s(-4). Let b = 6 - z. Solve -2*h - b = -2*p, 1 = -4*h + 3*p - 4 for h.
1
Suppose 0 = -3*z + 4*h + 20, 3*z + 3*h - 42 = 6. Solve 3*w + 0*w + o = -z, -3 = 5*w - 4*o for w.
-3
Suppose -5*t + 3*t = -4. Solve t*b = -3*q + 11, -5 = -b - 2*q + q for b.
4
Let h(p) = -p**3 + 7*p**2 + 9*p - 11. Let v be h(8). Let z be 12/v + (2 - -2). Solve 5*a + 4*s + 26 = z, 2*a + 5*s + 18 = 3*a for a.
-2
Suppose 0 = -2*l - 3*l - 70. Let q = 20 + l. Solve 0 = -4*s + q*s + 5*a - 16, 0 = 3*s + 3*a - 15 for s.
3
Suppose 37 = 5*z + 147. Let p = 31 + z. Let h be -3*(-3)/(-9)*-4. Solve -5*n - h*l - 34 = -p, -2*n = -2*l - 8 for n.
-1
Let v = 8 - 5. Suppose 4*k - v*k = 24. Solve 6 + 6 = -3*c, 0 = 4*h + 2*c + k for h.
-4
Let y(r) = r**2 + r + 3. Suppose -5*h + 2*h = 0. Let v be y(h). Solve 0 = 4*u - 3*i - 0*i + 9, -2*i + 6 = v*u for u.
0
Let b(d) = -2*d**3 + d**2 - 2*d + 2. Let a be b(2). Let m = -10 - a. Suppose 0*v - v = -m. Solve v*r = g - 17, 21 + 7 = -g - 5*r for g.
-3
Let f = 39 - 13. Solve 4*j + 2*w = -f, -3*w = -j + w + 16 for j.
-4
Let z(d) = -d - d**3 + 2 - 2. Let h be z(-1). Suppose 4*n = n + 12. Solve -2*w - 5*c - 23 = 0, h*w - n*c = -w + 23 for w.
1
Let l(b) = b**3 - 6*b**2 + b - 3. Let w be l(6). Suppose -w*f + 6 = -r, -5*f = -r - 7 - 3. Solve -2*p - n + f*n + 7 = 0, -2*p = -5*n + 5 for p.
5
Let i be (10/8)/(3/12). Solve 0 = -i*w + 2*j + j - 2, -3*j + 8 = -2*w for w.
2
Let p(i) = -i + 9. Let o be p(-6). Solve -4*v + 2 = 2*y + 12, 0 = -5*y - o for v.
-1
Let x(m) = m**3 - 5*m**2 + m. Suppose 14 = 3*h - 1. Let j be x(h). Solve 0 = -a + j*b - 18, -a - 3 = a + b for a.
-3
Suppose 21 = -0*i + 3*i. Let m = i + -4. Solve -m*h - 6 = 2*z - 0*h, 0 = z - 3*h - 6 for z.
0
Let x(m) = m**2 - 8*m - 4. Let z be x(9). Suppose -u + z*u - 8 = 0. Solve 8*a - 4*a - u*g + 12 = 0, 3*a = g - 9 for a.
-3
Let v(b) = -b**3 - 2*b**2 + 3. Let g be v(-2). Solve 1 = 5*i - 4*i + 2*j, g*i - 3 = -2*j for i.
1
Suppose 0 = 4*p + 8, -3*y = -y - 4*p + 4. Let l = y - -8. Suppose -3 = 4*b - o, -l*b + 5*b - 3*o + 9 = 0. Solve 0*x = -5*x + 2*i, -3*x - 2*i = b for x.
0
Let r(u) = -u**3 - 5*u**2 + 5*u - 1. Let a be r(-6). Solve -g - 3*c = -18, a*c - 17 = -g + 11 for g.
3
Let x = 109 - 100. Solve -3*u = -s - 3, 5*s - x = u + 2*u for s.
3
Let v = 8 + -3. Let s = 1 + v. Solve f + 5*y + 12 = 0, 5*f + 2*y + 2 = s*y for f.
-2
Let s(i) = 4*i - 6. Let x be -3*(-16)/6 - 3. Let t = -1 + x. Let f be s(t). Solve 4*y - f = -2*n, 0 = -3*y - 2*n + 1 + 4 for y.
5
Let l(c) = -c**2 - 14*c - 11. Let w be l(-11). Solve 0*t + 4*j = 5*t + 26, 0 = t - 5*j + w for t.
-2
Let v(h) = -h + 1. Let y be v(-4). Suppose 0 = -y*m + 7 + 23. Suppose 2*d = -7*z + 2*z - m, z - 4*d = 12. Solve z = -3*s - 2*n - 5 - 7, -s - 4 = n for s.
-4
Let c(y) be the second derivative of y**5/20 + 2*y**4/3 + y**3 - 3*y**2/2 - 5*y. Let o be c(-7). Solve -o*v = 3*z - 15, 2*v + 6*z - 11 = z for v.
3
Let t(p) = -p + 4. Let c be t(4). Suppose 0 = d - c - 2. Suppose 0*g = 2*g. Solve -d*z + 0*a = -5*a + 4, -2*z - 3*a - 4 = g for z.
-2
Suppose -8 = -5*b + 22. Suppose b*n - 20 = n. Let x(q) = -q**2 + 6*q - 2. Let m be x(4). Solve 0 = 2*t + n*u - m, t - 4*u = -3*t - 24 for t.
-3
Suppose 5*d - 57 = 4*o, 6*d - 3*d - 3*o - 36 = 0. Suppose -2 = -j - 3*x, 2*j + 0*x - d = -x. Solve j*s + 16 = 4*z - 12, 14 = z - 3*s for z.
2
Let y = 1 + 3. Suppose 4*t - 2*t = -5*p + 17, 2*t = -3*p + 11. Solve -4*v - p*q - 12 = 0, 2*v - 5*q - y = -10 for v.
-3
Suppose -4*w + 25 = -3*k, 2*w - w + 5*k = 12. Suppose 0 = 5*s - 3*n + 7, 0*s + 3*n = 3*s + 9. Let i = s - -2. Solve -f = i*d - d + w, 0 = -5*d - 2*f - 17 for d.
-3
Suppose 1 - 13 = -3*g. Solve -y - 7 = -3*c, c + g = -4*y + 5*c for y.
2
Suppose 0 = -5*b - 4*a + 57, 0*b + 4*a - 18 = -2*b. Solve -3*v = u + 7, -3*v + u = -u + b for v.
-3
Suppose 2*c + 1 = 7. Let s be 1/3 - 14/(-3). Solve -s*m + 22 = -5*u - m, 3*u + 3*m = c for u.
-2
Let z = 107 + -104. Solve 2*b - z = -3*v, -b + 3 = -5*v + 8 for v.
1
Let f be ((-12)/5 - -2)*-10. Suppose -2*t - f*g + 37 = 3*t, 5*t - 4*g = 13. Solve 0 = v - 4*w + 2, -2*v - 1 + 0 = -t*w for v.
2
Let n be 156/72 + (-1)/6. Suppose 3*c - 33 - 15 = 0. Suppose 5*b + 3*u - 17 = c, -2*u = -n. Solve -4*s + b*i - i = -12, -3*s - 5*i = 26 for s.
-2
Let k(i) = -i + 1. Let l(n) = -2*n + 5. Let y(m) = k(m) - l(m). Let x be y(6). Solve x*s = 3*u - 23, -s + 2*u - 14 = -0*s for s.
-4
Let g be 46 + 6/((-6)/(-3)). Suppose 9 = -m - d - 4*d, 0 = -3*m + 4*d + g. Solve -x = 2*a - 9, m = 4*x + 5*a - 10 for x.
-1
Let v = -9 + 5. Let h = v + 4. Suppose h = -f + 6*f - 10. Solve -2 = k - 4*c + f, -3*k = -5*c + 12 for k.
-4
Let l = 13 + -19. Let o(v) = v**2 + 5*v - 3. Let g be o(l). Solve 2*n = -0 + 6, g*n - 7 = 2*r for r.
1
Let v be -2 + (-2)/4*-10. Suppose 16 = i - b, -59 = -2*i - 4*b + v. Solve 3*r - 6*q - i = -3*q, -2*q = 8 for r.
3
Let h(b) = b**3 - 3*b**2 + 5*b - 4. Let w be h(2). Solve -p - w*r = -5, 0*p = p + 5*r - 11 for p.
1
Let h = -5 - -5. Solve -4*f + h*c - c = -18, -f = 5*c - 14 for f.
4
Suppose 3 + 3 = 2*u - d, u + 3*d + 11 = 0. Let a(j) = u - 3 + j - 1. Let w be a(3). Solve w*t - 1 = -i + t, 3*t + 3 = 0 for i.
0
Let c(a) = -22*a**2 + 8*a**2 + 5 - a**3 - 19*a + 19*a. Let u be c(-14). Solve -20 = -5*s + b - u, 1 = 4*s - 3*b for s.
4
Suppose 6*a - a = 60. Suppose -a - 8 = -5*q. Solve -14 = 2*r - 2*z, -q*r + 30 = -8*r + 5*z for r.
-5
Suppose k + 25 = 6*k. Suppose -w + 4*o - 16 = 0, 4*w = -w + k*o - 20. Let y = -2 - -6. Solve -f = -5*g - 11 - y, w = 2*g + f + 6 for g.
-3
Suppose 4 + 4 = 4*y. Suppose 0*u = 5*u - 15. Solve -4*z - u - 5 = -4*m, 2*m = -y*z + 4 for m.
2
Let q = 7 - -8. Suppose 0 = w - 5, 0 = 3*f - 5*w + 16. Suppose -4*s = 2*b - s + 2, -4*s = 4*b. Solve -3*c - 2*m + f*m = 10, -c = b*m + q for c.
-5
Suppose 5*u + v - 109 = 0, 3*u - 2*v - 70 = 2*v. Solve -2*a + 5*a + 2 = -p, -a - u = -5*p for a.
-2
Let w(y) = -4*y - 1. Let b be w(-1). Solve -3*z + 5*g + 30 = -8*z, b*g = -12 for z.
-2
Suppose 0*s + 5 = s. Suppose -10 = -4*z + 2*d, 2*d - 30 = -2*z - 2*d. Solve 0 = 4*c + s + 3, z*a = -4*c - 28 for a.
-4
Suppose l - 2*l - 8 = -3*i, -3*i + 16 = l. Solve -4*p - 36 = -i*y, 6 = 3*y + y + 2*p for y.
4
Suppose -2*k + 0*k = -4*j + 10, -3 = j + 5*k. Solve -2*a = j*a + 4*o - 24, -a + 3*o - 14 = 0 for a.
1
Let g(r) = r + 8. Let i be g(-5). Let c be (i + (-63)/6)*-2. Solve 9*j - 4*j = 0, -3*k - 3*j + c = 0 for k.
5
Suppose 4*z - 5*g = -7, -3*z - g + 5*g - 6 = 0. Let w = 5 - z. Solve -w*c = 3*x, -3*x - 1 - 2 = 0 for c.
1
Let a(j) = j + 4. Let u be a(0). Let h = u - 1. Suppose -4*z + 3*v = -116, -2*v - 2*v + 62 = h*z. Solve -5 = -3*d - b, 2*d - b - 4*b = z for d.
3
Let c(r) = r + 6. Let v be c(-3). Let q(b) = 4*b**2 - 2*b + 6. Let d be q(v). Let g be 19/4 - (-1)/4. Solve -4 = -2*f + 3*u, g*f + 3*u = -u - d for f.
-4
Let c(o) = -o - 2. Let y be c(-2). Suppose y = -z - 2*z + 12. Let g(k) = k**2 + 10*k + 12. Let x be g(-9). Solve -w = z*w - x*q - 34, -3*w + 24 = -3*q for w.
5
Let j = 2 + 0. Suppose -5*g + 3*g + 13 = y, 0 = -2*g + j*y + 4. Let o = 9 - g. Solve 0 = -5*c - 24 + 4, 0 = 5*r + o*c + 26 for r.
-2
Let i(p) = -p**3 - 4*p**2 - p + 3. Let t be (3/2)/(9/(-24)). Let f be i(t). Solve 5*r + f = z, -2*z = r - 4*r for z.
-3
Let z(y) = 2*y - 6. Let v be z(6). Let i be v/3 + 0 + 0. Suppose g = i*a - a - 31, g = -a + 29. Solve -5*b + b - 35 = -3*w, 0 = -3*w + 3*b + a for w.
5
Let x = 21 + -11. Solve 4*s - 5*n + 10 = -1, -3*n = s - x for s.
1
Let v be (7 - 1) + 4/(-2). Suppose 4*y - 2 = -5*a + 13, a - 3 = 2*y. Suppose 3*w - 22 - 14 = -3*t, -2*w = 0. Solve -4*p - 4*z - 16 = y, p - 5*z = v*p + t for p.
-4
Suppose -5 = 2*u - 31. Solve -r - r = 3*t - u, -r + 9 = 4*t for r.
5
Let g = 