 3 = 2*f - 4*x, 3*f = -5*x - s for f.
-5
Let m(k) = -k**3 - 6*k**2 - 4*k - 6. Let l be m(-6). Let x = l + -3. Solve -2*s = 3*q - 9, -3*q + x = -s - 3 for s.
-3
Let h(m) = m**2 - 8*m + 2. Let d be (-11 - -1)*(-12)/15. Let a be h(d). Solve -3*v - 15 = n, a*v + 10 = 2*n + 2*n for n.
0
Let c = -120 - -123. Solve -c*g + 12 = y, 2*g - 4*y = -3*g + 20 for g.
4
Suppose -4*b + 10 + 23 = f, 0 = -3*b + 4*f + 1. Let u = 4 + 0. Solve 4 = -4*y + u*n, -4*y + 2*n = y - b for y.
3
Let u be 6/(-8) + (-55)/(-4). Suppose 3*o - 24 = -9. Solve 0 = 5*l - n - 4*n - o, 2*n - u = -l for l.
5
Let p(j) = -j**2 + 6*j - 3. Let w be p(5). Let y(c) = 5*c + 4 - c**w - 2 + 1. Let s be y(5). Solve 4*g + s*k - 1 = 0, 0 = -3*k - 0 + 9 for g.
-2
Let t be (-7 + (-176)/(-24))/(2/24). Let z(f) = f**3 + 5*f**2 - 4*f. Let c be z(-5). Solve -c = -2*l - t*u, 0*l - u + 5 = -3*l for l.
0
Let m(u) = u - 2. Let b be m(6). Suppose 2*p - 6*p = -12. Let w(q) = q**3 - 8*q**2 + 6*q + 10. Let i be w(7). Solve -h - 4 = h + b*v, -p*v = 3*h + i for h.
0
Let k(x) = -x**2 + 2. Let o be k(3). Let v(j) = j**3 + 8*j**2 + 7*j + 4. Let m be v(o). Solve q - m*t = -2*t + 8, -2*t = -3*q + 4 for q.
-2
Suppose 2*j = 6*j - 12. Suppose 0*w - w - 4*x - j = 0, 3 = 2*w - x. Solve -2*a - w = -l, -a = -4*a - 2*l - 5 for a.
-1
Let a be (12/7)/((-3)/(-21)). Suppose 9 = -2*l + 8*f - 3*f, 4*f = a. Let p be (3 + -3 + 1)*1. Solve l*n + 4*d + p = -0*d, 2*d = 5*n + 19 for n.
-3
Suppose 2*d - 13 = -3. Solve -4 = -2*z, -5*h + d = -4*z + 13 for h.
0
Let n = -6 + 14. Suppose 4*w + 0*w - n = -5*o, -4 = -2*w + 2*o. Solve 3*p - w*h = -11, -p - 4 = -0*h - h for p.
-3
Let l be (-3 - -8)*5/(-10)*-4. Solve 5*i = -g - l, 2*g = 1 + 9 for i.
-3
Let r = 6 + -8. Let n = 3 - r. Let l(g) = -g**3 + 5*g**2 - 3*g + 4. Let z be l(3). Solve 4*v + x = -z, 2*v + 3*x = n*x - 14 for v.
-4
Let t be (6/(-4))/((-18)/264). Solve 5*l + 0*l - 13 = 4*a, 5*l = a + t for l.
5
Let w = -12 + 15. Solve b - 8 = 2*d, w*d - 2*b + 12 = b for d.
-4
Suppose 2*j = -2 + 6. Suppose 3*m + 5*k + 9 = 0, -5*m + k + 15 = j. Solve -c + 10 = c - m*y, -2*c - y + 7 = 0 for c.
4
Let g(n) = 7*n. Let v(f) = f. Let b(j) = -g(j) + 6*v(j). Let q be b(-4). Solve -q*i - 5*h = -0*h + 10, -21 = 5*i + 2*h for i.
-5
Let p = 82 - 55. Let g = p + -18. Solve -5*h = j + 29, -1 = -2*j - g for h.
-5
Let a(n) = n**3 + n - 13. Let m be a(0). Let g be -3*m/3 + -2. Solve -3*b - g = -y, -4*b - 11 = -y + 4 for y.
-1
Let n(w) = w + 3. Let k(f) = -f**2 + 1. Let z be k(-1). Suppose z = -g - 4*g - 15. Let d be n(g). Solve 4*t - 5*m - 8 - 12 = 0, d = 3*t - 4*m - 15 for t.
5
Let a be 20/(-6) - -4 - (-57)/9. Solve -3*z = -8*z - 4*v + 31, 5*z - 2*v - a = 0 for z.
3
Let s = -3 + 3. Solve 3*x - 3*j - 18 = s, -2*j + 2 = 3*x + 9 for x.
1
Let s(h) = 4 + 12*h + 2 + h**3 - 4*h - 2 + 6*h**2. Let p be s(-4). Solve -p*k + 22 = -2*c, -4*c + 21 = 5*k - 0*k for k.
5
Let h(z) = z**2 + 8*z + 7. Let j be h(-7). Let u = 48 + -42. Suppose 5*l - 26 = r + 2, j = 2*r + u. Solve 3*p = -l - 1, 0 = 4*q - 5*p - 6 for q.
-1
Let o = -147 - -152. Solve -4*d - j + 24 = j, 0 = -o*d - 2*j + 29 for d.
5
Let p be -2 - ((-3)/1 - 2). Let m(w) = w**3 - 5*w**2 - w - 1. Let k be m(5). Let g be (84/(-70))/(k/20). Solve -3*b + 8*b - o - 14 = 0, -p*b - g*o = -13 for b.
3
Suppose 0 = -6*w + 2*w - 3*y + 78, -13 = -w - 4*y. Suppose 0*h + 3*h - w = 0. Solve 0 = 5*j - 2*g - 19, 3*j + h = 6*j + g for j.
3
Suppose -2*u - 31 + 39 = 0. Solve -4*d - 16 = 0, 5*d = -0*y + u*y - 20 for y.
0
Suppose -30 = z + 2*z. Let s be (-16)/z*10/4. Solve -s*v + 6*a - a - 3 = 0, v - 6 = -a for v.
3
Let q = 29 - 24. Solve -y + 2*i + 11 - 2 = 0, -i + 1 = q*y for y.
1
Let j = -27 + 35. Let a be (-15)/10*(-8)/6. Solve 10 = 2*q + 3*s, 2*s + j = 2*q - a for q.
5
Suppose 3*n + 4*z = 87, -3*z = -3*n + 2*z + 60. Let v be (3/2)/(0 - 3/(-10)). Solve m + 4*m = -v*t - n, -2*m - 18 = 4*t for m.
-1
Suppose 0 = 2*h + 18*v - 22*v, -3*v - 5 = -4*h. Suppose -2*r + 3 = -3. Solve 0 = -r*u + h*s - 7, 4*s - 10 - 9 = u for u.
1
Let z = -1 - -3. Suppose -z*t + 4*l = -6, 6*l - 3*l = -5*t + 15. Solve -t*x = i + 3*i - 22, -3*i + 12 = 0 for x.
2
Let j = 130 + -128. Solve 2 = -u, 2*o - 5*u = -j*u + 14 for o.
4
Let o(c) be the first derivative of c**4/4 + 2*c**3 - 3*c**2 + 10*c - 1. Let a be o(-7). Solve 3 = -4*l + p - 3, 5*l + a = -p for l.
-1
Let r = 13 + -8. Suppose -4*l + k = -3*l, -3*l + r*k = 6. Solve -l*d = -2*t - 13, 3 - 8 = -3*d - 2*t for d.
3
Let u be -1 - (4 + -3 + -1). Let v be (3/5)/(u/(-5)). Suppose o + v*o - 16 = 0. Solve -o*j = g + g + 24, 20 = -5*g - 2*j for g.
-2
Let h(n) = n**3 - n**2 - 2*n + 2. Let o be h(0). Solve -3*u + 3*j = 0, -8*j + 4*j = -o*u + 8 for u.
-4
Let z be 2/(-7) - (-16)/7. Let a be (-3)/(-2 + 3 + -2). Suppose 0*b + a*b - 6 = 0. Solve -z*i + 33 = -5*p - b, 0 = -4*i + 5*p + 45 for i.
5
Let n be ((-24)/(-2))/(-4) - -3. Suppose -f - 2*f = n. Solve 5*k - 4 = r, -5*r - 2 + 7 = f for k.
1
Let w(q) = q - 1. Let u be w(6). Solve 0 = u*b + d + 5, 0*b - 4*b - 15 = 3*d for b.
0
Let g(m) = -m**3 - 3*m**2 + 2*m + 1. Let r be g(-4). Let v = r - 4. Let w be (-4)/(-5 + 37) - (-5)/40. Solve j - 9 = -v*u, 4*u + 2 - 6 = w for j.
4
Let k(t) = t**2 - 12*t - 12. Let w be k(13). Suppose 23 = d - 5*y, -3*y - 4 = 3*d - w. Solve -h - 2*h + 12 = -d*u, -5*u = 5*h - 10 for h.
3
Let d = -32 + 39. Solve -3*x = 3, 2*x - d*x - 6 = -g for g.
1
Let m(b) be the third derivative of b**5/60 - 7*b**4/24 + b**3/3 + 2*b**2. Let r be m(9). Solve -8*c - r = -3*c, 2*g = 5*c + 14 for g.
-3
Let h be (-158)/(-14) + 4/(-14). Solve 0 = -5*b - 3*c + 29 + h, 10 = -2*b + 4*c for b.
5
Suppose -2*d = 2*l + 2, -4*d = -5*l - 2*d - 19. Let z be l - (2 + -3 + -2). Let y be 0 + ((-16)/1)/(-2). Solve -p + y = g - z, 4 = g for p.
4
Let l be (10/3)/((-30)/(-45)). Solve -4*a = l*u + 19, -a + 0*u + 5*u = -14 for a.
-1
Suppose 0 = -10*x + 14*x - 16. Solve 0 = -x*v - a + 2*a + 13, 2*a = -v + 1 for v.
3
Suppose 4*g + 0 - 4 = 0. Let m = g - -3. Solve 0*l + 2*z = -l - 8, 4*l + m*z + 20 = 0 for l.
-2
Let y be (5 + 0 - -4) + -4. Solve u + q + 0*q = -5, 25 = -3*u - y*q for u.
0
Let a = -16 + 18. Solve -a*r + 1 = 5*t - 9, -r = -5*t + 10 for t.
2
Let f be 2 + 0 + 0 + -2. Suppose -3*n = -5*o + 88, -4 = -n - f*n. Let v(c) = 5*c - 6. Let p be v(5). Solve -6 = -x + 5*g + p, 0 = -4*x - 4*g - o for x.
0
Let z be (-4)/12*(-6 + 3). Suppose 2*h - z = 9. Solve 0 = -2*c - 3*i - 8, -c + h*i + 24 = c for c.
2
Suppose -x = 3*j + 1, 5*j + 28 = 3*x + 3. Solve 3*i = 4*l + 16, i = 5*l + 4 + x for i.
4
Let o = -5 + 8. Let g = -1 + o. Solve -3*m = p - g*m, 5*m = -3*p - 2 for p.
1
Let n(k) be the first derivative of k**3/3 - 4*k**2 + 5*k - 2. Let p be 2/(-4) - 51/(-6). Let r be n(p). Solve 0 = r*s + 2*o + 18, 8 = -4*o + 2*o for s.
-2
Let m be (-4)/(-6)*(-6)/(-4). Solve 0 = -4*k - d - 4, 4*d + 3 = -2*k + m for k.
-1
Suppose 0 = 5*x - 28 + 3. Suppose 2*a + 3*y - 14 = -5, x*a = -y + 42. Solve -2*i = 2*i - 2*z + 6, -a = -4*i + 5*z for i.
-4
Let r(u) = -u**2 - 11*u - 16. Let z be r(-9). Solve 3*b + 7 = 2*d - d, -5*b = z*d - 3 for d.
4
Let f be (2 - 3)*-3 + 1. Suppose -f*h + 3*r = r - 56, -3*r - 39 = -3*h. Solve -w = 5*c - 7, 2*c + 3*c = -5*w + h for w.
2
Let o = -88 - -93. Solve 0 = -b - r - 2, -5*b + 0*r = 4*r + o for b.
3
Let s(n) = -2*n + 2. Let d be s(2). Let b be 4*(5 + d - 2). Solve a - 3 = b*a, -2 = -j - 2*a for j.
4
Let k(d) = -3*d**3 - 4*d**3 + d + d**2 + 6*d**3 + 2*d**2. Let i be k(3). Solve 0*v - 9 = x - 3*v, i*x - v + 3 = 0 for x.
0
Let t be (-6 - -6)/((-4)/(-2)). Solve 4*q - 4*c + 3*c = -21, t = -q + 5*c - 10 for q.
-5
Suppose 7*q + 3 = 4*q. Let t = q + 4. Solve 4*v - t*l = l - 12, 5*v + 5*l - 5 = 0 for v.
-1
Suppose 5*c + 3*k = 13, c - 4*k + 6*k = -3. Solve 45 = c*m - 4*b, 0 = -3*b + 5 - 20 for m.
5
Suppose 3*f - 5*p + 22 = 0, -p = -5*f + 2*p - 10. Suppose f + 3 = b. Suppose -u = -4, 9*s - b*s - 6 = u. Solve t - 12 = -5*h, s*t + h = -3*h + 12 for t.
2
Let d(u) = -6*u**2 - 2*u + 1. Let t(n) = -7*n**2 - n. Let l(p) = 6*d(p) - 5*t(p). Let x be l(-7). Solve 4*o = v - o + 2, 0 = -3*v + o - x for v.
-2
Let g(y) = -208*y**2 + 2*y - 1. Let w be g(-2). Let p be w/(-45) + (-2)/(-5). Solve 0 = -2*j + 10, 3*m - 5*j + p = -9 for m.
-1
Let i(c) = c**3 + 11*c**2 + 9*c - 7. Let u(v) = -v**3 - 5*v**2 - 3*v - 1. Let x be u(-3). Let p be i(x). Solve p*r + 1 = -5*n + 11, 5*n 