 -77*k - 355 = -b*k for k.
-5
Let v(z) = -z**2 + 30*z - 123. Let m be v(24). Suppose 15*w - 9 = m. Suppose 10 = -0*x + 2*x - 2*g, -5 = -2*x + 3*g. Solve 0 = 3*b + w*b + x for b.
-2
Let k be (-1)/((-2)/(-3 + 73)*(1 - 0)). Solve -19*s = k*s + 216 for s.
-4
Suppose -43*w + 3020 = 108*w. Solve 104*t = 100*t + w for t.
5
Suppose -2*x + 10*h = 11*h - 15, -5*h - 9 = -2*x. Let o(n) = -4*n + 43. Let a be o(x). Solve -7*g = -4*g - a for g.
5
Suppose -g + 2*d + 25 = -0*d, 0 = 2*g - d - 38. Let t = -66831 - -66845. Solve -y + g = t for y.
3
Let m(k) = 2*k**2 + 6*k - 17. Let c be m(2). Let t be 2/13 + (12/39)/(-2). Suppose s = 5*a - 8, t*s - 3*a - 5 = -2*s. Solve s - c = -2*w for w.
-2
Let f be -247 - ((-1)/2 + (-54)/36). Let t = f + 245. Solve t*b = -b for b.
0
Let w = -13 - 22. Let b = w + 39. Suppose b*x - 2*x = 0. Solve x = -4*f + f + 6 for f.
2
Let z(a) = 2*a**3 - 2*a**2 - 3*a + 3. Let r be z(2). Suppose 54*y = 50*y + r*t + 13, y - 3*t = 5. Suppose 2*d + 3 = 7. Solve y*k = -8 - d for k.
-5
Suppose -234 = -4174*k + 4165*k. Solve k*i = 6*i + 20 for i.
1
Let n(j) = -8*j + 132. Let q = -76 + 92. Let x be n(q). Solve -8*i = -x*i for i.
0
Suppose -w - 4*w = 2*x + 50, -2*w = -x - 7. Let b be (-206)/(-10) + -4 + (-51)/x. Suppose 5*m = m - b, u = 2*m + 14. Solve u*g - 3 = g for g.
1
Let g(w) = 27 - 25 + 4*w**2 + 2*w + 0*w + w**2. Let z = 40 - 42. Let x be g(z). Solve x - 6 = -3*y for y.
-4
Suppose -h = 4*g - 24, -15 = -2*h - 5*g + 21. Suppose 30 = -5*z + h*z. Suppose 0 = 2*s - 4*v - z, 3*s = -2*s + 2*v + 17. Solve -s*o = 9 - 3 for o.
-2
Let g(f) = -f**3 + 4*f**2 + 23*f - 68. Let u be g(5). Let r = 10 - 10. Suppose 2*m = -r*m - 2*b + 22, b + 9 = m. Solve 3*t + u = m for t.
-4
Let c be 30/45 - (3344/(-3))/2. Let y = 576 - c. Solve 11*x + y = 5*x for x.
-3
Let q(y) = -1 + 2*y + 1169*y**2 - 1151*y**2 + 5 - 2*y**3. Let w be q(9). Solve -w*j + 24*j = -10 for j.
-5
Let l(b) = 68*b + 2819. Let d be l(-41). Solve 13*k + d + 21 = 0 for k.
-4
Suppose 0 = y - s - 3, 4*s - 5 = -2*y + 1. Let l = 28 - 23. Suppose -36 = -l*r + r. Solve y*h = r + 6 for h.
5
Let m be ((-534)/(-445))/(14/10 + -1). Let d(g) = 2*g**3 - 4*g**2 - g + 17. Let a be d(m). Solve -8*s - a - 8 = 0 for s.
-5
Let y be ((-25)/(-2))/(2/4). Let s = -10606 + 10609. Solve -y - s = 7*x for x.
-4
Let u(z) = -4*z + z**3 - 1313*z**2 - 4 + 1329*z**2 + 18*z - 9. Let o be u(-15). Solve -3*h - o*h + 25 = 0 for h.
5
Let y(r) = 11*r. Let t = -53 + 46. Let p be y(t). Let q = p - -85. Solve 0 = -3*k + q - 5 for k.
1
Suppose -5*o = -3*s - 199, -4*o - 277*s = -276*s - 183. Solve -58*q + o*q = 84 for q.
-6
Let y = 175 + -157. Suppose 0 = 14*i + y - 46. Solve 2*g = -i*g for g.
0
Suppose 4*v - 117 = -5*b, -4*v - 3*b = -6*b - 77. Suppose 20*u = v*u. Suppose u = 25*g - 24*g - 2. Solve -h = -0 + g for h.
-2
Let i = -5015 - -5023. Solve -6*t + i - 38 = 0 for t.
-5
Suppose m - 50 = -2*m - 2*g, -58 = -3*m - 4*g. Let r be 6 + m/(-7) + 2. Solve -8 = r*x - 2 for x.
-1
Suppose 0 = 4*l - 13*l - 36. Let t be 54/l*(-8)/12. Suppose 0 = -j - 5 + t. Solve 0 = j*h - 13 + 1 for h.
3
Let o(g) = 4*g + 41. Let r be o(-8). Suppose -5*y - 4*q = -r*y + 12, -9 = -3*q. Suppose -6 = -3*w - 0*w. Solve 0*m + w*m = y for m.
3
Let d = 150 - 149. Let z be d/((-2)/(-16) - (52 - 52)). Solve 4*i + 4 = -z for i.
-3
Let c be (-25)/((-45)/378*6). Solve 4 = -c*z + 37*z for z.
2
Let y be -78 + (-9 - -8 - -3). Let f be (-114)/y*(-4)/(-18)*12. Solve 28 - 8 = -f*j for j.
-5
Suppose 4*d - 5*w - 122 = -0*d, -3*w = 5*d - 171. Suppose 4*u + 5*m - d = 18, -m = 3*u - 30. Solve 3*q + u = 6*q for q.
3
Let t = 858 + -850. Let j be t/(-3)*(9 + 135/(-12)). Solve -j*y = -7*y for y.
0
Let l(p) be the first derivative of -p**3/3 + 16*p**2 - 31*p + 56. Let m be l(31). Solve m = -2*v + 1 - 7 for v.
-3
Let d = 6963 - 6892. Solve -50*f + 84 = -d*f for f.
-4
Let y(v) = -v**3 + 8*v**2 + v + 8. Let i be y(6). Suppose -i*q - 30 = -92*q. Solve q*m - m = -16 for m.
-4
Let t(z) = 5*z**2 - 14*z + 2. Let p be t(8). Let f = -195 + p. Solve 0 = -4*a + f + 5 for a.
5
Suppose 0 = 2*a - 2*y - 18, -a + 7 = 17*y - 20*y. Solve f + f + a = 0 for f.
-5
Let x(k) = k**2 - 26*k + 17. Suppose 0 = 16*f - 12*f - 92. Let r be x(f). Let i = -32 - r. Solve 0 = -d - 3*d - i for d.
-5
Suppose 4*d + 13 = l - 4, -3*d = -l + 14. Let z be (-22 - -22)*(-3)/18*3. Solve l*c = -z*c - 10 for c.
-2
Suppose -4*j + 4*k = -344, -2*j - k + 239 = 67. Let f = j - 86. Solve -3*a - 7 - 8 = f for a.
-5
Let u(w) = 29. Let y(l) = l. Let d(k) = -u(k) + 4*y(k). Let f be d(8). Let r be (-3 - -4 - f)*3/(-2). Solve 2 - 5 = r*x for x.
-1
Let r(m) = m**3 + m**2 - 14*m + 8. Let z be r(0). Solve 0 = z*j + 515 - 475 for j.
-5
Suppose -47233*m + 5181 = -47200*m. Solve 32*y = -m - 35 for y.
-6
Suppose 4 = 2*m - 10. Let i = 2990 + -2988. Solve -i*x + m*x = 25 for x.
5
Let d = -333 - -339. Suppose n - m = d, -1 = -4*n - 4*m + 7. Solve -n*u = -5*u - 1 for u.
-1
Suppose 213 = -3*v - 159. Let n = -112 - v. Solve 3*i - n = 3 for i.
5
Let g be (-10 - (-8 + -17))*3/((-30)/(-8)). Solve -g*h = 3*h + 30 for h.
-2
Let d(v) = v**3 + 5*v**2 - 5*v + 10. Let w be d(-6). Let b be ((-34)/8 + 5)/((-1)/(-8)). Suppose 0*m + 2*m = -c + b, -m = -4*c + 33. Solve -w = -4*h + c for h.
3
Suppose 4*n = -4*n + 24. Let p = -18 - -36. Let i be (p/15)/3 - (-6)/(-15). Solve i = n*l - 4*l for l.
0
Let i = -6 - -8. Suppose -4*w + i*w + 4 = 0. Suppose 51*j - 143*j + 368 = 0. Solve -6 = j*h - w for h.
-1
Suppose 7*d + 51*d + 55*d = 116729. Solve 1031*j - 8 = d*j for j.
-4
Let c be (-5)/(-1) + -2 - (-6 + 9). Solve c = -4*g - 7*g + 55 for g.
5
Let v(s) = 73*s - 187. Let b be v(9). Let w = b - 467. Let l(q) = q**3 + 4*q**2 + q - 1. Let m be l(-3). Solve -w*z - m = 1 for z.
-2
Let s(x) = 28*x + 214. Let g be 11/(-3)*3 - -4. Let d be s(g). Solve -d*i - 6 = -20*i for i.
3
Suppose 4*i - 42 = 3*o + 13, o + 15 = i. Suppose 0 = -i*b + 1 - 1. Suppose b*a - 2*a = -12. Solve -5*p - 16 + a = 0 for p.
-2
Let i be ((-2)/2)/(27/36*(-32)/2352). Solve i = -19*f + 33*f for f.
7
Let m(k) = 32*k - 792. Let t be m(25). Solve -34 - 6 = -t*x for x.
5
Let c = -57 + 62. Suppose -4*d - 12 = -5*q - 40, c*d - 76 = -4*q. Suppose 0 = 4*v + d, -t + v = -2*t. Solve -t = 3*a - 0 for a.
-1
Let w(c) = c**3 - 3*c**2 - 10*c + 3. Let g be w(5). Suppose 0*n + 4*n - 5*h - 39 = 0, g*n + 2*h = 12. Suppose -n*a + 8*a = a. Solve -z - 2*z + 6 = a for z.
2
Suppose -7579 = -4*w - 9*w - 40*w. Solve -23*n = 5 - w for n.
6
Let o = 82 - 143. Let i = o + 73. Solve -2*b + i = 4 for b.
4
Let a(u) = 2*u - 5. Let s be a(4). Let w be 4617/(-18)*1*(3 + -5). Let h be (w/(-95))/(3/(-5)). Solve 2*c - s = -h for c.
-3
Let g = -7504 - -7538. Solve -g*o + 116 = -63*o for o.
-4
Let j = 341 - 152. Let f = 189 - j. Suppose -y + 5*c - 1 = 6*c, 4*y - 20 = 2*c. Solve f = -2*u + 1 + y for u.
2
Suppose -468 + 332 = -34*k. Solve k*h - 9*h - 5 = 0 for h.
-1
Suppose 4*q + 0*q = -340. Let j = q + 84. Let z be (0/j)/((-10)/(-10)). Solve z = -3*a + a + 2 for a.
1
Let c(y) = 1. Let j(u) = 2*u + 34. Let p(a) = 2*c(a) + j(a). Let x be p(-17). Solve 6*w - x*w - 20 = 0 for w.
5
Let s(w) = -3*w**2 + 46*w + 643. Let z be s(24). Solve z*m = 21*m + 2 for m.
-1
Let y be 176/132 + 2/((-24)/(-188)). Solve -19 = -y*r + 32 for r.
3
Let d be 333/6*(4/10)/((-36)/(-60)). Solve -1 + d = -18*l for l.
-2
Suppose -4*q - 13 + 29 = 2*d, -5*q = -20. Solve 2*z + d*z = -6 for z.
-3
Suppose -117012 + 114924 = -24*l. Solve 108*i = l*i - 105 for i.
-5
Let h(d) = 402*d + 805. Let p be h(-2). Solve -12*o + p = -35 for o.
3
Let m be -5 + 9 + -4 - (-4 + 7). Let i be -1 - (m/(-6) + 26/(-4)). Solve -7 = 12*t - i*t for t.
-1
Suppose 101 = 51*t - 39*t - 7. Solve 11*q - t = 2*q for q.
1
Let i(g) = 11*g**3 + 65*g**2 - 10*g - 12. Let r be i(-6). Let l(s) = 2*s + 2. Let y be l(-3). Let v be (4/(-5))/(y/20). Solve -v - r = -4*o for o.
4
Suppose 0 = 19*a - 101 - 184. Suppose 5*d - 4*c = 25, 7*c - 9*c = 3*d - a. Solve -d*k + 9 = 4 for k.
1
Suppose 126 - 246 = -6*p. Let s be (p/(-15))/(1*(-2)/3). Solve -3*k = 1 + s for k.
-1
Suppose -12 = 4*i, -4*i = -2*q + 5*q + 1257. Let n = -400 - q. Solve 0 = -2*l - n + 23 for l.
4
Let h(m) = m**3 - 37*m**2 - 4*m + 313. Let i be h(37). Solve -i + 90 = 25*d for d.
-3
Suppose 2*h + 61*x = 59*x + 196, -3 = -3*x. Solve -124 = -27*m - h*m for m.
1
Let t be (-2 - -1)*-1*0.