 0 = -o + r*o + 2*w + 4, 2*w + 12 = -5*o for o.
-4
Let z(v) = -v**2 + 7*v + 4. Let w be z(7). Solve 0 = 4*y + 2*i + w - 0, -i - 3 = 3*y for y.
-1
Let k(c) = 5*c**2 - 3*c - 1. Let p be k(3). Let y(t) = -t**3 + t**2 - t + 2. Let u be y(0). Solve u*o + p = -5*b, 2*b - b = o for b.
-5
Let d(i) = i + 8. Let g be d(0). Suppose -g = -4*o + 8. Solve -3*v - 15 = -t, -o*v = -2*t + 10 + 12 for v.
-4
Let y be 2/(-8) - 20/(-16). Suppose -2*s = -5*s + 5*z + 2, 4*s = 5*z + y. Let i be (-30)/(-8) + s/(-4). Solve -i*q - q - 13 = -3*u, 3*u = 4*q + 11 for q.
-2
Let z be 4*2/24*-3. Let x be (-7 - z)/(-11 + 9). Solve 2*g + 2*d - 2 = x*d, d - 2 = 0 for g.
2
Let n = 155 - 151. Solve -n*z + 4 + 7 = 5*b, 3*z = 5*b + 17 for b.
-1
Let v = -2 - -6. Suppose -v*z + 19 = 3*l - 0*l, -2 = -2*z. Solve 2*g = -k - 3*k, 4*k - l*g = 14 for k.
1
Let a be 24/(-9)*6/(-4). Let j = a - 16. Let w = 17 + j. Solve 4*f - 4*m = -3 - 25, 4*f - w*m = -33 for f.
-2
Suppose -b + 3 - 2 = 0. Let d = -2 - b. Let r = d - -7. Solve -r*w = 0, 2*y = 3*y - 4*w + 5 for y.
-5
Let y be 2*2 - (-7 - -7). Suppose -h = y*h. Solve -1 = 4*w - 5*p + 19, -w - p + 4 = h for w.
0
Let j be (-130)/(-5) + (1 - 0). Suppose 7*u + s + j = 2*u, 2*u - 2*s = -18. Let z = -1 - u. Solve 3*c + 2*l - 3 = 0, -5*c + 5 = -0*l - z*l for c.
1
Let u = 2 - 0. Suppose 21 + 18 = 13*t. Solve 4 = -4*a + t*y, 2*a - 6 = 3*a - u*y for a.
2
Let r(j) = 1 + j**3 + 0 - 1 + 3 - 3*j**2. Let w be r(3). Suppose -a = 4*l - 10, -2*l + 8 = 3*a - l. Solve 4*q + 14 = -w*c, 2*c + a*q = -3*c for c.
2
Suppose -5*x - 16 = -4*o, 27 = 5*o - 5*x + 2. Suppose -2*j + 1 = -o. Solve j*m = -3*d - 37, -5*m = 5*d - 0*d + 45 for m.
-5
Let a(n) = 6*n. Let w be a(-2). Let h = w + 14. Solve -2*i = 5*z, 0 = h*z + 3*z - 10 for i.
-5
Let t = 0 - -9. Let p = t + -8. Let y be 2/((p - 0)/2). Solve y*u = -4*x - 8, 5*u + 9 = -6 for x.
1
Let y(c) = 7*c - 3 + 14 + c**3 + 0 - 9*c**2. Let a be y(8). Solve -a*i = -u - u + 21, 2*i + 10 = 0 for u.
3
Suppose 0 = 3*s - 4*v + 15, -4*s + 9*s - 3*v = -14. Let q be 18/9 - (s - 0). Solve 0*u = h + u, -u - q = 0 for h.
3
Let m = -51 - -71. Suppose 2*j - t + m = t, -34 = 4*j + 2*t. Let n = 13 + j. Solve 0 = -n*k + 3*d - 14, -2*k = d + 2*d + 16 for k.
-5
Let q = 3 - -6. Suppose 2*g - q = -1. Solve z - 8 = 5*t, -t + 4 = -g*z - 2 for t.
-2
Let y(n) = -n + 9. Let q be y(-5). Solve 0 = -4*v - v - t - 8, -3*t = 5*v + q for v.
-1
Suppose -13*z + 4 = -11*z. Solve -4*b = -z*c + 2, c + 5*b - 2 + 15 = 0 for c.
-3
Let h be (4 - 2)/(2/2). Solve 4*s = r - 1, -r - 3*s = -2*r + h for r.
5
Let r be 458/(-14) - (-2)/(-7). Let l be (-4)/(-22) + 6/r. Let d = 2 - l. Solve -4*h - 14 = z, -2*z - d + 14 = -2*h for z.
2
Suppose 3 = -k + 2*k. Let y = 16 - 24. Let f be (1 + 14/y)*-4. Solve 0 = -h + g - f, 2*h - k*g = -0*h - 5 for h.
-4
Suppose 0*q = q - 5. Solve 14 - 3 = -5*g - z, 32 = -4*g + q*z for g.
-3
Let y(v) = v**3 + 5*v**2 + 2*v. Let a be y(-4). Let w be (-1 + 1)/(0 + 2). Suppose 2*i + 0*i = w. Solve -4*u = 4*d - a, i = 2*d + d for u.
2
Let i(w) = -w**3 - 6*w**2 - 2*w - 8. Let d be i(-6). Solve -d*v - 4 = c, v + 20 = 4*c - v for c.
4
Let v(d) be the third derivative of d**5/60 - d**4/3 + 5*d**3/6 - 2*d**2. Let b be v(8). Solve -2*i - 5*s - 2 = 0, 2*i - 4*i = -b*s + 2 for i.
-1
Suppose 3*v - 15 = -4*d + 5, 0 = -v + 3*d - 2. Solve -5*k - 9 = -2*s, -v*k - 1 = -3*s + 2 for k.
-3
Let t(n) = 11*n**3 - 1. Let r be t(1). Solve v - 5 = -f, 4*v + 0*v + 2*f = r for v.
0
Let i(c) = c + 4 + 6*c - 3*c + 0*c. Let p be i(4). Suppose -4*y + p = y. Solve -k = 3*d - 4, 3*k + y = -0*k - d for k.
-2
Let v(i) be the second derivative of -i**4/12 - i**3/2 + 3*i**2/2 + i. Let u be v(-5). Let y = u + 7. Solve -5*j - 5*z = 0, y = 3*j - 3*z + z + 20 for j.
-4
Suppose 2*n = -4*u + 14, -4*u - 5*n + 23 = -0*n. Let m be (-2)/(-7) + 26/7. Let j be 3*15*m/18. Solve 5*h - j = p, -u*p = -7*p + 5*h - 10 for p.
0
Let a(n) = n**3 - 7*n**2 - 16*n + 8. Let m be a(9). Solve 3*o - 3*k + 17 = -10, -2*o = -4*k + m for o.
-5
Let m be 13*(4*-1 - -3). Let d = 5 - m. Solve -5*g + 2*g - 5*n - 2 = 0, -2*g + 5*n = d for g.
-4
Let d be ((-12)/(-8))/(6/16). Suppose 0*j = -d*j + 64. Let w be (-2 + j - 2) + 2. Solve -2*c + 3*c - 5 = -2*q, 2*c - 2*q + w = 0 for c.
-3
Suppose q = -2*g + 3 + 4, -5*g + 2*q = -4. Solve g*o - 2*h - 2 = -0*o, 0 = -5*o + h - 3 for o.
-1
Suppose 2*f = 2, -4*f - 420 + 4 = 5*b. Let x be (-2)/((-7)/(b/(-8))). Solve 4*p - 3*p - 4 = -l, 5*p = x*l + 4 for p.
2
Let x = 1 + 3. Solve -4*q = -v, v = x*q - v + 4 for q.
1
Suppose -15*y + 14*y = -18. Suppose 5*r - 2*m = 20, 0*r + 4*m = -r - y. Solve 5*f = 4*d + 23, r*f - 2*d - 5 = 5 for f.
3
Suppose -1 = 3*s - 4. Let b(f) = 2*f**3 + f**2. Let q be b(s). Solve -q*m = 2*m + 4*p + 1, -5*m + 2*p = 7 for m.
-1
Suppose 0 = 5*o - 2*o - 15. Solve -2*y + 0*y - 16 = -5*k, -k + o*y + 17 = 0 for k.
2
Suppose 12*w - 158 = -38. Solve -2*k + 5*c = -11 - 3, 2*c = 3*k - w for k.
2
Suppose -15*f = -17*f + 10. Solve 0 = d - 6*s + 3*s + 7, f*s - 5 = 0 for d.
-4
Let p(n) = -7*n + 3. Let i(g) = -6*g + 3. Let k(y) = 6*i(y) - 5*p(y). Let a be k(5). Let w be (-655)/(-20) - a/8. Solve z + 19 = 2*t + t, 5*t = 2*z + w for z.
-4
Let c = 5 + -2. Suppose -3*n + 13 + 16 = -5*t, 0 = c*t + 4*n. Let b be (-74)/(-14) + t/14. Solve -z - 4 = 2*q - 3*z, b*q - 10 = z for q.
3
Suppose -34*z = -33*z. Suppose 0 = r + x - 2, 2*r + 5*x + 5 + 0 = z. Solve 5*f - 40 = r*p, -3*f - p = 2*p for f.
4
Let l be 38/9 - (-2)/(-9). Suppose -7 = -4*u - 9*n + l*n, n = 2*u - 21. Suppose x - u = -x. Solve -6*v + v = 5*j + 5, -x*v = 2*j + 10 for j.
3
Let f(m) = -m**3 - 5*m**2 + 7*m + 5. Let w be f(-6). Let o be (-2)/(w/(9/6)). Let t = -6 + 19. Solve -3*v - 26 = -4*n, 5*n - 32 = -o*v - t for v.
-2
Let o(d) = -d**2 + 10*d - 6. Let x be o(9). Solve -2*m - 3*r + 12 = 0, -m + 2*r - 5 = x for m.
0
Let a(h) be the second derivative of -2/3*h**3 + 1/20*h**5 + 5/2*h**2 - 1/4*h**4 - 2*h + 0. Let p be a(4). Solve -3*l + 2*k + p = 0, 3*l = 3*k - 7*k - 1 for l.
1
Let h = 41 - 37. Solve 2*w - h*r = 14, 2*w = -r - 3*r + 6 for w.
5
Suppose -2*z - 17 = l - 6*l, -20 = -5*z. Solve -4*g - 24 = -5*x, -l*g - 1 = x - 0*x for x.
4
Suppose -5*a + 173 = 68. Solve -5*i = -3*f + 25, -2*f + a = f - 3*i for f.
5
Let f(m) = m**2 + 3*m + 4. Let y be f(-4). Let l be 0*(y/(-6))/4. Solve 3*q + 7 = -2*q + 2*b, q + 4*b - 3 = l for q.
-1
Let v = 3 + -6. Let m(x) = -x. Let a be m(v). Solve f = -4*b - 8 + 4, 0 = a*f for b.
-1
Let g(h) = -16*h. Let x be g(-1). Suppose 0 = -v - v + x. Solve -2*u - 2*l + 0 = -6, 4*l = v for u.
1
Suppose -a + 23 = -4*v, -2*a + 5*v = 6*v - 1. Solve k = -k - 4*h - 18, 12 = -a*k - 3*h for k.
1
Let s be (35/10)/7*8. Let v(j) = j - 3 + 6 - 2. Let w be v(3). Solve s*z + f + w = 4*f, 3*f = z + 10 for z.
2
Let b be 3 - (1 + -2) - 2. Solve -5*d - 7 = -2*z, z - d + b*d + 7 = 0 for z.
-4
Let q(l) = 13*l**2 - 5*l + 4. Let i be q(1). Solve h + b + 1 + 1 = 0, -i = 3*b for h.
2
Let d = -37 - -41. Solve d*y - 31 = -5*n, -3*n - 3*y + 8*y = 11 for n.
3
Let b(n) = 2*n**2 - 3*n. Let c(o) = -3*o**2 + 5*o. Let j(t) = 5*b(t) + 3*c(t). Let l be j(2). Solve -4*p + 5*s = -9, -l*p + 5*s + 13 = -p for p.
-4
Suppose 4*l = -2 + 10. Solve l*f = 2*x + 4*f - 8, 3*f = 2*x + 12 for x.
0
Suppose 4*f - 18 = -y + 3, 3*f = 2*y + 2. Suppose -q + y*n = 5, 2*n - 2 = -2*q - 0*q. Solve -r = q, 0*g + 3*g - 2*r = -9 for g.
-3
Let w = 9 + -2. Let i = w + -3. Let c = 4 - 2. Solve -3*v = -i*v, c*f = -5*v + 2 for f.
1
Let x(q) = -2*q - 4. Let i be x(-6). Solve 3*u + 4*m = i, 0*m + 22 = 5*u - 2*m for u.
4
Suppose 4*x + 1 - 21 = 0. Solve 4*o - x = -5*a, 3*a = -o - 5 + 1 for o.
5
Let q be (-4)/(-14) - 66/(-14). Let k = 6 + -4. Suppose i + 1 = 2*p - k, -2*p = 4*i + 12. Solve p = 4*o + q*z - 2*z, -4*o + 8 = z for o.
3
Let c be -2 - (4/(-2) + -1 + -1). Solve 4*z + 12 = c*h, -3 = h + 4*z + 3 for h.
2
Suppose 8*c - 9*c - 6 = 0. Let f(m) = m**3 + 0*m + 6*m**2 + 0*m**3 - 2*m. Let r be f(c). Solve -4*t = d - r, 4*t + 8 = -0*t + 4*d for t.
2
Let j(i) = 2*i**2 + 3 - 5*i - 4*i + 0*i. Let g be j(6). Solve 8*h - 3*h - g = -4*w, -9 = -5*h - w for h.
1
Let o = -5 - -5. Suppose o = 3*c + 2*c - 10. Let i be 5 + c*-1*1. Solve 0 = -5*k - 5*n + 50, -5*n = -i*k - 1 - 9 for k.
5
Suppose 0 = -d + 1 + 4. Solve n + 1 = 2*j, 3*n + 0*n = -2*j + d for n.
1
Let f = 19 - 5. Let a = f - 4. Solve 0 = -4*j