 Let p be n(-9). Solve -5*x = -p*c + 10, -3*x + 3 - 17 = 5*c for x.
-3
Suppose 4*f + 80 + 28 = 0. Let s = f - -31. Solve 2 = -5*b - 3*g, -b - b = -s*g + 6 for b.
-1
Let c be (39/6)/(-13)*0/(-1). Solve j = -x, -4*x + 2*j = -c*x - 12 for x.
2
Let z = 14 - -7. Suppose -5*k = -2*g + 5*g - z, 2*k - 2*g = 2. Solve -k*a + 4*m = 11, -2*a + m - 6 = 3 for a.
-5
Let q be ((-3)/3)/(-2*(-2)/(-48)). Suppose -6*m + 0*m = -24. Solve -2*k + 28 - 4 = -4*i, -q = k + m*i for k.
4
Let f(b) = -b + 12. Suppose -m = -s + 18, -m - 15 = 4*m. Let c be f(s). Let t = c - -7. Solve -v + 4*v - t*l = 32, -l - 21 = -4*v for v.
4
Suppose 2*f = -3*i + 12, -3*i - 5*f + 8*f + 12 = 0. Solve 2*z = -3*l + 2, i*z - l + 9 = 3*z for z.
-5
Let d be (-2)/(-5)*(13 + -3). Let g = 1626 - 1622. Solve 0 = -g*o + 3*j + 4, -41 + 15 = 5*o + d*j for o.
-2
Suppose 117*c - 113*c = -o + 10, -4*c + 3*o = -18. Solve -3*p = -2*r + 9, 5*r - 7 = 5*p + c for p.
-5
Suppose 0*k = 5*u - k - 20, 0 = -4*k - 20. Let y be -1 + ((-32)/(-14) - (-22)/(-77)). Solve -u*f + 16 + 11 = 3*n, n - f = y for n.
5
Suppose p + 9 = 4*p - 3*y, 5*p - 27 = y. Suppose 0 = d + 2*j + p, -d - j = -6*d + 14. Solve -d*l = x, 0*x = 3*x - 3*l + 18 for x.
-4
Let g = 68 + -59. Solve g = 3*y + q, -4*q + 8*q = -2*y + 6 for y.
3
Suppose -2*c + 0*c = -10. Suppose 0 = c*b - 5, 2*h = 3*h + 2*b - 5. Solve -j + 1 = 2*a - 0*j, 0 = h*a + 2*j for a.
2
Let z = -1137 - -1142. Solve z*p + 19 = -4*q - 12, 2*p = 2*q + 2 for p.
-3
Let t(n) = n**2 + 5*n + 27. Let c be t(0). Solve -c - 13 = -5*z + 5*j, -2*j = 6 for z.
5
Let f = -78 - -4. Let k = -70 - f. Solve -k*q + l = -9*q + 15, -q + l = -9 for q.
4
Let m(j) = 3*j**3 - 3*j**2 - 4*j**3 + 6*j - j + 7*j**2. Let s be m(5). Solve -4 = x + v, s = v + 2*v + 3 for x.
-3
Suppose 2*r = 3*p + 80, -5*r + 6*r - 40 = -4*p. Let c = r + -38. Solve h + 5 = -0*h + 3*j, 0 = -5*h - c*j - 25 for h.
-5
Let r(m) = -m + 14. Let x = -2 - -8. Let u be r(x). Solve u*o - b - 25 = 3*o, -4*b - 24 = -o for o.
4
Let j(n) = -4*n + 36. Let x be j(6). Let w = -5 + x. Solve 0 = -4*h - 3*v + w, -h + v + 1 = 8 for h.
-2
Suppose 1356*l + 33 = 1367*l. Suppose -3*h = -0*r - 4*r + 5, 3*h - 5*r = -10. Solve -h*v = -5*m + 20, l*v - m = -2*m + 4 for v.
0
Let s = -1627 - -1632. Solve 0 = -s*q + 5, 3*c + 4*q - 3*q = 4 for c.
1
Let k(m) = -m**3 - 2*m**2 - 2*m. Let n be k(-2). Suppose -5*y + 90 = -n*t + t, 5*y + t - 110 = 0. Solve 5*d - 5*o = -20, -3*d - d = o + y for d.
-5
Suppose -2*m + 12 = 2*y - 3*m, -y - 4*m = 3. Suppose -15 = -5*u + y. Let a(v) = 2*v - 15. Let f be a(11). Solve -8 = u*h, -2*h - h = -d + f for d.
1
Let v be (7 - (-152)/(-20))*-5. Solve -v*r + f = 2, 7*f = -r + 4*f - 4 for r.
-1
Suppose 4*l = 2*n - 16, -l = -n + 8 - 2. Solve 4*k = 5*m - 11, -n*k = -3*m - 0*m + 13 for m.
-1
Let w(s) = -3*s + 12. Let r be w(4). Suppose i + 4*i = r. Solve 0 = 2*k + 7*y - 2*y + 30, -5*k - 4*y - 41 = i for k.
-5
Let x = -18 + 18. Suppose -3*c - c = x. Suppose c = 2*m + f + 1 - 3, -4*f = m - 1. Solve 5*b = -o - 7, 1 = 4*o + 5*b - m for o.
3
Let u(w) = -2*w**2 - 11*w + 19. Let t be u(-10). Let l = 75 + t. Solve 0*n + 8 = -4*n - 4*i, -3*i = -l*n + 27 for n.
3
Suppose -2*h - 5 + 3 = 0. Let f be -1 - h - 64/(-4). Let j(u) = 15*u + 125. Let a be j(-8). Solve 4*o - 16 = -0*o, 0 = -p + a*o - f for p.
4
Let p(o) = 6*o**2 - 233*o - 35. Let v be p(39). Solve 25 = -9*r + 6*r - 2*d, 5*r = -v*d - 45 for r.
-5
Suppose 30 = 8*l + 14. Solve -4*n = 2*c - 24, -c - l*n + 16 = n for c.
4
Let c(s) be the third derivative of s**6/120 - s**5/15 + s**4/12 - s**3/6 + s**2. Let w be c(4). Suppose 2*m = -w + 29. Solve -5*i = m - 1, 4*v + i = 6 for v.
2
Suppose -m - 1 + 46 = 0. Suppose -m = -5*i - 4*y - 0*y, 5*i - 5*y = 0. Let q be (-330)/(-75) + 3/i. Solve -4*a - 2*j = 4, 6*a + q*j = 2*a - 16 for a.
1
Suppose -3*w + 6*w = 30. Let d = w + -6. Let g be (6/4)/(6/16). Solve -2*b + 4*b + 4 = d*v, -2*b = g for v.
0
Let i be (-392)/(-35) + 1/(-10)*-8. Solve 0 = g - 3*j + 14, 2*g + 12 = 5*j - i for g.
-2
Suppose 0 = -3*g - 7 - 8, 0 = 3*m + 4*g + 20. Suppose m*x + x = 24. Solve -2*r - 15 = -5*r, -t + 4*r = x for t.
-4
Let c(j) = j**2 - 4*j. Let p be c(2). Let r be ((-4)/(-5))/(p/(-20)). Suppose 0 = 7*d - 5*d - r. Solve 5*b = -d*f + 35, 4*b + b + f = 30 for b.
5
Suppose p + 201 = 5*c + 3*p, 156 = 4*c + 4*p. Let r = c - 36. Solve -i + 0*i + x - 1 = 0, -r*x + 32 = 4*i for i.
3
Let z(r) = 6*r - 4. Let o be z(3). Suppose 3*j + c = 9, -3*c + c = 4*j - o. Solve j*s + 3*f = 7*f - 6, 0 = -5*f - 5 for s.
-5
Suppose -11*o - 23 = -1. Let q be ((-7 - o) + 2)*-1 - -1. Solve 2*s + 7 = -v, 0 = q*s - 0*v + v + 9 for s.
-1
Suppose 4*s + 0 - 4 = -4*w, -9 = -3*w + 3*s. Solve w*o - 22 = -2*o - d, 2*o - d = 8 for o.
5
Let g = 938 + -913. Solve -2*a - 6 = -4*c + 6, -g = -c - 5*a for c.
5
Let l be 0/((-2)/(-8)*-4). Solve 4*p - 3*b = 14, l*p - 3*p + 23 = 4*b for p.
5
Suppose 2*z = -5*b + 7*z - 5, 7 = -2*b + 3*z. Let f be 1 - 3/((-6)/b). Suppose -o = f*o. Solve -x - 32 = 4*w + 2*x, o = -5*w + 4*x - 9 for w.
-5
Let f = -11 + 13. Let y be (1 - 5)*(-12)/f. Suppose -3*d + 5*w + 54 = d, -4*w + y = d. Solve -3*q + 2*z + d = -3*z, z = -4*q + 6 for q.
2
Suppose 0 = -5*r + 31 + 79. Suppose 5*d - 6 = g, -g + d - r = -6*g. Solve -2*y = g*o + 6, -o = -2*y - 4*o - 6 for y.
-3
Suppose -2 = -3*c + 4. Let p(s) = -s**3 - 5*s**2 - 4*s - 5. Let y be 5/3*3/(-1). Let m be p(y). Solve 2*t = -z - c*t - m, 4*z + t = 0 for z.
1
Let x = 816 - 810. Solve -8 = -2*i, 4*i - x = -2*m - 0*m for m.
-5
Suppose 4*c = 5*w - 7, -3*w = -7*c + 2*c + 1. Solve -5*z + 16 = s, 4*s = -2*z - c*z for z.
4
Let t = -35 - -59. Suppose 2*c = -6*c + t. Let n(a) = 2*a**3 - a - 1. Let v be n(2). Solve -4*m - 2*u = 7 + c, 3*m = 4*u - v for m.
-3
Let w(q) = -4*q - 17. Let x be w(-6). Let d(l) = l**3 - 7*l**2 + 2. Let p be d(x). Solve -10 = f - p*a - a, -f = 3*a - 20 for f.
5
Suppose 0 = 3*u - 22 + 7. Suppose -4*i - 12 = -4*g - 4, -g + 6 = -u*i. Solve 3*d - 14 = l, -g - 4 = -5*l for d.
5
Let r = 6 - 12. Let m = r + 16. Let n = 14 - m. Solve 0*a + n = -5*k + 2*a, 3*k + 3*a = -15 for k.
-2
Let a(b) = 41*b + 167. Let f be a(-4). Solve -1 - 11 = -f*q + m, -5*m + 35 = 4*q for q.
5
Suppose 6*j - 48 = -0*j. Suppose -t = -j*t. Solve 8 = 4*u + 2*i - 0, t = i + 4 for u.
4
Let q(a) = 2*a**3 + 15*a**2 - 5*a + 19. Let h be q(-8). Let u(k) = k + 8. Let j be u(h). Solve -c = -j*n + 5, -3*n - c + 3 = -10 for n.
3
Suppose 4*u - 37 = 2*z - 59, 3*z = -5*u. Solve -2*f + 10 = z*q - 13, -3*q + 2*f + 17 = 0 for q.
5
Suppose -2*j = -0 - 12. Suppose -j - 3 = -3*n. Solve -5*r = -0*y + 2*y - 1, -2*y = n*r - 3 for r.
-1
Let n(h) = -h**2 + h + 3. Let x be n(1). Solve -x*q - 19 = 2*j, -4*j = 3*q + 11 + 12 for j.
-2
Let z be (-3)/18 - 62/(-12). Suppose -z*n = 68 - 243. Suppose -x + n = 6*x. Solve 0*d + 5*d + 5 = x*a, 0 = -4*d - 2*a - 4 for d.
-1
Let q be (376/56 - 7) + 564/14. Let b = -7 - -2. Let s(y) = -y**3 - 5*y**2 + 5. Let i be s(b). Solve i*f = 25, 4*f - q = 4*v + v for v.
-4
Let d(l) = 3 + 7*l - 15*l**3 - 17*l**3 + 33*l**3 + 8*l**2. Let t be d(-7). Solve -3*m + 4*x + 26 = 0, 11 = 6*m - t*m - x for m.
2
Let n be (-2)/(-3) - 56/3. Let m = n + 38. Suppose 92*b = 90*b - 3*u + 4, 2 = b + 2*u. Solve 5*r = -5*d + m, 5*d + b*r = d + 12 for d.
2
Let y = -355 + 359. Solve 0*n + 2 = 2*n, y*b + 5*n = 9 for b.
1
Suppose 0 = 2*s - s. Let d(l) = -l + 10. Let u be d(s). Let p(q) = -q**2 - 10*q - 8. Let c be p(-6). Solve -u = -3*y + g, 5*y + g = 2*g + c for y.
3
Suppose -3*h - 3*t + 68 = t, -5*h + 90 = -5*t. Solve -5*q + h = 0, -5*q + 0*q = 3*n - 35 for n.
5
Let c = -68 - -66. Let f be c + 8 + 1 + -10 + 6. Solve -5*r = f*x + 24, -5*x + 0*x - 21 = 2*r for r.
-3
Let o = 20 - 18. Let z be -4 + 4 - (-3 - o). Suppose d + 35 = 8*d. Solve -z*u + 2*m + 27 = -2*m, 0 = d*u - 3*m - 24 for u.
3
Suppose 13 = 8*h - 11. Solve 6 = 2*n - h*z - 5, -5*z - 21 = -2*n for n.
-2
Let t be 4/(-26) - 108/(-26). Suppose 0 = j - t*j - 3. Let r = j + 5. Solve 2 = 3*d - d + r*l, -l - 2 = 0 for d.
5
Let j be 116/8 + (-3)/2. Let n = -22 + j. Let c = n + 9. Solve d - 2 - 1 = u, c = -4*d + 3*u + 12 for d.
3
Let r(t) = -t + 15. Let x be r(7). Suppose x*g - 3 = 13. Solve -2*w = 2*f - 8, 4*w - 2*f - 3*f + g = 0 for w.
2
Let o be ((-80)/(-48))/((-1)/6)*-4. Let p = 40 - o. Solve 5*q = -l - 10, -l + p = -2*q + 3 for l.
-5
Let p be (3 + -2)*-1 - 