5*c, -i*c - 5 - 2 = 2*t for t.
4
Suppose 0*t = d + 2*t - 17, 3*d = 5*t + 18. Let b = 1 + d. Solve 4*z + r - 5*r = b, -1 = -3*z - 5*r for z.
2
Let z(n) = -n**3 + n**2 + 5. Let j = 5 - 5. Let a be z(j). Suppose 0*i - 5 = -a*i. Solve -2*g = -3*d + 13, d = -2*g - i - 0 for g.
-2
Suppose 3*j + 9 = 18. Solve -3*f + 5 - 1 = q, -4*q - 2 = j*f for f.
2
Let l(r) = -r**3 + 4*r**2 - 4*r + 6. Let i be l(3). Solve 8 = -4*g, -5*g + i*g - 3 = f for f.
1
Suppose 2*t + 1 = -3*j, -2*t - 3*j = -8*j - 23. Suppose 0 = -t*b - 3 - 1. Let q = b + 4. Solve -2*v + q*o + 2 = 0, -v + o = -0*v for v.
-2
Let d(y) = -y**3 + 5*y**2 + 8*y - 6. Let v be d(6). Solve 2*k - v + 22 = -4*l, -4*k - 18 = l for k.
-4
Let j(r) = 10*r - 1. Let y be j(1). Let u = y - 7. Suppose w = -w + u. Solve 0 = p + 4 - 2, w = 5*q + 2*p for q.
1
Suppose 0*a = -3*a. Suppose -2*x + 0*x + 9 = u, -4*u + 12 = 0. Suppose -v + a = -x. Solve 0 = -4*c - 5*w, -3*c = -5*c - v*w for c.
0
Let c(n) = -6*n - 3. Let m be c(-6). Solve 6*d - 2*j + m = d, 2*j = -2*d - 2 for d.
-5
Suppose 2*x + 5 = 3*x. Let q = 0 - -3. Solve -x*n = 5*j + 25, -n + q + 0 = -3*j for j.
-2
Let r be (14/(-3))/((-2)/(-12)). Let g be r/(-21)*(-3)/(-2). Solve -18 = -p - 5*k, g*p + p + k + 2 = 0 for p.
-2
Let i(m) = -m**3 - 3*m**2 + 4*m - 2. Let s be i(-4). Let w be 5/((-5)/2) - s. Solve 5*d - 4 = 4*j, w*d + 4*d = 0 for j.
-1
Suppose 2*q - 4*q = -16. Suppose 1 = -i, q = -0*n + n - 5*i. Suppose -n*s - 9 = -3*w, w - 1 - 7 = -4*s. Solve 0*g = -5*a - w*g - 13, -3*g - 1 = 2*a for a.
-5
Suppose -4*n + 55 = 5*c - 2*n, 3*c - 33 = -n. Solve -y - 3*i - c = 0, -i + 18 = -6*y + 2*y for y.
-5
Suppose 3*w + 1 = -2*b, w - 2 + 14 = -3*b. Solve 4*s + 5 = 5*n - w, 5*n = -2*s - 4 for s.
-2
Let r(k) = -5*k + 20. Let o be r(0). Solve 5*q + 4*j + o = 0, 4*j - j - 16 = 4*q for q.
-4
Let s be (-2)/(-7) + 182/49. Suppose s*p - 3*p = 2. Solve -p*a - 2*t = 14, 5*t = -0*t - 25 for a.
-2
Suppose -4*d + 5 = 2*g - 17, 0 = 2*d - 2*g - 8. Suppose d*p = 29 + 16. Suppose -2*f + 5*f = 9, -f = -3*a + p. Solve 2*n - 4*m + 6 = 0, n = -m + a - 1 for n.
1
Let r(p) = -34*p + 256. Let b be r(7). Let j(s) = -3*s. Let g be j(-1). Solve -g*m - 3*c + b = 0, -3*c + 2 = m - 8 for m.
4
Let l be -2 + 7 + -4 - 5. Let p be 0/l + 1 - -10. Solve 5*k + 6 + p = -i, 0 = -3*i + 4*k + 6 for i.
-2
Let z = 23 - 33. Let p = 50 - z. Suppose -3*v + p = -3. Solve 3*s - 6*s = 2*g + 17, 3*s + v = -3*g for s.
-3
Let h be 5 + -4 + 2/2. Solve -4*x + 2 = -3*t, -2*t - 7 = x + h*x for x.
-1
Let p = -48 + 50. Solve -2*j = 2*h + 2, 4*j + 6 = -p*h - 4 for h.
3
Let a = 5 - 3. Suppose -2*f - a*f = -24. Let d be 10/(-3)*f/(-4). Solve 3*n - 8*n + 25 = -4*y, -d*y - 10 = -2*n for y.
0
Let k = -13 + 22. Let r = -3 + k. Solve -v + 4*w + 4 = -3*v, -r = 3*v + w for v.
-2
Suppose -81*v = -82*v + 30. Let l be (-3)/(((-4)/(-15))/(-4)). Solve 0 = 2*r - 4*w - v, -5*r + 2*w + l = -2*w for r.
5
Let p = 60 + -135. Let j be ((-4)/(-6))/((-5)/p). Suppose 9*t = 4*t + j. Solve 2*y - 6*y = 5*q - 31, -t*q + 6 = 0 for y.
4
Let r(s) = s**3 + 6*s**2 - 3*s + 7. Let v be r(-6). Let g(x) = x**3 + 3*x**2 + 2*x + 3. Let i be g(-2). Solve 6*p - 15 = p, -4*c - i*p + v = 0 for c.
4
Let q be (0 - 0) + (-5)/((-10)/6). Solve 5*n = -0 + 15, -q*n - 16 = 5*x for x.
-5
Suppose -4*c + 28 = -3*s + 4*s, s - 4*c = -12. Let i = s + -8. Solve 9 = 2*b - v, b + 3*v - v - 7 = i for b.
5
Suppose -3*v + 19 - 1 = 0. Suppose -v*t + 2*t = 0. Solve t*z + 24 = b - 5*z, -8 = 3*b + z for b.
-1
Suppose -2 = k - 7, -k = 3*y - 17. Let h be (33/(-6))/((-2)/y). Suppose 2*f + 2*r - 4 = 0, -2*f + 4*r + 4 = -0*r. Solve -2*w - f*c + c = -7, h = w + 3*c for w.
2
Let q(y) = -y**2 - 12*y + 5. Let l be q(-12). Solve 0 = -l*f - g - 10, 9 + 9 = -f + 3*g for f.
-3
Suppose -18 = 8*d - 10*d. Solve -3*s - 9 = 0, 3 = 3*r - s - d for r.
3
Let s(y) = -y**2 + y + 6. Let z be s(-2). Solve z = q - 3*q + 3*k + 6, k = -4 for q.
-3
Let i(s) = -s**3 - 3*s**2 + 7*s + 5. Let a be i(-5). Suppose -h + a = 5*j, 5*j + 3*h = 7*h + 45. Solve j*w = -4*t + 9 + 1, 4*t - 4 = -2*w for w.
2
Suppose -153 = -109*t + 100*t. Solve s = 5*x + 7, -4*x - 2*s - s = t for x.
-2
Suppose -2*j = 2*j - 8. Let m(r) = r**2 - 2. Let h be m(3). Solve -2*u + 14 = -j*q, -3*q - 4*u - h = -0*u for q.
-5
Suppose -9*s + 7*s + 14 = 0. Suppose 4*g = 3*c - s, -3*g + 14 = -5*c + 44. Solve -3*p = c, 0 = 5*z - 5*p + 5 for z.
-4
Suppose -5*k = 4*n + 21, 4*n - n = -4*k - 16. Let l be 8*2 - n/(-2). Solve q = -3*i + 10, -5*q + 0*q = -i + l for i.
4
Let u(v) = v - 1. Let i be u(0). Let r be -3 + (3 - 1) - i. Let q be (-2)/6 + 35/15. Solve b = -j + 3, q*b - 2*j + 3*j - 6 = r for b.
3
Suppose 0 = 2*f + s - 1, -2*s = -3*f - 6*s - 11. Solve f*d = -5*b - 2, -2*d + 7 = d - 4*b for d.
1
Let n be 0 - ((-6)/(-10) - 53/5). Solve 5*c - n = 0, -5*w = c + 18 - 5 for w.
-3
Let t(k) be the third derivative of 0 + 1/60*k**5 + k**2 + 3/2*k**3 + 0*k + 7/24*k**4. Let w be t(-6). Solve -3*z - 3 = -3*h, -w*h + 2 = -0*z - 4*z for z.
1
Let p(w) = 2*w - 4. Let i be p(3). Suppose -6*m + m = -35. Let v be (-14)/m*(-3)/i. Solve 4*d = -s + 2*d + 8, 0 = -v*s - 4*d + 18 for s.
2
Suppose 5*j + 173 = 23. Let o be (-2)/12 - 95/j. Solve 0 = 5*i, -o*y + 4*i - 6 = -6*y for y.
2
Let b(u) = u**2 - 5*u - 7. Let p be b(5). Let z(t) = -t - 4. Let c be z(p). Solve -3*x - c*l - 9 = -0*x, x + 8 = 4*l for x.
-4
Let u be (-132)/(-21) + 8/(-28). Let y = 8 - u. Solve 4*t + y*h + 18 = 4*h, 0 = -2*t - 4*h - 14 for t.
-5
Let c(f) = -f**2 + 9*f - 6. Let h(v) = -v**2 + 10*v - 6. Let z(k) = -5*c(k) + 4*h(k). Let g be z(5). Solve -r = 0, 2*n - 2*r - g + 0 = 0 for n.
3
Let k(f) = -3*f**2 + 18*f + 7. Let i be k(6). Solve 3*q + 4*h - i*h - 12 = 0, -q = -4*h - 16 for q.
0
Suppose 6 = -0*c - 3*c. Let k be (-5 - -3)/c + 1. Solve 4*z = k*f, -4*z - 3*f = -2*f - 6 for z.
1
Let l be 56/(-49)*7/(-2). Solve o - n + 6*n + 2 = 0, -l*o - 8 = -2*n for o.
-2
Let g(t) = t**3 - 10*t**2 + 11*t - 18. Let x be g(9). Solve -3*l + 11 = 2*r + 1, -l + 2 = x for r.
2
Let c = -26 - -18. Let o = -6 - c. Let l = 0 + 2. Solve -z - 2*x - 8 = x, z = o*x + l for z.
-2
Suppose -6 = -o + 1. Let s = o - 4. Solve d = -3*f + 15, s*f = -4*d + 8*d for f.
4
Let q = -3 + 8. Suppose 2*w - 12 = -2*w. Suppose 3*d = -w*z + 30, -3*z - 18 = d - 2*d. Solve 3*v + 0*v = d, -q*m + 5*v - 40 = 0 for m.
-4
Suppose 0 = 4*b - 22 - 2. Let c be (3 - 1)*(0 - -2). Solve -16 = -d + 3*t - b*t, 4*d = -c*t + 32 for d.
4
Suppose 67 = 2*j + 21. Let q = j - 21. Solve -d + y + 0 = q, -4*y - 6 = 3*d for d.
-2
Suppose s = -0 + 4. Suppose -12 = -2*p - s. Suppose -11 - 9 = -p*o. Solve -4*r - 3*y - 11 = -0*r, 7 = -o*r + 3*y for r.
-2
Suppose -12*v = -11*v - 2. Solve 0 = -0*t - v*t + 2*j - 14, -1 = t + 2*j for t.
-5
Suppose -2*l + 6*l = -5*g + 45, 10 = -g + 3*l. Let u = 17 - 1. Solve g*a + 2*v = 8, -4*a + 7*a = -4*v + u for a.
0
Let p be -2*18*1/(-2). Solve -33 = 4*m - 4*s - 13, 0 = -2*m - 5*s + p for m.
-1
Let j = -43 + 16. Let a = j - -31. Solve 6 = x - a*q, 3*x = 2*x + 2*q + 2 for x.
-2
Let b = -107 - -119. Solve 2*y + 3*h = -y - b, -5*y = 3*h + 22 for y.
-5
Let h(m) = 3*m**2 - m - 4. Let c be h(3). Suppose s = 4*k - 115, -5*k + 3*s = -7*k + 47. Let a = k - c. Solve 5*r = 0, 3*w + w - a = r for w.
2
Let z = 39 - 37. Solve -5*r = z*c + 5, 0*r = -5*r - 5 for c.
0
Let g be 24/32*8/2*1. Solve -4*w = 3*y + 29, -3*y - 1 = -w + g for y.
-3
Let x(u) be the third derivative of -u**6/120 - 7*u**5/60 - 3*u**4/8 - 7*u**3/3 - 3*u**2. Let d be x(-6). Solve -2 = -d*w - 3*i, 0 = i + 1 + 1 for w.
2
Let a(t) = -2*t**3 + 10*t**2 + t - 5. Let x be a(5). Solve -b - 7 = v - x*v, -4*v + 4 = -4*b for v.
-3
Let g(w) be the second derivative of -w**4/12 - 7*w**3/6 + w**2 - w. Let v be g(-7). Solve -5*r + 3*y = -22, -v*y - 2 = 3*r - 19 for r.
5
Let u be (10/(-4))/(1/(-2)). Let n be 2*1/(-4)*0. Suppose n*q + 10 = q + j, j + 15 = 4*q. Solve -2*z = 2, -q*r = -0*r - 5*z - u for r.
0
Let i = -16 + 20. Solve 5*x + 5 = -j, x + x = -i for j.
5
Let f = 13 - 12. Solve 4*l - c - 24 = 0, -c = -l - 2*c + f for l.
5
Let p(h) = 15*h**2 - 1. Let t be p(-1). Suppose -5*x + t = -6. Solve 2*f + 3*z - x = 2*z, 4*f = 4*z + 20 for f.
3
Let p(g) = -g**3 - 4*g**2 + 3*g. Let r be p(-5). Solve 3*s = -6 - 6, 2*f + r = -4*s for f.
3
Let z be (-10)/(-6)*(-1 - 2). Let h(x) = -2*x - 1. Let b be h(z). Suppose 0 = -0*m + 5*m - 85. Solve