 + 4*o = 8, 0 = -4*v - 2*o + n. Let z(h) = 5*h**2 + 5*h + 2. Let y be z(-2). Solve 0 = v*w + w - y for w.
4
Let w = 6 - 0. Suppose 0 = -w*d + 7*d - 2. Solve 4*p = d*p - 2 for p.
-1
Let q be 0 + (-4)/(-6)*3. Let b be (8/(-10))/(2/(-5)). Let g be (-1 - 1)*(3 + -5). Solve -g = -q*r - b for r.
1
Let b = 1 - 1. Let o = -218 + 222. Solve b = -m + o*m for m.
0
Suppose 16*y - 4*y = 60. Solve y = -2*o + 7 for o.
1
Suppose -g = b + 2 - 1, -2*b + 10 = 5*g. Suppose g*y - y - 9 = 0. Solve 4*x = 3*x + y for x.
3
Let d(l) = -5*l - 3. Let p be d(-1). Suppose 3 = -5*a + 5*j - 12, 6 = p*j. Solve m + 4 = -a*m for m.
-4
Suppose 4*y - 8*y = -4. Suppose 7 - y = 2*x. Solve 0 = x*q - 3 for q.
1
Let o be (0 + -3)/6*0. Solve 5*w - 15 = -o*w for w.
3
Let y(x) = -x**2 + 5*x - 2. Let q be y(3). Let w = q + -1. Solve -2*u - w = -u for u.
-3
Suppose 0 = 3*n + 4*k - 10, -2*k + 1 = -k. Suppose 0 = n*j - 5*j + 9. Let p be 5/(5/(-2) + j). Solve -p = l + l for l.
-5
Suppose 4*x - x = 48. Solve 3*i = 7*i + x for i.
-4
Suppose 4*m = m - 12. Let o be (-2)/m*0/1. Let a be 10/3 + (-8)/(-12). Solve a*c + o = 4 for c.
1
Let d be (-1)/(-3) - (-22)/6. Let f be 3/(6/d) + 0. Suppose -79 = -4*c - 3*j, 2*c - 74 = -f*c - 2*j. Solve 2*q - c + 6 = 0 for q.
5
Suppose 3*b + w = 4*w + 6, -2*b + 4*w + 4 = 0. Solve b*h + 8 = 4*h for h.
4
Suppose -4 = -j + r, 0*j + 16 = -j - 4*r. Let g be (-3)/9 + (-10)/(-3). Solve -x + g - 4 = j for x.
-1
Let x(n) = 2*n**2 + 9*n - 8. Let d be x(-7). Let m = -12 + d. Solve 0 = 4*j - j - m for j.
5
Suppose 5 = 2*j - 4*j - 3*s, -4*j + 10 = 2*s. Solve 0 = 5*m - 0 - j for m.
1
Let g(a) = a**3 - 4*a**2 + 1. Let c be g(4). Let i(o) be the first derivative of o**2/2 + 13*o + 1. Let d be i(-9). Solve -c - 3 = d*v for v.
-1
Let a be -3 - (-20 + -2 + 0). Solve -4*u - a = -3 for u.
-4
Let f be ((-10)/20)/((-14)/12 + 1). Solve k - 4 = f*k for k.
-2
Suppose w = -4*j + 73, j = -3*j - 2*w + 78. Let a = j + -9. Solve 3*u - 4 - a = 0 for u.
4
Suppose 2*x = -5*r - 0*r, 3*x = 4*r. Solve r = 4*q + 10 + 10 for q.
-5
Let h be (0 + 1)/(1*(-5)/(-10)). Solve -l - 3 - h = 0 for l.
-5
Suppose 10 = i - 2*v, 0 = -3*i - 5*v + 55 + 30. Let k(m) = m**2 + 8*m - 5. Let d be k(-9). Solve -d*l - l = i for l.
-4
Let v(n) = -n**3 + 7*n**2 + 5*n + 24. Let o be v(8). Solve -4*i = -o*i - 8 for i.
2
Suppose -3*n + 4*d - 5*d = -70, 0 = n + 2*d - 15. Solve 5 = -5*c + n for c.
4
Let g(y) be the second derivative of 3/2*y**2 - y + 0 - 1/6*y**3. Let p be g(-4). Solve 0 = 4*b - p - 5 for b.
3
Let t = -12 - -16. Suppose 7*f - 2*f = 45. Solve 3 = -t*b - f for b.
-3
Let i be ((-1)/(-2) - 0)*4. Suppose 4*t + 4 = -2*y - 2*y, i*y - 10 = t. Solve -1 = m + y for m.
-4
Suppose -2*o = -4, 5*j - 47 - 78 = 5*o. Solve 2 = -5*n + j for n.
5
Let c be (-2)/(-4)*(2 - 2). Suppose c = -2*f + 3*f - 4. Solve f = -5*k + 3*k for k.
-2
Let s be 30*(-1)/10*-4. Let j be 4*(27/s)/3. Let v be 2*j/6 - -4. Solve v = 6*h - h for h.
1
Let y = 7 + -5. Let g be (2 - (4 - y))/(-2). Solve x - 5*x - 8 = g for x.
-2
Suppose -t - 6 = -4*t. Solve -v - t = v for v.
-1
Let t be 50/8 + (-7)/28. Solve -l - l - t = 0 for l.
-3
Let i = -7 - -10. Let n be (-1)/(2*(-1)/6). Solve i*t = n - 15 for t.
-4
Let k = -17 - -32. Let c be (-10)/k - (-2)/3. Suppose x - 2*u - 2 = 0, 4*u - 8 = -c*u. Solve -1 + x = 5*z for z.
1
Let u be (-10)/(-4) - (-9)/(-18). Solve 0 = -u*t - 2*t for t.
0
Suppose 0 = -5*g + 4*g + 2. Suppose 2*b - 3 = -v, 3*b = -g*b + v + 25. Suppose 0 = -b*q + k + 12, 2*q + 0*q = k + 6. Solve -q*j - j - 16 = 0 for j.
-4
Let v(z) = z**3 + 4*z**2 + z - 2. Let o be v(-2). Let t = -3 + o. Let i be (3 + (-3 - t))*0. Solve i = x + 4*x - 15 for x.
3
Let q = 11 - 9. Solve 0 = -t - 0 + q for t.
2
Suppose 2*b + 1 = 7. Let t(v) = v**2 - v - 4. Let g be t(b). Solve p + g*p = 3 for p.
1
Let l be (-8)/(-2) - (-2 - -6). Solve -5*a + 5 = -l*a for a.
1
Let y be (-693)/(-28) + 2/8. Suppose 0 = 5*w + y, m - w + 2*w - 13 = 0. Solve -5*i + 3 = m for i.
-3
Let w be (2 + -1)/1 - -2. Suppose 0 = -2*p - 25*p. Solve 4*k - 9 - w = p for k.
3
Let a(t) be the third derivative of -t**4/6 + t**3/6 - 2*t**2. Let k be a(-2). Solve -i + k = -4*i for i.
-3
Suppose -i + 2*c = -5, -3*i - c = c - 7. Let b be ((-2)/(-6))/(3/9). Suppose -z + b = -0. Solve -z + i = g for g.
2
Suppose -2*b = -6*b. Let z(l) = l + 2. Let i be z(b). Solve 0 = -i*y - y + 9 for y.
3
Let n = -55 - -59. Solve 8*d = n*d + 8 for d.
2
Let o(k) = k**3 + 2*k - 5. Let p be o(2). Solve 4*r + p = -5 for r.
-3
Suppose -60 = -2*t - 3*t. Suppose t = 3*n - 0. Solve n*u - 5*u + 5 = 0 for u.
5
Let h(a) = a**2 + 6*a + 3. Let c be h(-6). Solve m = c*m + 6 for m.
-3
Let n(u) = -u**2 + 3*u. Let h be n(3). Solve -6 = 3*s - h for s.
-2
Suppose 2*g - 2*x = 10, -15 = 4*g - 8*g + 3*x. Suppose t + 4*z = -9, 0*z = -2*t + 3*z + 15. Suppose g = 2*f - t - 1. Solve -2*w + 0 = f for w.
-1
Let c = -43 + 48. Solve 1 = c*a - 4*a for a.
1
Suppose 9 + 3 = 3*p. Solve p*d + 20 = -0 for d.
-5
Let r(i) = i**2 + 2*i + 1. Let w be r(-1). Suppose 3*q + 23 = 4*v, -19 + 0 = -q - 4*v. Let j be 7 + q + 1 + -2. Solve s + j = -w for s.
-5
Let d be (-100)/(-8) - 1/2. Let k be (-3)/3*d/(-2). Let s be (-6 - -4) + 1*8. Solve s*h = 3*h - k for h.
-2
Suppose 4*i - 6*i = 3*r - 31, 5*r = -i + 61. Let h = r - 11. Solve -d - 5 = -h*d for d.
5
Suppose 0 = 4*j - 7*j + 3*m - 15, 3*j + 31 = -m. Let a(p) = -p**3 - 8*p**2 + 9*p. Let d be a(j). Suppose -4*z + d = -16. Solve z = -b + 3*b for b.
2
Suppose -3*q - 10 = -25. Solve 20 = -q*n + 5 for n.
-3
Let d(q) = q**3 - 10*q**2 - 10*q - 7. Let z be d(11). Let t be -1 - (z + -5 + -3). Solve -t*p - 25 = -8*p for p.
5
Let l be 2 - (-3 + -5)/(-4). Suppose -2*f + 0*g - g + 14 = 0, 3*f + 4*g - 31 = l. Solve f*z = 3*z for z.
0
Let l(s) = s**2 - 12*s + 22. Let i be l(10). Solve -1 = i*f + 5 for f.
-3
Let y = -14 + 21. Solve -3*i = y + 8 for i.
-5
Let l be (-3)/(1*12/(-8)). Solve -l*o = -0*o for o.
0
Let b be 6 - 5 - (-2)/(-2). Let f be 6 + b + 0/(-1). Solve -a = -f*a for a.
0
Suppose -b + 5*p - 3 = -30, 16 = 3*b - 2*p. Suppose 4*x = b*n - 28, 4*x + 7 = -n - x. Solve 2*l + 2*l + n = 0 for l.
-2
Let r = 21 + -72. Let w be (0 - 0)*17/r. Solve 3*x + 2*x - 20 = w for x.
4
Suppose 5*l - t - 18 = 0, 1 = -l - 3*t - 5. Let i be (l - (-9)/(-3))/2. Solve -2*r + 4*r = i for r.
0
Let j(h) = 4*h**2 - 2*h - 1. Let z be j(-1). Let b(f) = -9*f + 111. Let o be b(12). Solve 0 = -o*u + z - 17 for u.
-4
Let h(z) = z**2 + 2*z - 3. Let x be h(-4). Let a be 1 - (-2 - -3)*-5. Suppose -5*t + 85 = 15. Solve -a - t = x*l for l.
-4
Let v(q) = -6*q - 4. Let d be v(-4). Solve -7*t - d = -3*t for t.
-5
Let o(j) be the second derivative of -j**4/12 - j**3/3 - j**2/2 + 2*j. Let f be o(-1). Let p(l) = l**3 + l. Let t be p(f). Solve t = -0*k + 3*k for k.
0
Suppose 0 = -8*v + 6*v + 6. Solve 6 = -v*o - 3 for o.
-3
Let o(y) = -2*y**3 - 2*y**2 + y + 1. Let p be o(-2). Let g = 1 - 3. Let x be g/6*(4 + -16). Solve -x*w - 3 = -p*w for w.
1
Let z be ((-72)/(-16))/(1/2). Solve -1 = 2*t + z for t.
-5
Let h = 26 - 22. Let k = 8 - h. Solve -2*a = -a + k for a.
-4
Suppose -15 - 15 = 5*t. Let o(v) = v**2 + 5*v + 2. Let w be o(t). Suppose w = c - 12. Solve -l - 4*l = c for l.
-4
Suppose -24*w - 33 = -177. Solve -8*o = -w*o + 4 for o.
-2
Let d = 3 + -3. Suppose d = -2*w - 2*w. Solve -s = -w*s - 5 for s.
5
Suppose 5*s = 5 - 0. Let b be (-9)/(-6)*4*s. Let d(t) = -t**2 + 7*t - 3. Let g be d(b). Solve -p = g*p - 8 for p.
2
Let r = -2 + 16. Solve 5*v = r + 1 for v.
3
Let m(k) = -k. Let r(s) = -s + 8. Let y be r(8). Let v be m(y). Solve u + v = 2 for u.
2
Suppose -4*s - 100 = 5*p, 0*p = p + 2*s + 26. Let u be (p/10)/(4/(-10)). Solve -12 + u = -4*g for g.
2
Suppose -40 = -5*x + 3*w, 21 = 5*x + w + 1. Solve -4*v + x*v = 0 for v.
0
Suppose 21 = -5*u + 66. Let y(k) be the third derivative of -k**4/24 + 7*k**3/2 + k**2. Let b be y(u). Solve -2*v + 6*v + b = 0 for v.
-3
Suppose -4*v - 4 = -5*v. Solve -z + v - 3 = 0 for z.
1
Let t(q) = -3*q**3 - q**2 - q - 1. Suppose -6*h = -4*m - 2*h + 4, 0 = 3*m - 2*h - 1. Let n be t(m). Let b be ((-16)/(-20))/(2/5). Solve b*j + n*j = 20 for j.
5
Let q = 17 + 19. Let o = q - 26. Solve -5*d = -o*d - 20 for d.
-4
Let h(x) = -x**3 - 9*x**2 + 6*x + 5. Let j(k) = -4*k**3 - 37*k**2 + 23*k + 20. Let p(g) = 9*h(g) - 2*j(g). Let m be p(-8). Solve m = 2*f - 1 for f.
3
Let k(i) =