/6 - o**2/2 + 9*o. Let x be u(-3). Solve 2*h - 5*h - 5 = 4*s, 3*s - x*h = -8 for s.
-2
Suppose 8*t - 60 = 5*t. Suppose 3*p + x - 1 = -3, 5*p - 3*x - t = 0. Let c be 2 + p - (-6 - -6). Solve 3*v = 15, -c*v - 5 = -5*a + v for a.
5
Suppose -4*z + 2*j + 60 = 0, 30 - 17 = z - j. Solve 2*g - 4*a + 4 + 16 = 0, 5*g + a + z = 0 for g.
-4
Suppose -4*n - 714 + 722 = 0. Let o be (1*25)/(-2 - -3). Solve n*q - o = 5*m, -q + 20 = -4*m + q for m.
-5
Let x = 494 + -492. Solve -2*v + 5*t + 25 = 0, -t = -5*v + x*t + 34 for v.
5
Let p = -35 - -40. Let j be (4/(-2))/((-18)/27). Let w = j - -22. Solve -3*d = -p*v - 2*d + w, -d = v + 1 for v.
4
Suppose -24*b + 28*b + 5*f = 28, 2*b + 2*f = 12. Solve 5*h + 0 = j - 2, -j + b = -3*h for h.
0
Suppose 114 = 3*z - 0*z. Let t be z/(-4)*(10 + -8). Let j = 19 + t. Solve j = 2*k - 5*n - 11 - 8, -3*k + 5*n + 21 = 0 for k.
2
Suppose -2 + 6 = w. Suppose -w*z = z - 75. Solve 3*a - 3*y - z = 6*a, -3*y = 4*a + 19 for a.
-4
Suppose 0 = -4*g + 3*g + 3*j + 3, -g - 2*j = -3. Suppose 1 = 5*h - 4*h + l, 3*h + g = 3*l. Solve 3*d - 5*z + 1 + 6 = h, -5 = 2*d - 3*z for d.
-4
Let w(m) = m + 14. Let t be w(-9). Let k(i) = -i**3 + 5*i**2 + 2*i - 10. Let o be k(t). Suppose -f = -o*f. Solve 2*g - v + 8 = f, -5*v + 21 = -2*g + 5 for g.
-3
Suppose 0*t + 20 = 5*t. Let v(a) = -a**3 + 11*a**2 - 11*a + 14. Let u be v(10). Suppose -2*z = -u - 2. Solve -t = 5*o + 4*p, 0 = -o - p + 4*p + z for o.
0
Let d(q) = -q - 1. Let a be d(-5). Let v(t) = t**3 + 15*t**2 + 17*t + 58. Let o be v(-14). Solve 4*p + o = 0, -a*p + 20 = 2*f - 7*p for f.
4
Suppose 2*r + 16 = -4*j, 20 = -2*r + 3*r - 5*j. Let g be 4 + r - 8 - -8. Solve 2*q + 5 = y, 0*y - 25 = -g*q - 5*y for q.
0
Suppose 0 = 2*f - 4*f + 4. Let h = 44 - 84. Let q = 44 + h. Solve 3*w = -4*s - 29, q*w + f = -s + 5*w for s.
-5
Let z(o) = -o + 12. Let w be z(0). Let v be 5*w/80*4. Suppose 2*r = 2*f, 2*r = f + v - 0. Solve -4*q = 5*a + f, -a - 2*q - 9 = 3*q for a.
1
Let j(n) = n**2 + 3*n - 1. Let a be j(4). Let h = -7 + a. Suppose 2*i + h = 6*i. Solve r = i*k + 22, -5*r - 4*k = -2*k + 25 for r.
-3
Suppose 5*n - 120 = -3*w + w, -2*n = 3*w - 37. Suppose -z + 3*z - 3*b = 8, z - n = -4*b. Solve k + 0*k = -4*u - 1, 3*k + 5*u = -z for k.
-5
Let p(s) = s**2 + 2*s + 2. Let o be p(0). Suppose -69 = -5*a - l, -2 = 3*l + 1. Solve a = -5*z + 4*t, -z + o = t + 3 for z.
-2
Suppose -3*p - 1 = -10. Suppose 4*f + p*s - 5 = -0*s, -3*s = 3*f. Suppose 0 = -f*k + 6*k - 6. Solve -3*i = -4*z - 22, -z + k*z + 18 = -i for i.
2
Suppose 0 = 5*s - 2*g + g - 17, -3*s = 4*g - 24. Suppose -13 = -s*r + 7. Solve -2*t = -2, -f + r = f - t for f.
3
Suppose 0 = 4*v + 5*h - 16, 0 = v + 7*h - 3*h - 4. Suppose -2*g - v*g = -18. Solve 0 = -g*a - 3*c - 9, 0 = -3*c + 2 - 11 for a.
0
Let p be 10 - 6/(-4)*(-16)/(-12). Suppose -u + s = -5, 0 = 4*u + 5*s - s - p. Solve 0*v + 35 = 2*j + 5*v, u*j = v + 15 for j.
5
Let q(s) = -s**2 - 25*s + 28. Let y be q(-26). Solve y*b - 14 = -0*t - 4*t, 2 = -4*b - 2*t for b.
-3
Let n = 12 + -12. Suppose g + n*g = 0. Suppose g = 17*p - 18*p + 3. Solve 3*t + 17 = p*u + u, 4*u + t - 21 = 0 for u.
5
Let z = 261 + -261. Solve z = 3*s, 3*s + 11 = -4*v - 1 for v.
-3
Suppose -8*i = -4*i + 60. Let g be ((-16)/(-24))/((-2)/i). Let k(j) = 3*j - 1. Let x be k(2). Solve x*h - 2*u + g = 0, 2*h + 8 = -2*u + 4*u for h.
1
Let r be (-1 - -2) + 0 - 1. Suppose a - f - 4 = r, 4*f - 8 = -5*a + a. Solve 0 = l + 3*v + 4 + 1, 5*l + 7 = a*v for l.
-2
Suppose 0 = -4*q - 93 + 109. Solve 0*v = 4*y - v + 16, 0 = -5*y - q*v - 20 for y.
-4
Let m = -95 - -101. Suppose 2*j - 11 = q, -m = -2*j - 4*q - 0*q. Solve j*a + 0*v + 25 = -v, 4*a - 5*v = 9 for a.
-4
Suppose 3*a - 5*a - 2*k = 14, 5*k - 5 = 0. Let p(d) = d**3 + 7*d**2 - 9*d - 8. Let i be p(a). Solve i = -3*c - w + 1 - 14, 9 = -3*c - 3*w for c.
-5
Suppose 9 = 3*k - u, 4*u - 3*u = 2*k - 5. Suppose 15 = -w + 5*x + 42, -12 = k*w + 4*x. Solve -3*z - w = -5*j - 19, 4*j + 4*z = 12 for j.
-1
Suppose m + 13 = -3*y, -m = 4*y - 1 + 18. Let h = -93 + 95. Let f be h/(-4) - 62/y. Solve u - a + 5*a + 8 = 0, 4*u + f = a for u.
-4
Let f(d) = d**2 + 1. Let v be f(-1). Suppose -m = 4*h - 7, v*m = -2*h + 3 - 1. Solve -j - 3 = -q + 4, 2*j = -h*q - 2 for j.
-4
Let i(f) be the second derivative of f**5/20 + 7*f**4/12 + f**3 + f. Let g be i(-2). Solve p = 5*h + g, -2*p + 5*h = -4 - 7 for p.
3
Suppose k = 5*t - 24, -4*t - k + 13 + 8 = 0. Solve -t*x + 27 = -o, 2*x - 14 = 2*o - 0*x for o.
-2
Let l = -44 + 17. Let o = l - -40. Let f = -13 + o. Solve 0 = c + 2, 1 = -m - c - f*c for m.
1
Let b(y) be the third derivative of y**4/24 - 2*y**3 - 15*y**2. Let h be b(14). Solve -4*a - h*n = 6, -3*n = -a + 2*n - 7 for a.
-2
Let c be (399/95)/(1/5). Suppose -z + c = 4. Suppose 3*y - z = -y - 3*i, 5 = -5*i. Solve -s = 5*h - 1 - 1, -y*s - 3*h - 12 = 0 for s.
-3
Let a(t) = t**3 - t**2 + t + 5. Let y be a(0). Let k(h) = 75*h + 1278. Let s be k(-17). Suppose 0*l - 87 = -3*l. Solve s*n = -n + 3*c, l = -3*n - y*c for n.
-3
Let z be (-11)/(-5) - 48/(-60). Suppose 12 = 3*d - z*m, d + 4*m + 0 = 4. Solve -j + 15 = 5*c - 2*c, -d*j + 3*c = 0 for j.
3
Let u(q) = 19*q**2 - 2*q + 1. Let t be ((-6)/4)/(11/88). Let n = 13 + t. Let z be u(n). Solve o = -3*p - z, 3*o - p = -2 - 2 for o.
-3
Suppose -27*z + 52*z = 75. Solve -5*t + 3*k + 5 = -7*t, -z = t + 2*k for t.
-1
Let f = 16 + -13. Let l = f - 1. Suppose l*x - 8 = 2. Solve 2*k + x = -2*s + 5*s, -5*k = -3*s - 10 for k.
5
Suppose -7*l + 5*h = -6*l - 25, -l - 2*h = 10. Solve l = 2*j - 4*p + 2 + 8, -8 = 4*j + 4*p for j.
-3
Suppose 0 = -4*v - 0*v + 2*d + 20, 0 = v + 2*d. Solve -2*i - j - 2*j + 6 = 0, 2*j - v = 3*i for i.
0
Let v = -17 + 11. Let d be ((-2)/v)/(4/24). Suppose -r + 2*y = 3, -3*r - 4 = -5*y + d. Solve -3*x + 7 = h, r*h - 13 = -2*x + x for h.
4
Let y be -21 - (0 + (2 - 0)). Let c = 27 + y. Let v be c + (3 - 3/(-3)). Solve -4*j + 0 = 5*d - 2, -j = -3*d + v for d.
2
Let o = -9 + 7. Let d be 3 - (-20)/((-10)/o). Solve n - d*j + 3*j - 17 = 0, 3*j = 3*n - 24 for n.
5
Let o(t) = -t**2 + 12*t + 4. Let q be o(10). Let r(y) = -21*y - 2. Let w be r(-2). Let p = w - q. Solve 0*a + p = -4*a, -4*a = -2*b + 18 for b.
1
Suppose 166 = 8*k + 38. Solve 4 = -2*p, 0 = 2*c - 3*p - 0*p - k for c.
5
Let i = 464 - 456. Solve v = -5*a + 2, 0 = -4*v + a + i - 0 for v.
2
Suppose -b = b - 2. Let s be b/(1*-2 + (-15)/(-6)). Solve -5*d + 0*n + s*n = 10, 3*d + 20 = 4*n for d.
0
Let l = -1231 + 1233. Let v be (-1)/1*(0 + 0). Suppose v*a = a - 26. Solve -4*g + a = -l*k, -4*g - 5*k - 5 = g for g.
4
Let m(f) = -10*f. Let y be m(-2). Let g = 80 - 78. Let p be (5/2 + -1)/(1/g). Solve 4*s + 23 = -p*n, -6*n = -2*n + y for s.
-2
Suppose -2*a + 6 = 0, -2 = 3*o - 4*a - 5. Solve -t + 3*x + 1 - 6 = 0, 5*x - 15 = -o*t for t.
1
Let s be 2/6 + 28/6. Let y(r) = -r**2 - 11*r + 155. Let u be y(-19). Solve -s*h - 3 = 3*f + u, -10 = -5*h + 5*f for h.
0
Let c = 3426 - 3402. Let i = 8 - 6. Solve -i*p = 5*y + c, -4*p - 4*y - 26 + 2 = 0 for p.
-2
Let q be (-36)/(-4)*(-4)/(-6). Let r be (-291)/(-15) - q/15. Let g = r - 17. Solve 16 = -3*y - g*b, y - 6 + 2 = 4*b for y.
-4
Let z be 22 + -18 - (0 - -1 - 0). Solve -z*i - 6 = 0, 0*p + 1 = p + i for p.
3
Suppose -p + j + 1 = 0, 0*p - 4*j + 6 = p. Solve 4*t + 13 = p*w - 1, -t - 8 = w for w.
-3
Suppose 0 = k - 4*z, 3*k - 2*z - 1 - 9 = 0. Solve -3*u = -5*r + 11, k*u = -4*r + 5*r + 8 for r.
4
Let f be 2/(-1)*1/2. Let l be (-2)/(-5)*(f - -6). Solve -2*x - 5*i - l = 5, -1 = -3*x + 4*i for x.
-1
Suppose 3*m - 691 = 2*g + 3*g, 3*m - 692 = 4*g. Let f be 2/(-10) + m/10. Let n = f + -17. Solve i - 1 = -w, -5*i - n*w = -3*w - 11 for i.
4
Suppose 39*g = 13*g + 12*g. Solve 6 = u - r, 2*u = -g*u + 5*r + 15 for u.
5
Let v = 1260 + -1256. Solve 5*s = b - 20 + 2, 5*s + 28 = -v*b for b.
-2
Suppose 390 = 4*p + 382. Solve 3*f + 4 = -5*h, -p*f - 7 = -5*h + 4 for f.
-3
Suppose -30*d = -86*d + 1064. Solve -v - 5*p + d = 0, 0 = 4*v - 0*v - 2*p + 12 for v.
-1
Let n(z) = 13*z - 1. Let l be n(3). Suppose -4*s + 2*s + 23 = y, 0 = 2*s + 4*y - l. Solve 0 = 2*g - 3*v + 1, 0 = -5*g - v + s + 14 for g.
4
Suppose 3 = -5*w + 18, u = w - 8. Let t(g) = g**3 + 6*g**2 + 5*g + 2. Let f be t(u). Solve -2*m - 5 = h, -f = -2*h + m + 3 for h.
1
Let c be (8/(-44))/(6/(-132)). Solve -5*j - c*d = 2, -5*d = -4*j + 2*j + 19 for j.
2
Let g = -467 + 470. Solve 0 =