 7*d - 2*d - 15 = 0, 5*y - 13 = 4*d. Let f be ((-3)/6)/(15/(-900)). Solve -3*b - f = -3*q, -6*b - 2*q = -y*b - 5 for b.
-5
Let y be (-1)/((-2)/4) + 1. Suppose 4*c + 0 - 8 = 0. Solve -c*d + 6 = 5*i - 6, 0 = -5*d - y*i - 8 for d.
-4
Let u be (4 - -1)/(5/2). Solve -u*f + k + 7 = 0, 3*k = 3*f + 2*f - 19 for f.
2
Let v(t) = t**2 - 6*t + 4. Let b be v(6). Let h = 6 + -4. Solve 4*l - h*y = 2 + b, -5*l + 2*y = -10 for l.
4
Let t(s) = -3*s - 6. Let m be t(-3). Solve -u = 2*v - 9, m*v - 6*v = -u - 6 for u.
3
Suppose 0 = 5*g - 4*g - 1, 5 = -2*p + 5*g. Let v be (-14)/(-63) + 86/18. Suppose -5*h - 9 + 34 = 0. Solve p = -y + v*f + 15, -h*y + 0*f + 3*f = 13 for y.
-5
Let w be (-1 - 2) + 2 + -8. Let u be ((-3)/w + -1)*-6. Solve u*v - 3*n + 8 = 0, -3*v - n = 4 + 2 for v.
-2
Let f be (1/(-1) - 0)/((-1)/3). Solve f*m - 7 - 2 = -3*p, -3*p = 0 for m.
3
Let a(k) = k**2 + k + 1. Let z be a(-2). Let t(p) be the second derivative of 2*p**3/3 - 14*p. Let f be t(z). Solve i - 3*r = f, -14 = -4*i + 4*r + 2 for i.
0
Suppose -4*p + 10 = p. Suppose p*k = 7*k. Solve 5*x + 2*u - 5 = k, 0*u + 18 = x - 3*u for x.
3
Let x(g) = -g**3 - g**2 + g - 1. Let b(d) = d**3 + 7*d**2 - 4*d + 7. Let i(u) = -b(u) - 2*x(u). Let z be i(5). Solve k = -3, 4*j + z*k - 5 = -0 for j.
5
Suppose -3*n + 12 = -12. Suppose -l = l. Suppose 4*s - 24 = -4*r, r - 2*r + 4 = l. Solve -3*u + s*u - m = -1, 4*m = n for u.
-1
Let u(r) = r**2 + 10*r - 6. Let v be u(-11). Suppose -2 = v*q - 17, -3 = -3*t + q. Solve -2*k - 2 = -t*g - 4*k, 5*k + 3 = -g for g.
2
Suppose 6*s - s - 3*f = 50, 4*s - 33 = f. Solve k = 3*g - 17, s*g - 30 = 2*k + 2*g for k.
-5
Suppose 2 = 3*y + 14. Let g(z) = -3*z - 5. Let x be g(-4). Let n = x + y. Solve -5*u - 15 = -2*w - n*w, -4*u = 2*w - 6 for u.
0
Suppose -p + h = 4*p - 31, -4*p + h = -24. Let w(g) = g**2 - 6*g - 7. Let v be w(p). Let s be (3 - v) + (-7 - -6). Solve 0 = 5*n - 0 - 5, -2*n + s = -5*b for b.
0
Suppose 3*b - 105 = -3*p, 4*b + 40 = 4*p - 60. Solve 9*k + p = -5*z + 4*k, -3*z - 4*k = 23 for z.
-1
Let x be (-137)/9 - 2/(-9). Suppose r = -0*r. Let l be x/(-20)*(r + 4). Solve 0 = -5*f + t + 3 + 3, 4*t = -l*f - 1 for f.
1
Suppose 3*q - 4 - 2 = 0. Suppose 5 - 1 = 2*n. Let a(y) = y**2 - 8*y + 7. Let v be a(7). Solve -3*x + 2*m - 1 = -v, -q = n*m for x.
-1
Suppose -2*p + 2*v = 0, -p = -3*p - v + 15. Suppose -h + 30 = p*h. Solve s = q, -h*q - 45 = 2*s - 10 for s.
-5
Let m = -18 + 21. Solve 0 = -5*n + m*t - 10, 5*n + 5*t = 16 - 66 for n.
-5
Suppose -2*c + 2*h - h + 12 = 0, 5*h = 5*c - 20. Let k = c + -6. Solve k*a + z = 4*z + 18, -5*z - 5 = 5*a for a.
3
Let a(q) = -12*q**2 + q**3 + 3*q + 8*q - q + 6 + q. Let u be a(11). Solve 0*r + 5*p + 13 = -2*r, -3*r + p = -u for r.
1
Let n(g) = -g + 0*g**2 + g**2 - 1 - g + 3*g. Suppose 0 = 2*q - 0*p + 3*p + 21, p = -5. Let v be n(q). Solve -2*r - 6 = -4*s, -4*s = 5*r - 6*r - v for s.
1
Let q = -90 - -90. Solve q = z + 4*z - 3*v - 24, -3*z + 4*v + 21 = 0 for z.
3
Suppose 0 = -r + 4, -2*p - 2*r + 24 = 3*r. Solve z + 10 = p*z - 2*u, z - 15 = 3*u for z.
0
Let k be 2/(-4) + (-115)/(-10). Let x = k - 6. Solve -d = -2*d + x*j - 19, 5*d = -4*j + 21 for d.
1
Let a(x) = -2*x + 12. Let j be a(5). Let i be (0 + 0)/((-4)/j). Suppose -p + 2*l = 4 + 1, l - 1 = p. Solve z - 5*d - 23 = i, -d + 20 = -5*z - p*d for z.
-2
Suppose -100 + 40 = -12*c. Solve 4*a - 5*p = 25, -1 + 26 = -a - c*p for a.
0
Suppose 5*k - 22 = -3*v - 7, -4*k + 4*v + 12 = 0. Solve -3*x = k*s - 3, -5*x - 3*s + 3 = -0*s for x.
0
Suppose -4*l + 2*l - 14 = 0. Let d = 10 + l. Solve -6*j - 15 = -3*j + d*z, -z = 3*j + 15 for j.
-5
Let k be (-1)/2 - (-49)/14. Solve 11 = -d + 8*c - k*c, 3*c = 9 for d.
4
Let u = -15 + 17. Solve -u*x + 0*t + t = -9, -4*x + 12 = 4*t for x.
4
Let a = 18 + -28. Let w = 42 + a. Solve b + w = 5*b + 3*c, -b + 4*c = 11 for b.
5
Let j(n) = -n**3 - 2*n**2 - 2*n - 3. Let a be j(-2). Let x be a*8*(-15)/(-12). Let q be x/(-4)*(-8)/5. Solve 8 = 2*v, q*v - 4 = 3*o + 15 for o.
-1
Let i be (-2 - -4) + (2 - -1). Solve 2*h + 29 = -i*q, -h + 2 = -2*h for q.
-5
Let i(w) be the second derivative of w**3/6 - w**2/2 - w. Let l = 7 - 3. Let o be i(l). Solve -5*t + 6 = -5*m - 2*t, o*m + 3*t = -18 for m.
-3
Let m(z) = 4*z - z**3 + 2 - 4*z + 3*z. Let v be m(-2). Let s(p) = -p**2 + 6*p - 6. Let n be s(v). Solve -4*f - n*u + 8 = 0, 2*u = -2 + 10 for f.
0
Let z = -130 - -142. Solve 4*u + z = -0*u, 2*u + 12 = 2*i for i.
3
Let j(f) = -f**2 + 6*f - 3. Let w be j(5). Suppose w*a - 1 - 5 = 0. Suppose 8*c = a*c. Solve c = u + 5*h + 3, -2*h - 3 = -3*u - 12 for u.
-3
Suppose m + 4*f = -m, 2*m = 3*f + 14. Suppose -2*c + m*d + 14 = 0, 2 = -3*c - 4*d + 3. Solve -5*b + c*h + 0*h = 37, -4*h = -4*b - 36 for b.
-5
Let x(s) = -s**3 - 11*s**2 + 11*s + 3. Let q(f) = -f**2 + 6*f - 5. Let w be q(7). Let c be x(w). Solve b = -3*z + 12, 5*z - 5 = 3*b + c for b.
0
Suppose -1 = -4*x - 17. Let p be 7 + x/(-8)*-4. Solve -p*k - 2*l + 7 = 3, 2*l = 4 for k.
0
Suppose -2*z + 14 = -2. Suppose -z*k = -3*k - 15. Solve 0 = -4*t + 3*b + 8, -k*b - 1 = t - 3 for t.
2
Let j(h) = -h**3 - 6*h**2 - 5*h. Let g be j(-5). Solve 3*w + 4*f + 6 = g, 0*w + 15 = 3*w - 3*f for w.
2
Suppose 0*d - 5*d + 90 = 0. Let t = 50 - d. Solve -3*j = -4*h - t, j + 4*j = -5*h - 5 for j.
4
Let v(p) = p + 5. Let c be v(-3). Solve -2*a - 2*i = 6, 5*a + 23 = -c*i + 5*i for a.
-4
Let c(z) be the third derivative of z**5/60 - z**4/6 - z**3 + z**2. Let r be c(6). Suppose 3*p + r - 30 = 0. Solve 4*q = 4*h - 7*h - 4, h = 2*q - p for q.
2
Let y(w) = 2*w - 5. Let u(d) = 2*d**2 - 1. Let f be u(-2). Let x be y(f). Solve l + 3*q - 10 = 0, -3*l + q = -3*q + x for l.
1
Let n(r) be the second derivative of r**3/6 + r**2/2 - 3*r. Let x be n(4). Solve 0 = -2*a + 4*a, x*h = 3*a + 5 for h.
1
Let a(b) = b + 10. Suppose -28 = 4*q - 0*q. Let d be a(q). Solve -3*z = 4*y + d, -5*z - 3*y + 2 = 7 for z.
-1
Suppose -8 = 3*k - 7*k. Solve -k*g - 5 = -o + 7, -2*o = -2*g - 16 for g.
-4
Let i = 4 + -1. Suppose -3*l + i = -0*l. Let p be (-71)/(-5) - l/5. Solve -r = 4*k - 15 + 2, -5*r = 3*k - p for r.
1
Let p(i) = -2*i - 10. Let t be p(-7). Let x = t - 0. Suppose 2*b = 7*b + 2*u - 12, 20 = b - 4*u. Solve -2*v = -b*j + 14, 7 + 11 = -x*v + 3*j for v.
-3
Let f be 9*2/6*1. Suppose -2*i + 12 = 4*d, f*i - 10 = -2*i. Solve d*k - 10 = 2*c, -4*k + 20 = -7*c + 5*c for c.
0
Let c = 16 - 8. Let b be c/(-16)*(-1 - 7). Solve 3*s - s = -10, -b*s = -u + 17 for u.
-3
Suppose 5*s + 0 = -3*o + 1, 5*o + 19 = 2*s. Let z = s - -7. Solve -4*u + 6 = -5*i, 4*u - z = 4*i + 5*u for i.
-2
Let z be (-2 + 10/6)*0. Solve z*d - p = -3*d - 1, 0 = -d - 3*p - 7 for d.
-1
Let m(a) = 2*a + 2. Let z be m(-1). Solve z = 2*r + 2*g + 4, -r + g + 2 = 6 for r.
-3
Suppose -b - 4*i = -8, 3*i = 2*b + 4*i - 9. Solve 0 = b*a + 4*m + 16, -3*a + 0*a + 3*m = 18 for a.
-5
Let g(n) = n**2 + n - 6. Let b(o) = o**2 + o - 5. Let d(r) = -4*b(r) + 3*g(r). Let a be d(0). Solve -2*p - a*p + 2*y - 6 = 0, 8 = 3*p + y for p.
1
Suppose 4*l + 0*l - 4 = 0, -7 = -3*q - l. Solve -t + 3*j = 4*j + 1, 0 = -2*t - j - q for t.
-1
Let a(t) = 6 - 1 + 2 - t. Let i be a(-13). Suppose 27 + i = 3*b + v, -4*v - 4 = 0. Solve 5*g - p + 7 = 0, 5*p + 4 = 2*g + b for g.
-1
Let m be -1*(21/(-3) - -2). Suppose -q + 2 = -0. Suppose -18 - q = -4*v. Solve -3*c + m = 5*k, -v*k + 1 = -c - 4 for k.
1
Let q = -6 - -10. Let m be q/(-6)*(-3)/2. Solve 4*a - 34 + 6 = 4*w, 3*a + w = m for a.
2
Let z(t) = t**3 - 12*t**2 + 3. Let r be z(12). Suppose 4*g = 8*g - 60. Solve -5*o + g = n, r*o = -0*o + 4*n - 14 for o.
2
Let x be -12*(-2 + 28/16). Solve 2*g = -4*t + 18, 0*g - x*g = -3*t - 9 for t.
2
Suppose -4*p = -2*p - 10. Let k = 54 - 18. Let h be k + (0 - 2) + -2. Solve 3*q = i - 12, 4*q - i + p*i = -h for q.
-5
Suppose 4*f - 308 = 88. Suppose f = 5*r + 39. Solve -3*h + 24 = -2*h - 5*m, 2*h = m + r for h.
4
Let s = 6 + -4. Suppose 0 = 4*f + 8, 2*f + 0*f + s = -x. Let i be 1/(-1)*0/3. Solve 0 = 3*y - 3, g + y + x - 1 = i for g.
-2
Let i(z) = z**3 + 3*z**2 - 3*z - 4. Let y be i(-3). Let r = -8 - -14. Let d(o) = 2*o + 1. Let s be d(r). Solve 0 = 5*u - 4*h + y*h + 19, -4*h = -u + s for u.
-3
Suppose 6 = 4*f - 2. Let l(c) = -4 + c**3 - c**f + 4*c - 3*c**2 + c. Let j be l(3). Solve -3*z - 3*v = 27, 0 = -4*z - 4*v + j*v - 26 for z.
-4
Let q(s) = s**2 - 7*s - 12. Let j = 11 + -2. Let h be q(j). Suppose -2