/(-2). Solve 0 = -5*v - 5*u + 5, -h*v - 4*u = -u - 11 for v.
4
Suppose -3*a + 36 = a. Suppose -h - a = 2*h, 5*h = 4*i - 87. Solve -2*v - 2*c - i = 0, -2*c + 0*c = -4*v - 12 for v.
-5
Suppose 0 = -3*w + 3 + 3. Let i be (w + (-5)/2)*-10. Solve -3*q = -i*k + 25, 4*q - q = -4*k + 20 for q.
0
Let a be (3 + -1)*(-10)/(-20). Let l be -2*(1 + -4) + (-1)/1. Solve -l*s + 20 = 0, 4*s - a = 5*u - 0*s for u.
3
Let z(y) = y - 4. Let g be z(8). Let f(c) = 4*c - c**2 + 2 - c**2 + c**2. Let u be f(4). Solve 2*w - 3*w + u = v, -g*w - 17 = -v for v.
5
Let t be 15 + -13 + (-1 - -2). Solve 0 = 4*a + g - 12, 9 = t*a - g + 2*g for a.
3
Let c(r) = r + 4 - 4 + r**2. Let m be c(-2). Let t = -8 - -10. Solve 5*n = t*z - 8, -4*z + 0*z + m*n = 0 for z.
-1
Suppose -6*s + 2*s + 20 = 0. Suppose 0 = 4*q - 16, s*b + q - 14 = -0*b. Solve -3*p - u + b = -6, -16 = -4*p - 4*u for p.
2
Suppose -3*n - 20 = -8*n. Suppose 12 - 40 = -n*l. Solve 0 = m + 4*a - 6 - l, 2*m - 5*a + 26 = 0 for m.
-3
Let x be 10/6*(13 - 10). Suppose 0 = n - t - 15, -15 = -4*n + n - 3*t. Solve x*c = v - n, 2*v - 5*c = -0*v + 10 for v.
0
Let f(t) = t**2 - 3*t - 4. Let a be f(4). Suppose a*x - x = 0. Solve -2*g + x = p - 7, g - 21 = -4*p for g.
1
Let b = 10 - 6. Suppose u + 3*i + 6 = -0*i, -2 = 2*u - b*i. Let d = u + 7. Solve 11 = 5*a - 3*c, d*c + 3 = 5*a - 5 for a.
4
Suppose 0*k + 14 = -k. Let l = -10 - k. Solve -w + 2*y = l*w - 9, -3*w - 3*y = -18 for w.
3
Let i(s) = s + 1. Let b = -6 + 9. Let f be i(b). Let v be (-1 + (f - 1))*8. Solve -2*h - 4*k + v = 2*h, -3*h = -5*k - 4 for h.
3
Suppose -o = o - 8. Let x(r) = 3*r**2 + r. Let c be x(-1). Let i = o - c. Solve 0 = -z - 3*q - 11, -4*q + 12 - 40 = -i*z for z.
4
Let k(c) = -c**2 - 13*c - 20. Let q be k(-11). Solve -8 = -q*z, 5*z - 2 = -v + 13 for v.
-5
Let s = -9 + 16. Suppose 0 = 4*z - s*z. Solve -g = -z*b - 2*b - 2, 2*b - 10 = -2*g for b.
1
Let l be (12/(-30))/((-1)/5). Suppose 0 = -c - 3*r + 28, -l*c + 4*r + 16 = -0*r. Solve 0 = 4*z - 4*g + c, -3*g = 2*z - 4*z - 11 for z.
-1
Let v be ((-4)/(-6))/((-2)/(-15)). Suppose 0 = -4*o + o + 30. Let t be (-2)/v - (-54)/o. Solve t*r = 2*n + 18 - 0, -r - 3*n - 10 = 0 for r.
2
Suppose 4*m - 60 = -4*o, 8*o - 3*o - 69 = -3*m. Suppose 2*a + a = o. Solve -2*l - 14 = -3*q, a*q = -3*l + 5*l + 18 for q.
4
Let z = -7 + 9. Suppose 5*q = 8 + z. Solve 2*s - q*d + d + 8 = 0, -12 = 3*s - d for s.
-4
Suppose 0 = -3*b - 0 + 9. Suppose s = b*s - 44. Solve -4*x + 3*x + z + 8 = 0, -s = -5*x - z for x.
5
Let x be 1*(4 + 0 - 4). Solve x = -4*s + s + 4*h + 35, 5*s + 3*h = 10 for s.
5
Let m = 1 + 4. Solve 5*w + 8*y - 28 = 5*y, -m*y = -w for w.
5
Let l(m) = m**2 - m + 3. Let i be l(5). Solve b - 11 = 2*c, 0 = -3*b + c + 3*c + i for b.
1
Let c be (2 - (-39)/9)*3. Solve 3*k + 5*s = 7, -s - c = -4*k + 2*s for k.
4
Let t = -60 - -74. Solve 0*y + y - t = 2*s, -22 = 2*s - 3*y for s.
-5
Suppose w + 4*l + 15 = 0, -2*w - 5*l + 4 - 19 = 0. Solve 0 = -w*z - 2*n - 20, 8 = -2*n - 2 for z.
-2
Let w be (-4 - 1)*36/(-60). Solve 5*s = w*t - 12, 2*t + 0*s - 8 = -2*s for t.
4
Let d = 28 - 24. Solve -3 = 3*t, -2*r - d*t = 7 - 3 for r.
0
Suppose 4*h - 3*h = 3. Solve 5*c + 5*s - 15 = 0, h*s = 5*c - 7 - 0 for c.
2
Let a(y) = y**2 + 5*y. Let h be (4/(-5))/(2/10). Let c be a(h). Let o = c - -9. Solve 5*n + x + 3 = 0, n - 1 - 14 = o*x for n.
0
Suppose 7 - 3 = 2*k. Let l = 6 + -3. Let i = 5 - l. Solve 5 = k*a - o, 3*a + i*a - 3*o - 15 = 0 for a.
0
Suppose -2*v = -3*v. Let r = 6 + v. Solve 5*k = 4*u + 7, -2*k - 5 = 3*u + r for u.
-3
Let z be -8*(10/(-4) - -2). Let y(u) = 3*u - 9. Let f be y(6). Let s = f + -5. Solve -s*o - 15 = o - 4*k, -z*o - 3*k = 12 for o.
-3
Let l(b) = -5*b - 8. Let g be l(-2). Solve -2*m - 4*n = 2*m - 16, -3*m - g*n = -12 for m.
4
Let l(f) = -f**3 - 7*f**2 - 8*f - 9. Let o be l(-6). Suppose -v + 15 = -o*s, 2*v = -3*v + 4*s + 31. Solve -h - v*h - 5 = 3*c, h = -5*c - 14 for c.
-3
Let k(n) = -n + 7. Let u be k(6). Suppose 5*a + 13 = -2*o, 3*a - 20 = 5*o - 3. Let i be ((-10)/o + -1)*2. Solve g = i*p - u - 8, -3*g = 5*p - 15 for p.
3
Let o(u) = -6*u**2 + 1. Let c be o(-1). Let n be (-32)/c - 10/25. Suppose -n*f = -f - 20. Solve -z - f*h - 12 = -h, 5*z + 4*h = -16 for z.
0
Let j be 4/(-12) + 148/12. Let g be ((-6)/(-4))/(9/j). Let b(p) = -3*p - 4. Let l be b(-3). Solve -g*u + 14 = 2*k - l*k, 0 = -u + 4*k + 17 for u.
1
Let r(n) = -n + 8. Let t be r(0). Solve -w - a = t - 2, -a - 8 = 3*w for w.
-1
Suppose -22*n + 2 = -21*n. Solve 4*r = -2*p - 10, -p - n*p = -2*r + 7 for r.
-1
Let b be 0*(-3)/6*(2 - 1). Solve -2*z = b, -5*g + z - 13 = -38 for g.
5
Let i = -25 + 41. Let u = -15 + 10. Let v = u - -9. Solve 4*f = -i, 4*s - v*f - 4 = f for s.
-4
Let j(v) = -v**2 - 4*v + 2. Let i be -4*2/(-4) + -6. Let y be j(i). Suppose -q + 2 = x, 2*x - 30 = -x + 5*q. Solve -x*k - u - y*u - 7 = 0, -2*k + 5*u = 9 for k.
-2
Suppose 4*q = 3*a + 86, -4*q + 2*a - 16 = -5*q. Solve 0*m + g + 2 = 3*m, -4*g - q = 0 for m.
-1
Let p(l) be the second derivative of -l**4/12 - 5*l**3/3 - 7*l**2/2 - l. Let k be p(-7). Solve 10 = -5*w + 5*v, -3*w - k = -8*v + 3*v for w.
2
Suppose g = -5*y - 95, -y = -2*g - g + 19. Suppose 3*h - 5*j = 76, -2*h + 3*j = -h - 20. Let s = y + h. Solve 0*p + 2*p = -2*k - 10, -s = 5*p + k for p.
-2
Let n = 15 - 13. Let o be n + (5 + -4)*3. Solve -c - 5 - 11 = -o*f, -28 = -5*f - 2*c for f.
4
Let x(l) = l**2 - l + 1. Let t(p) = 19*p**3 - 3*p**2 + 5*p - 4. Let i(n) = -t(n) - 4*x(n). Let f be i(-1). Solve -7 = 2*c + 3*y - f, 2*c = 5*y - 20 for c.
0
Suppose 3 = a, -3*h = -0*h - 5*a - 27. Solve 3*x = 3*u + 18, -5*x + 2*x - u + h = 0 for x.
5
Suppose -5*a + 22 = -5*h - 8, 3*a = -h + 6. Solve 2*t + v = t, -t + 6 = a*v for t.
-3
Suppose j = 3*j + 2. Let r = 3 - j. Solve 31 = 3*k + r*a, 3*k + a - 12 = 7 for k.
5
Suppose l - 3*d - 5 = -3*l, l = -d + 10. Suppose -l*r = 4*n - 24, 23 = 5*n - 4*r - 7. Solve -3*u = 12, -n*x + x = u + 4 for x.
0
Let p be 64/24*(-6)/(-4). Solve -2*z + 6 = p*f, 2*f - 9 + 1 = -2*z for f.
-1
Let u = 84 + -58. Let i be u/6 - (-2)/(-6). Let w be -1*i/(-3)*3. Solve -2*t + 4*l + 28 - 8 = 0, -t - w*l - 20 = 0 for t.
0
Let s be (-3)/(-2)*(-4)/6 - -1. Solve s*q - 3*p = 2*q + 4, 0 = -5*q - 4*p - 17 for q.
-5
Let b be -2 + 22*(-3)/(-6). Suppose -1 = 4*w - 9. Suppose -g + b = w*g. Solve -3*a = -7*q + g*q - 11, 3*a - 14 = q for a.
5
Suppose 0 = p - 5*p - 28. Let w(r) = r**3 + 8*r**2 + 8*r + 10. Let u be w(p). Solve 2*v + 3 = -u, 3*o - 27 = 5*v for o.
4
Let l = 51 - 35. Let i = 6 - 3. Solve 5*v + i*q - 17 = 0, q - l = -5*v - 3*q for v.
4
Suppose -5*x + 1 = -q - 2, -4*x = -5*q + 6. Solve -q*w + 9 = v + 2*w, -3*v - 7 = -5*w for v.
1
Let m(v) = v**3 - 2*v**2 - 3*v + 3. Let d be m(3). Suppose -5*c - 6 + 26 = 0. Let o = 4 - c. Solve -4*y + 7 = g - 5, o = -4*g - y + d for g.
0
Let b(q) = q**2 + 15*q + 30. Let p be b(-13). Solve 4*z = 5*g, -p*g + 10*z - 9 = 5*z for g.
4
Let m be (6/(-4))/(5 - 43/8). Solve -3*n - 14 = j - 0*j, -3*n = m*j + 11 for n.
-5
Let t = 12 + -40. Let v be 4/10 + t/(-5). Let u(b) = b - 3. Let o be u(6). Solve -o*m = 5*p + 2, -5*m = 5*p - 6*m + v for p.
-1
Let f = -57 + 97. Suppose 2*m - 50 = -z, -2*z + 6*z + 4*m = 212. Let a = z - f. Solve 0 = 3*k - 3*p, 5*p - a = -4*k + k for k.
2
Let h = 79 + -75. Solve 2*v - 3*q = 5*v + 3, -31 = h*v - 5*q for v.
-4
Let u = 4 + 1. Let x(j) be the second derivative of j**5/20 - j**3 - j**2 + 7*j. Let l be x(3). Solve 2*b = -u*f - 21, -2*f = -2*b + 7 + l for f.
-5
Let k be (-4)/6 + 144/54. Suppose n - 2*w - 6 = 0, 2*n - 3*w - 49 = -k*n. Solve -17 = 5*b + 2*j - 0*j, -j = 4*b + n for b.
-5
Let q be -4 - 3/(-6)*10. Solve q = j - 2, 0 = -4*t - 2*j + 10 for t.
1
Let k be 1*5 - (2 + 1). Solve 4*z + k*x = 20, z = 3*x - 7 - 2 for z.
3
Let r(s) = -s**3 - 15*s**2 - 13*s + 17. Let y be r(-14). Solve 0 = -3*b - y, 0 = 4*v - 3*b - 3 - 4 for v.
1
Suppose 3 + 1 = -2*q. Let w(i) = 2*i**2 + i - 2. Let n be w(q). Solve 0*k + 2*m + n = -k, -2*m - 2 = 0 for k.
-2
Suppose 2*x - 3*y + 6 = 0, -2*y + 2 + 2 = 0. Solve 4*l - 28 = -4*g, x = -2*l - g + 14 - 4 for l.
3
Let a = 8 + -5. Suppose v - a = -0*v. Let i = 6 - v. Solve -4*s = i*d + 3, -d = 2*s + 5 - 4 for d.
-1
Let i = 44 + -16. Solve -p - 5*a + i = 2*p, -3*p = -5*a + 22 for p.
1
Let d = -56 - -105. Suppose 5*p + 9 - d = 0. Solve 2*t + 2*f + p = -t, 12 = -3*f for t.
0
Let i(a) = a**3 +