 -12*v - 4. Solve -16 + v = w*x for x.
-3
Suppose 4*u = -u. Let x be ((-17)/(-6))/(-17) - (-39)/234. Suppose 0 = -t - b, 0*t - 4*t - b + 12 = 0. Solve u = t*h - 16 - x for h.
4
Let t = -5830 - -5878. Solve -22*u - t = -34*u for u.
4
Suppose 0 = 13*s + 34*s - 282. Solve s*w = 13*w - 28 for w.
4
Let b = -2 + 2. Let t(d) = -59*d + 256 - 3*d - 591 - 23*d. Let q be t(-4). Solve 0*w - q*w = b for w.
0
Suppose -278 + 278 = -160*z. Solve z = 7*b - 55 + 83 for b.
-4
Let o = 2894 + -2828. Solve -41*d - o = 57 for d.
-3
Let z(y) = -y**2 - 24*y - 23. Let o(j) = -j**3 + 10*j**2 + 3*j - 52. Let l be o(10). Let c be z(l). Solve -3*g = -36 + c for g.
5
Suppose -5*g + 3*q + 117 = -156, -3*g - 5*q = -191. Suppose -g*s + 100 = -7*s. Solve s*u + 4*u = 5*u for u.
0
Let n(o) = -o**2 + 26*o - 64. Let r be n(4). Solve -r*g = -0*g - 72 for g.
3
Let g = -3389 + 3389. Solve -11*l + 8*l = g for l.
0
Let i be -2 - -1 - 2/(-5) - (-24)/40. Solve 7*s + 107*s - 684 = i for s.
6
Suppose 2*t = -3*t - 70. Let c = t - -26. Suppose -2*x - 2*x + c = 0. Solve x*u - 5 - 10 = 0 for u.
5
Let k = 20 + 1. Let s = -21 + k. Suppose -4*c + 10 = 2*r, c + 3*r + 1 = -4. Solve -a - a + c = s for a.
2
Let p(n) be the third derivative of -n**6/120 + n**5/60 - n**4/6 - 2*n**3/3 - 2*n**2. Let y be (7/63)/((-7)/63). Let w be p(y). Solve -15 = -3*k - w*k for k.
3
Let z = -328 + 471. Let c = z - 138. Suppose c*l = 4*l + 7. Solve -3*a - 2 = l for a.
-3
Let t = -117 + 253. Suppose -18*g = -t - 314. Solve -15 + g = -2*s for s.
-5
Suppose -4*c + 17 = 3*l - 2*c, 0 = 2*c + 4. Solve l*h - 28 = -21*h for h.
1
Let o be 4/(-2) - 11/((-55)/40). Solve 53 = o*g + 89 for g.
-6
Suppose 127*h - 132*h = 15, -a - 4*h = 9. Solve 0*l + 15 = -a*l for l.
-5
Let b = 40 + -20. Let d(y) = -6*y**2 + 5. Let i be d(0). Suppose 2*x + 2*f - 14 = -2*f, 0 = i*x + 3*f - 21. Solve -s + b = x*s for s.
5
Suppose 2*p - 6 = 2*z, 6*p - 3*p = 2*z + 6. Let d(w) = 44*w - 996. Let n be d(23). Solve -6*q + 2*q + n = p for q.
4
Suppose 6*h = 2*h + 132. Let g = h + -31. Let p be (14 - (7 + -3)) + g. Solve p = 3*w - 0*w for w.
4
Let m = -7 + 14. Let c = 11521 - 11505. Let b be (-22)/(-6) - 4/6. Solve -b*w - c = -m*w for w.
4
Suppose -q + 5*q + 25 = n, 0 = -5*n - q - 1. Solve 0 = 17*o + 16 + n for o.
-1
Suppose 17*u = -8 + 110. Solve -3*o + u*o - 18 = 0 for o.
6
Let i(d) = d**2 + 17*d + 15. Let q be i(-16). Let s be (-5)/2*(1 + q - 2). Suppose 2*k - 5*x + 19 = 0, 4*x - 35 = -0*k - s*k. Solve -3*f + k = -2*f for f.
3
Suppose 9*v + 7*v - 128 = 0. Let b be v/6*5/2*3. Solve b = -25*r + 30*r for r.
2
Let p(v) = v**3 - 15*v**2 - 21*v + 84. Let z be p(16). Suppose -57 = -3*h + 5*k, -4*k = -3*k. Solve z*b - h = -3 for b.
4
Let u be 2/((-1)/3*-2). Suppose 0 = -u*r + 7*r. Suppose -752 = -4*z + 3*p - 740, 10 = z + p. Solve r = 2*b - z*b - 16 for b.
-4
Let r(c) = 4*c + 153. Let a be r(-19). Suppose -a*b - 9 = -78*b. Solve -6 = -3*t + b for t.
5
Let n(r) = 2*r + 3. Suppose 0 = 5*h - 2*c - 40, 2*c + 24 = 4*h - h. Let b be n(h). Suppose 2*t = b - 7. Solve 4*k = t*k - 2 for k.
1
Let s(y) = -2*y + 19. Let t be s(9). Let w(n) = 6*n**3 - 3*n**2 + 4*n - 2. Let x be w(t). Suppose i = 2*c - 5, -c = -5*c + i + x. Solve c = -2*l + 3*l for l.
0
Suppose 0 = -6*n - 12 - 24. Let s be (-1)/n + (-3003)/(-234). Solve -u + s - 8 = 0 for u.
5
Let t(m) = -503*m + 4024. Let p be t(8). Solve 2*u - 38 + 28 = p for u.
5
Let k(c) = -5*c**2 + 11*c - 16. Let z(o) = 6*o**2 - 11*o + 15. Let j(m) = -5*k(m) - 4*z(m). Let d be j(9). Suppose d*b - 9 = -5. Solve 2*r = b - 4 for r.
-1
Let h(s) = 26 - 6 - 2*s + 10 + 38. Let t be h(28). Solve 0*c = -3*c - t for c.
-4
Suppose -130*a = -69*a - 7686. Solve -37*y + 22 = -a for y.
4
Let z = 6407 - 6191. Solve -202 + z = -7*f for f.
-2
Let c = -1358 - -1452. Solve c = 33*k - 104 for k.
6
Suppose -3*l + 12*l = 45. Suppose -4*z = -d + 12, -l*z + 10*z + 15 = -d. Let n be (1 - d)*0 - (1 - 5). Solve -n = -5*h + 6 for h.
2
Suppose 9 = -5*j - 6. Let y be 4/j - (-1089)/27. Let x be (-22)/143 + (-54)/y*-3. Solve 0 = -2*r + x for r.
2
Let g(t) = -29*t + 28. Let s be g(-13). Suppose 8*z + z - s = 0. Let k be (72/z)/(2/5 - 0). Solve 12 + 8 = -k*q for q.
-5
Let b(i) = -7*i - 1. Let t be b(-2). Let x(p) = 23*p**3 + 8*p**2 - 24*p**3 + 4 - 5*p**2 + 5*p**2 + 13*p + 4*p**2. Let m be x(t). Solve k + 5 = -m*k for k.
-1
Suppose 221 = 3*j + 5*s, 149 = 2*j + 18*s - 13*s. Solve -j*m + 32 = -64*m for m.
4
Let y(i) be the first derivative of -i**4/4 + 40*i**3/3 + 20*i**2 + 96*i + 119. Let c be y(41). Solve 4*u = -7*u + c for u.
5
Suppose 0 = 225*f - 227*f - 12, -16*o = -5*f - 110. Suppose 5*n - 23 = 12. Solve 0 = -g - o + n for g.
2
Let t(y) = -y + 16. Let s be t(25). Let c be 2/(-4)*(-9 - s). Solve k + c = 4 for k.
4
Let d(k) = 4*k**2 + 126*k + 1001. Let a be d(-18). Solve 16*i + 19 = -a for i.
-3
Let c(a) = -a**2 - 4*a - 5. Let m be c(-2). Let z be 14/105 + (m - 133/(-15)). Solve 2*r - z = -0 for r.
4
Let x be 288*(-7 - (-95)/15). Let q = -183 - x. Solve q*v = 8*v for v.
0
Let s = -271 + 5. Let l be (8/14)/((-38)/s). Let w = 6 - 6. Solve w = y - 5 + l for y.
1
Let c = -36 - -19. Let t(p) = 43*p - 1048. Let b be t(24). Let l = b - c. Solve -y = -0*y - l for y.
1
Let z be (-121)/5 - ((-4)/20 - 0). Let l = -23 - z. Suppose 23 + l = 4*h. Solve -5*f + 2*f - h = 0 for f.
-2
Suppose -185 = 5*k - 2*l, -3*l = -4*k - l - 148. Let o be k/((6/(-12))/(3/6)). Let u = -33 + o. Solve -v = u - 5 for v.
1
Suppose -3*s - i = -9, 4*s + 0*i - 12 = -3*i. Suppose -3*k - s*n - 117 = 0, 5*n + 23 = -2*k + k. Let g = k + 47. Solve -g*w + 6*w - 2 = 0 for w.
1
Suppose 13*n + 15*n - 2996 = 0. Suppose -n = -12*c + 1. Solve -2*a + c*a - 28 = 0 for a.
4
Suppose -140*f + 32 = -137*f - 4*o, -5*f + 76 = -o. Solve -30*u - 46 = f*u for u.
-1
Suppose -4*w + 5*y - y - 116 = 0, -4*y + 20 = 0. Let o be w/(-10)*(480/18)/8. Suppose -7*h - 1 + o = 0. Solve -1 - h = -z for z.
2
Suppose -7*f + 1056 + 15 = 0. Suppose f*y - 9 = 150*y. Solve y*g = 10*g for g.
0
Suppose 0 = a + 2*a. Let j = -79 + 83. Suppose x = 24*r - 21*r - 7, -3 = -j*r - 5*x. Solve -3*l + r + 1 = a for l.
1
Let m = 242 - -55. Let d = m - 297. Solve 7*x - 5*x + 10 = d for x.
-5
Suppose 8*k + 221 = 381. Solve 0 = -21*u + 11*u + k for u.
2
Let x(l) = 13*l**2 + 79*l + 9. Let h be x(-6). Let j be (3/6)/(6/36). Solve 0 = j*g - 15 + h for g.
4
Let o(d) be the first derivative of d**3/3 + 5*d**2/2 - 4*d + 14. Let j be o(-6). Suppose -c - 5 = 3*k - 2, -2 = -4*c + j*k. Solve c = u + 2 - 6 for u.
4
Let r(c) = c**3 - c**2 - 32*c + 60. Let t be r(5). Solve t = 9*g + 19 + 44 for g.
-7
Let l be 1 - (-2 + 2) - -1 - 2. Suppose -3*k + 24 = -0*k + 3*u, l = k - 3*u - 20. Solve 2*n - k = -1 for n.
5
Suppose -4*j - 3*d + 7775 = 0, -j - 3*d + 9715 = 4*j. Solve -j*m = -1943*m + 18 for m.
6
Suppose -3 = 6*x - 22 - 5. Solve -9 = x*z + 11 for z.
-5
Suppose -j + 4 = -0*j. Suppose 16*v + 960 = -4*v. Let d = v - -51. Solve b - d*b = j for b.
-2
Let i(q) = 3*q**3 + 17*q**2 - 5*q + 3. Let o be i(-6). Let k be (-14)/o - (-34)/102. Solve -3 - k = -4*a for a.
2
Suppose 12848 = 3*b + 5*u, -127*b - 4*u = -130*b + 12785. Solve 0 = -4*n + b - 4247 for n.
6
Let h(g) = 3*g**2 - 4*g + 2. Let z be h(2). Suppose -z = -0*o - 5*o - y, 4*o - 20 = 3*y. Let s = -166816 - -166834. Solve -s = -5*x + o for x.
4
Let y be 4/((-2)/(10/(-5) + 1)). Suppose -3 = -2*p + b, -2*p = -p - y*b - 6. Solve -2*t + 0*t - 6 = p for t.
-3
Suppose -2*b - o = -45, b - 35 = -2*o - 5. Suppose -4*p - 3 = 3*i, 6*i + b = 5*p + 5*i. Solve -p*j = 12 - 3 for j.
-3
Let x(q) = -7*q - 316. Let a be x(-46). Let g(b) = -b**2 + 2*b + 15. Let r be g(7). Let z be 40/25 + (-8)/r. Solve 4 = -z*f - a for f.
-5
Let y be (-11 - (390/40 - 10))*8*-3. Solve -56*c + y + 78 = 0 for c.
6
Let z(i) = 0*i**2 - 3*i - i**2 + 4*i. Let x be z(0). Let u(y) = 8*y**3 - 113*y**2 + 15*y - 12. Let o be u(14). Solve x*n - 2 = -o*n for n.
1
Suppose -2*k + 6 = 0, -t + k = -k + 6. Suppose -3*l + 77 - 26 = t. Suppose 3*c + 2*g - l = 0, 2*g = 6*g - 16. Solve -u = c*u for u.
0
Let k be 12/(-9)*9/(-6). Suppose -2*s + k*s = 4*s. Suppose -5*m + p + 11 = s, -2*m + 3*p + 8 = -p. Solve -m*u + 5 = -3*u for u.
-5
Suppose 2*y - x = 5*y - 72, -y = -4*x - 11. Solve -10*b + 63 = y for b.
4
Let v be (-167)/((-88)/16 + 6). Let s = v - -357. Solve -9*h + 13 + s = 0 for h.
4
Suppose -3