2*t + 10 = 0, -2*t = 2*s + 3*s + y for s.
-2
Suppose 0 = -5*p + 2*p. Let w be (-10)/(-7)*(-84)/(-24). Solve 0*t - 2 = -2*t + d, p = w*t - 5*d + 5 for t.
3
Let v(n) = -3*n - 8. Let b be v(-6). Let f = -7 + b. Solve 2*c + 7 - f = -3*w, -4*c = -3*w + 8 for c.
-2
Let p(n) = 2*n - 3. Let l be p(4). Solve 5*r + 4 = -u, l*u - 3*r - 8 = -0*u for u.
1
Let x(j) = -j**3 - 15*j**2 + 16*j + 1. Let q be x(-16). Solve 1 + 4 = -3*w + 5*d, -2*w = d - q for w.
0
Suppose 2*p = 7*p. Solve -5*n + p - 2 = 2*q, -n = 0 for q.
-1
Let z(x) = x**3 + 2*x**2 - x - 2. Let y be z(-2). Suppose -n + y = -4. Solve -n*u + 6*u - 8 = 0, -p - 6 = -2*u for p.
2
Let d = 25 + -22. Solve d*v = -l - 2*l - 3, 0 = -4*v - 12 for l.
2
Let u(p) be the first derivative of p**4/4 - p**3 + p**2/2 + 2*p - 3. Let b be u(2). Suppose b*a = 2*a - 4. Solve 0 = a*i + 3*f + 15, 4 - 1 = -2*i + f for i.
-3
Suppose p - 1 = 2*p. Let i be (-33)/12 + p/4. Let m = 5 + i. Solve -m*d + 16 - 4 = 4*x, -3*d - 4*x = -14 for d.
2
Let s be (2 - -3)*(-2)/(-5). Let i be 3/(-4) - s/8. Let a be (-1)/(i/8) + 1. Solve t - 1 = -2*z + 2, a = 3*t - 2*z for t.
3
Suppose -26 = -3*y - 2*c + 10, 2*y - 5*c - 5 = 0. Solve -j + 16 = 4*j + 3*i, 4*j + i = y for j.
2
Let n be ((-2)/2)/(2/(-160)). Let s be 2/(-6) + n/15. Solve -s*l - 2*f - 3*f = -30, 9 = 4*l - f for l.
3
Suppose 14 = 4*n - 2. Suppose y + n = 3*y. Suppose -i - 3*d = y*i - 12, -4*d = -4*i + 40. Solve 5*w + 19 = l, 3*w - l = w - i for w.
-4
Let v(j) be the first derivative of -j**3/3 + 5*j**2/2 - 4*j - 1. Let t be v(4). Let l be -5 + 5 - t/(-1). Solve -2*f + 4 = 4*o - 0, -3*f - 3*o + 6 = l for f.
2
Suppose -148 + 28 = -4*t. Suppose t = 3*x + 5*h, -60 = -5*x - 3*h - 10. Solve b + 8 = q, 5*q = -0*q - 5*b - x for q.
3
Suppose 0 = 13*g - 17*g + 20. Solve -4*o = g*s - 2, 5*o - 21 = -4*s + 7*s for o.
3
Let h = 81 - 150. Let g = h - -104. Suppose g = 4*p + 15. Solve d + 3*s = 28 - 10, -5*d = p*s - 40 for d.
3
Let i be -2*(3 + 4/(-1)). Solve r + o - 5 = -r, 4*o = 3*r - i for r.
2
Let b(o) = -o**3 + 4*o**2 - 3*o + 2. Let h = -12 - -15. Let z be b(h). Solve 3*n + z*n - 2*c = -31, -c = 4*n + 17 for n.
-5
Let h = -10 - -14. Let k be 1*-4*(-23)/h. Solve -4*i - y + 21 = 0, -k = -2*i - 5*y + 2*y for i.
4
Suppose 2*g - 3 = -g. Suppose -6 = -2*j, 4*j = -5*m + 16 + g. Let k = 3 - m. Solve -3*a + 5*s = -6*a - 19, -k*a - 16 = 4*s for a.
2
Let w(r) = r**2 - 31. Let p be w(6). Solve p*o + 14 = 2*b + o, 3*b + o = 0 for b.
1
Suppose t + 13 = 2*t. Suppose -t*n + 17*n - 16 = 0. Solve -3*c - n*y + 11 = -8, -c + 21 = 5*y for c.
1
Let s(p) = -5*p**3 - 4*p**2 - 2*p + 1. Let h be (-24)/14 - 8/28. Let i be s(h). Solve 4*m - i = -5*q, 5*q + 0*q - 30 = -5*m for m.
1
Let a be 3/6*14*(0 + 1). Solve 0 = 2*u - 4*n - 2, 0 = a*u - 2*u + 4*n - 19 for u.
3
Let d = 20 - 13. Let g = 12 - d. Solve -g*l - 2*s + 17 = 0, -l - 3*s = -1 + 8 for l.
5
Let a(n) = -n**2 + 9*n - 8. Let m be a(7). Suppose 4*h + 360 = m*h. Suppose 3*q - h = -75. Solve 4*y + q = 5*c + y, 2*c - 3*y - 23 = 0 for c.
4
Let s be (-1 - 0) + (-3)/(-3). Let x(n) = n**3 + 2*n**2 - 5*n - 3. Let g be x(-3). Solve s = g*k + 3*c - 1 - 2, 2*c = 2*k + 10 for k.
-2
Let t = 6 - 7. Let v be 2 + 35 + t + 3. Suppose -5*d = -2*d - v. Solve -10 = -2*g + 4*q, -4*g - d = -q + 4*q for g.
-1
Suppose -3*o - 6 = -6*o. Solve o*r - 5*z - 5 = 0, 4*r - 33 + 8 = -5*z for r.
5
Suppose 3*b = 2*b. Suppose 5*w - w - 20 = b. Suppose -w*z + 4*q = 33 - 84, 2*q = -8. Solve -2*t - 7 = 3*c, 3*t - z = 3*c + 20 for t.
4
Suppose 4*z + 2 = 10. Solve 4*x + 11 = -i, 2*i + 1 = z*x + 9 for x.
-3
Let s be 1/((2/(-50))/(-1)). Suppose 2*g + s = 7*g. Suppose 5*d - 20 = -g. Solve k + d*u + 0*u = -5, -u = k + 5 for k.
-5
Suppose x + 2 + 0 = 3*r, 3*x + 4*r - 20 = 0. Solve -x*j - 23 - 3 = -2*h, 3*j = 3*h - 24 for j.
-5
Let b(n) = n + 2. Let d be b(3). Solve 5*o - 30 = d*l, -5*l - 2*o = -o + 12 for l.
-3
Let l be (4/(-5))/((-6)/15). Suppose l*g - 1 = 3. Suppose 5*a - 26 = -2*r, 4*a - 2 = 5*a. Solve 0*y - 4 = -g*y, 4*x = y + r for x.
5
Let y be -3*2*(-1)/3. Suppose 4*j - 6 = 2*r, -2 = -0*j + y*j - 2*r. Solve -j*a + 17 = q, -3*a = 2*a + 5*q - 10 for a.
5
Suppose -3*b + 21 = 5*r, -2*r + 5 = -2*b + r. Let m(u) = -5*u - 3*u + b - 3*u**2 + 2*u**2. Let q be m(-8). Solve 0 = -4*o - q*v - 2, 0 = o + v + 2 for o.
1
Let p be -1*2*(-18)/3. Suppose 2 = -2*q + 8, 4*q = -3*a + p. Solve 5*b = 3*c + 9, -4*b + 6*c - 2*c + 12 = a for b.
0
Let y be ((-12)/(6/(-2)))/2. Let t be y/3 - (-2)/(-3). Solve t = -n + u - 2*u + 3, 4*u = -n + 9 for n.
1
Suppose 2*r + 7 + 9 = 0. Let y = -6 - r. Suppose -y*u = 3*g - 12, 18 = 3*u + 4*g - g. Solve -3*a - 2 = -2*n + u, -4*n = -2*a for n.
-2
Suppose -5*t = -3*s - 16, t - 2*t = -4*s - 10. Suppose -4*w = -4*n - 12, 0*w = -t*n - 3*w + 9. Solve n*q - 5*q = -a + 14, -6 = -4*a - 5*q for a.
4
Let i be (-10)/2 - (-21)/(-7). Let n(v) = -v - 6. Let o be n(i). Solve -4*h + 8 = -y, 12 = 2*h + y + o for h.
3
Suppose 0 = -h + d - 4 + 2, -18 = -5*h - 2*d. Solve h*u = 5*f + 14, 3*u - f - 10 + 2 = 0 for u.
2
Let m = 15 - 21. Let p = -3 - m. Let u = p + -1. Solve -4*y + 3 = -3*g - y, -u*g + 5*y = 14 for g.
3
Suppose 0 = -5*o + 160 - 50. Suppose -4*f - 6 + o = 0. Solve f*t + 5*h + 18 = 0, -3 = 3*t - h + 1 for t.
-2
Let o(d) = d**3 - 4*d**2 - 3*d - 3. Let a be o(5). Suppose -a*l + 2*l = 0. Solve t + 2*b = -5, l = -3*t - 0*b + b - 8 for t.
-3
Let o be 7*((-52)/14 - (2 + -6)). Solve f = -o*f - 3, f = -3*u - 16 for u.
-5
Suppose 5*w + 15 = -3*p, p = -4*p + w + 3. Solve 3*l + 5*r = -27 + 8, p = -r - 2 for l.
-3
Suppose 2*b - 32 = -0*b. Let k be 53/4 + (-4)/b. Let m be k/6 + (-3)/18. Solve -5*g + 4*d = 19, -m*d - 2 = g - 1 for g.
-3
Let h be 1*(-2 + (0 - -2)). Let x = h - -4. Suppose 0 = m + 2 - x. Solve -m*b + i - 1 = -3, 3*b + 3*i = 12 for b.
2
Suppose 3*q = -q + 48. Let l be 2/6 - (-56)/q. Solve -o = 2*n + l, 16 + 1 = 5*o - 4*n for o.
1
Let p be (108/10)/(2/(-10)). Let a = p - -34. Let x be (8/a)/((-2)/10). Solve 2 = -0*k + x*k, -5*r = 2*k - 7 for r.
1
Suppose -20 = j + 4*b, 3*j + 5*b = 4*b - 5. Let s = j + 5. Let k = 8 - 0. Solve -s*f + k*f = 0, 20 = -5*i - 4*f for i.
-4
Suppose 3*g = -4*m + 15, 5*m = 3*m. Solve -5*p - g*b + 5 = 25, -p - 14 = 3*b for p.
1
Suppose 4*j + 2*m - 13 = 3*m, 4*m = 4*j - 4. Solve -4*o = -j*n + 4, 3*o - 8*n + 3*n + 13 = 0 for o.
4
Suppose 5*k + 0*k = 0. Suppose k*g + g - 4 = 0. Suppose -2*r - 6*v + v = -26, 28 = 4*r + g*v. Solve r*c + s = 9, c + 0*c + 13 = 5*s for c.
2
Suppose -3*f = -2*f - 10. Let h = -5 + f. Solve -3*p = h*t - 4 + 19, -4*t = -3*p + 12 for t.
-3
Suppose 5*q = -p + 3*p - 5, -4*q - 4 = 2*p. Solve -2*c - t + 8 = 0, 4*c + 3*t - 10 - 8 = p for c.
3
Suppose -4*p + 6 = 2*l, -3*l = -5*l - 5*p + 6. Solve -6*j + 4 = -4*j + 4*r, -5*r = 2*j - l for j.
4
Let p(o) = -o**2 - 2*o - 1. Let f be p(-2). Let k be 6/(f/(-2) + 1). Solve -r = -2*n, -k*n + 5*n - 7 = 4*r for n.
-1
Let z = 11 - 11. Solve p + 4 = 3*p, -q + 4*p - 3 = z for q.
5
Let n be 1 + 2*2/4. Suppose -3*y + 6 = -y + 4*f, n*y = -f + 6. Let h(q) = -q**2 - 3*q. Let l be h(-3). Solve 0 = p - 5*v - 24, y*p - 7 = 2*v - l for p.
-1
Let i = -6 + 6. Let s(c) = c + i*c + 0*c + 4. Let h be s(0). Solve -1 = a - 3*y + 4*y, 14 = -h*a + y for a.
-3
Suppose 0 = -4*x + 5*a + 21, 2*x - 5*a = 12 + 1. Solve -8 = -4*v + x*z, -2*v = -0*z + 2*z - 8 for v.
3
Let z(u) = 0 + 9*u + u**2 + 5 + 2*u + 0. Let b be z(-11). Solve b*v + 5*s = v - 20, 2*v - 5*s - 20 = 0 for v.
0
Suppose -3*s - 2*s + 1 = -2*i, i - 3*s = -1. Solve -7*d + i*d + 4*g = 19, 4*d + g + 11 = 0 for d.
-3
Let f(i) = -3*i + 2. Let m be f(3). Let t be -4 + (-104)/(-28) + (-47)/7. Let v = m - t. Solve 5*j = 2*k - v*k + 27, 3*j = 3*k + 18 for k.
-1
Suppose 7 = -4*r + 19. Solve -9 = -3*b - 3*k, -4*b = r*k - 5 - 7 for b.
3
Suppose -5*i + 3*d = -6, i + i = 2*d + 4. Suppose -2*h - 5*n + 30 = 9, i = -3*h + 4*n - 3. Solve -p - 12 = -4*z, -4*z + h*p - 4*p = -12 for z.
3
Suppose -15 = -3*i + 3. Let o = -4 + i. Solve -5*x = o*u + 3 + 2, -3*u = -2*x - 21 for x.
-3
Suppose -7*x = 8 - 43. Solve -x*y - 4*v + 21 = 0, -1 = 3*y + 4*v - 20 for y.
1
Let y = -15 - -3. Let x = y + 12. Let o be 1/2 + 3/2. Solve 0*j = j + l - o, -4*l = x for j.
2
Let k(w) = w + 1. Let y be k(2). Solve 4*c + y*g + 30 = g, 5*g + 45 = -4*c for c.
-5
Let d = -4 - -6. Let o(g) = -g**2 + 6*g - 6. Let r be o(5). Let j be ((0/1)/(-