 3*k + o = 0 for t.
2
Let d = 6 - 3. Let w = -13 + 29. Suppose -4*q + w = -r, -5*q = 2*r - 6*q - d. Solve -4*o - 18 = 2*f, r*f = -4*o + 5*f - 9 for o.
-3
Let d = 5 - -3. Solve 0 = -2*j - 2*m + 1 + 5, 0 = -4*m + d for j.
1
Let d(h) = -h**3 - h**2 - 3*h - 1. Let z be d(-2). Solve f - 2 = 3*i, -3*f + z = 4*i + 3 for f.
2
Suppose -13 = -5*o + 2*c, o = 3*c - 7*c - 15. Let n be (-2)/(1/(-2) - -1). Let i = 7 + n. Solve -l - o = -2*j + i*j, 0 = -2*j + l - 2 for j.
-1
Let w be (-31)/11 + (-6)/33. Let y = w - -5. Solve -2 = -2*z - g, 2*g + 2*g = -y*z + 14 for z.
-1
Let n = 11 - 12. Let k be 2/n - -1*4. Solve 5*b - 34 = -k*f - 13, 2*b = 4*f + 18 for b.
5
Suppose -4 = 2*v - 3*v, -3*g - 29 = -2*v. Let i be (-121)/g + 2/(-7). Suppose 2*f - 15 = i. Solve 4*h - 5*d - 29 - f = 0, -2*d = -3*h + 25 for h.
5
Suppose z + 4*z = z. Solve -22 = h - 2*d - 3*d, -4*h + d - 12 = z for h.
-2
Let l(a) = -a + 1. Let o be l(4). Let w be (-96)/(-36) - 1/o. Solve -w*y = -4*t - 0*t + 32, 0 = y + t - 1 for y.
-4
Let j = 19 - 10. Solve -3*g + 3*s = j, -3*g - 4*s - 4 + 16 = 0 for g.
0
Suppose j + 4*j = 0. Suppose 4*a + 3 = 3*w - 1, a = 3*w - 10. Suppose j = -w*h + l + 20, -4*h + 3*l + 16 = -3*h. Solve 4*i = -5*d - 9, d = -h*d - 3*i - 8 for d.
-1
Let u be -3 + 2 + (1 - -3). Let f be (-22)/8 - (-2)/(-8). Let j be u/(-2)*4/f. Solve 0 = -j*i - q - 2, -3*i = -2*i - q + 1 for i.
-1
Let a(l) = l**2 + 2*l - 1. Let t be a(-3). Suppose 5*k - k = 16. Solve 3*g - s = k*g - 4, 4*g + t*s = 16 for g.
4
Suppose -6*x - 85 = -x. Let c = 30 + x. Solve 3*m = -5*u - 22 - c, 0 = 4*m + 20 for u.
-4
Let z = 10 + -10. Suppose 3*q + 13 = x - z*q, -5*x - 5*q + 165 = 0. Solve -4*y + 5*s + x = 7, 0 = -2*s - 10 for y.
-1
Let o = -7 - -30. Suppose h + o = 5*d, -3*h + 4*d = -h + 16. Suppose -h*i - 3*v + 4*v + 9 = 0, -5*i = 4*v - 3. Solve 4*f - 12 = 0, -i*f = -5*b + 8 + 8 for b.
5
Let n = -69 + 48. Let a = n - -34. Solve 3*c + 5*t = -5, c - a = 6*t - 4*t for c.
5
Let l = -7 + 12. Solve -2 = 2*m - 2*d + 4, -l*m = 2*d - 6 for m.
0
Let p(l) = -l**2 - 5*l + 6. Let c be p(-6). Let z be (c + 4)*1/2. Suppose 0 = -5*x + 5 + 5. Solve 10 = i + z*q, -3 + 5 = x*i - 2*q for i.
4
Let x be 3/2*(9 - -3). Let q be (-2)/9 - (-76)/x. Suppose 7 = -n - 3*o, 2*n + 25 = 3*n - 5*o. Solve -q*l + n*g = 36, 5 = -l + g - 3 for l.
-4
Suppose b + 10 = 4*b - z, 0 = 2*b - z - 6. Suppose -4 = 2*k - b*k. Suppose 0*l - l = x + 3, 0 = -5*x - l + 1. Solve 8 + x = -k*g - 3*t, g + 3 = -t for g.
0
Let u(f) = -2*f**2 - 1. Let w be u(2). Let k(n) = -2*n - 13. Let o be k(w). Let a = -2 + 2. Solve -b - o = a, 3*d - 4*b = -6*b - 22 for d.
-4
Let l(f) = -f + 19. Let i be l(8). Solve 3*m - 3*k = -3, -i = -m + 6*m - 2*k for m.
-3
Suppose d + i = 6*i - 1, -2*i = 3*d - 14. Solve d*t = -3*k + 14, 0*t - 12 = -2*t + k for t.
5
Suppose -3*j + 4*w + 25 = 1, w + 3 = 0. Let m(f) = -f**3 + 5*f**2 - 2*f - 5. Let a be m(j). Let x = -11 + 16. Solve -2*o + 3*k - 8 = a*o, x*o - 4*k = -9 for o.
-1
Let k(r) be the third derivative of -5*r**4/24 - r**3/6 + r**2. Let u be k(-1). Let m = 0 + 0. Solve 0 = -u*f - m*n + n - 9, 10 = -3*f + 4*n for f.
-2
Let a be (0 + (-15)/(-5))*(-1)/(-3). Solve d - t + a = -0*t, -d + 4*t = 10 for d.
2
Let j = -53 - -58. Solve 3*s = 3*l + j*s + 9, -8 = l - s for l.
-5
Let b(l) = 2*l**2 - 7*l + 5. Let i be b(1). Solve 0 = 2*g - i*w - 4*w - 20, -2*g + 2*w = -12 for g.
2
Let w(u) = -u**2 - 11*u - 10. Let p be w(-7). Suppose 0 = 3*b - 3 - p. Solve -2*a + b = n - 0*a, -3*n + 3*a = 6 for n.
1
Let c be -3 + 7/(21/(-6)). Let l be (-4 - (c - -2)) + 3. Solve -l*u - 9 = k, 3*k - u = 5*k + 12 for k.
-5
Suppose -53*c = -56*c. Solve -5*p + 0*k + 30 = -5*k, -p - 5*k - 24 = c for p.
1
Let t(k) = -k. Suppose -2*r + 1 + 1 = 0. Let b be t(r). Let i be b + 6/3 + 11. Solve -2*y = q - 2 + 1, -i = 4*q for y.
2
Let l(k) = k**3 + 7*k**2 + 4*k - 10. Let t be l(-6). Solve -4*m = 4*c + 8, 4*c = -m + t*c for m.
-4
Let g be 5 + -7 - (-5 + -1). Suppose 12 = 5*a - 28. Solve -g*o = -b - a, -2*b = -4*b for o.
2
Let n = 8 - 6. Suppose 5*h - 20 + 5 = 0. Suppose 0 = -4*v - f - 4*f, h*v - 7 = -2*f. Solve -2*g + 1 = -2*s - v*g, -2*s + 4 = -n*g for s.
1
Let o be 1/((-6)/3 - -1). Let r be o - -1 - (-7 - -1). Let l = 8 - r. Solve -5*y = -2*m + 8, y - l*m = m + 1 for y.
-2
Suppose -2*p + 2*z = -2, -3 = -0*p - 3*p + 2*z. Suppose -4*w = p - 5. Suppose 5*r = f + 1, -4*r + 11 = -5*r + 3*f. Solve -2*g = -c + w + r, c + g = 5 for c.
4
Let x(l) = -l**3 - 6*l**2 + 6*l + 4. Let a be x(-7). Let p = a + -6. Let h(f) = -f**2 - 6*f + 4. Let q be h(-6). Solve q*j + p = 3*c, 0 = j + 5 for c.
-5
Let y(m) = m + 4. Let x be y(1). Solve 11 = x*j + 4*r, 4*r = -4*j + 2*j + 14 for j.
-1
Suppose 39 + 21 = 2*i. Suppose 5*p + 20 = 0, 2*c + 5*p + 29 = 5*c. Suppose -c = 4*x - 11. Solve 7 - 16 = f + x*z, 5*f + 5*z + i = 0 for f.
-3
Let m(a) = a**3 + 10*a**2 - 12*a - 6. Let r be m(-11). Solve -17 = 2*u - 3*b, r*u + 3*b = 11 - 1 for u.
-1
Suppose 2*s = -3*s + 80. Suppose 9*z + 2*c - s = 4*z, 18 = 3*z + 4*c. Solve -i + 14 = -3*m, -z*m + 16 = 4*i - 4*m for i.
2
Suppose 0*f - 4*f + 4 = 0. Suppose -4*y = f - 13. Solve -y*l - 2*g + 0*g - 22 = 0, 33 = -2*l - 5*g for l.
-4
Suppose -3*b - 3*w = -21, 3 = -5*w - 2. Let d = -8 + b. Solve -11 = 5*u - v - d*v, -4*u - 5*v = 32 for u.
-3
Suppose 0*o = -5*o + 10. Solve 2*a = s - 0*a - 9, 5*a = -o*s - 9 for s.
3
Let u(x) = -x**2 - 5*x + 9. Let o be u(-6). Solve -o*v = -2*v + 2, 2*v - 11 = 5*a for a.
-3
Suppose 5*l = 26 - 6. Suppose -2*j - 2 = -10. Suppose f - 3 = 3*b - j*b, -3*b = 4*f - 12. Solve -l*p - n = -2*n + 16, -12 = f*p - 2*n for p.
-4
Let q be (-75)/(2 + 14/(-4)). Suppose -2*t - q = -7*t. Let h be 1*4*t/20. Solve 6*g - 2*g = h*x + 6, 0 = 4*x + 2*g - 8 for x.
1
Let j(t) = t**3 + 10*t**2 - 12*t - 10. Let w be j(-11). Solve -d = 2*g + 2, -d - w = 3*g - 0 for d.
-4
Suppose -3*b - 12 = -30. Solve 5*m + 2*d - 15 = -2*d, -4*d - b = -2*m for m.
3
Let z be -2 + (0 - -4)/1. Suppose -5 - 23 = -z*p. Solve 15 = -3*l, p = 3*s + l + 4 for s.
5
Suppose 0 = 6*l - 3*l. Let b(j) = 0*j + 2*j - 4*j + j + 13 + j**3. Let g be b(l). Solve -a = 1, a + g = -3*x - 0*a for x.
-4
Let c be (-6)/14 + (-899)/(-203). Solve 2*m + 21 = 4*k - 1, c*m + 23 = k for k.
3
Suppose -5*n = -4*n. Solve -s + 2*w + 3 = n, -5*s + 4*w + 6 = -3 for s.
1
Let v be (-3 - 0/(-2))*-3. Solve n = 1, -l = l + n + v for l.
-5
Let y be -1*(1 + -5 + 1). Let o be (-1)/(-5) - 14/(-5). Solve 3*c = -4*p - 2, 0 = p + o*c - c + y for p.
1
Suppose -5*z + 4*v + 64 = 0, 3*z - 30 = -5*v + 1. Let h = -3 + 5. Let f = -2 + h. Solve 5*g + 3*d = 0, -g + d - 4*d - z = f for g.
3
Let m(o) = -2 - o + 0*o + 1 + 2*o. Let r be m(6). Solve 0*y - 2*s = -r*y + 11, 4*y - 22 = -5*s for y.
3
Let o(j) = j**2 - 8*j + 15. Let w be o(6). Solve 8 = -s - 3*s - w*l, 2*s - 14 = 3*l for s.
1
Suppose 2*i + 4 = -2*r, 0*r - 5*i - 17 = -2*r. Let x = -4 - r. Let f be (-16)/(-5) - (-1)/x. Solve -3*c + 2*q = -6, -4*q + 1 = -f*c + 7 for c.
2
Suppose 3*d = 4*q - 7*q + 15, -3 = -3*d + q. Let l be (-2)/(-1*1/d). Solve l*o + 40 = 5*x, -5*x = 2*o + 2*o for x.
4
Let z(p) = p**3 - 5*p**2 + 2*p - 1. Let s be z(5). Let k(b) = -b**2 + 12*b. Let c be k(s). Solve -5*t - 11 = q, q = 5*t + c - 8 for t.
-3
Let n(r) = r**3 + 10*r**2 + 7*r - 8. Let j be n(-9). Suppose 1 = -3*d + j. Solve 0*t + 5*t - 30 = -5*a, -5*t = -d*a - 22 for a.
1
Let x(p) = -p - 1. Let s be x(-5). Suppose -s*l + 25 + 21 = -m, -m + 20 = 2*l. Solve 0 = k - 3*n + l, -3*k - 3*n - 5 + 20 = 0 for k.
1
Let a(f) = 2*f + 3. Let z be a(-4). Let y be (-2)/(-5) + (-23)/z. Solve -5*u + y + 10 = -q, 2*q = 10 for u.
4
Suppose 4*q = 5*q - 7. Suppose m - 3*k = -q, -3*m + 14 = 4*k - 4. Suppose 45 = 4*i - 5*y, -m*i + y - 5 = 4*y. Solve 4*h - 11 = i, 0 = 2*v + h for v.
-2
Let v be (2 + -1)*-2*1. Let k be 2/3 + 20/6. Let c = v + k. Solve c*z = -2 - 8, 0 = -2*h + z + 3 for h.
-1
Let n be (-52)/(-12) + (-1)/3. Suppose m - 3 = -1. Suppose 0*v - m*v + 10 = 0. Solve 0 = -v*r + x - 7, -n*x - x + 10 = 0 for r.
-1
Let t be (3/5)/((-15)/(-50)). Solve w + 1 = t*p, -5 = -3*w - p + 3*p for w.
3
Suppose -5*y = -5, 17 + 5 = 5*w + 2*y. Let h be ((-2)/w*-2)/1. Let t = 15 - h. Solve x = 3*l + 9, -l - 2*x - t = l for l.
-4
Suppose r = -0*r + 2. Solve g + 2*l + 2 = -r*g, 5*l = g - 22 for g.
2
Let y(p) = 6 + 2*p**3 - 8*p + 0*p**3 + 7*p**2 - 3*p**3. Let k be y(6)