 Let y be t(-4). Suppose 0 = 4*o + 2*c - 20, -o - y*c + 6 = -c. Let h = 1 + 6. Solve -h = -o*k + 9 for k.
4
Suppose 72 = -2*i - 0. Let m = i + 43. Solve 2*z - 3 + m = 0 for z.
-2
Let o = 132 - 130. Solve 0 = h + o*h - 3 for h.
1
Let t = -28 + 31. Solve 0*n - t*n = 0 for n.
0
Let w = -120 - -78. Let p be w/9*18/(-21). Solve -h + p = h for h.
2
Let p(n) = -n**2 - 13*n - 7. Let j be p(-12). Let c(l) = l**3 - 2*l**2 - 13*l - 4. Let t be c(j). Solve -1 + t = 5*s for s.
1
Suppose -3*d + 6*d = 210. Suppose z + d = -4*z. Let c = z - -14. Solve c = u - 2 + 1 for u.
1
Let l be (1/1 - 22)*(-15)/15. Solve l = -7*b - 0 for b.
-3
Let m be 7 + 2*(4 - 6). Suppose -2*u + m*u + 2*c = 30, -4*u + 105 = 3*c. Solve 3*k - u = -9 for k.
5
Suppose 0*g + g - 1 = 0. Suppose 38 = 2*n + 4*r, 52 = 3*n - r + 2*r. Let l = -10 + n. Solve -g + l = -3*t for t.
-2
Suppose 6*b + 12 + 6 = 0. Let i be (b/(-9))/(3/27). Solve -2*k = -7 + i for k.
2
Let d be (474/42 - 11) + (-136)/(-14). Solve -2*o - d = -6 for o.
-2
Let k(l) = -l**3 + 5*l**2 - 3*l + 6. Let d be k(4). Let j(q) = -10*q**2 + 130*q + 2. Let m be j(13). Solve 0 = 4*o + m - d for o.
2
Suppose -2*g = -6*g + 60. Suppose 8*r = 47 - g. Solve r*b = -b - 10 for b.
-2
Let c(p) = -7*p**3 + p**2 + 3*p + 1. Let m be c(-1). Solve 0 = -m*w + w + 20 for w.
4
Let i be (0/(-2 - 0))/(-1). Suppose 6*j - 2*j - 64 = i. Solve -5*a - 6 = -j for a.
2
Suppose 65 + 0 = 13*d. Let b be d*(-8)/(-140)*14. Solve -b*c + 3*c - 4 = 0 for c.
-4
Let j(k) = 3*k**2 + 89*k + 63. Let y be j(-29). Solve y*x = 6*x + 3 for x.
-3
Let t be 21/(-14)*(-336)/9. Suppose 0*r - 5*r = -3*k + 79, -4*r - t = -2*k. Solve -3 = -3*j - k for j.
-5
Let l be 115/30 + (-1)/(-6). Let c(w) = -w**2 + 4*w + 4. Let b be c(l). Suppose 1 = b*z - 7. Solve 3*a + z*a = 20 for a.
4
Let m = 55 - 56. Let t be (0/m)/((15/5)/3). Solve -3*w + t = 15 for w.
-5
Suppose 5*n + 19 + 56 = 0. Let t be ((-4)/(-6))/((-1)/n). Let z be ((0 - 0) + -1)*-5. Solve 7*c = z*c + t for c.
5
Let s = -4 + 4. Let q be -1 + 6 + (-1 - -5). Let l be s/(5/((-15)/q)). Solve 3*m - 15 = -l*m for m.
5
Let j(q) = q**3 - 14*q**2 + 13*q + 13. Let w be j(13). Suppose -3*s + 5*s - w = t, -s = t - 5. Solve 5*y - 31 = -s for y.
5
Let j(z) = z**2 - 4*z + 4. Let a be j(6). Let k = 18 - a. Suppose -25 = 3*x - 5*y, -x + k*y = 5*y - 15. Solve 5 = -x*b - b for b.
-5
Suppose 29 = -13*v + 445. Solve -v*j + 29*j - 6 = 0 for j.
-2
Suppose 0 = -2*y + 3*y - 12. Suppose 0 = -7*b + y*b - 5. Solve 3*p - 4 + b = 0 for p.
1
Suppose -6*m + m = -40. Suppose -2*k - 76 + 86 = 0. Solve -18 = -k*f - m for f.
2
Suppose 3 = -10*t + 3. Suppose t = -40*u + 46*u - 18. Solve u*p = 2*p - 4 for p.
-4
Suppose 2*q - 7 = q. Let x = 0 - q. Let v = x + 7. Solve v*g = 5*g for g.
0
Let b(c) = -c**3 - 7*c**2 + 9*c + 11. Let m be b(-8). Suppose 3*n - p = 5, -m = p - 4. Solve -8 = -2*r + n for r.
5
Let l = 4 + 1. Suppose 0 = 5*c - 15, -6 = -2*j - 2*c + 20. Solve -g = -j + l for g.
5
Let w be (6/(-3))/(-2 - 24/(-15)). Suppose 0 = -0*s - 2*s + 12. Suppose b - s = 2*c - 0*c, -w*c = -b + 15. Solve -2*i + 2 + 8 = b for i.
5
Let i(p) = p**2 + 7*p + 2. Let o be i(-7). Let y = -39 + 45. Suppose -3*f + 3*l + y = 0, 2*f - o*l - 4 = -2*f. Solve f = 8*a - 4*a - 8 for a.
2
Let u(x) = -2 - 6*x - 1 - 4 + 0 + x**2. Let f be u(7). Solve d + f = -5 for d.
-5
Let r(c) = c**3 - 4*c**2 - 2*c - 11. Let z be r(7). Suppose z = 4*i + 14. Solve -4*a - 11 = -i for a.
4
Suppose -4*o + 12 = -0. Let w(f) = -f**3 + 7*f - 2. Let t(p) = p**2 - 15*p + 46. Let a be t(11). Let s be w(a). Solve 0 = -s*q - 11 + o for q.
-2
Suppose 10*n + 5*y - 90 = 5*n, -12 = -n - 4*y. Suppose 0 = -l + 6*l - 15. Let q be l*15/9 + -2. Solve -q*a = a + n for a.
-5
Suppose -3*h = 2*q - 7, 0 = -3*q - 0*h + 5*h + 1. Suppose -5*i - 50 = -3*t, -i = 2*i - 4*t + 41. Let r be (((-63)/12)/i)/(30/80). Solve 0 = -r*s - 2 - q for s.
-2
Suppose -17*m - 108 = -21*m. Solve -m*i = -24*i + 12 for i.
-4
Let a be (-1 - -1)/(8 + -6). Let r be (-7 - -7)/(-1 - a). Suppose -3*u = -2*q - 6, 0*u - 2*u = 4*q - 20. Solve q*i + 0*i + 6 = r for i.
-2
Let m(w) be the third derivative of -w**5/60 - 5*w**4/24 - 2*w**3/3 + w**2. Suppose 0 = -4*j + 5*j + 4. Let r be m(j). Solve r = -f - f + 4 for f.
2
Let s be ((-6)/(-2))/(21/6 + -3). Let t be 3 + s/15*5. Solve t*a + 4 = -6 for a.
-2
Suppose 5*y - 15 = -3*j, y - 2*y + 1 = j. Suppose 3*f + y = 0, 3*f = -0*l - 4*l + 6. Solve -2 = -l*t - 5 for t.
-1
Let a(l) = -l - 10. Suppose 1 + 5 = 2*w. Suppose 5*r + 6 + 44 = -3*k, -4*r + w*k - 40 = 0. Let v be a(r). Solve -3*b + 5*b + 10 = v for b.
-5
Let h(t) = 33*t + 33. Let k be h(-1). Solve -2*q - 4*q = k for q.
0
Let y be -5 - (2 - 2 - 12). Solve -3 = 6*f - y*f for f.
3
Suppose 5*d + 4 = -4*p + 33, d + 3*p - 8 = 0. Suppose -d*k - 15 = -0*k. Let i(w) = w**2 + 4*w + 3. Let f be i(k). Solve f = h - 3 + 5 for h.
-2
Let x(n) = 9*n**2 + 3*n - 3 - 4 - 20*n**3 + 19*n**3. Let q be x(9). Let z = q + -18. Solve -2 = -z*d + 4 for d.
3
Let r = 21 + -14. Let q(g) = -4436*g - 3 + 2220*g + 2217*g. Let n be q(r). Solve -z = 3*z + n for z.
-1
Suppose -66*o = 6*o - 1008. Solve -o*y + 11*y = 9 for y.
-3
Let w(f) = f - 12. Let z be w(38). Solve -31*b = -z*b for b.
0
Let r be (4/8)/(2/4). Let d(a) = 5*a - 2. Let l be d(r). Solve 0 = 2*o - 5*o - l for o.
-1
Let b(f) = -f**3 + 5*f**2 - 2*f - 17. Let r be b(7). Let u = -126 - r. Solve u*v = v for v.
0
Let v be 0*(-3 - (-3 + 1)). Let t be ((-3)/(-6)*v)/(-2). Suppose 2*c = -5*x + 33, 2*c + 3*x - 13 - 14 = t. Solve 0*j = 3*j + c for j.
-3
Let d = 24 - 22. Suppose d*k = -2*x, 3*k = -3*x - k - 3. Suppose x = 5*p + f - 4*f, -20 = -5*f. Solve -9 = -0*y - p*y for y.
3
Let b be 1/1 + ((-12)/(-6) - 6). Let n be (3 - 6/9*b) + -2. Solve f = n*f for f.
0
Let z be (-1)/((-6)/(-4) - 2). Let w be (1*-8)/(z - 4). Suppose -3*r - 8 = 4, -5*r = -5*c + 35. Solve b - c = w*b for b.
-1
Suppose 38*w - 313 = 637. Solve w = -12*h + 7*h for h.
-5
Suppose 3 = 4*t - 1. Let a be 0/3 + t*-2. Let d be 0*a*(-4)/16. Solve -l = -d*l - 4 for l.
4
Let f = -710 - -714. Solve p - 2*p + f*p = 0 for p.
0
Suppose 0 = 13*g - 374 + 75. Let h = g - 3. Solve 5*j + 0 = h for j.
4
Suppose 10*m + 177 = 197. Solve 3 = -m*d + 7 for d.
2
Let u be 4/10 + 168/30. Let g be 10*(-3)/6*2. Let z be ((-4)/g)/((-1)/(-40)). Solve -2*j = -u*j + z for j.
4
Suppose 27*c - 207 = 4*c. Solve 8*y + 7 = -c for y.
-2
Let r be ((-14)/3 + 5)*(12 - 0). Suppose -3*j = -r*j + 3*j. Solve 2*m + 0*m - 6 = j for m.
3
Suppose -3*f + 2*z = -142 - 21, -z = -4*f + 219. Solve 6*h = -25 + f for h.
5
Suppose -3*t = -8*t. Let x be t*(-2 - (-28)/12). Let q(a) = a + 4. Let w be q(x). Solve -g = w*g - 5 for g.
1
Let y be (2/6)/((-1)/(-75)). Suppose 5*b - 6*b = -p, 0 = -5*b + p + 20. Solve -b*s + y = -0*s for s.
5
Let k(x) = -x**3 - 20*x**2 + 20*x - 16. Let q be k(-21). Suppose q*l - 6*l = 0. Solve -3*c + l*c = 3 for c.
-1
Suppose -5*b + 10*b = 15. Let s be (-12 + 247/26)/((-10)/48). Solve b*f = 6*f - s for f.
4
Let p be 0*((-27)/(-108))/(2/(-4)). Solve p = i - 1 - 3 for i.
4
Let j(m) = -m**3 + 14*m**2 + 16*m - 15. Let k be j(15). Let r be ((-20)/(-16) - 2)*16*-1. Suppose -2*y - 4*n = -2*n - 18, -3*n = -15. Solve k*c = y*c - r for c.
3
Let h be -6*2/(-1 - 1). Let t(l) = 4*l**2 + 11*l + 17. Let j be t(-2). Suppose 0 = -7*c + j*c - 12. Solve 0 = -h*i + 5*i + c for i.
3
Suppose 0 = x - 2*p - 4, -4*x - p = -6*x + 8. Solve -x = 2*h - 3*h for h.
4
Suppose 0 = -2*j - i + 89, -98 = -4*j + 2*j + 2*i. Let r = j + -41. Solve 4*p + p = -r for p.
-1
Let s(l) = l**3 - 6*l**2 + 6*l - 2. Let q(f) = 2 - 2*f - 2 + 9*f - 2. Let p be q(1). Let d be s(p). Solve d = j - 1 for j.
4
Let d = 5 - -3. Solve d = -3*w - 4 for w.
-4
Let d be -4 - (-5)/((-10)/(-14)). Let v(a) = -a**2 + 4*a. Let r be v(d). Suppose 4*z = 4*s, -2*s + 3*s - r*z = -6. Solve s*j = 4*j for j.
0
Let i = -12 + 26. Suppose 4*a - i = -6. Suppose -6*y + 7*y - a = 0. Solve -q + y*q = -4 for q.
-4
Let p = -15 + 21. Suppose -q + 4*q - p = -2*l, -4*l + 10 = 5*q. Solve -q*n + 1 = 5 for n.
-2
Suppose 0*r = -4*t - 3*r - 116, -2*t = -5*r + 84. Let c be (-48)/t*4/3. Solve -5*h = -c*h for h.
0
Suppose 392 = 80*u - 66*u. Solve 0*i = 7*i + u for i.
-4
Suppose -5*q = -0*q - 15. Let c = -4 - -16. Suppose q*p = -p + c. Solve -7 = p*t + 2 for t.
-3
Let k(l) = -l**3 - 5*l**2 - 5*l + 7. Let f be (2 - 1)/((-8)