d = -4. Solve 4*b = k*z + b + 3, -t = z + 2*b for z.
-3
Let n(c) = c + 4. Let z be n(-4). Let h(p) = -p + 13. Let a(o) = -3*o - 9. Let l be a(-6). Let d be h(l). Solve -2*f + z = -2*g + 2, -d*g - 8 = 0 for f.
-3
Let o(x) = 4*x + 213. Let p be o(-49). Solve 4*a - 5*j = -7 - 3, -3*a - p = j for a.
-5
Let m = -331 - -334. Solve -5*c - 3 = 5*f - 13, m*f + 5*c = 10 for f.
0
Suppose -2*z = -3*q - 3*z + 41, -66 = -5*q - 4*z. Let v = -11 + q. Suppose s + 0 = -2*g + 1, -v*s + 11 = -2*g. Solve 5*c + a + 3*a = -11, -c - s*a = 0 for c.
-3
Let v(m) = -m**3 - 3*m**2 + 2*m - 7. Let b be v(-5). Suppose 4*t + t - 4*y = b, 0 = t - y - 7. Solve -c + 2*c - 4*w - 17 = 0, -w - t = 0 for c.
-3
Let p(y) = 10*y**2 + 2*y - 13. Let q be p(-4). Let r = q + -134. Solve 3*u - 11 = v, 5*v + 5*u + r = 2*v for v.
-5
Let h(a) = 38*a + 1. Let u be h(-1). Let v = u - -41. Suppose v*x + 4 = 5*m + 10, x = m + 2. Solve -4*i - x - 2 = -3*n, -3*i - 2*n + 4 = 0 for i.
0
Let r = -42 + 44. Suppose -2*y + 2 = -r. Solve 2*z + w = y*w + 6, 3*z - 5*w - 16 = 0 for z.
2
Suppose 34 + 76 = -2*l. Let j = -50 - l. Solve 0*z + 2*a + 14 = 4*z, -j*z + a = -19 for z.
4
Suppose 0 = -4*o + 10 + 6. Solve o*g + 11 = -3*k, 0 = -2*k - 3*k - g + 10 for k.
3
Let m(d) = -2*d + 2. Let t be m(0). Let n be (-1)/3*(t - 11). Solve 2*g + 2*j = 10, -8*j + n*j = -2*g + 3 for g.
4
Let y = 406 - 400. Solve -3*d = l + y, 5*l + 3*d = 2*l for l.
3
Let a(s) = -4*s**2 - 14*s - 8. Let q be a(-2). Solve -k + q*i + 19 = 0, -2*k - 3*k + i = -19 for k.
3
Let m = -30 + 37. Suppose m*x - 11 = 17. Solve x*i = 2*r + 2*i, 7 = -4*r - 3*i for r.
-1
Let u be 9 - ((-60)/5 - -18). Solve -4 = -c + 2*v - 1, 2*c - u*v - 7 = 0 for c.
5
Let f be (-1 + (-7)/(-3))/((-72)/(-108)). Solve 2*i - i - 1 = 2*w, 2*w + f*i - 14 = 0 for w.
2
Let y(a) be the second derivative of -5*a**4/2 + a**3/2 - a**2 - 2*a. Let z be y(1). Let o = -27 - z. Solve -4*k = -4*u - 8, o*u - 1 = 3*k - 10 for k.
5
Suppose 5*l + 2 = 92. Let n = -42 + 33. Let d be (-6)/n*-3*10/(-4). Solve 2*v - 12 = -5*k + l, -d*v + 37 = 3*k for k.
4
Let y(t) = -t**2 + 6*t + 25. Let l be y(8). Suppose 2*u - 25 = l. Solve 0 = -c + 3*h + u, -5*c + 3*h = h - 33 for c.
5
Suppose -6 = -r - 2. Solve 2*n - 6*n - 4 = r*s, 3 = 2*n - 3*s for n.
0
Suppose -2*u - 2 + 4 = f, -u + 1 = -f. Solve p = 3*p - l - u, 0 = -5*p - 4*l + 22 for p.
2
Let j(p) be the first derivative of p**3/3 - 2*p**2 - 2*p + 1. Let l be j(5). Solve -5*u - 3 = -l*i - 0*u, 4*u - 1 = -i for i.
1
Suppose -5*y + 17 = 4*k - 11, -4 = -y. Let b(r) = -22 - 8*r**2 - 6 + 9*r**2 - 18*r. Let h be b(20). Solve k*l + 5*w = -10, 4*l + 4*w - 4 = -h for l.
0
Let l = -1311 - -1346. Solve 0 = -h + 3*n - 13, -3*n = -5*h - 8*n + l for h.
2
Let z be 37 - ((-20)/(-5) + -1). Let l = 39 - z. Let p = 5 + -1. Solve -l = -5*u + 5*t, 0 = -p*u + u - t + 15 for u.
4
Let u(i) = -i. Let m be u(0). Let d be (-40)/12*(-9)/5. Let z be -2*10/5 + d. Solve -2*r - 12 = q, -z*q + 3*r + 4 = -m*r for q.
-4
Suppose 0 = 3*l - 4*s + 11 - 4, 3*s - 12 = 0. Suppose 2*g - 46 = -2*x, 6*x + 57 = l*g + 3*x. Solve -5*i = 4*p - g, 3*i + p = -3*p + 19 for i.
1
Let l be (41/4)/((-3)/(-12)). Let r = 61 - l. Solve 5*k - 4*a = -r, k = -3*k - 2*a - 16 for k.
-4
Let r(z) = -z - 2. Let l be r(-5). Suppose l*u = 5*p - 3*p - 19, -5*u = -3*p + 30. Solve i + 0 = -2*k - 5, -i - p = k for i.
-5
Suppose -4*z = -18 + 42. Let p be 20/15*(-9)/z. Solve -p*w + 8 = -i, i + 2*i = -2*w for w.
3
Suppose 5*f - 30 = -2*n, 3*f + 18 = 6*f + 2*n. Let y be (-24)/108 - (-2 - ((-352)/(-36))/8). Solve -3*w + 18 = -3*p, 0*p - w = y*p + f for p.
-3
Let j = -274 - -289. Solve 3*s = j, 5*y = 4*s - 2*s - 5 for y.
1
Suppose -8*o + 1169 = 225. Let i = 130 - o. Solve w = 5*q + 12, 4*w = 2*w + 4*q + i for w.
2
Suppose -6*j + 35 = -115. Solve -c - j = 5*n + c, -5 = n + 2*c for n.
-5
Let l = -6 - 1. Let z(k) = k + 11. Let x be z(l). Solve 4*y + 2*r = -24, 0 = -x*y + y - 4*r - 28 for y.
-4
Let t = 465 - 463. Solve t*r - 3*x - 2 = 0, -2*x + 0*x = -5*r + 16 for r.
4
Let h(m) = m**3 + m - 1. Let s be h(1). Let j be (-1 + s/3)*-3. Suppose 1 = j*z + 5*w, 2*w - 7*w + 4 = 3*z. Solve -z*n = -i - 13, 15 = -3*i - 0*i + n for i.
-4
Let f = -13 + 16. Let h be (2 + -1)/(((-6)/(-4))/f). Solve 3*b - g = 4, -b - h*g = 3*g - 28 for b.
3
Suppose 0 = -0*b + 2*b - 6. Let h be (2/(10/635))/1. Let i = -125 + h. Solve 9 = -m + 4*n, -b*m - i*n + 21 = 2*m for m.
3
Let a(x) = -2*x - 2. Let k be a(-2). Suppose -11 = -k*l - 3. Suppose -m = l*m - 135. Solve -2*z + 0*z + 2 = -2*h, 3*z - m = -3*h for h.
4
Let i be (9/(-12)*-4)/1. Let d(r) = -r + 5. Let a be d(i). Suppose 7*j - 6*j = a. Solve 5*o + 3*k + 4 + 1 = 0, j*k + 4 = -3*o for o.
2
Let p(l) = l**2 - 12*l + 34. Let t(d) = d. Let a(j) = p(j) - t(j). Let k be a(10). Solve 0 = v + 2*h + h + 2, 2*v - k*h = 6 for v.
1
Suppose -t + 5*a - 6 = 0, -t = -6*t + 2*a + 62. Let x be 38/t - (1 + (-9)/7). Solve -x*w + g + 10 = 26, -w - 5*g = 0 for w.
-5
Suppose -5*c + 15 = -c - 3*h, -c = 2*h + 10. Suppose 3*m + 11 + 37 = c. Let x = m - -18. Solve 5 = -6*d + d + 4*f, 2*d + x = -f for d.
-1
Suppose 6*s - 26 - 10 = 0. Suppose -2*o + 4*o - 12 = 2*g, -4*o + s = 2*g. Solve o*q + 22 = -0*y - 5*y, 8 = -q - 2*y for q.
-4
Let t = -1092 - -1094. Solve -12 = 4*s - 2*r, -2*s + 5*r - t*r = 2 for s.
-4
Let y = -1 + 4. Suppose 5*d + 50 = -y*p - 0, 0 = p + 3*d + 22. Let z be (p/(-15))/(4/114). Solve 4*g + 5*k - 3*k = 18, 3*k - z = -4*g for g.
4
Let g(y) = y**2 + 8*y + 11. Suppose -2*b + 4*b + 18 = 0. Let q be g(b). Suppose 0*j = -5*j + q. Solve -j*n - 4*s + 4 = 0, -4*n - 35 = n - 3*s for n.
-4
Let b(d) = d**3 + 9*d**2 - 8*d + 23. Let g be b(-10). Solve 0*u - 4 = -3*u + 4*w, 0 = -g*u - 3*w - 3 for u.
0
Let n be ((-112)/(-10))/4*(-6 + 11). Let u = 4 + n. Solve 2*s + 9 = v, -2*v + 5*s = -4*v - u for v.
1
Suppose -4 = -2*f - 0. Suppose 12 - 10 = f*x. Solve 3*n = -x + 13, 3*n = 3*p + 24 for p.
-4
Suppose 3 = -5*h + 6*h. Suppose -22 = -5*x + h. Let k(a) = a**3 + 13*a**2 + 10*a - 16. Let f be k(-12). Solve 4*d - 30 = f*d + 2*p, 2*d - 3*p - x = 0 for d.
-5
Let p be (10/(-8))/((13/(-20))/13). Solve 9 = 5*a + 4*j, -3*j = -3*a + 2 + p for a.
5
Let j = -10 + 21. Suppose j - 3 = d + o, 2*o = 8. Solve -2*q = d*h - 1 + 19, -h = 2*q + 12 for h.
-2
Let m(l) = -l**3 + 19*l**2 - 20*l + 38. Let y be m(18). Suppose 10 = 3*o - o - y*u, 5*u = -4*o - 7. Solve -o*z + 2*d + 14 = 2*z, -z + 5 = d for z.
4
Let q(n) be the first derivative of 3*n**2/2 + n - 1. Suppose 20*r - 14 = 6*r. Let t be q(r). Solve -5*z = -j + 3, z = t*z - 4*j + 12 for z.
0
Suppose -12*l + 4*l = 7*l. Solve -5*i - 15 = l, -5*i - 2 = 3*f + 28 for f.
-5
Suppose 9*n = 14*n - 30. Let v = n - 1. Solve -3*c + v*c - 3 = f, 0 = 2*c - 5*f - 15 for c.
0
Let a(w) = -w**2 + 9*w - 14. Let j be a(6). Let u(r) = -r**2 - 2*r + 2. Let p be u(-3). Let s = j - p. Solve 5*i - s*l = i + 29, 0 = -i - 2*l - 9 for i.
1
Suppose 0 = -2*j + r + 99 - 25, -j = -4*r - 37. Solve 5*o + j = 4*x, o + 0*x + 3*x = 4 for o.
-5
Suppose -8*o = -0*o - 48. Solve 0 = -3*y - 3*t + 5*t - 1, 0 = 3*y - 3*t + o for y.
3
Let r be (-2)/(-11) + 60/33. Suppose -r*l - l = -288. Let n be (-129)/(-8) - 12/l. Solve 0 = 4*f + g - 6*g + n, -3*g + 7 = -5*f for f.
1
Let i be 0 + 1 + 27 + 23. Suppose 3*z - 6*z = -3*j + i, 3*j + 2*z = 41. Solve 5*g - j = -5*x, -5*x - 25 = -5*g - 0 for g.
4
Let f(g) = -69*g + 6. Let z be f(0). Solve -2*c + z = 3*r, -2*r + 0*r - 4 = 4*c for r.
4
Let o = -28 - -23. Let h = 6 + o. Solve -n = w + 6, 4*n = 2*w - h - 5 for n.
-3
Suppose 19*o = 12*o + 21. Solve 0 = -o*z + 3, 5*g + z = -3*z + 9 for g.
1
Let y be (0 - (5 + -5))/(-3). Let a = 7 + 7. Let v be -1 + (-3)/3 + a. Solve -l - v = -2*c - c, -l - c + 4 = y for l.
0
Suppose -3*v = m + 5, -3*v + 2*v + 2*m = -10. Suppose v = -z + 5 - 2. Solve 5*a = z*s - 15, 0 = 3*s - 11 - 4 for a.
0
Suppose -3*g + 8*g - 22 = -j, g + 6 = 5*j. Solve -j*s - p + 2 - 5 = 0, 2*s - 4*p - 2 = 0 for s.
-1
Let v(k) = -2*k**3 + 8*k**2 + 2*k - 22. Let t be v(3). Solve 3*a - q + 14 = 0, t*q = 4*a - q + 22 for a.
-4
Let y be 3 - ((-224)/(-80) - (-4)/(-5)). Suppose -2*w - 5*k = -0*w - 1, 0 = w + 3*k. Solve 2*h + f = -y, -w*f = h + h - 9 for h.
-3
Let u = -12 - -18. Let g = u - -6. Suppose 0*q + 3*q = -2*a + 12, 2*q = 3*a - 5. Solve -a*o - 4*k - g = 0, 4*k + 0*k - 12 = 3*o for o.
-4
Suppose 0 = -h - 1 + 2. Le