= j for k.
-3
Let h = 1335 - 1318. Solve h*u + 15 = 14*u for u.
-5
Let s = 142 - 145. Let v be s*(54/(-45))/(18/20). Solve -v*u = -0*u - 4 for u.
1
Let s be (-7 - (1 + -1 + -4)) + 17. Solve 2*v = -8 + s for v.
3
Let s(a) = a**3 - 7*a**2 + 5*a + 6. Let m be s(6). Suppose -4*z + 58 = 2*x, 4*x + m*z - 98 = z. Solve x = n - 6*n for n.
-5
Suppose t - 2*w = -4, -4*t = 3*w - 1 - 27. Solve 3*f + t = -8 for f.
-4
Let l = -221 + 223. Solve 22 + l = 6*r for r.
4
Let u = 11 + -14. Let f = 11 - u. Suppose 5*y - 11 - f = 4*w, -20 = w - 4*y. Solve 2*j - j = w for j.
0
Let g(q) = -2*q**2 - q - 9. Let j be g(0). Let w be (-1456)/(-72) + 2/j. Solve 2*i = -2*i + w for i.
5
Let h be (-18)/10*20/(-6). Let s be 3/(1*h/4). Suppose 17 = -s*n - 5*y, -3*n - 4*y - 3 = 5. Solve -n*q + 2*q = 4 for q.
-2
Let o(a) = 10*a - 73. Let n be o(8). Solve 43 = -n*h + 8 for h.
-5
Let g(y) = y + 7. Let b be g(-3). Let w be (-2)/8 - (-1 - (-63)/(-28)). Solve 0 = w*f - b + 1 for f.
1
Suppose -k - 4*k + 20 = 0. Suppose 2*l + 42 = 3*l + 5*y, 3*l - 41 = 2*y. Suppose -k*t - l = -29. Solve t*r - r + 8 = 0 for r.
-4
Suppose 68*d + 0*d - 136 = 0. Solve -32 = d*t - 42 for t.
5
Let x(y) = -3*y**2 - 4*y. Let a be x(-2). Let w be (-80)/(-32) - 2/a. Solve -c = -4*c - w for c.
-1
Let c be (-16)/(-56) + (-194)/(-7). Suppose -4*y + c = -0*y. Solve -2 + y = -v for v.
-5
Suppose 0*v - 4*v = -8. Suppose 5 = 3*c + v. Solve -5 - c = 3*w for w.
-2
Let a be ((-4)/10)/(4/(-60)). Suppose -2*b - l - 5 = -5*b, 5*l - 5 = 5*b. Solve 0*v = -b*v - a for v.
-2
Let b = -9 + 14. Suppose 0 = 4*i - b*y - 73, 5*i - 26 - 99 = -5*y. Suppose i = -5*w + 47. Solve w*o + 16 = -4 for o.
-4
Let d be 1247/58 + 3/(-2). Solve -d*z = -17*z for z.
0
Suppose -3*j + 9 = 3*l, 3*j = -4*l + 13 - 0. Suppose -c = 4*f + 34, -14 = -2*f + 3*f + 3*c. Let t be f/(-24)*(-1 - -1). Solve t = 3*y - l*y + 1 for y.
1
Let t be -3 + (0 + 1)*6. Solve j + 6 = t*j for j.
3
Let c(t) = -t**3 + 7*t**2 + 13*t + 51. Let h be c(9). Solve 18 = h*l + 12 for l.
1
Suppose -3*o + 28 = -4*a, 4*a - 2*o + 0*o + 32 = 0. Let s = a - -10. Let c be (-2)/(-6)*(s - -6). Solve q = -c*q - 15 for q.
-5
Let v = 2 - 2. Suppose -3*m - 12 = 0, -2*m + 5*m + 7 = -5*r. Solve v*s + r = -s for s.
-1
Suppose 3*i - 8*i = -105. Let n = i + -20. Solve 0 = -3*p - 2 - n for p.
-1
Suppose 36*t = 16*t. Solve t*n - 8*n = -6*n for n.
0
Let z be 38 + (-7 - -49)/(-6). Solve 5*m + z = 41 for m.
2
Suppose 0 = 16*l - 12*l + 4. Let r be (0/((-15)/3))/l. Solve 4*h - h = r for h.
0
Let b be 0 - (-2 - (1 - 1)). Suppose 5*c = -b*u + 12, -u + c - 1 = -0*u. Solve 0 = d + 4 - u for d.
-3
Let c(a) = -a**3 + 9*a**2 + 8*a - 4. Let n be c(10). Let j = n - -26. Solve -2*k + 0*k = -j for k.
1
Let g = -1199 + 1252. Solve -62 = 3*d - g for d.
-3
Let o = -1094 - -1106. Solve o*k = 21*k + 27 for k.
-3
Let h(u) = u**2 + 13*u + 25. Let a be h(-11). Solve 0 = a*s - 4*s - 3*s for s.
0
Suppose -16*o + 17*o = 5. Suppose 0 = -4*r - o*g + 10*g + 20, -g = 0. Solve -r*k = -7*k + 6 for k.
3
Suppose -6*z + 116 = -2*z. Solve 9*v = 11 - z for v.
-2
Suppose 3*j = 3*k - 29 + 92, -62 = 2*k + 2*j. Let q be 6 - (82/k + (-14)/(-91)). Solve q*o = 13*o - 16 for o.
4
Let z be 2/14 + (-2413)/133. Let n be -6*((-24)/z)/(-1). Solve -n + 5 = l for l.
-3
Let v = 338 - 306. Solve 0 = 4*w - 12*w - v for w.
-4
Suppose -27 - 33 = -15*q. Solve -2 = -2*b + q for b.
3
Suppose -14*f + 679 - 259 = 0. Solve 0 = -3*g - 7*g + f for g.
3
Let l(p) = -p + 2. Let a be l(-2). Suppose 3*n = 2*b - 1 + 14, -5*b - 16 = -2*n. Solve n*w - a = -w for w.
1
Let u be (-76)/494 + (-54)/(-13). Solve 4*t + u*t = 5*t for t.
0
Let d(z) = 3*z**2. Let b be 28/21*6/4. Suppose 2*c = -t - 9, 0 = -b*t - 2*t + 4*c + 12. Let m be d(t). Solve -m*i = 2*i + 5 for i.
-1
Let l(j) = -6*j**3 + j**2 - 5*j**3 + 1 + 12*j**3 + 2*j + 0. Let r be l(0). Solve r = -5*m - 19 for m.
-4
Suppose 428 = 6*k + 92. Solve -k = -3*m - 68 for m.
-4
Suppose 0 = -2*i + 4802 - 4772. Solve -i = -4*f - 11 for f.
1
Let q(s) = -s**3 - 6*s**2 + 2*s + 9. Let c be q(-6). Let h = 2 - c. Solve 12 = h*n + 27 for n.
-3
Suppose 64*q - 1479 = 2105. Solve -10*j + q - 16 = 0 for j.
4
Let o = 24 - 10. Suppose -2*g = -j - o, -3*g = -3*j - 0*g - 30. Let x be -4 - -2 - 0 - j. Solve 16 = -0*s + x*s for s.
4
Suppose -5 = -5*y + 5. Suppose y*f - 36 = -0*f. Suppose 0 = -5*b + f + 17. Solve -3*z - b = 5 for z.
-4
Suppose 5*f - z + 6 = 28, -4*f = z - 23. Solve -18*d + 23 = f for d.
1
Let f = -170 - -170. Solve f + 2 = -k for k.
-2
Let k = 10 + -7. Let p(q) = q**3 - 5*q**2 + 4*q - 3. Let v be p(k). Let h = -6 - v. Solve -h*u + 17 - 2 = 0 for u.
5
Let x(w) be the third derivative of -w**6/120 + w**5/5 + 7*w**4/12 - 11*w**3/6 + 20*w**2. Let t be x(13). Solve 0 = 4*b - t*b for b.
0
Suppose -3*f = -0*f + 6. Let k be 1 + 4 + f - 0. Suppose -k*t = -t - 6. Solve 0 = -5*p + t + 7 for p.
2
Let w = 369 - 366. Solve w*a = -0*a for a.
0
Let g = 51 - 53. Let m(u) = -u**3 - 2*u**2 + 2. Let f be m(g). Solve 12 = f*z - 6*z for z.
-3
Let c(u) = -u + 5. Let j be c(-5). Suppose 3*a - 7*o + 4*o = -9, -2*a = -3*o + j. Let d = 37 + -34. Solve d = r + a for r.
2
Let r(h) = -h**2 - 10*h + 5. Let b be r(-10). Let n(d) = -d + 6. Let l be n(b). Suppose 3*w - l = 2*q - q, -3*q - 2*w = -30. Solve 0 = 2*x - 0 - q for x.
4
Let l(z) = -z**3 + 19*z**2 + 42*z. Let u be l(21). Solve u = -4*b + 3 - 19 for b.
-4
Let o(i) = i**3 + 5*i**2 + 10*i + 15. Let a be o(-3). Solve 0 = -v + a - 4 for v.
-1
Suppose 0 = 2*i + 27*i - 1015. Solve 31 - i = k for k.
-4
Suppose 5*k - 140 = 8*l - 3*l, 2*l - 94 = -4*k. Solve -20*f + k*f = 10 for f.
2
Let z be 2/8 + (-4)/16. Suppose z*i - 1 = -i - s, 0 = s + 1. Suppose 0 = 3*p + k + k - 17, i*p = -k + 11. Solve -2*r = 3*r + p for r.
-1
Let k be -2 + -2 - (-3 + -3). Let v(y) = -10 - 1 - k*y + 3 - 14. Let u be v(-11). Solve -1 = -z - u*z for z.
1
Let c be ((-2)/(-6))/((4 - 3)/15). Suppose p - 5 = 0, 4*p + 0*p - 10 = c*d. Solve -d*w + 1 = -3 for w.
2
Let x(b) = -b**2 + 5*b + 40. Let j be x(9). Solve 0 = -a - 0*a + j for a.
4
Let y = 11 + -17. Let x be y/5*(30 + -10). Let q = x + 29. Solve q*h + 11 = 36 for h.
5
Suppose -52 = -55*k + 53*k. Solve -a - 22 + k = 0 for a.
4
Suppose 3*n - 48 = -39. Solve -3 = 2*z + n for z.
-3
Let l be -11 + 6 + (-1)/(-1). Let x = l - -4. Suppose x = -d - 3*d + o + 21, -9 = -4*d + 5*o. Solve -5 = -d*t + t for t.
1
Let b(a) = a**3 - 4*a**2 + 5*a - 3. Let g be b(3). Let q be ((-3)/9)/(-3 + 371/126). Let z be (q + -2)/(-1 + g). Solve 2 = -z*j + 8 for j.
3
Let h = -515 + 530. Solve 6*u = h + 15 for u.
5
Suppose -24 = -4*f + 4. Suppose -9 = 5*v + 1, 3*v - 93 = 3*g. Let y = g + 35. Solve -f + y = -l for l.
5
Suppose 0 = -3*q - 224 - 16. Let v = q + 85. Solve v*i = 21 - 6 for i.
3
Suppose -3*z + 15 = 2*z - d, -5*d - 19 = 3*z. Suppose -c + 10 = -5*l - 7, -16 = -z*c + 4*l. Solve c*j - 15 = -3*j for j.
3
Let g(d) = 4*d + 1. Let l be g(1). Let h = -354 - -358. Solve -6*u = -l*u - h for u.
4
Suppose -3*v - 5*o = 17, 0 = -v - v - 3*o - 10. Suppose -b - 2 = -6*u + u, -2*b - 4*u + 24 = 0. Let z = 8 - b. Solve -l + z*l - v = 0 for l.
-1
Let r(n) = -3*n - 61. Let k be r(-21). Suppose 0 = -7*p + 18 + 10. Solve 0 = 2*w - p*w + k for w.
1
Let k = 558 - 558. Solve -10*v + k - 10 = 0 for v.
-1
Let l be (-8)/(-4) + (2/(-1) - -4). Suppose 4*x + 15 = 4*a - x, l*x + 12 = -3*a. Solve -4*b + b = a for b.
0
Let y(k) = -k**2 + 10*k - 29. Let z be y(12). Let g = z - -55. Solve 0*s - s = g for s.
-2
Suppose 62 = -2*k + 66. Solve 5*h = k*h - 6 for h.
-2
Suppose -6*v - 6 = -9*v. Let u(p) = 4 - v + 0 - 1 - 4*p. Let a be u(-2). Solve 6*b = 3*b + a for b.
3
Let z be 28/(-35)*5/(-2). Solve m - z = -0*m for m.
2
Let b(v) = 1328*v - 10624. Let a be b(8). Suppose -r = 5*z + 11, -20 = 8*z - 4*z - 2*r. Let p = z - -4. Solve a = -i - 0 + p for i.
1
Suppose 79 = 3*t + 2*o - 50, -4*o - 192 = -4*t. Suppose 5*v + 5*m - t = 0, 0*m = 2*v - 2*m - 2. Solve h = v*h for h.
0
Let k be -8 + 6 - (0 + -7). Suppose -15 = 5*n - 2*c, -n + c + 2 = 8. Let o be 2 + n*(-3 - -1). Solve 0 = o*m + k - 1 for m.
-1
Suppose -4*v - 5*d - 6 = 0, -4*v + d - 1 = -7*v. Solve -v = 6*o - 13 for o.
2
Suppose 12*d - 116 = 1156. Let r = d + -91. Solve -2*v - r = 3*v for v.
-3
Let m = 16 + -14. Let c(i) = -2*i**2 + 5*i + 2. Let z be c(m). Solve z + 0 = -2*g for g.
-2
Let g be (0/(-2 - -5))/(2*-1). 