*j - z = k for j.
-1
Suppose 2*p - w + 15 = 2*w, -3 = -w. Let j be ((-15)/p + -4)*4. Solve -j*t + 14 + 2 = 0 for t.
4
Suppose 1 = -2*i - 2*s + 27, -2*s - 14 = -3*i. Solve -12 = -u - i for u.
4
Let d = 18 - 46. Let c = d + 16. Let j be (-111)/c + (-1)/4. Solve 0 = -2*b + 1 - j for b.
-4
Let j = 338 - 328. Solve -3*s - 5 = j for s.
-5
Let k(n) = n**3 - 9*n**2 - 2*n + 33. Let s be k(9). Solve -10*g + 13*g + s = 0 for g.
-5
Let b = -470 + 488. Solve 0 = -b*k + 14*k for k.
0
Suppose 6*g = 14 + 76. Let x be 3*4/36*g. Solve -x*a = -0*a - 5 for a.
1
Let v = 7 - 6. Let h be (-4*v + 2)*(-2)/4. Solve d - 2 = -h for d.
1
Let h = 137 - 100. Suppose 0 = 33*v - h*v. Solve -5*s + 20 = -v*s for s.
4
Suppose -29 + 122 = u - 3*o, 0 = -5*o - 5. Solve -2*v - 82 = -u for v.
4
Let x(h) = 14*h - 4*h**2 + 4 - h**2 + 5*h**2 - h**2. Let n be x(13). Solve 0 = 5*q - n - 8 for q.
5
Let r be (0/6)/((-1 + 4)/1). Let w(b) = b**3 - 2*b**2 + 2*b - 2. Let o be w(2). Solve 0*u - u + o = r for u.
2
Let a(w) = -w**3 + 11*w**2 - 11*w + 16. Let v be a(10). Let y be ((-9)/v)/((-2)/20). Solve -3*d - 2*d = -y for d.
3
Let g = 7 + -5. Let i = 22 + -18. Suppose 4*c - 5*n - 87 = 0, 2*c - 5*n - 31 = 20. Solve -i*k + g = -c for k.
5
Let k = 52 + -46. Suppose 5*x - k = 3*x. Solve -5*m - 8 = -x for m.
-1
Let h(y) be the second derivative of -y**5/20 - 5*y**4/4 - 13*y**3/3 + 21*y. Let b be h(-13). Solve 2*g + 2*g + 8 = b for g.
-2
Let t = -344 + 345. Let v = -3 - -4. Solve -g = -t - v for g.
2
Let b(n) = -n**3 - 12*n**2 + 2*n - 1. Let s be b(-12). Let d = s - -27. Solve -g = d*g for g.
0
Suppose -2 = -4*c - 21*v + 24*v, 5*v = c + 8. Solve 7 = k + c for k.
5
Let b = -10 - -7. Let u be 12/(-4)*5/b. Suppose u*h = -5*v + 30, -4 = 2*h - 14. Solve -4*s = -v + 21 for s.
-5
Let b = -1271 + 1279. Solve -20 = -4*n - b for n.
3
Suppose 128 = 2*y + 2*y + w, -5*y + 160 = -3*w. Suppose -3*f - o - 5 = -6*o, 4*f + 3*o - y = 0. Solve f*q + 0*q = 20 for q.
4
Let o = -8 + 14. Let p(i) = i**3 - 55*i**2 - 6*i + 335. Let n be p(55). Solve -4 = -n*l + o for l.
2
Suppose 0 = 2*b - 185 + 143. Solve 0 = 16*n - b*n for n.
0
Suppose -16*h = -17*h - 18. Let o = 21 + h. Solve -o*i + 0*i + 9 = 0 for i.
3
Suppose 0 = -33*v + 31*v + 4. Suppose -2*n = v*h - 14, 2*n = 5*n - h - 5. Solve n*y + 6 = -9 for y.
-5
Let s(i) = -3*i**3 - 6*i**2 - 2*i + 4. Let g be s(-3). Solve 36*p - 3 = g*p for p.
-3
Let p be (-12 + 19)*(1 - -1 - -1). Solve 5*z - p*z = 32 for z.
-2
Let i = 6 - 6. Suppose 0 = -i*l + 2*l + 8. Let b be (-18)/l*(-2)/(-3). Solve j = b*j + 2 for j.
-1
Let o(h) be the first derivative of h**2/2 + 16*h + 4. Let b be o(-14). Solve -b*r = -0*r - 6 for r.
3
Let b be ((-456)/(-28))/(-6)*-7. Solve -22*v + 6 = -b*v for v.
2
Suppose -17 = -5*v + 2*v - 2*q, -20 = -4*v - 2*q. Solve -v*o - 4 = -5*o for o.
2
Let c = -109 + 113. Solve c*u - 13 - 3 = 0 for u.
4
Suppose -66*c = -70*c + 24. Let y be (1*2)/((-24)/(-60)). Solve z - y = c*z for z.
-1
Let b(a) = a**2 - 3*a + 10 - 10*a + 12*a - 5*a. Let x be b(4). Solve -t = -x*t for t.
0
Let o be ((-2)/(-3) - 0)*117/26. Suppose o*s + 26 = 2*d + 1, -s = 4*d - 29. Let l(h) = 2*h**3 - 2*h**2 - 3*h + 2. Let r be l(2). Solve -r*p = d + 12 for p.
-5
Suppose -3*d - 2*n = -35, -18*d - 2*n = -13*d - 53. Solve -3*m - 24 = -d*m for m.
4
Suppose 0 = -a - 0 + 20. Suppose 0 = 5*k + 5*r - 40, -2*r + 3*r = -4*k + a. Suppose 5*p - 24 = 4*c, 2*p = -k*c + 8*c + 12. Solve -p*y + y + 15 = 0 for y.
5
Let f be (2 + -2 + 2)/(61/305). Solve 0 = w + 6 - f for w.
4
Suppose -3*q - 2*s + 38 = -7*s, -3*s + 18 = 5*q. Solve 0 = 3*p + 9 + q for p.
-5
Let v(u) = 2*u - 24. Let t be v(10). Let m(a) = a**2 + 10*a + 2. Let q be m(t). Let b = 25 + q. Solve b*n = -3 - 9 for n.
-4
Suppose 5*t - 19 = 6. Suppose -5*k + 42 - 2 = 0. Suppose g - 4*s = 2*g + 17, 4*s = -20. Solve -g*x + k = -t*x for x.
-4
Let r(n) = -14*n + 86. Let k be r(6). Solve y + k = 3*y for y.
1
Let r be 1 + (1 - 6) + -24*13/(-52). Suppose 0 = -a - 2*k, 2*k - k = 5*a. Solve a*y = -r*y for y.
0
Let u = 29 + -24. Solve -u = -3*t + 4 for t.
3
Let d(r) = r**3 - r + 49. Let c be d(0). Suppose 5*y = -4*n + c, -n + 4*n - 53 = -5*y. Let q = 13 - y. Solve q*m = 2*m + 4 for m.
-2
Suppose -4*b = 3*b + 4*b. Solve b = j - 10*j - 36 for j.
-4
Suppose 0*w + 15*w = 0. Solve 7*l + 21 = -w for l.
-3
Let m be 3/4 + (246/24 - 6). Solve 3*s - m - 1 = 0 for s.
2
Suppose 4*w - 4*d - 20 = 0, w = 2*d - 3*d + 11. Solve -w*g + 10 - 2 = 0 for g.
1
Let q(h) = h**2 - 4*h - 3. Let m be q(-1). Let f be -1*1 - (m + 0 + -3). Solve 5*l - l = f for l.
0
Let q(a) = 4*a. Let m be q(5). Let s = 28 - 29. Let z be (1 - (3 - s)) + (-88)/(-11). Solve -m = l - z*l for l.
5
Let o(v) = v**3 + 7*v**2 + v + 10. Let h be o(-7). Suppose 2*x + 0*x + h*w = -2, 4*w = 5*x - 18. Solve -1 - 3 = -x*f for f.
2
Let h = -76 - -83. Solve 2*b - 9 = -h for b.
1
Let z = 553 - 537. Solve -8 = -4*g - z for g.
-2
Let z = -5 - -4. Let c be (7 - z) + (1 - 3). Let t(u) = -u**2 - 13*u + 30. Let s be t(-15). Solve c = -s*p + 2*p for p.
3
Let o be (-7 - -19) + 8/(-1). Solve -o - 11 = -3*l for l.
5
Let t be 14*((-102)/(-14) + -7). Solve -t = 2*b - 2 for b.
-1
Let a(m) = 17*m - 63. Let c(t) = 6*t - 21. Let o(r) = 4*a(r) - 11*c(r). Let n be o(12). Solve -z = n*z - 12 for z.
3
Suppose -2*z - 32 = y, -17*z - 5*y + 74 = -20*z. Let n = 31 + -10. Let j = n + z. Solve -j*x = -x + 6 for x.
-3
Let w(j) = j**3 - 6*j**2 - 11*j - 28. Let x be w(8). Solve 12 = -15*a + x*a for a.
-4
Let m(w) = -w**3 + 14*w**2 - 14*w + 15. Let s be m(13). Let u be s/(-6) + 44/(-3). Let k be (-3)/5 - 39/u. Solve 0*x + k*x = -8 for x.
-4
Let v be 1653/116 + 0 + (-5)/4. Solve v = -b + 12 for b.
-1
Let y(x) = -2*x + 12. Let l be y(12). Let m = l - -17. Suppose -v - 5*t - 17 = 0, -m*v + t = 5*t + 1. Solve p + v*p = 16 for p.
4
Suppose 2*b + 11 = b + 3*v, 0 = -3*v + 3. Let x(y) = -y**2 - 7*y + 9. Let i be x(b). Solve -5*q + i = -14 for q.
3
Suppose 147 = 10*r + 87. Solve 6 - 18 = r*g for g.
-2
Let v(x) = -4*x - 2. Let u(k) = -k. Let d(j) = -21*u(j) + 3*v(j). Let o be d(1). Solve o*s + 2 = 5*s for s.
1
Let k be 6/27 + (-64)/(-36). Suppose 2*q = 2*d + 18 + 60, -4*d = k*q + 126. Let y = d - -50. Solve y = 2*i + 6 for i.
5
Let x = -66 - -45. Let f be (-154)/6 + (-14)/x. Let i be 10/f - 44/(-10). Solve i*p = 3 + 13 for p.
4
Suppose 27*h + 7*h - 68 = 0. Solve -h*b - 15 = -7*b for b.
3
Let g(m) = -m**3 - 4*m**2 + 5*m + 3. Let b be g(-5). Solve b*d + 4 = -d for d.
-1
Let o(l) = l**3 + 8*l**2 + 5*l - 2. Suppose -5 = -3*p - 26. Let f be o(p). Suppose f = 5*j + 2. Solve -22 = -5*q - j for q.
4
Let q = -879 - -910. Solve -26*n = -q - 73 for n.
4
Let o = 15 + -28. Let v = -12 - o. Let u be (5 + v)*(-6)/(-4). Solve 0 = -2*l - l - u for l.
-3
Let s = -39 + 27. Let z = s - -12. Suppose z = q - 2 - 4. Solve -h = -3*h - q for h.
-3
Suppose g + 51 = -4*k, 0*g + g = 4*k - 11. Let m = g - -31. Solve m = 2*v + 1 + 9 for v.
-5
Let y = -32 - -38. Let k be 0/(-2)*(1 + (-3)/y). Solve k = -c + 5 for c.
5
Suppose -5*d + 3*d + 12 = -3*w, -4 = -5*d + w. Solve -6*h + 2*h = d for h.
0
Let g be (9/(-1))/((-21)/(-14)). Let x be -1 + (-1)/(-2)*g. Let w be (3/x)/((-3)/12). Solve -w + 4 = v for v.
1
Let l be 2 - (12/(-9)*3)/2. Let a be -1 - (-3 - -1) - -27. Let f(x) = -x**3 - 5*x**2 - 7*x - 4. Let i be f(-4). Solve l*p - i = -a for p.
-5
Let w = 70 - 67. Solve -4*z - w + 11 = 0 for z.
2
Suppose -118*o = -117*o - 14. Solve 5*t = 1 + o for t.
3
Let m(c) = c + 14. Let r be m(-10). Let d be (-9)/r*32/(-12) + -2. Solve -5*s + d*s = 0 for s.
0
Let r(g) = -27*g + 63. Let v be r(2). Solve -x + 5 = v for x.
-4
Let x(p) = 122 - 4*p**2 + 5*p**2 - 119 - 4*p. Let t be x(3). Solve 2*m - 3 + 7 = t for m.
-2
Let u be 2*-2*7/7. Let c be (4/u)/((-2)/(-4)). Let j be ((-8)/16)/(c/20). Solve 9 + 16 = j*g for g.
5
Let x(u) = -5*u**3 + 3*u**2 + u + 2. Let w(b) = b**3 - b. Let y(t) = 6*w(t) + x(t). Let s be y(2). Solve 0*f = -4*f + s for f.
3
Let a = 78 + -73. Let l(z) = -3*z - 19. Let g be l(-9). Suppose 6 = 3*y - 0*q - 3*q, y = -4*q + 7. Solve -a*i - y = -g for i.
1
Suppose 32*c - 4*c = 56. Solve c*w = -0*w - 6 for w.
-3
Suppose -4*y = 4*f + 28, 3*f + 7*y + 23 = 2*y. Let j be f/45 + 96/45. Solve -j*r = r for r.
0
Suppose 3*s = 3, 8*z = 3*z - 5*s + 25. Let o(b) = -b - 13. Let i(x) = 2*x + 27. Let j be i(-21). Let w be o(j). Solve -z*