= v**3 + 12. Let k be p(u). Let t = k - 76. Solve -2*z = -t*z - 4 for z.
2
Suppose -u - u + 2 = -a, -7 = -5*u + 2*a. Let i(j) = j**2 + 3*j + 5. Let h(x) = -2*x**2 - 9*x + 14. Let z be h(-6). Let s be i(z). Solve u = -4*t - s for t.
-3
Suppose -2*d - 1421 - 171 = 2*a, 5*a - 5*d + 4000 = 0. Let t = -792 - a. Suppose -13 = -3*b - 5*r + 19, -4*b + 24 = 2*r. Solve -b*c - t = -c for c.
-2
Let n(r) = 11*r**2 + 4*r + 15. Let j(p) = 15*p**2 + 3*p + 15. Let v(q) = 3*j(q) - 4*n(q). Let i be v(9). Solve 0 = i*c + 3 + 6 for c.
-3
Suppose -5*b - 25 = -3*t - 2*t, -b = -2*t + 5. Suppose 2*s - 334 + 270 = t. Solve s*k = 28*k - 8 for k.
-2
Let p(g) = -g**3 + 9*g**2 - 4*g + 2. Let h(d) = d**2 + d. Let t = -114 + 115. Let q(j) = t*p(j) - 2*h(j). Let k be q(6). Solve -2 = k*y + 6 for y.
-4
Let y(d) = 1649*d - 3*d**3 + 5*d**3 - 1650*d + d**2. Let f be y(2). Suppose 39*s = 33*s + f. Solve -i + 0 = s for i.
-3
Let r = 37 + -20. Suppose r*c - 13*c - 24 = 0. Solve 3 = 3*h - c for h.
3
Suppose 3*s + 2*r = 177, s - 2*r = -4*r + 55. Suppose -43*h + 111 = -s. Solve -y = -h*y + 9 for y.
3
Let u = -615 - -572. Let a(w) = -4*w**2 - 171*w + 48. Let n be a(u). Solve -1 = n*l - 26 for l.
5
Suppose 0 = -24*z + 60*z - 432. Solve -30 = -z*m - 18*m for m.
1
Suppose 0 = -s - 0*s + 5. Suppose -2*j + 10 - 4 = -s*i, 0 = -4*i. Suppose -j*y + 3 = 0, -30 = -5*v + 6*y - y. Solve -v = 3*t + 5 for t.
-4
Let j = 70 - 129. Let q = 100 + j. Let s = -31 + q. Solve -3*r = s - 1 for r.
-3
Suppose 6*u = 131 - 263. Let s be (u/11)/((-2)/(-5))*-1. Solve s*b - 8 + 3 = 0 for b.
1
Suppose 15*c - 31*c + 48 = 0. Solve 92*q - 89*q + c = 0 for q.
-1
Suppose -4*p + 5*m - m = 16, 0 = -3*p - 4*m + 16. Let k(c) = 9*c**2 - 7*c + 22. Let d be k(3). Solve -5*j - d + 62 = p for j.
-4
Let h be 2*((-2730)/4)/(-21). Solve -f - h = -65 for f.
0
Let f(a) = -14*a + 20. Let v be f(-6). Suppose -6*h - v = -14. Let g = 30 + h. Solve 0 = -5*p - 0*p - g for p.
-3
Suppose 5*p + 2 = -3*r + 19, -4*r + 16 = 0. Let u be -12*((-36)/54)/(1 + p). Solve 4*o - u*o = -7*o for o.
0
Let g = -95 - -194. Let z be g/14 + 2/(-28). Solve 2*o - z*o = 20 for o.
-4
Let m(j) = j**3 - 12*j**2 + 32*j - 41. Let x be 1020/119 - (-12)/28. Let d be m(x). Let n(r) = -4*r - 3. Let q be n(-3). Solve -d*o = -q*o - 15 for o.
-3
Suppose -3*p = -4*y - 255, -p + 3*y + 84 = 2*y. Suppose -3*r - 75 = 2*h, -5*h - r - 139 = p. Let c = h - -50. Solve 0 = c*b + 3 + 2 for b.
-1
Let s(o) be the first derivative of o**5/120 + o**4/2 - 14*o**3/3 + 4. Let n(j) be the third derivative of s(j). Let h be n(-7). Solve 2*x - x + h = 0 for x.
-5
Let h be 1 + (1 - (2 + 3)). Let l(a) = -11*a - 27. Let g be l(h). Solve 23*p - 26*p = -g for p.
2
Let d = 42 + 5. Let w(l) = l**2 - 6*l + 11. Let b be w(8). Suppose d*f - b = 38*f. Solve -z = -f*z - 4 for z.
-2
Suppose -11100 + 3756 = -144*p. Solve -3*m = p - 57 for m.
2
Let w(a) = 3*a - 19. Let p = -13 + 25. Let c(y) = -y**2 + 11*y + 19. Let k be c(p). Let f be w(k). Solve -10 = -0*g + f*g for g.
-5
Let a be -8*14/112*-4*5. Solve 0 = -a*x + 20 + 20 for x.
2
Let u be (-11 - -14)/((-90)/10 - -10). Let t = -2 + -1. Let h = -1 - t. Solve h*l + 11 = u for l.
-4
Let f be 20/(-110) + (-70)/(-22). Let x(u) = -7*u**3 + u - 3. Let c be x(-2). Suppose -75 = -c*w + 46*w. Solve 0*m + w = -f*m for m.
-5
Let m be 74/20*4990/499. Solve -33 = -m*q - 144 for q.
-3
Let o be (-16)/(-12)*-3 + 4. Solve -7*h + 10 + 4 = o for h.
2
Let f be 12 - (-3 + 5) - 1. Let r(i) = -i**2 - 71*i - 708. Let c be r(-59). Solve -3*k - f = -c for k.
-3
Suppose 38 = 2*c - 4*q, -4*c + q = -158 + 131. Solve -126 = 23*m - c*m for m.
-7
Let t be 5/(20/(-6))*-2. Suppose -2*p - 3*q + 16 = 0, 3*p + t*q = -q + 24. Solve -4*d + 4 = p for d.
-1
Let w = -92 + 220. Let i = w + -124. Solve 4 + i = -4*l for l.
-2
Let d be 17024/32 - (1 + 1). Suppose 0 = -22*m + 17*m - f + d, 0 = -m - 4*f + 125. Solve -109 + m = -2*o for o.
2
Suppose 239 = 48*n + 95. Let t(f) = f - 10. Let i be t(16). Solve -n*m = i + 6 for m.
-4
Let x = 30625 + -30615. Solve 170 - x = 32*q for q.
5
Let b be ((6/7)/(-2))/(141/(-987)). Suppose 50 = 5*y - 0*y + n, b*n = 0. Solve 5*a - y + 0 = 0 for a.
2
Let i(v) = 2*v - 10. Let f(q) = -2*q + 10. Let x(j) = -5*f(j) - 6*i(j). Let s be x(4). Let u be (2/8)/((-2)/(-8)). Solve s*a = a + u for a.
1
Let o(t) = -2*t**2 - 4*t + 1. Let u be o(-4). Suppose 102*h - 109*h = -7. Let n be (h/(-5))/(u/75). Solve -n = -5*c + 4 for c.
1
Let n(w) = -4*w - 10*w**2 + 0*w**2 + 13*w**2 + 23*w - 3. Let d be n(-7). Suppose d = 8*s - 5. Solve 3 = s*a - 5 for a.
4
Let a(i) = -i**3 - 4*i**2 + 10*i - 12. Let m be a(-6). Suppose -5*v - 2*g + 8 = m, 2*v - 3*g = -114 + 102. Solve v*d = -d + 1 for d.
1
Let c(f) be the first derivative of 3*f**3 + 5*f**2 - 9*f - 242. Let o be c(1). Solve -16 = 2*h - o*h for h.
2
Let o = -33 - -112. Suppose u - n - 25 = 46, -4*n - 360 = -5*u. Let y = o - u. Solve 6 = y*w - 0*w for w.
2
Suppose 4*j - 3*x - 40 = x, -15 = j + 4*x. Suppose 0*p = -5*p. Suppose p*c = -3*c. Solve c = -0*w - w + j for w.
5
Let x = 28 + -10. Let l(h) = -73*h**2 - 366*h. Let s be l(-5). Solve -x = t + s*t for t.
-3
Let k(r) = -r**2 - 10*r - 4. Let f be k(-9). Suppose -6*y + c = -8*y + 9, -c = y - 3. Suppose -6*s - y = -102. Solve -d - s = -f*d for d.
4
Let i(v) = v**3 + 5*v**2 - 8*v. Let d be i(-6). Let o be d/(20/5) + 1. Suppose 5*u = o*u. Solve 0*w - w = u for w.
0
Let n(u) = -u**2 + 9*u + 1072. Let o be n(37). Solve x = o*x - 245 for x.
7
Let n = -11184 + 11306. Solve n - 127 = w for w.
-5
Suppose 4*k - 5*y = -18, 16 + 8 = -2*k - 5*y. Let f be -2 + (8 - (k - -3)). Solve f = -8*r + 13*r for r.
2
Let y be (-495)/(-27) - 1 - (-2)/(-6). Let l = 78 + -45. Solve -l = 4*g - y for g.
-4
Let c be (-31813)/(-7) + (-74)/(-14) + (-196 - -191). Solve 8*t - 4505 = -c for t.
-5
Let g = 12169 + -12166. Let x(r) = r**3 + 4*r**2 + 2. Let j be x(-4). Solve g*h + 1 = -j for h.
-1
Let n = 4091 + -4087. Suppose g - 109 + 92 = 0. Solve -g*p = -19*p - n for p.
-2
Let k = -10673 + 10849. Solve -k = -67*o + 427 for o.
9
Suppose -2*y + 2*i + 8 = 0, 3*y = -y + 5*i + 18. Solve y*j - 16 + 26 = 0 for j.
-5
Let u(w) = -w**2 + 15*w + 71. Suppose -5*r - f = -89, 0 = r - 4*f - 3 - 19. Let n be u(r). Solve -n*h + 16*h - 1 = 0 for h.
-1
Let f = -156 + 136. Let s be (1/(-6)*f)/(10/15). Solve -s = -3*t + 7 for t.
4
Suppose -1104 = 77*f - 83*f. Let r = f - 184. Solve r = v - 2 - 1 for v.
3
Suppose -5*i = -3*o + 58, -48 = o - 4*o + 3*i. Suppose -395 = -o*s - 120. Suppose 4*v = -3*p + 9, -7*v - p = -2*v - s. Solve v - 21 = -5*u for u.
3
Let q(n) = -n**3 + 8*n**2 - 277*n + 1059. Let t be q(4). Solve -94 - 26 = t*j for j.
-8
Let q be 40/12*-2*3. Let j = -12 - q. Suppose 37*r - 83 = 176. Solve -j - r = 5*g for g.
-3
Let z be (-136)/(-14) + (-348)/(-1218). Solve -z*c = 590 - 550 for c.
-4
Let a(d) be the third derivative of 0 + 7/12*d**4 + 0*d - 8/3*d**3 + 14*d**2 - 1/120*d**6 - 1/10*d**5. Let s be a(-8). Solve j - 6*j + 15 = s for j.
3
Suppose -46853 = -16*p - 46821. Solve -13*s + p*s = 4*s for s.
0
Let q be 8 - (150/15 + (-115 - -8)). Solve 18*i = 39*i + q for i.
-5
Let v = -13 + 17. Let w(i) = 3*i**3 - i**2 + 2. Let b be w(-1). Let u be (b/6)/((-5)/180). Solve -v*k = -k - u for k.
4
Suppose 15*a - g = 16*a - 15, 0 = 3*a - 2*g - 20. Suppose 3*t = -3*v + 15, 5*v = -2*t - 0*t + a. Solve v = 9*k - 2 - 25 for k.
3
Suppose -1 - 2 = -3*q, -3*q - 17 = 5*n. Let z be (-13)/n + 90/(-72). Solve -z = m + m for m.
-1
Let x = -17367 - -17630. Solve 0 = -294*i + x*i + 186 for i.
6
Let o = 158 - 150. Let q be o/10*10/(-5 - -7). Solve -3*g - 14 = q*g for g.
-2
Suppose 3*v + 9 = 3*p, 0 = -2*p - 2*v + 5 - 19. Let n be 1/p*-10 - 1. Suppose 0 = -5*b + 41 + n. Solve -3 - b = 3*l for l.
-4
Suppose -50 = -r - 3*w, r - 4*w - 92 = -7. Solve 12*a + 29 - r = 0 for a.
3
Let g be -4*(-1)/2 + 4. Suppose -320*q + 424 = -216. Solve 0 = -g*o + 5*o + q for o.
2
Let y = 13786 + -13786. Solve 13*c - 98 + 137 = y for c.
-3
Suppose 7*v + 5*i = 10*v - 88, -4*v + 5*i + 109 = 0. Suppose -2*o = 2*b - 3 + 1, o - v = 4*b. Solve -2*r - o = 3*r for r.
-1
Let b = -296 - -234. Let j = b - -64. Solve -j*m = -1 + 3 for m.
-1
Let k(f) = f**3 - 18*f**2 + 68*f - 15. Let u be k(5). Solve l + l + 3*l = u for l.
0
Let b(y) = -y**3 - 34*y**2 - 36*y - 44. Let l be b(-33). Suppose -20 = 7*n - l. Solve