Suppose -4*t = 2*y - 52, 0 = t + 5*y + 3 + 2. Let s be (-2)/(-8)*6*2. Suppose d + d = 0. Solve s*c + d*c = t for c.
5
Suppose -15 = -4*z - 7. Solve z*l + 6 - 2 = 0 for l.
-2
Suppose 1 = d - 7. Suppose 0 = 3*l - 10*l + 21. Solve 5*t = l - d for t.
-1
Let c be (3/(-4))/((-2)/8). Let t = 8 + -5. Let k = t - c. Solve v = -k*v + 2 for v.
2
Let a = 7 - 7. Suppose v - 22 = -5*k, a*k + 4*v = 2*k - 22. Solve 3*q = k*q - 4 for q.
2
Suppose 0 = -i - 0*i + 4, 2*i = 4*p - 8. Let t = 1 + p. Solve 10 = -t*x - 15 for x.
-5
Let i = -15 - -17. Solve -i*w + 3 = -1 for w.
2
Suppose 0 = -3*v + 4*x - 3, -5*v = -3*v + 2*x - 12. Let p = -90 - -96. Solve -p = v*k + 3 for k.
-3
Suppose n + 3*n - 36 = 0. Let d = n + -5. Solve d*c = 6 + 10 for c.
4
Suppose -5*i + 27 = 97. Let u be (-4)/i - 78/(-21). Suppose 5*v - 7 = 3. Solve 8 = u*h - v*h for h.
4
Let w be 3/(-6) + 18/4. Let k = 15 + -6. Let g be 0/((-3)/(k/6)). Solve g = -w*l + l + 9 for l.
3
Let i be ((-66)/55)/((-1)/5). Solve 2*p = 5*p - i for p.
2
Suppose -2*x = 3*x + 40. Let d be (x/(-24))/((-1)/(-6)). Solve d = -g + 4 for g.
2
Let w = 2 + 1. Suppose 5*z - 4 = q - w*q, 3*z = -2*q. Solve n - 4 = z*n for n.
-4
Let y(b) = b**3 + 4*b**2 - 2*b - 5. Let c be y(-4). Suppose j + 2 = 2*j. Solve c*s = 5*s - j for s.
1
Suppose 0 = -w - 2*c + 5, 0*c - 70 = -4*w + 2*c. Let b be 1/(3/(0 - w)). Let a = b - -5. Solve 4 + a = -2*z for z.
-2
Suppose -55 = -5*p + 5*v - 0, -31 = -p + 5*v. Suppose 2*k = k - p. Let i be 2/(-3)*k/4. Solve -1 = -2*n + i for n.
1
Suppose -13 = -3*m - 1. Solve -j - m*j = -25 for j.
5
Let r(c) = c. Let b be r(5). Let j be 3/12 - (-28)/16. Suppose -3*o = j*o + 4*l - 77, -o - l = -15. Solve b*x + 7 - o = 0 for x.
2
Let h(x) = 6*x**2 - 4*x + 4. Let o be h(1). Solve -3*r - o = -r for r.
-3
Suppose -y = 2 - 1. Let p be (-6)/(-2) + y - 0. Let b = 2 + 1. Solve p*j = 3*j + b for j.
-3
Suppose -3*k + 5*k = 8. Let j = -11 + 5. Let l be (5/2)/(-5)*j. Solve -l*f + 5 = -k*f for f.
-5
Suppose 2*k - 4 = -k - 2*d, 0 = k + 2*d. Solve 0 = 5*j + 12 - k for j.
-2
Let u = 21 + -11. Suppose -4*q = z + z - 4, -5*q - 5*z = 0. Suppose d + q*d = 0. Solve 7*s - 2*s + u = d for s.
-2
Suppose 3*v - 11 = -2*b, 0*b - 4*v = -2*b - 24. Suppose -2*i - 8 = 2*g, -3*i - 3*g - 7 = -5*i. Let y be b/i + 0/2. Solve 3 - 7 = -y*d for d.
2
Let m(n) be the third derivative of -n**6/120 - 7*n**5/60 + n**4/3 + 4*n**2. Let w be m(-8). Solve 4*t + 16 = -w*t for t.
-4
Suppose 0 = 2*w - 4*w + 4. Suppose 5*p - 36 = c, -32 = -2*p - 3*p + w*c. Solve 7 + p = -5*z for z.
-3
Let q(s) = -s**2 - 2*s. Let j be q(-2). Suppose -2*i = 3*g - 7, -i + 5*g - 9 = -4*i. Suppose 2*v + 4 - i = 0. Solve v*n + j - 6 = 0 for n.
3
Suppose 2*y + 3*y = 35. Solve -2*h + y*h + 20 = 0 for h.
-4
Let b(r) = -r**3 - 2*r**2 + 4*r + 3. Let u be b(-3). Let t(z) = -z - 6. Let d be t(u). Let f be d/4 + (-9)/(-2). Solve f*q = q for q.
0
Suppose -1 = -2*x + 3. Solve 0*a = -x*a - 8 for a.
-4
Let l be (-180)/(-24) - 1/2. Suppose -28 = -5*f + l. Solve -f*n = -3*n - 4 for n.
1
Let i(o) = -o**3 - 10*o**2 - 9*o - 3. Let c be i(-9). Let g = c + 5. Let k be ((-2)/4)/(1/(-20)). Solve g*w - 7*w = k for w.
-2
Suppose -t - 4*d = -2*t - 8, t + d = 2. Let f(a) = -5*a + 4. Let z be f(-4). Suppose -z = -3*g - 0*g. Solve t*o = 4*o + g for o.
-2
Let i be (-2)/6 + (-44)/12. Let s be (2/3)/(i/30). Let g(l) = -l**2 - 5*l. Let j be g(s). Solve j*r + 2*r = -8 for r.
-4
Suppose 0 - 25 = -3*b - 2*p, p - 37 = -5*b. Let i = 11 - b. Solve 4*g + i = -0 for g.
-1
Let m be (-1 - 2/(-5))*-5. Suppose m + 9 = 4*q. Solve 0 = -0*a - q*a + 3 for a.
1
Let b(u) = u**3 - 3*u**2 - u - 5. Let n be b(4). Solve -23 + n = -4*s for s.
4
Let l(q) = q**3 - 2*q**2 - 2*q - 3. Let z be l(3). Solve z*r = r - 5 for r.
5
Suppose -18 = j - 5*d, -2*j + d - 16 = -4*d. Suppose -27 = -m + 5*p, -2*m + j*p + 0*p = -14. Solve -m = -o - 5 for o.
-3
Let z(i) = i - 3. Let c be z(7). Solve t + c = -t for t.
-2
Let k = -23 + 23. Solve 0*l - 4*l + 20 = k for l.
5
Let r(d) = d. Let q be r(1). Suppose 7 = 2*z + q. Solve -6*x = -z*x for x.
0
Let v be (12/14)/((-21)/(-196)). Solve 5*u = -v - 12 for u.
-4
Let p(q) be the first derivative of 4*q**3/3 - q**2 + 2*q - 2. Let v be p(2). Suppose -2*n + v = 4*t, -3*t - 7 - 7 = -2*n. Solve -n*b - 4 = -3*b for b.
-1
Let c(v) = -v - 3. Let r be c(-7). Let i(j) = -j**3 + 3*j**2 + 4*j. Let d be i(r). Suppose s - 1 + d = 0. Solve 2*y + s = y for y.
-1
Suppose 0 = -3*l + 4*w + 16, 3*l + 2 = -w + 13. Suppose 0 = 3*c + 3*v - 9, 0 = -4*c - 0*c - 2*v + 8. Solve -l = 5*n + c for n.
-1
Let m be -1 + -8 + (-3)/(-1). Let v = 9 + m. Solve v*b + 1 = 7 for b.
2
Suppose -5*n - 25 = -35. Solve -7*t - 15 = -n*t for t.
-3
Let a = -19 - -21. Solve 3*w - 1 - a = 0 for w.
1
Suppose 7 = -4*i - 65. Let v be (-51)/i + 3/18. Let n be -2 - 1*-5*1. Solve -n*y + v - 18 = 0 for y.
-5
Let c(b) = 25*b**3 + 0 - 6 + 5*b + 7*b**2 + 3*b - 24*b**3. Let x be c(-5). Solve -x*n + 3 = -3*n for n.
3
Let w be 0/((-2)/(8/(-12))). Let u = 6 - w. Solve -3*m = -u*m for m.
0
Let s(h) = h**3 + 6*h**2 + 2*h - 6. Let t be s(-5). Solve 2*z = 1 + t for z.
5
Suppose 9 = -4*c + 33. Solve 5*p - 9 = c for p.
3
Let x be (-60)/(-27) + (-2)/9. Let k = 0 - -2. Let p = -2 + k. Solve p*z + 4 = -x*z for z.
-2
Suppose 0 = 227*w - 228*w + 6. Solve 5*z - 1 = -w for z.
-1
Let w(i) = i**3 - 5*i**2 + 2*i - 8. Let t be w(5). Solve 0 = -6*x + t*x for x.
0
Let t be -4 + 2 - (-8)/2. Let f be (4 - 0) + -4 + t. Suppose 0*w = -2*w. Solve w*g - f*g = 2 for g.
-1
Let o(x) = 2 - 4*x + x + 30*x**2 - 29*x**2. Let z be o(7). Solve -10 = 5*t - z for t.
4
Suppose -2*i - i - 4*w - 9 = 0, 11 = -i - 4*w. Suppose -4*a = -c - 13, -3*c - 2*c = -2*a - 7. Solve -8 = -c*p + i for p.
3
Suppose 3*w + 15 = 5*d, 4*d - w + 0*w = 5. Solve d = i + 2*i - 9 for i.
3
Suppose -3*w - 37 = -154. Suppose -2*p - w = -5*p. Suppose -5*j + 4*q + p = 0, -4*q + 19 = 2*j - q. Solve 0 = j*a + 4 + 6 for a.
-2
Let k(h) = -h**2 + 4. Let s be k(0). Let q = 152 - 146. Solve 2 = -s*c - q for c.
-2
Let c = 29 + -25. Suppose c*w = -j - 9, -2*j - 3*w + 3 = 2*j. Solve h + 0 - j = 0 for h.
3
Suppose -5*h + 9 = 2*o - 95, 0 = 3*h - 3*o - 54. Suppose -2*j = 3*j - h. Suppose 4 = -g, -j*l - 2*g + 6*g = -28. Solve -m - 8 + l = 0 for m.
-5
Let r(s) = s + 3. Let u be r(4). Let p = u - 2. Solve 0*f = 5*f - p for f.
1
Suppose -i - 2*c = 0, -4*i + 0*c = -c + 9. Let q be 2/(12/(-9) - i). Solve 2*z = q*z - 4 for z.
4
Let p(c) be the third derivative of c**6/120 - c**5/10 + c**4/8 - c**3 + 2*c**2. Let b be p(6). Solve b = j + 3*j for j.
3
Suppose w = -4*w + 5. Let q = 4 - w. Let a(z) = z + 11. Let m be a(-7). Solve 0 = -q*v - v + m for v.
1
Let h be 4 - ((-6)/(-15) + 12/(-5)). Solve 0 = -3*b + 6*b - h for b.
2
Let z be (2 - (0 + 2)) + 2. Suppose -z*l + 8 = -0. Solve -13 - 3 = -l*r for r.
4
Let g be (-4)/10 + 381/15. Suppose 5*x = 7*x. Suppose -3*b - 2*b + 2*a + g = x, 3*b = a + 14. Solve 0*j = b*j - 9 for j.
3
Let p be (-10)/(-4)*(-42)/(-35). Solve p*c - 5*c - 8 = 0 for c.
-4
Let d be (-6)/(-3*(-2)/(-3)). Suppose -11 - 1 = 4*g - 4*v, -g - 3*v = -9. Solve 9 + g = -d*l for l.
-3
Let x(m) = m**3 + 8*m**2 - 5*m + 2. Let z be x(-8). Suppose 6*o = 3*o + z. Solve 4*n + o = 2 for n.
-3
Let f be ((-1)/2)/((-1)/(-16)). Let o(v) = -v**2 - 8*v + 3. Let r be o(f). Suppose -r*p - 5*u - 10 = -0*u, 2*p + u + 2 = 0. Solve p = 3*s - 12 for s.
4
Let s be (14 - 6)*(-1)/12*-3. Solve s = -a - 3 for a.
-5
Suppose 0 = 5*u + 4 + 1. Let k be 8 + 2/(-2)*u. Let t = k + -5. Solve -t*b = -9*b for b.
0
Let r = -4 + 4. Suppose 0 = 33*w - 29*w - 16. Solve r = -2*l + w*l for l.
0
Suppose 7*g - 4*g - g = 0. Solve 4*y - y + 9 = g for y.
-3
Let y(p) = -p**2 - 3*p + 2. Let o be y(0). Solve -4*d = -o*d + 10 for d.
-5
Let p(k) be the third derivative of k**6/120 + k**5/30 + k**4/24 - k**2. Let a(q) = 3*q + 11. Let c be a(-4). Let r be p(c). Solve -5*v - 10 + r = 0 for v.
-2
Suppose -p = -5*l - 12, -2 = 3*p + 3*l + l. Suppose 0 = 3*o - p*r + 14, -2*o - 2*o + r = 12. Let w be (-1)/o*(-1 - -1). Solve 3*f + 0*f + 9 = w for f.
-3
Let z be 75/9 + (-5)/15. Solve -6*v = -4*v - z for v.
4
Suppose -30 = -0*m + 5*m. Let z = m + 14. Solve 4*q + z + 0 = 0 for q.
-2
Let o = 14 + -14. Solve 5*u + 7 + 8 = o for u.
-3
Suppose -10 = z - 3*l - 30, -2*l = -3*z + 25. Solve 6 = z*v - 19 for v.
5
Let w be (-4)/2*(-7 + 0 + 