 h = -52 - -13. Let f(d) = -63*d**2 - 2*d - 2. Let s be f(-1). Let a = h - s. Solve -4*v + a = 2*l, 0 = -v - 3*l + 8*l - 16 for v.
4
Let j(v) = v**2 + 3*v + 7. Let h be j(-5). Suppose -2*r - 18 = -3*s - 0, -2*s + 3*r = -h. Solve -s*u = 3*y + 16, 0 = 2*u + u - 2*y - 5 for u.
-1
Suppose 0 = 6*a - 3*a, r + 5*a = 2. Suppose -n + 1 = -r. Solve -4*m - 2 = -d, n*m - d - 7 = 4*d for m.
-1
Let j be (-4)/18 - 2/(-9). Let b(q) = q**2 - 7*q - 5. Let t be b(8). Solve 28 = 5*o - j*o + t*c, 2*o - 4*c = 6 for o.
5
Suppose 2*p = -3*g + 37, 4*g + 86 = 5*p + 5*g. Let m = p - 2. Suppose m - 45 = -3*j. Solve 3*l + o + 10 = 0, -12 = 3*l + 4*o + j for l.
-2
Let b be 134/10 + (-6)/15. Solve 5*w - 4*d - 1 + b = 0, 4*d = 3*w + 12 for w.
0
Suppose 0 = 3*j + j - 36. Solve -f = i - 4, -2 = -2*f + i + j for f.
5
Let a(z) = -28*z + 5. Let g be a(5). Let y be (-4)/10 + g/(-25). Solve -y = 5*m - 5*v, -m - 3*v = -6*m + 1 for m.
2
Let d = -58 - -107. Suppose d = -q + 3*q + i, 3*q - i = 61. Solve -5*g - q = 7*m - 3*m, 0 = -5*g + m - 7 for g.
-2
Let b = -66 + 67. Solve 3*n + 5*u = -19, -u = 1 + b for n.
-3
Suppose -2*u + 32 = 4*p - 44, -3*u = p - 29. Solve 2*d - 5*s - p = 0, -2*s - 9 = 3*d + 2*s for d.
1
Let q be 18/8 + 1 + 2/(-8). Solve n = -2*n + 3*i - 9, -2*n - q*i + 14 = 0 for n.
1
Let s = -2 - -3. Let c be s*(2 + (2 - 1)). Suppose c*t + 15 = 39. Solve v + t = -3*u, v + 9 = 4*v - 2*u for v.
1
Let i be (-26)/91 + 79/7. Let q = 14 - i. Solve -q*h + 12 = 0, -3*h = -4*k - 7*h + 8 for k.
-2
Suppose 5*k - 287 = 13. Suppose -7*d + 2*d = -k. Let g be d*((-5)/3 + 2). Solve -4*c = 4*t + g, 5*c - 1 = -2*t + 6*c for t.
0
Let c(x) = -x - 6. Let w = -9 - 0. Let p be c(w). Let q(o) = 14*o**3 + o**2 - o. Let d be q(1). Solve -h + 1 + d = p*g, 10 = 2*g + h for g.
5
Let l = -167 + 181. Solve 2*a - 3*s = l, 0 = -5*a + 2*s + 14 - 1 for a.
1
Suppose 0*l - 12 = -4*l, -p - 8 = -3*l. Let z(r) = 8*r**3 + 1. Let i be z(1). Let o = i - 5. Solve -5*m = 25, -o*j + 3*m - p = -20 for j.
1
Suppose 9*o - 10*o = -5. Solve -f = -o*f - 4*c - 12, -3*c = -f - 7 for f.
-4
Let x = -13 + 9. Let p = x + 9. Solve -p - 1 = 2*h + 4*k, 0 = h - k + 3 for h.
-3
Let k = 6 + -4. Let d = -1 - 1. Let z be (-2 - d) + -4 + 6. Solve 4*a - 2 + 3 = h, z = k*h + 3*a for h.
1
Let t(p) = -p**3 + 6*p**2 - 5*p + 4. Suppose 2*j = 9 + 15. Let d be (j/(-10))/(6/(-20)). Let g be t(d). Solve 0 = n + 3*n - s + g, 0 = 5*s - 20 for n.
-3
Let c be (-1)/(-3)*0 - 2. Let g(v) = -v + 1. Let o(i) = -3*i - 5. Let y(q) = c*g(q) + o(q). Let k be y(-7). Solve -5*l + 3*w = 0, -4*l + 2*w = -k*w for l.
0
Let q = 35 + -30. Solve 5*c + t = 18, 0 = -q*c - t - 3*t + 27 for c.
3
Let s be (-3)/3 + (1 - 0). Let l = 1 - s. Let c = 0 + l. Solve 3*b + c = 2*n - 0, -5*b + 5*n - 5 = 0 for b.
1
Suppose u - 3 + 1 = 0. Solve 2*q + u*w + 2 = -2*q, 0 = 5*w + 5 for q.
0
Suppose -6 - 9 = -5*b. Suppose -2*i - i - 9 = -b*z, -3*z + 9 = -5*i. Let h be 0/((1 + i)/1). Solve -w - w - 2*k = 0, h = 2*w - k for w.
0
Let j(y) = y**2 - 8*y - 9. Let n = -54 - -94. Suppose -4*p = 4 - n. Let w be j(p). Solve -2*l + 3*r + 4 = w, 5*l + 1 = -2*r - 8 for l.
-1
Suppose 0 = -2*c + 4*c - 4*m + 6, c + m = 6. Solve 0 = 2*f - 2*p, 2*f = -c*f + p for f.
0
Let g be ((-1)/(-3))/(1/9). Let y = 2 + g. Solve -y*a + 23 = -2*k - 2*k, 3*k = 4*a - 18 for k.
-2
Suppose 3*b + 5*y - 6 - 29 = 0, 0 = 5*y - 20. Suppose -22 = -3*r + 2*f, 3*f = -4*r - r + b. Solve -5*i + r*c = -i + 24, -4*i + 3*c = 20 for i.
-2
Let b = -21 - -10. Let s = 14 + b. Solve -3*x = -4*x + q - 9, 4*x - s*q = -32 for x.
-5
Suppose -726 = -6*k + 54. Suppose 2 + 2 = 2*p. Suppose p*i - 7*i = -k. Solve 2*v + 2*s = -2, -4*v + 4*s - i = -2*v for v.
-5
Suppose -2*v - p + 19 = 0, 4*v + 0*v + 3*p = 43. Let q = v - -3. Suppose 0 = -3*d + 2 + q. Solve -y + 3*y = 5*h - 5, -d*h + 4*y + 4 = 0 for h.
1
Let q = -110 - -113. Solve u + q = -2*j - 7, -2*u - 8 = j for u.
-2
Let g = -100 + 109. Solve 2*o + 5*q = -g, -3*q + 5 + 1 = 5*o for o.
3
Suppose 0 = -u - 2*u. Let s = u + -2. Let g be 34/9 - s/9. Solve -5 = g*f - 5*n, f - 3*n - 24 = 4*f for f.
-5
Suppose n + 37 + 10 = 0. Let u = 69 + n. Solve -4*t + 2*g - 10 = 0, -13 = 5*t + 2*g + u for t.
-5
Let w(q) = -q**3 + 2*q**2 + q + 1. Let p be w(3). Let y(g) = g**2 + 4*g + 2. Let t be y(p). Solve 3*u - 3*k + 12 = 0, 2*k - t*k + 4 = 3*u for u.
-2
Suppose j = -j + 3*i + 14, -2*j - 2*i = -14. Suppose 0 = -n - 3*w + 7*w - 17, 5*n + w = -22. Let s = j + n. Solve -5*p + o = 6, 3*o - 2 + 1 = -s*p for p.
-1
Let r(n) = n**3 - 12*n**2 + 12*n - 6. Let z be r(11). Solve 5 + z = -5*h - 4*l, 3*l = 4*h - 23 for h.
2
Suppose 2*y + 5*n = -14, 2*n - n - 5 = -3*y. Solve -j = -k + 8, k - y*k = -j - 12 for k.
4
Let p(t) = 20*t - 36. Let x(u) = -4*u + 7. Let i(v) = 3*p(v) + 14*x(v). Let c be i(4). Solve -1 = -z + 4, -2*z = -4*o - c for o.
1
Suppose 5*q = -0*q + 15. Solve -4*v + 5*u - 40 = 0, -4*v + u - 9 = -q*v for v.
-5
Suppose -3*x - w + 4 = -50, 0 = -2*x - 3*w + 43. Let o = x + 23. Solve 0 = -5*t - z - 3*z - o, 5*t = -2*z - 30 for t.
-4
Let i(l) = -l**2 - l + 6. Let s be i(0). Let c = -5 + s. Solve 2*b + f + c = 0, 2*b - 5*f - 10 - 19 = 0 for b.
2
Suppose 0 = 4*c - g - 40, 9*c - 2*g - 53 = 4*c. Solve 2*q = -m + 7, 4*m + c*q = 4*q + 25 for m.
5
Let x = -26 + 10. Let k = 19 + x. Solve -2 + 7 = k*z - 4*s, 0 = -4*s + 4 for z.
3
Let n(d) = 4*d - 5. Let x be n(2). Solve s = -x*s - 2*v - 14, 2*s - 4*v - 18 = 0 for s.
-1
Let u be 2/5 + ((-13)/(-5) - 1). Solve 5*x + 2 = -6*d + u*d, 5*d = 3*x - 21 for x.
2
Let s(v) be the second derivative of v**3/6 + 7*v**2/2 - v. Let n be s(3). Solve -22 + 7 = 4*g - 3*c, 0 = -3*g + 2*c - n for g.
0
Let c = -9 - -14. Suppose 0 = a + 3*a - 4*f - 16, 4*a + c*f = 7. Solve -a*w = -2*h + 5, -4 = 2*w - h - 1 for w.
-1
Let a(j) = j**3 + 5*j**2 - 3*j + 6. Let z be a(-5). Let r = 11 + -11. Solve o = d - r*d, -3*d + z = 4*o for o.
3
Let h(s) = s**3 + 4*s**2 + s - 2. Let r = -6 - -10. Suppose 2 + r = -2*f. Let c be h(f). Solve v + c*t - 7 = -t, 0 = 2*v + 3*t for v.
-3
Let t(m) = 1 - 2*m - m**2 + 2*m**3 + 0*m**3 - 3 + 1. Let x be t(-1). Let o(c) = -7*c - 3. Let d be o(x). Solve -r + d = -4*h, -r + 21 = -6*r + h for r.
-5
Let s(x) = x**2 + 7*x + 4. Let k be s(-4). Let t = 13 + k. Let j be (-1)/(-2)*-6 + 8. Solve 8 + j = t*a - 4*p, 2*a + 5*p = 25 for a.
5
Let b be 12/6*2/4. Let h be b + -3 + (-5)/(-1). Suppose -t + 0 = -h. Solve 5*o - 2 = q - 14, 2 = 2*o + t*q for o.
-2
Suppose 2*q - 6 = 64. Solve v + 0 = -3*p - 11, -3*p = -5*v + q for p.
-5
Let o(b) = b + 14. Let u be o(-11). Solve u*s + 20 = 5*g, -15 = 5*s + 10 for g.
1
Suppose -3*s + 14 + 9 = -4*a, -a = -2*s + 7. Let w be -3 + (7 - 0)*s. Solve w*r + 3*n + 4 = -2*n, -5*r - 5*n = 0 for r.
4
Suppose 22 - 57 = -5*k. Let a = 0 - k. Let d(u) = -3*u - 10. Let p be d(a). Solve -p = 2*w - 3, 2*w = 4*n - 8 for n.
0
Let r(q) = -2*q. Let b be r(-3). Suppose b*j - i - 55 = 2*j, -5*i - 37 = -3*j. Let z be j/6 + 1/(-3). Solve l - 9 = 5*p, 0 = p - z*l + 8 + 1 for p.
-1
Let z(a) = 5*a**2 + 9*a + 8. Let v(u) = 9*u**2 + 18*u + 15. Let m(d) = 4*v(d) - 7*z(d). Let x be m(-9). Solve -2*r - 2*l + 8 = -4*l, -2*r - 2*l - x = 0 for r.
1
Let j be (-2)/4 + (-170)/(-4). Suppose 5*g - 3*c = j, 6*c - c + 13 = 2*g. Solve 0*i + 4*n = 5*i - 15, n + g = 3*i for i.
3
Suppose -5*f - 4 + 14 = 0. Suppose -3*d = -0*t + 4*t + 1, -5*d = 5*t - 5. Solve 5*b = 3*m + 19, f*m - d = -3*m + b for m.
2
Let n = -69 - -34. Let a be (42/n)/((-4)/10). Solve -5*h + 20 = -a*l, 4*l + l + 2*h + 23 = 0 for l.
-5
Suppose 5*t - 13 - 12 = 0. Let b(m) = -m**3 - m**2 - 2*m + 1. Let n be b(-2). Let a be n + -1*(0 - -3). Solve -3*r + 12 = g - a*g, 0 = -t*r - 4*g - 17 for r.
-1
Suppose -a + 12 = 2*a. Let d(g) = 2*g - 6. Let r be d(a). Let c be 36/15 + r/(-5). Solve -j - 8 = c*b, 0 = 3*b + 3*j + j + 12 for b.
-4
Let n = -3 - -16. Suppose -3*y - d + n = y, 2*d - 2 = -2*y. Solve 0 = -5*j - 5*z + 35, -5*z + z = -y*j + 4 for j.
4
Suppose -2 = -i + 4. Suppose 2*x - i = 0, -2 - 10 = -4*t - 4*x. Solve t = -5*s - 0*s + 3*j + 13, 2*j - 28 = -4*s for s.
5
Suppose q - 5*q - 4*i = -28, 2*q = -3*i + 17. Solve 5*l = q*t - 9, -2*l = -5*l - 5*t + 2 for l.
-1
Let p(f) = -f**2 - 3 - 2*f - 5*f - 4*f**2 + 4*f**2. Let s be p(-6). Solve g - 2*i = 2*g - 4, -2*i = -s*g + 12 for g.
4
Let d be (-1 + (-14)/(-10))*5. Let l(i) = 3*i + 1. Let t be l(1). Suppose o