2 + b + 3*p - 2*p + 0*p. Let x be u(-5). Solve 0 = -5*v + 2*h + 2 - x, h = -v + 3 for v.
1
Let j be 1/(-1)*1 + 21. Suppose -24*k - k + 425 = 0. Solve j = -5*g, 0 = -2*n - 3*g - k + 5 for n.
0
Let q(d) = d**3 - 8*d**2 + 5*d + 16. Let z be q(7). Solve -20 = -4*j - 5*s - 2, 4*s = 3*j + z for j.
2
Let x(z) = z**2 + 13*z + 25. Let r be x(-11). Solve -4*g - 7 = 3*m, r*m - g = -3*g - 11 for m.
-5
Let f be (-1 - 2)*(-4)/6. Suppose -4*t - 45 = -9*t + 5*n, -3*t - f*n + 7 = 0. Solve 2*d - t*d - 17 = -2*s, 4*s = -4*d - 16 for d.
-5
Suppose -4*k + 8 = 2*x, 0*k - k = -4*x - 20. Let p = 0 - -3. Suppose -v = -2 - p. Solve 3*g - k = q, -4*g = -2*q - v + 1 for q.
2
Let o = 5 + 0. Suppose 0 = 3*v + v. Solve 4*t + 3*r - 27 = 0, v = -o*t + 3*t + 4*r - 14 for t.
3
Let i be ((-115)/15 + 5)*(-3)/4. Solve -i*z - 2*a = 2, a - 1 = 2*z + 4*a for z.
-2
Let r = 24 - 21. Suppose r*f - 2*f - 5 = 0. Solve 3*u + 2*j = u, 2*j = -f*u + 15 for u.
5
Suppose 14 = -5*x + 4. Let s be 2 + (x - -1*25). Solve -5*g - 17 = -z - g, 2*z = 5*g + s for z.
5
Suppose 0 = -y + 2*y. Let n = 59 - 56. Solve -5*l - 25 = y, -n*g + 2*l + 2 = -7*g for g.
2
Suppose 2*v - 16 + 4 = 0. Suppose -3*o + 6 = -v. Solve 0 = 4*y, -o*k - 4*y + 5 = -3*k for k.
5
Suppose -2*g = 2*g - f - 24, -3*g + 4*f = -31. Suppose 0*q - 30 = -g*q. Solve -h + 11 = 2*j, -q*j + 4*j = -3*h + 1 for h.
3
Let f(y) be the first derivative of 1 - 1/3*y**3 + 2*y + 3*y**2. Let s be f(4). Solve -5*b = 5*v, -5*b = 3*v - 0 - s for v.
-5
Let p be 10/4*16/10. Suppose 4*n = 20, -3*a + 35 = 2*a + p*n. Solve 4*o = -3*c + a, -15 + 6 = 3*c for o.
3
Let o(g) = 4*g**2 - g + 2. Let u be o(1). Solve 10 = -u*y + 3*c - 5*c, 0 = 5*c for y.
-2
Let k(i) be the first derivative of -i**4/4 + 11*i**3/3 + i**2/2 - 8*i - 5. Let d be k(11). Solve -l + 4*w - 2 = 2*l, -2*l + 10 = d*w for l.
2
Suppose -i = -0*i - 4. Suppose 0 = -3*a - i*l + 25, 0 = 5*a - 7*l + 3*l + 1. Solve -a*n - n + 5*h = 6, 3*n + 5*h = 13 for n.
1
Suppose -6*u + 23 = -7. Solve -4*s - s - 22 = -a, 0 = -3*a + u*s + 26 for a.
2
Let x be 1 + (5 + -3 - 6) - -8. Solve 0 = 3*o + 2*s + x, 4*o + 14 = s - 0*s for o.
-3
Let q(z) be the third derivative of -z**4/24 + 5*z**3/6 - 5*z**2. Let y be q(3). Solve 3*g - 28 = -5*m, 0 = -4*g + 2*g + y for m.
5
Let q be (-78)/4*(-4)/6. Solve 0 = 5*c - 5*j + 30, j - q = 3*c + 3 for c.
-5
Suppose -15*o - 24 = -264. Solve 3*c = 4*h + 23, -c + 3*h + o = c for c.
5
Let t(n) = -n**3 - 7*n**2 - 7*n - 9. Let k be t(-6). Let b = 3 + k. Let u be (2 + -2)/(-2 - b). Solve -1 = 2*h + 1, -3*m - 3*h - 6 = u for m.
-1
Let u(b) = -b**3 - 10*b**2 - 3*b + 1. Let k be u(-10). Solve 2*a = -4*x - 26, 2*x + 2*x = -3*a - k for x.
-4
Let w = 40 + -27. Solve 5*o - w = y, 5*y = -o - 2*o - 9 for o.
2
Let r(b) = -b**2 + 8*b - 7. Let o be r(5). Suppose -4*x = -4*f - o, f + 3*x + 1 = 19. Solve 2 + 3 = -3*g - 5*t, 3 = 4*g - f*t for g.
0
Suppose -10*q = -2*q - 32. Solve 3*m = 3*r - 12, q*r - 9 = -1 for m.
-2
Let f(d) be the third derivative of d**4/12 - 3*d**3 - 2*d**2. Let j be f(9). Solve -i = 4*v + 4, -i + 2 = -j*i + v for i.
4
Suppose 0 = 5*x + 2*p - 9 - 1, -3*p = 3*x - 6. Let d(r) = -4 + 0 + x*r**2 - r**2 + 3*r. Let z be d(-5). Solve 3*i + 12 = 4*l + l, -3*i - l = -z for i.
1
Suppose -b = 5*m + 22, m = -3*b + 3*m + 19. Solve -5*u - 5 + 2 = -3*j, u = -b*j - 15 for j.
-4
Let l = 12 - 6. Suppose -5*f + 3*f - 3*h + 11 = 0, -2*h + 10 = 2*f. Solve l*s + p = 3*s - f, 0 = -4*s + 2*p - 12 for s.
-2
Suppose 2*p + 4*b = -158, -392 = 4*p - b - 94. Let a be ((-2)/(-6))/((-1)/p). Solve -5*c - a = -3*o, c + 18 = 2*c + 4*o for c.
-2
Suppose 0 = -5*y + 2*y + 12. Solve 0 = -3*n, 0*p - y*p - n = 20 for p.
-5
Let u be 10/(-35) + (-6)/(-21). Solve -3*h + 6*h = u, 3*h = 5*y for y.
0
Let y be 5 - (0 + 2 + 0). Let k(p) = p - 5. Let z(x) = x**2 - 6*x + 5. Let i be z(6). Let r be k(i). Solve 4*t + 19 = 4*j + y, r = -3*j - t + 16 for j.
5
Let i = 9 + -9. Solve 4*m + 2 = -2*r + 6, i = m + 2*r + 2 for m.
2
Suppose 0 = -2*p + 4*q + 4, 2 = 5*p - 5*q - 3. Solve 2*l = -3*a - 22, p*l = 3*l + 4*a + 31 for l.
-5
Suppose -1 = -3*h - 4*q + 3, 2*q - 2 = -5*h. Solve w + 1 = -b, 3*b - 1 = -4*w - h*w for w.
4
Suppose -4*c - 6 = -7*c. Solve -2*w - c*u = -w - 4, 8 = 3*w + 2*u for w.
2
Suppose -y = -3*y + 6. Suppose 5*w - y - 17 = 0. Let p be 1/(-4) + (-33)/(-4). Solve 4*r - 3*a + a = -p, r = 2*a + w for r.
-4
Let o = -10 + 12. Suppose 0 = 2*p + p - o*t - 12, 2*t - 2 = -4*p. Suppose 5*j + 0 = 25. Solve -p*w - z - 4 = -j*z, 0 = z for w.
-2
Let q be ((-425)/(-68))/(1/(-4)). Let n = q - -27. Solve -2*d - d = 15, -2*d = n*s for s.
5
Suppose 6 - 15 = -3*f. Suppose 0 = a + f*u - 26, 5*a - u - 106 = -4*u. Solve 2*v + m + m = 4, a = 4*m for v.
-3
Let a be (-10 + -20)*(-1)/(-2)*-1. Solve 2*q = -5*l + 22 + 9, -3*l = -a for q.
3
Suppose -2*z = 4, 4*v = z - 1 - 21. Let g be -5*v/15*1. Solve k - 10 + 3 = 2*i, g*i + 4 = 0 for k.
3
Let u be (-1)/2*2 - 0. Let k = 5 + u. Suppose k*z - 7 - 1 = 0. Solve -17 = 5*a + z*h, 2*h = 2*a + a + 7 for a.
-3
Let z be ((-8)/10)/((-4)/50). Suppose -4*j = -s - z, 3*j - 3*s = -8*s - 4. Suppose 2*d - 8 = -j*d. Solve 0 = i - 3*q + q + d, 2*q = -4*i + 12 for i.
2
Suppose 0 = -3*q + 9. Suppose q*f = 5*f - 4. Suppose 5*z = 5*t - 20, -f*t = 4*z - 31 + 5. Solve 0*d + d = -5*h + 19, h - t = -d for h.
3
Let m be (0 + 6/2)*8/12. Solve 5 = t + 5*q, 0 = -m*t - t + 2*q + 15 for t.
5
Suppose 3*s = -0 + 6. Solve 0 = -a - 3*a - 2*v - 12, -a + 2*v = -s for a.
-2
Suppose -6*v = -0*v - 12. Solve 10 = -5*d - p, v*d - 4*p = -p - 21 for d.
-3
Suppose -x = -t + 1 + 9, 3*t = -4*x - 19. Let s = -5 - x. Suppose p + 4*w - 29 = -4*p, -18 = -4*p + s*w. Solve 4*l - 27 = 3*n, -14 = n + 2*l - p*l for n.
-5
Suppose -4*h - 9 = -h. Let v = -1 - h. Solve -3*j + v = 5*r + 8, 0 = 2*r + 6 for j.
3
Suppose -48*h + 10 = -43*h. Suppose -6*n = -h*n + 2*g - 38, g = 3*n - 21. Solve -3*l = 5*s + n, 3*l + l + 5*s = -4 for l.
4
Let y(f) = -f**3 + 16*f**2 - 14*f + 8. Let t be y(15). Solve -b + 2*z - z = -9, -2*z - t = -3*b for b.
5
Suppose 0*w + 2*w = 28. Solve -4*q + 12 = 5*j, -4*j + w = q - 0*j for q.
-2
Let k be 10/15*(-1 - 17/(-2)). Solve -k*y = 4*n - 2*y + 24, -3*n + y = 5 for n.
-3
Let w(y) = 8 + 6*y - 7*y + 0. Let h be w(6). Suppose -8 = -2*f + h. Solve -22 = -3*b + b + 4*c, 0 = -5*b - f*c + 10 for b.
5
Let m = 21 - 11. Suppose 3*a = 5*d + m, 4*d - 22 = -5*a + 7*d. Solve -2*s - 8 = -a*n - 0*s, 3*n - 4*s - 16 = 0 for n.
0
Let t be 0*(0 - -2 - 1). Suppose r + r = t. Suppose r = -q + 6*q. Solve 4*y - 14 = -z, q = -0*z + z - 3*y + 7 for z.
2
Let y be 11/4 + (-4)/(-16). Suppose -3*x = -3*s + 15, -s + 4*x + 8 = -0*s. Suppose 0 = s*l - 2*l - 4. Solve y*z - 5 = -5*c - 2*z, -l*c = -2*z - 14 for c.
4
Let q(j) = -j + 2. Let c be q(4). Let v = c - -2. Suppose 19 = 2*s + k - 14, v = -3*s - 5*k + 67. Solve 4*i + 3*g - 2 + 5 = 0, -3*i + g = -s for i.
3
Let b = -11 - -14. Solve o - 2 = -0*s + s, 0 = b*s + 15 for o.
-3
Suppose -f + 3*f - 12 = 0. Let a = 11 - f. Solve 4*m + 36 = a*u, -2*m + 6*u - 3*u = 20 for m.
-4
Let w(n) = -2*n + 5. Let l be w(-4). Suppose -3 = 2*z - l. Solve -s = -c - 3*c - 17, 40 = 5*s - z*c for s.
5
Let w(g) = -g**2 - 6*g + 2. Let x be w(-6). Solve -x*r - 2*n - n = 0, -10 = 5*n for r.
3
Let y(d) = 9*d**2 - 15*d - 3. Let f(k) = -4*k**2 + 7*k + 2. Let w(s) = 7*f(s) + 3*y(s). Let r be w(4). Solve 5*j + r = -7*h + 2*h, 0 = -3*h + j - 3 for h.
-1
Let c be -4*(2 + 11/(-4)). Suppose d - 5*d = -20. Solve 2*j - 21 + d = -4*f, c*j - 4 = 4*f for j.
4
Let y = 9 + -5. Suppose -6 = -p + b, -2*p = -3*p - 4*b - 9. Suppose p*l + l = 20. Solve -10 + 2 = y*i, -19 = 3*n + l*i for n.
-3
Let x = -4 - -6. Suppose -x - 8 = -2*p. Suppose 2*m = -2*f + 2, m + 4*f = 3 - 8. Solve -p*v + 23 = 2*l + l, -m*v + 12 = 0 for l.
1
Let v(x) = 10*x + 3*x**2 - x**3 + 4 + 6*x**2 - 6 - 2. Let m be v(10). Let k be (-36)/((-1)/(m/(-6))). Solve 5*y + d + d - k = 0, -y = -5*d + 6 for y.
4
Let a = 35 - 25. Solve -5*y - a = -2*x, -3*y = -3*x + 2*y + 10 for x.
0
Let i be (-8)/(-10)*(-5)/(-2). Solve 7 + 11 = -2*o + i*b, 0 = -4*o + 2*b - 26 for o.
-4
Let u = -114 - -115. Let m be (-1 - -1)*2/4. Solve 0 = -v - o + u - 4, 5*v + 3*o + 5 = m for v.
2
Let k(f) = -f - 3. Let z be k(-7). Solve 0 = -2*r - z*p + 2*p - 8, -3*r + 5*p = -28 for r.
1
Suppose -3*z = -7*z + 20. Suppose -25 = -0*o - 2*o - 5*p, 2*o = z*p +