-9 + n. Solve s*d - 6*d + 3 = 0 for d.
1
Suppose k - 11*k = 920. Let j = 94 + k. Solve -r - 1 = j for r.
-3
Let p be 1*(6 - 5/5). Suppose p*c + 4*f + 7 = 6*f, 0 = 2*c + 3*f + 18. Let v(b) = -b**3 - 2*b**2 - 4. Let w be v(c). Solve m + w = 1 for m.
-4
Let r(y) = -y**2 - 6*y + 2. Let i be r(-2). Suppose 4*g - 14 = 2*w, 3*g - 6*w + 6 = -i*w. Solve 11 = g*v + 1 for v.
5
Let r = -3 + 13. Suppose -10*j - 2*j + 24 = 0. Suppose 0 = o - 2*a - 5 - 5, -r = -j*o + 2*a. Solve o = 7*p - 3*p for p.
0
Suppose -10 - 10 = -4*u. Suppose 3*c + u = 17. Solve -13 = -3*p - c for p.
3
Suppose -28*i = -25*i + 3*d + 15, 3*i = 5*d + 25. Solve -7*y + 9*y + 8 = i for y.
-4
Let d be 1*32/(1/((-3)/(-3))). Let m be (8/d - (-2)/(-8))/3. Let q(y) = y**2 - 10*y + 10. Let h be q(11). Solve 5*t + 4 + h = m for t.
-5
Let j(a) = a + 6. Let n(h) = -h - 7. Let l be n(-3). Let z be j(l). Solve z*g = -2*g - 20 for g.
-5
Let h be -2 + 1 + (-6 - -15 - 5). Suppose -h*a = f + 3*f - 24, -3*a = 2*f - 12. Solve -5*d = -2*d - f for d.
2
Suppose -12 = -0*h - 3*h. Suppose 3*q = h*l - 38, 19 = 3*l + 5*q + 5. Solve -l = -v - 3 for v.
5
Let k be (2 + 0)*(2 + -1). Solve 0 = k*o - 3*o + 4 for o.
4
Suppose 11 + 21 = 8*o. Suppose -h + 3 = 1. Suppose h*v = 4*v - 6. Solve v*i - o = i for i.
2
Let r(j) be the first derivative of 3*j**2/2 + 39*j + 25. Let y be r(-13). Solve v - 1 - 3 = y for v.
4
Let c(k) = 4*k**2 + 90*k + 50. Let g be c(-22). Solve 0 = 5*m + 9 + g for m.
-3
Suppose 152*q = 154*q. Solve q = -3*j - 9 + 6 for j.
-1
Suppose 0 = 3*y + 2*c - 11, -2*c + 0*c = -4*y + 10. Let a be 4/8*-2*y. Let f be (-17)/(-4) + a/(-4). Solve 0 = -4*j - 1 + f for j.
1
Let i(x) = -x**2 + 9*x - 4. Let v be i(4). Solve 3*d - v = -d for d.
4
Let j = 17 - 59. Let i = -38 - j. Solve -i - 1 = 5*f for f.
-1
Let k = -433 - -443. Solve -3*f - 2*f - k = 0 for f.
-2
Let w(f) = -f**3 + 46*f**2 + 147*f + 40. Let s be w(49). Solve s*u - 38*u = 4 for u.
2
Suppose -5 = -2*z + 1. Suppose -2*g = -6*g + 20. Suppose 12 = g*y + h, 2*y + 2*y - 4*h = 0. Solve -13 = y*u - z for u.
-5
Suppose 1 = -2*g + 9. Let k = -21 - -24. Solve -k = g*p - 7 for p.
1
Let t = 387 - 142. Let m be 7/(t/(-10)) + 30/7. Solve -m*i - 6 - 10 = 0 for i.
-4
Suppose -2*t - 4*p = 38, -3*t - 4 = p + 78. Let f = -24 - t. Solve -f*n - 6 = 4 for n.
-2
Let c be 30/(-4) - 7/14. Let f = c + 12. Solve 3*l = -5 - f for l.
-3
Suppose -3*w + 36 = 3*i, 5*i = -2*w - 12 + 66. Solve 3*j + i + 2 = 0 for j.
-4
Let g(r) = -37*r - 45 + 19*r + 22*r. Let s be g(15). Solve 4*l - s - 5 = 0 for l.
5
Let q(p) = p**3 + 7*p**2 - 7. Let b be q(-3). Solve 27*c = b*c - 6 for c.
3
Let m(a) = 6*a**2 + 22*a - 2. Let h(n) = -5*n**2 - 21*n + 2. Let r(j) = 5*h(j) + 4*m(j). Let g be r(-17). Solve -2*i - 12 = g*i for i.
-3
Suppose -12 = 2*j + 3*s, s = -4*j + 3*s + 8. Suppose 6 = n - j. Let p be (-2 + 2)*3/n. Solve p*v - 6 = -3*v for v.
2
Suppose 58*v + 700 = 63*v. Suppose 10*t - v = 3*t. Solve 3*b - t + 8 = 0 for b.
4
Let v(k) = k**3 - 4*k**2 + 3*k + 4. Let y = 26 + -23. Let i be v(y). Solve -o + i - 3 = 0 for o.
1
Suppose n + 4*t + 7 + 4 = 0, 2*t + 9 = -n. Let w = n + 14. Solve 6 = w*z - 5*z for z.
3
Suppose -2*z = -5*y + 21, 0*z = y + 2*z - 9. Solve 5 = -y*u - 10 for u.
-3
Let m(d) = d**2 - d - 18. Suppose 0*l - 2*l - 2 = -u, -5*u - 8 = -4*l. Let j be m(u). Solve 5*p + j = -13 for p.
-3
Suppose i + 2*h - 20 = 0, -2*h - 3*h = 5*i - 90. Let r be (17*(-4)/i)/(1/(-4)). Solve 3*m + r = 2 for m.
-5
Let s(x) be the third derivative of -x**5/60 - 7*x**4/24 + 3*x**3/2 - 2*x**2. Let l be s(-8). Suppose j - l = 1. Solve -6 = -2*w - j for w.
2
Let p(y) = 2*y**2 - 31*y - 188. Let k be p(27). Solve -10 = -k*u + 438*u for u.
-2
Suppose 0 = 2*v - o - 66, 4*o - 219 + 41 = -5*v. Solve -8*b + v = 74 for b.
-5
Suppose -2*s - 4*r = -18, -s + 13 - 1 = 5*r. Let o = 12 - s. Suppose 0 = -o*j + 7*j - 50. Solve -4*k = j - 5 for k.
-5
Let q(j) = j**3 - 2*j**2 - 3*j - 3. Let w be q(4). Suppose 2 - w = -5*g. Let z be (-3 - -3)*5/10. Solve 2*f - g*f - 5 = z for f.
-5
Suppose 70 = -r - 2*c, 307 = -4*r - 0*c + c. Let l be r/(-95)*25/2. Suppose 3*a = -3*g + 24, 4*g = -3*a + 4*a - 18. Solve -l = 5*w + a for w.
-4
Let h be 1*-3 - 63/27*-3. Solve c - h = 1 for c.
5
Suppose 16*r - 51*r = -175. Solve r*k = 5*k + 2*k for k.
0
Let t = 2 + 0. Let f(p) = -p**3 - 8*p**2 + 11*p - 6. Let z be f(-9). Let r be 24/5 - z/(-30). Solve -r*d - 6 = t for d.
-2
Suppose 7*z - 2*z = 320. Suppose 0 = -10*i + z + 6. Solve 3*h - 4 = -i for h.
-1
Let o = -3 - -6. Suppose 8 = -o*y + 14. Solve -y*n - 1 = 1 for n.
-1
Suppose 0 = 30*v - 6 - 84. Solve 0 = v*d - 8*d for d.
0
Suppose h = -4*n + 81, n + 5*h - 71 + 27 = 0. Solve 5 = n*v - 14*v for v.
1
Let w be 1/(2/(-129))*22/(-33). Solve 20 = 21*s - w for s.
3
Suppose 116 = 4*y + 5*a, 0 = y - 2*a - 0*a - 16. Solve 0 = b + 5*b + y for b.
-4
Suppose 5*l + 41*q - 1 = 42*q, l + 7 = 2*q. Let h(r) = r**3 + 6*r**2 + 5*r + 5. Let x be h(-5). Let v = -3 - -7. Solve l - x = v*b for b.
-1
Let y(s) = s**3 + 5*s**2 + 12. Let u be y(-5). Suppose 12 = 3*n - 4*j, 4*j + u = 4*n - 0*j. Solve -b + 1 - 4 = n for b.
-3
Let g = -16 + 19. Suppose -n = 2*n - 6. Solve -g*t - 1 = n for t.
-1
Suppose 28 = 2*v + 4*l, 0 = 2*v - 5*l - 7 + 6. Solve v*z = 6*z for z.
0
Let m(w) = w**3 + 12*w**2 - 13*w + 5. Let g be m(-13). Suppose 0 = 11*f - g*f - 48. Let r = 6 + -3. Solve -r*n = -n + f for n.
-4
Suppose 12 - 47 = -7*m. Solve -1 = 2*x - m for x.
2
Let b be (1 + 1 + -6)*-5. Solve 7*h = -8 - b for h.
-4
Let t(v) = -2*v - 22. Let x be t(-11). Let h be (-3 - -3)/(-1) + 2. Suppose -12 = -5*w + w, h*i = -5*w + 23. Solve i*n - n = x for n.
0
Let v(a) = 2*a**2 - 55*a + 174. Let h be v(24). Solve 5*t - 7*t = h for t.
-3
Suppose 2*g - 66 = -6*i, -5*i = -5*g - 63 - 12. Solve 61*f = 64*f - i for f.
4
Let q be (-1)/1*(-1 - -1). Let d(o) = o + 1. Let j(f) = f**3 - 6*f - 9. Let y(n) = 6*d(n) + j(n). Let r be y(2). Solve q = -r*i - 7 - 18 for i.
-5
Suppose -2*o = -6*o. Suppose 4*q - 4*x = o, 0 = -4*q + q + 2*x + 5. Suppose 28 = 7*p - q*p. Solve 4*b - 2 = -p for b.
-3
Let r be ((-5)/15)/(((-40)/(-5))/(-120)). Solve 0 = -4*y + 3 + r for y.
2
Let z be 1/(-2) + 154/28. Suppose 0 = p - 4*l - 8, 0*l - 23 = 2*p + z*l. Let d be (-2)/4*(0 + p). Solve 2*b = -d*b for b.
0
Let j(u) be the third derivative of -u**5/60 + u**4/6 - u**3/2 + 8*u**2. Let d be j(3). Solve d = 2*o + o for o.
0
Let j(x) = 5*x - 18. Let z be j(5). Suppose -3*u + d = -11, -5*u + 2*d = z*d - 5. Suppose -2*c + 2*a = -1 - 3, -18 = -5*c + 3*a. Solve 0 = -u*t + 3 + c for t.
3
Let j be 1 - (-60)/6 - (1 + 0). Solve 0 = g - 12 + j for g.
2
Let c(y) = -53*y - 520. Let q be c(-10). Solve 1 = 9*v - q*v for v.
-1
Let l = 14 + -9. Let u(m) = -3*m + 15. Let k be u(l). Let b be 0/(3/(6/(-2))). Solve -w - 3 + k = b for w.
-3
Suppose -2*q = 4*q - 30. Suppose -2*l - 13 = 3*w, 9 = l - q*w - 17. Solve 4*f + 15 = -l for f.
-4
Let q(y) = -y**3 - 40*y**2 + 80*y - 156. Let b be q(-42). Solve c + 8 - b = 0 for c.
4
Let u be 8/(-6) + (-2)/3 - -41. Suppose u*s = 31*s. Solve s = 3*x - 5*x - 4 for x.
-2
Suppose 0 = 31*x - 19*x - 120. Solve 3*j + x = 5*j for j.
5
Let s be (-2 - (0 + -2)) + -18. Let z = 20 + s. Suppose z*b - 5 = -1. Solve q = b*q - 1 for q.
1
Suppose -75*v + 205 = -70*v. Solve -h - v + 46 = 0 for h.
5
Let x be (39/(-6))/(-3 - 11/(-4)). Let y = -25 + x. Solve l - 1 = y for l.
2
Suppose -17*s = 8 - 93. Suppose s*n = 2*n - 7*n. Solve w - 2 - 3 = n for w.
5
Suppose p = -3*p. Let d be (0 + -4)/(-19 + 17). Let o be d/1 + 2 + p. Solve -9 - 3 = -o*k for k.
3
Let r(g) = -9*g + 51. Let b be r(5). Solve -14*n = -8*n - b for n.
1
Let n = -1544 + 1588. Solve 5*b = -6*b - n for b.
-4
Let h(p) = 12*p**2 - 1. Let x be h(-1). Let i = 161 - 157. Suppose i = m - x. Solve m = 3*v + 2*v for v.
3
Suppose 199 = 3*d + 5*r, -67 = -d - 0*r - r. Solve d = 13*u + 16 for u.
4
Let y = 1004 + -959. Solve -y*n + 48*n = -3 for n.
-1
Let w(q) = 2*q**2 - 14*q - 30. Let d be w(-3). Solve 0*x = -6*x + d for x.
5
Let y(l) = 132 + 3*l**3 + 12*l - 5*l**3 - 138 + 21*l**2. Let f be y(11). Solve f*b = 4 + 6 for b.
2
Let t = 15 + -13. Suppose -5*q + t*a + 19 = 0, -4*q + a = 5*a - 4. Let u be 4/14 + (-220)/(-14). Solve -u = q*k + k for k.
-4
Suppose 64 = 4*c - 2*r, 13*c = 8*c + 5*r + 85. Solve 8*d - 1 = c for d.
2
Suppose 13 - 7 = -3*b, -5*b + 2651 = 3*j. So