Solve 0 - 9 = -o*n for n.
3
Let c(m) = -m**3 - 8*m**2 + 2*m + 1. Let l(h) = h**3 - 6*h**2 + 6*h. Let d be l(4). Let s be c(d). Let g be (-6)/s + 8/5. Solve g*o + 0*o = 10 for o.
5
Let c = 243 - 210. Solve -3*z = -c + 30 for z.
1
Suppose 3*s = 5*g + 7, -2*g + 2 = -g - 4*s. Let i be 5/g*(-24)/15. Solve -3*b = -i*b - 3 for b.
-3
Let z(b) = -40*b + 251. Let v be z(6). Solve -v = 7*l + 17 for l.
-4
Let j(p) = p**2 + 2. Let l be j(-3). Let d(b) = b**3 + 82*b**2 + 5. Let f be d(-82). Solve 9 = -f*o - l for o.
-4
Suppose 7*x + k + 20 = 2*x, 2 = x - k. Let g be (7 - 1) + -3 + x. Suppose i + 4 = 4*z + 1, 2*z + 1 = i. Solve -i*b + 5 + 15 = g for b.
4
Let j(p) = -2*p**3 - 7*p**2 - 7*p - 2. Let k(g) = -g**3 - g + 1. Let c(b) = -j(b) + k(b). Let s be c(-4). Suppose 7*a - s = 8. Solve -4*o + a = -11 for o.
4
Suppose 4*g = -2*u + 12, 0 = 4*u + g - 0*g - 17. Solve 12 = -u*z - 0*z for z.
-3
Let g(w) be the second derivative of w**5/20 - w**4/12 + w**3/3 + 3*w**2/2 + 5*w. Let h be g(0). Solve -5*z - 2 = h for z.
-1
Let d = -265 - -278. Solve -d*u - 6 = -16*u for u.
2
Let a(q) = q**2 - 7*q + 5. Let u be a(7). Suppose 5*z = 124 - 119. Solve -4*g - u = -z for g.
-1
Let w(p) = p**3 + 8*p**2 - p - 8. Let x be w(-8). Let s be 3/(x + 4/8). Solve -4*t - s - 2 = 0 for t.
-2
Let w = -180 + 111. Let l be (0 - (-6)/(-5))/(w/230). Solve -25 = l*j + j for j.
-5
Suppose 8*a + 5*a = 39. Solve 2*q - a = 7 for q.
5
Suppose -2*k + 159 - 129 = 0. Suppose 7*c = k*c - 16. Suppose -8*q + 16 = -4*q. Solve q*t = c*t - 6 for t.
-3
Let c be 118/6 - (-1)/((-24)/(-8)). Solve 2*x = c - 10 for x.
5
Let h(d) = d**2 + 18*d - 100. Let p be h(5). Solve -20*k = -p*k for k.
0
Let j be ((-3)/((-27)/12))/(1/6). Solve 10 = -9*u - j for u.
-2
Let p = -28 + 46. Let j be (2/4)/(3/p). Solve -4*l - j = -7*l for l.
1
Suppose -b - 13 + 3 = 2*w, 5*b - 4*w - 20 = 0. Let k be (1 + 0 - -2)*1. Solve b = h - 2*h + k for h.
3
Let j = 516 + -513. Solve j*o - 3 = -9 for o.
-2
Suppose -3*x - p = -2, 2*x + 2*p = -0 + 4. Suppose 4*n = j - 3, -15 = -5*j + 3*n - x*n. Solve 0*r = -3*r - j for r.
-1
Suppose 14 = 4*z + 3*y, -3*z + 5*z + 2*y - 6 = 0. Solve z*d = 7 + 13 for d.
4
Suppose 134 = 4*b - 0*p + p, 4*b + 3*p - 138 = 0. Let u = 42 - b. Solve -x + u - 4 = 0 for x.
5
Suppose 0 = -5*c + 29 + 56. Suppose -3*f - c = -2*q + 4, 2*q + 4 = -2*f. Solve -2*o - q*o = 25 for o.
-5
Suppose 30*s - 63 = 177. Solve -s*b + 3*b + 20 = 0 for b.
4
Let n(a) = 2*a**2 + 47*a + 225. Let t be n(-18). Solve 25*k - 10 = t*k for k.
-5
Suppose 2*b = 10*a - 13*a + 12, 3*a - 6 = 0. Solve -11 + 26 = -b*h for h.
-5
Suppose -t = 2*t - 84. Let p = t + -26. Let c be 2/1*2*1. Solve p*x = x + c for x.
4
Let n(m) be the second derivative of m**3/6 - 3*m**2/2 - 3*m. Let z be n(7). Let t be 4/22 + (-104)/88 + 6. Solve -29 + z = -t*k for k.
5
Suppose 2*p - 16 = -2*p. Let r = 6 - p. Let m be 6/((-1)/(20/(-6))). Solve -r*j - m = 3*j for j.
-4
Let l(m) = -m**2 + 13*m - 38. Let t be l(7). Suppose 0*i = -2*i + t. Solve -i*p = 2*p for p.
0
Let m(h) = -5*h**2 - 18*h + 20. Let r(s) = -s**2 + s. Let c(l) = -m(l) + 4*r(l). Let a be c(-23). Solve 4*g + a + 1 = 0 for g.
-1
Let a = 75 + -61. Solve -8*v - a - 18 = 0 for v.
-4
Suppose -11 = 6*s - 23. Suppose -3*r = -3*a - 2*a - 8, 0 = -s*r + 3*a + 6. Solve 4*l - 2*l + r = 0 for l.
-3
Let v = -127 - -133. Let x be 8/(-4) + 2/(v/9). Solve 0 = 3*s - x - 8 for s.
3
Let z = 133 - 129. Let h(u) = -u + 1 + 4*u - u + 7*u**2. Let p be h(-1). Solve -z*v = -p - 6 for v.
3
Let u(q) = -q**2 - 11*q - 2. Let v(x) = -2*x + 22. Let y be v(16). Let o be u(y). Solve -4*j = 24 - o for j.
-4
Suppose 9 + 7 = 8*i. Suppose 69 = 4*y + q + 14, -i*y - 2*q + 32 = 0. Suppose 5*m - y - 2 = 0. Solve 2*j - m*j = -2 for j.
2
Suppose -23*q + 107 = -54. Solve 6*j - 13 = -q for j.
1
Let h(r) = 14*r + 158. Let z be h(-9). Solve 4*w = -28 + z for w.
1
Let c(x) = 10*x - 19. Let i be c(-8). Let v = i - -106. Solve -2*a = -v*a + 10 for a.
2
Suppose 9 = -3*m + 8*m + 2*v, -3*m + 5*v + 24 = 0. Solve -5*n = -m*n + 6 for n.
-3
Let y be 1/(12/20)*3. Suppose -7 - 8 = y*t, -4*t - 15 = -3*o. Let i be 4/1 - (0 - o). Solve -i = 2*d + 3 for d.
-4
Suppose 0 = 5*a + 3*j - 35, j = -2*a - 3*j + 28. Suppose 0 = -a*t + t. Solve t = -z + 2*z + 4 for z.
-4
Let b(v) = -5*v**3 + 4*v**2 - 9*v + 13. Let s(l) = l**3 + l**2 - l - 1. Let x(z) = b(z) + 4*s(z). Let k be x(6). Solve k*r + 7 = -5 for r.
-4
Suppose -3*m + 2*c = -1 - 12, 3*m - c - 11 = 0. Solve m*z - 2*z = 2 for z.
2
Let r(c) = 2*c + 6*c + 2*c - 6 - 11*c. Let l be r(-10). Solve l*q + 8 + 0 = 0 for q.
-2
Let i = -454 - -457. Let m = -5 + 8. Let c(n) = 6*n - 6. Let g be c(2). Solve i*t = -m + g for t.
1
Suppose -24*i - 5*i + 174 = 0. Solve -2 + 2 = i*f for f.
0
Let b(v) = 26*v - 32*v - 25*v**2 + 26*v**2 + 1. Let h be b(7). Solve 4*u = h*u for u.
0
Let p(g) = g**2 + 22*g + 5. Let o be p(-22). Suppose 0 = -q + 3*w + o + 10, -5*q + w + 19 = 0. Solve 4*m - 1 = q*m for m.
1
Let v = -149 - -58. Let y = 94 + v. Solve y*r = r for r.
0
Let s(o) = -o**2 + 3*o + 4. Let m(c) = 3*c - 6. Let r be m(3). Let b be s(r). Suppose -b*q + 3 = -17. Solve q*x + 3 = 8 for x.
1
Suppose r + 4*a - 10 = 6*a, 3*r = 4*a + 22. Suppose 2*y + r*y = -u + 5, 2*y = -u + 1. Solve 3*h = -y*h + 25 for h.
5
Let t(n) = n + 17. Let r be t(-12). Suppose 2*i - 2 = -w + 3, 0 = -r*w + 4*i + 25. Suppose -b = -d - 5*b + 10, -8 = d - w*b. Solve 2*o = -0 - d for o.
-1
Let p(n) = 2*n + 2. Suppose 0 = -0*b + 2*b - 16. Suppose 6*d = b*d. Let l be p(d). Solve t + 0 - l = 0 for t.
2
Let l(z) be the first derivative of -3*z + 1/2*z**2 + 7. Let x be l(3). Solve -2*q - 2 = -x for q.
-1
Let s(n) = n**2 + 18*n + 32. Let w be s(-16). Solve -2*z + 4*z - 6 = w for z.
3
Let z be 29/4 + (-1)/4. Suppose 2*k = -z*k + 54. Solve k*f = 2*f + 12 for f.
3
Let n = 81 - 51. Solve -3*m + 42 = n for m.
4
Let a be 1*-2*5/2. Let f be (a/(-1))/(3/(-12)). Let j = 20 + f. Solve j = -n - 3 + 1 for n.
-2
Let c(s) = s**3 - 8*s**2 + 7*s + 3. Let f be c(7). Suppose 5*w + 7*p = f*p + 44, -2*w - 3*p = -12. Let j be ((-28)/8)/(-7)*w. Solve 5*i - 19 = j for i.
5
Let u(f) = 2*f - 3. Let s be 64/8*1/1. Suppose 0 = 2*c - s - 0. Let y be u(c). Solve -5 = 5*w + y for w.
-2
Suppose 580 + 178 = 5*d - 4*y, -3*d = -3*y - 453. Suppose -6*l + d = l. Solve -4*k + l = 2 for k.
5
Let t(l) = -l**2 - 40. Let f be t(0). Let w be (4 + -1)/(f/(-16) - 1). Solve 0 = 3*d + w*d - 5 for d.
1
Suppose -50 = -5*z + 65. Solve 19*p = z*p - 4 for p.
1
Let g(m) = -15*m - 40. Let t be g(-4). Solve -13*v + t = -9*v for v.
5
Let a(z) = -z**2 + 8*z + 22. Let h be a(10). Suppose 0 = 2*m + h*q - 10, q + q = 10. Solve -o + 4*o = m for o.
0
Let d = 6 + -10. Suppose 3*m + 12 = -2*y, -5*m = 5*y - 2*y + 19. Let w be d + 4 - m/1. Solve 0 = 4*n + 18 + w for n.
-5
Let s(x) = -3*x - 8. Let n be s(-4). Suppose 2*h - 4 = -n*c, -5*h - 20 + 0 = 0. Let y(i) = -i**3 + i**2 + 2. Let l be y(0). Solve -f + c = l*f for f.
1
Suppose 0 = -2*l - 2*l + 68. Let o = l - 17. Solve o = 5*h - 3 - 2 for h.
1
Suppose 0 = 2*v - 20*v. Solve -h + 0*h - 2 = v for h.
-2
Suppose 19*y - 21*y = -6. Let d = y - -2. Solve d*l + 0*l + 20 = 0 for l.
-4
Let h(i) = i**2 + 34*i + 281. Let x be h(-21). Solve l = 5*l + x for l.
-2
Let q(u) be the first derivative of 7*u**2/2 - 2*u + 12. Let m be q(-1). Let p be 3 + 0*(-3)/m. Solve p*x = 4*x - 1 for x.
1
Let b(g) = g**2 - 6*g + 4. Let r be b(6). Suppose -24 = -4*k + j, -4*k + 30 = k + r*j. Solve -3*v = -k - 6 for v.
4
Let a(c) = -11*c - 94. Let y be a(-9). Let k(f) = 3*f - 3. Let w(q) = 16*q - 15. Let d(b) = 11*k(b) - 2*w(b). Let i be d(5). Solve -h - y = -i*h for h.
5
Let n(h) = -4 - h**2 + 4 + 12*h + 2*h**2 - 3. Let k be n(-13). Solve k*x + 15 = 5*x for x.
-3
Let q be (5 + -5)*(-2 - -1). Let w = 2 + q. Solve m = w - 4 for m.
-2
Let r be ((-6)/8)/((-4)/48). Let n(k) = -k + 11. Let m be n(r). Suppose 3*w = -m*z, -7*w = 4*z - 3*w. Solve 2*v + v - 3 = z for v.
1
Let j = 2317 + -2313. Solve 2 = -j*u + 10 for u.
2
Suppose 5*n - 3*n - 2 = 0, j + 5*n = -8. Let z(c) = c**2 + 12*c - 3. Let l be z(j). Solve 0 = 3*v - 8*v + l for v.
2
Let w(z) = 25*z**2 - 18*z**2 - 8*z**2 + 6*z - 7. Let g be w(3). Solve -4*i = -g + 10 for i.
-2
Suppose -u = -3*h - 2*u, -u = h. Solve h*t + 12 = 3*t for t.
4
Let j(m) = m**2. Let x(y) = 8*y - 5. Let f(i) = -j(i) + x(i). Let t(n) 