for t.
-2
Suppose -3*i + 9 = 0, b - 173*i = -176*i + 392. Solve 24 = 375*l - b*l for l.
-3
Let q = -20547 - -20551. Solve -q*u - 3 = 29 for u.
-8
Suppose 11 = 2*a + 2*q - 15, -a + q = -19. Suppose -12 = -5*y - 3*j - 0, -5*y = -4*j + a. Let l = -3 + 8. Solve 0 = o - y*o - l for o.
5
Let t = 2584 + -2576. Solve 0 = t*l + 7*l + 60 for l.
-4
Suppose 0 = 4*s + v + 2, 2*v + 0 = 3*s - 4. Suppose s = -n - 3*c + 13, -3*n + 16 = -n + c. Solve -20 = 3*h - n*h for h.
5
Let k = 28 - 196. Let j be (-896)/k*-6*2/(-8). Solve 0 = -2*r + 6*r - j for r.
2
Let s = -320 + 358. Suppose -w - 3*w + s = -5*f, 56 = 5*w - 2*f. Solve -w*u = -10*u for u.
0
Suppose 3*d + 3*u = 30, 21*d + 7*u - 4 = 25*d. Solve -12 = 3*n - d for n.
-2
Suppose 0 = 22*i - 20*i - 12. Suppose t = -2, -2*t = -2*a - i*t - 10. Let m(o) = -2*o + 1. Let k be m(a). Solve -3*x + 0 = -k for x.
1
Let c be 4 - 12 - 10/(-5). Let i be c/(-4)*(-140)/(-21). Solve -2 = -4*j - i for j.
-2
Suppose -724*j + 795 + 1375 = -717*j. Solve 44*p - 2 = -j for p.
-7
Let n(k) = 5*k + 22. Let i be n(-4). Suppose -83 = -4*w - 3*l, 62 = 5*w - i*w + 2*l. Solve 0 = 6*z - z + w for z.
-4
Suppose 5*a - 16 = a. Suppose 300*g = 5*k + 301*g - 24, 3*g = k - 8. Suppose -b = -4*l + 4, -k*b - 6 = -2*l - a. Solve q + 4 - 7 = b for q.
3
Let f = 675 - 673. Suppose q + 4*r = 5, 5*r + 19 = f*q + 9. Let g be (0 - 1)/(2/(-6)). Solve q*a + g = 2*a for a.
-1
Let p(d) = -188*d + 923. Let i be p(4). Solve i = 44*x + 13*x for x.
3
Let m = 29 - 20. Let q = m - 7. Let d(a) = 17*a**2 + 238*a. Let j be d(-14). Solve q = -j*v + 2*v for v.
1
Let y(o) = 26*o**3 + 2*o**2 - 2. Let h = 56 + -55. Let w be y(h). Let i = 30 - w. Solve l = 3*l - i for l.
2
Let x be (172/(-48) - (-1)/4)*-30. Let l be (x/(-75))/((-1)/3). Solve -2*m = -l*m - 2 for m.
-1
Let l(w) = 2*w - 1. Let b be l(4). Let n = -4 + b. Let p be (-2 - -7 - n) + 30/3. Solve -5*y = -y - p for y.
3
Let h = -530 + 533. Suppose 21 = -h*y + 57. Solve -8 + y = 2*t for t.
2
Let h be (-5123)/13 - 3/(-39). Let s = 402 + h. Solve i = s - 3 for i.
5
Let o = 48 - 41. Let v(z) = o*z - 2 + z + 0 - 10*z. Let f be v(-2). Solve 0 = -n - f - 0 for n.
-2
Let d = 17 + -14. Suppose 4*y = 3*x - 99, -3*x + 0 = -d*y - 99. Let g = -27 + x. Solve 11*j - 8*j = g for j.
2
Let b(w) = w**3 - 11*w**2 + w - 7. Let f be b(11). Suppose 4*v - 24 = -2*c, -16*c - f*v = -11*c - 30. Solve 6 - 16 = c*r for r.
-5
Let p be (14/(-35))/((-1)/40). Suppose -5*v = -47 + 32. Suppose v*o - 4*h - 11 = 0, -h + 4 = 3*h. Solve -p = -9*u + o*u for u.
4
Let r = -1969 + 1984. Solve 0 = 7*m + 8*m - r for m.
1
Let w = -2686 - -2728. Solve 0 = -60*t + 46*t - w for t.
-3
Suppose o = -2*o. Let j = -229 + 406. Let v = 177 - j. Solve o = w - v + 2 for w.
-2
Let f = 943 - 914. Solve -1 + 30 = f*a for a.
1
Suppose 4*s = 2*j - 16, -2*s = -j - 7*s + 15. Let t be ((-8)/j)/(3/45). Let a be 3 + 4/(t/3). Solve a*i + i = 3 for i.
1
Let l(y) be the third derivative of 5*y**4/24 + 29*y**3/3 - 40*y**2. Let w be l(-7). Solve 11*j = w - 1 for j.
2
Let s be 10/(-12)*42/7. Let z be s + -2 - (-26 - -2). Solve z*v = 13*v for v.
0
Suppose 0 = -3*f - 2*j - 5, -4*f + 1 = -f - 4*j. Let i = f - -4. Suppose b + 4*p = -14, 0*b - b + 30 = -7*p. Solve -i*y - 1 = b for y.
-1
Suppose -2*b - 4*v + 4 = -0*v, 0 = -5*v - 5. Let d = 1658 - 1656. Let t = b - d. Solve 0 - 2 = -t*g for g.
1
Let m(d) = 2*d**2 - 4*d**2 - 4*d + 7*d**2 - 4*d**2 + 4. Suppose -3*g + 16 = g. Let a be m(g). Solve 0*i - 16 = a*i for i.
-4
Let l(n) = -n**3 - 8*n**2 - 9*n - 2. Let h be l(-7). Suppose -9*u = -4*u + h*u. Suppose -5*s + 20 + 5 = 0. Solve u*q - s = -q for q.
5
Let i be 277/11 + (-8)/44. Suppose 4*q + q - i = 0. Solve -q*t + 4*t - 3 = 0 for t.
-3
Let s be (2/4)/(15/(-1630))*-3. Solve 0 = 5*a + 193 - s for a.
-6
Suppose -590 - 1664 = -14*r. Solve 174*c + 39 = r*c for c.
-3
Let q be (15/(-3))/(2 - 3). Suppose y = -m + 5, 13*y - 9*y - 3*m = -15. Suppose 3*i = -0*i - 5*p + 7, -i + q*p + 9 = y. Solve z = i*z - 6 for z.
2
Let p be 1*-19*((-3)/(-15) + (-24)/20). Solve p*y = -20*y - 78 for y.
-2
Let w(j) = 40 - 9*j + 69 - 28*j + 42. Let h be w(4). Solve h - 9 = -6*v for v.
1
Suppose -2*a + 3*w = -15, 5*a - 2*w - 30 = 3*w. Let t(o) = a - 2*o + 31*o**2 - 5 - 7 - 29*o**2. Let n be t(4). Solve n = 3*r + 3 for r.
4
Suppose 2*h - 90 = -4*d - 20, -5*d + 83 = h. Let u(x) = -x + x**3 + 4*x + 23 - 16*x**2 - 69. Let l be u(d). Solve 3*a - 4 = l for a.
2
Let q = 26 + -24. Suppose 0*f + 8 = q*f - 2*b, -2*f = 5*b + 6. Suppose -11*v + 10*v + f = 0. Solve 0*z - v*z + 2 = 0 for z.
1
Let n be 144 - 0 - (12 - 2)/(-2) - -1. Solve -102*s + 96 = -n*s for s.
-2
Let l(s) = 5*s**3 - 2*s**2 - 12*s + 17. Let k be l(3). Solve 0 = 46*c + 132 + k for c.
-5
Let f(p) = -p**2 + 5*p + 8. Let r be f(6). Suppose -r*u = 6 - 10. Suppose u*i = -19 + 23. Solve -i = -t - 7 for t.
-5
Let k be (4/(-12))/((-1)/6). Let t be (-5*(-16)/2)/k. Let v = -63 - -69. Solve -r + v*r = -t for r.
-4
Let p(a) = a**2 - 42*a - 1842. Let u be p(-27). Solve -57*n + u*n - 72 = 0 for n.
-2
Let r(x) = -x**3 - 2*x**2 + 2*x - 1. Let s be r(-3). Suppose -4*b = f - 6*b, 2*b = s*f. Solve f = -0*h - 2*h for h.
0
Suppose 15*l + 112 - 922 = 0. Solve 43*z - l*z = 22 for z.
-2
Let r be 8/(170/25 - 6). Let n be 2/r + (-14)/(-5). Solve n*k + 38 - 41 = 0 for k.
1
Suppose -215 = 58*t - 215. Solve 150*n - 192*n + 84 = t for n.
2
Suppose -d = -0*v - 3*v + 529, 2*d + 173 = v. Let h = v + -175. Solve 3*k + h = 2*k for k.
-2
Let s = -338 - -229. Suppose -3*h = -o + 103, 3*h + 348 = 3*o + 7*h. Let b = s + o. Solve -4*q + 5*q = b for q.
3
Let j be (6/(-28)*-8)/(156/546). Let u be 6 + 1/((-2)/24*3). Solve 0 = -u*o + j*o for o.
0
Suppose -2*n = -3*n + 1. Suppose p + 4*g = 8, -1 - n = -2*p - g. Let b(z) = -13*z - 257. Let i be b(-20). Solve p*j - 3*j = -i for j.
1
Let t = -49330 - -49331. Suppose -2*s - 2 = 2*m, 2*m + 3*m - 5*s = 25. Solve -m - t = -i for i.
3
Let j = -324 - -175. Let o = j - -150. Solve 0 = -6*m - o - 11 for m.
-2
Suppose -2*w = 3*c + 192 + 610, -w = 3*c + 398. Let n = w + 415. Solve n*x + 48 = -7 for x.
-5
Suppose 4*k - 9*k + 58 = -2*h, -3*k + 39 = 3*h. Let b be (14/4 - 2/(-4)) + 2. Solve -b = -6*x - k for x.
-1
Suppose -2*r + 2 = 2*y + 8, -2*y = -3*r - 19. Suppose -10*v = -y*v - 16. Solve -v*z - 10 = -2 for z.
-4
Suppose 256*s - 2*x - 615 = 253*s, 3*s = 5*x + 606. Solve s = 333*m - 310*m for m.
9
Suppose -3*t + 41 + 16 = 0. Let i = -9492 - -9498. Solve -16*a = -t*a - i for a.
-2
Let b be (-2)/(-7 + 3)*0. Suppose -45 = -4819*y + 4804*y. Solve -9 = -y*o - b for o.
3
Let q(c) = c**3 - 20*c**2 + 20*c - 19. Let o be q(19). Let u(x) = 36*x + 110. Let v be u(-3). Solve -2*b - v = -o for b.
-1
Suppose 3*c - 227 - 529 = 0. Suppose 3*h + c = -6*h. Let j = h + 30. Solve 0*u + u = j for u.
2
Let r be (-8)/6*54/36. Let x be (25/(-20))/(-1*r/(-8)). Solve x*s + 14 = -1 for s.
-3
Let d = 5 - -10. Suppose -3*o + 6*o = 6. Suppose 11*k - 24 = -o. Solve 3*t + k*t + d = 0 for t.
-3
Suppose -21*j - 60*j - 10*j = -2093. Solve 0 = j*y - 28*y + 5 for y.
1
Let j(o) = -3*o**3 + 57*o**2 + 8*o - 18. Let v be j(19). Solve -z + v - 125 = 0 for z.
9
Suppose -5669 = -31*j - 1608. Solve 3*h + j = 119 for h.
-4
Let s = 1096 - 1088. Let c = -184 - -191. Solve -c = -t - s for t.
-1
Let o = 5630 + -5396. Solve o*f - 241*f = -42 for f.
6
Let a(f) = -3*f**3 + 76*f**2 + 9*f - 114. Let o be a(25). Solve o - 772 = -6*q for q.
6
Suppose -9*x = -10*x + 2. Let c be 1*(-3 + x) - -1. Suppose c = 3*n + 7 - 19. Solve -q = -3*q - n for q.
-2
Suppose -5*z + 158 = 2*o, -5*z + 4*o = 2*o - 182. Solve z - 24 = -10*q for q.
-1
Let w(g) = -12*g + 153. Let h(z) = 12*z - 13. Let a be h(2). Let f be w(a). Solve f = -3*m - 4*m for m.
-3
Let g be 3141/117 - (6/(-13))/3. Solve -6 = 21*c - g for c.
1
Let g be (8/10)/(8/(-40)). Let i(h) = -h + 1. Let n be i(g). Suppose r = 7 - n. Solve r*d - 4*d - 2 = 0 for d.
-1
Let c(l) = -47*l + 1036. Let x be c(22). Solve -x*y - 4*y + 36 = 0 for y.
6
Let i(f) = -f**3 - 10*f**2 + 56*f + 21. Let s be i(-14). Solve -7*p - 28 = s for p.
-7
Let b = -216 + 253. Suppose 11*u - b + 4 = 0. Solve 7*n = u*n for n.
0
Let p be 3/((-10)/(-8) - 3/3). Suppose -15 = 11*d - p*d. Suppose 0 = -0*n - n + d. Solve 0 = -q - 2*q - n for q.
-5
Let o be (3 + -5)/(4/(-6)). Suppose -2*y + 13 = o. Suppose y*w = 5*j + 4*w - 10, -3*w + 27 = 