et t be 6*(-2 - (-45)/18). Solve -n = -t*n - 11*n for n.
0
Suppose -k = -3 + 2. Let m = 10 - 7. Suppose 2*c - 7*c + 14 = -2*u, 0 = 2*c - m*u - 10. Solve -c = 3*x + k for x.
-1
Let z be -16 - 4*(-2)/(-2). Let q = -236 + 221. Let n = q - z. Solve -t + n*t = 4 for t.
1
Suppose w - n = 9, 5*n = -w - 13 - 2. Let l(u) = -u**2 + 7*u. Let y be l(w). Let a = -155 - -161. Solve 0 = -a*g + g + y for g.
2
Let l(u) = u - 6. Let g be l(6). Suppose 29*k - 3*k - 104 = g. Let t = 64 - 45. Solve k*s - 3 = -t for s.
-4
Let o = 119 - 107. Suppose 104 - 116 = -o*c. Solve q = 3 + c for q.
4
Suppose 502*x = 2419*x - 46008. Let l = -4 - -10. Solve 0 = l*g + x - 0 for g.
-4
Let s(j) = -3*j**3 - 19*j**2 - 18*j + 33. Let p(y) = -y**3 - 2*y**2 - y. Let d(i) = -4*p(i) + s(i). Let t be d(12). Solve 5*q = t*q for q.
0
Suppose a - 4*k = 340, 62*k = -2*a + 67*k + 701. Solve -10*m + 56*m + a = 0 for m.
-8
Suppose 0 = -5*x + 3*j + 3227, 5*x + 8*j - 3*j = 3275. Solve -650*m = -x*m - 7 for m.
7
Let g be 3/(-3 + (-105)/(-30)). Suppose -2*c + 30 = -4*z, 4*z = 4*c + c - 27. Let q = z - -11. Solve -q*x + g = -0*x for x.
2
Let q = 5499 - 5443. Solve -20*j - q = 8*j for j.
-2
Suppose 5*q = 3*l + l - 36, 4 = -3*l - 4*q. Let a = -10 + 10. Suppose a = -2*i + 4*m + 16, -l*m - 8 = -0*m. Solve 15 = i*t + t for t.
3
Suppose -4*j - 8 = o, -3*o - 3*j - 5 = 1. Suppose o = 20*f + 15*f - 1575. Solve 40*i = f*i - 5 for i.
1
Let v(b) = -b**2 - 44*b + 949. Let m be v(-59). Solve -9*u = -u - m for u.
8
Let k be (-1)/(-2)*(4 - 2). Let d be (-2889)/135 + 3/(-5) + k. Let o be (3/d - 2)*-7. Solve -4*l = -3 + o for l.
-3
Suppose 0 = 5*r - 2*b - 93, -3*r + 34*b + 51 = 32*b. Solve -20*u - r = -17*u for u.
-7
Let z be 124*(-2)/(-24)*3. Solve z*c = -6*c + 185 for c.
5
Let c(x) = 543*x - 534*x + 6 + 27. Let i be c(-3). Solve i*s + 2 = 8*s for s.
1
Suppose 0 = 4*i + i - 2*h - 46, 37 = 5*i + h. Let m = 721 + -712. Let c be (m/(-54)*6)/((-2)/6). Solve i - 2 = c*y for y.
2
Suppose 0 = -13*i + i. Let x(n) = n**3 - 16*n + 3. Let u be x(i). Solve 0 = 5*b - u*b + 2*b for b.
0
Let h = 52 - 47. Suppose k - 5*n = 33, -k - h*n = -2*n - 33. Suppose -35 = -2*y - k. Solve 3*x = 16 - y for x.
5
Let h(p) = 99*p + 3 - 9 - 117*p + 20*p. Suppose -y = 0, 0 = 2*g + y - 6 - 8. Let d be h(g). Solve d = 3*q + q for q.
2
Suppose 0 = -37*c + 38*c - 5*t - 709, 4*c - 5*t - 2746 = 0. Solve 677*r + 8 = c*r for r.
4
Let h(a) = -15*a - 63. Let n(i) = 4*i - 4*i + 9 - 3*i + 5*i. Let p(u) = 4*h(u) + 27*n(u). Let g be p(-2). Solve -c - g*c - 12 = 0 for c.
-3
Suppose -5 = 4*r + m, -4*r - 2*m - 3*m - 25 = 0. Suppose r = -25*f + 21*f + 132. Solve 3*c = f - 21 for c.
4
Let g be -2 - 1*44/(-2). Let q = 78 + -81. Let j be ((-20)/(-4))/5*-1*q. Solve z + g = -j*z for z.
-5
Let j = 30 - 36. Let z be -5 - (-8)/j*(-14 + 5). Solve -10 = -z*k - 38 for k.
-4
Let r = -30 - -35. Suppose r = w - 5. Let t(b) = 14*b - 42. Let l be t(3). Solve -3*d - 2*d - w = l for d.
-2
Let m be (1 - 4/6)*(-1 + -6 + 7). Solve m = 29*t - 34*t - 25 for t.
-5
Suppose -4*m + 13*m = -603. Let b = m + 85. Suppose -10 = -4*u + b. Solve 0 = -2*a + u*a - 20 for a.
4
Suppose 0 = 10*a - 10, 4*r + a - 28 = 9. Solve -53*v - 62 = r*v for v.
-1
Let h(c) = -6*c + 11. Let l be h(10). Let t be 4 + 92/(-6 + 8). Let y = t + l. Solve 2*f - y = f for f.
1
Suppose 33*p = 27*p + 678. Suppose -121*c = -p*c - 88. Solve -5*z - 4 = c for z.
-3
Let j(q) = -q**3 + 71*q**2 - 840*q + 31. Let g be j(56). Solve 80 - g = 7*h for h.
7
Let t = -419 - -420. Solve -71 = 9*q + t for q.
-8
Let b = -1943 + 1962. Solve -47*w + 28*w = b for w.
-1
Let o = -14 + 17. Suppose -o*g = -a + 5*a - 3, -2*a + 4*g = 4. Suppose 5*r - 32 = r + 5*y, -4*r = -y - 16. Solve -2*x - r - 1 = a for x.
-2
Let y be (2/3)/(1/57). Let l be 12/(-2)*(3 - 1)/(-2). Suppose -l*g = -82 + 4. Solve g - y = 5*t for t.
-5
Let n = -34776 + 34779. Suppose -3*r = -7*r - 108. Let h be r/(-5) - (-4)/(-10). Solve n + 2 = -h*p for p.
-1
Let j = 7935 + -7865. Solve -19*i + j = 203 for i.
-7
Suppose -646*f - 303 = -4*i - 641*f, -2*f + 2 = 0. Solve 0 = -i*n + 101*n + 24 for n.
-1
Let w(u) = 3*u**3 + 3*u - 2. Suppose 0 = 3*z - 10 + 7. Let x be w(z). Suppose 0 = -2*r + x*y + y + 23, -11 = -2*r + y. Solve r*l = -4 - 4 for l.
-2
Let n = 29 - 26. Suppose -n*b + 4*b = 7. Suppose 8*x - 30 = 2*x. Solve -b*y + x*y - 4 = 0 for y.
-2
Suppose -5*d = 50 - 400. Suppose 0 = -73*o + d*o + 27. Solve 2*z - 11 = -o for z.
1
Let g = -514 - -132. Let h = -373 - g. Solve 3*r = 3 - h for r.
-2
Suppose j = 6*i - 3*i - 1238, -2064 = -5*i + j. Let q = i - 407. Solve -3*l + q*l = -15 for l.
-5
Let q = 368 + -720. Let b = 356 + q. Suppose -2*c + o + 20 = 0, 2*c + 1 - 21 = 5*o. Solve -b*y + 6*y = -c for y.
-5
Suppose 5*k - 5*a = 15, -a - 12 = -3*k + a. Suppose 1370*w + 3269 = 19709. Solve -w*t = -9*t - k for t.
2
Let n be (-1636)/(-44) + (-14 - 760/(-55)). Solve 41 - n = c for c.
4
Let b(m) = -7*m**3 - 2*m + 2. Let x be b(1). Let w(k) = 2*k + 14. Let a be w(x). Solve a*c = 2*c - 10 for c.
5
Let s = -176 - -248. Suppose 6*j - 30*j = -s. Solve -j*i = -i - 2 for i.
1
Suppose -10 = 5*x + 10. Let d(o) = o**3 + 4*o**2 + 6. Let b be d(x). Solve -b = -8*y + 2*y for y.
1
Let g(u) = u**3 + 5*u**2 - 4*u + 21. Let d be g(6). Let k = -384 + d. Solve -z = -k*z + 16 for z.
2
Let q(b) = -4*b - 13. Let u be q(-6). Let z(a) = 2*a - 4 - 6*a - 18 - 2. Let w be z(-7). Solve 0 = w*y - 3 + u for y.
-2
Suppose -3*l + 3*z - z + 59 = 0, 36 = 2*l - 2*z. Let a be (-12)/36*-9 + 5. Solve -l - 9 = -a*u for u.
4
Let a(n) = 2*n**2 + 135*n - 61. Let u be a(-68). Solve u*k = 58*k - 51 for k.
1
Let v = -19 - -32. Let w be ((-187)/33 - -11)*3/2. Suppose -w*p + 5*p + 4*m = -19, 0 = 2*p + 4*m - 6. Solve -2 = p*d + v for d.
-3
Let z be 86*2*(-20 - -9)/(-22). Let h = z + -54. Solve 0 = 4*r + h - 24 for r.
-2
Let s(o) = -o**3 + 18*o**2 - 17*o + 5. Let u be s(17). Suppose j + 4*x = 4 - 1, 12 = 4*j - u*x. Let i be (-4)/((j + -1)/(11 + -12)). Solve -k = -i*k for k.
0
Suppose 4*q - 3*d + 8 = d, -4*d + 8 = 0. Let m(o) = o + 2. Let f(n) = -4*n + 7. Let w(b) = -f(b) - 6*m(b). Let p be w(-11). Solve q = k + p for k.
-3
Let k(i) = -4*i - 15. Let h(c) = -3*c - 14. Let w(q) = -3*h(q) + 2*k(q). Let g be w(-7). Let f(x) = 383*x + 780. Let t be f(-2). Solve -t = g*d + 11 for d.
-5
Suppose 4*l - 76 = 4*x, 4*l + 5*x - 284 = -154. Suppose 0 = -2*u + 5*h + 33, 3*u + 2*h - 10 = 11. Let o be 60/14 - 4/14. Solve -o*y + u*y + l = 0 for y.
-5
Let g(b) = -b**2 - 14*b + 4. Suppose 4*p - 5*y = -0*y + 64, 4*y = 4*p - 60. Let t be (32 - p)/((-3)/2). Let r be g(t). Solve -2*o + 0 = -r for o.
2
Let j(o) = -7978*o - 15900. Let r be j(-2). Suppose -3*u + 0*u - 3*n = -147, -4*u + 3*n + 231 = 0. Solve u*b = r*b + 8 for b.
-4
Suppose -126 + 106 = -10*j. Let r(b) be the first derivative of -b**4/4 + b**3 - b**2/2 + 2*b + 4. Let c be r(j). Solve 5*a = 14 - c for a.
2
Let g(w) = w**2 - 6*w + 9. Let a be g(6). Let u be 40/12*(a + -6). Solve -u*b + 6*b = -16 for b.
4
Suppose 10*y + 13*y - 4*y - 5*y = 0. Solve y = -2947*h + 2948*h + 7 for h.
-7
Suppose 0 = 4*p - 0*p + 2*v + 206, -p - 2*v - 59 = 0. Let i = -45 - p. Let o be (-1)/(-3) + i/6. Solve -z = -0*z - o for z.
1
Let d = -125 - -129. Let w(i) = 2*i**3 - 20*i**2 - 4*i + 63. Let b be w(10). Solve -d*j = b - 3 for j.
-5
Let v be (-96)/(-9)*2688/2048. Solve -v*q + 20 = 48 for q.
-2
Suppose 5*h - 329 = -3*y, -269*h = -271*h - 4*y + 140. Solve -4547*b = -4555*b - h for b.
-8
Let a(m) = 64*m - 1065. Let t be a(17). Solve -t + 138 = 23*g for g.
5
Suppose -2*g = l - 4, 57*l - 61*l + 16 = 4*g. Let q be -1 - l/3*-3. Solve 0 = -m + q*m for m.
0
Suppose 4*v = 3*n - 940, -540*n + 539*n + 2*v = -316. Solve -244*z = -200*z + n for z.
-7
Let u be (-10)/110 - 3/(-33). Suppose u = -3*r + 4*o + 28, -8*r + 16 = -6*r - 4*o. Suppose 0 = 4*h - 7 - 9. Solve -s + h*s + r = 0 for s.
-4
Suppose 7*t = 1007 + 316. Suppose 4*d + t = 5*f - 247, 4*f = -4*d + 320. Let p = 88 - f. Solve -p*b - 12 = -b for b.
-4
Suppose -120 = 35*u - 39*u. Suppose -15*m = -13*m - u. Solve -d = 4*d + m for d.
-3
Let a = -32 - -34. Suppose 8 = 2*z, u + a*z + 3*z = 28. Solve 2*k - 4*k - u = 0 for k.
-4
Suppose -30*f = 56*f - 1634. Solve -8*b = f*b - 108 for b.
4
Suppose -4*j = 3*s - 90, 4*j + s - 6*s = 106. Suppose -j*k - 16 = -26*k. Solve 0 = -2*a - 2 + k for a.
3
Let f(j)