, -o*a - 7 = x for a.
-2
Let o be -2 - -14*(-12)/(-8). Suppose 4*n - 32 = 4*q, -5*n + 57 = -4*q + o. Solve 2*l - n = -f, 2 = l - f - 1 for l.
3
Let w(h) = h**2 - 6*h - 55. Let x be w(-5). Solve x = g + 5*b - 4, -5*b = -4*b for g.
4
Suppose 6*m + 23 = 7*m. Let t = m + -19. Solve 2 = -0*y + 4*y + n, 5*y + 3 = -t*n for y.
1
Suppose 0 = 4*n - 615 + 43. Let m = 68 - n. Let z = -41 - m. Solve 3*d = 5*s - 3, 5*s - 1 = -5*d + z for s.
3
Suppose x - 8*m + 4*m = 2, 0 = 5*x + 2*m - 10. Solve 0 = y + x*d + 8, 8 = d - 5*d for y.
-4
Let n(l) = -l + 7. Let x be ((-10)/(-6))/(4/12). Suppose 3*w - 7*w = -x*b + 45, 3*b - 5*w = 40. Let s be n(b). Solve -3*t - 12 = 0, -2*g + s = -3*t - 4 for g.
-3
Suppose -9*r = -12*r - 12. Let q = r + 6. Let o be -2*(-3 + 2)/q. Solve 0 = -3*m - 5*b - 18 + o, 0 = -4*m - 2*b - 18 for m.
-4
Suppose 0 = -x + 5 + 31. Suppose -3*r - 2*g - 145 = 2*r, -4*g = -5*r - 175. Let a = r + x. Solve 0*u = a*s - u + 20, 5*u = s - 20 for s.
-5
Let o be 3/(-9)*6*(-3)/2. Solve -4*j + 11 = -o*z, 11*j + 1 = -5*z + 9*j for z.
-1
Suppose 3*c + 4 = -5*i + 43, 5*i = -5*c + 65. Solve 4*m = -x + 2*x - c, m = -3 for x.
1
Let m(a) = a**3 - 15*a**2 + 16*a + 19. Let j be m(14). Let q = j + -34. Suppose -2*z - 3 = -q. Solve 4*c = -2*w - 3 + 15, w + z*c = 15 for w.
0
Let l be (-2 + 2)/(47 - 49). Solve 2*h + 4 = -4*v, 0 = -l*v - 4*v - 4*h for v.
-2
Let y be 74/333 + 34/9. Solve 4*i + 2*p + y = 0, -3*i = -4*i + 4*p + 17 for i.
1
Suppose 0 = -j - 3*a + 25 - 4, -j + 5*a = 11. Solve -4*h - 18 = -2*m + 4, j = -3*h for m.
5
Let b = 1 + 3. Suppose -3*t + 135 = -i, 5*t + 7*i - 225 = b*i. Let z be (18/t)/((-2)/(-10)). Solve -n + 4*l + 10 = 0, 3*l - z*l = -n for n.
2
Let l(i) = 2*i + 3. Let n(v) = -v**3 - 2*v**2 + v. Let m be n(-2). Let g be l(m). Let t be (3 + (-2 - 4))*g. Solve o = -3*s - 7, -t*s + 5*s = -3*o for o.
2
Let w(x) = -x**2 - 8*x - 12. Suppose -6 = p - 1. Let l be w(p). Let g(n) = 7*n**2. Let s be g(1). Solve 8 = v + 2*m, -2*m + s - l = 0 for v.
4
Suppose 0 = 2*w + 2*y + 3 + 3, 4*w - 2*y - 6 = 0. Suppose w = 2*u - 1 - 9. Solve -3*x - 2*b = -6, -11 = -u*x + b - 4*b for x.
4
Let n(c) = c**3 - c**2 - c + 2. Let r be n(0). Let u be (r - 4/(-2)) + 0. Suppose 2*f - u - 6 = 0. Solve f*g - 2*m + 4 = 20, g - m = 5 for g.
2
Let v(a) = -a**3 + a**2 + a + 1. Let c(w) = 2*w**3 - 4*w**2 - 4*w - 4. Let d(u) = -c(u) - 4*v(u). Let j be d(2). Solve j = -h + q - 4*q, 2*q = 2*h for h.
-4
Let k = -8 + 12. Let m be 4 + 2 + 8/k. Let s = -5 + m. Solve 0 = -s*v + v - 3*i + 12, 4*i - 16 = v for v.
0
Suppose -2*s - 11 = -o, 2*o + 0*s + 4*s = -10. Suppose -4*c = 0, -t - o*t + 60 = c. Solve 3*y - 10 = -5*u, 2*u = y - 0*y + t for u.
5
Suppose -2*v = -51 + 7. Let t be (-33)/27 + 1 + 4/18. Solve -y = 3*k + y + 21, t = -2*k - 4*y - v for k.
-5
Suppose -4*l + l = -21. Let v be l*((-54)/21)/(-3). Let s be (15/(-9) + 2)*v. Solve -4*b - 16 = -4*u + u, -s*u = 4*b + 16 for u.
0
Let m = -254 + 256. Solve 11 + 6 = -3*a - m*n, -3*a - 3*n = 18 for a.
-5
Suppose -5*z + 0*v = 2*v - 11, 4*z - 22 = 5*v. Suppose -11*q - 55 = -22*q. Solve 4*w + 12 = -3*k, 8 + 4 = q*w - z*k for w.
0
Let r(t) = t**2 + 5*t + 3. Let x be r(4). Let b = x - 39. Solve -2*a + 4*y - 2 = 0, b = 4*a - 0*y + 3*y + 26 for a.
-5
Let l(f) = 5*f**2 + f - 1. Let q be l(1). Suppose -12 - 13 = -q*m. Solve -4*n + m*g + 9 = -0*n, 5*n - 2 = -3*g for n.
1
Let j = -698 + 703. Solve 4*m - 3*t = -7*t - 8, 5*m = j*t for m.
-1
Let u = 47 - 7. Suppose 4*f = -f + u. Solve 4*n = -4*h + f, 5*h + 14 = 4*n + 6 for n.
2
Let c(l) = -l**2 - 7*l + 2. Let u be c(-6). Suppose -5*q + w = -3, -2*q + 4*w - u = -w. Solve 0 = 5*k - 19 - q, 0 = 5*y + 2*k - 3 for y.
-1
Let b be (-9)/(-3)*1 - 1. Let k be ((-18)/(-8))/(-9)*-8. Solve -6 = -2*v - k*w - 3*w, -w + b = 0 for v.
-2
Let x(i) = i - 3. Let z be x(3). Suppose 0 = 10*m - 28*m + 90. Solve 6*o - 4*o - j = 2, 5*o + j - m = z for o.
1
Let w(b) = 2*b**3 - 22*b**2 - 24*b + 2. Let q be w(12). Solve 4*k = 3*h + 8, -h + 5*k - 12 = -q for h.
0
Suppose 4*r = 5*r - 3*i, 0 = 4*r - i - 11. Solve -n + 10 - 23 = -4*g, r*g + n = 1 for g.
2
Suppose 22*f + 11*f = 8*f. Solve -5*m + 4*c = -f*c + 10, 4*m - c - 3 = 0 for m.
2
Let a be 18 + (2 - (-4 + 4)). Let n be (-66)/(-14) + (4 - 130/35). Solve -4*p + a = 0, n*p - 10 = 5*u + p for u.
2
Let t = 222 + -219. Solve -2*b - 20 = t*b + 5*s, 0 = 3*b - 2*s + 7 for b.
-3
Suppose -3*b - 5*p = 19, 8*b + 10 = 3*b - 4*p. Suppose b*x = 3*x. Solve 4*h - 4*u - 32 = x, -h + 3*u - 7 = 7*u for h.
5
Let r be (32/(-40))/(1/(-5)). Let g(c) = 2*c**2 - 8*c + 3. Let q be g(r). Solve 5*v = m + 25, q*m + 2 = 3*v + 5*m for v.
4
Suppose -110*v = -146*v + 612. Solve -4*d + 3*d + 3*j = v, -3*d + 5 = 5*j for d.
-5
Let k(c) = 2*c - 4. Let j be k(3). Let x(y) = -y + 4. Let q be x(-1). Solve 35 = j*z + 3*z - q*h, 2*h = -6 for z.
4
Let l(h) = 6*h**2 - 16*h + 15. Let z be l(1). Solve -4*i - 4*q = 9 + 7, 0 = z*i + 2*q + 23 for i.
-5
Suppose 6*h - h = 50. Let a(r) = r**3 - 11*r**2 + 13*r - 15. Let n be a(h). Solve -5*j - 17 = -4*y, -4*j + 4*y - n = -3 for j.
-5
Let n be (-121)/4 + (-24)/32. Let s = n - -33. Solve m = 5*w - w - 9, w = -s*m + 9 for w.
3
Let d(r) = -r. Let j(y) = -3*y - 5. Let x(u) = 2*d(u) - j(u). Let t be x(-2). Solve 0 = 4*v + 2*w + 24, 5*v = 2*v + t*w for v.
-4
Suppose -3*w = y - 22, -73 = -5*y + w + 85. Let c = y - 36. Let j be 0 - (2 - -1) - c. Solve 3*t = -5*d - 7, 0 = 5*t + j*d + 25 - 7 for t.
-4
Let u(r) = 3*r**2 - 5*r + 1. Let t be u(2). Solve -11 - 1 = 4*a, 0 = t*l + 5*a + 9 for l.
2
Let f(d) = -5*d - 10. Let y be f(-3). Suppose -19 + 4 = -y*s. Solve -2 = -s*a - 2*j, 0 = a - 5*j + 2*j + 3 for a.
0
Let q be ((-4)/(-5))/(4/620). Let u = q - 121. Solve 5*g - u*j = 11, -2*g - 1 + 15 = 2*j for g.
4
Let k be 2*1*(-3 + 5). Suppose 0 = -6*g + 4*g - 6. Let l(p) = -p**2 - 5*p - 2. Let s be l(g). Solve -2*y + 0*y - 6 = -s*r, 2*r + k*y + 12 = 0 for r.
0
Suppose 0 = -4*k + 6*k - 40. Let o = k + -17. Suppose -o*i - i + 12 = 0. Solve n + c = 0, n + n = -i*c for n.
0
Let v = 70 + -49. Let g be (v - 11)/(1*2). Suppose 0 = s + g*t + 4 - 3, -5*s + 15 = 5*t. Solve -6*i - 5 = 3*y - 2*i, 16 = -4*y + s*i for y.
-3
Suppose -5*o + t + 27 = 0, -5*o + t + 15 = 6*t. Let n(x) = 2*x - 10. Let l be n(o). Solve l = w - 1, 2 = -2*f + w - 3 for f.
-2
Let o(q) = 5*q - 10. Let l be o(3). Suppose -l*n = -n. Let h(r) = -3*r - 1. Let v be h(-2). Solve -4*w + v*w + 3*t - 13 = 0, n = 3*w - t + 1 for w.
1
Let a = 447 - 445. Solve 5*f + 2*b - 20 + 5 = 0, a*f + 8 = 2*b for f.
1
Suppose -2*v - 12 = -y, -y + 5*y - 4*v - 40 = 0. Solve -w = -2*k + k + 4, w - 3*k + y = 0 for w.
-2
Let n(y) = 2*y**3 - 42*y**2 + 27. Let c be n(21). Solve -u - 2*g = -12, -7 + c = 3*u + 2*g for u.
4
Suppose 36 = 9*k - 13*k. Let u be -2*k/(-6) + 7. Solve u*n - 6 = -3*g + n, -2*g - 14 = -4*n for g.
-1
Let p = 7 + -7. Suppose 3*w + 51 = 4*i + 2, w - i + 15 = p. Let g = -7 - w. Solve 2*d - 2*v = -8, 0*d - 5 = 3*d + g*v for d.
-3
Let c = 126 - 110. Solve 0 = -4*d - 3*l + 18, -c = -0*d - 4*d - 2*l for d.
3
Let p(m) = 2*m**2 - 4*m + 1. Let j be 10/(1*2)*93/155. Let n be p(j). Solve -15 = -5*h + 5*w, -5*w - n = -4*h + 3 for h.
5
Let g(u) be the third derivative of 3/8*u**4 + 8*u**2 + 1/60*u**5 + 0 + 0*u - 5/2*u**3. Let l be g(-12). Solve 0 = n + n + z - 13, -l = -4*n - z for n.
4
Suppose 8*f = 4*f + 32. Suppose 0*o + 3*o - 4*k = -34, 3*o = -3*k - 6. Let d = f + o. Solve -2*c - d*l + 11 = -3*c, -3*l = -4*c - 29 for c.
-5
Let l = -133 - -128. Let u be -2*(3/l)/(8/20). Solve -2*w - 2 = 6*i - u*i, 5*w + 12 = -4*i for i.
2
Suppose 8*j = -j + 3*j. Let v(b) = -13*b. Let c be v(j). Solve c = 2*r - 4*r - 5*i + 25, -4*r = -i + 5 for r.
0
Let q = 91 + -91. Let w = -8 - -10. Suppose w*d + q*d = a - 3, -5*d - 6 = -2*a. Solve -a*g - 5*s = 16, 4*s - 3*s - 8 = 5*g for g.
-2
Suppose 24*s = 23*s - 5*o + 18, -5*s = -2*o - 36. Solve 3*x - 14 = 4*v, -2*v + 2*x - s + 0 = 0 for v.
-2
Let f(d) = -3*d + 15. Let h be f(5). Suppose 6*i + 2*i - 240 = h. Solve -4*m = -2*s - i, 4*m + 3*s + 10 = 3*m for m.
5
Let x be (-6 - (3 + -1)) + 8. Solve -4*v - 4 = p, 2*p + x*p = -4*v - 4 for p.
0
Let s(t) = 9*t**2 - 3*t. Let h be 18/21 - ((-54)/(-14) - 4). Let b be s(h). Solve -4*o = 16, -2*l + o - b = 2*o for l.
-1
Let c = 84 + -75. Solve -m + 5*p = -c, -5*m - p + 25 = -6*p for m.
4
Let g(n) be the second derivat