 t + 3, 8 = a*v - 4*t for v.
-4
Suppose -s + 55 = 5*u, 0*s = -u + 2*s. Let o = -2 - -14. Suppose z = -2, -2*b + 0*z + z = -o. Solve 0 = 5*f + u, -3*d = -b*d + f + 12 for d.
5
Let b(j) = -j**3 + 2*j**2 + 1. Let u be b(2). Let w be 63/15 + u/(-5). Solve w*q = 0, 2 = 3*i - i + 2*q for i.
1
Let s be -2*(4 - 11/2). Solve -4*u = -u - 3*a + s, 2*a = -u - 4 for u.
-2
Let s be -3*12/9 + 10. Let o = 9 + -5. Suppose 5*j + 2 + 28 = 2*u, 3*j = o*u - 32. Solve -2*a - 2 = -z - a, -s = -4*z + u*a for z.
4
Suppose -4*b + h = -5*b, 0 = -5*b + h. Let l be -4*2/4*-2. Suppose o - l*o = b. Solve y + z = 3*y + 3, o = 2*y + 5*z + 21 for y.
-3
Let z(h) = -h**2 + 7*h + 10. Let o be z(8). Solve 0 = -5*x - o*p + 11 + 4, 0 = 5*p for x.
3
Suppose 0 = t + 5*p - 29, -4*t - 2 = -p - 13. Solve 5*u + 17 = -4*w - 0*u, -t*u = 2*w + 10 for w.
-3
Suppose 3*u - 55 = 8*u - 4*a, -2*u - 4*a = 22. Let p(c) = c**3 + 12*c**2 + 11*c + 2. Let r be p(u). Solve -2*v = -7*g + 3*g + 4, -r*g + 12 = 4*v for v.
2
Let f be 4/6 + (-38)/(-6). Let i be (-2)/(-4) + 122/4. Suppose 2*r + 3*r = -3*o + i, -4*r + 17 = 5*o. Solve -2*z = -2*t + r, -4*t + 23 = 5*z + f for z.
0
Suppose 6 = 2*a - y, 0*y = -2*a - 4*y - 4. Solve x = -3*x - m - 7, 0 = -x - a*m - 7 for x.
-1
Let s be 2/12 - 37/6. Let d(m) = m**3 + 6*m**2 + 3. Let w be d(s). Solve 0 = -3*c + w*o - 9, -5*c + 3 = -c - o for c.
2
Let w be -1*(-1 + (0 - -1)). Suppose i + 2*i = 0. Let q = w - i. Solve q*g - 5*g + 24 = 2*c, -c + 2*g = 6 for c.
2
Suppose -24 = -3*o + 3. Let n be (-29)/(-9) - 2/o. Solve -n*a - 7 = -2*i, -2*i = -3*a - 3*i - 10 for a.
-3
Let o(y) = -3*y - 1. Let s be o(-1). Solve 0 = -s*t - 2*m - 2*m - 6, 15 = -5*t - m for t.
-3
Suppose 6*t = t. Suppose 0 = x - 2 - 1. Let h = t + x. Solve 2*p = 2*r - 8, 0 = 3*r - h*p - 2*p - 10 for r.
5
Suppose -20 = 5*n + 2*i, -n - 4*n = 4*i + 10. Let l be (0 - n)*10/3. Solve g = s - 1, 2 - l = 3*g + 2*s for g.
-4
Suppose 3*v = -0*v + 12. Let u = 27 + -47. Let f be (-18)/5*u/3. Solve 3*t - f = -t + v*h, -5*h + 10 = 5*t for t.
4
Let c(n) = n**3 - n**2 + n. Let t be c(1). Let a = t + 3. Solve 0 = 4*b + a, -24 = -0*u + 5*u - b for u.
-5
Suppose 5 = 4*n - 2*n - 3*x, 2*x = -3*n + 14. Solve 4*a - 33 = 4*t - 1, -n*t - 27 = -3*a for t.
-3
Let t(w) = w**2 + 24*w + 26. Let s be t(-23). Solve -3*m + 1 = -2*v + s, -2*v - 6 = m for m.
-2
Suppose -3*f + 21 = -3*z, 4*f + f - z - 15 = 0. Let b(k) = -2*k + 1. Let v be b(f). Let w = 7 - v. Solve 4*n - w = -2*p, n = -4*p + p + 15 for n.
0
Let y = 5 + -9. Let i = -2 - y. Suppose 5*x + 5 - 20 = -3*z, i*x - 25 = -5*z. Solve 4*t - 2*w - 6 = -x*w, -w = -t + 4 for t.
-1
Suppose 3*t = 5*t + 8. Suppose 5*z - 19 = 1. Let j = t + z. Solve -5*f - 2*w - 11 = j, -w - 3*w - 15 = 3*f for f.
-1
Suppose o - 12 = -6*f + 3*f, -6 = -5*o + 3*f. Solve 2*v + 1 = -o*j - 1, 3*v = -j - 3 for j.
0
Let d = 7 + -14. Let w = d + 9. Let u = -1 + 1. Solve u = -w*i - 4*j + 16, 0 = -i - 2*i - j - 1 for i.
-2
Let w = 5 - -3. Suppose -a + 0*a = -3*g - 14, 0 = -2*g + w. Suppose -2*d + 25 = 3*d. Solve -i + 10 = -d*r - 10, -a = -4*i + 2*r for i.
5
Let n be (-12)/(-3) + (0 - 1). Suppose 0 = -2*o - 5*y + 26, -2*o = 2*y - 9 - 5. Solve 3*g + n*r - 7 = -g, 3 = o*r for g.
1
Suppose 0 = -p - 0*o - 5*o + 23, 2*o = 3*p - 18. Suppose u + 3*q = p, u - 6 + 0 = -2*q. Solve u*h + 1 = -5*b, 3*b = b - 2 for h.
2
Let o = 57 - 55. Solve -o*c - 4 = c + p, -5*c + 5*p - 20 = 0 for c.
-2
Let f = 4 - -1. Suppose -5*k + 4*g = -2, 2*k - 12 = -f*g + g. Suppose 4*o + 1 = -c, -5*c - 4*o + 11 = -0*c. Solve 4 = -k*h, -c*h + 2 = -6*d + 2*d for d.
-2
Let f be (-1)/(-3) + (-1)/3. Let x = f - 0. Suppose -5*q = 101 - 121. Solve -5*b + q*t + 37 = x, t = 4*b + b - 28 for b.
5
Suppose 0 = 3*y, -j + 0*j + y = -1. Solve -2*i + 13 = 3*s, -i + 9 + j = 5*s for s.
1
Let s = 8 + -5. Suppose t = a - s*a - 1, -2*t + 2*a + 4 = 0. Let y = 4 - t. Solve -u - 3 = 0, 4 = -3*g - y*u + 1 for g.
2
Suppose -4*l - 25 = -9*l. Let u = -3 + l. Solve -5 = -4*w - b, -4*b - 11 = u*w + b for w.
2
Suppose y = -4*w + 4, 2*w + y = -4*y + 20. Solve w*j = 4*t - j - 24, -4*j = -5*t + 41 for t.
5
Suppose -5*d - 45 = 5*p, -5*p + 0*p - 45 = -3*d. Let r = 1 - 1. Let s be r*(-3)/p*-1. Solve -3*v - 3*q + 18 = s, -8 - 6 = -2*v - 4*q for v.
5
Suppose 4*c + 4 = 0, 3*x = -0*x - 4*c - 46. Let u = x + 26. Solve 0 = -4*p - 16, 2*g + u = -4*p - 6 for g.
-1
Let f = 20 - 2. Let q be ((-10)/3 + 4)*(-2 + 11). Solve h = x + q*h - f, -3*x - 3 = -4*h for x.
3
Let h(r) = 0*r + 0*r - 4*r**3 + 3*r**3 + r**2. Let k be h(-1). Suppose -4 + k = -f. Solve 4*t - 2 = -f*z, 5*t - 3*z - 16 = -41 for t.
-2
Suppose 3*f - 4*o + 25 = -2*f, 3*f + 15 = o. Suppose 0 = 4*k + c - 0*c + 31, -3*k + 5*c - 6 = 0. Let b = f - k. Solve -h + b = i, -4*i + 2 = -5*i for h.
4
Suppose -2*u = u - 6. Let w = 2 - u. Solve -2*s = -2*t - 12, w = -3*s - 4*t - t - 14 for s.
2
Let v = 98 - 94. Solve 0 = -2*u + 4 + 2, 6 = -v*t + 2*u for t.
0
Let q(a) = 2*a**2 + 22*a + 2. Let u be q(-11). Solve -3*g + 1 = -n + u, -3*g = -4*n - 14 for g.
-2
Let r = 2 - -1. Let w be (-14)/(-35) + (-78)/(-5). Let y = w + -14. Solve r*x - 21 = -5*i + y*i, -2*i - 16 = -4*x for x.
5
Let b be 5 + -1 + -1 - -1. Suppose -2*j = b*d + 3*j + 2, 5*d + j - 8 = 0. Solve 5*u + x = -d*x + 40, -25 = -5*x for u.
5
Let g be 14 - (-1 + 3 + 2). Suppose 24 = -8*t + g*t. Suppose 2*s - 50 = -4*w - 16, -3*s = 2*w - 19. Solve 25 = 5*p, -o = -4*p + t + w for o.
0
Let c(l) = -l**2 + l - 4. Let m be c(0). Let k(h) = h**3 + 3*h**2 - 4*h + 4. Let q be k(m). Solve -2*v = -2*y - 4, -3*y + q*v - 10 = -v for y.
0
Suppose 0 = -2*x - 3*x + 100. Let l = -12 + x. Solve -5*j + l = 4*f, 3*j + 2 = -f + 4 for j.
0
Let y be (-4 + (-28)/(-8))*-10. Solve 18 = 3*x - 3*r, -y*r - 3 = 7 for x.
4
Suppose 0*y = -2*y. Suppose -6*i + 4*i + 2 = y, -4*d - 2*i = -10. Solve -w + 5 = -5*j, -5*j - d*w + 25 = 3*w for j.
0
Let c(r) = 6*r**3 - r**2 - 2*r + 2. Let y be c(1). Solve 0 = 2*t - 2*g - 8, -t + y*g = -3*t + 8 for t.
4
Let i(g) = -g + 1. Let a be i(1). Suppose 3*h - 4*h = a. Solve h = s + j + 3*j + 11, 2*j + 7 = -s for s.
-3
Suppose -3*m + 4*g + 25 = 0, -30 = -4*m + 2*g - 0*g. Suppose 9*h + 25 = 4*h. Let q = h + m. Solve y - 15 = -4*a, q*y + 4*a - 18 = -0*a for y.
3
Let x(a) = -a**3 - 3*a**2 - 2*a + 2. Let z be x(-2). Let u = -10 - -6. Let h be 2/u*-2 - -1. Solve 3*v + b + 1 = z*b, -9 = -v - h*b for v.
1
Let x be -4 - (4 - 10) - -1. Solve 13 = -5*v + i, x*v - v + 4*i = 8 for v.
-2
Let c = 53 + -26. Suppose -4*r = -12, 0*q = -3*q - 4*r. Let n be -5*(q/5)/1. Solve 0 = -m - 2*m + 3*y - c, -n*m - 5*y + 9 = 0 for m.
-4
Let l(c) = c. Let q be l(2). Suppose -o = -5*o. Let d be 2 - o/(-2 + 4). Solve 4*x = -d*k - 2, -q*k + 8*x + 7 = 3*x for k.
1
Suppose 0*n + 5 = g - n, 4*n + 27 = 5*g. Solve 0*f = f - b + g, -5*f + 3*b - 27 = 0 for f.
-3
Let j = -3 - -14. Let m be j/4 + (-2)/(-8). Let v be (1 - (-3)/3) + 0. Solve -x = -m*h - 5, x + v*x - 2*h = 1 for x.
-1
Let f(b) = b**3 + 8*b**2 - b - 8. Let g be f(-8). Solve -2*h - 5*y - 5 - 1 = g, 3*h + 4*y + 2 = 0 for h.
2
Suppose 5*g - 11*g + 18 = 0. Solve -3*x + r = -0*x - 8, 4*x = g*r + 4 for x.
4
Let d(j) = -2*j - 4 + 5 + 4. Let o be d(0). Solve -1 = o*l + 2*z + 14, 5*l - 2*z = -35 for l.
-5
Let p(k) = -k**3 - 12*k**2 - 10*k + 14. Let o be p(-11). Solve 0 = 5*f + 15, -5*y - o*f = -3*y + 19 for y.
-5
Suppose i = -2*p + 3, -2*p - 3*p = -3*i + 9. Solve i*b - 32 = -5*m, 0*b + 4*b - m = 12 for b.
4
Suppose 0*u - u + 4 = 4*o, -3*o = 5*u - 88. Solve 0 = -6*q + q + 3*f - u, 0 = 2*q + f - 3 for q.
-1
Let x(g) = 4*g**2 - 2*g - 1. Let l be x(-1). Solve 0 = -5*z - d - 3, 0 = -l*z - 2*d - d + 1 for z.
-1
Let x(g) = -g**3 - 7*g**2 + 1. Let i be x(-7). Solve -5*y = -3*d + 4*d - 11, 3*d + i = 2*y for y.
2
Let x = -1 + 4. Suppose u - 85 = -3*c + x*u, -4*c - 4*u + 120 = 0. Solve 0 = -0*i - 5*i - 3*j - c, -35 = 5*i + 5*j for i.
-4
Let z(u) = -5*u**2 + 2*u - 8. Let f(v) = 6*v**2 - 3*v + 9. Let h(q) = -6*f(q) - 7*z(q). Let c be h(3). Solve -4*d = -c*x - 11 - 9, 2*d + 4*x + 16 = 0 for d.
0
Suppose 6*m - 49 = -37. Solve 7 + 8 = -3*p, 8 = n - m*p for n.
-2
Let m(d) = -d - 2. Suppose 0 = 2*o - 5*o + 18. Suppose o = -2*c - 6. Let x be m(c). Solve -b - 9 = -2*i - 2, -x*b = -3*i + 8 for i.
4
Let v(j) be the first derivative of -j**4/4 - 5*j**3/3 - 2*j**2 - 5*j - 2. Let t be v(-4). Let n = -3 - t. Solve n*a - 