2*v - n = 4*v for v.
-3
Let j(h) = -h**3 + 5*h**2 + 6*h + 2. Let i be j(6). Let o(k) = 17*k**i + 17*k - 40*k**3 + 9 + 41*k**3 + 19. Let z be o(-16). Solve s = -3*s - z for s.
-3
Suppose p + 205 = 205. Solve p = -204*n + 199*n - 25 for n.
-5
Let o = 29 + -26. Suppose 0 = -5*r - o*n + 30, -n - 18 - 6 = -4*r. Suppose -2*l + 3*s + 6 = 2*s, -5*s - r = -2*l. Solve 0 = f - l*f + 6 for f.
3
Let j(b) = -b + 16. Let r be j(-2). Suppose -18*s + r = -9*s. Solve 3*g = 1 + s for g.
1
Let h(k) = k**2 + 32*k + 114. Let u be h(-28). Suppose -1 = o - 4*z, 4*z = 3*o - 3 - u. Solve i = 4*i - o for i.
1
Let b(p) = p**3 - p**2 - 6*p + 1. Let x be b(3). Let m be 656/24 + (x/(-3) - -1). Let z = m - 25. Solve c = z*c - 8 for c.
4
Suppose 0 = 4*u - 12 - 12. Let n(c) = 17*c - 67. Let g be n(u). Solve -6*l - 11 = -g for l.
4
Let u(r) = 6*r**2 - 31*r + 5. Let s be u(5). Suppose -2*q - y - 3 = s, -9*y - 6 = 2*q - 7*y. Solve -3 = 3*n - q*n for n.
-1
Let x(i) = -i**3 - 30*i**2 - 33*i - 88. Let c be x(-29). Solve 0 = 79*t - 93*t + c for t.
2
Let d(r) = 29*r - 51. Let f be d(11). Let g = f - 266. Solve -5*a = 12 - g for a.
-2
Let n be -6 - -17 - 100/25 - -38. Solve -n*d + 18 = 63 for d.
-1
Let p(m) = -m**3 - 2*m**2 - 8*m - 9. Let f be p(-3). Solve 12*a = 15*a + f for a.
-8
Let u(y) = 4*y - 5. Let z be u(9). Suppose 0 = 4*h - z - 13. Solve -7 = -d - h for d.
-4
Suppose -9 = -2*d - 6*t - 21, -5*d + 78 = -3*t. Solve -3*y = d*y - 75 for y.
5
Let c(a) = -a**2 + 130*a + 537. Let j be c(134). Suppose -5*w = -20, -o + 2*o - 26 = -5*w. Solve -j + 7 = o*g for g.
1
Suppose 5*j + 22*l - 23*l = 5, 0 = -5*j + 3*l + 15. Solve j = -19*k + 17*k - 12 for k.
-6
Suppose 15 = -3*r, 2*s + 2*r = 7*r + 65. Solve s*i = -36 - 44 for i.
-4
Let p = -13 + 26. Suppose 10*f + 9 = 13*f + a, -3*f + 27 = -2*a. Solve p = f*i - 7 for i.
4
Let r(p) = -4*p - 7. Let i be r(-5). Let d be (-14586)/306 + 46 - (-70)/6. Solve -m - i = -d for m.
-3
Let r be 21/(-15) - -1 - 303/5. Let t = 63 + r. Let s(w) = -w - 8. Let c be s(-10). Solve t*x = -c*x - 4 for x.
-1
Suppose 203 = -10*c + 223. Let x = 313 - 313. Solve 2*j + 0 + c = x for j.
-1
Suppose 4*h - 1832 + 92 = -4*r, -5*r = -10. Let a = -432 + h. Solve a = 2*q + 11 for q.
-5
Let n be (-120)/(-4 - 0)*8*7/56. Solve 5 = -n*d + 155 for d.
5
Suppose -36 = 21*u + 6. Let x(v) = 4*v**2 - 6*v - 8. Let q be x(u). Solve 11*z = 6*z - q for z.
-4
Let p be ((-940)/329)/((-4)/14). Let r be 5/(p/(-3) - -5). Solve 21 = -r*a + 33 for a.
4
Suppose -18 = -5*r - 4*i, -6*i + 3*i + 14 = 4*r. Suppose -3*d = -r*x + 1, 0 = 3*x - 2*d + 6 - 15. Solve -6 = 2*c - x*c for c.
2
Suppose p = -4*z - 12, -4*p - 7*z + 5*z - 6 = 0. Solve -21*j - 31*j - 52 = p for j.
-1
Suppose 3*c = -1 + 7. Let v = 93 + -45. Suppose -24*i = -8*i - v. Solve -i - c = 5*f for f.
-1
Let r = -22 - -70. Suppose 48 = 32*m - r. Solve -x = -m + 4 for x.
-1
Let g be 0*4/32 + 3. Suppose 51 = g*p + 2*u, -7*p - 48 = -11*p + 4*u. Solve -17*a + 6 = -p*a for a.
3
Let l = -1674 + 1824. Solve 25*y - l = -5*y for y.
5
Suppose 0 = 28*x - 29*x - 105. Let w = x - -121. Let y be (-2*w)/(0 - 6/3). Solve 0 = 4*o - 0*o - y for o.
4
Let k be 1 + -3 + -1 - (-72)/60*5. Solve 27*b - k*b = 0 for b.
0
Suppose 2*w + 3*c + 2 = 196, -5*c = 5*w - 465. Solve v + 16*v = w for v.
5
Let n(o) = 77*o**2. Let s be n(-1). Suppose 0 = s*p - 79*p + 6. Suppose 3*a - 5*q = -0*a - 6, -3*a = p*q - 18. Solve 8 - a = -v for v.
-5
Suppose -o + 19 = 2*n, 39*n = -3*o + 36*n + 51. Suppose 2*j - t - o = -2*j, -t = -2*j + 9. Solve 0 = 4*p + j*p - 28 for p.
4
Let a = 248 + -188. Let x = -56 + a. Solve 8 = -3*b - x for b.
-4
Let k(d) be the first derivative of -5*d**3/3 + 3*d**2/2 + 12*d - 62. Let l be k(0). Solve a + l = 9 for a.
-3
Suppose -145 = 11*v - 4*h - 796, -5*h - 97 = -2*v. Solve -87 = v*o + 340 for o.
-7
Let d be 12 - (-9 + 4 - (-11 - -2)). Let s be d/(-3)*288/(-192). Solve -s*p + 8 = 12 for p.
-1
Let y be (((-12)/(-8))/(-1))/18 - (-100)/48. Solve -8*f + y - 2 = 0 for f.
0
Let c(t) be the second derivative of t**5/20 - t**4 - 44*t**3/3 + t**2/2 + 2*t - 56. Let a be c(-5). Solve -5*p + 21 = a for p.
1
Let a be (-247)/(-19) - (6 + -1). Let u(n) = 2*n**2 - 13*n - 9. Let i be u(a). Solve 2*x + x = -i for x.
-5
Let h(x) = -25*x + 2208. Let s be h(76). Solve -323 = 5*v - s for v.
-3
Let t(r) = r**2 - 8*r - 113. Let b be t(-8). Let a = b - -13. Solve d + a = -6*d for d.
-4
Suppose 0 = 30*a - 52*a + 1540. Solve 0 = -8*t + 22*t + a for t.
-5
Suppose -8*z + 42560 = 134*z + 10*z. Solve z = 6*h + 328 for h.
-8
Let j(l) = -10*l**3 - 90*l**2 - 85*l + 49. Let p(w) = 4*w**3 - w + 1. Let x(z) = j(z) + 2*p(z). Let u be x(-44). Solve 0 = u*r + 6 - 27 for r.
3
Let p be (1 + -11)*(-52)/130. Solve p*r - 7*r = 15 for r.
-5
Let d(h) = 15*h**2 + 7*h - 26. Let q be d(7). Let a = q + -700. Solve a = 2*g + 60 for g.
-1
Let t = -11266 - -11282. Solve 0 = 3*a - t*a + 2*a for a.
0
Let z = 78 + -100. Let j(q) = -q**3 - 21*q**2 + 21*q - 1. Let g be j(z). Solve -g = 7*r - 0 for r.
-3
Let o = 20 - 6. Let x be 1 - 9/(-6)*o. Suppose -111 = 4*w - 131, -p + 4*w = 15. Solve -2 = -p*g - x for g.
-4
Suppose -2*c = -2 - 2. Let k(l) = -l**2 - 3*l + 8. Let x be k(-3). Suppose 14 = x*b - 10. Solve 25 = c*t + b*t for t.
5
Suppose 2*d - 4*x = 5*d - 4, -3*x = -4*d + 22. Suppose 2 = 2*f - 3*z + 2*z, z + d = 3*f. Solve f = -4*j + 14 for j.
3
Let f(g) = g**3 - 10*g**2 - 13*g + 184. Let b be f(10). Solve 0 = b*u - 59*u + 20 for u.
4
Let m = -316 - -316. Let w = 19 - 17. Solve -3*q + 11 - w = m for q.
3
Let m(q) = 71*q + 399. Let j be m(-5). Solve -6*v = -j*v - 114 for v.
-3
Let k(f) = f - 1. Let i be k(3). Suppose 29*q - 24 + 4 = 9*q. Solve i*m = -q + 3 for m.
1
Let j = -940 - -944. Let r be -2*(2 - 1)*(2 + -3). Solve -4*z - j = -r*z for z.
-2
Let n = -7 + 11. Suppose 1196*s + 480 = 1244*s. Solve -s = n*a - 26 for a.
4
Suppose 493*a - 497*a - 4*v = -124, 4*a = -2*v + 126. Solve -a = -13*j + 20 for j.
4
Let b be (4 - 2) + 13 + -10. Let i(v) = 3*v + b - 3*v - v - 3. Let k be i(-4). Solve 0 = 3*n - k for n.
2
Let z(o) be the third derivative of -17*o**4/24 + 19*o**3/3 - 18*o**2. Let i be z(2). Solve 0 = i*t - 8*t - 8 for t.
-2
Suppose 7*s - 3*s - 4 = 0. Let t be ((0 + s)*0)/(-1). Let q = -18253 + 18257. Solve t = q*k + k - 10 for k.
2
Suppose -108 = -5*s - u, -40 = 3*s + 3*u - 100. Let h be 4*-2 - (10 - s). Solve 6 = -i + h for i.
-2
Suppose -201*a + 7082 = -3879 - 1099. Solve 29*o = a*o + 31 for o.
-1
Suppose 104*f = 10117 + 36579. Solve -6*z + f - 413 = 0 for z.
6
Let z(s) = 39*s**3 - 4*s**2 - 44*s + 93. Let l be z(2). Solve 149*t + l = 192*t for t.
7
Suppose 611*q + 96 = 617*q. Suppose 2*p = -n + 7*p - 7, 5*n - 3*p + 145 = 0. Let b be n/q*(1 + -9). Solve -5*l - b = 4 for l.
-4
Suppose 300*r + 7*r - 20876 = 0. Solve -r*v = -43*v + 150 for v.
-6
Let q(s) = -s**2 - s + 10. Let a be q(0). Suppose -a*b + 23 = 3. Solve -3*k = -b*k for k.
0
Let a be (-2 - 4)/((-9)/(-114)). Let s = -73 - a. Suppose 6*d = 3*d + 9. Solve -6 = d*h + s for h.
-3
Let p be (7 - -137)/(-16) + 46. Solve -16*y = p - 69 for y.
2
Suppose -10 = 5*q, 2*q + 6 = -5*s - 3. Let f(w) be the first derivative of -9*w**2/2 - 6*w - 14. Let o be f(s). Solve 0 = -y - o - 2 for y.
-5
Let q = 27232 + -27232. Solve 2*z + 3*z + 0*z = q for z.
0
Suppose 120*v = 121*v + 12. Let i be 7 + 3 + (v - -6). Solve -3*h = -i + 16 for h.
-4
Let s(g) = 37*g + 481. Let t be s(-13). Solve 21*i - 8*i = t for i.
0
Suppose 3*m - 5*m - 4*r + 20 = 0, -2*m - 2*r = -30. Let b = 3199 - 2082. Let f = b + -1115. Solve -m = 2*y + f*y for y.
-5
Suppose -5*h - k = -6*h + 3, -k - 5 = -2*h. Suppose -15 = h*t - 27. Solve q = -q - t for q.
-3
Let a(y) = -y**2 - 16*y. Let b be a(-4). Suppose 0 = 2*v + 5*l - 17 + 8, b = 5*v + 4*l. Solve -21*n + 25*n - v = 0 for n.
3
Let d be 18/42 - (-50)/14. Let v(o) = 16 - 5*o - d + 3*o. Let q be v(5). Solve -w + q*w - 5 = 0 for w.
5
Let k(x) be the second derivative of -x**4/12 + 19*x**3/6 - 11*x**2/2 - 37*x - 2. Let j be k(18). Solve -22 - 6 = -j*t for t.
4
Let c(k) = -10*k + 3. Let l(b) = 11*b - 4. Let w(t) = -6*c(t) - 4*l(t). Let i be w(-1). Let u = i + 21. Solve -u*n + 4 = 1 for n.
1
Let h be 390/50 - ((-504)/(-105) - (3 - -2)). Let a(m) = 14*m**3 + 2*m**2 + m. Let n be a(-1). Let v = -8 - n. Solve h*q - 3*q + v = 0 for q.
-1
Let g be 97 - 104 - (1 + (-14)/1). So