 0 = -t*s - 0*s for s.
0
Suppose -14*n - 10386 = -3568. Let b = n + 492. Solve -b*r + 3*r = -10 for r.
5
Suppose 0 = w - 5*w - 96. Let g(m) = -3*m**2 - 34*m + 605. Let a be g(-21). Let j be (-3)/(100/w - a). Solve -j = 4*k + 2 for k.
-5
Let v = 88 - 74. Suppose v + 5 = -i. Let q = 23 + i. Solve q = 4*a + 12 for a.
-2
Suppose -k = m - 194 + 81, 0 = k - 4*m - 118. Solve 26 - k = -11*n for n.
8
Suppose -19 = -4*j + 1. Let u be (-1)/((-2)/2)*132/132. Solve i = j - u for i.
4
Suppose -5*u = 3*n - 381, -4*u + 6*n + 261 = -111. Solve -u*q = -144*q - 441 for q.
-7
Let m(s) = -2 - 69*s - 4 - 5 + 75*s. Let n be m(2). Solve -4*h + n = 5 for h.
-1
Let w be (-2 + 2)/(17 - 18). Suppose 8 = 2*j, w = 2*m - m + 3*j - 12. Solve -6*i = -m*i + 30 for i.
-5
Let y(l) = l**3 - 9*l**2 + 18*l - 642. Let o be y(12). Solve -o*f = -28 + 70 for f.
-7
Suppose 19*m - 4*m + 125 - 2000 = 0. Solve 20 = 121*n - m*n for n.
-5
Let w = 136 + -132. Suppose 53 = -w*p + 69. Solve 6*l - p*l = 2 for l.
1
Let d be (-8)/((-16)/(-8)*1/(-14)). Let i be (-4)/d*158 - 4/(-14). Let v(t) = t**3 + 10*t**2 - 9*t + 27. Let x be v(i). Solve 5*g - x = 5 for g.
2
Let a = -38 - -53. Suppose 25 = -5*w, -a*w + 16*w + 5 = -2*p. Solve -6*r + 11*r + 10 = p for r.
-2
Let c(o) = -o + 21. Let y be c(10). Let r = y - 5. Suppose 3*t = -v - 0*t + r, v - 27 = 4*t. Solve 5*x = -0 + v for x.
3
Suppose 0 = -o + 2*b - 2, 3*o + 12 = 5*o + 4*b. Suppose -o*c - 2*m + 2 = 0, 8*m = -5*c + 9*m + 11. Solve -5*f - 3 = -c*f for f.
-1
Let s be 53 - 3/(-3 - 0). Let l be 728/21 + 12/9. Let d = s - l. Solve d = 3*h + 3 for h.
5
Suppose -322 = -2*x - 2*j, -3*x + 5*j = -x - 308. Let q = x - 156. Solve 4*v = 5*v + q for v.
-3
Let z(a) = 6*a - 142. Let r be z(39). Suppose -110*w + r*w + 90 = 0. Solve -w*p - 9 = -2*p for p.
-3
Suppose -59*r - 11*r = -111*r + 2091. Solve 43*k = r*k + 24 for k.
-3
Let p be (-4744)/30 + 38/285. Let t = p - -164. Solve -t*b - 1 = -7*b for b.
1
Let b = 7 - 4. Suppose 3*s = 4*u + 2, 4*s + 3*u + 6 = 42. Suppose 0 = 10*m - s*m - 4. Solve -b = -g + m for g.
4
Suppose 4*t - 2*t = 154. Suppose -182 = -5*i - t. Suppose d + 19 = i. Solve -v + 3 = d*v for v.
1
Suppose -3*j + 2 = 5*s, -2*s = -13*j + 8*j - 38. Solve -7*l + 5*l + s = 0 for l.
2
Let k be 45/(-9) - (-84)/4. Suppose g = 2*x - 3*g + k, -g + 3 = -x. Solve 0 = x*w - 4 + 8 for w.
-2
Suppose 2 = -10519*u + 10520*u. Solve -u*m + 54 - 56 = 0 for m.
-1
Suppose -140*f + 200 = -115*f. Solve 3 = f*s - 45 for s.
6
Suppose 6*o = -2294 + 410. Let w = -307 - o. Solve w*n + 24 = n for n.
-4
Suppose -5*z + 3 = -t - 1, 5*z - 20 = 5*t. Suppose 24 = -2*i - 154. Let f = i + 93. Solve z*b + 16 = -f*b for b.
-4
Suppose -3*b = 2*o - 7*o - 16, 2*o - 23 = -3*b. Let r(i) = -i + 0*i + 0*i - 6 - b. Let a be r(-15). Solve -a*y - 6 + 0 = 0 for y.
-3
Suppose 4*u - 5*t = -39, -37 = -5*u - 5*t - 97. Let b(s) = 2*s**2 + 20*s - 19. Let m be b(u). Solve -m = -p - 2*p for p.
1
Suppose 3*w - 340 = -100. Let p = 90 - w. Let h be p/(-85) - (-106)/34. Solve -1 + h = o for o.
2
Let g(m) = -8*m + 136. Let h = 367 + -350. Let d be g(h). Solve d = 2*f - 10 for f.
5
Suppose -5 = j + 2*z + z, j - z = -1. Let q be j/4 - (8 - 243/18). Solve q*v = 23 - 8 for v.
3
Let m(p) = -p**3 - 31*p**2 + 139*p + 4. Let g be m(4). Solve 8*q + q + q = g for q.
0
Let n = -3003 - -3045. Solve -3*v + n = 11*v for v.
3
Let v be ((-1365)/(-364))/((-15)/(-72)). Solve -11 = v*q + 7 for q.
-1
Let x = -15436 - -15556. Solve 0 = 25*v - 45*v - x for v.
-6
Suppose d + 16 = 5*l - 3*d, l - d = 3. Suppose -3*u - 4*u = 17*u - 24. Solve -3*t = l - u for t.
-1
Suppose 74*h - 97*h = 0. Solve 10*q - 20 - 10 = h for q.
3
Suppose 1576*t - 1579*t - 96 = -3*g, -2*t - 2 = 0. Solve -27 - g = 29*p for p.
-2
Let x be -48 + (-6)/3*(-8)/(-4). Let l = x - -54. Let w be (15/(-10) - -2) + l/4. Solve 4*u - 3 - w = 0 for u.
1
Let m(h) = 2*h**2 + 38*h - 135. Let q be m(-25). Solve -155*l = -q*l for l.
0
Let g = -72 + 84. Solve 109*a - 103*a - g = 0 for a.
2
Let i = 3283 + -3245. Solve -i*u + 51*u = -78 for u.
-6
Let i(x) = -x**3 + 7*x**2 - 8*x - 4. Let g = 52 - 47. Let q be i(g). Suppose -q*f = 2 - 56. Solve -d - 4 + f = 0 for d.
5
Let g(y) = -y**3 + 25*y**2 - 21*y - 71. Let v be g(24). Let w be 46/6 - (v + 7/(-21)). Solve -2*c - 13 = -w for c.
-3
Let v(x) = -x**2 + 28*x + 31. Let s(u) = 10*u - 31. Let t be s(6). Let b be v(t). Solve l + 9 = -b*l for l.
-3
Suppose 10404 = 231*f - 195*f. Solve -f*g + 285*g = -16 for g.
4
Let o be (-4)/(-46) - (-7328)/368. Solve -o*r + 83 = -37 for r.
6
Let l(h) = -213*h - 5164. Let d be l(-25). Solve -163*r + d*r - 12 = 0 for r.
-6
Suppose -3*x - 25 = -u, -6*x = -7*x - 5. Solve 0 = u*t + 9*t - 19 for t.
1
Suppose 8*r = r. Suppose r = -3*m - 4*m. Solve -l - 1 + 2 = m for l.
1
Let t = -10 - -10. Let n = -938 + 985. Solve t = 42*s - n*s + 20 for s.
4
Suppose -3*q + 8*q + c = 244, -5*c - 124 = -3*q. Solve -q*z = 84 + 60 for z.
-3
Suppose 48 = -2*h + 12. Let o = 32 + h. Let f(t) = -t**2 + 16*t - 28. Let p be f(o). Solve p = 3*m - m for m.
0
Suppose -5*p + 12*x + 85 = 10*x, 4*x - 68 = -4*p. Solve -p*w = 3*w + 100 for w.
-5
Let w(y) = -2*y**2 + 16*y + 4. Let s be 6/((-6)/(-3)) + 4. Let q be w(s). Suppose -3*a - q = -3*r, 0 = 4*r - 2*a - 12 - 4. Solve 3*m + r*m = 20 for m.
4
Let w be 5 - (-14 - 8 - -22). Solve 20*j = w*j - 30 for j.
-2
Let k(z) = 2*z**2 + 21*z - 8. Let m be k(-11). Let g be (1 + -1)*(-1)/m. Suppose 0 = -2*c - 6, -c - 9 = -5*v - 3*c. Solve 0 = -g*w + 3*w - v for w.
1
Let d be (-3)/((-255)/(-3990) + (-3)/21). Solve 98 = -10*y + d for y.
-6
Suppose 62*k = 753 - 257. Let c(x) = x**3 - 13*x**2 + 40*x + 21. Let w be c(k). Solve -w = 9*f - 30 for f.
1
Let y = 1411 - 1395. Solve 4*o = -y - 0 for o.
-4
Let k be 5*1/5*(1 - -218). Let f = 222 - k. Solve -f*j = -2*j + 1 for j.
-1
Let q = -3457 - -3475. Solve -21*a - 9 = -q*a for a.
-3
Let o = -19 - -35. Suppose -h + o = 4. Let b(a) = 2*a**2 - 25*a + 16. Let t be b(h). Solve 4*p - t + 0 = 0 for p.
1
Let b = -1 - -1. Let o = 273 - 267. Suppose -4*h - o*h = -9*h. Solve h = -t - b*t for t.
0
Let t be 5/(15/(-8))*(-6)/4. Suppose -t*q + 32 + 0 = 0. Suppose 155*a - 153*a = q. Solve 0 = a*s - s + 6 for s.
-2
Let j = -21076 - -21133. Solve j*g = 67*g + 70 for g.
-7
Let k(o) = 7*o**2 - 199*o + 803. Let b be k(4). Solve 0 = -3*p - 131 + b for p.
-4
Let y(b) = b**3 + 3*b**2 + 11*b + 25. Let c be y(-3). Suppose -2*l = -3*p + 52, -2*l - 49 = -3*p + 3*l. Let h = c + p. Solve -2 = 4*o - h for o.
2
Suppose 5*v + 14 = 4*t, -87*t + 30 = -82*t. Solve 5*j = -v*j + 42 for j.
6
Let i be -3 + 5 - (0 - 0). Suppose 2*d = f + 6 - 4, -5*d + 45 = 0. Solve -i*x + f = -6*x for x.
-4
Suppose x = b, -3*x + 0*x + 4*b - 1 = 0. Let y = 525 + -264. Let f = -250 + y. Solve f = 4*j - x for j.
3
Suppose -30*o = 11*o - 205. Solve o*k + 29 = 9 for k.
-4
Suppose 8*j - 36 = 4. Suppose -42 + 25 = -v - 2*u, j*v - 85 = 2*u. Solve -4*n + 5 = v for n.
-3
Let s(z) = 73*z**3 + 801*z**2 - 28*z - 7. Let x be s(-11). Solve -x*c = -67*c for c.
0
Suppose -422 = -10*y + i, -2*y + 5*i + 78 = -16. Solve -y*m + 54 = -33*m for m.
6
Suppose -13*x - 3 = -29. Suppose 0 = 2*c + 2, c + 11 = x*i - 0*c. Solve -i*r = -r + 8 for r.
-2
Suppose 15 = -v + 17. Let p = -33 - -45. Let c be (-1 - (-28)/p)*3/2. Solve -c*o - v*o + 12 = 0 for o.
3
Let a = 13 + -8. Let n be (3 + (12 - 15))/(-2). Solve -a*f + n*f = -15 for f.
3
Suppose -x - 3*l = -35, 5*x - 3*l = -8*l + 145. Suppose -29*f = -x*f + 5*w - 42, w = 3. Solve -13*j + 10*j = -f for j.
3
Suppose 49 = -y - 27. Let n = y + 81. Solve -n*f = -3*f + 10 for f.
-5
Let f be 14*(-3)/(1 - 7). Suppose 5*i = p - f, 3*p - 14 = p + 3*i. Solve 28 = -0*j + p*j for j.
4
Let r be (-6)/(-45)*-5*-45 - (1 + -6). Solve r*p + 35 = 28*p for p.
-5
Suppose -3*k = 5*a - a - 103, k = -4*a + 93. Solve -9*x + a = 2*x for x.
2
Let r be 1/((6/12)/(-2 - -3)). Let i be (-17)/(-2) - (r - 14/4). Solve 5*q + 0 = i for q.
2
Let x be (5/(-2))/(2/(-4)). Let d = 153879 - 153874. Solve 0 = -d*q - x + 25 for q.
4
Let t be 9/((0 - 3) + 105/28). Let w be (1140/105 + -10)*98/3. Solve w + t = 8*r for r.
5
Let c = 5651 + -5640. Solve 2*b = c - 23 for b.
-6
Let j = -179 - 201. Let v = -364 - j. Solve 2*z - v = -6 for z.
5
Suppose -b - 3*y + 6 = 0, -2*y + 15 = 4*b - 49. Let t be b/2 + 62 + -70. Let a(k) = k**3 + 7*k**2 + k + 10. Let d be a(-