 = 0 for n.
0
Let y = 183 - 181. Solve -y*w - 18 = 4*w for w.
-3
Let n(u) = u**3 + 5*u**2 - u - 3. Let b be n(-5). Let a = 69 - 69. Suppose a = -v - 7 + 9. Solve -v = -b*f + 4 for f.
3
Suppose -4*f + 21 = -15. Solve -f = 6*g + 15 for g.
-4
Suppose 0 = k - 1, p + 18 = 6*p + 3*k. Suppose -2 = 3*z - 4*x, -p*x + 1 = -z - 3. Solve z*l = -2 + 4 for l.
1
Let i be 0/(3 - 2 - (8 - 5)). Solve i = -14*g + 13*g + 4 for g.
4
Suppose -3*p - 97 + 133 = 0. Solve -4 + 40 = p*g for g.
3
Let v be 21/9 + (-2)/6. Suppose 7*l - 96 = 2*l + x, 3*x - 92 = -4*l. Let d = l + -20. Solve d = -j + v*j for j.
0
Suppose 24 = 3*t - 0*t. Suppose -2*h + 6 = 3*q, 2*q = h - 2*q - 3. Solve -h*r + t = -r for r.
4
Let a = -8 + 11. Let d(l) = -l**2 + 8*l - 7. Let v be d(5). Solve -z = -a*z + v for z.
4
Suppose 6*m - 10 = m. Let l be 2/5 + (-4)/10. Suppose l*q = -q. Solve m*h + 0*h - 4 = q for h.
2
Let q be 12/(-30) - (-123)/(-5). Let t = 27 + q. Solve t*b + 3 = -b for b.
-1
Suppose -m + 5*p + 41 = 3*m, -20 = -2*m + 2*p. Solve m*y = 27 + 9 for y.
4
Let q be 186/12*(12 + -2). Let z be 72/10 - 31/q. Solve -z + 1 = 2*n for n.
-3
Suppose 0 = 5*j - y - 110, 23 = 3*j - 2*y - 36. Let w = j + -23. Suppose -33 = -4*u - i, w*i = -u - 2*i + 3. Solve 1 = 2*m - u for m.
5
Let v be 4/(-10) + (-224)/(-35). Let a = 9 - v. Suppose 5*j + 29 = n + n, -j + 1 = a*n. Solve 0 = w - 2 - n for w.
4
Let m = -40 + 44. Suppose r = m - 1. Solve -12 = -5*d + r for d.
3
Let d = 45 + -33. Suppose i - 5*i + d = 0. Solve -6 = i*l + 3 for l.
-3
Let l(x) = -x**3 + 10*x**2 - 13*x - 10. Let m be l(8). Suppose -4*u = 3*u - m. Solve -3*d - 25 = u*d for d.
-5
Suppose 0 = 2*k - 3*h - 27, k + 5*h - 9 = 37. Solve -9*v = -16*v + k for v.
3
Let h = 39 - 36. Let s = -60 - -72. Solve -3 - s = h*o for o.
-5
Let w be (-5)/(-9) - (-104)/234. Solve w + 14 = -5*d for d.
-3
Let m(b) = 5*b**3 + 2*b + 3. Let l be m(-1). Let u be (-6)/l + (-1)/(-2). Solve -q - q = u for q.
-1
Suppose 5*r = d + 13, -5*d + 8*d = -5*r + 1. Let a = 56 + -26. Suppose 3*k = k + a. Solve 5*g - r*g = -k for g.
-5
Let a(y) = -y - 3. Let s be a(-6). Suppose -k - z + 27 = 4*k, 2*k - s*z - 21 = 0. Solve k*f = 2*f for f.
0
Let h be (-4)/(-18) + (484/9 - -1). Let x = h + -48. Solve -4*o - 9 = -x*o for o.
3
Let v(b) = 2*b**3 + 2*b**2 - 3*b + 2. Let j be v(1). Solve -l - 8 = -j for l.
-5
Suppose -4*d - 5*i = -59, 0 = -3*d - i + 4*i + 24. Solve 0 = -2*a + d*a + 18 for a.
-2
Let b be (-9*4/6)/(-2). Suppose a - r - 1 = 2, -b*a = 3*r - 9. Solve a*j = 5*j + 2 for j.
-1
Let r be (-2)/7 + -3 + (-682)/14. Let y = -43 - r. Solve -2*m + y = m for m.
3
Suppose 2*z = -v + 30, 3*v = z + 2*v - 18. Solve -25*u + z*u = -45 for u.
5
Let c = 16 - 20. Let w(u) = -5*u - 13. Let f be w(c). Solve f*o - 5*o - 4 = 0 for o.
2
Let l = -90 - -92. Suppose -l*f + g = -7, -3*f + 4*g + 4 = -f. Solve -f*z + 15 = -z for z.
5
Let r(f) = -f**2 + 36*f - 295. Let c be r(20). Solve -12*d = -7*d + c for d.
-5
Let x(z) = -z**3 - 9*z**2 - 9*z + 1. Let r be x(-11). Let l be 6/8 - (r/(-24) - -3). Solve -2*v = 2*v - l for v.
3
Suppose 10 = 5*y - 5. Suppose -5*b + 22 = 3*p, y*b = -0*b + 6. Solve -p*k + 1 = -3*k for k.
1
Let t(q) = 2*q**3 - 2*q**2 + q + 1. Let x be t(-2). Let o be (-10)/3*30/x. Solve o*j = 5*j + 1 for j.
-1
Let o be -4 + (8 - 2) + 6/2. Solve -16 = o*x - 13*x for x.
2
Let i = -89 - -90. Solve 0 = -15*v + 29 + i for v.
2
Let x(n) be the first derivative of n**4/4 - 2*n**3 - 7*n**2/2 - 9*n - 5. Let b be x(7). Let f be 4/(21/b + 3). Solve -16 = -5*r - f for r.
2
Suppose 5*m = w, -40 = -w - 0*m - 5*m. Let z = -17 + w. Solve z*a = -2*a for a.
0
Let n(o) = -o**2 + 10. Let p be n(-3). Let j(q) be the third derivative of 7*q**5/60 - q**4/12 + q**3/6 - 4*q**2. Let k be j(p). Solve 2*v = -v + k for v.
2
Let f be (-16)/(-1) + -27 + 23. Let x = f - 7. Solve -x*q - 38 + 13 = 0 for q.
-5
Let m be 0 + -2 - (-2 + -16). Suppose -4*t = -m, 6 = 5*q - 5*t + 46. Let w be (3 - 0)/((-6)/q). Solve c = 2*c + w for c.
-2
Suppose 2*n - 6*n - 132 = 0. Let i = 36 + n. Solve -i*x - x = 0 for x.
0
Let t(i) = -i**3 - 11*i**2 + 13*i + 9. Let a be t(-12). Let o be 4/16*(1 - a). Solve 0 = -2*h + h - o for h.
-1
Suppose -5 = -5*t - 5*f, -t + f - 2 = -1. Suppose t = -3*v + 25 - 7. Solve -3*r + 3 = v for r.
-1
Let m(j) = -88*j - 613. Let y be m(-7). Solve 6*s = y*s - 3 for s.
-1
Let x(z) = z + 11. Let b be 4/12 + (-69)/(-9). Let c be x(b). Suppose a = -5*t + 5, 2*a - t = 4*a - c. Solve -3*l - a = 2*l for l.
-2
Let p(c) be the third derivative of c**4/12 - 5*c**3/3 - 3*c**2. Let n be p(7). Suppose 5 = 3*u - 5*v, -2 + 0 = -n*u + 2*v. Solve u = -2*q + 10 - 4 for q.
3
Suppose -12 = 8*w - 11*w. Let u = -6 + w. Let p(r) = -r**2 - 5*r - 3. Let c be p(u). Solve 10 = c*m - m for m.
5
Let f be -3 - (-18 - (1 - 11)). Suppose 3*i = 5*m - 24, 0*m - 12 = -2*m + 2*i. Let g be 1/3 - (-15)/9. Solve f*k = -m - g for k.
-1
Let p be 2 - (-8)/(16/(-42)). Let v = p + 23. Solve -d = -0 + v for d.
-4
Let s = 984 - 980. Solve -4*l + 5*l = -s for l.
-4
Suppose -400 = 374*f - 390*f. Solve 14*v - f = -81 for v.
-4
Let y(s) = 2*s**2 + 2*s - 1. Let l = 24 - 26. Let j be y(l). Solve n = j*n - 4 for n.
2
Suppose 2*l = -3*b + 60, 3*b - 8*l + 5*l - 60 = 0. Solve -15 = 5*n - b for n.
1
Let q be 75/27 + (-12)/(-54). Suppose -y - 4*y = 5*d - 35, 0 = -5*y - q*d + 29. Solve 3*u + 2 = -y for u.
-2
Let y(q) = -q + 1. Let p be y(-1). Suppose -1 = -p*d + 31. Let k be 4 + 0 - (d + -16). Solve -a - k = a for a.
-2
Suppose -4 = 3*o - 7, 4 = 2*w - 2*o. Suppose f - 5*z + 13 = 4*f, 0 = -w*f - 4*z + 14. Let g = f - 3. Solve -g - 17 = 4*r for r.
-5
Let o = -1272 - -1288. Solve o*b + 16 = 12*b for b.
-4
Let q(d) = -d**2 + 8*d + 3. Let u = -13 - -23. Suppose p = a + a, a = 3*p - u. Let v be q(p). Solve -4*h = -1 - v for h.
5
Let b(y) = 18*y**3 + 2*y**2 - y. Let j be b(1). Let d = -2 + j. Suppose 0 = -3*a + d + 1. Solve -a*p + 4*p - 6 = 0 for p.
-3
Let j be (-7 - 0) + -24 + 36. Solve o = j - 9 for o.
-4
Let m(p) = 20*p - 187. Let o be m(10). Solve -8*x + o*x = 25 for x.
5
Suppose -247*l - 3*s = -251*l + 31, 4*s = 5*l - 38. Solve l*x + 13*x = 8*x for x.
0
Suppose -2*h + 3*q + 20 = q, 0 = -3*h - 2*q + 35. Suppose 0 = 2*l + 3 + 19. Let j = h + l. Solve j*s = -s - 1 for s.
-1
Let u(s) be the first derivative of -s**4/2 - 2*s**3/3 - 3*s**2/2 + 9*s - 6. Let n be u(-4). Let w be (-1)/(-4) + n/12. Solve -5*q + 0*q = w for q.
-2
Suppose p = 11 - 10. Let u(a) = -a + 3. Let q be u(p). Solve b + q = -0 for b.
-2
Let r(l) = 25*l + 121. Let w be r(-4). Solve -4*t + w = 37 for t.
-4
Suppose -2*o + 5 = 3, 3*s = -3*o + 27. Let h be 10/3 + s/(-6). Solve 0 = 7*g - h*g - 20 for g.
4
Let d be 153/24 - (-33)/(-88). Solve -d*v - 5 = -11*v for v.
1
Suppose -3*y + 1 = -5. Suppose -4*f + 3*f + 37 = 3*a, -5*a = -5*f - 95. Solve -a = y*n - 6 for n.
-4
Let u = 481 - 469. Solve 0*v + 4*v = u for v.
3
Let j(u) = -24*u - 242. Let k be j(-11). Solve k*t - 80 = 6*t for t.
5
Let l be 1/(1/4) + -1. Let u = l - -2. Let v = -1159 - -1161. Solve -v*d = 1 - u for d.
2
Let a = 23 - 24. Let h be (-9)/a + (-1)/(-1). Solve h = 2*m + 3*m for m.
2
Suppose 0*w - 7 = -w. Let g = -5 + w. Suppose -3*m + 3*k = -g*m, 4*k = 4. Solve -o - m = -7 for o.
4
Let y = 48 - 30. Suppose l - 3*c - y = 0, 0 = -4*c + c - 12. Let t(f) = 2*f**2 + 3*f. Let j be t(-3). Solve -l*k + 3*k = -j for k.
3
Suppose -18*a + 21*a - 54 = -4*u, -4*u = 5*a - 50. Solve 4*j - u = 7*j for j.
-5
Let h(g) = 48*g + 145. Let c be h(-3). Solve c = 5*w + 16 for w.
-3
Let h(s) = -2*s - 3. Let q be h(0). Let x be q/(-3) - 2/(-4)*2. Solve -3*n - x*n = 0 for n.
0
Let o be 2*(3 + -3 + 1). Let f(l) = -116*l - 113. Let v be f(-1). Solve o*j + j + v = 0 for j.
-1
Suppose 0 = -30*j + 738 + 252. Solve -4*f = -17 + j for f.
-4
Suppose 11 = -5*x - 14. Let g be ((-3 + 3)/(-3))/(-3 - x). Solve q + q + 4 = g for q.
-2
Suppose 0 = -3*h - 2*c - 4, h + 2*c = -5 - 3. Solve -16 = -2*d - h*d for d.
4
Let f(s) = -s**3 - 24*s**2 + 31*s + 17. Let u be f(-26). Solve -558*v + u*v = 10 for v.
2
Let m be -2*6/(-4)*56/24. Solve -2 + 23 = -m*s for s.
-3
Let i(g) = -g**3 + 5*g**2 - 5*g - 4. Suppose 0*d - 20 = -5*d. Let b be i(d). Let v be (1 + -1)/(b - -6). Solve -h = -v*h for h.
0
Let n be (-2)/(5 - 102/18). Solve -d - n*d = 0 for d.
0
Suppose -3*q - u + 30 = 0, 240*u = 239*u. Solve q*s + 12 = -28 for s.
-