-2*z for z.
5
Suppose 197*z + 77*z - 4932 = 0. Solve -4*o - z*o = -88 for o.
4
Suppose -a + 2*s = -89, 4*s = -4*a - 67 + 471. Suppose -6*n = -23 - a. Solve -6*u + n = -u for u.
4
Let k = 19930 + -19928. Solve -k = 14*o - 100 for o.
7
Suppose 34 = 53*o - 52*o. Solve 0 = -o*n - 48 - 190 for n.
-7
Let h(t) = 9*t - 38*t**2 + 20*t**2 + 16*t**2 - 42. Let f(y) = y**2 - 9*y + 43. Let d(n) = -3*f(n) - 2*h(n). Let x be d(-13). Solve -2 + x = -p for p.
-5
Let f(w) = w**3 - 7*w**2 - 9*w + 144. Let s be f(6). Solve 4*d - s = -5*d for d.
6
Let t be 228/(-18) + (-2)/6. Let f = t + 13. Solve 5*w - 25 = -f*w for w.
5
Let y be 9/(-15) + 348/30. Suppose -16*o = y - 27. Solve o = 2*k - 9 for k.
5
Suppose p + 0*p + 87 = 0. Let u = -75 - p. Solve 0 = 2*f + f - u for f.
4
Suppose 4*v = 2*o - 27 + 25, -3*o = -4*v - 9. Solve -16*n - 9 - o = 0 for n.
-1
Suppose -9 - 10 = -19*z. Let o = 5 + z. Solve -o*k = -k + 20 for k.
-4
Let d(q) = 2*q**2 - 51*q - 144. Let m be d(-3). Solve 6*l + m = -21*l for l.
-1
Let n(c) = 88*c + 440. Let r be n(-5). Let k(q) = 51*q**2 - 2*q + 1. Let m be k(1). Suppose r = 10*s - m - 10. Solve -4*y + s = -y for y.
2
Let l(k) = 21*k + 26. Let u be l(11). Let c = 257 - u. Solve c = -8*d + 10*d + 8 for d.
-4
Let l(r) = 15*r**2 - 33*r + 69. Let d be l(2). Solve -47*k + d = -26*k for k.
3
Suppose s = -2*j - 2*s + 19, 43 = 5*j + 3*s. Let b(u) = 2*u - 29. Let t be b(16). Suppose 5*o + t*w = 12, -w - 4 = 4*o - 15. Solve o*p - j = 4 for p.
4
Let y(r) be the third derivative of -2/3*r**4 - 7/30*r**5 + 1/120*r**6 + 13*r**2 + 5/2*r**3 + 0*r + 0. Let t be y(15). Solve t = -a - a + 4 for a.
2
Suppose 4*d - 285 = 5*y, 247*d = 251*d - y - 313. Solve -77 = d*m - 237 for m.
2
Suppose -2*o - o + 2*s = 36, 0 = 3*o - 4*s + 36. Let b be 33/11 - o*2. Let u be 305/45 + 6/b. Solve 2*z + 17 = u for z.
-5
Suppose -136278 = -307*w + 81*w. Solve -71*m = -4*m + w for m.
-9
Suppose 4*j - j + 5*j = 0. Suppose -3*v + 3*h = -j*h - 36, -2*v + 3*h = -25. Suppose -v*b + 11 = -11. Solve 6*a - 4 = b*a for a.
1
Suppose -3*w = 4*h - 382 - 47, -5*h + 4*w = -575. Solve 12*p = -25*p + h for p.
3
Let l be (-2)/(-10) - (4 - 15 - (-11123)/(-35)). Solve l*s - 330*s = 0 for s.
0
Let i(w) = w - 45. Let c(d) = 22. Suppose -3*l - 4 + 19 = 0. Let y(b) = l*c(b) + 2*i(b). Let u be y(-7). Solve u*k = k for k.
0
Let d = -624 - -615. Let v be 1028*d/(-540) + (-4)/30. Solve 14*o - v*o = -9 for o.
3
Suppose 7*b - 3*b - 12 = 0. Suppose b*u - 4 = 5*u. Let x be (-230)/69*(u - 4/(-5)). Solve 0*l = x*l + 12 for l.
-3
Suppose -15*t - 198 = -6*t. Let r be 194/12 + (t/(-12))/(-11). Let a(x) = -x + 18. Let l be a(r). Solve 3*v = -l*v for v.
0
Let o = -28219 - -28221. Solve 0 = -o*m - 12*m - 98 for m.
-7
Let t = 6 - 4. Suppose 3578 = -21*b + 848. Let o = b + 133. Solve -o*y = t*y for y.
0
Let h = -298 + 300. Suppose -h*q = -4*c + 64, -5*c + 22*q + 77 = 21*q. Solve 4*p - c = 9*p for p.
-3
Let m(n) = n**3 - 18*n**2 + 12*n - 30 + 25*n - 3*n. Let c be m(16). Suppose -5 = -c*v + o, -3*o = -2*v + o - 4. Solve 0 = v*t - 1 - 3 for t.
1
Let r be 10/(-8) + 375/360*6. Solve 22 = 9*w - r for w.
3
Let c(r) = 2*r. Let n be c(4). Let u = n + -3. Suppose -174*b = -5*o - 169*b - 5, -5*o = -4*b + 4. Solve -u*m + 2*m - 6 = o for m.
-2
Suppose 3*o = 7*o - 36. Suppose -234 = -25*x + 216. Solve 0 = -o*u + x for u.
2
Let z = 235 - 217. Let w = -12 + z. Solve 4*g - g = -w for g.
-2
Let k be ((-38)/(-42))/(-19)*-6*1729. Solve -k*y + 469*y = 0 for y.
0
Let i(q) = -q**2 + 46*q - 257. Let t be i(7). Solve 7*l = -t*l for l.
0
Suppose 2*g - 3 + 11 = -2*b, -3*g = 12. Let f = b + 8. Suppose 0 = w - 12 + 7. Solve 3*p = w*p - f for p.
4
Suppose 5*m - 6*m = -5. Let f be (((-48)/(-9))/(-16))/((-1)/15). Let i = 12 + 3. Solve f + i = -m*r for r.
-4
Let d(x) = 5*x**3 + x**2 + x + 1. Let t be d(-1). Let n be 63/(-14) - 2/t. Let s(f) = f**2 + 5*f + 6. Let k be s(n). Solve k*v = 6*v for v.
0
Let m = -69 - -87. Let q be ((-4)/5)/(-2 - m/(-10)). Suppose q*t + t = -4*l + 51, 0 = -t - 5. Solve -6 = 5*f + l for f.
-5
Let s = -15 - -21. Let m = -22602 + 22604. Solve -s + m = -4*w for w.
1
Let k be (5 + -8)*152/(-3). Suppose -4*j + 4*q = -k, 8*q - 6*q - 4 = 0. Solve -3*p - j + 31 = 0 for p.
-3
Suppose -281 = -4*u - 273. Solve 83*q - 82*q - u = 0 for q.
2
Let s = 106 + -96. Suppose 18*x = 23*x - s. Suppose -39 + 35 = -x*n. Solve -n = -5*t + 4*t for t.
2
Let v(o) = -2*o**3 - 5*o**2 - 5*o - 68. Let g be v(-5). Let h be (-3 - -5)/(3/105). Solve h - g = -3*y for y.
4
Suppose 0 = -5*c + 3*m + 153, -m = -c - 8 + 39. Solve 49*r = 59*r + c for r.
-3
Suppose 0 = 3*d - 12*d + 3150. Let r = d - 349. Solve -n = r + 3 for n.
-4
Suppose -17 = -5*h - 4*q - 138, -3*h - 76 = -q. Let p = h - -28. Let t(l) = -l**3 - 9*l**2 + 9*l + 5. Let b be t(-10). Solve -p*y + b = -0*y for y.
5
Suppose 0 = 2*m - 2 + 4, 2*u = 3*m - 29. Let o(t) = -t**3 - 15*t**2 + 14*t - 12. Let p be o(u). Solve p = -10*r + 6*r for r.
-5
Let x be 0/((-12)/3)*1. Suppose -4*j + 84 = 3*j. Let v be j/4 - 4 - -1. Solve x*c + 2*c = v for c.
0
Suppose -50*k = -56*k + 25*k - 2109. Solve -k = -19*h + 3 for h.
6
Let u(i) = i**2 + 12*i + 15. Let a be u(-9). Let s be ((-15)/(-6))/((-15)/a). Suppose -s*f + 2*f - 3*f = 0. Solve m + 0*m = f for m.
0
Let x(s) = 87*s - 3991. Let h be x(47). Solve 0 = 103*a - h*a - 5 for a.
1
Let d be ((-19)/(-4))/(-1) + (-195)/(-260). Let w be -114 + (0 - d) + -5. Let j be (-10)/4*92/w. Solve j*l - 15 = -3*l for l.
3
Suppose -10 = -p - 6. Suppose -5*b + 50 = r - 3*r, -3*b + 4*r + 30 = 0. Let k = b - -5. Solve -w + p*w = -k for w.
-5
Let o = -4499 - -4510. Solve o = -6*c - 19 for c.
-5
Let i = 26114 + -26080. Solve 13*n = -i*n for n.
0
Suppose 6 = 3*z, 25*i - 22*i - 5*z - 140 = 0. Solve 26*s = 232 - i for s.
7
Let y = 2426 + -2424. Solve -y*r + 28*r = -78 for r.
-3
Suppose -569 = -92*n + 535. Suppose 4*u - 2*q - 4 = 0, u - 2*u + 1 = -2*q. Let t be (-6)/(-4) + u/2. Solve t*d + n = 2 for d.
-5
Let o(w) = 2*w**2 - 68*w + 573. Let z be o(12). Solve 12 = 11*p + z for p.
-3
Let d be (-180)/(-16)*(-3 + 5 + (0 - -2)). Solve d = 46*h - 139 for h.
4
Let u = 46222 - 46010. Solve -8*h - u = 45*h for h.
-4
Suppose u + 4*u = 5*x - 30, -u - 4*x - 31 = 0. Let z(k) = k**2 + 13*k + 37. Let l be z(u). Let g be (-6)/(-3 - 12/(-8)). Solve -a - g*a = -l for a.
3
Let p(m) = -20*m**2 + 45*m - 51. Let i(h) = -6*h**2 + 15*h - 17. Let l(u) = 7*i(u) - 2*p(u). Let y be l(6). Solve 0 = -5*k + y + 24 for k.
5
Let x(s) = 3*s**3 + 12*s**2 - 38*s - 2. Let a be x(-6). Solve -a*c = -105*c - 380 for c.
-4
Let f(b) = 13*b - 4. Let m(n) = -15*n + 5. Let c(l) = 7*f(l) + 6*m(l). Let p be c(0). Suppose 0 = -10*s + p + 28. Solve k + 8 = -s*k for k.
-2
Suppose 6*v = 70 + 32. Suppose -19 = -5*w - 3*x, 0 = v*x - 19*x - 4. Solve -w*u = 18 - 38 for u.
4
Suppose 3*a - 10 + 2 = -f, -3*f + a + 44 = 0. Let i = -48478 + 48487. Solve f*u = i*u - 20 for u.
-4
Let u(l) = -4*l**2 + 66*l + 300. Let i be u(20). Suppose 2*k + a + 2 = 0, -k = 3*a - 0*a + 6. Solve 3*j + j + i = k for j.
-5
Suppose 0 = -5*a - 0*a + 60. Let r = -30 - -35. Let n be (-2)/a + r/30. Solve 1 = k - n*k for k.
1
Let b = 59 - 47. Suppose -2*r = -b*r + 260. Suppose n + 2*n = -5*y + r, 5*y = -2*n + 14. Solve -5*m = n + 3 for m.
-3
Suppose -l + 4*r = -19 - 2, 3*r = -5*l - 10. Let s be ((-5)/(-15)*-2)/(6/9). Let c be s/((-24)/20 + l). Solve n - c = -0*n for n.
5
Let d(t) = 2*t + 2. Let u be d(5). Suppose -3*v + u = v. Let y be -3 + (-3)/10*-10. Solve -v*o = -y*o + 3 for o.
-1
Let h = 405 - 260. Solve 64*l = 93*l - h for l.
5
Let l(u) = -u**2 + 16*u + 38. Let d be l(17). Let g = -11 + d. Suppose 2*o - 4*x = o + 45, 0 = -5*o + 4*x + 145. Solve -o = 5*t - g*t for t.
5
Let v = -2256 + 2411. Solve -5*n - 26*n = -v for n.
5
Let x = -287 + 296. Suppose -2*d = -2*u + 30, -u = u - d - 29. Solve u*y = x*y - 5 for y.
-1
Let o = 514 + -508. Let k = -3 + o. Solve -k*w + 20 = -8*w for w.
-4
Suppose -3*v + 4*f + 6 = 44, 2*v + 24 = 4*f. Let t = 10 - v. Suppose -3*c + 7*c = t. Solve 10 = -4*d - c for d.
-4
Let k(j) = -j**3 + 32*j**2 + 31*j + 66. Suppose 75 = 2*n + 3*x - 6, 0 = -3*n + 2*x + 89. Let p be k(n). Solve 0*i + 2*i + 4 = p for i.
-2
Suppose -2*k - 2*h = -h - 915, 5*h - 919 = -2*k. Let w = 465 - k. Solve -10*a = -12*a + w for a.
4
Let r = 2407 + -2407. Solve r = -16*b + 17*b + 1 for b.
-1
Let 