f be p(-1). Solve 3*d + d - 9 = -v, -3*d = -f for v.
5
Let x = 28 - 25. Suppose 2*o = -x*o + 10. Solve -2*w + o*k + 0*k = 2, 2*k = -5*w + 16 for w.
2
Let t be 2/(-9) + 74/9. Solve -2*x - x = 2*g + 20, t = -2*g for x.
-4
Let t(m) = -m**2 + 7*m + 4. Let q(o) = o. Let d(b) = 6*q(b) - t(b). Let g be d(3). Suppose a + 15 = g*a. Solve 4*z = 3*z - 2*j + a, -30 = -5*z - j for z.
5
Suppose -4 = 5*v - 19. Let z = v + -1. Solve 5*l - z*a = 11, 2*l = -2*a + 5*a for l.
3
Let b be -1 - 2 - (-2 + -4). Solve 0*t + d - 2 = t, -b*t + 4 = -d for t.
3
Let i(l) = -16*l**2 - 3*l - 2. Let m be i(-2). Let c be m/(-27) + 2/(-9). Solve -6 = -3*r + c*y, 3*y - 3 + 6 = 3*r for r.
4
Let d(c) = c**3 + 15*c**2 + 54*c + 5. Let v be d(-9). Let j be (-4)/(-14) - (-54)/7. Let m = 12 + j. Solve -3*s - s - 2*i - m = 0, -2*i = -v*s - 16 for s.
-4
Let g = -1 - -11. Let d be -3 + g + -2 + -1. Solve -d*r - 28 = 4*b, -b + 1 - 17 = 4*r for b.
-4
Let v(o) = -o**2 - 4*o + 5. Let u be v(-5). Solve 5*d - 15 = u, 2*s = -3*d - 0*d + 3 for s.
-3
Let w(i) = 8*i**2 - 1. Let q be w(1). Solve 3*k - 4 = 3*g - 4*g, -k = 2*g + q for k.
3
Suppose 3*r + 10 = 4*r. Solve 5*p = -4*m + 25, m + m = r for p.
1
Suppose 0 = 3*y - 5*y + 6. Solve -5*j + 0 = y*s + 20, 5*s - 3*j + 22 = 0 for s.
-5
Let w be 2/(-6)*(6 + -6). Suppose w = 10*c - 7*c - 12. Solve 2*q - 4 = -x, c*q + 3*x = -x + 12 for q.
1
Let b = -29 - -32. Solve 0 = -4*q - 3*c + 31, -5 = -2*q - b*c + 18 for q.
4
Let c(h) = -h**2 + 4*h + 2. Suppose 0 = -r - 3*r + 12. Let b be c(r). Solve b*z + 4*i + 5 = 0, 4*z = -3*i - 0*i - 4 for z.
-1
Let k(q) = -q + 10. Let x(r) = -4*r + 30. Let f(a) = 7*k(a) - 2*x(a). Let z be f(-8). Solve o = z*b - 3, 0 = -5*b + b - 2*o + 26 for b.
4
Suppose -5 = 2*w - 3*w. Solve -v + 9 = -3*y, w*y + 0*y + v = -7 for y.
-2
Suppose 3*z - 726 = -3*d, 0 = -z + d + 368 - 116. Suppose 5*q + 82 - z = 0. Suppose 0 = 5*i - 42 - q. Solve -2*x - 8 = 0, 4*a = -a - 5*x - i for a.
1
Suppose 0*y + 2 = y. Solve 3*w - a = -3 - 1, 0 = y*w + 4*a - 16 for w.
0
Let x be (-8 - -3)*(4 + -2)/(-2). Solve 0 = x*y + 2*n - 31, -3*y - 2*n = -0*n - 21 for y.
5
Let h(s) = -24*s**3 - s**2 - 2*s - 1. Let p be h(-1). Let m = p + -8. Solve -3*b - m = b + a, -5*b + 5 = -5*a for b.
-3
Let g be (3/2)/((-3)/(-18)). Suppose -3*k = 2*k. Suppose -u + 7*c - 3*c - g = k, 0 = -u + 3*c - 6. Solve u*q = 2*o + 12, 3*o + 0 = 3*q - 12 for o.
0
Suppose -4*q = -2*s - 24, -q - 14 = -3*q + 2*s. Solve 5*o = -3*l - q + 1, -2*l = 3*o + 2 for l.
2
Suppose 3*v - 4*v - 2 = 5*o, 5*o = -4*v + 7. Let g be (-3)/6 - (-10)/4. Suppose 0 = 2*q - g, v = -4*h + 2*q + q. Solve -2*x + 2 = h, 2*n + 7 = -x - 0 for n.
-4
Let y be (-48)/(-1*3) + 0. Let a be ((-9)/6)/((-6)/y). Suppose -3*o - 27 = -a*d, -24 = -3*d - 3*o + 6*o. Solve 6*j = -4*k + d*j + 32, -5*k + 21 = -j for k.
5
Let c(y) = -y**2 - 11*y - 10. Let r be c(-10). Let q be (-60)/8*(-4)/5. Let n = 9 - q. Solve r = 4*s - z - 4, n*s - 3*z = -z - 2 for s.
2
Suppose 0 = y - 5*w - 5, y - 5*y - 1 = w. Suppose y = -f - f + 8. Solve -2*g + 22 = g + 4*q, f*g = 3*q - 4 for g.
2
Let x(s) = -s**3 - 3*s**2 + 3*s + 1. Let p be x(-4). Let z be ((-12)/10)/((-2)/p). Solve -20 = -4*y + 3*k, 3*y + 14 = -z*k - 2*k for y.
2
Let u(z) = z + 8. Let d be u(-6). Suppose -d = 2*i - 12. Suppose -5*g + 7*g = 0. Solve 4*m - 3*x - 21 = g, 0 = i*x + 14 + 1 for m.
3
Let w(b) = -b**3 - b**2 + 1. Let g(l) = 10*l**2 + 10*l + 1. Let q(c) = g(c) - w(c). Let i be q(-10). Solve 5*u + 2*z - 10 = i, -2*u - 4*z = -6*z - 4 for u.
2
Let v(d) = d**3 - 4*d**2 + 2*d - 3. Let z be v(4). Solve -4*j = -0*j + c - 4, -z*j + 5*c + 5 = 0 for j.
1
Let f be 8/(-16) - (-14)/(-4). Let q be (-13)/f + 3/(-12). Solve -5*j + j + 2*t - 4 = 0, 3*j + q = -t for j.
-1
Let s = 5 - 21. Let l be (-3)/12 + (-4)/s. Suppose 5*f - 4*h - 29 = l, -7*h = -4*f - 4*h + 23. Solve 0 = -4*j - 3*x - 17, -4*j + f*x - 3*x = 22 for j.
-5
Let d be (36/21)/(2/7). Solve -d*o + 8 = -4*w - o, -16 = -4*o for w.
3
Suppose -5*q + 0*q = 0, -5*q = 5*u. Solve u = -v - 2*w - 4, -2*v + 4*w = w + 1 for v.
-2
Let d be (-1*(-4)/(-6))/(26/(-819)). Solve s + 4 = -0, 5*g - 4*s = d for g.
1
Let s = -9 - -11. Solve v + 4*l = 8, -2*v = s*l - l + 5 for v.
-4
Suppose -14 = -6*h - 2. Let j(l) = l**2 + l - 2. Let i be j(h). Solve 0 = 3*u - 4*q - 11, 0*u - 2*q - i = -2*u for u.
-3
Let p(g) = -6*g - 1. Let f be p(-1). Suppose 0*n + 32 = 4*r + 4*n, 0 = r - n + 2. Solve -r*b + f*b - i - 14 = 0, 3*b - 31 = 4*i for b.
5
Let w(k) = 9*k**2 - k. Let h be w(-1). Solve 4*j + 0 - 7 = -3*u, 0 = -5*u - 5*j + h for u.
1
Let f(t) = 3*t**2 - 1. Let m be f(-1). Solve 3*c + 5*v - 2 = 0, m*c - v = 3*c - 2 for c.
4
Let k = -3 + -2. Let l be 10/(-3)*6/k. Let u(d) = d**3 - 3*d**2 - 4*d + 3. Let m be u(l). Solve 0 = 6*x - 2*x + a + 10, m*a + 6 = 0 for x.
-2
Let o(c) = c**3 + c**2 - 4*c - 1. Let j be o(-2). Solve -d = 3*s + 10, -5*d + 2*d + j*s = -18 for d.
2
Suppose -3*c = -3*f, 0 = -3*c + 3*f - f + 4. Let r = 54 + -34. Let h = 7 + -2. Solve 2*u + r = d + 3*d, -h*d + c*u + 31 = 0 for d.
3
Let c = 13 - 11. Solve 2*f - 19 = 3*n - 2, -2*f - c*n + 2 = 0 for f.
4
Let i be 2/(-8) + (-63)/4. Let w be 3/(-3 - i/5). Solve 4*k + 30 = 5*s - 0*k, -w = 3*k for s.
2
Let k = -1 - -4. Let x be 3 + 1 - (4 + -2). Solve -i - y = 7, x*i + 8 = -k*y - 8 for i.
-5
Let u = 6 - 1. Suppose 2*q = 3 + u. Solve -3*g - 2 = 3*f - 5, q*f = -g + 10 for f.
3
Suppose -3*p - 39 = -5*s, -2 = 5*p + 13. Solve 5*t + 4*l - s = 0, -3*t + 2*t + 2 = l for t.
-2
Suppose 0*c + 2*c = -4*g - 14, -3*g = -3*c + 15. Let i be 0/(c + 1)*1. Let v = 5 + i. Solve 0 = 2*q + 8, -a + v*q = 2*a - 8 for a.
-4
Let y = 69 + -65. Solve -y*u + 0*n = -2*n + 12, -2*n = 0 for u.
-3
Let v(t) = -2*t + 3. Let s be v(-3). Let y be 1/(-3) + 21/s. Solve u - 8 = 4*u + 2*a, -5*u - 12 = y*a for u.
-2
Suppose -2 = -a - 0. Let i = a - 2. Suppose 0 = g - 5, -4*b + 0*b + 2*g = -6. Solve 0 = -5*m - 2*h + 13 + 3, b*m + 5*h - 6 = i for m.
4
Let h be -4*(-4 - (-75)/20). Solve -3*r - a = 4, -r + 3*a - 17 - h = 0 for r.
-3
Let g(j) = -2*j - 12. Let q be g(-6). Solve q = p - 5*v + 4, -4*p = v - 6 + 1 for p.
1
Let n be (-8)/20 + (-38)/5. Let q be (8/10)/(2/(-20)). Let l = n - q. Solve -6*x = -5*s - x + 10, -4*s - 3*x - 27 = l for s.
-3
Let r = -12 + 15. Solve 5*k = -3*u, r*k = -u - 4*u - 16 for u.
-5
Suppose 3*r = 4*r - 1. Let i(z) be the first derivative of 3*z**4/2 + 2*z**3/3 - z + 4. Let l be i(r). Solve -2*p = 5*m - 10, -4*m + 3*p - l*p - 4 = 0 for m.
4
Suppose -5*y = r - 1 - 14, 3*y - 22 = 2*r. Let t be (35/2)/r*-4. Solve -3*o = -q + t, -15 = o + 2*o for q.
-1
Suppose -5*d + 2*d + 42 = 0. Suppose -3*m - 2 = -d. Let w be (m/(-10))/(2/(-20)). Solve 0 = 3*q, -u + w*q = q - 5 for u.
5
Suppose l = -4*k - k + 5, k = -4*l + 58. Let s = -12 + l. Solve -3*n + 2*v - 4*v - 6 = 0, -s*v = 4*n + 9 for n.
0
Suppose -n + 25 = 22. Solve 5*i + 2*h - 5 = 0, -n = -0*i - 3*i - 2*h for i.
1
Let c = 0 + 61. Suppose -5*z - 4*j + 0 + c = 0, 14 = 2*z - j. Let f be ((-6)/z)/(2/(-15)). Solve -h + 3 = -f*l, -l - 5 - 4 = -3*h for h.
3
Suppose -j + 2*g = -0*g + 8, -4*g + 16 = 0. Suppose j*z = s + 3*z - 21, 0 = z. Solve 3*a - 5*v - 6 = 0, -3*a + a - s = 5*v for a.
-3
Suppose 99 = 4*z + 3*a, 4*a - a = 2*z - 45. Let m be -3 + 3 - (1 - z). Suppose 3 = 2*v - v. Solve -t - 1 = y, 0 = -2*y + 5*t + m + v for y.
3
Suppose -4 = -5*i + 1. Let n be (-1 + (0 - -1))/i. Solve 20 + n = -5*v + l, -4*l - 20 = 0 for v.
-5
Let a be (1 + 3 + -1)*1. Solve 3*j + a*m = 0, -3*j - 35 = -m - 15 for j.
-5
Let a(b) = -2*b**3 - 2*b**2 - 3*b - 1. Let x be a(-1). Solve 5*q - 5 = 5*d - 0, 4 = q - x*d for q.
-2
Let h = 5 + -1. Suppose 0 = -3*f - 5*l - 73, 0 = 2*f + 2*l - 3*l + 27. Let x = 33 + f. Solve b - 5*k - 5 = -h*b, x = -3*b - 2*k for b.
-3
Suppose -4*i = -4*v - 4, 0*v + 1 = -4*i - v. Solve -5*l - 3*g - 2 = 0, 3*l + 3*g + 0 + 6 = i for l.
2
Suppose -k - 228 = -5*k - 4*m, -5*k = m - 269. Suppose -5*w + w = -z - k, -4*w - 3*z + 49 = 0. Solve -4*q + 5*t + w = 0, 4*q + t = -1 + 8 for q.
2
Let s = 11 - 5. Suppose 3*o - o - s = k, -5*o = 2*k - 15. Suppose 0*a + 3*a - 24 = 0. Solve 3 = -2*j - 3*q + a, 0 = o*j - 2*q + 12 for j.
-2
Let o(i) = -i**3 - 5*i**2 - 4*i - 7. Let t be o(-5). Solve 2*b + 4*x + 6 = 0, 5 = 2*x + t for b.
5
Let q be (3 - (-2 - -2)) + 0. Solve -5*y - 6 = -q*a, 4*a + 7 = -5 for y.
-3
Let g = 15 + -16. Let