= -3*c + p*a, 0 = c - 0*a + a + 6 for c.
-5
Let n = 157 + -154. Solve -3*z - n*a = -9, 4*z - 3*a = -z - 25 for z.
-2
Let y be 14/(-18) + 1 + 80/45. Solve d = 4*j - 15, 4*d + y*j + 2*j - 20 = 0 for d.
1
Let a(v) = -2*v - 39. Let l be a(-21). Suppose 5*i + 20 = -3*n, l*n + 2*i = -n - 8. Solve n = 5*t + 25, q - t = -2*t - 2 for q.
3
Suppose 5*i = -2*i + 5*i. Solve i = 5*y, p - 4 = -2*y + 6*y for p.
4
Let g be -2 + ((-21)/(3/(-1)) - 1). Let j(d) = -d**3 - 5*d**2 + d + 7. Let c be j(-5). Solve g*q + 4*y - 6 - 22 = 0, -c*q + 2 = -y for q.
3
Let g(m) = -2*m**2 + 8*m + 3. Let f be g(4). Let l be -1*(-2 + 2)*-1. Let n = 41 - 27. Solve l = 3*w + k - 1, 0*k + n = -2*w + f*k for w.
-1
Let q be 27 + -14 + -9 + -1*4. Solve 5*p + 4*j - 5 = 0, q*p - 2*j = 4*p - 10 for p.
5
Let o(t) = -9*t - 118. Let u be o(-14). Solve 3*x - u = r + r, -x = 2*r for r.
-1
Let i(t) = -t**3 + 18*t**2 + 10. Let r be i(18). Let f(z) = 3*z - 26. Let p be f(r). Solve -n - 3*s + 1 = 0, 0*n + 5*n = -p*s + 5 for n.
1
Let t(d) = 11*d + 4. Let x be t(0). Solve b = -5*a + 14, 3*b - 12 = -x*a + 2*b for a.
2
Suppose -2*k + 2*y + 18 = 0, 5*k + 6*y = y - 5. Solve g + 5*b = -2 + 1, -3*g + k*b = 3 for g.
-1
Let h be 2 - 4/(-12)*(-2 + 2). Solve -p - 2*s - 6 = -0, p - 6 = h*s for p.
0
Let x be 6/27*15*(-6)/(-5). Let h = 106 - 70. Suppose -g - r = -h, -3*g + r + 60 = -28. Solve -g = 5*s - 2*f, -x*s - 3*f - 5 = 2*f for s.
-5
Suppose 0 = 10*a - 7*a + n - 73, 5*a - 121 = -n. Solve 2*j - 5*d = -3*j - 30, -3*j = -5*d + a for j.
-3
Suppose 5*g - 7*g + 6 = 2*k, 5*g = 2*k + 8. Let x = 17 - 13. Solve 0 = -4*b - g*f, 26 = x*b - b - 5*f for b.
2
Let p = 20 + -31. Let n be -2 - 1 - (p - -8). Suppose 5*x - 4*w - 44 = 0, 0*x + 4*x + w - 31 = n. Solve 2*z + x = -i, -z + 2 = 4*i - 1 for i.
2
Let q be -1 + 2 - (-1)/1. Solve 1 = y, -6*y + 2*y + 10 = -q*b for b.
-3
Suppose 0*p - 35 = -7*p. Solve -v + 5 = -0*k + 2*k, 3*k - 18 = -p*v for k.
1
Let j(p) be the third derivative of p**4/24 - 7*p**3/6 - 2*p**2 - 5. Let s be j(9). Solve -s*b - 3*x + 15 = 0, 0*b + b + 3*x - 15 = 0 for b.
0
Let j(b) = 5*b**2 - 14*b + 5. Let m(o) = 9*o**2 - 27*o + 11. Let q(k) = -11*j(k) + 6*m(k). Let z be q(-9). Solve 3*f = 3*g + z*f - 4, -8 = -4*f for g.
2
Let b be (4 + -7 - -4) + 6. Suppose -b = 4*i + 1, -5*a + 45 = -5*i. Solve f - a = -m - f, 6 = 3*m + f for m.
1
Suppose 40*i + 17*i = 171. Solve i*t + 4*f = -19, -t + f - 4 = -0*t for t.
-5
Let s be 30/55 + (-5320)/(-209). Solve -5*z + d = -1 + s, -4*z + 2*d - 20 = 0 for z.
-5
Suppose -5*b = 5, -2*y + 23 = -5*b - 6. Solve 5*n - l = 22, -11*l + y*l = 4*n - 17 for n.
5
Let i(g) = g**2 + 5*g + 4. Let z be i(-5). Solve -z*n + 3 = -u, -3*n - u + 5 + 6 = 0 for n.
2
Let d(q) = 123*q**2 + 8859*q + 216. Let w be d(-72). Let a be (2/6)/((-2)/(-6)). Let x be 2*(a + -2)*-1. Solve z - 10 = x*n, w = -5*z - n + 2 + 15 for z.
4
Suppose -3*f + 41 = -10. Suppose 7 = 4*s - 5. Suppose s*c + h - 15 = 0, -c + 8*h - 4*h = -5. Solve 3*b + f = -y, -c = 2*y - 4*b - 21 for y.
-2
Let h be (0 - 4) + -6*(-8)/(-12). Let n(k) = k**3 - 3*k**2 - 7*k + 5. Let g be n(5). Let i = g - h. Solve 0 = -2*c - 7*m + 2*m + i, 0 = -4*c + 3*m + 4 for c.
4
Let b = 168 + -165. Solve 3*s = 3*j - 12, 4*j + b*s - 2 = -0 for j.
2
Let k(g) = -g**3 + 10*g**2 + 13*g - 23. Let x be k(11). Let v be (x + -6 + 9)/((-2)/(-17)). Suppose 3*w - 11 = 1. Solve -3*z = r + w, r - 3*z - z - v = 0 for r.
5
Let n(i) = -i**3 + 8*i**2 - 8*i - 2. Let a be n(7). Let m = -9 - a. Solve m = 3*h - 2*f, 5 = 5*h - f - 2 for h.
2
Let k = 72 + -61. Solve w + 16 = -3*y, -w = 2*y - 0*y + k for w.
-1
Let l(z) = -z**2 - 2*z + 37. Let h be l(5). Solve -h*n = -g + 7, n + 4*n - 3*g = -16 for n.
-5
Suppose 0*y - 2*y - 4*k = -4, 3*k = 0. Let p = -8 + 12. Solve -2*x - 1 = -f, 0 = p*x + y*f + 25 - 3 for x.
-3
Let y(m) = 2*m**2 + 8*m - 4. Let b be y(-6). Let n = -28 - -29. Let w = 2 + n. Solve -w*o = o - p - 5, 0 = -5*o + 4*p + b for o.
0
Let g = -7272 + 7274. Suppose 5*k - 17 = 8. Suppose -4*c + 17 = -w, 4*c = -k*w + 53 - 18. Solve -2*o = g*z + 18, c*o - o = 5*z for z.
-4
Suppose 32*o - 44 = 52. Solve 4*b + o*y = -2, y = -2*y - 6 for b.
1
Let a(u) = -u**2 + 16*u + 21. Let k = -5 - -22. Let g be a(k). Let p be 6 - (2 + 0/3). Solve -p*z + z = -4*j - 4, g*z = 2*j + 2 for z.
0
Suppose m - 2 = -u, 12*m - 7 = 10*m - u. Solve 0 = 4*p - 4*c + 4, -p - m*c - 9 = -4*c for p.
-5
Let s(c) = -26*c + 28. Let j be s(1). Let q be ((1 - 1)*-1)/(-2). Suppose -v = o - 10, -5*o = 3*v - 46 - q. Solve -l + 2 = 4*p, 0 = -4*p + j*p + 3*l + o for p.
1
Let c be 6/(-2 + (-7)/(-2)). Suppose 0 = -5*o - 3*d + c, -o = -5*d - 12. Solve -5*i = b - 19, 2*i + 1 = o*b - 1 for i.
3
Let n(v) = 4*v**2 + 6*v + 6. Let x(j) = -9*j**2 - 11*j - 11. Let t(m) = 5*n(m) + 2*x(m). Let y be t(-4). Solve -2*i + p = 5, 4*i + p - 13 = y*i for i.
-4
Let k be (-44)/(-528) - (-35)/12. Solve -2*m + m - 3 = 0, -k*p - m = 6 for p.
-1
Let s be 2 - (6/(-3) - -2). Suppose 0 = 2*t - s - 4. Let n be (t/(-2))/(3/(-4)). Solve q - 16 = 2*k + 6*q, 0 = n*k - 4*q - 2 for k.
-3
Suppose -6*d = -2*u - d + 10, 4*u + d = -24. Let f be u/(-15) + 10*(-2)/(-12). Solve -12 = -3*n + 5*q - 5, f*n - 6 = 4*q for n.
-1
Let m(l) = 2*l - 10. Let o = 11 + 3. Let y be (o - 0)*1/2. Let s be m(y). Solve -h - 1 = -4*n, s*n + 0*h - 13 = -3*h for n.
1
Let d = -444 - -446. Solve -r = d*c - 1 + 6, 2*c = r - 7 for r.
1
Suppose y + 3*y = -2*d - 26, 39 = -3*d - y. Let a = d + 17. Suppose 0 = -3*s + a*s - 11. Solve -5*m = 2*x - s, 0 = -2*x - 4*m + m + 5 for x.
-2
Let d(r) = -r**3 - 2*r**2 + r - 2. Let a be d(-3). Solve -4*q - 5 + 1 = -a*c, 0 = q - 5*c - 7 for q.
-3
Suppose 5 = 24*i - 67. Solve t = 4*p + 4*t + 35, i*t = p - 10 for p.
-5
Let n = 21 + -69. Let z be (-88)/n + (-1)/(-6). Solve -17 + 8 = -4*w - l, 0 = 2*w + z*l for w.
3
Suppose -17 = -4*g - 5. Suppose 3*b - 2*f + 9 = f, -4*b + 5*f = 17. Suppose -b*o - 2*o + 8 = 0. Solve -g*z = -5*d, 2*d - d + 7 = o*z for z.
5
Let w be (12 - 13)/((-1 + 3)/(-4)). Solve 8 = -3*f + w*i, -4 = -i - 0*i for f.
0
Let d be (1 - -32) + -1*4 + 1. Suppose 4*o + 16 = 0, -5*o + d - 5 = 5*s. Solve -5*u = h - 4*h + s, -4*h = -12 for u.
0
Let n(d) = -16*d**2 - 3*d - 2. Let c be n(-2). Let r = c + 92. Let p = r - 21. Solve 3*m = 3*k, 5*m + p = -k + 5 for m.
-1
Suppose -4*l = 7*u - 5*u, -5*l = 5*u + 10. Solve -4*f = l*h - 2, 0*h - 4*f + 27 = -3*h for h.
-5
Suppose 7*i + 1123 = 1151. Solve 0 = -t - 4*r - 17, -r - i = -t - 1 for t.
-1
Suppose 74*z = 65*z + 36. Solve -3 = 3*y - 3*b, -30 + 2 = -4*y - z*b for y.
3
Let a = 2 + 1. Let o = -9 + 14. Suppose 0 = 2*n - 3*t - 44, -4*n + o*t + 136 = 44. Solve -5*u - 3*w - w = -n, -18 = -a*u - 3*w for u.
4
Suppose -m + 4*m - 24 = 0. Suppose -m = -8*d + 6*d. Solve d*b = 2*f + 18, -f + b + 2*b = 11 for f.
-5
Suppose -62*s - 76 + 386 = 0. Solve -18 = c - 4*c + i, 0 = -c - s*i - 10 for c.
5
Let b(n) = -3*n**3 - 2*n**2 - n + 4. Let d be b(2). Let l be (d/(-45))/((-2)/(-90)). Let o be 4/10 + 69/15. Solve -2 + 6 = 4*g - 4*f, 0 = -2*g - o*f + l for g.
5
Suppose 4*m - o - 13 = 0, 3*o = 8*o - 15. Solve 1 = -4*s - m*b - 3, 0 = 5*s - 2*b + 19 for s.
-3
Let b(y) = -8*y + 48. Let u be (35/2)/7*(-2)/(-1). Let z be b(u). Solve -4*v = 4*h + z + 8, 5*h + 14 = -3*v for h.
-1
Let b(i) = i**2 + 2*i - 9. Let t be b(3). Solve 0 = -2*p + t*p + 2*g + 6, -4*g = 12 for p.
0
Let q = 15 + -10. Let f be 23*4/20*q. Solve -5*m - 35 = 5*o, -3*m + 2*o = -8*m - f for m.
-3
Suppose 4*y + 4*d = 8, -4*y = 5*d - 3*d - 8. Solve c = -q + 3, 31 = -3*q + 3*c + y*c for q.
-2
Let a be (-1)/3 - 104/12. Let d be 1*15/a*-3. Suppose -c = -2*c + d. Solve x + 0*x = c*k - 4, -1 = -5*k + 4*x for k.
1
Suppose 4*n - 34 = -26. Solve n*a - d - 3*d + 10 = 0, -4*a - 20 = d for a.
-5
Suppose -f - 2*v + 10 = 0, 3*f + 2*v + 12 = 50. Suppose -58 = -3*l - 7. Let k = l - f. Solve 3*o = k*r + 15, -5*r - 5*o + 3 = 8 for r.
-3
Let u = 19 - 55. Let p = u + 36. Solve 4*g - 2*w = 2, 2*w - 1 = -p*g + g for g.
1
Suppose -o - 2*v - 10 = 0, -20 = 7*o - 6*o + 4*v. Solve -5*l - h = 22, l + o*l = 2*h for l.
-4
Let t(x) = 16*x**2 - 2*x + 2. Let f be t(1). Let m(n) = -n**2 - 8*n + 25. Let a be m(-12). Let p = a - -27. Solve -3*g = g - o - f, p = -o for g.
3
Let o be (-114)/(-36) + 1/(-6). Let f be (-1 - o)/(-4) + 2. Solve f*p + y + 3*y = -19, -y - 9 = 5*p for p.
-1
Suppose -r = 3*w - 11, -9 = 