 a = 22 + -22. Solve a = -b*m + 2*u - f, -4*u + 4 = -5*m - u for m.
-2
Let s be (57 - 1)/4 + -2. Solve s = 3*d + 4*p, 3 = -5*d - 5*p + 23 for d.
4
Suppose -3*z - 15 = -3*s, 9*s = 4*s + z + 13. Solve s*o + 0*o + 5*x - 25 = 0, -2*o + 1 = -3*x for o.
5
Suppose -3*n - 116 = -4*d, 4*n - 4*d + 0*d = -160. Let r(t) = t - 11. Let m be r(8). Let s = m - n. Solve 0 = 5*k + 4*a + 9, 7*a - s = 5*k + 3*a for k.
-5
Let h(f) = 2*f - 3. Let n be h(3). Let l be 151/n - 6/18. Let r be l/15 + 2/3. Solve -i - 8 = -d, 0*i + d = -3*i - r for i.
-3
Let o(r) be the first derivative of r**2/2 + 8*r + 2. Let f be o(-6). Suppose -q = f*q - 9. Solve -l = k - q + 2, l - 9 = k for l.
5
Suppose 0 = 3*z + 2 - 8. Solve z*g - 3 = c, -4*g + 4 = -c - 3*c for g.
2
Let q(n) = n**2 - 3*n - 2. Let g be q(4). Suppose -5*i + 68 - 43 = 0. Solve -2*x - 12 = 4*f, 3*x - 27 = -g*f + i*f for x.
4
Suppose -4*n + 0*c + 3*c - 8 = 0, -3*n - 5*c = -23. Let d be 5/(0 - (1 + -2)). Solve t + 15 = -d*j, t - n = 3*j + 8 for j.
-3
Suppose 2*p - 10*p + 24 = 0. Solve 4 = -2*h + 2*i, -i - p + 4 = 0 for h.
-1
Let z be (1 - 0)/(14/70). Solve -3 = -k - 6, 0 = z*o - 3*k - 4 for o.
-1
Suppose 233 = 4*m - 3*o - 196, -5*m + 534 = -3*o. Suppose -2*f = -7*f + m. Solve -4*n - 2 = -14, 5*n - f = -3*d for d.
2
Suppose -5*j - 25 = -3*f, -4*f + 5 - 20 = 3*j. Let t(a) = -a**2 - 6*a - 3. Let p be t(j). Solve -35 = -p*o + 5*k, -3*o + 2*k = 6*k + 5 for o.
5
Suppose 3 = 4*b - 13. Solve 0 = -5*f + 3*y - b - 5, 4*f + 9 = 3*y for f.
0
Suppose 3*f = 20 + 10. Suppose u + 14 = 3*u. Let a = f - u. Solve 5*p + 20 = 4*d, -4*p = -0*d - a*d + 16 for d.
0
Let b(f) = -2*f - 8. Let t be b(-8). Solve t = -3*r - 2*i, i = 5*r - 8 + 30 for r.
-4
Let o = 2 + -7. Let a be 1 - -1 - 465/o. Suppose 3*r - a = -4*p - 2*r, -83 = -4*p - r. Solve 5*i + 16 + 9 = -5*v, -4*v - p = i for i.
0
Let i be (78/18)/((-1)/(-9)). Suppose -2*n = 3*w - i, 4*n - 4*w = -9*w + 79. Solve -5*c + 2*g + 0*g = 5, c = -4*g + n for c.
1
Suppose 0 = -2*c - 3*c + 15. Solve c*g = -4*p - 28, -3*g - 10 = 3*p + 14 for g.
-4
Suppose i + 2*y = 0, -2*y + 7 - 19 = -5*i. Solve -q + 4 = -i*q, 2*v + q + 2 = 0 for v.
1
Let w(h) = h**3 + 6*h**2 - h - 4. Let f(j) = j**3 + 8*j**2 - 6. Let k be f(-8). Let l be w(k). Solve 10 = -4*v + 5*m + 50, 7 = 3*v + l*m for v.
5
Let f = 2 - 0. Let v be (-3 - -2)*1 + 4. Suppose -2*c = -1 - v. Solve f*p + r = -1 - c, 0 = p + 3*r - 1 for p.
-2
Let u = 1 + -1. Let n be ((-36)/(-6))/(3/2). Suppose 3*r = -2*m - 0*r + 10, 2*m - 12 = -n*r. Solve -2*a - 2 = u, 4*h - m*h - 4 = -4*a for h.
4
Let x = 0 - -2. Solve g + 0*g - x = -2*q, -5*g - 2*q + 10 = 0 for g.
2
Suppose -3*f = -4*f. Solve 2*j - 16 + 4 = 5*a, f = -a + 3*j + 8 for a.
-4
Let z be -3 + 2/(-4)*-12. Solve -z*d - 5*q = 15, -d + 0*d = -4*q + 5 for d.
-5
Let w(d) = -d**3 + 10*d**2 + d - 7. Let b be w(10). Solve b*g = -p + 4*p - 3, 0 = 4*p - 16 for g.
3
Let q = -3 - -3. Solve 2*g + 4 = q, 5*u + 3*g + 26 = -0*u for u.
-4
Suppose -4*l = 3*k - 17, 3*k - 49 = -0*k + 4*l. Solve 2*v + 5 = 3*b - 0*b, -k = 2*v - 5*b for v.
2
Let r be 7/21 + (5/(-3))/(-1). Let s be 5 - (0/1)/(-1). Solve -x = -3*n + 8, -r*n - s*x = -x - 10 for n.
3
Let r = 22 + -19. Solve -f - 2 = -r*w, 1 + 3 = -4*w for f.
-5
Let u be -3*2/(4/6). Let j be -3*21/u - 2. Solve j*h - 6 = -3*o, o = 3*h + 4*o for h.
3
Let b = 71 - 26. Let p be (-12)/(-10)*b/18. Solve -2*g + p*n - 7 = 0, -5*n + 13 = -0*g - 4*g for g.
-2
Suppose 0 = -5*j - 3*z + 15, -j + z + 6 = j. Let b = 3 + -4. Let q = b - -3. Solve -5*x + 3*t = 0, 0 = q*x + j*x + 2*t for x.
0
Let m be -11 - -13 - (-1 + 0). Suppose 0 = -m*u - 2*u + 75. Solve -3*d = u, i + 2*i - 2*d + 5 = 0 for i.
-5
Let m = -105 - -109. Solve -5*z - s = -9 + 2, 8 = -2*z - m*s for z.
2
Let v be 6 - (-3 - -7 - 1). Let l = 0 - -5. Solve 3*s - l*w - 5 = 0, 4*s + v*w + 12 = 5*w for s.
-5
Suppose -4*c - 4 - 4 = 0, -g = 5*c + 8. Suppose -59 = -g*q + 4*p - p, -5 = -p. Solve -3*f - q = 3*t - 8*t, -5*f - 30 = -2*t for f.
-4
Let s be -1 - 3 - (0 - -2). Let l = s + -12. Let y = -6 - l. Solve 5 = m + 5*z - y, 1 = -m + z for m.
2
Let l = -4 - -6. Let o(k) = 0 - 3*k - 5*k - 1 + 6*k**l + k**3. Let c be o(-7). Solve -b + 1 = 0, 5*z + 4*b - 35 + c = 0 for z.
5
Let k be -3 + 2*-3*(-1)/2. Solve j = -2*w + 5*w, -w - 4*j = k for w.
0
Suppose 0*z - 6 = -2*z. Solve -16 = z*n - 4*g, 4*n + g + 4*g - 20 = 0 for n.
0
Let m(j) be the first derivative of j**2/2 + 7*j - 6. Let n be m(-4). Let d be (3/(-2))/(6/(-8)). Solve 1 = -n*k + 2*c, d*c = k + 4*c - 5 for k.
1
Suppose 3*g + 3*q - 1 = 4*q, 5*g = -3*q + 25. Let u be g*(-3)/(-12)*10. Solve 0 = -x + 2*c + 2, -3 = 3*x + u*c + 13 for x.
-2
Let o be 1/(5/25*1). Solve w + o*u + 21 = 0, 3*u - 5 = -2*w - 19 for w.
-1
Suppose -27 = 3*l - 6. Let j(a) = -a**3 - 7*a**2 + 6. Let w be j(l). Solve w*x + 3*y + 30 = 3*x, 0 = -x - 5*y - 30 for x.
-5
Suppose 4*l - 3 - 9 = 0. Let y be 1/3 + (-2)/6. Let g be 0 - 1 - -4 - y. Solve n + 4 = 4*a - 1, 3*a + l = g*n for n.
3
Let f(n) = -n**3 - 5*n**2 - 4*n + 3. Let w be f(-4). Solve h + 20 = -w*h, 30 = 5*g - 5*h for g.
1
Let p = 6 - 1. Solve -2*m = -3*c - 17, -5 = -0*m - 5*m - p*c for m.
4
Let l be (-6)/(1 - (-21)/(-12)). Let a(v) = -v**3 + 8*v**2. Let d be a(l). Suppose -2*s - 2*s = d. Solve s = 3*h - c - 2, -13 - 10 = 3*h + 4*c for h.
-1
Let i(v) = -v**2 - 4*v + 1. Let n be i(-2). Solve 0 = 3*t - 2*c - 8, 0*c = -n*c + 10 for t.
4
Suppose -2*x = -x - v - 4, -5*x = 5*v - 70. Suppose 3*d = -0 + x. Solve 20 = d*y - 5*a, -3*y - a = 6 - 2 for y.
0
Let i(k) = k**2 + 7*k + 8. Let x be i(-6). Let f(o) = 2 + 0 + 2*o + 3*o. Let b be f(x). Solve -3*q = 2*a + a + b, 4*a = -4 for q.
-3
Suppose f - d = 0, -5*f + 3*d + 10 - 4 = 0. Solve -3*c - 3 + 12 = 0, -s + f*c - 5 = 0 for s.
4
Suppose -69 = -v - 2*v. Solve z + 10 = -5*r, -2*z - 3*r - v = 2*z for z.
-5
Let m(g) = 5*g - 20. Let z be m(5). Solve -z = x - 5*w, 6*w - 5 = w for x.
0
Suppose 0 = 127*x - 121*x. Solve 2 = -4*n + 3*s + 17, x = -4*n + 5*s + 17 for n.
3
Let z(n) = n**2 + n - 5. Suppose t + 4 = -1. Let c be z(t). Solve -3*i + k = i + c, -i - k - 10 = 0 for i.
-5
Let v = 9 + 7. Let f(n) = 4*n**3 - n**2 + n. Let i = 11 + -10. Let h be f(i). Solve 4*k - 3*o + 6 = 6*k, h*k = o - v for k.
-3
Suppose 5 = -o + 3*x, 2*o - 3*x + 3 = 5. Let l = 7 + -3. Solve 7 = -5*m - 3*p + p, 3*m + o = -l*p for m.
-1
Suppose 23 + 2 = 5*b, -4*k = -b + 33. Let d be 10/4 + k/14. Solve -2*p + d*g - 6 = 0, 4*p + 2*g + 24 = -0*p for p.
-5
Suppose 2*o + 0*o - 26 = 0. Let m = o - 11. Solve l = m*d - 5 - 2, 0 = -2*l + d - 8 for l.
-3
Let i(z) = -z - 4. Let l be i(-4). Suppose 2*q + 2*b - b = l, 4*q + b - 4 = 0. Solve -m = -1, 1 - q = 2*f + 3*m for f.
-2
Suppose 3*c - 7*c = -68. Let v = c + -13. Solve -4*d + d - 2*y = v, 2*d + y + 2 = 0 for d.
0
Suppose 2*j = 8, -11 = -3*t + 2*j + 2. Let i be t + -6*(-1)/(-2). Solve -6 = l + o, 4*l - i*o = 3 + 5 for l.
-2
Let a be 2 + -3 + -1 - -10. Suppose 2*y = 3*c - 47, 2*c = y + a + 23. Solve -2*d - h + 3 = -0, -5*d + c = h for d.
4
Suppose -5*a = -2*a - 9. Let w(b) = -7*b**3 + 0*b**2 + 6*b**3 - 4 + 3*b - b**2. Let d be w(-3). Solve 2*u + 0 - 4 = -3*p, -d*p + a*u + 13 = 0 for p.
2
Suppose 0 = 5*q + 14 - 54. Solve -4*r + 4*i - q = 0, -3*i - 5 = r + 1 for r.
-3
Let r(p) = -p + 7. Let i be 21*-1*(-1)/3. Let x be r(i). Solve -12 = -4*g - x*g, -2*g + 31 = 5*y for y.
5
Suppose -3*a - 5*k = -2*k - 12, 0 = 5*a - k + 4. Suppose -n = -4 - a. Solve -n*i - i = -3*m + 12, -5*m + 20 = i for m.
4
Let s = 20 - 14. Solve -3*v + 3*p = -24, 3*v - 4*p + s = 34 for v.
4
Let x = -20 - -23. Solve -2*a - x = -2*s + 9, 0 = -2*s + 5*a + 27 for s.
1
Let y(n) = 6*n. Let z be y(4). Solve z = -4*i - 2*v, 4*i + 12 = 2*v + 2*v for i.
-5
Let u(z) = -z**2 + 7*z - 6. Let h be u(5). Solve -h*f - 2*r + 1 = 3, f = -3*r - 8 for f.
1
Let c be (-4)/(-6) + (-60)/(-45). Suppose 3*x + 5*n = 26, -3*x + 0*n + 14 = c*n. Solve 0 = 2*w + 4*h - 3*h - 4, 8 = -x*h for w.
4
Let w = -7 + -2. Let r be w/6*8/(-4). Solve -3*p + 5*h = -15, -8*p = -r*p + 5*h + 15 for p.
0
Let r be 28/6 + 4/(-6). Let p be (-12)/18 + 1/(-3). Let h be 11 - 3*p/(-3). Solve 0*v + 2*v + h = -r*z, 0 = -5*v + z - 14 for v.
-3
Let n be ((-16)/20)/((-2)/5). Solve -4*a = -7*a + n*x - 3, -5*x - 3 = -4*a for a.
-3
Let x(a) = a**2 + 6*a + 6. Let d be x(-5). Let r be 2/(-6)*(-6)/d. Solve 5*h - 2*k = -13, r*h = -4*k 