e -5*n - 9 = d for n.
-2
Let b(k) = -6*k + 7. Let j be b(-7). Let t be 16/7 - 14/j. Suppose -t*x - 120 = -6*x. Solve 5*p - 5 + x = 0 for p.
-5
Let a(p) be the first derivative of -2 - 7*p - 3/2*p**2. Let k be a(-5). Solve 12 = -5*f - k for f.
-4
Let x be (-8 + 8)/((-1)/(-1)). Solve -6*u + 3*u = x for u.
0
Suppose 8*z - 3*z - 25 = 0. Suppose -5*m + 4*j + 13 = 0, 3*j - z*j - 14 = -4*m. Solve -2*w + m = 1 for w.
2
Let l(t) = 3*t - 2. Let n be l(-2). Let k be 2/n + (-87)/(-12). Suppose 6 = 3*u - 0*u. Solve -u*p - 3 = -k for p.
2
Suppose 5*g = g + 40. Solve -2*q = -0 - g for q.
5
Let t = 3 - 2. Let x be (-1)/4 + t/4. Suppose -3*y - u + 28 = x, -3*y + 5*u = -6*y + 44. Solve -2*i + y = 2*i for i.
2
Let x(b) = b + 4. Let z be x(0). Solve -z = 4*a + 4 for a.
-2
Let s(d) = 5*d**3 - 5 + 0*d**3 + 6*d - 5*d**2 - 4*d**3. Let c be s(4). Suppose -2*w = c*w. Solve o = -w*o + 3 for o.
3
Let p be ((-8)/(-3) - 2)*3. Solve -g + p = -0 for g.
2
Suppose 0*p + 2*p = 0. Solve p = 2*g + g for g.
0
Suppose 10*x = 7*x + 5*t + 16, -2*x + 2*t = -8. Solve 0*v = -x*v + 4 for v.
2
Let c = 5 + 6. Let s(u) = -u + 10. Let h be s(6). Let q = c + h. Solve 6*l = 3*l + q for l.
5
Let d(r) = r**2 + 7*r + 4. Let o be d(-8). Let w be (2/4)/(3/42). Solve -3*x = -w*x - o for x.
-3
Suppose -2*a + a = 2*a. Solve a = z + z - 4 for z.
2
Let m = 10 + -59. Let d be (-133)/m - (-4)/14. Solve 0 = -d*n + 2*n for n.
0
Let y = 5 + 3. Let b = y - 4. Suppose k = -4*k. Solve -3*g + b*g = k for g.
0
Suppose -5*j + 14 = -11. Solve 0 = j*z - 5 for z.
1
Let k be 3/5 - (-46)/(-10). Let g be k/(4/(-17)) - 0. Solve -2 = -5*h - g for h.
-3
Let m = 13 - -7. Solve -r = 4*r - m for r.
4
Suppose -5 + 13 = 4*i. Let x = -1 + i. Solve 3 + x = v for v.
4
Let u(s) = -38*s + 3. Let d be u(-3). Let v = d - 61. Suppose 5*q - 6*j + 2*j = v, -3*q + 20 = j. Solve a = -a - q for a.
-4
Let s = -11 + 12. Suppose -s = -j - 0. Solve 3 + j = 2*z for z.
2
Suppose -2*m + 12 = 2*m + l, 4*m = 3*l - 4. Solve -2*w - 16 = m*w for w.
-4
Let l(s) = s**2 - 3*s - 7. Let w be l(5). Suppose w*a - 6 = -0. Suppose 0 = -2*r + 5*j + 14, a*r = r + 3*j + 8. Solve 0 = 4*m - r*m - 8 for m.
4
Let h be 0 - ((-3 - -3) + -2). Suppose 0*w - h*w = -4. Solve w*r + r - 3 = 0 for r.
1
Suppose 4*j + 3 - 11 = 0. Solve -h + j*h = -2 for h.
-2
Let b(l) = 2*l**2 + 14*l + 12. Let s be b(-6). Solve -4*h + s = -8 for h.
2
Let a = -83 + 59. Let f = a + 15. Let d be ((-3)/(-9))/((-1)/f). Solve 16 = d*v + v for v.
4
Let q(u) = u**3 + 7*u**2 - 9*u - 7. Let l be q(-8). Solve -l = -3*c - 16 for c.
-5
Suppose 4*g = -2*l + 8, -l - 8 = 3*l - 4*g. Suppose -5*f = -2*z - f, 4*z - 3*f = l. Solve z = t + 4 for t.
-4
Let u be ((-7)/2 - -2)*(-5 + 1). Solve u*g - 6 = 4*g for g.
3
Let m(r) = -r**3 - 5*r**2 + 2. Let b be m(-5). Suppose -b - 8 = -5*a. Let o be (-8)/(-3)*(a - -1). Solve -3*d = d + o for d.
-2
Let i(s) = -2*s - 3. Let d be i(-3). Suppose -3*q = d*j, -3*q + j = 2*j. Solve q = -3*f - 11 + 2 for f.
-3
Suppose -5*v - 4*a - 10 = 0, 5*v - 5*a + 2*a - 25 = 0. Solve -r - 3 = -v*r for r.
3
Let z be (-136)/(-14) - (-8)/28. Let q be 4/z*(8 + 2). Solve -17 = -q*l + 3 for l.
5
Suppose 0 = -3*x - 2*x + 100. Solve -2*i - 2*i = x for i.
-5
Let g be 6*((-35)/(-15) - 1). Solve g = 3*r - 5*r for r.
-4
Suppose 0 = 5*h + 386 - 406. Solve u + 0 = -h for u.
-4
Let d(p) = p + 1. Let f be d(-3). Let x(h) = -3*h + 2. Let m be x(f). Solve -m*b = -3*b for b.
0
Let v = 15 - 6. Let c(g) = 3*g**3 - 5*g**2 - g + 4. Let y be c(2). Solve y = 5*n - v for n.
3
Let a be 0/(4/(0 - 2)). Suppose -2 = -2*f + 2*p, 6*p - p - 22 = -4*f. Let k = f + 1. Solve a = k*x + x for x.
0
Let s(r) = -4*r + 1. Let l(z) = z - 1. Let j(h) = 2*l(h) + 2*s(h). Let t be j(-1). Solve 0 = -4*m + 14 + t for m.
5
Let p = 39 - 36. Let r be 2/10 + 3/(-15). Solve p*o - 4*o = r for o.
0
Let g be -2 - 1*6/(-3). Suppose 4*c - 40 = -g*c. Solve -5*x = -c*x - 25 for x.
-5
Suppose -28 = g + 3*g - 5*x, -4*g + 12 = 5*x. Let m be (0/g)/(-5 - -3). Let d be 0 - (0 - (m + 0)). Solve -w = -d*w for w.
0
Let g = 9 + -5. Solve 3*o = g*o for o.
0
Let h be 3*3/(9/6). Suppose 3*f - h = -0. Solve f*v - 1 = v for v.
1
Let p be (-5 - 74/(-14))*14/4. Solve -3*i - p + 4 = 0 for i.
1
Let j = -35 - -62. Let g = -22 + j. Solve 8 = -g*p - 2 for p.
-2
Let a = 2 - 3. Let p be 5/((-15)/6) + 2. Let k be (p + a)*(4 + -4). Solve 2*s + 10 + k = 0 for s.
-5
Suppose 4*o - 2*o - 8 = 0. Let u = 5 - o. Solve 0*j - u = j for j.
-1
Suppose 0 = 2*r + r - 12. Let f(s) = -s**3 + 197*s**2 - 7 + 1 - s - 193*s**2 + 3*s. Let a be f(r). Solve -a*g = g + 15 for g.
-5
Let u be (-3)/(-15) + (-144)/(-30). Suppose -2*j = -1 - u. Solve -j*y = -5*y + 4 for y.
2
Let s be (-3)/(10/6 + -2). Let k(m) = 2*m**3 - m**2 + m. Let t be k(1). Solve -t*y = y + s for y.
-3
Suppose 0 = -4*h + 11 + 17. Solve -h = 5*t - 32 for t.
5
Let a = 19 - 16. Solve a*b - b = 8 for b.
4
Let w(z) = z**3 - 16*z**2 + 15*z + 2. Let l be w(15). Solve 0 = -l*m + 5 - 1 for m.
2
Let g(y) = y**2 - y - 3. Let p be g(0). Let r = 3 + p. Let l(k) = k**2 + k + 4. Let m be l(r). Solve 0 = 4*j - 0 - m for j.
1
Suppose d - 2*w + 0 + 4 = 0, 4*d = 3*w - 6. Suppose d = f - 4*f. Solve t - 3*t = f for t.
0
Let k be (-7)/3*(2 + (-8 - -3)). Let j = 5 - 0. Solve 0 = -k*w + 2*w + j for w.
1
Suppose -3*t = -2*t + 3*y - 22, -38 = -4*t - 2*y. Let c = t - 3. Solve -6*w + c*w = 4 for w.
-2
Let z be ((-14)/7 - (-5 - -2)) + 8. Let c(y) = -2*y + 3. Let j be c(2). Let v = j + 1. Solve 3*w + z = -v for w.
-3
Let p(n) = -n - 15. Let d be p(-14). Let w be (d - 0)*0/7. Solve w*c = -2*c + 4 for c.
2
Let r be 4 - ((-1 - 0) + 2). Suppose -r*t - f + 0*f + 6 = 0, 6 = 3*t - 3*f. Solve 0 = 3*q + t*q - 20 for q.
4
Suppose -2*z + 3*z + 3*u = 10, 0 = u. Solve -25 + z = 3*v for v.
-5
Suppose -6*v + 2*v = 0. Suppose v = 4*j - j - 9. Let w be (1 - j - -2) + 1. Solve -9 - w = -2*r for r.
5
Let d(l) = l - 7. Let h be d(7). Suppose 3*y = -5*t + 25, h*y = y - 3*t - 27. Solve 0*s - y = 3*s for s.
-5
Let o(w) = -w**3 - 3*w**2 + w + 2. Let n be o(-3). Let z = 4 - n. Solve -x = 1 - z for x.
4
Let j(n) = n - 4. Let u be j(4). Solve 0 = t + 4 - u for t.
-4
Suppose 4 = h - 2*h. Let p be (0 + 2)*18/h. Let w = p - -16. Solve 0 = 2*d - 17 + w for d.
5
Let k(m) = -m**3 + 4*m**2 + 7*m - 2. Let o be k(5). Let u = 17 - o. Solve 2*q - 1 = u for q.
5
Let o(y) = y**3 + 3*y**2 - 6*y - 2. Let n = 1 - 5. Let q be o(n). Solve 0 = h + 2 - q for h.
4
Suppose 2*a = -3*a. Let t = a + 2. Let z = t - 0. Solve -z*q = -4*q - 6 for q.
-3
Suppose 4*v + 4 - 24 = 0. Suppose -3*i - c = -19, -v*c + 3 = -3*i - 2. Solve 0 = -3*k - i - 7 for k.
-4
Suppose -2*g = -7*g. Suppose g = -3*i + 5*i - 8. Solve -m - m = i for m.
-2
Suppose -5*u - 35 + 110 = 0. Solve -4*f = -f + u for f.
-5
Suppose 43 = 5*a + 13. Solve 4*m - a = 2*m for m.
3
Let a(l) = 2*l + 31. Let o be a(-14). Solve o = j + 2 for j.
1
Suppose 0 = -2*w + 5*w. Suppose y = -0*y - 3*i + 3, 0 = -2*i + 2. Solve -4*m + 4 + y = w for m.
1
Let n(u) = u**2 + 3. Let b be n(0). Suppose -b*c = -2*m + 15, -2*m + 9 + 1 = 2*c. Let v be 2/(-4) - (-33)/m. Solve -1 + v = -4*x for x.
-1
Suppose 0*d = -3*d + 6. Suppose -2*o + 5*o + 4*q + 2 = 0, 3*o + 4 = -5*q. Solve -12 = d*t - o for t.
-5
Let q be (-4)/(-18) + (-1)/(45/(-125)). Solve -5 = q*b - 4*b for b.
5
Suppose -3*n + 0*n + 5 = 5*y, 0 = 5*y - 5. Solve 2*z + n*z = 8 for z.
4
Let u be (1/2)/(2/12). Suppose -10*f = -7*f. Let s = u - f. Solve s*b = -b + 16 for b.
4
Let o be 12/20 + (6/5)/(-2). Solve o*d = d + 2 for d.
-2
Let a = 70 + -48. Let f = 0 - 0. Suppose 2*v + 0*v - 3 = -i, f = -3*v + i + 17. Solve -v*b - 6 + a = 0 for b.
4
Let m(i) = -2*i - 9. Let p be m(-7). Suppose 2*j = 5*a - 8 - 18, a = p*j + 19. Let t = -17 - -22. Solve -n = -t*n - a for n.
-1
Let v = 6 - 3. Suppose -2*p - 2*j = -12, -2*p + 18 = v*p - j. Let c = 5 - p. Solve 3*h + c + 8 = 0 for h.
-3
Let q be (-5)/(-2) - (-6)/4. Let k be (24 + -4)*(-12)/(-10). Solve -k = 5*d - q for d.
-4
Let t = -28 - -25. Let s(x) = x**3 + 2*x**2 - 3*x + 4. Let h be s(t). Solve 17 = -h*g + 1 for g.
-4
Let m = 52 - 46. Solve m*s - 12 = 3*s for s.
4
Let u be (-6)/4*44/(-33). Suppose -u*n - 2*n = 0. Solve n = t + 1 - 2 for t.
1
Let u = 41 + -69. Let m = 43 + u. Solve 5*p - 2*p - m = 0 for p.
5
Let p = 3 - -1. Suppose 0 = -p*d + 2*k - 0*k + 26, -3*d + 4*k = -32. Solve -2*u - 2 =