p - n = 0. Let z = -1 + 1. Solve -2*g - h*g + 12 = z for g.
3
Let m be -4 + 2/(-6)*-93. Let b be (-6)/m - (-249)/27. Solve g = -2*g + b for g.
3
Let j be (-72)/24 - -3*3. Solve -6 + 0 = j*h for h.
-1
Let s(c) = -5*c - 5. Let r(t) = -t - 1. Let x(u) = -11*r(u) + 2*s(u). Let d be x(4). Solve -d*j = -13 - 2 for j.
3
Let a(i) = -i - 2. Let s be a(-4). Suppose -4*u + 2*g + 46 = 0, -u + 16 = 2*g + 2*g. Solve -s*q - u = q for q.
-4
Suppose 0*r = -2*r + 8. Let m = 7 - r. Suppose -m*o + 8 = o. Solve v - o = -5 for v.
-3
Let q be ((-5)/15)/(2/(-24)). Solve -q*i = -3*i - 1 for i.
1
Let l(a) = 2*a**3 - 2*a**2 + 1. Let p be l(1). Let m = 5 - p. Let y(c) = -2*c**2 - 12*c + 2. Let h be y(-6). Solve -2 - h = -m*r for r.
1
Suppose 0 = 2*i + i - 18. Solve -6 = -3*t + i*t for t.
-2
Let j = -80 + 82. Solve 0 = j*y - 4*y + 2 for y.
1
Suppose 8 = -2*m + 4*m. Suppose 4 = 5*d - 11. Suppose 5*g = 2*g. Solve -n + m - d = g for n.
1
Suppose 0 = -h + 4, 0*p - p = 4*h - 18. Solve p*b = -b - 15 for b.
-5
Let j = 2 + -2. Suppose -10*m + 4*m + 24 = 0. Solve 2*r = -j*r - m for r.
-2
Suppose -v - d - 8 = -5*d, 4*d = -3*v + 24. Suppose v*r - 22 + 6 = 0. Suppose 5*b - 3 = r*b. Solve b*k = k + 4 for k.
2
Let k be ((-2)/(-1) - 2)/1. Suppose q + 3 - 7 = k. Solve 9*p + 5 = q*p for p.
-1
Let o = 11 - 8. Solve 0*i = -i + o for i.
3
Let b = 12 + -7. Solve -4*u = -3*u + b for u.
-5
Suppose 7 = -3*z + 7. Solve z = -3*x - 4 - 5 for x.
-3
Suppose -2*b = -2*y + 7*y + 1, 3*b = 5*y + 11. Suppose -x - b = 2*i, -2 - 4 = i + 3*x. Solve -3*v = -i*v - 3 for v.
1
Let l(b) = b**3 + 16*b**2 - 18*b - 12. Let s be l(-17). Solve s*w - 4*w + 3 = 0 for w.
-3
Suppose -3*l - 25 = -5*k, 9 + 3 = k - 2*l. Suppose k*r = -4 - 12. Let b = -8 - r. Solve 4*o + 1 - 13 = b for o.
3
Let s(d) = -d. Let t be s(-3). Suppose -3*u - 3 = -3*i, 3 = 5*u + 5*i - 2. Suppose -t*w - 2*w + 35 = u. Solve 2*c - w*c = 10 for c.
-2
Suppose 5*x + 3*l - 25 = 0, -x - 3*x + 20 = -l. Suppose 0 = z - 0 - 2. Suppose -i + 3 + 6 = 2*r, 2*r - z*i - 24 = 0. Solve -8 = -x*c + r for c.
3
Let w be (-23)/(-7) - 4/14. Suppose 0 = -i - w + 5. Suppose 12 = -4*q - 5*y, 3*y + 10 = q - i*q. Solve q*n = n + 2 for n.
2
Suppose -5*b = -2 - 3. Let w be (1 - (b - 0))*1. Let a(u) = u**3 - 5*u**2 - 4*u. Let j be a(6). Solve 0*d + 4*d + j = w for d.
-3
Suppose 4*x - 5*x = -14. Let c = 29 - x. Solve 4*w + 5 + c = 0 for w.
-5
Let c = 45 + -69. Let g = c + 24. Solve t + 2*t - 3 = g for t.
1
Let u = -2 - -6. Solve 3 - 23 = -u*d for d.
5
Let i = 92 + -89. Solve -4*y + 3*y = -i for y.
3
Let p(a) = a**2 - 5*a - 3. Let l be p(6). Let g = -46 + 49. Solve -l*h = -0 - g for h.
1
Let c(a) = -a**2 - 11*a - 19. Let m be c(-8). Suppose -r - 15 = -3*o - 3*r, -m*o = r - 25. Solve 5*y - 5 - o = 0 for y.
2
Let p be 4/(-18) + (-504)/(-81). Solve p = -4*n + 2 for n.
-1
Suppose -4*r = -4*v - 0*v - 64, 0 = -5*v - 2*r - 59. Suppose 0 = -m + 1 - 7. Let c = m - v. Solve 2*q - 1 + c = 0 for q.
-3
Suppose 0 = 5*y - 15*y + 10. Solve 1 + y = 2*s for s.
1
Suppose -55 = -4*m - 47. Solve -m*i = -0*i for i.
0
Suppose -3*j = j - 40. Let k be (-9)/18 - 10/(-4). Solve k*b = -3*b + j for b.
2
Suppose 0*p - 3 = -p. Let j be p/(-1) - 23/(-1). Suppose -4*i + j = -3*h + 6*h, 0 = i + 2*h - 10. Solve -3*d = -2*d + i for d.
-2
Suppose 23 = 3*q + 4*p + 1, 20 = 4*q - 4*p. Solve 2*y - q = 4*y for y.
-3
Suppose -2*z + 12 = z. Let w be 15/20*(-16)/2. Let x = -1 - w. Solve -x = -k - z*k for k.
1
Suppose 0 = -4*u + 16. Suppose s - u = -s. Suppose 0 = -s*q + 3*d + 19, -d - 13 = q - 3*q. Solve 0 = q*v + 10 for v.
-2
Let m = -4 + 6. Suppose -5*d + 4*c - 371 = 0, -4*d - m*c - 221 - 81 = 0. Let q be (-4)/6*d/10. Solve -q*r = -3*r for r.
0
Let a = 66 - 62. Solve -a*y - y = 0 for y.
0
Let w be (-2)/(-6) - 260/6. Let t = 63 + w. Suppose 5*s - s - t = -j, 20 = 3*j + 2*s. Solve 5*r = 11 + j for r.
3
Let r be 5 + -1*(2 + -1). Suppose 0*k - 8 = d + 3*k, 0 = -k - r. Suppose -1 = -p - i, d*i + 0 + 20 = 4*p. Solve -7*x + 16 = -p*x for x.
4
Suppose 2*c = 6*c + 104. Let z be c/(-10) - 6/(-15). Solve 0*b - z*b = 0 for b.
0
Let j(l) = -l**3 - 2*l**2 + 3*l - 1. Let z be j(-3). Let y = z - -3. Suppose p = -3*x - 2*p + 33, -2*x + 3*p + y = 0. Solve 1 = -2*b + x for b.
3
Suppose 2*x - 4*v + 5 = 1, -4*v = -5*x + 20. Solve -q - x = q for q.
-4
Suppose -3*b + 12 = -3*j, 4*j - 4 = -2*b + b. Suppose 12 = b*f - 0*f. Solve w = 5 - f for w.
2
Let m = 6 + -4. Let v be (-5)/(-10) - 1/(-2). Let g = m + v. Solve -g = 2*h - 5*h for h.
1
Let m be 0/(2*(-1)/(-2)). Solve -2*r + 5*r = m for r.
0
Let a(v) be the third derivative of v**6/120 + v**5/5 + 5*v**4/12 - 11*v**3/6 - 4*v**2. Let s be a(-11). Let n = s - -3. Solve -n*h - 2*h + 10 = 0 for h.
2
Let q(g) be the first derivative of g**2/2 + 10*g + 3. Let i be q(-7). Solve i*o - 4*o = 0 for o.
0
Suppose -a - 3*c = 19, -2*a - 2*a - 5*c = 55. Let n = 11 + a. Solve 21 = -5*v + n for v.
-4
Suppose -4*j - 1 - 15 = 0. Let b = j + 4. Solve -2*k + 0*k = b for k.
0
Let j be (-1 - -4) + 3 + 0. Solve 0 = -j*i + 4*i for i.
0
Let d(p) be the first derivative of -p**2/2 - 2*p + 1. Let u be d(-4). Suppose -2 = -i + u. Solve 0 = -2*x - 0 + i for x.
2
Let r = -8 - -11. Suppose -r*i + 7 = -m, -i - m - 5 = -2*i. Suppose -5*x + 16 = 3*n, 2*n + 26 = 4*x - 0*n. Solve x*s = -9 - i for s.
-2
Suppose -5*y + 12 = -3. Suppose 0 = -6*z + 2*z. Let u = z - -3. Solve 0 = -3*v + u + y for v.
2
Let w(f) = 8*f**2 - 13*f - 6. Let a(v) = 7*v**2 - 12*v - 6. Let k(n) = 7*a(n) - 6*w(n). Let o be k(7). Solve -4*j - 5 + o = 0 for j.
-1
Let a(q) = 2*q - 1. Let b be a(-7). Let s be ((-20)/b)/((-2)/(-3)). Suppose 3*k = -n + 5, -14 = -s*k + 4*n - 6. Solve -j = j - k for j.
1
Let v(m) = 33*m + 3. Suppose 5 = 4*i - 5*i, 5*a = -5*i - 35. Let d be v(a). Let r be d/(-12) + 1/(-4). Solve -3*g + r*g = 0 for g.
0
Let p = -22 + 27. Suppose 8 = q + p. Solve 0 = -q*r - 0 + 3 for r.
1
Let p = 7 - 5. Suppose 0*x - 2*q = 3*x, -2*q = -5*x + 16. Let w(y) = 8*y**2 - y + 1. Let m be w(1). Solve -m = -p*z - x*z for z.
2
Let t be 2 - (0/(-5) - -2). Solve -1 = -i - t for i.
1
Let z(d) = 2*d + 4. Let h be z(-2). Suppose 6*q - q = 0. Suppose q = 3*f - 6*f. Solve h = -3*x - f*x for x.
0
Let o = -13 + 31. Suppose 3*d = -p + o, 3*p + 2*d + d - 24 = 0. Suppose 4*h + 5*s - 19 = 0, 5*s = -3*h - 0*s + 18. Solve 4*m - p = h for m.
1
Let a(q) = 4*q - 14. Let v be a(4). Solve 0 = -v*z - 2 for z.
-1
Let l be 2/(-4) - (-10)/4. Suppose 0*w - l*d + 2 = 4*w, -5 = -5*d. Let m be (-4 - -6) + (-1 - 1). Solve 3*h - 3 + m = w for h.
1
Let r(w) = 10*w**2 - 1. Let m be r(1). Solve 0 = m*q - 5*q for q.
0
Suppose 4*j + 19 = z - 5, -5*j = -2*z + 33. Suppose 3*s + 2 = -2*s + z*w, 3*s + w - 9 = 0. Suppose 0 = p + b - 7, 5*b = 11 + 14. Solve -s*q - p*q = 0 for q.
0
Let a(q) = q - 5. Let l be a(10). Suppose l*p + 3 = x + 2*x, 5 = 5*x - 3*p. Let u(n) = n**2 + n - 1. Let t be u(x). Solve 0*d = d - t for d.
1
Let z = 9 - 6. Let j = 2 + z. Solve -j*i + 4 = -1 for i.
1
Let a = 24 - -5. Let d = a - 12. Suppose 0 = -4*i - 8, -i + 8 = 3*r - 2. Solve r*z = 1 - d for z.
-4
Let t(x) = 3*x - 10. Let c(v) = 3*v - 9. Let l(f) = 3*c(f) - 2*t(f). Let s be l(7). Solve 4*a + s = 2 for a.
-3
Let q(w) = -w**3 - 28*w**2 - 26*w + 35. Let b be q(-27). Solve -2*f - 2*f - b = 0 for f.
-2
Suppose -v + 3 + 0 = 0. Solve 2*z - 10 = -v*z for z.
2
Suppose -5*g = 5*m - 20, -4*g + 10 = g - 5*m. Let r(q) = 2 + 0 + g*q**3 + 5*q - 4*q**2 - 4*q**3. Let z be r(-5). Solve v + 2 = z*v for v.
2
Let o = 36 + -32. Solve -d + 2 - o = 0 for d.
-2
Suppose 0 = 16*n + 6*n - 176. Solve 0 = -9*m + n*m for m.
0
Let s(m) = -m**3 - m**2 + 2*m - 1. Let b be s(1). Let d be (1 + b)*1/(-2). Solve d = -4*l + 4 + 16 for l.
5
Suppose -19*t + 26 + 50 = 0. Solve 8*w = t*w - 20 for w.
-5
Let b(f) = 5*f**2 - 3*f**2 - 5*f - 6*f**2 + f**3 + 3 + 0*f**2. Let l be b(5). Let z be (0 + 1)*(2 - 2). Solve z = h - l + 1 for h.
2
Let v(c) = -c**3 + 6*c**2 + 13*c - 36. Let q be v(7). Solve q*r - 11*r = 0 for r.
0
Let j be (-3)/(-6)*6 + 10. Let g(d) = -3*d**2 + 11*d + 19. Let c(w) = 2*w**2 - 7*w - 13. Let i(f) = 7*c(f) + 5*g(f). Let s be i(6). Solve -s*k - 7 = j for k.
-5
Let h = 118 - 116. Solve -3*p = -h*p + 3 for p.
-3
Let f(q) = q - 1. Let j be f(4). Suppose 0*r - r + j = 0. Let s be -2 + 7 + (-6)/r. Solve 0 = s*n - 15 - 0 for n.
5
Suppose -7*d + 6*d = 10. Let c =