6*n - d*n for n.
5
Suppose -3*n + 1 = -2*d - 0*n, 2*n = -3*d + 18. Suppose -s + d - 2 = 0. Solve -5 = s*j - 7*j for j.
1
Let m = 5 + 6. Let l = m - 9. Solve 7*x - l*x = -10 for x.
-2
Let b be -2 + (-19 - -1)/(-3). Solve -6 = -b*k + 2 for k.
2
Let h be 1*-2 - (-5 - 3). Suppose -4*q - 5*z + 57 = 0, 2*q - 2*z - 2*z + 4 = 0. Suppose 0 = -q*y + 3*y + 10. Solve 2*x + y = -h for x.
-4
Let y be -1*2*2/(-1). Let s = -4 + y. Suppose 2*d + 2*p = 28, -3*d - 4*p + 9*p + 10 = s. Solve 5*h + d + 15 = 0 for h.
-5
Suppose 8*o = 3*o + w, 3*o - 2*w = 0. Suppose 4*m = 4 - o. Suppose 2*t - 28 = -5*a, 5*t - 3*a = 9 - m. Solve -t*p + 0 = -8 for p.
2
Suppose 3*x - 5*a - 53 = 0, 0 = 5*x - 3*a - a - 71. Solve 0 = -5*q - x - 14 for q.
-5
Suppose -12 + 18 = 2*l. Solve 2*d + 2 = l*d for d.
2
Let p be 38/(-14) - (-4)/(-14). Let g = -1 - p. Suppose 8 = -i + 3*i. Solve i - 2 = -g*v for v.
-1
Suppose 8 = -7*h + 11*h. Suppose -3*p = 14 + 94. Let f be (-1)/h + p/(-8). Solve 0 = -f*y - 0*y + 4 for y.
1
Let z be (-88)/(1 - 3) - -2. Let v = z - 33. Solve 5*f + v - 3 = 0 for f.
-2
Let n(k) = -k + 1. Let g be n(1). Suppose g - 16 = -2*q. Suppose 23 = 3*d + a, -5*a + q = -2*d - a. Solve -d = -0*m - 3*m for m.
2
Suppose -5*k = -5 - 20. Let w(c) = 2*c**2 + 2*c - 23. Let v(l) = -l**2 - l + 11. Let r(s) = -9*v(s) - 4*w(s). Let u be r(k). Solve -4*m + 7 = u for m.
-4
Let o(d) = d**3 - 13*d**2 + 15*d - 29. Let v be o(12). Solve -1 + v = -2*x for x.
-3
Let j(o) be the first derivative of -o**3/3 + 3*o**2 - 4*o - 3. Let b be j(5). Solve 0 = -5*p + b + 9 for p.
2
Let r(n) = -2*n**2 - 20*n. Let x be r(-10). Solve i - 2*i = x for i.
0
Let o(m) = -m + 3. Let d be o(1). Suppose 4*u = d*u - 5*i + 29, 0 = u - 3*i + 13. Solve u*v = -0*v + 8 for v.
4
Suppose -42 = -5*t - 2. Let l = -24 + 36. Solve -l = 5*q + t for q.
-4
Let x(p) = p**2 + 6*p + 4. Let o = -15 - -9. Let y be x(o). Solve -y*r = 2 + 2 for r.
-1
Let b be 6 - (3 + 2 + -2). Suppose -18 = -b*r + 4*u, 3*r + 2*u - 11 = 7. Solve -4*w + 10 + r = 0 for w.
4
Let q(f) = -f**2 + 4*f - 1. Let v be q(3). Suppose -v*s = 4*i - 22, 7 = -2*i + 3*s + 22. Solve -3*x = -x - i for x.
3
Suppose 3*o - 6 = -4*f + 2*f, 5*f = 2*o - 4. Solve 3 = a + o for a.
1
Let t be (-4)/22 - 501/(-33). Suppose -5*j = -3*w - 0*j + 40, 0 = 5*w + 2*j - t. Solve -w*r + 2*r = 0 for r.
0
Let w = -48 - -53. Solve -15 = -5*z - w for z.
2
Let m(x) = -2 - 6*x - 5 - 3*x - x**2. Let t be m(-6). Solve -3*v = -2 + t for v.
-3
Let q = 22 + -15. Let i = 9 - q. Solve 0 = 3*h + 1 + i for h.
-1
Let w be (-3 - 0) + (-1 - -9) + -1. Solve -w*c + 0*c = 0 for c.
0
Let q(t) = -t**2 + 2*t + 1. Let a be q(5). Let f = -7 - a. Let x be (-8 - -1)*(-12)/f. Solve v - x = 4*v for v.
-4
Let g(r) = 3*r**2 + 1. Let w be g(1). Suppose -3*q - d = w*d + 8, -4 = d. Solve -q = 4*x + 8 for x.
-3
Let z be 150/9 - (-6)/(-9)*1. Solve 14 + z = -6*q for q.
-5
Let o(x) = -7*x - 1. Let d be o(-1). Suppose w - 6 = -1. Solve w*p = 2*p - d for p.
-2
Let d = -11 - -15. Let n = d + -1. Let v be 1*(0 + 0)/(-2). Solve 3*q = -v*q + n for q.
1
Let p be 3/(1 - (-1)/(-4)). Solve -4*n + p = -0 for n.
1
Suppose -140 = 5*b - 12*b. Solve 2*k + 3*k = -b for k.
-4
Let o = 7 - 2. Suppose -18 = -o*f + 7. Solve 0 = 5*z - 10 - f for z.
3
Suppose -25 = -6*p - 7. Suppose 0 = 3*o + o - 20. Suppose -3*b = 4*h - 48, 3*b - 34 = -3*h + 2. Solve -o*n = -p - h for n.
3
Let m(n) = n**2 - 7*n + 8. Let x be m(6). Let b(l) = l**3 + 10*l**2 + 10*l + 12. Let h be b(-9). Suppose -a = h*a. Solve a = x*i + 2 - 8 for i.
3
Suppose 0 = -d + 3*d - 18. Let f = -4 + d. Solve 2*v - 3*v = f for v.
-5
Let s = -23 - -33. Suppose 5*b = 20 + s. Let x = 4 + b. Solve -2 = 4*n - x for n.
2
Let u be (-4)/18 + 4060/45. Suppose 0 = 3*z - 6*z + u. Solve -z + 5 = 5*n for n.
-5
Let j be ((-2)/5)/((-6)/(-120)). Let f(u) = u**3 + 7*u**2 - 9*u - 4. Let q be f(j). Suppose 39 + 13 = q*a. Solve a - 4 = 3*x for x.
3
Suppose 0 = 5*x - 15 - 15. Let v be -4 + 3 + -1 - x. Let h be 54/7 + v/(-28). Solve -k + h = k for k.
4
Suppose 3*v - 3*c = -12, c + 0*c - 4 = 3*v. Let h(a) = -a**2 - a + 10. Let j be h(v). Solve j = 3*q - 5 for q.
5
Let h be 15/12*(4 - 0). Solve 0 = -h*b - 0*b + 15 for b.
3
Let c(b) = -b**3 + 6*b**2 - 4*b - 5. Let l be c(5). Suppose l*q = 2*q. Solve q = -3*h - 16 + 1 for h.
-5
Let q(b) = -2*b - 6. Let d be q(-4). Solve 15 = -d*c + 5 for c.
-5
Suppose 4*z = 9 + 3. Solve -z*o = o for o.
0
Let w(o) be the third derivative of -1/24*o**4 + 0*o + 5/2*o**3 - 2*o**2 + 0. Let v be w(11). Solve -v*j + j = 3 for j.
-1
Suppose i = -z, -2*z - i + 10 = z. Suppose 3*k + k - 2 = -2*d, 5*d - 20 = -z*k. Let r = 9 - d. Solve 0 = -r*l + l for l.
0
Let s(y) = y**3 - 1. Let a(l) = 5*l**3 + 6*l**2 - 7*l - 9. Let z(j) = -a(j) + 4*s(j). Let x be 4 + -11 + -4 + 4. Let r be z(x). Solve -4*h + r - 1 = 0 for h.
1
Suppose p = -5*d + 3*p + 27, -29 = -5*d + 4*p. Suppose 0 = -2*u + 1 + d. Solve -2*c = -u*c for c.
0
Suppose 5*i - 68 = i. Let f = -13 + i. Solve w = f*w - 12 for w.
4
Let c be 30/3*(-3)/(-6). Solve 3*n + c = 2*n for n.
-5
Let r be 5 - 3/((-3)/(-2)). Suppose 3*w = -y + 11 + 1, -r*w + 15 = 2*y. Solve w*u = 4*u - 3 for u.
3
Let f = -12 + 15. Solve -3 = f*z - 18 for z.
5
Let d be (-5)/(3/(-4 + 1)). Let w be 4 - 1 - 5/d. Solve -w*l = -l + 5 for l.
-5
Let p(w) = 61*w**3 + 3*w**2 - 60*w**3 - 9 - 9*w**2 - 5*w. Let h be p(7). Solve 4*x + 17 = h for x.
-3
Let r(b) = -4*b - b**3 - 3 - 4*b**2 + b - b. Let p be r(-3). Solve p = -3*q - q + 8 for q.
2
Let b be 4/22 + 588/154. Solve 0 = -b*l - 20 for l.
-5
Suppose -5*s + 35 = b, 2*s + b - 11 = s. Suppose 0 = -3*w + s*w - 6. Solve -2*v = w*v - 16 for v.
4
Let j = -10 - -10. Suppose u = 5*r - 16, 4*u + 7 + j = r. Solve -r - 5 = 4*o for o.
-2
Suppose -4*w + 0 = -20. Solve -w*c = -0 + 20 for c.
-4
Suppose 5 - 1 = -2*q. Suppose -7 - 3 = -5*n. Let b be 3 - -1*n/q. Solve 3*x - b*x = 0 for x.
0
Let b(k) = 3*k + 63. Let s be b(-20). Let y = 9 + -4. Suppose 2*f + y = 15. Solve 2*u + f = -s*u for u.
-1
Suppose 0 = -0*b + 4*b + 8. Let p be 8 + (3 - -3)/b. Solve 0*v - p = -v for v.
5
Let c(j) = j**2 + 6*j + 8. Let a be c(-5). Solve 0 = a*m + m + 8 for m.
-2
Suppose -4*f - 14 = f + n, -4*f + 5*n - 17 = 0. Let i = f - -5. Solve i*k = -3*k + 15 for k.
3
Suppose 0*h = -3*h + 3. Solve 0 = 2*c + 5 + h for c.
-3
Let h(d) = -d**3 - 15*d**2 - 13*d + 19. Let a be h(-14). Solve -5 = -a*s - 25 for s.
-4
Let m(h) be the second derivative of 0 + 2/3*h**4 + 7/2*h**2 + 1/20*h**5 + 7/6*h**3 + h. Let i be m(-7). Solve -5*g - 22 = -i for g.
-3
Let t(u) = 3*u - 5. Let b be t(7). Let a be (0 - 0) + b + -7. Solve -3*y = -0*y + a for y.
-3
Let w(d) = -d**2 + 10*d + 11. Let r be w(10). Suppose r*p - 6*p = 25. Solve p*g = 3*g + 4 for g.
2
Suppose a - 2*s - 3 = 10, -4*a - s + 16 = 0. Solve 0*t - a*t = 15 for t.
-3
Let g(q) = -q**2 + 14*q - 35. Let i be g(6). Solve -3*y + i = 4 for y.
3
Let u be (-12)/1*13/(-52). Suppose -4*g + 4*j + j = -65, 0 = -2*g + u*j + 31. Solve 6*a + g = 2*a for a.
-5
Let x be (0 - -2)/(-1) + 9. Let v be ((-1)/2)/((-2)/20). Suppose 2*g - g - x = 5*i, v*g = i + 59. Solve 7*r = 4*r + g for r.
4
Let x(l) = l - 3. Let r be x(0). Let t = r - -5. Suppose a = -t, a - 4 = -2*s + 2*a. Solve 5*p + s + 4 = 0 for p.
-1
Suppose 11 = 2*p + 1. Solve 5*q = -p - 20 for q.
-5
Let u(c) = -c**2 - 4*c - 6. Let v be u(-4). Let t(p) = -2*p - 2. Let z be t(v). Let l be (24/(-9))/((-2)/3). Solve l*f + 10 = -z for f.
-5
Let a = 19 + -19. Solve -3*s - 2*s + 25 = a for s.
5
Let a(i) = i**3 + 0*i**3 + 4 - 3. Suppose 0 = 3*k + 6 - 3. Let g be a(k). Solve 9*o - 4*o - 10 = g for o.
2
Suppose r + 2 - 4 = 0. Suppose 6*q - 20 = r*q. Let c(w) = 3*w**2. Let z be c(-1). Solve 17 = -q*s - z for s.
-4
Suppose -3*r - 7*j + 2*j + 27 = 0, -5*j = -4*r + 1. Let x be (2/r)/((-1)/(-6)). Suppose -o = -2*y - 9, 0 = 3*o + 2*o - x*y - 31. Solve -3 = -2*c - o for c.
-1
Let d be (3 + -2)*(0 - 0). Let g = 2 - d. Solve 1 = g*n - 1 for n.
1
Let o be 16/6*12/16. Solve 0 = o*u + 3*u - 20 for u.
4
Let j be ((-20)/5)/(1 - 0). Let g = j + 9. Solve h = 2 - g for h.
-3
Let z(q) = q**2 + 3. Let h be z(-3). Solve -4*t - h = -t for t.
-4
Suppose 0 = -11*v + 8*v + 9. Solve v*x - 15 + 6 = 0 for x.
3
Suppose -2*t + z = -0*z - 12, -4*t - z = -12. Solve y = -t*y for y.
0
Let c(g) = -5*g**3 - g - 1 - 2*g**2 + 3*g**2 - 5. Let k(p) = 4*p**3 - p**