4
Let z be 0 + (-2)/2 + -1. Let w(o) = -o**3 + o**2 + 2*o - 1. Let n be w(z). Suppose 3*l - 2 - n = 0. Solve 0 = l*a - 5*x - 2, 6 = -5*a + 2*x + 3 for a.
-1
Let k be (-3)/(-3)*(-2)/(-2). Suppose -2*d = -7 - k. Solve 15 = 5*x - 2*r + 3*r, 21 = d*x - r for x.
4
Suppose 4 = -u, u + 42 = 2*o + 3*u. Solve 5*t = 5*i + 2*t - 29, -4*i + 3*t + o = 0 for i.
4
Let v = 27 - 23. Solve 0 = -u + 3*j - 0 - 3, 0 = -2*u + 4*j - v for u.
0
Let t be -2*(-11)/10 + 1/(-5). Solve -t*s + m = s - 20, 4*m = -3*s - 5 for s.
5
Let h be 73/4 - (-1)/(-4). Suppose 0 = -16*d - 8*d - 2*d. Solve d = -4*r + x - 17, 5*r = -2*x - 0*x - h for r.
-4
Let p(f) = f**3 + 3*f**2 - f. Let z be p(-3). Solve -b - z*s - 14 = 3*b, 0 = b - 4*s - 6 for b.
-2
Suppose -d = -5*d + 64. Let s = -6 + d. Solve -s = 2*c + 5*g, 5*c - 3*g = -g - 25 for c.
-5
Let i be 5/(-10) + (-17)/(-2). Suppose 7 = -4*b + 19. Solve 5*x + b = 2*r - 4*r, 4*x + 3*r + i = 0 for x.
1
Let k = 29 - 26. Solve -a - 3*o = -8*o - 11, k*a - 2*o = -6 for a.
-4
Let w be 6/4*160/(-12). Let i be (-84)/w + (-3)/15. Solve 0*v + 2*d - 2 = -i*v, 4*d = -5*v + 4 for v.
0
Let j = 39 + -37. Solve -j*f = -3*s - 0*s - 16, 4*s - 4*f + 24 = 0 for s.
-4
Suppose 0 = -5*v - 3*f + 2*f + 34, -4*v + 3*f = -12. Suppose 0 = 4*d - 20, -2*h - d + 3*d - 6 = 0. Solve 5*x + 5*q + h = 12, -q = 2*x - v for x.
4
Let s(t) = 4*t**2 - t - 2. Let f be s(-1). Solve -15 = 3*r + 3*m, -r - 4*r - f*m = 23 for r.
-4
Suppose g - 15 = 2*p + p, -4*g + 3*p = -33. Suppose 2*t + 28 = 2*j + 4*t, -3*t + g = j. Solve 5*c = 2*w + 25, 0 = -c + 4*w - w + j for c.
3
Let b(y) be the third derivative of -y**6/120 + 3*y**5/20 - 5*y**4/12 + 3*y**3 - 5*y**2. Let p be b(8). Solve -8 = -2*i - p*l, 2*i - i + 2 = l for i.
1
Let l be ((-15)/(-3) - 0) + -3. Let m(p) = -8 + 6*p + p**3 - 4*p**l - p**2 + 5. Let y be m(4). Solve -y*h - 2 = 4*w - 8, -4 = 2*h for w.
4
Let m(q) = q + 15. Let h = 4 - 16. Let v be m(h). Solve -v*x - 2*o = -1, 3*x + o = -2*o for x.
1
Let g be (-21)/(-7) - (-15)/3. Solve 0 = 4*s + 3*b - 27, 0 = -s + 2*b + 1 - g for s.
3
Let k(j) = -j**3 + 8*j**2 - 9*j + 10. Let u be k(7). Let w = u + 2. Let r be (3 + -2)/(w/(-6)). Solve -3*i + 5*t - 13 = 0, -3*i - r*t = -2*t - 17 for i.
4
Let i = 26 + -23. Solve 4*y + a = -9, -2*a - 15 = i*y - 4*a for y.
-3
Suppose n - 1 - 5 = 0. Let w = 8 - n. Suppose 6*j = 2*x + j + 5, -4*x + w*j + 14 = 0. Solve -t - 2*q = 7, t - 5*t + 24 = -x*q for t.
1
Let w = -3 + 1. Let f = w - -29. Let r be (f/4)/((-3)/(-8)). Solve -5*v + 3*y + y - 9 = 0, -2*v - 2*y - r = 0 for v.
-5
Let t(b) = 2*b + 16. Let z be t(-7). Solve z*m + 4*d + 7 = -1, -d = 4 for m.
4
Suppose o + 0*o - 2 = 0. Solve 3*h + 5*a - 10 = 0, 2*a - 5*a + 25 = -o*h for h.
-5
Let n be (16/(-20))/(1/(-5)). Suppose 4*c + 21 = 481. Suppose -q + c = n*q. Solve 0 = y - 3*s - 12, y = -4*s + 7 - q for y.
0
Suppose -5*p = -12 - 13. Let i(b) = -b**3 - 6*b**2 - 2*b + 6. Let z be i(-5). Let w = z - -10. Solve p = h, -8 = g - h - w for g.
-2
Suppose -3*d + 0*d = -33. Suppose -d = -4*a + 9. Solve -25 = -4*j - 5*p, 0*j - 2*j + 15 = a*p for j.
5
Let w(n) be the third derivative of -n**4/24 + n**3/6 - n**2. Let b be w(-4). Solve -16 = b*m - i, i = -2*m + 3*i for m.
-4
Let h be 22/8 + -5 + 105/20. Solve -r - r = 3*y + 3, -h*r = 0 for y.
-1
Suppose -3*r - 4 = 2. Let m be 0 + 7 + r - 3. Let l(w) = 2*w**3 - 3*w**2 + 2*w - 3. Let a be l(2). Solve -m*h - 4 = -y + 11, -4*y = 5*h + a for y.
5
Let s(k) be the first derivative of -k**3/3 - 3*k**2 + 10*k + 5. Let c be s(-7). Solve g - 4 = -3*g, -5*h - c*g = -23 for h.
4
Suppose -3*b + 50 = 2*b. Suppose 0*p + b = 5*p. Solve -3*m + 3*t - 17 = 1, 16 = -p*m + 3*t for m.
-2
Let m = -11 - -15. Let y be 2 + (0 + -1 - -2). Let l(q) = q**2 - q + 2. Let h be l(y). Solve -2*g = -m*w - 26, -9 - h = -2*w - 5*g for w.
-4
Suppose -2 = 5*u - 52. Suppose f + 4*y - 11 = 0, 0 = -3*y - 2*y + u. Solve -x - 1 = f*n, -4*x + 8 = 4*n - 5*x for n.
1
Let d be -2 + -1 + (-9)/(-1). Solve -5*v + 4*c + d = 17, -2*c + 10 = 2*v for v.
1
Let j(s) = 3*s**3 - 3*s**2 + s - 2. Let r be j(2). Let a = r + -8. Solve t + 2*v = a*t - 10, 0 = t - v - 5 for t.
0
Suppose 36*n - 162 = 27*n. Let b be 8/(-10)*(-15)/6. Suppose 4*u - 24 = 2*i, -10 - b = -4*u - i. Solve 2*x + 4*o = -n, x - 4*o + u = 19 for x.
-1
Let k(r) = -r**3 - 7*r**2 - 2*r - 9. Let d be k(-7). Suppose -m - y + 1 = 0, -3*m + 5*y + 31 = -4. Solve -2*i - m = i - 5*j, d*i - j + 23 = 0 for i.
-5
Let u = 54 + -29. Solve 5*a = y + 2 + u, -3 = -y - a for y.
-2
Suppose 7 = -d + 2. Let s = d + 9. Let l be ((-2)/s)/(5/(-30)). Solve 3*h - 3*i = 12, 7*h - i = l*h + 19 for h.
5
Suppose 5*r + 5 = z, 3*z + 6 = 4*r + 21. Suppose -n = 3*f - 15, -z*f + n - 3 = -28. Solve 0 = -3*k - 5*m + f, -1 - 11 = 4*k + 2*m for k.
-5
Let i(l) = -l**3 + l**2 + 5*l - 5. Let f be i(1). Solve 4*h + 4*c - 8 = f, 1 = -2*h + 2*c - 11 for h.
-2
Let x = 67 + -35. Solve w - 2 = -5*c - 18, 4*c - 4*w = -x for c.
-4
Suppose -2 + 0 = -n. Let t = n - -2. Suppose 4 + t = 2*z. Solve -z*j = 2*p + 12 + 10, -37 = 4*j + 5*p for j.
-3
Let b be -3*(3 - (1 + 3)). Suppose -2*m + 4 = -f, 0 = -b*m + 2*f + 3 + 3. Suppose -7*s = -m*s - 20. Solve 4*c - 4*x = 4, 7 = -s*c + x + 2 for c.
-2
Let p = -4 - -6. Suppose -c = s - 5, -p*s + 0*s - 4*c + 4 = 0. Let k = s - 6. Solve 2*t - 1 = 2*f + 5, 6 = k*t + 5*f for t.
3
Let k = -21 + 30. Solve 0 = 2*u + q - 4*q - 9, -3*u - k = 3*q for u.
0
Let v(i) = i. Let c be v(4). Let m(a) = -a**3 - 4*a**2 + a - 1. Let s be m(-4). Let k = s + 6. Solve 2*q = -3*u + 16, k = u - c*q + 5 for u.
4
Suppose -30 - 5 = -5*g - 4*o, 4*g + 13 = 5*o. Solve 0 = 5*s - 3*t + 5, 4*t = g*s - 5*s - 2 for s.
-1
Let n = -10 - -12. Suppose 4*m + 3 + 13 = n*x, -3*x - m + 17 = 0. Solve -3*o = -2*h - x*o + 5, 2*h - 11 = -5*o for h.
-2
Let q be 1 + 2 + -3 + 2. Suppose 0*m = q*m - 8. Solve 3*h = 5*d - 16, m*d = -h - 0*d + 23 for h.
3
Let i(w) = -w**2 + 4*w. Let t = -10 - -14. Let f be i(t). Suppose -2*u + 18 = 4*p, -3*p = -u - 6*p + 11. Solve 3*g - v = -f*g + 4, 0 = u*g - 3*v - 4 for g.
2
Let i(b) = -3*b + 3. Let y be i(2). Let d = y - -7. Solve 0*g = -5*o + 2*g, o - d*g - 18 = 0 for o.
-2
Let r = 172 - 168. Solve 3*m + 12 + 7 = -5*b, 5*m + 7 = r*b for b.
-2
Let y(p) = 4*p + 1. Let u be y(2). Let h = -6 + u. Solve 0 = h*a - 0*m - m + 2, 18 = 3*a + 3*m for a.
1
Let k(o) = -o + 16. Let s be k(-4). Let v(d) = 7*d**3 + 2*d**2 - 1. Let i be v(-1). Let q = s + i. Solve 0 - 14 = m + 3*z, z + q = -5*m for m.
-2
Suppose -3 = -0*u - u. Suppose 3*t - 21 = -5*b - 9, u*b = -5*t + 4. Solve b*c = 3*n + 15, 5*c - 6 = -1 for n.
-4
Let c(y) = y**3 + 7*y**2 + 6*y. Let v be c(-6). Suppose v*l = -2*l. Suppose -2*k + 8 = -l*k. Solve 4*o = 8, 0 = 2*i - 3*o + 2 - k for i.
4
Let y be (5 - 2)/(-3)*-3. Suppose -b - 2 = 4*q, -4*b - 6*q + 2*q = -4. Let h be 4*((-3)/1 + 4). Solve -y*d + b*d - h*u + 16 = 0, 0 = -4*u + 12 for d.
4
Let a be 15 - 17 - (4/(-1))/2. Suppose 5*m = 2*k + 1, -k + 4*m + 6 = 4*k. Solve -3*z - q + a*q + 13 = 0, k*q = -5*z + 22 for z.
4
Let t(q) = -q**3 - q**2 - 3*q + 2. Let b be t(-3). Solve -y + b = 5*s, -3*s = 5*y - 13 - 22 for s.
5
Let u(b) = -17*b**2 - 3*b - 3. Let d be u(-2). Let k = d + 100. Suppose 0 = -5*m + 5*g - 4 + 29, 5*m = -5*g + k. Solve m = -0*t + 3*t, n - 6 = -t for n.
4
Suppose 15 = 5*q - 5. Solve -4*y = -5*y + 5*b - 15, -7 = 3*y + q*b for y.
-5
Let a be 0 - -6*(2 - 1). Solve t - 8 = -4*x, 0 = 3*x - 0*x - 5*t - a for x.
2
Let r be 19/7 - 6/(-21). Let o be (-4)/r*84/(-8). Solve 0 = -f + g - 5, -5*f = -3*g + o + 7 for f.
-3
Suppose 0*n = 2*n - 14. Let i(s) = 2*s - 2. Let d be i(n). Solve 2*a - d = 2*j, 5*j + 11 = 3*a - 15 for j.
-4
Suppose 2*p - 26 = -2*f, -3*f + 7*p = 2*p + 1. Solve t + f = 3*k, -5*k = -3*t - 8 - 4 for t.
1
Let u = -3 + 5. Solve -7 = -u*q - 4*y + 5, 4*q - y + 12 = 0 for q.
-2
Suppose 3*v + 5*i = 0, 9 = -2*i + 3. Let k = v + -3. Solve -5*y = k*p + 14 + 6, 2*p = 0 for y.
-4
Let g = 4 + -3. Let z(l) = -9*l**2 - 1 - g + 5*l + 8*l**2. Let w be z(2). Solve -2*c + 13 = -3*n - 4*c, -w*n = -c - 1 for n.
-1
Let p be 12/(-8)*(66/(-9) - -2). Let y(s) = 4*s**3 + s**2 - 1. Let n be y(1). Solve n*t = x - 6, t = -4*x + p - 1 for x.
2
Let i(m) = m**2 + 8*m + 10. Let s be i(-7). Suppose 0 = s*o - 3*w + 8*w + 19, 3*o - w - 11 = 0. Solve c + 14 = -o*u - 3*c, -3*u = 3*c + 15 for u.
-3
Suppose -3*j = j - 128