5
Let b(v) = -v**3 + 5*v**2 - 4*v + 3. Suppose 4*d - 5*d = -4. Let f be b(d). Solve -2*p + 0*p - 5*s + 15 = 0, -f*p - 2*s = 5 for p.
-5
Suppose 8*k - 16 = 7*k. Let m = 16 - k. Solve 4*b + 4*l = m, l - 5*l = 5*b + 1 for b.
-1
Let l(b) = -b**3 + b**2 - b + 3. Let k = -5 + 5. Let h be l(k). Suppose -3*p = -4*p + 4. Solve -h*x + 0 = -2*r - 2, -3*r + x + p = 0 for r.
2
Suppose -4*b = -53 - 7. Suppose 2*l + l - b = 0. Solve -l*q + 4*o = 1, 0 = -q + o - 0 - 1 for q.
3
Let h be (-3)/(-6)*3*(-8)/(-3). Solve 2*d + 0*d = -8, -4*f + h = d for f.
2
Let x(a) = -4 + a + 0 - 3. Let s be x(11). Solve s*n - 6*n - f = -5, 5*n + 3*f - 10 = 0 for n.
5
Let y(d) = d**2 - 6*d + 7. Let j be y(3). Let b be j/4 - (-88)/16. Solve -2*w = 3*z + 7, -20 = b*z - 3*w - 2*w for z.
-3
Suppose 4*w + 5 = 1. Let y be 3 + w - (1 + -3). Suppose -3*b + 6*b + y*p = 28, 3*p - 12 = 0. Solve 4*o + b*l = 24, l + 3 = o + 1 for o.
4
Suppose 0 = -5*y - 3*x + 9, -y - 4*y - x + 3 = 0. Suppose 4*o = g + 8, o + y*o - 2 = g. Solve 3*r = -4*b - 16, -2*b = -b - o*r - 7 for b.
-1
Suppose -2*n = -n - 2. Suppose -q = -3*f + 10, -3 = -4*f + 3*q + n. Solve 5*y + 0*h - 4*h + 3 = 0, -24 = 3*y + f*h for y.
-3
Let q(r) = -r**2 - 4*r. Let a be q(-3). Suppose 3 = 3*g - g - 3*o, 2*g + a*o = -3. Solve g = -4*d - 0*d + 4, 4*d = -h for h.
-4
Let y = -5 + 7. Suppose 2*k - 5 = -3*k - 2*f, -4*k + 37 = -5*f. Solve 2*b + 22 = k*q - 1, -y*b = -4*q + 28 for b.
-4
Let q(p) = p**3 - 2*p**2 - 4*p - 3. Let n be q(4). Solve -c + 17 = 4*x, -4*x = -c - 2*x - n for c.
-3
Suppose -3*r - 20 = -7*r - 5*z, 4*z = 0. Let i = r + -5. Let l be 1 + (-1 - i) - -2. Solve -3*s + 9 = 3*u, -5*s + l*u = -s - 24 for s.
5
Suppose 0 = -4*a - 2*m + 4, 2*a - 7*m = -3*m + 22. Suppose -4*z + z - 2*j = -60, 4*z - 4*j = 60. Solve 3*c + l = 7, -c + a*c = 5*l - z for c.
1
Suppose -3 = -3*o, 6*k = k + 3*o - 3. Solve v + 2*q = 5*v + 8, k = -2*v + 2*q - 8 for v.
0
Let z = -9 - -25. Let t be (15/(-2) + 2)*-2. Let w = t + -9. Solve -2*y - 3*j = z + 5, -y = -j - w for y.
-3
Suppose 3*h = -5*j + 57, -2*j - 4*h - 18 = -52. Suppose 0 = -3*g + 3*c + j, -3 = -g - 2*c + c. Solve -w + 17 = 4*q, g*w + 9 = 5*q - 2*q for q.
4
Suppose j = -2*x - 4*j - 7, 3*j + 29 = 5*x. Solve -4*n + 0*n = m - 6, 3*m + x*n - 10 = 0 for m.
2
Let g(m) = 5 - 2 + 2*m - m**2 + 0*m. Let r be g(3). Solve -a + 3*a = r, 3*a + 12 = 4*t for t.
3
Suppose 2*j = 3*g + 59, -2*j - 3*g + 25 = -j. Let y = j - 20. Solve 5*x - 5*v = 20, 0 = -4*x - 3*v + v - y for x.
0
Let h(x) = 41*x + 5. Let c(n) = -20*n - 2. Let z(j) = -7*c(j) - 3*h(j). Let y be z(1). Solve 2*b - y = -f - b, 2*f + 3*b - 17 = 0 for f.
1
Suppose -x + 8 = g - 0*x, x + 1 = 2*g. Suppose 3*p = 5*p - 2*a, -5*a = -g*p. Solve p*c - 3*j - 22 = -5*c, j - 2 = -3*c for c.
2
Let v(i) = i**3 + 4*i**2 + 6*i + 5. Let t be v(-3). Let z be 1 + 1/(t + 3). Solve 0 = -k + 3*l - 13, 4*k + 1 = -5*l - z for k.
-4
Suppose y + 18 = 2*y. Let q be (-8)/(-6) + 12/y. Solve i + 9 = q*v, 2*v = -3*i + 6 - 17 for i.
-5
Let k(n) = 2*n**3 + 2*n**2 - 2*n - 2. Let d be k(-2). Let s be (1 - -4)*d/(-5). Let q = 3 + s. Solve p = x - q - 0, 5*x - 25 = p for p.
-5
Suppose 4 + 2 = 2*y. Solve 5*s - 2*r + 7*r = -15, 3*r - 9 = y*s for s.
-3
Let w(c) = -c**2 - 7*c - 6. Let x be w(-5). Suppose -2*h - 4 = -t + 5*t, h = 3*t - 7. Let v be (-2)/h + (-30)/(-20). Solve g = -l + 3, v + 1 = -x*l + g for l.
0
Let d(y) = 9*y**3 - 2*y**2 + 2*y. Let t be d(1). Solve -t = 3*g - 2*v, -3*g = 2*v - 3*v + 12 for g.
-5
Let x(u) = -u**2 + 6. Let p be -2 - (-3 - (-3 - -2)). Let g be x(p). Let w be (g - -2) + (-9)/3. Solve -3*n - 24 = -2*a - w, 3*n - 6 = -3*a for n.
-3
Let o(y) = -5*y**3 - y**2 - y - 1. Let k(r) = -r**3 - 6*r**2 + r + 5. Let t be k(-6). Let w be o(t). Solve -4*v + 4*n - 6 = 6*n, 15 = -v + w*n for v.
-3
Let i = -4 - -6. Let f be -34*(-3)/6 - i. Let g = f + -10. Solve -2*b + 7 = g*a, 3*a - b = -0*b + 13 for a.
3
Suppose 2*t + 4 = 3*t. Solve 4*w + 0 - t = 4*a, -2*w = 2*a - 2 for a.
0
Let r be ((-24)/20)/(1/(-30)). Suppose 0 = -5*t - 6 + r. Let m = t - 4. Solve -h + 3*o - 18 = -4*h, 6 = 4*h - m*o for h.
3
Suppose -2*x + 0*x = -3*i + 15, 5*i = -x + 12. Solve -i*h - 1 = m + 4, -4*h - 10 = 2*m for h.
0
Let a(j) = -j**2 + 19*j + 20. Let u be a(20). Let c be (-7)/(-3) - 4/(-6). Solve u = -c*f - 6, -6*r + f + 17 = -r for r.
3
Suppose -27 + 123 = 2*o. Suppose -4*w = -0*w - o. Solve -2*r - w = -3*a - 0*r, 0 = -r - 3 for a.
2
Let t be ((-12)/(-15))/((-2)/(-10)). Solve 3*v = -1 + 7, t*v = 4*f + 24 for f.
-4
Let u be 6/21 + 244/28. Solve j = -2*r - u, 2*r - 3*j - 18 = 5*r for r.
-3
Let p = -4 + 5. Let g be (p - 2)*1 - -1. Suppose -2*q + q = 5*y - 23, g = -4*y - q + 18. Solve -3*k + 2*x + y = 0, -k - 4*k = 2*x - 35 for k.
5
Let n(d) = 5*d**2 + d - 1. Let c be n(1). Suppose x = c*x - 8. Suppose 11 = 3*h + x. Solve 2*g = -2*m, -m - h*g = -2*m - 20 for m.
-5
Let k be (-4)/10 - (2 + (-128)/20). Solve 2*o - 4*x = 4, -3*o + 0*x - k*x - 24 = 0 for o.
-4
Suppose 8 = u + u. Suppose u*z = -2 + 10. Suppose i = 4*q - 0*i - 10, 5*q + 2*i = 19. Solve 0 = -z*w - q*l + 6, -7*w + 4*l = -2*w - 15 for w.
3
Suppose d + 4*q = 25, -4*d + 9*d = 3*q + 10. Suppose 0 = -p - v + 13 - 1, 2*p = -4*v + 32. Solve 5*y = 5*a + 20, 2*y + d*a + p = 4*y for y.
4
Let h be ((-3)/2)/(24/(-64)). Let n be h - 5/((-5)/(-2)). Solve -2*m + 0*m = 4*b + 8, n*b + 3*m = 4 for b.
-4
Let k(i) = 3*i + 8. Let b(h) = -h. Let p(v) = 4*b(v) + k(v). Let l be p(8). Solve 3*r - 10 + l = -o, 0 = 2*r + 2*o for r.
5
Let t be ((-12)/10)/((-12)/30). Let n be -3 + (8 - 9/t). Solve o + n = 3*o + 2*f, -f = -5 for o.
-4
Suppose 2*d - 5*w = 31, -d - 7 = 4*w + 10. Solve 15 = -0*b + 4*b + 3*t, -13 = -d*b - 4*t for b.
3
Let d = 1 - -1. Let c be -1 + d - 1 - -3. Suppose -2*g = 5*x - 8, 2*g + c*x = g + 4. Solve -f + 4*w = -g*f - 5, -w = f for f.
5
Let x(t) = 2*t - 6. Let z be x(4). Suppose 2*c = -z*c. Let w be (c*3/9)/1. Solve -5*d - 5*y = 20, -3*d + 2*y = -w*y - 13 for d.
1
Let k = -7 - 7. Let i = k - -18. Solve 0 = i*m - 3*r + 10, -4*r = 4*m + 25 - 1 for m.
-4
Suppose -w - 4*w - 5*b = 0, 4*b + 12 = 0. Suppose 0 = v + i - 5, -4 = -4*v + w*i - 5. Solve -v*f - 5*g = -19, 2*f + 4*g - 9 = g for f.
-3
Let m(x) = -x**2 - 6*x - 6. Let u be m(-4). Let w be ((-2)/(-3))/((-3)/(-108)*6). Let k = w - u. Solve -3*b + b - k*v = 10, 5*b - 5*v = -5 for b.
-3
Let d = 18 - 12. Let v be d/(-9) + (-12)/(-18). Solve 0 = -5*a - 4*q - v + 40, -17 = 2*a - 5*q for a.
4
Let m(x) be the first derivative of x**2/2 + 11*x + 1. Let a be 1/(2*4/(-56)). Let h be m(a). Solve -5*w - 21 = -h*f, w - 6*f = -3*f - 13 for w.
-1
Let l = -10 - -16. Suppose -3 = z - l. Suppose z*n = 2*n. Solve 1 = -k, -4 = y - n*k + 3*k for y.
-1
Let o be ((-80)/(-60))/((-2)/(-3)). Solve 0 = 3*u + 5*b - 10, -o*b + 4 = -4*u + 2*u for u.
0
Suppose k - 3*k = 0. Let x(s) = s**2 + s - 8. Let b be x(0). Let t(z) = -z**3 - 9*z**2 - 10*z - 11. Let d be t(b). Solve 4*u + 22 = -5*y - 3, k = d*y - u for y.
-1
Let s(q) = 2*q**2 + 2*q - 1. Let x be ((-39)/9 + 4)*-3. Let w be s(x). Solve -w*m = l + 2 - 12, -2*m = -5*l - 35 for l.
-5
Let v be (-6)/(10/6 + -2). Solve 0 = -t - 4*a - 12, t = -2*t - 3*a - v for t.
-4
Let n be 12/(-9)*6/(-4). Suppose 2 = n*q - 6. Solve f + q*f - 5*p - 5 = 0, 0 = 5*f + 4*p + 13 for f.
-1
Let h be 4 + -4 - 1*-9. Suppose o = -1 + h. Let d = -4 + o. Solve 0 = 3*x, 0*q - d*q - 5*x = -8 for q.
2
Suppose 0 = -5*p - 5, 5*i = 3*p + p + 19. Let d = i + -3. Suppose 3*f - 5*f + 8 = d. Solve -2 = 5*n - 2*r - 24, -n - f*r = 0 for n.
4
Suppose 5*b - 21 = 29. Let y be 4/14 + (-24)/(-14). Suppose 0 = -0*f - y*f + b. Solve -5*q - 5 = f*g + 10, 3*g + 9 = 0 for q.
0
Let b be -2 + 2*(3 - 2). Suppose -5*w + b*w = -10. Suppose -5*m - 3*d + 71 = 0, w*m + 2*m - 4*d = 76. Solve -2*o + 0*k + 5*k = m, -5*o + 3*k - 2 = 0 for o.
2
Let p(w) = -w**2 - 6*w - 5. Let n be p(-5). Suppose n = 5*i - 598 - 2. Suppose 0 = -z - 4*z + i. Solve 0*o - 4*o + 2*s - z = 0, 0 = -o - 3*s + 8 for o.
-4
Suppose 21*d - 60 = d. Solve d*q - m = -5, 4*m - 20 = -5*q - 0 for q.
0
Let u be (-3 + 2)/(-1)*17. Let g = u - 12. Solve -3*n = 5*p + 15, g*n - 2 - 4 = 2*p for p.
-3
Let p(c) = c**3 + 6*c**2 - c - 6. Let v be p(-6). Solve -b + 4*h + 25 = v, -3*b + 30 = -h + 10 for b.
5
Let k be 6/(-10) - 318/(-30). Solve 5*g - 2*t + 18 = -9, -3*g - 5*t = k for g.
-5
Suppose 2*f + 4*x -