0 = -t*o - 0*o for o.
-5
Let f(b) = b**2 - 5*b - 7. Let q be f(7). Suppose 4*x - q = -2*k + 1, -2*x + 3*k = 12. Suppose 5*h - 2*t = -3 + 15, x = h + 5*t - 24. Solve z + h = -0*z for z.
-4
Let x be 78/130*(-8 + 13). Solve 0 = -23*f - x - 135 for f.
-6
Let v = -11181 + 11255. Solve 73*s + 9 = v*s for s.
9
Suppose -40 = 4*j - 7*c + 12*c, -3*c - 20 = 2*j. Let l(r) = -r**2 - 10*r + 1. Let f be l(j). Solve 4*m - 11 = f for m.
3
Let u be 162/(-297) - 18/(-33). Solve 2*k + 29*k - 124 = u for k.
4
Let z = 322 + -322. Suppose 5*l - 25 - 25 = z. Solve -2*g + l*g + 8 = 0 for g.
-1
Let x(p) = -5*p**3 + 139*p**2 + 27*p + 48. Let j be x(28). Suppose -13*v - j*v = -10*v. Solve -2*z = -z - v*z for z.
0
Let i be (((-3)/2)/(-3))/((-3)/(-30)). Suppose 16 = -i*g - 2*q, -5*g + 3*q - 30 = -2*q. Let m be (g + 8/3)*3*-1. Solve 0*k = -m*k - 20 for k.
-5
Let l be 3*-2 + 11 + -9. Let b be -5 - (-32)/l*-1. Solve -b*k + 15 = -6*k for k.
-5
Suppose 2*o = 4*o + 2*u - 8, 3*u - 3 = 0. Suppose 2*m - 4*l - 118 = 58, 254 = 3*m + 4*l. Let h = 87 - m. Solve -o = -i - h for i.
2
Suppose 7*t + 9 - 114 = 0. Suppose -33*x - t = -38*x. Solve 5 - x = b for b.
2
Suppose -23 = 6*w - 11. Let g be (-230)/(-575) + w*1/5. Solve g = -0*z + 7*z for z.
0
Let k = 80232 + -80221. Let r be 3/((-30)/(-4))*30. Solve -k*h + 56 = r for h.
4
Suppose -129*j = -140*j. Solve 237*i - 245*i + 16 = j for i.
2
Let s be (-4)/(-1) + (-1 - 0 - 1). Let u be (-1)/s - (-19)/2. Suppose -14*t = -17*t + u. Solve 8*q = t*q for q.
0
Let p be (-70 - -64) + (-4)/2*1. Let r be (-8)/(-2) - (p + 0). Solve 2*u = -2*u + r for u.
3
Suppose 0 = -4*b - 8 + 28. Suppose b*s - 44 = 6. Let z = 21 - 16. Solve s*t = z*t for t.
0
Let i(m) be the third derivative of -m**6/120 + 13*m**5/60 + 2*m**4/3 - 13*m**3/3 - 92*m**2. Let l be i(14). Solve 2*w = -l*w + 8 for w.
2
Suppose -18 = 31*p - 34*p. Let v be (1*-1)/((-18)/144). Solve p*l = v*l for l.
0
Suppose -13*z = -1 + 1. Let i(y) = 14*y + 21. Let j be i(z). Solve -j*q + 20*q = 3 for q.
-3
Suppose -17*z = -18*z. Suppose -p = -l + 3*p - 11, z = -4*l + 3*p - 5. Solve l = -o - 0*o for o.
-1
Let d be (16 + 374/(-33))*((-72)/(-21))/4. Solve d*y = -5*y + 54 for y.
6
Suppose 0 = -4*r - 19*r + 10*r + 793. Solve -r = 25*t + 64 for t.
-5
Let z be (5/2)/(2/136). Let d = z - 168. Solve 15*m = 17*m - d for m.
1
Let b(l) be the third derivative of -13*l**4/24 + 151*l**3/3 + 6*l**2 + l. Let g be b(22). Solve -1 = 3*q - g for q.
5
Let c be 4/(-10) + (-43)/((-5590)/182702). Solve 9*o + 1477 = c for o.
-8
Suppose -80*d = 2*d + 86*d - 9912. Solve 0 = 53*s + 206 + d for s.
-5
Let c be (-9 - 159/9)*(178/(-10) - -1). Solve 35*g = -21*g + c for g.
8
Let b = -5685 + 5937. Solve -245*z = -b*z + 21 for z.
3
Suppose 5*c = -4*v - 198 + 59, -5*c + 3*v - 167 = 0. Let h = 44 + c. Suppose -5*n + 2*y = 4 - h, 2*y - 9 = -n. Solve 2*d = n*d - 1 for d.
1
Let m = -16 + 19. Suppose 5*n - f + 1 = 2*n, -4*n + 3*f - m = 0. Suppose 4*y - 16 = -n. Solve 3 = -y*d - 9 for d.
-3
Let d = -444 + 455. Let c(h) = 0*h**2 - 22*h + 4 + 4*h**3 - 5*h**3 + 13*h**2. Let a be c(d). Solve y - 2 = -a for y.
-2
Let q(d) = -10 - 12 + 9*d + 3*d**2 - 1. Let i be q(-6). Solve -5*t - i + 11 = 0 for t.
-4
Let d be (-9 - -1)*((12 - 9) + 15). Let b = -137 - d. Solve z + b = 5 for z.
-2
Suppose -3*o + 6*o + 3*z = 69, 222 = 13*o + 2*z. Solve 0 = o*b + 34 + 14 for b.
-3
Let z be 13 - ((3 - 2) + 5 + -8). Solve 0 = -z*m + 20 + 10 for m.
2
Suppose -861*g - 1648*g = -391*g + 579*g - 59334. Suppose 40 + 50 = 5*a. Solve -a*r = -g*r for r.
0
Let m(j) = -2*j - 83 + 77 + 41. Let t be m(13). Solve -2*b - t = 1 for b.
-5
Let j be (-6)/4*(21 + (-655)/15). Solve 72*i - 32*i = j*i for i.
0
Suppose 5*o - 13 = 12. Suppose -142 = -o*m - 2*g, 4*m - 2*g = m + 98. Let b be (m/(-8))/((-15)/40). Solve b = -0*s - 5*s for s.
-2
Suppose 15*z - 56 - 4 = 0. Suppose -z*j + j = 0. Suppose f = 4*f - 24. Solve j = k - f + 3 for k.
5
Let m(r) = r**2 + r + 1. Let g be m(-3). Suppose -j - g = -9. Let s be 2/3*36/6. Solve -s*z = -j*z for z.
0
Let z(l) = -3*l**2 + 10*l - 1. Let c be 2/6 - 16/(-6). Let w be z(c). Let k = w - -1. Solve -k*n - 10 = -n for n.
-5
Suppose -32*w - 2*j = -30*w - 22, j = -2*w + 17. Let x(v) = v**3 - 5*v**2 + 4*v + 3. Let u be x(4). Solve -u*n = -w*n + 6 for n.
2
Let j = 8127 + -4835. Solve 3334 = -6*x + j for x.
-7
Suppose z + 12 = -2*i, 9*z - 7*z - 5*i - 30 = 0. Solve z = -10*t + 136 - 166 for t.
-3
Let x be (-5)/(-2)*(-5)/((-25)/214). Let h be (-2148)/21 + 6/21. Let r = h + x. Solve 3 = -2*s + r*s for s.
1
Let u = -4 + 8. Suppose 4*c = 8, -2*q - 12*c + 1386 = -9*c. Let l = 690 - q. Solve 0*i - u*i - 20 = l for i.
-5
Suppose -d = 2*h - 341, 0 = -5*h + h + 5*d + 675. Suppose 11*b = -6*b + h. Solve 14*t = b*t + 8 for t.
2
Let a = 60 - 58. Let u(n) = n**3 - 3*n**2 + 13*n - 19. Let d be u(2). Solve x = d*x - a for x.
1
Suppose -12 = -4*b - 12*d + 11*d, 9 = 3*b - 3*d. Suppose 3*a + 3*i = 3, -2*i - b - 4 = -a. Solve a*c + 8 = 5 for c.
-1
Let f be ((-7)/((-56)/12))/(4/2816). Suppose -30 = f*d - 1057*d. Solve d = 2*z - 8*z for z.
-5
Suppose 23*u - 400 = -32*u + 205. Solve 17*l + 6 = u*l for l.
-1
Suppose 5*h = 9*d - 4*d - 105, 0 = 3*d - 2*h - 60. Solve 80*y - d = 62*y for y.
1
Let i(q) = -32*q**2 - 215*q + 556. Let c(j) = -6*j**2 - 43*j + 111. Let n(h) = -11*c(h) + 2*i(h). Let l be n(-24). Solve 0 = 3*z - l*z + 16 for z.
2
Let z = -49748 - -49753. Suppose 1 = a - 1, -3*g - 5*a + 28 = 0. Solve z*f - g*f = -1 for f.
1
Suppose 0 = 4*a - 5 + 13. Let q be (1 - 3)*-23 + a. Let l = -44 + q. Solve -j + 0*j + 5 = l for j.
5
Let t be 0*(3 + (2 - 4)). Let p(l) = l**3 + 29*l**2 - 28*l + 67. Let z be 1629/(-54) + 1/(-18)*-3. Let k be p(z). Solve 2*r - 17 + k = t for r.
5
Let v(x) = x**3 - 2*x**2 - 4. Let q be v(3). Suppose -2*g - 1 = -3*a + 10, q = 3*a - 5*g. Let d(k) = -41*k - 285. Let j be d(-7). Solve a*w + 8 = -j for w.
-2
Let c(w) = w**2 - 5*w - 24. Let y be c(-4). Solve 21*b - y = 18*b for b.
4
Suppose -4*i + 2*i + 1632 = 0. Let w be ((-2)/3)/((-17)/i). Let b = 32 - w. Solve b = -2*c + 4 - 14 for c.
-5
Let y(w) be the first derivative of 39*w + 16*w**2 + 3 + 32/3*w**3 + 1/4*w**4. Let n be y(-31). Solve -4 = k - n for k.
4
Let h(f) = -f**3 + 12*f**2 + 13*f + 31. Let c be h(13). Suppose 2*j = -3*v + 58, -3*v - j + 22 = -c. Solve 0*k - 4*k = v for k.
-4
Let q be 59/(4/30*(129/(-6) - -23)). Solve q - 319 = -8*y for y.
3
Let y be (-6)/(-3) + (5 - 3). Let g be 5/(-40)*-4*-50. Let p(d) = d**3 + 26*d**2 + 24*d - 25. Let t be p(g). Solve y = -2*j - t for j.
-2
Let k = -13835 - -13843. Let t = -2 - -4. Let u be t + ((-3)/((-12)/k) - 2). Solve -d = u*d for d.
0
Suppose -82 = -2*o + 396. Let u = o + -235. Solve -7*n + 3 = -u*n for n.
1
Let i = -604 - -936. Solve 0 = -85*q + 168*q + i for q.
-4
Let i be (-3861)/(-117)*(-2)/(-6). Solve i*y = -53 + 20 for y.
-3
Let z = -35 + 38. Suppose 27 = z*r + 15. Suppose 3*a + 11 = -5*b, -3*a = 2*a + r*b + 1. Solve -10 = w - a*w for w.
5
Let h(a) = a**3 - 7*a**2 + 10*a - 9. Let n be h(6). Let r = 1368 - 1363. Solve -5*u - r = -n for u.
2
Suppose -3*g - 3*l = -0*g + 6, 0 = -g + 2*l - 5. Let j be 1 + 6/18*g. Solve -c + 4 + 0 = j for c.
4
Let z = -8 - -41. Let q = 41 - z. Suppose 0 = 3*v + v - q. Solve 0 = 2*f + 6 + v for f.
-4
Suppose -71*i + 65 = -3*o - 73*i, 5*i + 89 = -4*o. Let x be 24/(-9)*(o/(-6) - 5). Solve -x*r - r - 25 = 0 for r.
-5
Let q(h) be the second derivative of -h**3/3 - 3*h**2 + 33*h + 2. Suppose -4 = 2*r + 2. Let j be q(r). Solve -5 = -j*n - n for n.
5
Suppose -17*j + 12 = -19*j, 2 = 2*q + 4*j. Solve -13*n + 26 + q = 0 for n.
3
Let y(b) = -3*b**3 + 25*b**2 + 30*b - 102. Let w be y(9). Solve w - 6 = 4*q for q.
0
Let r(m) = -3*m + 23 - 6*m + 8*m. Suppose 0*s + 70 = 5*z + s, 5*s - 56 = -4*z. Let k be r(z). Solve 2*b + k = 3 for b.
-3
Let l = -15217 + 15267. Solve 72*k - l*k = 44 for k.
2
Suppose 3*p - 73 = 3*q + 62, 3*q + 4*p = -100. Let m be 3/(q/55 - 2 - -3). Solve -5*j + 1 = m for j.
-2
Suppose -5*x - 646*l + 651*l = -415, 169 = 2*x - 3*l. Solve x = 44*c - 8 for c.
2
Let h = -12 + -225. Let z = 245 + h. Solve -70*x - z = -74*x for x.
2
Suppose 3*k + 4 = 4*b - 3, -2*k + 18 = 3*b. Let j = 51 - 55. Let d(h) = -h**3 - h**2 + 6*h + 1. Let m be d(j). Solve 0 = k*u + 2*u - m for u.
5
Let m be 79*(-2)/10 + (-3)/15. Let y(q) = -2*q**2 - 31*q + 16. Let