Let z be (-141)/611 - (-5628)/52. Solve 85*u - 115 = z*u for u.
-5
Let c = 6727 + -6727. Solve -33*g + 26*g - 35 = c for g.
-5
Let s = 23176 - 23157. Solve s*t = 13*t - 36 for t.
-6
Suppose -45 = -11*w - 56. Let f be (-1 - -5 - 0) + (w - -6). Solve 0 = c - 6 + f for c.
-3
Suppose -1 = 5*p - 26. Let i be (-2)/6*(-40 - 2). Let r(n) = 2*n - 25. Let u be r(i). Solve -p*f = -u*f for f.
0
Let o(v) = 45*v + 2837. Let f be o(-63). Suppose 3*d = -w + 20, 2*w + d + 0*d - 20 = 0. Solve 2 = -f*x - w for x.
-5
Suppose -5*i = -4*d - 123, -3*i + d = -172 + 101. Solve -10*v = -i*v + 26 for v.
2
Let j = -43 - -117. Suppose -j - 70 = -12*b. Solve 0 = -3*y + b - 3 for y.
3
Suppose b - 34 = 2*d, -2*d - 57 = d - 3*b. Let i be d*(-5)/100*-4*-2. Solve 10*u = i*u + 4 for u.
1
Let u(x) = -163*x - 11441. Let s be u(-73). Solve 0 = -17*w + s - 611 for w.
-9
Let q(j) = 346*j - 1364. Let g be q(4). Solve g*r + 134 = -6 for r.
-7
Let x be (-11 - -116) + 2*(-6)/4. Suppose -13*p + 67 = -x. Solve 2*b = p - 23 for b.
-5
Let a = -310 + 315. Suppose -5*v + 4*y + 45 = 0, v - 3*y - 20 = -0*v. Let z = -1 + v. Solve -a*g + z = -g for g.
1
Let u be ((-340)/238)/(-5 - (-136)/28). Solve -u*t = 7*t + t for t.
0
Suppose 90 = 22*l + 46. Suppose w + 0*u - 5*u = -20, l*w - 35 = -5*u. Solve -9 = -w*s - 4*s for s.
1
Let b(c) be the first derivative of 18*c - 5*c**2 + 2/3*c**3 - 14. Let x be b(4). Solve -3*m + 5*m - x = 0 for m.
5
Let o be (13 + -24)/(-22)*8. Solve -o*r - 391 = -383 for r.
-2
Let s be 2/2*(5 + -4). Suppose -4*u + s + 27 = -4*l, 0 = -4*u - 4*l - 12. Let m be ((-720)/(-168))/(-15) + 16/7. Solve u*v - m = -0 for v.
1
Let q(y) = -y**2 + y + 10. Let t be q(3). Let w(b) = b + 17. Let m be w(-5). Solve 0 = m*r - 8*r + t for r.
-1
Let x(k) = -5*k + 2*k - 1 + 4*k - 7. Let z be x(13). Let h(y) = -y**3 + 5*y**2 + 2. Let b be h(z). Solve b = r - 0 for r.
2
Let n(r) = -2*r**3 - 4*r**2 - 6*r - 12. Let d be n(-3). Let k be (-124)/7 + -2 + d/14. Let i be (-9)/k - 7/(-2). Solve 0*a - 12 = i*a for a.
-3
Suppose -9*u + 396 = 325 - 685. Solve -u = 5*r + 23*r for r.
-3
Let t be 2 + (-2)/(-2) + -3. Let a = t - -3. Suppose 0 = -3*w - 3*u + 33, 9996*u - 24 = 9993*u. Solve w*r + 0 = -a for r.
-1
Let j = 635 + -616. Suppose j*l + 132 = 31*l. Solve -8*a = -l*a + 9 for a.
3
Let v = -113 + 124. Let h(o) = 32 - 52 + v*o + 47 + 10*o**2 + o**3. Let u be h(-9). Solve 0 = -3*r - 0 - u for r.
-3
Let s(w) = w**3 - 15*w**2 + w - 17. Let x = 90 - 75. Let a be s(x). Let z(y) = -y**2 - 5*y - 6. Let p be z(a). Solve 0 = 2*h - p - 8 for h.
4
Let i be 133 + 4 - 3 - -2. Let t = -136 + i. Suppose -7 - 23 = -5*k. Solve 3*c + t + k = 0 for c.
-2
Suppose 0 = 40*d - 28*d - 37 - 59. Solve -5*i - i = d*i for i.
0
Let s(o) = -o**2 - 10*o - 7. Let g be s(-9). Let k(z) = z**3 + z**2 + z + 3. Let y be k(0). Suppose -2*q = -q - y. Solve -q*h = -2*h + g for h.
-2
Suppose 4*y - 6 = 2. Suppose -240 + 250 = 5*o. Suppose -7*t + o - 2 = 0. Solve -x + y*x - 2 = t for x.
2
Suppose -2*s + 0 - 3 = n, 0 = 4*s + 3*n + 7. Let m be 11 + (-1 - 2 - s*2). Let u be ((-2)/m)/((-88)/40 + 2). Solve 0*a = a - u for a.
1
Let v(f) = 24*f - 4. Let w be v(-2). Let o = 54 + w. Suppose t + 13 = o*t - 2*a, -t = 5*a + 22. Solve t*r + 0*r + 6 = 0 for r.
-2
Let j(n) = 8*n**3 - 27*n**2 + 2*n + 17. Let l be j(5). Solve -363*f + l*f + 55 = 0 for f.
5
Let k(r) = -r**3 - 23*r**2 - 29*r - 49. Let a be k(-22). Let b be (-4)/10 - -3*154/a. Solve -16 = -4*t - b for t.
3
Let h be (-7)/(-1) - 3*-2. Suppose 0 = -3*o - 4*x + 1, -29*x = 5*o - 28*x - h. Solve o*a - 11 - 4 = 0 for a.
5
Let l = -29651 - -29651. Solve 4*u - 1086 + 1062 = l for u.
6
Suppose 0*l = 4*l + 3*g - 13, 4*l + g = 7. Let s = 1 + l. Let b(z) = 22*z - 106. Let w be b(5). Solve w*m = -2 - s for m.
-1
Let b = -11245 - -11245. Solve b = 168*z - 182*z - 56 for z.
-4
Let r(l) be the second derivative of l**6/360 + l**5/120 - 11*l**4/12 + 10*l. Let j(t) be the third derivative of r(t). Let h be j(1). Solve 0 = h*p - p for p.
0
Let y be 1*-28*6/12. Let k = -9 - y. Solve 37 = k*t + 32 for t.
1
Suppose 5*r = 280 - 35. Let c = r - 45. Suppose 3*h = c*d - 8 - 40, 0 = d + 3*h + 3. Solve 0 = d*p - 5*p + 12 for p.
-3
Let p(i) = -5*i + 132. Let q be p(26). Suppose -22 = -2*k + 2*b, -2*k - 2*b = -6*k + 38. Let s = k + -8. Solve s = -q*n + 2 for n.
1
Let m(y) = -y - 18. Let l be m(-13). Let a = l + 5. Suppose a = 33*s - 37*s. Solve 4*r = -s*r for r.
0
Suppose 75*u - 231 = 519. Let q(n) = -n**3 + 4*n**2 - 2*n + 1. Suppose 3*l = -r + 10, -3*l + l + 2 = -4*r. Let z be q(l). Solve -u = -z*g + 2 for g.
3
Suppose 0 = -f - 0 + 4. Let d = -2015 - -2023. Solve 0 = f*a - 2*a + d for a.
-4
Suppose 4*v + 3*b = 8, 5*v = 4*b - 7 - 14. Let z(w) = -107 + 252 - 146 - 3*w. Let s be z(v). Solve -s*n = -n + 5 for n.
-5
Let u = 0 + 4. Let f be 1*(1 - u) + 3. Let b(z) = -z**2 - 11*z - 26. Let j be b(-7). Solve f = -g - j - 3 for g.
-5
Suppose 3*h = 8*h - 25. Let k(w) = 2*w**2 + 2*w + 4. Let f(t) = -t + 3. Let d(g) = -2*f(g) + k(g). Let x be d(-3). Solve -9*q = -x*q + h for q.
-1
Let d be 618/14 - (-7 + (-86)/(-14)). Suppose 2*m - d = -39. Solve 8 = 5*x + m*x for x.
1
Let g(q) = 24*q + 3. Let p be g(1). Let y be 55/7 - p/(-189). Solve -17*r - y + 76 = 0 for r.
4
Let l be (2/6)/((-12 + 6)/90). Let t be 12/(l - -1)*-1. Solve t + 9 = 3*a for a.
4
Suppose 0 = 2*f - 4*w + 12 + 4, 20 = f + 5*w. Solve -19*j + 11*j + 24 = f for j.
3
Let q be (-134)/(-9) - (-5)/(-3 - -48). Suppose x + q = r, 3*x - 95 = -8*r + 4*r. Solve r = -2*f - 8*f for f.
-2
Let v = 65 - 61. Suppose v*g - m - 20 = -0*g, g - m - 5 = 0. Solve 11 + 14 = g*c for c.
5
Let a(j) = j**2 - j + 16. Let o be a(11). Let w be -1 + o/(1/1). Suppose 45*p - 40*p = w. Solve p = -0*q + 5*q for q.
5
Suppose 7*k = 1001 + 49. Let y = k + -135. Solve y = 16*g - 13*g for g.
5
Suppose -62 = 113*u - 4017. Solve -u*b + 10 = -37*b for b.
-5
Let x(l) = l**3 + 20*l**2 + 8*l + 35. Let n be x(0). Solve -61 = -n*v + 9 for v.
2
Let t = -242 + 250. Let h = 8 + t. Suppose 5*i + 3 = -s, i - 1 = -s - 4. Solve h = 4*o - i*o for o.
4
Suppose -2*v = 3*l - 5*v + 63, -3*l + 4*v - 66 = 0. Let a = l + 22. Let n be 3 + 1*(a + -4). Solve w - n = 1 for w.
4
Let d = 610 - 467. Let z = 146 - d. Solve z*v + v = 0 for v.
0
Suppose -12*j = 182 - 494. Solve 0 = -10*m - 34 - j for m.
-6
Let n(j) = 9*j**2 - 508*j - 1011. Let w be n(-2). Solve -54*o + w*o = 65 for o.
-5
Let g(o) = -2*o - 13. Let c(p) = -2*p - 12. Let u(l) = 5*c(l) - 6*g(l). Let q be u(-7). Suppose -q*s + 4 = -12. Solve -s = -3*t + 5 for t.
3
Let l(r) = 10*r - 15. Let s be l(3). Suppose s*i = 5*i. Let k be ((9 - 7) + i + -1)*0. Solve k = -2*v + v for v.
0
Let w = -11 + 11. Suppose 4*k = -5*z - 2, k - 3 = -2*z - 5. Suppose 0 = -2*c - c - 4*g - 8, k*c - 5*g - 10 = w. Solve c*h + 3 = 3*h for h.
1
Suppose -15 = -4*k - 3. Suppose 47*q = 45*q + 4. Suppose q*b - 4*l - 65 = -3*b, -2*b - 7 = 5*l. Solve -b = 6*h - k*h for h.
-3
Let w(u) = -u**2 - 9*u - 4. Let p be w(-8). Let n(h) = -h**2 - 23*h + 4. Let o be n(6). Let q = o + 173. Solve p*j - q = j for j.
1
Suppose 133*o = 298*o - 142*o - 736. Solve -19*d = -15*d - o for d.
8
Let r(v) = 3*v**2 + 132*v + 1739. Let o be r(-17). Solve 311 = -17*d + o for d.
3
Suppose -190*d + 4636 - 189 = -1823. Solve 15*k + d + 72 = 0 for k.
-7
Let b(l) = -l - 1. Let q be b(-5). Let o = 27 + 38. Let x = o - 60. Solve -w = q*w + x for w.
-1
Let o(k) = -22*k - 150. Let h be 65/(-9) - -4*6/108. Let s be o(h). Let j(u) = 2*u**2 - 3*u - 2. Let g be j(-3). Solve d = -s*d - g for d.
-5
Let y(f) = -76*f - 74. Let c be y(-1). Solve 2*z - 2*z = -c*z for z.
0
Let o = 16328 + -16283. Solve 0 = -18*f + 3*f - o for f.
-3
Suppose 5*g - 164 = 5*r + 186, 0 = 5*g - 4*r - 344. Solve 109*o + g = 125*o for o.
4
Let a = 20 + -7. Suppose a = -3*l + 22. Solve 0 = -5*x + l*x - 2 for x.
-1
Suppose 0 = 8*y - 5*y - 18. Suppose y*n - 12*n + 30 = 0. Solve 0 = -2*z + 5 + n for z.
5
Let z = 46 - 53. Let d be -4 - (z + (4 - 1)). Let i be (d*(-4)/(-16))/(1 - 3). Solve i = -c + 6 - 2 for c.
4
Let s = 25 + -4. Suppose s - 11 = 5*c. Suppose -h + 3*h = -c*h. Solve h = 3*q - 1 - 11 for q.
4
Let j = 71 + -111. Let h(i) = i**2 + 44*i - 261. Let o be h(-49). Let x be (o/j)/((-2)/(-25)). Solve 4*r - 17 = -x for r.
3
Let c = 766 + -747. Solve 168 - 73 = -c*z for z.
-5
Suppose -3*x + 25 = -2*k 