+ 4, 5*p + n = 4*c for c.
2
Suppose -2*g + 2*a + 18 = -g, -2*g + 32 = -3*a. Suppose 3*q + 8 = 2*v - 2, -4*v + q = -g. Solve -2*m = -n - 2 - 1, -5*m + v*n = -6 for m.
0
Suppose -10*x = -15*x + 25. Suppose -2*d - 2*d - 8 = 0, -x*m + 109 = -2*d. Solve 3*f = 5*i + 23, -f - m + 6 = 4*i for i.
-4
Let p(v) = -v**3 - 9*v**2 - 10*v - 13. Let b be p(-8). Suppose 5*d - 10 = -y, 3*d + y - 11 = -b. Let r = 8 + d. Solve -h - 3*h + 5*x = -r, -x = h + 9 for h.
-4
Suppose 0 = 12*b - 4*b - 32. Solve b*z - 4*i - 8 = 0, 8 + 6 = z - 4*i for z.
-2
Suppose i - 6 = -q - 4, -3*i = -4*q - 27. Solve 4*m - 6*m + 4*o = 0, i*m = 3*o + 14 for m.
4
Let f be (-3 - -2)/(2/(-4)). Let m(k) = k**3 + 10*k**2 - k - 6. Let q be m(-10). Let l be -3 + 24/q + 1. Solve -l*u - f*p - 5 = p, 5*u - p = -11 for u.
-2
Suppose 3*b = -3*l + 9, 0*b = -4*l + b + 32. Suppose l = j + 1. Let m be (72/(-20))/(j/(-15)). Solve 2*s + m = -5*z, 2*s = -3*z + 1 - 4 for z.
-3
Let a be (36/8)/(-3)*-2. Solve 2*y = -5*q + 17, -2*q + 12 - 3 = a*y for q.
3
Let t(z) = z + 1. Let l be t(3). Suppose 253*q = 273*q - 60. Solve -12 = l*r - 5*w, 5*w - 33 = -q*r - 7 for r.
2
Suppose 6*m = m + 30. Suppose m*c = 4*c + 10. Let r be c - 2*(-1)/(-1). Solve -r*z - 4*g - 13 = 0, 2*z + 4*g + 11 - 1 = 0 for z.
-3
Suppose 5*g = g + 8. Suppose 5*h = -4*u + 110, g*u - 4*u = 4*h - 58. Solve -4*n = 2*v - 14, u = 3*v + 2*v for n.
1
Let o = 120 - 118. Solve 0*t + 22 = -3*t - 5*r, 3*t - 5*r = -o for t.
-4
Suppose -4 = -6*o + 38. Let m be 37/o + 4/(-14). Solve 0 = -j - 4*w, -3*w + w = -m*j for j.
0
Suppose 5*b - 27 = 7*t - 3*t, 2*t + 3 = -b. Let g(c) be the second derivative of c**5/20 - c**4/4 + 3*c. Let j be g(b). Solve -20 = 5*x, 2*s + x + x = j for s.
4
Suppose 9 = 5*t - 16. Suppose 0*v + 16 = 2*v + 3*y, -t*v - 2*y + 18 = 0. Solve 3*m = 4*w + 20, v*w + 5*m = -3*w + 10 for w.
-2
Suppose 7*w + 3*c = 5*w + 11, 4*c - 24 = -5*w. Solve 2*z + w = 2*m + 16, -z - 19 = 4*m for z.
1
Suppose k = 15*a - 10*a - 5, 4*k = 3*a + 14. Solve 3*h = a*l + 16, 3*l + 2*h = 4*h - 19 for l.
-5
Let p = 15 - 33. Let g be (23/3 - 1)*p/(-5). Let f(i) = i + 10. Let s be f(-6). Solve 3*m + s*o = -22, -5*o - g = -0*m + 2*m for m.
-2
Suppose k - 100 = -3*k. Let d(x) = -9*x - 27. Let s be d(-3). Solve -2*h + 12 = -4*o - s*o, 5*h + k = -o for o.
-5
Suppose -v - 45 = 2*v. Suppose -4*n - 11 = 29. Let c be (18/v)/(4/n). Solve -8 = p - 3*r, 5*r - 2 - c = 0 for p.
-5
Let l(m) = 3*m - 3. Let b be l(2). Solve 2 = d, -g = g + b*d - 14 for g.
4
Let h = -11 + 16. Let s = h + -3. Let g be -2 - -7 - s/1. Solve -r = x - g, -2*x = 3*r - 7 + 3 for r.
-2
Suppose 3*c - 5*j = 1 - 11, c - 3*j = -10. Solve 4*b + 3*r + 2 = 0, -r = -c*b - 2*r - 8 for b.
-2
Let u be 25*13/(-130) + 10/4. Solve 5*b - 3*c - 13 = 0, 2*b + u - 3 = -c for b.
2
Suppose 0 = -0*v + 2*v + v. Let z be (28 - 0)/(-5 + 7 + v). Solve 2*r - 2*u = -z, -6*r - 3*u - 19 = -r for r.
-5
Let b be ((-78)/91)/(1/7). Let s(d) = d**2 + 8*d + 12. Let h be s(b). Suppose h = -5*g + 63 - 3. Solve 37 = 3*m - 5*y, 17 = m - 5*y - g for m.
4
Suppose -7*a - 34 = 36. Let r = -6 - a. Solve d + r*m = -m - 8, 1 = -d + 2*m for d.
-3
Let a = -72 + 85. Suppose c + 4*f + 18 = 2*c, 2*c - 2*f = 30. Suppose -5*j - w + c = 0, 3*j - 5*w - 13 = -w. Solve -j*l = l + d + 3, -l = 3*d - a for l.
-2
Let h = -37 + 43. Let s be (-3 - -7)/8*(0 + h). Solve 3*y + 5*j + 31 = 0, -5*j = y - s*j + 12 for y.
-2
Let g(l) = -l**3 - 7*l**2 - 6*l + 3. Suppose -10*b = -9*b + 6. Let z be g(b). Suppose 3*s = -z + 18. Solve k - 9 = 4*j, s*j + 0 + 3 = 4*k for k.
-3
Suppose 54 - 75 = 4*p - 5*h, 5*h = 5*p + 20. Let i(j) = j**3 + 3*j**2 - 3*j + 5. Let q be i(-4). Solve 0 = r - q, p = a + 5*r - 5 for a.
1
Suppose 0 = 2*d + 5*o - 0*o - 139, -2*o = 3*d - 192. Let w = 72 - d. Solve 5*r + 0 = -5*p + 10, -r + w = 5*p for p.
2
Let k = 27 - 54. Let g = k - -32. Solve -g = -z - 5*i, i = 5*z - 37 + 12 for z.
5
Let u = 47 - 38. Let j = 3 + -3. Solve 0*t - 3*t - u = j, t = k for k.
-3
Suppose -2*s = r + 3*r + 68, 0 = -4*s - 5*r - 145. Let w = 40 + s. Solve 0 = -w*a - 3*a - 6, 2*p = 2*a + 8 for p.
2
Let n = -80 + 84. Let s(q) = -2*q**3 - 4*q**2 - 2*q. Let m be s(-2). Let p = 7 - 3. Solve -p*d + n*k = m, 4*d + 4 = -0*d + 5*k for d.
-1
Let m = 612 - 612. Solve 3*a = -m*a + t + 1, 15 = 3*t for a.
2
Let u = 290 + -287. Solve -5*f + 2*c = 3, -f - 2 - u = 4*c for f.
-1
Suppose -l = 4*j - 1, 3*l + 2 = 5*j + 5. Suppose j*z - 2*d + 8 = z, 2*d = -5*z + 8. Solve 4*f - 2*k - 14 = z, -7*k + 3*k = -3*f + 3 for f.
5
Let q(b) = b**3 - 13*b**2 - 14*b + 4. Let a(c) = -3*c - 7. Let j be a(-7). Let p be q(j). Solve 3*s - 8*s = -4*o - 1, 3*s - p = -o for o.
1
Let p = 26 + -20. Let z be 3/p - 24/(-16). Solve 3*w + 7 - 1 = 3*i, 0 = -4*i - z*w - 4 for i.
0
Let y(r) = r**2 + 18*r - 269. Let k be y(-28). Solve -s - 3 = 3*p - 2, p + k = -3*s for p.
1
Let g(a) = -2*a**2 - 65*a - 525. Let q be g(-16). Solve 22 = -q*p - 5*z, 3*p - 8 = 3*z - 2*z for p.
1
Let u(s) = 4*s**3 - 4*s**2 + 2*s. Let t(b) = -b**3 - 1. Let h(w) = -3*t(w) - u(w). Let d be h(3). Solve -4*r + 4*l + d = -2*r, -8 = -4*r + 4*l for r.
1
Let j(d) = -2 + 1 - 1 - d. Suppose 20*p = -63 - 17. Let o be j(p). Solve -r - 8 - 5 = -3*q, 3*r - 16 = -o*q for q.
5
Suppose 11 + 9 = -2*s. Let f = -5 - s. Let n = 10 - 7. Solve n*l + 18 = l + f*q, -l = 5*q - 6 for l.
-4
Let q(w) = -4*w - 3. Let s be q(-3). Suppose s*x + 15 = 12*x. Solve 3*z = -p + x, 5*p - 4*z + 0*z + 13 = 0 for p.
-1
Suppose 0 = -8*w + 6*w - 126. Let d = w + 66. Solve -9 = 2*f - t, -2*f - d*t = f + 9 for f.
-4
Let l = 60 + -60. Suppose -7*b - 18 + 151 = 0. Solve -2*m + 3*h + b = l, m + 18 = -4*h - 0 for m.
2
Let m = -43 + 54. Let t be (-1 + m/3)/((-10)/(-15)). Suppose c = 2*d + 7 - 1, -4*c + d + 31 = 0. Solve 2*g - t*g = -4*s + c, 4*g + 2*s = 24 for g.
4
Suppose 0 = 3*o + 4*o - 35. Suppose -5 = -m - o. Solve 4*f - 3*u + m - 1 = 0, 0 = f + u - 9 for f.
4
Suppose -i - 10 = -6*i. Let x be i - 0 - (5 + -5). Suppose 6 = 2*g + x. Solve -d + 3 = g*z, -3*d + 1 = -2*z - 8*d for z.
2
Suppose -d + 7*j = 4*j + 13, 4*j = d + 17. Let u be (5/(-2) + 2)/(d/30). Solve 0 = 3*p + 12, 2*k + 4*p + u = 5 for k.
3
Let x(l) = -5*l - 5. Let j(u) = -9*u - 9. Let o(r) = -6*j(r) + 11*x(r). Let q be o(-6). Solve -s - 2*v + 0 = -7, v - 17 = -q*s for s.
3
Let c be -1*(-56)/(7 + 1). Solve -2*b = 3*d + 2*b - c, -3*d - 2*b - 1 = 0 for d.
-3
Let q be (-4 - 30/(-9))*-6. Let w = 16 + q. Solve 2*c = 5*x + 3*c + w, -3*x = -2*c + 12 for x.
-4
Let c be ((-3)/(9/10))/((-80)/120). Let z = 3 - 1. Solve -c*f - 4 = 5*w + 1, -2*w - z = 3*f for w.
-1
Let g = 85 + -84. Suppose -5*i - 4 - g = -q, -5 = -5*i - q. Solve 3*z + 3*a - 12 = i, 3*z - 3*a - 2*a = -20 for z.
0
Let t = 421 - 412. Solve 0*z - t = -5*r - 2*z, 4*z = 8 for r.
1
Suppose -3*b = 5*x + 15, 0 = 4*x + 11*b - 10*b + 5. Solve -4*u + 5*j - 6 = 13, x = u - j + 4 for u.
-1
Suppose -k + 10 = k. Let h be (-6)/(-4) - 110/20. Let n = h - -5. Solve m + 2*m - k*p = -n, 3*p = -m - 5 for m.
-2
Suppose 0 = -3*s + 121 + 62. Suppose -s*f - 16 = -65*f. Let j = -10 - -15. Solve -3*b - 29 = f*v, j*v - 4*b + 16 = -b for v.
-5
Let g be 216/42 + -4 + 24/28. Solve 4*x - 5*o + 9 - g = 0, -3*x = -2*o for x.
2
Suppose 2*t - 2*b = 5*t - 17, 5*b - 5 = 0. Suppose t*g - 7 - 8 = 0. Solve 16 - 1 = g*p, 2*p = -4*a + 14 for a.
1
Let n = 1057 + -1052. Solve -5*r = -0*p - n*p - 20, 3*r = p + 6 for p.
-3
Let w(u) = -7*u - u**2 + 1 + 4 - 1 + 0*u**2. Let o be w(-8). Let i be 6/o*8/(-6). Solve -4*z - 2*a = -5*a - i, -4*z - 3*a - 10 = 0 for z.
-1
Let u = -541 + 548. Solve 0 = -2*v + 5*n - 14, -1 = -v + 2*n - u for v.
-2
Let f be (-250)/(-175) + (-3)/7. Let u = -15 + 7. Let m be -32*4/u*f. Solve 5*t - 4*s + m = 0, -5*t + t - 4 = -s for t.
0
Let l = 11 - -1. Let h = -5 + 12. Suppose -l = -i - h. Solve 0 = 5*f - v, 0 = -f - 0*v + i*v for f.
0
Suppose -20 = -28*s + 64. Solve -2*d - w = 2*w - 5, 0 = -2*d + s*w - 1 for d.
1
Let o be 48/(-40)*30/(-12) - 1. Solve 6*u + 4 = -4*q + 9*u, -8 = 4*q - o*u for q.
-4
Let k(u) = -2*u**3 + u + 4. Let q = -106 - -106. Let s be k(q). Solve 0 = s*m + 4*b + 24, 3*b - 4*b = 2*m + 9 for m.
-3
Let b be (-48)/30*(-175)/20. Solve 2*k + y = 6*k + 7, 3*y - b = 5*k for k.
-1
Suppose 80*d + 5 = 81*d. Solve -d*v + 5*u = -45, -v - v + 5*u = -30 for v.
5
Suppose -29*c - 28 = -36*c. Solve c*l = 4*a - 0*a + 12, -3*l