
Let j = -20 + 22. Solve 0 = -p, j*p = -5*x + 3*p for x.
0
Let v(f) = f**3 - f**2 - f + 5. Let y be v(0). Solve -2*t + 0*t = -4*j - 8, y*t = 2*j - 12 for j.
-4
Suppose -2*m + 25 = 3*m, 2*v = -5*m + 19. Let l be (-3)/v - -4 - 3. Solve 3*b + 4*y = -19, -10 = 2*b - 0*y + l*y for b.
-1
Let q(w) = w**3 + 10*w**2 - 17*w - 63. Let h be q(-11). Solve -27 = 3*y + 3*g, -2*g = h*y + 17 + 6 for y.
-5
Let f(y) = 4*y + 0*y + 4*y + 1 - 6*y. Let a be f(8). Solve 0 = 2*m - 4*o - 18, 0*m + o = 3*m - a for m.
5
Let v(m) = m**2 - 6*m - 3. Let r be v(5). Let s = 17 + r. Solve s = 3*y, -y - 5 = -b - 3 for b.
5
Let y be ((-8)/(-14))/(9/63). Solve 4*t - 16 = -3*z + z, -24 = -y*z - 4*t for z.
4
Let i(n) = n**3 - 6*n**2 - 5*n - 9. Let f be i(7). Let o be 5/3 + 3/9. Suppose -o*g + 3*g = 0. Solve x - 1 = 3*a - 21, f*a + 3*x - 10 = g for a.
5
Let d be 435/6 - (-2)/(-4). Let h = d + -47. Solve 0 = -4*a - 3*w + h, -a = -0*a + 5*w - 19 for a.
4
Let t(o) = -o - 4. Suppose -5*z - 4*r - 38 = 0, -3*z - 10 = -5*r - 2. Let m be t(z). Solve -5 = l - m*l, w = -3*l + 17 for w.
2
Let p(t) = t**2 - 9*t + 10. Let c be p(7). Let i be (-2)/(-8) - (-49)/c. Let g be (i/10)/((-6)/30). Solve w = 5*m - w + g, w = 3 for m.
0
Let r be 44/10 - (-12)/(-30). Solve -7*m + 2*x - 25 = -2*m, 4*m - r*x + 20 = 0 for m.
-5
Let j(k) = -k + 8. Let g be j(8). Solve o + 4*a = -g*o + 11, -5*o = 3*a - 21 for o.
3
Let z(m) = m**2 - 3*m + 2. Let j be (-4)/6 + 85/15. Let b be z(j). Suppose -v = -3*v + b. Solve 3*u - v = -4*d, 4*d = 2*u - 3 - 1 for u.
2
Let y = 5 + -2. Suppose -2*c - 12 = -5*d, y*d = -5*c - d + 36. Solve 2*p - 5*a + 1 = -11, -c*p + 36 = 5*a for p.
4
Let x(c) = -c**2 - 5*c - 2. Let o be x(-3). Let y = 49 + -22. Suppose -y = h - 4*h. Solve 2*b + 2*p = -0*p - 6, -3*b + o*p - h = 0 for b.
-3
Let i(w) = w**2 - 13*w + 10. Let c be i(13). Let q be 34/c + (-8)/20. Solve -q*v = 2*h - 1, -3*v + 5*h + 8 = -7*v for v.
3
Let l = -3 - -5. Let z be l/(-3) - (-34)/6. Suppose -5*o + 17 = c, -2*o + 4*c + 14 = 2*c. Solve -2*m = -s - z, 0 + 7 = o*m + s for m.
2
Let d = -133 - -135. Solve 4*l = d + 6, 3*i + 3*l = 9 for i.
1
Let x(l) be the third derivative of 0 - 5/6*l**3 + 1/60*l**5 + 1/6*l**4 + 2*l**2 + 0*l. Let c be x(-5). Solve -3*s - 2*r = -c*r - 13, -5*r = 4*s - 22 for s.
3
Let l be -1*(0 - (0 - -1)). Let h(w) = 5*w**3 - w**3 + w + w**2 - 1 - 2*w**2. Let r be h(l). Solve 0 = -4*x - 0*f + 2*f + 8, r*f = 4*x - 4 for x.
4
Let m be 12/30 + (-58)/(-5). Solve c - 4 = -2*b - m, -13 = c + 3*b for c.
2
Suppose 5*i + 5*i = 140. Solve 2*w + w - i = 4*h, h + 5 = 0 for w.
-2
Suppose 8 = -u + 3*u. Let f = -1 + u. Let i(p) = -p + 5. Let s be i(-3). Solve f*r + s = b, -2*b - 1 = -3*r - 11 for r.
-2
Suppose -8 = -2*z - 2. Let a be (-10)/(-2)*(-4 + 5). Solve -12 = -3*c - 2*s, -4*s + 1 = -z*c - a for c.
2
Let p = 2 - 1. Let q be p - 1 - -2 - 2. Let w be 3 + -2 - 4/4. Solve -4*k + w*d + 3 = 3*d, -5*k - 5*d + 5 = q for k.
0
Suppose 0 = -3*f - 16 + 25. Let y(o) = 2*o**3 - 2*o**2 - 2. Let t be y(2). Let w = t - 2. Solve 3*x = -f*v + 6, -v + 1 = -4*x + w*v for x.
1
Let h = 13 - 11. Let x be -1*h - 40/(-8). Solve -2*c - 4*i = -0*c, x*c = -3*i for c.
0
Let z be (-8)/(-32) - 2/8. Solve 5*m + 4*o - 8 = -43, 3*o + 15 = z for m.
-3
Suppose 3*w + l - 14 = 0, -8 = -4*l - 0. Solve 2*g = -3*f + 1, -w*f + f = 4*g - 11 for g.
5
Let r(g) = g**2 + 7*g - 3. Let q be r(-7). Let n(h) = h**3 + 5*h**2 + 5*h + 2. Let p be n(q). Solve 2*v + 13 = -3*b, 0 = b - v - p + 1 for b.
-1
Suppose -1 = 2*a - 11. Suppose y - 2*r = -4*r + 16, -2*r - 20 = -2*y. Solve -3*k + 7*k = -3*u - y, -15 = a*k - 5*u for k.
-3
Let z(n) = 3*n**2 + n. Let m be z(1). Suppose -4*c + 8 = -m. Let i = 24 - 0. Solve 5*o + 20 = 0, -2*a + 8*o - c*o + i = 0 for a.
2
Let j(d) = d**2 - 2*d - 1. Let n be j(3). Solve 2*t = -2*p, t + n = 3*t for p.
-1
Suppose -2*r + 4*t + 6 = 0, 4*r + 3*t - 7 = 5. Suppose 7 = 2*k - r. Solve 1 = j, 2*b + 1 = k*j - 14 for b.
-5
Let o(w) = -w**3 + 12*w**2 + 13*w + 3. Suppose -b = -3*s - 22, -b - 3*s = 3*b - 43. Let l be o(b). Solve 7*c - l*c = 3*q + 25, -7 = 2*c + 5*q for c.
4
Let p be (3/(-9))/(1/(-18)). Solve o = -m - p - 1, o = -5 for m.
-2
Suppose 4*w = 5*b - 1, 23 = -0*w + 3*w + b. Let j be -1 - 3*(-1 + 0). Solve 4*v = 5*k + 6, -3*v + 14 = -j*k + w for k.
2
Suppose 2*v - m - 9 = 0, v - 3*m = -8*m - 12. Solve 4 + 26 = -5*j + 5*z, v*z = -j + 10 for j.
-2
Let f(v) = -v**2 - 4*v - 4. Let x be f(-4). Let m = 4 + x. Solve 3*z - p + 10 = m, -4*z - 2*p - 8 = 2*p for z.
-3
Let w = 21 + -33. Let h be (-15)/w + (-2)/8. Solve -u - 4 = -y, -2*y + 3*u + h = -6 for y.
5
Let k = -25 - -29. Suppose k*o = o. Solve 0 = 5*j + 4*y - 40, y - 13 = -2*j - o*y for j.
4
Let f be 30/(-9)*(-36)/30. Solve 0 = -x + 2*u + 15, 0 = f*x - 2*x - 5*u - 35 for x.
5
Let k = 22 + -17. Solve -p + g = -0*g, -20 = k*g for p.
-4
Let d(q) = q**2 - 7*q - 13. Let m be d(9). Suppose -5*g = -4*a + a - m, 0 = 5*a - 4*g - 9. Solve 3*i - s - 17 = -5*s, a*i + 5*s - 25 = 0 for i.
3
Let w = 3 - -13. Suppose y - 5*k = -w, 5*y - 3*y + 3*k - 20 = 0. Solve -3*v + 1 = -y*v + 4*g, -3*g = 5*v + 5 for v.
-1
Suppose -g = 3*a - 15, 3*g - 12 = -3. Solve a*c + 23 = 3*t, -2*t + 2*c + 14 = -0*c for t.
5
Suppose -2*s + s + 9 = -5*w, -2*w = -3*s + 14. Solve s*v = -2*h - 26, -3*h = -1 + 10 for v.
-5
Let m(k) = -k**3 - 3*k**2 + 3*k - 4. Let p be (2/(-5))/(1/10). Let j be (4/3)/(p/12). Let v be m(j). Solve -2*t + b - 9 + 4 = v, -2*t - 20 = 4*b for t.
-4
Let w = 11 - 7. Solve -2*o - 3*p + 8 = 0, 4*p + w - 8 = -o for o.
4
Let m = 3 + -7. Let y(v) = -v**3 - 4*v**2 - v - 1. Let c be y(m). Solve -c*j + 0*j + 4 = -r, 2*r + 6 = 5*j for r.
2
Let f(b) = 2*b - 11. Let j be f(5). Let n(d) = -d**2 - d. Let v be n(j). Solve 3*a = 2*x - v + 1, a = 3*x - 9 for x.
4
Let r(j) = -j**2 - 14*j - 19. Let m be r(-11). Solve 4*i - 13 = 4*n + i, -n - 5*i = -m for n.
-1
Let r(m) be the second derivative of -m**4/12 + 5*m**2/2 + 3*m. Let s be r(0). Solve o = -k + 8, s + 0 = -5*o + 4*k for o.
3
Let b be -1*3 + 0/4. Let f be (-3)/b - (0 - -1). Solve u - g - 3 = f, -2*u + 5 + 6 = -3*g for u.
-2
Let t = -3 - -8. Let y be ((-28)/6)/((-4)/6). Let b = y + -5. Solve 2*s = -b*a - 20, 0 = 3*s - 4*s - t for a.
-5
Let t be (84/4 - 1)/1. Solve -25 = -f + 5*r, 3*f - r - t = 3*r for f.
0
Suppose d - 4*d = 0. Let a be -15 + (-1 - (1 - d)). Let f = a - -35. Solve 6 - f = -2*j + 2*s, -4*j + 6 = 5*s for j.
4
Suppose 3*k = -5*j - 16, -4*k = -6*j + 2*j - 32. Let w(v) = v**3 - 3*v**2 + 2*v - 4. Let p be w(k). Solve -h = -x + 2, h + 3*x + 0 + p = 0 for h.
-2
Let a(d) = 2*d + 2*d - 3*d + 4. Let m be a(-4). Solve -5*x = -5*z + 20, -5*x - z = -m*x + 14 for x.
-3
Suppose 16 = 15*v - 11*v. Solve -20 = 6*q - 2*q, 0 = -v*l + 5*q + 9 for l.
-4
Let a = -23 + 13. Let g be ((-16)/(-10))/((-4)/a). Suppose l = -3*h + 11, 4*l - h + 4*h = 26. Solve -x - 2 = -i, -g*i + l = -4*x + x for i.
-1
Let n(h) = -h + 3. Let j be n(10). Let q(g) = g**2 + 4*g + 6. Let u be q(j). Solve -5*o + u = 3*r, 3*o - o - r = 2 for o.
3
Suppose -b = 2 - 5. Let x(u) = u**3 - 2*u**2 - 3*u + 1. Let t be x(3). Let k = b - t. Solve k*p = -5*h - 9, -h + 0*h = -2*p + 9 for p.
3
Suppose -3*b + 5 = -4. Let d be (1 - (-6)/(-10))*-5. Let w be d/(-11) - (-4)/(-22). Solve -4*x = b*s - w*s - 19, 0 = x - 4*s for x.
4
Let k(r) = r**3 - 6*r**2 - 13*r - 20. Let d be k(8). Solve 4*v = -4*l - d, -3*v = -l + 2 + 1 for l.
0
Let q be ((-875)/30)/(-7) - 2/12. Solve 5*k = -a + 16, 12 = a - 0*k + q*k for a.
-4
Suppose 0 = -2*l + 3*j + 27, j + 45 = 5*l - 2*j. Solve 8 = -4*a - 2*y, 11*a - l*a + 4 = -4*y for a.
-4
Suppose 2*g - 4*f + 1 = 11, 0 = 5*f + 5. Solve 7 = -3*l - 2*r, g*r + 1 = -l + 6*l for l.
-1
Suppose 0 = -5*q + 19 - 19. Suppose -16 = -6*s + 2*s. Solve -3 = -3*r + m, -4*r + 4 = -q*r + s*m for r.
1
Let n be 3*((-11)/(-3) - 2). Solve n*l = -2*p - 15, 2*l - 12 = -p + 6*l for p.
0
Let a be ((-9)/(-12))/(1/4). Suppose 2*u + 4*z - 10 = -0*u, 20 = -4*u + 2*z. Let d = u + 8. Solve -a*q + 5 = -d*h, -2*h - 18 + 47 = 5*q for h.
2
Suppose 7*o = o + 90. Suppose o = 6*h - h. Solve 5*u = -t - 10, h*t + t - 26 = 2*u for u.
-3
Let w(s) = -s**2 - 6*s + 3. Let k be w(-6). Let a = -2 + -5. Let b = a + 10. Solve -u - 3*u + b = z, -u = k*z + 13 for u.
2
Let g be -1 + 2*(3 + -1). Let t(j) = j**3 - 4*j**2 + 3*j + 2. Let r be t(g). Solve 5*o + 5*w - 35 - 10 =