 - 2*d - 1. Let c be f(3). Solve 2*a + c = 4*k - k, -4*a + 13 = k for k.
5
Suppose -5*k = -62 + 2. Solve 5*c - 5*y = 15, 0 = 2*c + 4*y + k for c.
0
Let h be 3*1 + -1 + 0. Suppose -2*y + 0*y = -4. Suppose -2*t - s - s = -2, y*t - 5 = -s. Solve c - t*c + 10 = k, 0 = 4*c + h*k - 14 for c.
3
Suppose -13 = -5*t - 3*q, -10 = -4*t - q + 6. Let z be ((-1)/(-3))/(1/(-3)). Let i = z + 1. Solve 4*f = -3*a, t*a = -i*a - 3*f - 11 for a.
-4
Let p be (0 + 2 - -13)/((-3)/(-9)). Solve 3*v - 4*m + 17 = -5*m, -5*m = 5*v + p for v.
-4
Suppose -15 = -0*b - 5*b. Suppose -r - 6 = -b*r. Suppose c - r = -2*c. Solve -u + c = -2*t, 2*u - 3*t - 34 = 7*u for u.
-5
Let j(h) = 2*h**3 - h**2 + 1. Let l be j(1). Solve 5*w - t - 12 = 0, -2*t - l*t = -12 for w.
3
Suppose 0 = -13*s + 12*s + 3. Let o = 44 + -29. Solve s*a = -5*i - o, 7 = 5*a - 2*i + 1 for a.
0
Let b = 9 + -6. Let n = b - -2. Solve -3*d + 13 = d - 3*j, -n*d - j = -21 for d.
4
Let i = -130 - -132. Suppose 0 = -o + 6*o + 5. Let c = -1 - o. Solve -i*l + m + 7 = c, 3*m = l + 1 + 3 for l.
5
Let b(n) = -n**2 + 10*n - 7. Let j be b(9). Solve d - 24 = 5*h, -h + 0*d + 4 = j*d for h.
-4
Let z = 9 - 5. Suppose j - 5*u = 6*j - 170, 95 = 3*j - z*u. Suppose -21 = -2*w + x, -3*x - j = -2*w - 6*x. Solve 4*m + 12 = -3*s, -3*m + 7*m = 3*s + w for m.
0
Let h = -4 + 6. Suppose -2*f = -0*f + n - h, -5*n + 10 = 0. Let r(u) = u**2 + 7*u + 2. Let d be r(-7). Solve f = -d*k - 4, -3 = 3*l - 4*k - 2 for l.
-3
Let v(n) = 2*n**2 + 3*n - 9. Let q be v(4). Solve -2*a + 16 = 2*u, -2*u - q = -5*a - 6*u for a.
3
Suppose -2*c - 17 = -5*r + 19, -r - 4*c - 6 = 0. Suppose 0 = -q - q - r. Let u = q + 5. Solve u*o = -5*t - 10, 7*t + 20 = 2*t - 4*o for t.
0
Let f = 8 + 0. Let b = f - 5. Solve -b*t - w = w, 0 = -2*t + 3*w - 13 for t.
-2
Let d(c) = -2*c - 4. Let a be d(-4). Suppose a*v = v + 6. Suppose n - 2 = v. Solve 3*o + 3*j + 1 = n*o, -o + 5 = j for o.
4
Suppose 2*r - 25 = 5*f, -4*r + 0*f + 3*f + 29 = 0. Solve -4*n - 7 = -r*h, -4*n + 2*h - 3 = -5 for n.
2
Suppose 2*r + 0 = -2*q + 16, q = 3*r - 8. Solve r*w - 4*c + 12 + 16 = 0, 5*c = -w + 11 for w.
-4
Let b be (-10)/6*(-2 + (-1 - 0)). Solve 4*w - b*g + 3*g + 2 = 0, 4*w - g + 7 = 0 for w.
-3
Suppose 0*t = 3*a - 3*t - 57, 2*t = -a + 25. Let i = -14 + a. Solve 13 = -7*c + 2*c - n, 2*c + n = -i for c.
-2
Suppose 5*q - 3*q = 0. Suppose -u - p - 3 = q, -2*p - 5 = -5*u - 3*p. Solve -12 = 2*w + u*f, -2*w - 4*f = -4*w - 6 for w.
-5
Let x(y) = 10*y**2 - 1. Let h be x(-1). Let l = -5 + 7. Suppose -12*r - 4 = -2*m - 10*r, 0 = -4*r + 4. Solve -m*c - h = -l*f + f, 6 = -3*c for f.
3
Let c be (36/8)/(-3)*(-24)/9. Solve 0 = -c*a, 0 = -3*x - a - 2*a for x.
0
Suppose -t + 2*g = 3*t - 58, -67 = -4*t - g. Solve 0 = -2*w + 4*h - 8, -w + 4*h - 7*h + t = 0 for w.
4
Suppose 0 = -0*p - 2*p + 5*g - 4, 4*g = 8. Let a be (p/2)/(7/14). Solve -a*k = -5*d + 6 + 1, -5*k = -5 for d.
2
Let n(d) = -4*d + 1. Let i be 7 + -9 - 1/(-1). Let s be n(i). Solve 6 = p - 4*p, -s*l - 6 = -2*p for l.
-2
Let h = -28 + 44. Solve 6*z = -y + 2*z + 4, -4*y - 2*z = -h for y.
4
Suppose m - h = 7, 4*m + m - 3*h - 39 = 0. Suppose 5*s - 4*r = m + 5, 2*s - 5*r = 9. Suppose -4 = -s*w - 0*w. Solve w*o = -2*o + a - 8, 2*o + 3*a = -4 for o.
-2
Let s = -40 + 49. Let r(u) be the first derivative of -u**3/3 + 5*u**2 - 8*u + 1. Let c be r(s). Solve -4*h = -j + 21 + c, -3*h - 2*j - 11 = 0 for h.
-5
Suppose 3*g + g + o + 22 = 0, -o = -2. Let a = -3 - g. Let n = a - -2. Solve 0 = 4*b - 4*m + n*m - 2, -b - m + 2 = 0 for b.
0
Let g(t) = 3*t + 7. Let d be g(6). Let r(k) = 4*k - 23. Let z be r(7). Solve -l + d = -z*y, l + 0*l = -y - 5 for y.
-5
Let k(d) = -d**2 - 5*d - 8. Let q be k(-4). Let u be 2/3 + q/(-3). Solve u*h + m = -1, 3*m + 11 = h + h for h.
1
Let c(z) = 8*z - 44. Let q be c(6). Solve -q*h - 24 = -0*w + 4*w, -2*h - 3*w = 17 for h.
-1
Suppose 15 = 2*z + 3*z. Suppose 5*b = -5*p + z*p + 54, 0 = b + 2*p - 6. Suppose -4*y + 3*y + b = 0. Solve -2*g + y = 5*q - 2, -5*g - 3*q + 16 = 0 for g.
2
Suppose -5*f + 3*f + 8 = 0. Solve -2*b - n + f = 0, b + 4*n - 6 = -2*b for b.
2
Let n be 2/8 - (-75)/20. Solve 0 = 5*z - 25, n*t - 3*z - 1 + 8 = 0 for t.
2
Let w(o) = -o**3 - o**2 - 2*o - 6. Let g be w(-2). Solve -3*k = 2*h + 1, -g*h - 4*k = h + 1 for h.
1
Suppose -42 = 6*t - 150. Solve c - t - 5 = -5*p, -5*c - 30 = -4*p for p.
5
Suppose 4*j + 0 - 8 = 0. Let w be ((-24)/(-20))/(j/5). Let l(z) = z**2 - 2. Let y be l(w). Solve -4*x - 14 = -2*v, 2*x - y = -3*v - 26 for v.
-3
Let i = 104 + -102. Solve -2*k + 6*k - i*c = -10, k - 5 = -2*c for k.
-1
Let b(d) = 2*d**3 - 12*d**2. Let c be b(6). Solve -l = -f + 2 + 1, c = -5*l - f + 15 for l.
2
Suppose 0 = -3*g - 3*d - 6, 4*d = -g + d - 8. Solve -5*h - 6 = -2*s - h, 3*s - 2*h = g for s.
-1
Suppose -5*v + 86 = p + 2*p, 4*v = 5*p + 54. Suppose -v = -4*y + i + 8, 3*y - 18 = 3*i. Let f be ((-4)/y)/(8/(-60)). Solve d - 5 = 0, -f*t - 3*d - 5 = -d for t.
-3
Let f(t) be the second derivative of t**3/6 + 5*t**2/2 + 2*t. Let q be f(-5). Let w(r) = r**3 - r. Let g be w(q). Solve -4*u - u = -x, g = -5*u + 5*x for u.
0
Let k be ((-2)/(-6))/((-1)/(-9)). Suppose -5 = -3*f - 2*f, k*r - 2*f = 16. Let c = 6 - r. Solve 0*z + z = -w, c = -3*w + 3*z + 12 for w.
2
Let m be (4/(-8))/(2/(-12)). Solve 6 = 3*y - m*k, 12 = 5*y + 4*k + 2 for y.
2
Let p = 42 - 22. Suppose -p = -2*h - 3*h. Solve -5*w - h*x = 16, -w = 3*w - x - 4 for w.
0
Suppose -5*v = 3*q - 91, 2*v + 3*q = 6*v - 89. Suppose p - v = 6*p. Let w = 8 + p. Solve b = -w*n - 4, 0*b + 2*n + 2 = 4*b for b.
0
Let t = 11 + -36. Let f be 10/t*(-1 + -9). Solve 5*c = -4*q + q - f, 0 = -5*c + q + 8 for c.
1
Let d(w) be the first derivative of -w**2/2 - 2*w - 6. Let k be d(-4). Solve k*y - 16 = -2*y + 2*g, -2*y - 4*g = 2 for y.
3
Let k be 4/((-8)/(-6))*1. Solve -4*c + 4*f = 16, -3*c - 4*f + k + 20 = 0 for c.
1
Let n = -3 - 3. Let m(p) be the first derivative of -p**3/3 - 7*p**2/2 - 2*p + 3. Let f be m(n). Solve s + 3 = 0, 2*y - f*s = -y + 6 for y.
-2
Suppose -2*h + 63 + 1 = 0. Let u = h + -20. Solve -2*v - 4*f = -u, 2*f = -5*v - 4 + 26 for v.
4
Let y be 2/(-1) + -39 + 1. Let z be 13/4 + 10/y. Solve 0 = 5*g - 2*p - 7, -5*g + 0 + z = 2*p for g.
1
Suppose -2*t = -18*t + 32. Solve -5*g - 3*i - 5 = -8*i, -g + t*i = 3 for g.
1
Let p = -2 - -17. Solve 11 = -o - 5*f, -7*o - 5*f - p = -2*o for o.
-1
Let m = 2 - 0. Suppose 5*t - 65 = -3*y, 83 = 4*y + y + m*t. Let g = 22 - y. Solve -4*j + g*j + c = -4, c - 17 = 4*j for j.
-3
Let t(i) = -i**3 - 6*i**2 + 3*i + 6. Let v be t(-7). Suppose 2*f = -0*f + v. Solve -c + p = 6*p + f, 5*c - 4*p = 31 for c.
3
Let k = 36 - 36. Solve 0*f + b - 7 = f, k = -f + 5*b - 15 for f.
-5
Suppose 0 = -4*b - 2*w + 152, -3*b = 2*w - 0*w - 115. Let y = b + -21. Solve 0 = -5*k - n - 4, 2*n - y = 6*n for k.
0
Let u = -1 - -4. Solve v = 4*b - u, 2*v + 5*b = -v - 9 for v.
-3
Suppose 0 = -2*f - 5*i + 14, -2*i = -3*f + i. Let o = 7 - f. Let c(z) = 59*z**3 + 1. Let n be c(1). Solve -5*v - 20 = -5*a - n, 5*a = -o*v for v.
4
Let b(f) = -f**3 - f**2 + 2*f + 3. Let z(p) = -3*p**2 + 1. Let r be z(1). Let o be b(r). Solve 5*x + 3 = o*a, 4*a + 1 = -2*x - 21 for x.
-3
Let q(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let m be q(-2). Solve m*u = 0, -x - 10 = -3*x + 4*u for x.
5
Suppose c - 4 = -z + 15, c + 107 = 5*z. Let n = z - 13. Suppose -r + 3*j + 14 = 3*r, r - 11 = -3*j. Solve -n*l = -2*v - 3*l - 25, r*v = 2*l - 10 for v.
0
Let p = -2 - -6. Suppose -x + p*a = 2*a - 4, -a = 4*x - 16. Suppose 0*y + 4*y - 5*k = 10, -30 = -x*y - 5*k. Solve -y*q - o = 8, -3*o - 2 = -5*q + 2 for q.
-1
Suppose -5 = 3*l - 17. Solve 0 = 5*a + y + 5, a - l*y = y - 1 for a.
-1
Let v be (2 - -1) + (-5)/5. Suppose y - v = 3. Solve 4*z - u + 1 = 0, 3*u - 3 = -y*z - 0*u for z.
0
Let q be (-47)/(-9) - 4/18. Let y = -9 + 18. Solve -4*i + 15 = -o, -6 - y = q*o for i.
3
Let r = 0 - -14. Let b = -10 + r. Suppose -b*p = -0*p - 40. Solve -4*l + 4*y - 12 = 0, -7*y + p = -4*l - 2*y for l.
-5
Suppose -5*a + 11 + 9 = 0. Solve 6*z = a*z - w - 1, -z + 4 = 2*w for z.
-2
Suppose q + 0 = 2. Suppose -2*f = q*f - 20. Solve 0 = r - 2, r - 9 = f*g + 18 for g.
-5
Suppose i = 2*i - 10. Let g = 17 - 7. Solve -5*j + i = 4*x - g, 5 = x - j for x.
5
Let i = -6 + 10. Suppose 0 = -j + 3*a - 2*a - 3, 20 = i*a. Let l = 2 + 14. Solve -2*k - l = 2*b, 3*b = -k - j - 16 for k.
-3
Suppose