= -136*v + 3 for v.
-3
Suppose 2*t + g - 16 = 0, -5*g + 9 + 5 = -t. Let b be t/(-33) + 8/44. Suppose 0 = 3*c + 2*u + 378 - 393, 0 = -4*c + 4*u. Solve b = 3*x + 9 - c for x.
-2
Let w be 47512/(-96) + (-7)/84. Let x = 501 + w. Solve 10*o + x = 13*o for o.
2
Let u be (2/(-6))/(3 - 3594/1197). Suppose u*x + 30 = 136*x. Solve -x*t = -0*t - 30 for t.
3
Suppose 3*w + 317 = 4*p + 4*w, -p - 5*w + 65 = 0. Let g = p - 79. Let l be g - 0 - (0 + (-5)/(-5)). Solve l*f = -f - 4 for f.
-4
Suppose -38*k + 69*k = -86*k - 13*k. Solve 0 = 4*g - k*g for g.
0
Suppose 0 = -5*b - 5*i + 120, 62*i = 5*b + 66*i - 117. Solve 39 = b*k - 87 for k.
6
Let x = -213 - -268. Let h be ((-48)/20)/((-22)/x). Solve -h*s = -9*s for s.
0
Let s be (10 + (-12)/(-10))/((-1)/((-220)/8)). Solve -s*g = -318*g + 60 for g.
6
Let d(b) be the second derivative of b**3/6 - 59*b**2/2 + 30*b. Let s be d(10). Let f = -42 - s. Solve 0 = 5*k - 3 - f for k.
2
Let l(k) = -31*k + 1245. Let p be l(40). Solve p*j = -j + 12 for j.
2
Let y(c) = 2*c**2 + 2*c - 7. Let f be y(-3). Suppose -f*w = -4*w - 1. Suppose 0*i - 2*i - 10 = 0, -4*i - 40 = -5*t. Solve -z + t = w for z.
3
Suppose -3*t - d + 15 = -3*d, 4*t + 4*d = 0. Let b = -176821 + 176822. Solve -b = m - t for m.
2
Suppose -14229 - 219 = -56*n. Solve -255*z - 9 = -n*z for z.
3
Suppose 0 = s - 41 - 19. Let v = 29 - s. Let j = 31 + v. Solve j = m - 1 - 1 for m.
2
Suppose 13*f + 12 = 15*f. Suppose -5*u = -f + 1. Suppose 3*z - 8 = u. Solve 3*j = -0*j - z for j.
-1
Let s be 4/(-12)*(-5 + -1). Let c(y) = -y**3 - 37*y**2 + 2*y + 79. Let w be c(-37). Suppose -2*r = -l - w*r, -2*l - s*r = 0. Solve l*k = k + 3 for k.
-3
Let q = 3118 + -2759. Solve -100 = -379*b + q*b for b.
5
Let k(r) = 80 + r**3 + 733*r**2 - 13*r - 743*r**2 + 43*r - 2*r**3. Let u be k(-12). Solve u*o - 3*o - 5 = 0 for o.
1
Let u be 2 + -1 - -6 - 3. Suppose -g = 4*s + u*g + 182, 0 = s - 2*g + 39. Let y = s + 45. Solve 10 = y*f + 8 for f.
1
Suppose -24 - 15 = -13*c. Let b be (c/2)/(((-18)/(-20))/3). Solve b*z + 8 = -3*z for z.
-1
Let y be -12*(78/12 - 5). Let t be (y - (-66)/4)*(-4)/3. Solve 0 = -8*q + 10*q + t for q.
-1
Let w = 184 + -181. Suppose w = 2*i - 5. Solve i = 2*u - 0 for u.
2
Let w be ((-3)/1 + (-242)/12)/((-13)/78). Solve -8 = 131*u - w*u for u.
1
Let w(z) = 2*z**3 - 18*z**2 - 1. Let a be w(9). Let g(p) = -p + 6. Let h be g(a). Solve 0 = -s - 12 + h for s.
-5
Suppose -5*m = 25 - 25. Suppose m = -24*l - 17*l. Solve -4*x - 2*x - 30 = l for x.
-5
Let a = -394 + 415. Suppose q - a = -5*s, 9*s + 13 = 12*s + q. Solve 7*v - 3*v = -s for v.
-1
Suppose -6*d + 487 = -5. Suppose -81*s = -d*s + 2. Solve x + s = -1 for x.
-3
Let w be 4/(1 + 6 + 180/(-26)). Solve -w + 94 = -7*t for t.
-6
Suppose -10*s - 12*s = -660. Suppose 0 = 5*k + 2*l - 27, -5*l + s = 2*k + 3*k. Let b be (-1)/3*(-2 - 1). Solve -j = -k + b for j.
4
Let d = -243 + 237. Let l be 1*(-8 - d) - -19. Solve 5*w - l - 8 = 0 for w.
5
Let i(p) = 34*p - 18. Let n(g) = 29*g - 17. Let x(w) = 6*i(w) - 7*n(w). Let a(r) = 3*r + 1. Let j be a(-3). Let t be x(j). Solve t = -m - 2 for m.
-5
Suppose 3*w + 0*w = -3*s, 2*w = -s - 1. Let a be 1000/120 - w/(-3). Solve 7 - a = -k for k.
1
Suppose 96*b + 146*b = 48*b. Solve -12*v + 24 + 12 = b for v.
3
Let x be 1/((-16)/24*(-3)/16). Suppose -l = x*l. Let o(v) = -v**2 + 4*v - 3. Let p be o(1). Solve p = -l*u + 4*u - 20 for u.
5
Suppose q - 6*q + 5*n + 125 = 0, -2*q + 4*n + 60 = 0. Let y be 1 + -2*(-1)/(-2). Suppose y*z + z + 3 = 0, l + 4*z + 9 = 0. Solve -l*c + q = c for c.
5
Let q(o) = -o**3 + 2*o**2 + 8*o + 4. Suppose 24 - 12 = 3*b. Suppose k - b*r = -3*k + 36, 4*k - 2*r - 26 = 0. Let s be q(k). Solve f - 15 = -s*f for f.
3
Suppose -27*t + 18 = 4*v - 25*t, 0 = 5*v - 5*t - 15. Suppose -2*r - 50 = -5*g, -2*r = -6 - v. Solve g*y = 6*y - 18 for y.
-3
Let l = 3292 + -3287. Suppose 0 = -7*b - 6*b + 4*b. Solve b*z + l*z - 25 = 0 for z.
5
Let m = 362 + -360. Suppose 4*q - m*v - 12 = 18, -3*v = q + 3. Solve q*i = 2*i + 20 for i.
5
Let f(s) be the first derivative of s**3/3 + 14*s**2 + 215*s - 210. Let g be f(-12). Solve g = -5*k + 3 for k.
-4
Let u(q) = -q**3 + 11*q**2 - q + 16. Let g be u(11). Suppose -2*y + 3*i = -16, -8*i = g*y - 6*i - 21. Solve 4*f = y*f + 2 for f.
-2
Let d be 1*(7 + (-1 - 0)). Suppose 2*o = -2*f + 8, 2*f - 3*o + d*o = 7. Suppose n - 8 = f*n + 3*k, 5*n - k = 9. Solve 2*m = n + 1 for m.
1
Let p(u) = -3*u**3 - 1 + 2 - 6*u**3 + 8*u**3 - u**2 + u. Let m be p(0). Let f be m + 2/(-7) + 4/14. Solve j - f = 2 for j.
3
Suppose -2*r + 0*p + p + 7 = 0, -10 = -5*r + 4*p. Suppose r = -5*g + 1. Let y be g - (0 + (-2 - 1)). Solve -t - 3 = y for t.
-5
Let k be 10*-15*(-12)/120. Solve k*w - 38 = -4*w for w.
2
Suppose 5 - 1 = j, r - 6 = j. Suppose r*n = 9*n. Solve n = 4*t + 4 - 0 for t.
-1
Let v = -52 - -53. Suppose 2*s = -v + 47. Suppose 4*u = t + 15, 5*u + 5*t - s = 2*t. Solve -9 = y - u for y.
-5
Let k be 4/14 + (-90092)/(-1561). Solve 0 = 12*n - 22 + k for n.
-3
Suppose m - 27 = w, 4*w - 86 = -5*m + 49. Solve o = m - 35 for o.
-8
Let i be (-120)/70 - 4/14. Let a be (3/(-6))/(i/20). Suppose -2*o - 1 = -4*o - a*w, -7 = -3*o - 2*w. Solve -o*v + v = 10 for v.
-5
Let a = -29928 - -29933. Solve 0 = -a*p + 115 - 105 for p.
2
Let g be (-2 + (-14)/(-4))/(69/(-184)). Let f be (2 - (-341)/g) + 1/4. Let m = f - -89. Solve -a + m*a = 0 for a.
0
Let g(k) = k**3 + 10*k**2 - 4*k - 127. Let q be g(-8). Solve -2*i = -13*i - q for i.
-3
Let c be (-177)/(-9)*(-156)/13. Let b = c + 238. Solve 0 = 4*m - 6 + b for m.
1
Let b be (-13)/(-5) - (-2)/5. Let g be 3*(-32)/(-36)*b. Let c be g/3*(-27)/(-18). Solve 2*v - c = 6 for v.
5
Suppose 131*i = 129*i + 766. Suppose 5*u - 386 = -3*f, 0*f = 5*u + 4*f - i. Let h = 87 - u. Solve -7*q = -3*q + h for q.
-2
Suppose -47*p + 53*p + 696 = 0. Let c = 127 + p. Solve w = -13 + c for w.
-2
Let h = 2117 - 2090. Solve -46 = -4*m + h*m for m.
-2
Suppose 32 = 13*w - 161 - 171. Solve -9*x = -w*x + 12*x for x.
0
Suppose -24*y = -25*y + x + 111, 0 = -3*y + x + 345. Solve 16*w - y = -23*w for w.
3
Suppose 640 = 4*f + 4*z, 5*z = 3*f - 52 - 396. Solve 9*s + f = -17*s for s.
-6
Let i(v) = v**2 + 5*v - 4. Let g be i(-6). Suppose 5*h + 43 = 4*j, g*h - 4*h - 10 = -j. Suppose -j*w = -2*w. Solve w*l + 6 = 2*l for l.
3
Let p(k) = 3*k**2 + 17*k + 17. Let q(o) = o**2 + o - 1. Let z(b) = p(b) - 5*q(b). Let y be z(7). Solve y = 3*i + 2 for i.
2
Let b(m) = -151*m + 460. Let d be b(3). Solve 0 = d*c + 824 - 873 for c.
7
Let n(f) = f**3 - 4*f**2 - 3*f + 20. Let y be n(3). Suppose -4*s + y*k - 32 = -42, -1 = k. Solve 0 = s*u - 3*u - 2 for u.
-2
Let j be 46/4 + 9/(-6). Suppose j*z = 98 - 48. Solve 0 = -0*n + z*n + 15 for n.
-3
Let p be ((-64)/40)/(68/(-85)). Let o(h) = 5*h**3 - h**2 + h. Let c be o(1). Suppose 0 = -g - 1, 3*g + 2*g + c = p*a. Solve a = 5*l + 1 - 21 for l.
4
Suppose 5*p = -4*k + 5, -2*p - 9 + 11 = -8*k. Let o(x) = -5*x - 6. Let c be o(-4). Let s be (-57)/(-21) + 4/c. Solve -j + s*j = k for j.
0
Suppose 5*q - p = -2*p - 76, 3*q = -4*p - 32. Let g = q - 34. Let f = g - -55. Solve -f*l - 40 = -15 for l.
-5
Let i be 4*11/(2 + 20). Solve 0 = -i*d + 84 - 86 for d.
-1
Suppose 0 = -4*n + 3*n + 7. Let b(y) = -y**2 + 37*y - 308. Let z be b(13). Suppose z = -k + n. Solve 2*f = f + k for f.
3
Suppose 15*h - 10*h = -5*o + 55, -5*o + 45 = 3*h. Let l be (-3 - (0 - 3)) + o. Solve 9 + l = -5*n for n.
-3
Suppose 7*f - 2*f - 80 = 4*p, -2*f + 5*p = -49. Solve -f*z + 7 + 53 = 0 for z.
5
Let y(w) = w**2 - 132*w - 1120. Let v be y(-8). Solve v = 18*i - 302 + 374 for i.
-4
Suppose 522*b - 555*b = -2541. Solve -426*t + 437*t = b for t.
7
Let d(s) = 11*s + 10. Let g be d(-4). Let v = g + 38. Suppose 0 = 4*j - 0*j + v*z - 36, -z + 16 = 2*j. Solve 2 = -q + j for q.
5
Let w(x) = -x**3 + 9*x**2 - 3*x - 25. Let g be w(7). Solve g*f - 8 - 304 = 0 for f.
6
Let j(r) = 5*r + 72. Let p be j(-15). Let f be p + (-57)/(-21) + (-330)/(-77). Solve -y + f + 0 = 0 for y.
4
Suppose -124*h - 1388 + 5976 = 0. Solve -16 = 33*s - h*s for s.
4
Let z(r) be the second derivative of 2*r**4/3 - 31*r**3/6 - 9*r**2/2 + r - 42. Let i be z(5). Solve 0 = -16*n + 7*n - i for n.
-4
Let p(c) = 0*c**2 + 1 - 2*c**2 - 12*c + c**2. Let i be p(-12). Solve -2*f = -i + 5 for f.
-2
Suppose k - 5*x = -21, 6*k - 3*k + 19 = 4*x. Let s = k + 14. Suppose 0 = 38*i - 42*i + 