w - 0, q*f - 2 = -2*w for f.
2
Suppose 9 = -2*w + 13. Suppose 2*j - 5*t = 7*j, t = -3*j + 8. Solve 7 = -w*o + 3*i, -3*i - 2*i = j*o + 3 for o.
-2
Let m(f) = -5*f + 7 + 5*f + f - 2*f. Let s be m(7). Suppose 5*j - 5 = 0, -9 = -5*g + j - s*j. Solve g*w - 13 = -u, 0*u + 3*u = -3*w + 24 for u.
3
Suppose 3*w + 2*c = -0*c + 18, -4*w = -3*c - 7. Solve -p - 4*g = -6*p + 4, 0 = p - w*g - 4 for p.
0
Let u(n) = -n**3 + 4*n**2 - 2*n + 2. Let d be u(3). Let l be (-2 - -1)/((-2)/38). Solve -s + l = 2*s - d*t, 0 = 2*s + 3*t for s.
3
Let t(o) = 2*o**2 + 2*o + 1. Let s be t(-1). Let b be ((-8)/(-12))/(s/3). Solve v = -5*z + b*v + 3, 5*v - 10 = 0 for z.
1
Let z = -11 - -30. Solve -a - 3*a - z = 3*o, 10 = -2*o - 2*a for o.
-1
Suppose 5*n + 25 = 7*n + 3*w, 0 = 5*n - 2*w - 15. Solve -2*b - 3*z = -n, 6*b + 3*z = 3*b + 3 for b.
-2
Let l = 56 - 54. Solve 11 = y - 4*i, 5*y - 3*i = -l*i + 17 for y.
3
Let b be 4 + -2 + 0/2. Suppose 0 = -5*p - b*y + 26, 2*y = 2*p + 6*y - 4. Solve -5*l + 0*l - 2*k - 11 = 0, -k - p = 3*l for l.
-1
Suppose 0 = -5*x + 3*z, x - 2*z + 7 = -0. Solve 0 = -4*m + 2*k + 6, 0*k + 5*k = -x*m + 24 for m.
3
Let f be 0 + 13 - (6 + -4). Suppose u + f = 4*n, 50 - 19 = 3*u + 4*n. Solve -4*c + u*c + 3*d + 9 = 0, -4*c + 2*d = 8 for c.
-3
Let p(u) = u**2 + 14*u - 51. Let n be p(-17). Let b = -2 + 4. Suppose 4*a = 4*l + 20, 2*l - 2 = -0*a - a. Solve -a*g = -5*k, -2*k + n*g + 2*g = b for k.
4
Let w(h) be the second derivative of h**5/20 - h**4/6 - 5*h**3/6 + 3*h**2 + 10*h. Let f be w(3). Solve f = -4*k - 4*j + 5*j + 15, -k + 5*j - 20 = 0 for k.
5
Let n be (0 + -4)/(3/(-6)). Let t = n - 5. Suppose -t*w + w = -8. Solve -6 = -5*u + 19, -4*c = w*u - 16 for c.
-1
Let z(x) = -x**2 + 9*x - 3. Let m = -13 - -21. Let k be z(m). Solve -a - q = -5, k*q = -1 + 16 for a.
2
Let t(q) = q**2 + 2*q + 2. Let r be t(-3). Suppose -r*z + 5*i + 4 + 1 = 0, -z - 1 = -2*i. Solve -9 = -5*x - c - z, 4*x + 4*c = -8 for x.
2
Let k be (-12)/15*(-70)/(-4). Let o be (-4)/k - (-18)/(-14). Let v be o/((-2)/((-16)/(-2))). Solve 4*c = v*p + 24, -1 = -2*c - 5*p + 4 for c.
5
Let q(n) = 4*n - 15. Let l be q(5). Let j be 117/4 - (-1)/(-4). Solve u = -l*x - u + j, 0 = 5*x - 2*u - 21 for x.
5
Let s(a) = 2*a**2 - a + 1. Let r = 25 + -24. Let v be s(r). Solve 2*d + 5*w + 12 = 0, 3*w = -3*d + v*d - 8 for d.
4
Suppose x = -x - 12. Let l be ((-22)/(-4))/((-3)/x). Solve 5*y + 0*h = -2*h - l, -4*h = 12 for y.
-1
Suppose 2 = 2*m - 2. Suppose -5*c - k = k - 2, 2*c + m*k = -4. Solve -5*w - 10 = c*g, 3*g + 2*g - 4*w + 25 = 0 for g.
-5
Suppose 0 = 5*s - 57 - 78. Let q be 384/s - 4/18. Solve -2*o + 21 = 3*t, t - 2*t + q = 3*o for t.
5
Let r be 0/2 + (-2)/(-1). Suppose 18 = 3*v + 3*n, -2*v + 8 = -r*n + 3*n. Solve -z + 3*i - 4 - v = 0, z = -2*i + 9 for z.
3
Suppose -10*v + 5 = -9*v. Solve 3*h - 3*s = 3, -4*h = s - 2*s + v for h.
-2
Let o(z) be the first derivative of -z**3/3 - 4*z**2 - 9*z - 1. Let j be o(-6). Suppose 0 = -j*d + 4*d - 8. Solve -4*b = -3*p - d, -3*b - 4 = b for p.
-4
Let h = -11 + 14. Suppose -5*w + 4 = h*q, -2*w = 2*q - 7*q + 17. Solve -s + 9 = -n + 4*s, -q*s = 5*n - 11 for n.
1
Suppose 0 = 3*u - 4*u + 5. Solve u*y + w - 22 = 0, -3*y - y = -4*w - 32 for y.
5
Suppose 5*c + 2*j - 7*j = -10, -2*c + 21 = 3*j. Solve -4*z + c*x - 11 = -2*x, -4*x = -z for z.
-4
Suppose -4*p + 18 = 3*h, 16 = 4*p - h - 10. Let u = p - 2. Solve u*n + 2*b + 20 = 0, -3*n + n + 2*b = 4 for n.
-4
Let u be 106/12 + 9/54. Solve u = -3*g + 3*f, -5*g + g - 5*f + 33 = 0 for g.
2
Let f be -4 + -9*(-1)/1. Solve -u + a = 0, -f*u - 20 = -u + a for u.
-4
Let z = 39 + -19. Suppose 7*i = 2*i + z. Solve -h + u + 9 = 0, 2*h - i*u = -7*u - 2 for h.
5
Suppose -x = -2 - 2. Let r = 21 - x. Let z = r + -12. Solve 3*f - z*w + 8 = 0, 0*f - 3 = 2*f - w for f.
-1
Suppose -4*m + 97 = -u, -m + 0*u - u = -28. Solve m = -5*n, -3*h + 4*n + 35 = 2*h for h.
3
Let k = -39 + 60. Solve -2*s - 6 = -4*s, -3*m = 4*s - k for m.
3
Let g(i) = -i**3 - 6*i**2 - 6*i. Suppose 18 + 10 = -5*y - 3*j, -5*j = 3*y + 20. Let x be g(y). Solve -3*w + 2*o - 4 = 0, x*o - 4 - 6 = 3*w for w.
0
Suppose -2*t - 2*k + 16 = 0, -3*t + 5*k = 26 - 10. Solve -3*x = -3*w + 12, -4*x - t = -x for w.
3
Let y(h) = 6*h**2 + 3*h + 2. Let n = -6 - -5. Let z be y(n). Solve 5*q = -5*m, z*m - 6*m = 2*q for m.
0
Let i(c) = -c**3 - 7*c**2 - c + 7. Let q be i(-5). Let p = 63 + q. Solve 5*b + 3*d + p = -4, -b = -4*d - 8 for b.
-4
Suppose 0*h = 7*h - 35. Solve 5*r + 2*b = b - 13, 2*b - 19 = h*r for r.
-3
Let r(s) = -s**2 + 16*s - 6. Let x be r(16). Let p(a) = a**3 + 5*a**2 - 6*a + 5. Let m be p(x). Solve -2*c = m*g + 6, -3*c - 3 = 3*g + 6 for c.
-3
Suppose -3*d + k + 24 = 0, -5*d + 50 = -0*d - 5*k. Suppose -3 + d = z. Solve -3*h = x + 10, -h + 0 + z = 4*x for x.
2
Suppose -24 = -6*f - 0*f. Solve -1 + 8 = 2*i + 5*d, 0 = -4*d + f for i.
1
Suppose 3*t + l = 2*l + 31, 5*t - 53 = 2*l. Solve -4*v = 3*a - 3 - t, 0 = 5*v - 5*a - 15 for v.
3
Let h(a) be the first derivative of -a**4/4 - 2*a**3/3 - a**2 - 3*a - 2. Let t be h(-2). Let o be (1 - -1) + 2*t. Solve o*b + 4*u - 22 = 6*u, 5*u = -b for b.
5
Suppose 3*u = -2 + 5. Let r = u - -4. Suppose -3*p = -5*s + 2*p, 0 = -s - r*p + 18. Solve 2*z = s*n - 11, 2*n + 4*z = 7*n - 19 for n.
3
Let f = 8 + -5. Let b(v) = 0*v**2 - 2*v**2 - 1 - 3*v + f*v**2. Let t be b(4). Solve 2*g = -2*a - 12, 0 = 3*a + g + t + 9 for a.
-3
Let h be (-48)/(-9)*(-45)/(-3). Let p = 119 - h. Suppose 0*k + 5 = -k, p = 2*t - k. Solve 2*d - 4*v - 1 = 3, 5*d - v + t = 0 for d.
-4
Let h = -175 + 179. Solve 0 = -h*w - 8, -5*v - 4 + 15 = -3*w for v.
1
Suppose 0 = 13*a - 341 - 10. Solve 4*d = -5*w + 37, -6*d = -2*d + 3*w - a for d.
3
Let j = -16 + 20. Solve -a = 2*k - 1 + 8, -j*a = 3*k + 13 for k.
-3
Suppose 0 = -2*n + 31 + 39. Let q be ((-30)/n)/(1/(-7)). Let c = 15 + -5. Solve 2*b + c = -2*o, 3*b + 7 = -o - q for o.
-1
Suppose -7*g = -4*g - 4*t - 35, 3*t + 10 = -g. Solve b - 5*a = -2*b, -2*b - g*a = 0 for b.
0
Let t(a) = a. Let x be t(5). Suppose -3*v = 2*v. Suppose v = 2*m + 5*u - 4, 5*m - x = -4*u + 5. Solve 2*d + 2 = -2*b + d, d + 6 = m*b for b.
1
Suppose 3*r - 5 = -i + 16, 3*r - 6 = 0. Solve o - 19 = 3*y - o, 0 = 3*o - i for y.
-3
Let d = 0 + 1. Let q be -1 - (-1 - (2 + d)). Solve b - q*b = -g + 1, 3*b + 3*g = -6 for b.
-1
Let r(z) = z**3 - 3*z**2 - 5*z + 4. Let q be r(4). Solve q*f - y = 4*f + 15, y = 5*f + 12 for f.
-3
Let c(t) = t**2 + 19*t - 18. Let m be c(-20). Solve -2*f + 24 = 4*p, -m = -2*p + f + 6 for p.
5
Suppose 0 = -3*t + c + 2 + 1, -8 = -t - 2*c. Solve 4 - 1 = -t*a - 3*g, 2*a = 4*g + 18 for a.
3
Let z be 3/((-1)/(0 + -1)). Solve 4*y + 8 = -4*a, -5 + 17 = -z*y for a.
2
Let o = -8 - -10. Solve o*d + 2 = 5*a, 5*d - 30 = -a - 4*a for a.
2
Let u be (-94)/(-5) - (-1)/5. Let i(b) = b**2 + 8*b - 4. Let q be i(-8). Let f = q + 9. Solve 4*s + u = 5*j, f*s - 2*j + 11 = -0*s for s.
-1
Suppose 5*b + t = 4*b + 4, -3*t - 16 = -4*b. Suppose 0 = o - 5 - 0. Solve m - o*n + 2*n = -19, -24 = m - b*n for m.
-4
Let c(o) = o**3 + 7*o**2 + 6*o + 5. Let l be c(-6). Let f be ((-4)/(-5))/((-6)/(-15)). Solve 0 = 3*s - 0*s + l*d + 13, -f*d = s + 6 for s.
4
Suppose 3*w + 8 = 5*m - 11, w = 2*m - 7. Solve o + m*o - 2*n = -21, 5*n - 15 = 0 for o.
-5
Let j(t) = 7*t**3 - t**2 + 8*t + 4. Let q(i) = -6*i**3 - 7*i - 5. Let k(r) = -5*j(r) - 6*q(r). Let z be k(-5). Solve 0 = -l - 2*f - z - 6, -12 = -4*l + f for l.
2
Let j(o) = o**2 + o. Suppose -5 + 15 = -2*s. Let v = -2 - s. Let n be j(v). Solve -3*l - 2 = -y, 0 = -4*l + 2*l - 2*y - n for l.
-2
Let n be (-2)/(-9) - 10/45. Solve -6*o = 4*k - 2*o, -3*k - 5*o - 2 = n for k.
1
Suppose 0 = 5*n + 10, 3*t - 4*n = 8*t - 27. Let u = t + -3. Solve 0*v + 6 = -v - 4*s, 3*v + 5*s = -u for v.
2
Let c = 5 - 2. Let h(q) = -q**3 + 3*q**2 + 12*q - 12. Let a be h(4). Suppose t - a = -c*t. Solve -4*g + d + 0 = 17, t*d = 2*g + 31 for g.
-3
Let j = -2 + 8. Let z be 6/4*(4 - -2). Let l = z - j. Solve -l*v = -4*g + 6*g - 5, -4*v + 5*g - 24 = 0 for v.
-1
Let h(g) = g**3 - 2*g**2 - 2*g - 1. Let z be h(3). Suppose -2*t - i = 2*i - 16, -2*t = -i. Suppose 0 = -t*u + 4 + z. Solve -u = -3*x - l + 5, 4*l = x - 7 for x.
3
Let x be (-4)/(4/(-7)) - 3. Solve 0*v + 2*v + 27 = 5*t, -3*t = x*v - 11 for v.
-1
Let u = 3 - 8. Let s = 7 + -2. Let k = u + s. Solve -4 = 3*h + 4*j + 10, k = 2*h + 3*j + 11 for h.
2
Let k 