*o. Solve o*n - 8 = 3*n for n.
4
Let c(n) = -n**3 + 18*n**2 + 18*n + 27. Let v be c(19). Solve -9*d - v = 37 for d.
-5
Suppose 4*n + 5 = 9. Let a be 3 + 1*(-2 - n). Solve a = -2*w + w - 1 for w.
-1
Suppose 12 = 2*p + p, 4*u = -5*p + 32. Suppose 0 = -5*b - 2*c - u + 1, -2*c = -3*b + 2. Suppose 5*a - 2*v - 44 + 2 = b, v = a - 6. Solve 0 = -h + 3*h - a for h.
5
Let b = -71 + 61. Let n = b + 10. Let l = 8 - 4. Solve -q - 3*q + l = n for q.
1
Let g be 2513/(-84)*-4 + 8/(-12). Solve -118*n = -g*n + 1 for n.
1
Let q(j) = j**3 + 6*j**2. Let i be q(-6). Suppose 5*f - 3*z + 15 = i, -3*f + 5 = -z + 2*z. Solve f = 3*o - 5 - 1 for o.
2
Let a be -5 - -1 - (-1 + -7). Suppose 6*y - y = 0. Solve -a*t + 9*t - 15 = y for t.
3
Suppose 0 = 12*i - 24*i + 288. Solve i - 42 = 6*h for h.
-3
Let h = 1317 + -1313. Solve h*l + 6 = -6 for l.
-3
Let l = 22 - 184. Let k = -162 - l. Solve 2*u = -k*u for u.
0
Suppose 3*d - 26 = f - 9, 5*d + 4*f = 0. Solve d*j = -2*j + 3*j for j.
0
Let v = 338 - 327. Solve -7*s + v = 4 for s.
1
Let x = -2 + 0. Let f be (-21)/(-3) - (0 + x). Let r = -75 - -77. Solve f = z + r*z for z.
3
Let g = -244 - -244. Solve -13*u + 4*u + 45 = g for u.
5
Let v(m) = 2*m**2 + 27*m + 11. Let n be v(-13). Let r be n/11 - 39/(-33). Solve 0 - r = -c for c.
1
Suppose 0 = q - 11 + 6. Suppose -4*x + q = -19. Solve 8*b - 5*b - x = 0 for b.
2
Let t(s) = s**2 + 12*s + 15. Let y be t(-11). Let l be y/(-2 - 2) + 3 + 2. Solve 0*u = -l*u for u.
0
Let y be ((-80)/12)/(14/6 - 3). Suppose -3*d + y + 1 = h, 2*d = 3*h + 22. Let x(o) = o + 3. Let i be x(-3). Solve i = d*j + 30 - 5 for j.
-5
Let t be (((-1 + 1)/2)/2)/1. Suppose -h + h - 6*h = t. Solve 6*x - 2*x - 16 = h for x.
4
Let g(i) = i**2 - 6*i - 9. Let s = -8 - -18. Let u = -2 + s. Let k be g(u). Solve k*x + 6 = 4*x for x.
-2
Suppose -54*b = -57*b + 288. Solve 4*g + b - 104 = 0 for g.
2
Let t(d) be the first derivative of d**3 + 3. Let l be t(-1). Let w(s) = 5*s**3 - s**2 + s. Let x be w(1). Solve 2*j = -x + l for j.
-1
Suppose 5*z = 67 - 17. Suppose -x + 15 = z. Solve 2*c = c - x for c.
-5
Let y be 95/(-35) - -3 - (-1046)/14. Solve 2*w = -67 + y for w.
4
Let q(r) = -2*r**2 - 28*r + 67. Let d be q(-16). Solve -d*y - 1 = -16 for y.
5
Suppose -3*b + 4*b = 5*q + 16, 4*b + q - 22 = 0. Suppose b = 2*p - 0. Solve -x + p*x = 0 for x.
0
Suppose 0 = 5*z - 2*z + 42. Let c be (6/18)/((-1)/(-42)). Let a = z + c. Solve 0*f + f + 2 = a for f.
-2
Let r = 327 - 320. Solve -r*z - 16 = 5 for z.
-3
Let t(c) = -c**3 - 6*c**2 - 6*c. Let f be t(-5). Suppose -6 = 3*k, v + 2*k - 2 = -3. Solve 2*h = -v - f for h.
-4
Let g(l) = -l**3 - l**2 - 4*l**2 - 11 + 13 + 2*l. Let s be g(-6). Solve -5*v - s = -6 for v.
-4
Suppose -3*w - 4 + 88 = 0. Suppose -13 - 12 = -5*v. Let d(h) = h**3 + 2*h**2 - 3*h - 3. Let a be d(-2). Solve w = v*s + a for s.
5
Let s = -348 + 366. Solve 0 = -s*y + 60 - 6 for y.
3
Suppose 9 = 2*q + 3*p - 3, 0 = -5*q + 4*p + 7. Let d be ((-5)/q)/((-2)/6). Suppose -2*m + 11 = 2*l + l, 0 = -d*m + 5*l + 40. Solve -5*o - m = -17 for o.
2
Suppose 2*h - 3*h = -8. Suppose -5 + h = 3*a. Let v be (a/1)/((-2)/(-4)). Solve 0 = v*f - f for f.
0
Let l(y) = 3*y + 3*y - 3*y - 10. Let z be l(4). Let n(t) = t**3 - t**2 + t. Let d be n(z). Solve -12 = 2*p - d*p for p.
3
Let o = 0 + 2. Suppose -o*b = 2*b - 100. Let k be (235/188)/((-2)/(0 - 8)). Solve 10 - b = -k*m for m.
3
Let a = -4 + 11. Let y = -27 + a. Let g = 28 + y. Solve -5*s - 17 = g for s.
-5
Let x be 0 + -3 - (-17 + 10). Solve 0 = x*a - 9*a + 15 for a.
3
Let a be 10/(-55) + (-224)/(-22). Let k be ((-4)/(-5))/((-2)/a). Let m = k - -8. Solve -q - m = -6 for q.
2
Suppose -l - 4*l = -20. Suppose -5*g - l*r = -7, 0 = -2*g + r - 4*r. Suppose g*i + i = 0. Solve 4*v + i*v = 20 for v.
5
Let u(s) = s**2 + 7*s + 10. Let x be u(-4). Let r be 8 + x - (-5 - -6). Solve 8 + 7 = -r*m for m.
-3
Let q be ((-2)/2)/(6 + 104/(-16)). Solve 5*h - q*h + 12 = 0 for h.
-4
Let y = 1294 + -1271. Solve 0 = 7*t + 16 - y for t.
1
Suppose -5*k - 2*b = -4*k - 24, 4*b + 78 = 5*k. Let i = -11 + k. Solve -4 = -i*c + 3*c for c.
1
Suppose 3*w - 10 = -5*h, 0 = -2*w - 2*h - 2*h + 8. Let f be (9/(-3))/6*w. Solve f = 2*g - 3*g for g.
0
Suppose 4*n - 100 = -4*h, 3*n = 19 - 4. Suppose h = -2*q - 3*q. Let f(k) = -3*k + 3. Let z be f(q). Solve 4*r = -r + z for r.
3
Suppose -22*p + 57 + 9 = 0. Solve 0 = 6*m - p*m - 5*m for m.
0
Let a be (-5)/(2/(0 + -2)). Let i be (a + 6/(-2))*2. Suppose -u = -i*u + 21. Solve u*c + 25 = 2*c for c.
-5
Let u = 453 + -451. Solve 8*l = -u*l for l.
0
Suppose -5*q - 63 = 3*k - 190, 5*q - k = 111. Solve 17 = 2*l + q for l.
-3
Suppose -t - 2*t = -72. Suppose t - 8 = 4*m. Solve -6*z - 4 = -m*z for z.
-2
Let k be 5*(-5 + 1)/(45/36). Let z(f) = f**2 + 17*f + 18. Let w be z(k). Solve -3*v - 5 = -w*v for v.
-5
Let o be 30/(-120) + 74/8. Solve 0 = -k - 8*k - o for k.
-1
Suppose 4*h = 2*w - 0*h + 22, -2*h = -10. Let b be (-6)/(2 - w) + 6. Solve b*a = a for a.
0
Let f = 3 - 0. Let m be 25/(-4) - f/4. Let k = m + 11. Solve k*u = 3*u - 2 for u.
-2
Let v(p) = -p**2 + 2*p + 5. Let h be v(4). Let u = h + 8. Suppose -f + u*f = 8. Solve -f*c = -c for c.
0
Suppose -4*k + 205 = 181. Solve -9 + 33 = -k*c for c.
-4
Let g(d) = 3*d**3 - 5*d**2 - 6. Let r be g(3). Solve -2*p = 4*p + r for p.
-5
Let k = 2438 - 2433. Suppose 5*r - 15 = 15. Solve k*w - 9 - r = 0 for w.
3
Let o = -3 - -3. Suppose 3 - 9 = -2*h + y, -3*y = o. Suppose 2*b = -2, -2*r - 4 = -b + 5*b. Solve q + r*q = -h for q.
-3
Let u be 0/5 + 7/((-28)/(-32)). Solve -u*l - 8 = -48 for l.
5
Suppose -15*f = -10*f. Let h(t) = 5*t - 145. Let m be h(33). Solve -5*x + f*x + m = 0 for x.
4
Suppose -20 = 4*f - 2*f. Let d = -10 - f. Let n be -2*(-4)/16*d. Solve -2*b - 3 + 1 = n for b.
-1
Suppose 2*t = -4*d + 12, -5*t = 3*d - 10*t - 9. Solve d*x = -72 + 75 for x.
1
Suppose 5*q - 4*m = 13 + 6, q = -5*m - 2. Solve 5 = -q*b - 1 for b.
-2
Let m(l) = -6*l + 1. Let n be m(-1). Let b(z) = -19*z**3 - z**2 + z + 1. Let k be b(-1). Let o = 21 - k. Solve -4*y - o = -n*y for y.
1
Let x(z) = z**3 + 7*z**2 + 4*z + 28. Let o be x(-7). Solve 4*g + o = 16 for g.
4
Let j(h) = -h**3 + 13*h**2 - 11*h - 9. Let d be j(12). Solve d*v = 8*v + 15 for v.
-3
Let s(t) = -5*t + 102. Let z be s(19). Solve 0 = -z*q + 4*q for q.
0
Let w be (5 - 4)*(-3 - (-1 + -3)). Let r = 2 - -2. Solve r*j - w = -9 for j.
-2
Let b be (-3)/(-8) + 109/8. Suppose -4*n + 94 = b. Solve -s - 4*s - n = 0 for s.
-4
Let q(o) = o**2 + 4*o + 20. Suppose 0 = -l + 6*l. Let g be q(l). Solve -5*y = -y - g for y.
5
Suppose 5*o - 27 = -4*k, -8*o = -9*o + 3*k - 6. Suppose o*q = 4*s + 2*q - 5, 0 = -3*s + 2*q. Solve 2*c - s - 2 = 0 for c.
2
Let u = -15 - -24. Let a be (-6)/u*(-42)/4. Suppose 2*j - j = -4*g - a, -5*j + 5*g + 15 = 0. Solve 3*z = -j + 7 for z.
2
Let m = -2 + 8. Suppose 2*f + 2 = -m. Let h = 2 - f. Solve -b + h = 2 for b.
4
Let r(w) be the first derivative of -w**2/2 + 7*w - 1. Let x(n) = -n**3 - 5*n**2 + 6*n + 5. Let s be x(-6). Let q be r(s). Solve -5 = q*l + 3*l for l.
-1
Let t(x) = x**2 - x - 30. Let i be t(6). Solve 8*c - 9*c + 2 = i for c.
2
Let l = -78 + 56. Let m = 23 + l. Solve -o = -0 + m for o.
-1
Suppose -4*v + 9*v = 65. Let j = 20 - v. Let f = 185 + -180. Solve f = 4*t - j for t.
3
Let l = 617 + -614. Solve 0 = l*j - 12 for j.
4
Suppose 0 = 7*f - 23 - 12. Suppose -5 = -f*k + 5*q, 13 = k - 2*q + 7*q. Solve -k + 0 = 3*m for m.
-1
Let h = 28 + -12. Let i = h + -13. Solve -i*p = 2*p + 10 for p.
-2
Let m be 35 + 4 - (-4)/((-8)/4). Solve 12 = -m*g + 31*g for g.
-2
Let x(d) = -d**2 + 7*d - 7. Let p be x(4). Let q be p/(-20)*(-17 + 1). Suppose -q = 4*z - 20. Solve z*t = -0*t + 20 for t.
5
Let b = 51 + -97. Let c = b + 51. Solve -8*p + 15 = -c*p for p.
5
Suppose -8*g + 12*g = 36. Solve -6*q = -g*q + 12 for q.
4
Suppose -3*p + 56 = d - 22, 2*p + d = 53. Suppose 10 = -s + 3*s, 0 = -5*f + 5*s - p. Solve f*t + 4*t = 0 for t.
0
Suppose 4*q = 23 - 7. Suppose 2*t - q = -4*b + 22, 0 = -4*b + 2*t + 38. Suppose -12*p + b*p = 0. Solve d = -p*d - 5 for d.
-5
Suppose 173*q - 167*q = 30. Solve -7*w + 8*w - q = 0 for w.
5
Suppose -3*f - f - 4 = 5*b, -2*b - 16 = -2*f. Let n(z) = -z**2 - 32*z - 75. Let s be n(-29). Solve f*a - s = 4 for a.
4
Let b(n) = 2*n**3 + 11*n**2 - 9*n - 6. Suppose -v = 4*v + 30. Let w be b(v). Let j = w - 12. Solve j = 4*r + 8 +