 - 2*c = p - 2 for p.
3
Suppose 5*s + 1 = -14. Let i be (s/9)/((-2)/(-18)). Let z be 2 + i + 1 - -2. Solve b = 2*r - 3*b - 8, -2*r + 8 = z*b for r.
4
Let s = 31 - 27. Suppose -2*u = -u - s*u. Solve z = -u*o + 2*o - 1, -z = o - 2 for z.
1
Suppose -k + 5*t + 3 = 0, -5*k + 15 = -0*t - 2*t. Let m be 1*4*4/16. Let l = m - -3. Solve f = 2*r + 3, -l*r + f - k*f = 18 for r.
-3
Suppose -5*s - 15 + 40 = 0. Let v be (-14 - 1)/s + 8. Solve 0 = v*q - 2*l + 5, 2*q + q + l + 3 = 0 for q.
-1
Let v = 5 + -3. Suppose 0*p = 4*f - 3*p - 25, -v*p - 6 = 0. Let m = 825 - 823. Solve -16 = -4*o, -m*o = f*y - 9*y - 13 for y.
-1
Suppose 0 = -b + 2 - 3. Let a be (-3 - 4) + (-1 - b). Let v be 29/7 + a/49. Solve 4*m = 4*f + 20, -6*m + v*f + 25 = -m for m.
5
Let z = 0 + 10. Let c(d) = -d + 12. Let s be c(z). Solve -4*g - t = -7, -s*g + 0*g + 3*t = 7 for g.
1
Let y be 3*((-40)/(-3))/4. Suppose -10 = -y*b + 5*b. Solve -b*n + 5*r + 7 = 0, -n - 6 = 3*r + 7 for n.
-4
Suppose -18*s + 14*s = 264. Let x = -61 - s. Solve 5*k + 4 = -6*i + 3*i, -2*i - 6 = x*k for k.
-2
Suppose 26 = 4*y - 2*v, -8*y + 9*y + v = 2. Solve 0*x = 5*n + x + 21, -20 = -y*x for n.
-5
Let j be (-414)/(-63) + 12/(-21). Solve -j*b - 4 = -2*b + 3*u, 0 = 5*b + 5*u for b.
-4
Let y(j) = -j - 5. Let c be y(-9). Let m be 5/(-60)*3 + (-9)/(-4). Solve s = 5*x - m, -2*s = -c*x + 2*x - 4 for s.
3
Let l(d) = -d**2 - 2 + 6 - d**3 - 5*d + 6*d. Let a be l(0). Solve 2*o + 4 = -3*g, a = 5*g - 3*o - 2 for g.
0
Let q(f) = 4*f - 5. Suppose -m = 3*m - 24. Let l be q(m). Let d = l + -14. Solve -4*j = d*n - 9, -3*j = -8 + 20 for n.
5
Let w = -645 + 646. Solve 0 = -4*z - q - q + 8, -z + q = w for z.
1
Let u(n) = 2*n**3 + 5*n**2 - n - 3. Let r be u(-2). Let j(l) = -l - 1. Let c be j(-3). Let m be c*3*16/6. Solve 3*x - 2*d + m = 0, -3*x - 3 = 3*d + r for x.
-4
Let o = -21 - -24. Suppose 2*n = -o + 53. Let k = -21 + n. Solve 0 = -c + k*u - 19, -35 = 9*c - 4*c - 5*u for c.
-3
Let t(u) = u**3 - 6*u**2 - 8*u - 7. Let c be t(7). Let x = 20 + c. Let b be (-4)/x*(-2 + -1). Solve 3*v = -0*v + 3, -b*v + 18 = -4*s for s.
-4
Let y(l) = 14*l + 229. Let m be y(-16). Solve -4*c + m*k = -3*c - 1, 3*k + 5 = 5*c for c.
1
Let d be (-6 + (-36)/(-6))/6. Solve m = -3*k + 4 - 1, d = 5*m + 15 for k.
2
Let o = -13 + 11. Let h be o*-2*3/6. Suppose h*f = 5*f - 6. Solve 3*x + 5*d + 1 = 6, 0 = -f*x + 3*d - 3 for x.
0
Let y be (60/(-12) - -3) + (0 - -7). Solve -y*x = 2*h - 2*x + 2, -3*x = -2*h + 10 for h.
2
Suppose -6 = -q + 2*u, -29*u = q - 25*u. Solve 0 = 2*o + 4, 0*h + h - q = 4*o for h.
-4
Let r(j) = -14*j**2 + 19*j**2 - 3 - j**3 - 4*j + 11*j. Let d = 3 + 3. Let y be r(d). Solve -y = 5*v + b - 0, -4*b + 10 = -2*v for v.
-1
Suppose -38*p + 10*p + 112 = 0. Solve -16 = -0*y + 4*y, -p*y - 22 = -2*x for x.
3
Suppose 0 = 3*v - 6*v + 6. Let l = 95 + -86. Suppose -l = 4*m - 25. Solve -2*h + 6*f - 20 = 2*f, 10 = -m*h + v*f for h.
0
Suppose 0 = 22*n - 46 + 2. Solve n*g + 2*t + 2 = 0, 2*t = 5*g - 4*g - 2 for g.
0
Let g = 0 - 0. Let n be (-3 - g)/(6/(-10)). Suppose 3 = -n*i + 28. Solve -3*w = 4*o + 12, -4*w = i*o + 6 + 10 for w.
-4
Suppose 0 = 3*s + s - 20. Solve s*d - 3*d - 3 = -3*z, z = -d for z.
3
Suppose 4*l + 64 = -2*j, -4*l = -j - 4*j - 132. Let x = 11 - j. Suppose 3*o + 0*o = x. Solve 0 = m + 5*r - o, 5*m + 4*r = 24 - 1 for m.
3
Suppose -4*n + g + 3 = -42, -n + 18 = 2*g. Suppose 4 + n = 8*p. Solve -p*c + q + 0*q = -5, 0 = -5*c - q - 5 for c.
0
Suppose -168*r + 37 + 1475 = 0. Suppose -1 - 14 = -5*c. Solve -5*m + c*n = r, -4*m + 6*m + 10 = -2*n for m.
-3
Let t = 773 - 767. Solve 0 = 2*u - u + i + t, -4*u + 4*i = -16 for u.
-1
Suppose 3*g + 1 = 4*l, -4*g = l - 5*l - 4. Let r = 3271 - 3271. Solve -g*o - 4*m - m = 15, r = 3*o - 2*m - 11 for o.
1
Let t be ((-3)/(-3) - -5)*(-20)/(-30). Solve -5*p - 2*q - t = -3*q, 0 = 3*p - 5*q - 2 for p.
-1
Suppose -3*n - 12 = -3*d, -d = -0*n - 2*n - 5. Suppose 4*p = 2*p + 4. Let h = -6 + 8. Solve -w = -h*q - 6*w - d, -q + w + p = 0 for q.
1
Let l = 317 + -312. Solve -n = 2*g - 2, -2*g - 2*g = -l*n - 18 for n.
-2
Suppose 0 = 2*d + d - 12, 4*d = -5*y + 46. Suppose 0 = -0*u - 2*u - 4*p - y, -p + 9 = 4*u. Solve u*k + 2*k - v + 1 = 0, 4*k - 2 = -2*v for k.
0
Let o(z) = -2*z + 19. Let q be o(8). Suppose -q*n - 2*n = -60. Solve -3*f + n = c, -9 = -2*c + c - 2*f for c.
3
Let a(q) = -q**3 - 15*q**2 + 16*q + 5. Let o be a(-16). Suppose -37 = -o*n + 38. Solve -4*m + m - n = 0, -5*x = 5*m for x.
5
Let o be (-1624)/(-84)*(-6)/(-4). Solve -k + f + 4*f - o = 0, 3*f = 4*k + 31 for k.
-4
Suppose 4*x - 2*p = 3*x + 18, 0 = -2*x - 3*p + 1. Suppose 7*o = 2*o. Suppose o = 32*s - 27*s - 20. Solve 5*f - x = s*n + 3, 5*n + f = 8 for n.
1
Suppose -4*c + 141 = 121. Suppose -5*k + 40 = 5*d, 4*d - c*d = -4*k + 12. Solve 0*r - 3 = -5*r + k*n, 9 = -r - 4*n for r.
-1
Let s be ((-63)/(-6))/(-7)*-58. Let i = s - 83. Solve 5*o + 10 = -3*r, -o - 5*r + 2 = i for o.
-2
Let u be -7 - 8/24*-9 - -4. Solve 2*s - 3*q + 9 = -u*q, 0 = 4*s - 2*q + 14 for s.
-3
Let s be 24/(-56) - 174/(-14). Let f(c) = -1. Let u(h) = -h + 12. Let i(x) = -5*f(x) - u(x). Let z be i(s). Solve 0 = 2*m - z*d + 3*d + 8, 0 = -m + 5*d for m.
-5
Let t be 2 + 4*1/2. Suppose -t = d - 3*d. Let g be (3*2/(-4))/(23/(-138)). Solve -g = -3*b + 3, 4*b - 16 = -d*k for k.
0
Let w be 6/(-5)*(-1 + -9). Let f be (-6)/(-3 - 33) - 2/w. Solve 4*n + 8 - 28 = f, 5*t + 5*n = 0 for t.
-5
Suppose -2*g - 2 + 8 = 0. Suppose -2 - 2 = -4*u, g*o + 4*u = 13. Let a(b) = 3*b - 4. Let s be a(2). Solve -8 = -4*y, j = -s*y - y + o for j.
-3
Suppose 6*o = o - 2*w + 19, -2*w = 6. Solve -o = -4*j - 4*h + 15, -4*j + 5*h - 16 = 0 for j.
1
Suppose -6*v = -2*v. Suppose 3*a + 2 + 1 = v. Let x be a*(-2 + 6/3). Solve g - 4*r + 4 = x, -2*r = -3*g + 1 + 7 for g.
4
Let r(m) = -4 - 3*m + 8*m + 5 + m**2 + 2. Let k be r(-5). Solve -1 = 4*a - 2*o + 3, k*a + o = 7 for a.
1
Let r(i) = -11*i + 311. Let k be r(26). Solve -4*u = -5*z, -4*u + 5*u + 5*z = k for u.
5
Let u be 4 - (1 - 3)*(0 + -1). Solve 3*b = -2*l - l, -l = u*b for b.
0
Let h(i) = 36*i + 288. Let q be h(-8). Solve -2*w - 2*g - 3*g - 25 = 0, q = -4*w - 4*g - 20 for w.
0
Let t be 2 + 2 - -10 - 3. Suppose 6*u + 300 = t*u. Suppose 2*q - u = -2*q. Solve -5*r - q = 0, 4*j + 4*r = j - 24 for j.
-4
Let m(z) = z**2 - 7*z - 6. Let y be m(8). Suppose 0 = 4*s + y*f + 174, f = -5*s + 5*f - 185. Let d = -21 - s. Solve -4*t + d = -r - 3*r, -2*r = -t + 7 for t.
3
Suppose -28*f = -22*f - 30. Solve -f*j - 2*u - 3*u - 30 = 0, -4*j - 17 = -3*u for j.
-5
Suppose -4*z + z + 13 = 4*i, -4*z - 12 = -2*i. Let r = -3 + i. Solve 0 = 3*f + 2*m - r, 0 = 3*f - 4*m - 25 for f.
3
Suppose 2*g = 5*z - z - 6, 5*g - 21 = -2*z. Solve -3*i + 13*p + 7 = 15*p, -z*p + 9 = 4*i for i.
3
Suppose -4 = 3*y - 5*y. Suppose 2*z - 48 = -4*z. Suppose n = -n + z. Solve -y*w - 4*s - n = -6*w, s = -4*w + 14 for w.
3
Suppose -60*h = -56*h + 4*o - 4, 3*o + 9 = 0. Solve h*j = 3*r - 0*r - 15, -r = -5 for j.
0
Let t be 3/9 + (-4)/12. Let n = -83 + 105. Solve f + 4*v - n = 0, 0 = 5*f - t*f - 3*v + 5 for f.
2
Suppose 107 = -5*x - 3*i - 270, -4*i - 381 = 5*x. Let m = -60 - x. Solve -4*z = 16, -5*z - 3 - m = -2*f for f.
-2
Let w be 2/2 + (-3)/(-1). Suppose -14 + w = -2*l. Suppose l*s + 5 = 40. Solve -5*y - 3*g = 2*g + 15, g + s = -5*y for y.
-1
Let q = -5 - -5. Let z be (q + -10)*3/(-6). Solve 5 + 11 = 4*l + 3*c, 0 = -z*l + c + 1 for l.
1
Let f = 5 - 2. Solve 4*s - 4*n - 16 = 0, -4*s + 16 = n + f*n for s.
4
Suppose 3*t = 3*g - 9, t - 8 - 9 = -3*g. Let i be 3 + -2 - 1/(-1). Solve 2*f + 11 = -f + i*d, g*d = 2*f for f.
-5
Suppose 127*x + 12 = 129*x. Solve -2*p + x = 0, 3*g + 1 = 5*p - 23 for g.
-3
Let g(c) = c + 2. Let m(i) = -i**2 - 16*i - 41. Let f be m(-13). Let q be g(f). Solve q = 2*y + y - 2*n + 18, -2*n = 3*y + 6 for y.
-4
Let c = 14 - 20. Let y be (-1)/((-1)/2*c/(-30)). Solve -5*j - 5*t = 10, -t = -3*j - 2*t - y for j.
-4
Let x(z) = -5*z**2 - 71*z - 11. Let i be x(-14). Solve i*r + 0*r - 19 = 5*g, -3*g + 5*r = 21 for g.
-2
Let x(l) = -6*l - 187. Let y be x(-32). Solve -6*v = -5*v - 2*j, j = 3*v + y for v.
-2
Let a(o) be the third derivative of o**6/120 + o**5/12 + o**4/6 - 2*o**3/3 - 21*o**2. Let d be a(-3). Solve -4*y + 20 = 4*v, d*y - 2*v = -3*v + 7 for y.
2
Let j(t) = -t**3 - 14*t**2 - t - 14. Let c be j(-14). Solve c = -3*u + p + 7, -9 + 2 = -4*u -