e v(k). Solve 2*d = 3 - g for d.
-2
Let b be (-18)/(-99) + 4/(-22). Solve b = -n + 1 for n.
1
Let u be (-3)/(-15) + 1/(-5). Suppose 4*q - 3*q + 2 = u. Let a be 1*q/(-6)*0. Solve a*y = 3*y for y.
0
Let h be (15/(-9))/(1/(-3)). Let j(m) = m**3 + 2*m**2 - 5*m - 3. Let i be j(-3). Solve -h = 2*z - i*z for z.
5
Let l(k) = -k + 5. Let m be l(3). Let z be 0 + m - 2*1. Let p = z - -2. Solve -p*c = -c for c.
0
Suppose -1 = 2*r + 3*a, -6*r + 2*r - 12 = -4*a. Let t(k) = k**3 + 4*k**2 + 4*k + 2. Let o be t(r). Solve 5*v = 3*v + o for v.
1
Let u = 15 - 6. Suppose u*r - 4*r + 2*j = -52, 3*r + 2*j = -32. Let c = -5 - r. Solve -c*f = -4*f + 1 for f.
-1
Let w = -2 - -2. Suppose g - 20 = -w*g. Solve 0 = -0*h + 4*h - g for h.
5
Let n = 69 + -68. Solve 2*m - 7 = -n for m.
3
Let i = 19 - 9. Suppose 0 = 5*g + 4*u - 62, -3*g + 0*g = -u - 44. Suppose -5*t + 3*t + g = 0. Solve t*y + i = 5*y for y.
-5
Let c(v) = -v + 5. Let s be c(5). Suppose m - 3*k = 16, -k - 2 - 3 = s. Let b = 4 + m. Solve -b*w + 3 = 8 for w.
-1
Suppose 0*g = g - 2. Let j be g + (-2)/(-2)*0. Let m be (-1 - j/1)/(-1). Solve 0 = -4*f - m + 11 for f.
2
Let u(t) = -3*t**2 + 1. Let o be u(1). Let s = o - 1. Let k = s + 6. Solve g + k = -2*g for g.
-1
Let r = 2 - -2. Suppose -s - r = -3*s. Suppose 4*d = 5*d - s. Solve -1 - 1 = d*i for i.
-1
Suppose -5*h = -0*t - 2*t - 6, -5*h = 2*t - 14. Solve 3*i + t = 11 for i.
3
Let n(u) = 2*u**2 + 4*u - 2 - 4*u - 4*u + 4. Let i be n(4). Solve -5*w - 43 + i = 0 for w.
-5
Let x(n) be the second derivative of -n**3/3 - 7*n**2/2 + n. Let u be x(-5). Solve u*a - 4 = -16 for a.
-4
Suppose -4 - 2 = -3*b - 4*c, -10 = -5*b - 5*c. Suppose -9 = -5*n + 11. Suppose 12 = n*r + 4*d, r - 18 = -0*r + 2*d. Solve 4*a - r = b*a for a.
4
Suppose 4 = -f - 0*f. Let t = 0 - f. Let h be 0 - (-6)/(t - 1). Solve -5 = 7*d - h*d for d.
-1
Let z(t) = t + 2. Let r be z(0). Solve -11 = -3*l - r for l.
3
Suppose q - 2*x - 2*x = 62, 2*x - 158 = -4*q. Suppose -5*v - 22 = -2*w + 69, 123 = 3*w - 3*v. Suppose q = 5*f - w. Solve m - f = -3*m for m.
4
Suppose 0 = -15*h - 0. Solve 5*k - 25 = -h*k for k.
5
Suppose 2*a + 4 = -8. Let o be 1/(-2) + (-9)/a. Let i = -3 - -9. Solve -p - i + o = 0 for p.
-5
Let t(g) = -g**3 - 4*g - 3. Let m be t(-2). Let x = m - 5. Suppose z + 0*q - x = 2*q, -2 = z + 3*q. Solve -3*k - 11 - z = 0 for k.
-5
Let r = -38 + 38. Solve r = -a - a for a.
0
Suppose 0 = -b + 6 - 3. Solve 5*m = -b + 8 for m.
1
Let j = -63 - -66. Solve -z + j*z - 10 = 0 for z.
5
Suppose -2*y + 5 = 1. Let f be 1/2 + 19/y. Suppose 4*w = 0, -17 = -3*p + w + f. Solve -2*h - h = -p for h.
3
Let l(n) = n**2 - 13*n + 6. Let k be l(13). Suppose 0 = -k*w + 3*w + 3. Solve 0*q + w = -q for q.
-1
Suppose 20 = g + 5*x, 5*x = -9 + 24. Solve 4*m - 3*m - g = 0 for m.
5
Let u be (0/(-4))/(0 + -1). Solve -1 = -u*q - q for q.
1
Let o(n) = -n**3 - 14*n**2 + 14*n - 7. Let k be o(-15). Solve 3*d - d = -k for d.
-4
Let c = 49 - 71. Let f be -15*(3 - c/(-6)). Let s(w) = 3*w**2 - 1. Let r be s(-1). Solve -3*o - r*o + f = 0 for o.
2
Let q(s) be the first derivative of -s**2/2 + s + 3. Let c be q(-6). Suppose 13 = b - 2*b - 4*u, 5*u + 20 = 0. Solve -b*i + c*i = 0 for i.
0
Suppose 4*v - 4*s = 31 + 45, 0 = -3*v + s + 65. Let w = -13 + v. Solve -2*f + 0 = w for f.
-5
Let r(x) = -3 + 2*x - 1 + 2*x**2 + 5 + 0*x. Let d be r(-2). Solve 4*f - d = -f for f.
1
Suppose 0 = 3*p + 3 - 12. Suppose 0 = 3*u - 5 - 1. Let c = 0 + 3. Solve -c*m - p = -u*m for m.
-3
Let y be (-2 + 1)/((-5)/5). Suppose 0 = -3*s + y + 11. Solve -24 = 4*z - s for z.
-5
Suppose 10 = 2*r, r = -f - r + 10. Solve f = q + 4*q + 10 for q.
-2
Suppose 15 = 14*r - 13. Solve -5*n - 12 + r = 0 for n.
-2
Let s be 12*((-14)/4 + 3). Let m = s - -6. Solve 2*y + 2 = -m*y for y.
-1
Suppose -5*v + 2*v - m = -14, 0 = 5*v - m - 18. Solve -v*u + 0*u + 4 = 0 for u.
1
Let g be (-54)/(-9)*(-2 - -3). Solve -g*c - 15 = -c for c.
-3
Let q be (2 + 0)*1/1. Suppose 102 = 5*a - 3*p, 0 = 2*a + 3*a - 2*p - 98. Suppose -2*j - 2*r = -0*j - a, -j + 3*r - 3 = 0. Solve j = -h - q*h for h.
-2
Let z be 16/4*(-2 - -3). Solve -z*r = 6 + 2 for r.
-2
Suppose 1 = 4*t - 19. Solve -t = 2*l - 3 for l.
-1
Let y be ((-6)/4)/(3/(-6)). Let m = 6 - y. Solve -m + 0 = 3*i for i.
-1
Suppose -1 = -o + 2, -2 = 2*w - 4*o. Suppose -16 = 3*f - s, 3*f - 6 = w*f - 3*s. Let v = f - -10. Solve 1 = -d - v for d.
-5
Suppose n + c + 35 = 3*n, -3*n + 3*c + 54 = 0. Suppose 0 = 3*a - n + 2. Suppose -5*v - 7*j = -2*j + 15, 0 = -4*v - a*j - 15. Solve -5*g - 21 + 6 = v for g.
-3
Let a(x) = -13*x + 21. Let g be a(1). Solve -g = -4*i + 8*i for i.
-2
Let l(c) = -c**3 + 9*c**2 - c + 11. Let x be l(9). Suppose w = -3*q + 26, 4*w - 6 = -0*q + 2*q. Solve -i - q = -x for i.
-5
Let w be -3*(-1)/6*0. Solve u + 2 + 0 = w for u.
-2
Let i = 10 + -6. Solve -i*a = -0*a + 12 for a.
-3
Let j(l) = -l**2 - 6*l + 3. Let z be j(-5). Let m = z - 6. Let w be ((-6)/(-9))/((-2)/(-9)). Solve m*t = -w - 5 for t.
-4
Suppose -3*j + 13 = -2. Suppose 3*u - j + 13 = -4*h, -4*h = -u - 8. Let f be (h + 1)*(-6)/(-4). Solve 0*p + f*p - 15 = 0 for p.
5
Let g(a) = 17*a**2 - 2*a. Let d be g(1). Solve -c + d = 4*c for c.
3
Suppose 5*w - 17 + 2 = 0. Let g be (3/3)/(-1)*0. Suppose g = -3*n + 16 + 20. Solve n = -6*r + w*r for r.
-4
Suppose -6*q + 14*q = 16. Solve -3*j = -q*j + 2 for j.
-2
Suppose -10 + 24 = 7*r. Solve -3*c - r*c - 5 = 0 for c.
-1
Let d = 38 + -26. Let z(s) = -s + 17. Let w be z(d). Solve -w*f = -6 + 1 for f.
1
Let m(x) = -x - 8. Let c be m(-12). Suppose -4*z - 5*v + c = -6, 2 = z + v. Solve 5*k = -z - 5 for k.
-1
Suppose -5*c = -h, -2*c = -6*c + 2*h. Suppose 5*q - 45 = -5*v + v, 20 = -q + 5*v. Solve c = q*w - 4*w + 5 for w.
-5
Let k(j) = j. Let o be k(1). Let a(m) = m**3 + m**2 + 0*m**3 + 1 - 2*m + 3*m**3. Let d be a(1). Solve -3*q + o = d for q.
-1
Suppose u - 3 = -0*u. Let i = u - 1. Solve -i*x - 7 = -1 for x.
-3
Suppose t + 3*s = -13, -2*t = -4*s - 0*s - 4. Let a(g) be the third derivative of g**6/120 + g**5/15 - g**4/24 - 5*g**2. Let u be a(t). Solve 1 - u = -r for r.
3
Let w(z) = z**2 - 6*z + 6. Let o be w(6). Let f = o + -4. Let l = 2 + f. Solve 2 - 22 = l*d for d.
-5
Let i(l) = -l + 1. Suppose -3*o + 0 - 12 = 0. Let c be i(o). Suppose -4 = -3*y + 5. Solve -y = -c*g - 23 for g.
-4
Let l = 0 - -3. Suppose 5*u - 41 = 3*x, -2*x + 19 = -7*x - 4*u. Let b = -7 - x. Solve -2*m + 5 + l = b for m.
4
Suppose -c - 9 = -2*v, 3*c = -13 + 4. Suppose -g - 4*i = -v, 0*i = -4*g + 4*i - 8. Let h = g + 1. Solve -4*n + h + 12 = 0 for n.
3
Let o be 6/(-5)*(-35)/7. Solve s + 4 - o = 0 for s.
2
Suppose 4*s + z = 4*z - 12, 3*s = 5*z + 2. Let m = -4 - s. Solve -m*b = 3*b + 25 for b.
-5
Suppose 0 = 2*m + 4*v, 3*m - 4*v = v. Suppose -a + 3*a = m. Suppose 7*f - 12 = 3*f. Solve 0 = -a*t - f*t for t.
0
Let t(c) = -c + 1. Let r be t(3). Let v = r + 4. Solve -4*w - 2 - v = 0 for w.
-1
Let t(u) = 2*u - 8. Let w be t(4). Solve 5*m + 5 = -w*m for m.
-1
Suppose 2*j - x + 6 = 0, x + 1 = j + 6. Let o = 5 + j. Suppose 5*p = 3*l + 15, -24 = p + 5*l + 1. Solve 4*i + p*i + o = 0 for i.
-1
Suppose y + 4 - 3 = 0. Let g = y + 2. Solve -a - 3 + g = 0 for a.
-2
Let q(l) = 5*l + 6. Let x be q(-3). Let r = 12 + x. Solve -d - 5 + r = 0 for d.
-2
Let k(q) = q**3 + 4*q**2 - 2*q - 3. Let t be k(-4). Let m = t + -1. Solve 3*p = -p + m for p.
1
Let i = 26 + -23. Suppose 2*m - 3 = 1. Suppose 0 = m*g - 3 - i. Solve 0 = -2*h + 1 + g for h.
2
Suppose -3*f - 39 = 5*a, 5*a - 2*f + 33 = -16. Let i = -4 - a. Solve 3*c - i = 4 for c.
3
Suppose 4*r = 9*r - 40. Let t be r/28 - (-2)/(-7). Suppose 5*b + 0 - 25 = t. Solve 0 = -b*u + 5 + 5 for u.
2
Suppose 0 = 3*g - 5*z - 61, 0*z + 3*z = 3. Suppose 2*r + 5*p = 4*r - 27, -5*p - g = 3*r. Let o be -1 + -1 + 1 + r. Solve o*f - 3*f = 0 for f.
0
Let q = -5 - -3. Let y be ((-18)/4)/(1/q). Let u = 155 - 140. Solve -4*z = -y*z - u for z.
-3
Let g(c) = c**2 + 4*c - 8. Let z be g(-6). Suppose 4 = z*p - 2*h, -2*h + 12 = h. Suppose 2*y + p = 11. Solve 5*n + y = -1 for n.
-1
Let d = -8 + 8. Suppose -2*p - 4*x + 9 = -3*x, d = -4*x + 20. Solve p*o = o for o.
0
Let z(n) = -n**3 - 2*n**2 + n - 2. Let q be z(-3). Let x(u) = u**3 - 4*u**2 + 4. Let p be x(q). Solve -4*k = 12 + p for k.
-4
Let m = 5 + -1. Suppose -3*g - 5 + 23 = 4*s, m*g - 5 = s. Solve -s*h + 12 = h for h.
3
Let h(b) = 14*b**2 - 9*b**2 +