be ((-3)/6)/(2/(-40)). Let n = o - 6. Suppose 3*y + 4*v = n + 21, 2*y + 2*v - 16 = 0. Solve 12 = 2*w + 3*z + z, -w - 3*z = -y for w.
4
Let q(i) = -2*i**2 - 11*i. Let v be q(-5). Solve 7*t - 2*t - 2*u - 20 = 0, v*u + 20 = 5*t for t.
4
Suppose 0 = 8*h - 3*h - 25. Solve -5*v = 4*i, -h*i + 2*v + 33 = -0*v for i.
5
Let y be -2 - 1 - 5/(-1). Solve -3*v = -2*l - y*l - 11, -4*l - 2*v = 26 for l.
-5
Suppose 0*f + 3*f - 15 = 0. Let s = f - 5. Solve s = -3*x - l + 2*l - 6, 0 = -2*x + 3*l + 3 for x.
-3
Let k = -3 - -3. Suppose 0 = -j - f + 2, -5*f + 5 = k. Solve -3*d - 2*x - j = 0, 4*d + 2*x = -0*x for d.
1
Suppose -14*o = -12*o - 10. Solve -a - j + 2 = 0, -3*a - 26 = -0*a - o*j for a.
-2
Let p(l) = 6*l**2 - 1. Let f be p(-1). Suppose -4 = f*v + 6. Let c be -1 - (0 + -2 + v). Solve 6*m + 15 = m + 4*q, 0 = c*m - q + 2 for m.
1
Let n = -7 - -15. Solve 2*a - 4*d + n = 0, 2*a = -d + 5 - 3 for a.
0
Suppose 4 - 18 = -7*b. Suppose 3*k - z - 20 = 0, -b*z - 15 = -4*k - 3*z. Solve -k*o - 15 = 0, 3*n = -0*n + o + 9 for n.
2
Let n = 0 - -4. Let i be -4*(0 + n/(-8)). Solve 4*z - 4*b = 4, i*z - 5 = 6*z + 5*b for z.
0
Let p(d) = 2*d**3 - 33*d**2 - 16*d - 14. Let j be p(17). Solve j*g + o - 2 = 0, 5*g - o + 2*o = 0 for g.
-1
Let t(y) = -y**2 + 3*y + 18. Let g be t(6). Solve g = x - 2*u - u - 14, 0 = 5*u + 15 for x.
5
Let k(c) = -2*c + 2. Let m be k(3). Let g = 9 + m. Solve -4*l + 3*t = -3, -4*l - 40 = g*t - 3 for l.
-3
Suppose 86 + 1 = 3*n. Solve 0 = 4*o + 3*t + n, 0 = -7*o + 4*o + 2*t - 9 for o.
-5
Let l(t) = -t**3 + 3*t**2. Suppose -q + 2*d = -2, 3*q + 2*d = -3 + 9. Let x be l(q). Let j be 2/5 - 189/(-15). Solve -2*f + 5*r = j, -x*r = -8*r + 4 for f.
-4
Let o = 17 + -12. Solve -t = -3*t + 5*x + 10, 5*t = o*x - 5 for t.
-5
Let b = 0 + 0. Solve -c - 13 = -4*d, -5*d = -b*d + 2*c - 13 for d.
3
Suppose 4*p + n + n = 64, 20 = 5*n. Let m = -11 + p. Solve -5*t = -2*i + 35, 0*t - m*t = -2*i + 25 for t.
-5
Let u(n) = -n**3 + 7*n**2 + 7*n + 4. Let v be u(8). Let q(c) = -c**3 - 5*c**2 - 5*c + 4. Let o be q(v). Solve -l - 3*w = -7, 4*l - o = -3*w + 2 for l.
1
Let z(d) = d**3 + 2*d**2 - d - 2. Let h be z(2). Solve -3*v + 23 = 2*g, -5*g - h = -4*v - 3*g for v.
5
Let c = -65 - -73. Solve 0 = -2*k + 5*h + 27, k = 2*h + c + 3 for k.
1
Let s = 50 - 15. Solve 3*y + 4*j = s, 4*j = 3*j + 5 for y.
5
Suppose d + 3 + 3 = -4*s, -2*s = d + 2. Solve 5 = -3*b - 3*c + 2, d*b - 3*c = -7 for b.
-2
Let l(a) = -2*a. Suppose -2*d + 6 - 23 = -5*x, -5*d + 7 = 4*x. Let m be l(d). Suppose m = -g + 5. Solve -2*t - 4*o + 10 = 0, -5*t + g*o = 2*o - 25 for t.
5
Suppose -5*y - 16 = 4*a - y, -2*a + 8 = -2*y. Solve 6*r - 2*r + 2*l = a, -4*r = 3*l + 2 for r.
1
Suppose 6*k - 20 = 2*k. Suppose -k*a + 2*z - 2 + 7 = 0, 4*a = -z + 17. Let p be 3 - (0 - (-1 + 1)). Solve -27 = 3*l - a*g, -2*g - p = -11 for l.
-5
Let n = -26 - -35. Solve n = 5*d - b, -d + 4*b = -20 + 3 for d.
1
Let n(m) = m. Let a be n(2). Solve -4*p + 5*g + 5 = 0, -3*p = -0*g - a*g + 5 for p.
-5
Let n(y) be the first derivative of -1 - 1/3*y**3 - 3*y**2 - 6*y. Let k be n(-4). Solve 2*c - 9 = 3*t, 0 = -7*c + k*c for t.
-3
Suppose -8 = -3*j + j. Suppose -4*u - w + 9 = 0, -j*u - 5*w = -u - 28. Solve -r = -3*o - u, 0*r - r - 3*o - 11 = 0 for r.
-5
Let s(z) = -z - 1. Let q be s(-6). Solve 12 = q*k - 3*l, 3*k - 4*l + 7 = 4*k for k.
3
Suppose -3*x + 15 = -2*c - 25, -2*x = -3*c - 20. Let d be 6*(x/6 + -2). Solve -3*l = -p + d*p - 9, 4*l - 12 = 0 for p.
0
Let a(g) = -4 + g**2 - 4*g**2 + 3*g - g**2 + g**3 + g**2. Let h be a(3). Solve -h*f - 8 = -n + 11, -n = f + 5 for n.
-1
Suppose 0 = 4*y - 2*n - 2, -7*n + 9 = -3*y - 2*n. Solve -x - y = 4*k + x, 5*k + 4*x = -1 for k.
-1
Let l be 3*(2 + -1)*1. Suppose l*m - 5*m + 4 = 0. Solve -3*q = -m*b + 17, -5 + 2 = -3*q - 3*b for q.
-3
Suppose -4*z + 20 = -5*t, 5*z + t = 2*z + 15. Let c = 207 + -195. Solve -z*b - 2*v = -c, 0*v + v = 2*b - 12 for b.
4
Let k(p) = -p + 9. Let t be k(9). Suppose 0 = 2*q - t*q. Suppose 4*f - 76 = -q*f. Solve 0 = 3*o - 2*c + 4*c - 7, 0 = 3*o - c - f for o.
5
Let o be 12/30 - (-94)/(-10). Let h be 3*((-12)/o + -1). Let y be (-6*h)/2 - -3. Solve -3*q + g + 13 = 0, y = -2*q - q + 2*g + 14 for q.
4
Suppose -4*v = -3 - 5. Let x be 2*v/(-4)*-5. Solve x*t = -3*c - 31, -4*t - 16 = c - 3*c for t.
-5
Let w be 1 + -6 + 20/4. Solve 2*y + w*y + n = -6, -y - 5 = n for y.
-1
Let q = -10 - 11. Let z = 5 + -11. Let s = z - q. Solve 0 = -4*g - 2*v - 20, 2*v = -3*g - 0*v - s for g.
-5
Suppose 2*v - 4 = -2. Let f be -1 + 1 + 5/v. Solve 2*a - f*q - 5 = -3*a, -2*a + q + 3 = 0 for a.
2
Let g(o) = 2*o - 3. Let w(i) = i + 1. Let y(p) = g(p) - w(p). Let z be y(6). Solve 5*j + 17 = -4*b, z*b = 2 + 2 for j.
-5
Let f = 200 - 124. Suppose d + 3*d - f = 0. Suppose 4*k - d = 2*k - 5*m, -4*k + 11 = m. Solve 5*t - k*s + 5 = -3, -4*t = 2*s + 10 for t.
-2
Let b(y) = -6*y - 7. Let c(q) = 2*q + 2. Let o(k) = 3*b(k) + 8*c(k). Let z be o(-4). Let n be 27/(-12)*8/(-3). Solve 0 = -4*j - z*x - 17, x - 3*x = n for j.
-2
Let m(a) = -a**3 - 9*a**2 + 10*a + 5. Let z be m(-10). Suppose 2*o = -3*d + 3*o + 14, 2 = -2*d - 5*o. Solve 2*y + z*f = 2*f + d, -5*f = -y - 24 for y.
-4
Let h(a) = -2*a**2 - 19*a - 5. Let n be h(-9). Solve n*w = -20, -3*w - 1 - 14 = -5*b for b.
0
Suppose 4*m = -21 + 1. Let q be 182/12 + m/30. Let b(s) = -s + 10. Let p be b(7). Solve -3*n - q = p*h, 0*n = -n + 2*h + 10 for n.
0
Suppose -3*w = 3*p - 21, -p - 5*w + 19 = -0. Solve 2*l = p*k - 2*l - 16, 4*l + 20 = 0 for k.
-1
Let m = -16 + 20. Solve 2*x = m*h + 6, 0 = -6*h + h - 2*x + 15 for h.
1
Let f(o) = o**2 - 5*o + 4. Let t be f(4). Suppose 15 + 13 = 4*n - 4*r, 4*r + 8 = t. Solve -x = w - 4, -2*w = n*x + 2*w - 20 for x.
4
Let c(y) = -y**2 - 5*y + 8. Let k be c(-6). Solve -k*b + 2 = 0, 5*v - 10 + 28 = -2*b for v.
-4
Let p(g) = 0*g**3 - 4*g**2 + 0*g - 11 + g**3 + 0*g**2 - 2*g. Let y be p(5). Solve -2*w + y*v + 16 = 0, -3*w + 19 = v - 6*v for w.
-2
Suppose 3*v - 9 = -0*v. Solve 2*k - 10 = 5*t + 15, v*k = 4*t + 20 for t.
-5
Let p = 67 - 67. Solve 0 = 2*t + 4*x + 10, 4*t + p*t - 4 = -2*x for t.
3
Suppose 0*o - 3*o - 9 = 0, 2*k + 2*o = 60. Solve 5*j + 0*c - 20 = -2*c, -4*j - 5*c = -k for j.
2
Suppose -2*r = -2*j + 14, 2*j + 4*r - 17 = j. Let d = j + -6. Solve -t = -p - d, -3*p = 5*t - 31 - 0 for t.
5
Let x(y) = 2*y**2 + y. Let b be x(4). Solve u + u = 5*l - 28, 5*l - 4*u = b for l.
4
Let l(u) = 11*u**2 + u. Let d be l(-1). Let t = 14 - d. Solve -m - 5*o + 2 = 0, 5*m - o - t*o = 10 for m.
2
Let n(t) = t + 13. Let v be n(-9). Solve a - v = -x - 3, x - a - 7 = 0 for x.
4
Suppose 3*z - 8 = 1. Let v = 8 + -5. Solve -f - w + z = 0, -3 = v*f - 5*f + w for f.
2
Let h(s) = 2*s**3 - 6*s**2 - s + 6. Let p be h(3). Solve o = 5*y - 13, p*y + 6 = -4*o - 0*y for o.
-3
Suppose 3*i - 5*b = -15, i + 2*b - 6 = 5*i. Solve -y + 2*l + 4 = i, -2*y - 1 = 5*l + 27 for y.
-4
Suppose -5*v - 2 = -7*v - 4*f, 0 = -4*f - 12. Suppose -c + 0*c + 3*l = -4, 18 = 2*c - 4*l. Suppose -3 = 2*w - 9. Solve w*k - t = 5, -3*t + v*t - c = -k for k.
3
Suppose -3*s + 4*s = 0. Let g = s - 0. Suppose 3*f - o - 25 = 0, g*f - 3*f + 3*o + 15 = 0. Solve 0*n = 4*n + 2*k + 10, 0 = -2*k - f for n.
0
Suppose -4*o + 20 = 6*o. Solve -l - 5*b - 3 = -0*b, -2 = o*b for l.
2
Suppose -14 = -3*g - 5. Solve 0*p - 3*p = g*f - 9, 3*f - 3*p = 9 for f.
3
Suppose 5*d - 19 + 4 = 0. Let z = -50 + 50. Solve 5*a - k = 27, z = d*a + 2*k - 11 - 0 for a.
5
Let a(h) = 2*h**2 - 3*h - 1. Let w be 0 - (24/3)/(-2). Let c be a(w). Solve 0 = -s - 3*j - 15, 5*s + 3*j + c = 2*j for s.
-3
Let r = -1 - -3. Let n be r + (0 - (-4)/2). Solve -5*u + 12 = s + 37, -n*s + 5 = -u for s.
0
Let u be 1*((-2 - 1) + -2). Let i be u/3*3/(-1). Suppose 5 = 3*c - 1. Solve -2*b - i*a - 25 = 3*b, 10 = 2*b - c*a for b.
0
Let s = 2 + 3. Solve -u - s = 5*o + 3, -2*u - 5*o = 6 for u.
2
Suppose 3*t - 35 - 25 = 0. Suppose 0 = -l + 4*j - 16, 3*j - t = -4*l - 2*j. Solve -2*x + 18 = 4*m, 2*m = 2*x - l*m for x.
3
Let g(u) = u**3 + 2*u**2 - 2*u - 2. Let s be g(-2). Let w be 4 + s/((-1)/(-1)). Solve -6 = 2*i - 0, t + 3*i = -w for t.
3
Suppose 4*f = -0*l + l - 7, 7 = 3*l - 5*f. Let d = l + 3. Solve 4 = -2*z - d*i + 2, 20 = -2*z + 4*i for z.
-4
Let s be 5*24/20*5 + -3. Solve y + 5*n - 21 = -3*y, 0 = -2*y + 5*n - s for y.
-1
Let l = -6 + 9. Solve -4*x + 22 = -l*a, 3*x = 4*a + 16 + 4 for x.
4
Let g