o - 6 + 4 = b for o.
2
Let m be 0 + 8/(-4) - -7. Solve 11*z + 17 = -m for z.
-2
Let s(j) = -j**3 - 14*j**2 - 12*j + 17. Let a be s(-13). Solve 2*i + a*i = 0 for i.
0
Let b be (-55 + 56)*(2 - -9). Solve 15*z + b = -34 for z.
-3
Let o = -1684 - -1688. Solve -20 = 9*l - o*l for l.
-4
Suppose 5*x + 6 = l + 23, -2*x + 4*l - 4 = 0. Let a be x/22 - 163/(-11). Let m(z) = z - 9. Let f be m(9). Solve f = -0*s - 3*s + a for s.
5
Let x(b) be the second derivative of -b**4/12 + 2*b**3/3 + 7*b**2 + 5*b. Let k be x(6). Solve 0 = 2*z - 4 + k for z.
1
Suppose 0*x = 2*h + x - 14, 2*x = -h + 13. Let f be (-18)/33*(-198)/54. Solve -h*d = -f*d for d.
0
Suppose -4*g + 5*i + 62 = 0, -16 = 2*g - 4*g - 5*i. Suppose 9*j + 8 = g*j. Let x(l) = l + 8. Let w be x(-8). Solve w = j*n - 5*n + 15 for n.
5
Let y be (-6)/((-4 + 2)/4). Let c be y - (-4 + 3)*-3. Suppose 4 = -5*k + c*k. Solve 9 + k = -5*i for i.
-2
Let m = 0 - -9. Let o(l) = -l**2 + 9*l + 4. Let p be o(m). Suppose 0 = p*b + b. Solve b = 3*k - 2 - 1 for k.
1
Let j be -2*(3 + (-11)/2). Let g = -1 + j. Suppose g - 24 = 4*y, 3*i - 5*y = 25. Solve 4*o + o = i for o.
0
Let d(f) = -40*f**2 + f. Let g be d(1). Let y be (g + 6)*(-1)/3. Let j be y/22 - 3/(-2). Solve q = j*q for q.
0
Let a be ((-6)/(-1))/(3/34). Solve -65*t - 9 = -a*t for t.
3
Let t be 12 + -1 + 21 + -26. Suppose -20 = -t*v + 34. Solve 0 = s + v - 4 for s.
-5
Let f(k) = -k**2 + 15*k - 4. Let a(b) = b**2 + 1. Let y(g) = 4*a(g) + f(g). Let m be y(-5). Solve 0 = -m*r - r + 2 for r.
2
Suppose 0 = -2*m + m + 39. Let z = m + -23. Solve 3*n - z = -n for n.
4
Let q(m) = -11*m**3 - m**2 + 3*m - 2. Let o be q(1). Let k(t) = t**3 + 12*t**2 + 13*t + 22. Let h be k(o). Solve h*n - 4*n + 16 = 0 for n.
4
Suppose -121*v = -117*v - 12. Solve 6 = v*w - 5*w for w.
-3
Let t be (2 + 7)*(-180)/(-135). Solve 48*n - 45*n = -t for n.
-4
Suppose 2*f = -11 + 23. Let y be 4/f*-6 - -5. Solve 3*u + 7 = y for u.
-2
Let l be ((-36)/39)/(-6) - 72/(-39). Solve -10 + 6 = -l*c for c.
2
Suppose 12*n - 18 = 14*n. Let z be -1 + (1/3)/((-1)/n). Solve z*d = d for d.
0
Let u(j) = 3*j - 51. Let z be u(18). Solve z*f + 5*f = 2*f for f.
0
Let h(f) = f**2 + 13*f - 6. Let z be h(-14). Suppose z*x - 2 = 7*x. Solve 0 = x*q - 4*q for q.
0
Suppose -4*b = 5*t + 40, t = 3*b + 8 + 41. Let n be b/(-30) + (-11)/(-2). Solve -a + 10 = -n*a for a.
-2
Let y be 4/5 + (-366)/(-30). Let d = -14 + y. Let z be 2 - 6 - -15 - d. Solve 2*w - z = 6*w for w.
-3
Suppose 63*l = 60*l. Solve 2*h - 8*h = l for h.
0
Suppose 4 = -2*v + 5*m - m, 0 = -3*m + 9. Suppose 0 = -0*s + 33*s. Solve s*h = -v*h for h.
0
Let b = -11 - -12. Suppose 0 = q - 5*g + 24, -5 = q - g - b. Let d(r) = r**2 + 1. Let n be d(q). Solve -n*o + 6 = o for o.
2
Let c(v) be the third derivative of v**5/60 + v**4/6 - 3*v**3/2 + 12*v**2. Let z be c(-6). Solve -y = z + 2 for y.
-5
Let u(b) = 3*b - 4*b + 11 + 2*b - 3. Let y be u(-5). Suppose y*h - 3*m - 2 = 5*h, -2*h = m - 2. Solve h*i = 2 + 6 for i.
4
Suppose -5*u + 3*n + 37 = 0, u = 16*n - 14*n + 13. Solve 0 = -u*i + 6*i + 5 for i.
-5
Suppose 0*d - 2*d = 10, 2*c - 5*d = 55. Solve 7*q = 4*q - c for q.
-5
Let q be 4*(-4)/(-40) - 58/(-5). Solve q*o - 44 = o for o.
4
Let q(a) = 3*a - 6. Let z be q(16). Suppose -15*n + z = 12. Solve n*x + 2 = 4 for x.
1
Let y be (-9 - -1)*(-2)/8. Suppose 2*u + 3*p = 22, 2*p - 6*p = y*u - 26. Suppose 4*r - 29 = -3*n, 0*n - 25 = -u*n - 2*r. Solve 0*i = n*i for i.
0
Let s(c) = -c**2 - 19*c - 15. Let h be s(-18). Suppose -h*w + 0*w = -0*w. Solve -j - 4*j - 25 = w for j.
-5
Let q(u) be the first derivative of -u**5/120 + u**4/24 + u**3/3 - 1. Let w(f) be the third derivative of q(f). Let p be w(-2). Solve s + p = 4 for s.
1
Let s(k) = -k**2 + 16*k - 10. Let c be s(15). Suppose -3*u + b + 6 = 0, -c*u - b + 12 = -2*b. Solve -5*z - u - 7 = 0 for z.
-2
Let d = -393 + 405. Solve -d*q + 2*q = 20 for q.
-2
Let i(q) = 115*q - 44. Let n be i(1). Solve -n = -5*b - 61 for b.
2
Let j be (32 - 1)/((-23)/(-23)). Solve 10*o + j = -9 for o.
-4
Let o be (12/(-8))/((-6)/8). Suppose -a = -2*a - o*a. Solve -h + 6*h = a for h.
0
Let k be 96/144 - 1*(-4)/3. Solve k*z + 4 = z for z.
-4
Let q(g) = -g**3 - 16*g**2 - g - 13. Suppose 2*n - 1 = 7, -2*v = -5*n + 52. Let w be q(v). Solve -j + w = 2*j for j.
1
Suppose f - 2*g + 3 = g, 3*f + 37 = -5*g. Let n be 6/8 + (-21)/(-4). Let t be (-24)/f + 2/n. Solve t*y + 0 + 6 = 0 for y.
-2
Let x(u) = -u**3 + 30*u**2 - 24*u - 139. Let w be x(29). Solve -6 = w*a + 18 for a.
-4
Suppose 220 = 11*s - 451. Solve -62*h + 1 = -s*h for h.
1
Let q = 228 + -223. Solve 1 = -q*l - 14 for l.
-3
Let c be (-2 - (-1 - 2))*0. Suppose c = 2*a + 3*a - 10. Let d = a - 0. Solve -v + d = -1 for v.
3
Suppose 3*x - 4*p - 85 = 0, -2*x - 4*p + 54 = -8*p. Let b = -30 + x. Solve 3 - b = 2*h for h.
1
Let b(q) = -q**3 + 6*q**2 + 11*q - 23. Let p be b(7). Let n be (-9)/p*(-30)/18. Solve -1 - 11 = n*v for v.
-4
Let s = 1 - -2. Let v = 6 - s. Let c = 11 - 5. Solve -u = -v*u - c for u.
-3
Let t(w) = -w**2 - 23*w + 22. Let b be t(-24). Let z be b/3 - 8/(-12). Solve -4 = -z*a - a for a.
4
Let m(i) be the second derivative of -i**4/12 - 5*i**3/6 + 11*i**2/2 - i - 2. Let n be 64/(-10) + (-6)/(-15). Let v be m(n). Solve -v*d + 3 = -2*d for d.
1
Suppose 0 = 3*r + 7*r + 720. Let h = r + 72. Solve h = -t + 6*t for t.
0
Suppose 47*x + 38 = 46*x. Let c = x - -43. Solve 5 = c*f + 15 for f.
-2
Let d be -31 - -4*(-3)/(-6). Let f = d - -29. Suppose f = -0*g + g. Solve g = 2*c + 3*c + 10 for c.
-2
Suppose 0 = -4*z, -3*w + 2*w - 5*z = -3. Suppose 0 = -4*x + w*x. Solve x = -5*s - 11 + 1 for s.
-2
Let r be (-4 + -47)/(-3) - 2. Let c be -12 - -9*(-5)/r. Let i = c + 15. Solve i = -s - 3*s - 12 for s.
-3
Let s(l) = -34*l + 219. Let r be s(5). Solve -13*c + 3 + r = 0 for c.
4
Suppose -2*p = -5*p + 141. Let j = 55 - p. Solve j = -0*o - 2*o for o.
-4
Let z(y) = -y**2. Let c(a) = -3*a**2 - 8*a + 7. Let o(l) = -c(l) + 2*z(l). Let q be o(-7). Let x = q - -21. Solve 9 = -4*d - x for d.
-4
Let r(o) = o**2 - 4*o + 7. Suppose 0*y = 6*y - 30. Let i be r(y). Solve 2*g - 6*g + i = 0 for g.
3
Let i(g) = -g**3 + 4*g**2 + g - 2. Let m be i(4). Suppose d + 4 = m*d. Solve -5 = b + d*b for b.
-1
Let t be -2 - ((7 - (4 - 0)) + -12). Solve 0 = -t*s + 5*s + 10 for s.
5
Let n = 428 + -425. Solve -3*m + 6*m = -n for m.
-1
Suppose 4 - 1 = 2*g + 3*i, 5*g = i + 33. Solve 20 + 10 = g*b for b.
5
Suppose 4*n + 10*n = 70. Suppose 3*z + 19 = n*u, -z - 13 = -3*u - 0*u. Solve -4*k + z = 14 for k.
-3
Suppose 30*b - 32*b + 14 = 0. Solve -b*i = -i for i.
0
Let q be 217 + 65/(-5) - -2. Solve -y - q = -205 for y.
-1
Let x = -87 + 99. Solve -x = 4*o - o for o.
-4
Let z be 2*(1 + 3/(-2)). Suppose 7*a + 19 + 9 = 0. Let b be 2/a*4*z. Solve 0 = b*v - 3 - 3 for v.
3
Let a be (-4)/(-7)*(3 - -4). Let o be (575/100)/(2/8). Solve -a*c - o = -7 for c.
-4
Let y = -24 - -24. Suppose y = 3*s - 8*s + 15. Suppose -s*j = 2*j - 20. Solve 2 = -2*g - j for g.
-3
Suppose 0 = -33*g - 14*g + 893. Solve g*x + 11 = 8*x for x.
-1
Let d(y) = -12*y - 128. Let x be d(-11). Solve -x*l + 1 = 9 for l.
-2
Let x(d) = -2*d**2 - 19*d + 12. Let w be x(-10). Solve -b + w - 3 = 0 for b.
-1
Let z(p) = -p + 4. Let g be z(0). Suppose 0 = 3*a + q + 19, -a + 3*a - 9 = -5*q. Let v(y) = -2*y - 4. Let s be v(a). Solve -s = -4*t - g for t.
2
Let u(s) = -s**3 - 34*s**2 - 35*s - 66. Let z be u(-33). Solve c + 2 = -z*c for c.
-2
Suppose 0*h = 4*h + 8. Let f(r) = 9*r + 2. Let n be f(h). Let o = -12 - n. Solve 0 - o = -2*v for v.
2
Let b = 33 - 35. Let x be b - (-1 + (-3)/3). Solve -3 + x = -3*m for m.
1
Let n = -63 - -122. Let k = n - 52. Solve 9 + k = -4*g for g.
-4
Suppose -5*y - 14 = -4*p, 6*p + 2 = 3*y + p. Let r be y/4 - 187/(-34). Suppose -3*h + 2 + 6 = -z, 5*h + r*z = 36. Solve 7*d - h = 3*d for d.
1
Let a be 409/12 + (-52)/624. Solve 6 = -10*h - a for h.
-4
Let i = -24 + 28. Suppose 0*p + i = p. Solve -p = -2*f - 0 for f.
2
Let z(p) = p**3 - 11*p**2 - p + 15. Let w = 83 + -72. Let m be z(w). Solve 3*o + m = 2*o for o.
-4
Let q = 247 + -227. Solve 0 = 5*o - q for o.
4
Let n(p) = -p**3 + 17*p**2 - p + 17. Suppose 4*i - 5*f - 93 = 0, -2*f + f = 3*i - 46. Let h be n(i). Solve h = 2*a - 0*a for a.
0
Suppose 0 = -17*g + 18*g - 4*f - 15, -31 = -5*g - 2*f. Solve 8*q + 5 = g*q for q.
-5
Let q(z) = -z**3 + 2*z**2 - 6*z - 1