= 0. Solve n*i - i = -25 for i.
-5
Let h be 3/(-2 - (-21)/6). Suppose 2*y + 35 = -5*t, h*t = -0*y - 4*y + 2. Let q = t + 25. Solve 4*c = -0*c + q for c.
4
Let y be (0 + -2)*9/(-2). Suppose -5*a + y = 3*x, -x - 3*a + 5 = -2*a. Suppose -x + 5 = -g. Solve 0 = 2*z - z - g for z.
3
Let k be (-3)/9*(0 + -21). Let z = -4 + k. Suppose p = 0, -i = 2*i - z*p - 3. Solve a + i = 4 for a.
3
Suppose -3*l + 5*i - 28 = 0, 22 = -5*l + 2*i - 6*i. Let o = -6 - l. Suppose 5*d + o*d = 0. Solve -f + 0 - 1 = d for f.
-1
Let w(o) = -6*o + 9 - 2*o + 9*o. Let c be w(-7). Solve 5*r - c*r = 9 for r.
3
Let j be 4/6 + (-10)/(-3). Let z(c) = 3*c - 16. Let t be z(7). Suppose -15 = t*h - 5*v, -10 = 5*h - 4*v - 0*v. Solve j*r = -2 - h for r.
-1
Let q(a) be the first derivative of a**4/2 - a**3/3 + 4. Let z be q(1). Solve -1 - z = -s for s.
2
Suppose 2*z = 6, -3*t = 4*z - 32 - 7. Solve f - t = 4*f for f.
-3
Let n = -7 - -10. Solve -n = 5*v - 13 for v.
2
Suppose 0*y + 4*y = 0. Let b be (-2 + y + 1)*-3. Solve b*x = -7 - 2 for x.
-3
Suppose -130 = -0*x - 5*x. Let g be 54/13 + (-4)/x. Suppose 0 = 2*r + 5*n - 27, 3*r - 6 = -3*n + 7*n. Solve g*i = 2*i + r for i.
3
Let v(t) = t**3 - 6*t**2 + 3*t - 13. Let k be v(6). Solve 0 = -4*s - 11 - k for s.
-4
Let c be (-4 + 2)*(-1)/1. Let y be (-6)/c*(-4)/6. Suppose 0*w = -w + y. Solve -w*k + 3 = 9 for k.
-3
Let f(k) = -2*k**2 - 6*k + 1. Let p be f(-6). Let w be (-7)/(p/(-2))*-20. Solve -3*b - 4 = w for b.
-4
Suppose 3*u - 5*u - 5*t + 31 = 0, 3*u = -2*t + 19. Let d = -1 + u. Let z = d + 0. Solve 0 = -z*o + 10 - 0 for o.
5
Let m = 5 + -4. Let h = 2 - m. Let r = 3 + h. Solve -r*o = -2*o - 10 for o.
5
Let b = -9 + 14. Suppose 0*d - 4*l = d - b, 0 = -4*l. Suppose -2*j = 3*t + 5, -2*t + 15 = -7*t. Solve -d*o = -j + 22 for o.
-4
Suppose 2*i + 10 = -y, i + 2*i + 15 = -y. Solve y = -t + 3*t for t.
0
Let b be (-1)/7 - (-474)/(-14). Let s = 53 + b. Suppose -5*q + s = m, -2*m + q = 3*m - 17. Solve 0 = u + m*u - 5 for u.
1
Let z(a) = 3*a**2 + 4*a - 2. Let y be z(1). Solve -y*n + 3 = 8 for n.
-1
Let a be ((1 - -4) + -1)/1. Let m be (-20)/(-12) - (-10)/(-15). Let f = 22 - m. Solve -5*c - f - a = 0 for c.
-5
Suppose 2*k = -0*k - 4*i - 2, 3*i = -k - 3. Solve -1 - k = -2*g for g.
2
Let f be (0 - -1) + 3/(-5 - -2). Solve -2*n + 5*n + 15 = f for n.
-5
Let h be (-1 - 1)/(6 + -4). Suppose 0 = -3*s + 5 - 2. Let a = s + h. Solve -v + 0 - 3 = a for v.
-3
Let a = 6 - 1. Suppose 0 = a*k - 0*q + 4*q - 13, -k = -3*q + 5. Solve -14 - k = -3*d for d.
5
Let n be 6 - 9 - 8*-1. Solve n*p - 1 = -11 for p.
-2
Let q be ((-21)/14)/(6/(-20)). Suppose 3*z = 4*d - 47, q*d - z = z + 50. Solve -w + d = w for w.
4
Suppose -s = 2*s - 36. Suppose -p = -5*p + s. Let a = -28 + 40. Solve p*t + a = -t for t.
-3
Let g(s) be the first derivative of s**4/4 + 2*s**3 + s**2/2 - 3. Suppose 30 = -3*o + 3*i, 5*o = 2*o + 2*i - 25. Let w be g(o). Solve 0 = 6*z - z - w for z.
4
Suppose 2*b - 6 = -0. Solve -b*y - 2*y + 5 = 0 for y.
1
Let u(j) = j**3 + 7*j**2 + 7*j + 8. Suppose -3*x + 12 = x. Suppose 2*s = x*s + 6. Let h be u(s). Solve -1 = -h*i + 1 for i.
1
Let r(l) = 16*l + 9. Let q(a) = -3*a - 2. Let w(o) = 11*q(o) + 2*r(o). Let z be w(-5). Let v be z/(1*(-1)/(-12)). Solve -5*x + v = 2 for x.
2
Suppose s = 5*s - 16. Let p = s + -4. Let w(a) = -a + 2. Let x be w(-2). Solve p*g = x*g for g.
0
Let a = 22 + -13. Solve 0 = -3*x - 0*x + a for x.
3
Let y be ((-1)/(-3))/((-4)/(-36)). Solve -y*t - 3 - 3 = 0 for t.
-2
Let x(r) = -r - 1. Let b be x(-3). Suppose -3*k - b*k - 35 = -4*n, -4*n + 23 = -k. Solve -n*p - 7 - 13 = 0 for p.
-4
Let j be 3 + (-2 - (0 - 1)). Let o(a) = -a**2 - 4*a + 4. Let g be o(-4). Suppose -g*y = -0*y. Solve y = -7*k + j*k for k.
0
Let w be (-172)/(-36) + (-4)/(-18). Solve 9 = w*b - 11 for b.
4
Let i(t) = t**3 + 7*t**2 + 7*t + 6. Let z be i(-6). Solve 5*k + 7 + 13 = z for k.
-4
Let q be (1/2)/((-3)/6). Let i = q + 6. Solve -1 + i = 4*g for g.
1
Let q(t) = 7*t + 2*t**2 - t**3 + t**2 - 3*t. Let g be q(4). Let y = 5 - 3. Solve -2*h + y = -g*h for h.
1
Let z = -5 - -8. Solve -z*h - h = -12 for h.
3
Suppose -3*h - 12 = -3*w, 4*h = -4*w + 3*h + 11. Solve -w*i - 9 = -0*i for i.
-3
Let y = 36 - 33. Solve 9 = -y*f + 6*f for f.
3
Let n(z) = z**2 + 2*z + 2. Let h be n(-3). Solve -h*g + 4*g = 0 for g.
0
Suppose -4*y + 38 = -3*y. Let r = y - 21. Suppose 5*m = -4*u - 0*m - r, 5*u - m = 15. Solve 0*x - 10 = -u*x for x.
5
Suppose -3*h - 6 = 5*s, -2*h + 12 = s + 3*h. Let c = 3 + s. Suppose c*v = -2*v + 12. Solve -2*i - v = i for i.
-2
Suppose p - 3*p = 2*p. Solve -5*z - 5 = -p*z for z.
-1
Let s be (-1)/3 - (-2)/6. Suppose s = -7*k + 2*k + 5. Suppose k = 5*y - 9. Solve -y*z = -5*z for z.
0
Let m = -3 + 1. Let v be m/7 + 12/42. Let c = v + 1. Solve 8 = -3*q - c for q.
-3
Suppose -2*i + 4 = -2*w - 0*i, 5*w = 3*i - 6. Suppose w = j - 0*j - 2. Solve -j = -k - k for k.
1
Suppose -5*f + 39 = -0*f + z, -2*z = -8. Suppose -5*h - f - 3 = 0. Let t be 2/1 + (-2 - h). Solve -2*a + t = -a for a.
2
Let j(d) = d**3 - 3*d**2 - d + 4. Let v be j(4). Solve -3*m - v = -7*m for m.
4
Let z be (-4)/(-6) + (-38)/3. Let x be 2/(-9) - z/54. Solve x = 2*k - 2 for k.
1
Let t be ((-20)/(-8))/(2/4). Suppose -4*w + 3*w - 5 = 0, w = -4*g + 3. Suppose g*i + 4 = 6*i. Solve i = -4*h + t for h.
1
Suppose 0*z - 20 = -5*z. Suppose 3*v = 5*v - z. Suppose 6*n - 4*d = v*n, -2*d = 0. Solve k + 5 = -n*k for k.
-5
Suppose -2*s + 5*s = 12. Let q be s/18 - 43/(-9). Solve -q*p + 0*p = 10 for p.
-2
Let o(g) be the first derivative of -5*g**2/2 - 11*g + 7. Let a be o(-5). Solve -5*f + a = -6 for f.
4
Let v = 14 - -2. Suppose 0 = 2*g + 2*g + v, -26 = -3*f + 5*g. Solve -3*a + 1 + f = 0 for a.
1
Let x = 53 - 43. Solve -x + 2 = 4*m for m.
-2
Let o = 0 - -1. Suppose 0 = l - t + o, -t + 1 = l - 0*l. Let z(k) = k + 4. Let p be z(l). Solve p*g - 12 = -32 for g.
-5
Let v = -8 - -4. Let u be 3 + -1 + v - -8. Solve -b = -u*b + 25 for b.
5
Let a(u) = u**2 - u - 1 + 1. Let o be a(-3). Solve -2*n - 2*n = o for n.
-3
Let t = 8 + -3. Suppose 0 = t*y + 5*o - 2 + 7, -3*o = 4*y - 1. Solve y = -v - 3*v for v.
-1
Suppose -j = -3*j. Let s(q) = 6*q. Let h be s(1). Suppose h = -0*n + n. Solve -5*l + 2*l + n = j for l.
2
Let k = 16 + -14. Solve -k*d = 2*d - 12 for d.
3
Let y = 7 + 4. Let v = -11 + y. Suppose -i - 2*q + 7 = 3, 2*i - 1 = 3*q. Solve -7*m + i*m + 25 = v for m.
5
Let h be (2/(-4))/(2/(-8)). Solve -h*u = 2*u - 12 for u.
3
Let b(u) = -1 + 2*u**2 - 2 - u**2 - 2*u. Let j be b(4). Suppose 7*t - j = 2*t. Solve 3*w + t = -2 for w.
-1
Suppose 0*w = -2*w - o + 1, 3*w + 4*o + 6 = 0. Let f be 76/8 + w/(-4). Solve -7 = 4*h + f for h.
-4
Let a be 60/(-8)*(-4)/5. Suppose -4*s = c - 4*c - 9, 0 = 3*s - 2*c - 6. Solve -n + a*n = s for n.
0
Suppose -h - 38 + 15 = -5*c, -3*c - 3*h = -21. Solve a - 8 = c*a for a.
-2
Let d = 24 - 4. Solve -d = -5*x + x for x.
5
Let y be 9/(1/((-2)/2)). Let x(i) = -i**3 - 8*i**2 + 8*i - 9. Let s be x(y). Solve s = -5*l - 0*l - 5 for l.
-1
Suppose 0 = 2*k - 6, -2 - 7 = -2*o + k. Suppose -o*a + 11*a - 20 = 0. Solve a*d - 3*d = -5 for d.
-5
Suppose 2*m = -0*m - 4. Suppose 3*k + 0*k = 0. Let f = k - m. Solve 0 = 4*c + f - 10 for c.
2
Suppose 5*n = -0*n. Suppose n = r - 4*r. Solve 2*z - z + 5 = r for z.
-5
Suppose 3*s - 3 - 12 = 0. Solve 3*j - s = 1 for j.
2
Suppose 5*q = 6*q - 6*q. Solve q = -5*k + 9 + 11 for k.
4
Let u = 8 - 6. Suppose 2*h - 5 = -3*h. Let r be h + -2 + 1 + 1. Solve 0 = -u*d + 3 - r for d.
1
Let j(a) = -2*a**3 - a - 1. Suppose -5*o = -4*v + 21, -v + 0*v + 1 = 3*o. Let x be j(o). Suppose x*k + k = 0. Solve 4*h - 3 - 17 = k for h.
5
Let u = 0 + 4. Suppose -4*k = -4 - u. Solve -t + 9 = k*t for t.
3
Suppose -2*j = 2 - 14. Solve j*z - 4*z - 4 = 0 for z.
2
Let a(p) = -2*p**3 - 2*p**2 + p. Let y be a(-2). Suppose 0 = t - 0 - 3. Let l be (t/y)/(1/12). Solve 4 = -2*c - l for c.
-5
Suppose 3*c + 2*c + 5 = -a, -2 = 2*c - 4*a. Let f be c/(3 - 2)*-1. Let o be -5*(f - (-3 + 5)). Solve g + 12 = o*g for g.
3
Suppose -65 = -5*j + 4*c, j - c - 2*c = 24. Solve 0 = 3*m - 6*m + j for m.
3
Let x(n) = -n**3 + 3*n**2 + n + 3. Let t be x(3). Solve 3*z + 3 = t*z for z.
1
Let c(q) = 2*q**2 + 11*q - 6. Let z be c(-6). Solve z*h = -h - 5 for h.
-5
Let n(s) = -s**2 + s**2 + 2 - s**2 - s. Let u be n(-2). Suppose 5*y - y = u. Solve y*q - 2 = -2*q for q.
1
Let q(a) = -a