for s.
-2
Let f(l) = l**2 - 17*l + 20. Let c be f(16). Solve -4*h + 2 = 2*s, -c = -0*h + 4*h for s.
3
Let b(j) = j - 2. Let i be b(6). Solve -2*t - h = -4, i*t - 3*h + h = 16 for t.
3
Let j(h) = -h**3 + 19*h**2 + 2*h - 33. Let i be j(19). Solve -i*o = 2*p + 16, 3*p + 2 = -3*o - 13 for o.
-2
Suppose -3*q + 6 + 9 = 0. Suppose -3*u + 4 = -q. Solve -f - 15 = -3*b, -4 = -u*b - 5*f + 11 for b.
5
Let d = 15 + -9. Solve a - 3*q = -18, -4*q + 5 + d = 3*a for a.
-3
Suppose p + 38 = -p. Let o = -16 - p. Suppose -3*q = -x + 25, 4*q + 12 = 2*x - 28. Solve -5*y = -x, 2*g + 5 = y - o for g.
-3
Suppose -5*p = 5*o - 0*o - 30, 0 = 5*p. Let x = -2 + o. Solve 5*q - 38 = 3*z - 10, 0 = -2*z - x*q + 18 for z.
-1
Let n(o) = -3*o**3 + 2*o**2 + o. Let u be n(-1). Suppose -l + 0*l = -u. Suppose 5*v = 4*z + 18, l*z - z = -6. Solve -v*d - 4*x = 2, 4*x + 3 = 3*x for d.
5
Let h = 23 + -16. Solve x - v = -3*x - 3, 2*x + 5*v + h = 0 for x.
-1
Let i(q) = 2*q**3 - q + 16. Let z be i(0). Solve 3*p + 5*a + 22 = a, 2*p = 5*a + z for p.
-2
Let c(r) = -r**3 - 9*r**2 - r - 9. Let o be c(-9). Let d be 3/((-9)/(-12) + 0). Let h be 374/14 + 6/21. Solve 5*s - d*p - 10 = 0, o*s + 5*p + h = -s for s.
-2
Suppose 5*i - 50 - 25 = 0. Let t = 26 - i. Suppose -1 = -3*g + t. Solve 0 = 2*a + 3*w + 8, 24 = g*a + 3*w - 7*w for a.
2
Let s = 38 + -35. Suppose c - 6 = -c. Solve 2*t - 19 = -s*p, 2 = -3*t + p + c for t.
2
Suppose 0 = -4*n - 16, -5*n - 52 = 5*t + 13. Let y(p) = -p + 11. Let a be y(t). Solve -5*d - 4*c = -a, -d = -2*d - c + 4 for d.
4
Let p be -8*(2 - 1)/(-2). Solve c + 5 = w, p*c + 17 = 5*w - 4 for c.
-4
Let j(q) = 15*q**2 - q. Let i be j(1). Let r be (6/4)/(1/i). Suppose 5*t - r = 14. Solve 2*w - b = -0*b + t, w + 5*b + 24 = 0 for w.
1
Suppose -7 = 3*y + 2. Let c(p) = -2*p - 2. Let s be c(y). Solve 5*a + 16 = 6, 0 = 4*g - s*a - 28 for g.
5
Let l = -17 + 19. Suppose 4*f = -4*y + 20, 0*f + 7 = l*y + f. Solve 2 = 3*s - 2*v + v, 0 = s + v + y for s.
0
Suppose 5*q - 5*f + 10 = 0, -5*q = -f + 37 - 7. Let y = q + 9. Let d be y/6 - 1/3. Solve d = -2*r + 2*w, 5*r + 1 - 3 = 3*w for r.
1
Let f(t) = 1 - 1 - 4 - 1 - 6*t + t**2. Suppose -50 = -5*x - 5*m, -4*x + 2*m = -3*m - 13. Let z be f(x). Solve 5*g + 0*q = -4*q + 14, 4*g = -z*q + 10 for g.
2
Let f(q) = q - 2. Let x be f(4). Solve -2*s + 0*s + 2 = x*g, -3*s + 2*g = -18 for s.
4
Suppose 4*m + 23 = 2*l + 1, 25 = -5*m. Solve 4 = -3*q + 1, 3*t + l = -4*q for t.
1
Let k = -16 + 29. Suppose 11 = -d + k. Solve 3*a = j + d, -4*a + 4*j = -0*a + 8 for a.
2
Suppose 25 = 5*b - 0. Solve b*y + 3*h = -7, 4*y + 2 = -h - 5 for y.
-2
Let d(t) = -t**3 - 7*t**2 - 8*t - 3. Suppose 0 = 2*o - 4*o + 6. Suppose -o*w = z + 22, 5*z + 5 = 2*w - 3. Let s be d(w). Solve 5*p = 0, 2*x + p + s = 3 for x.
-3
Suppose -6 = 3*y - 0. Let m(h) = -h + 3. Let p(j) = -1. Let c(x) = m(x) + 3*p(x). Let r be c(y). Solve 5*v = -b + 2, -r*b + 0*b = -2*v - 4 for b.
2
Let v(p) = -5*p + 4. Let o be v(-2). Solve 0 = -3*b - 1 - o, -2*l + b = -9 for l.
2
Suppose 5 = -2*n + 15. Solve 11 = 3*s + 4*l, -n*s - 4*l + 13 = -0 for s.
1
Suppose -b = 1 - 4. Let f be (-22)/(-6) - (-1)/b. Solve 0 = 4*i + 2*t + f, 3*i - 4*t - 15 = -t for i.
1
Let a(q) = 8*q**3 + q**2 + q - 1. Suppose 3*x = 3 - 0. Let f be a(x). Suppose -4*w + 5*w - 2 = 0. Solve 3*o + w*l + f = 0, 4*o - 3*l = o - 9 for o.
-3
Let a = -13 + 9. Let t = a - -5. Let d be (t - -4)*(0 + 1). Solve 5*y + 0*m = -2*m - 2, -4*y - 5*m = d for y.
0
Let i(a) = 2*a**2 - 8*a + 3. Let b be i(5). Solve -2*j + b = 5*z - 1, -3*j + 2*z + 2 = 0 for j.
2
Let x(l) = -l**2 + 7*l + 4. Let o be x(7). Solve 0 = -o*q - 8, 0 = -5*b - q + 21 - 3 for b.
4
Let o(k) = -4*k**3 - 4*k**2 - 4*k - 2. Let r = -8 - -11. Let j be 1/((3/(-2))/r). Let w be o(j). Solve -3*u + 3*x + 10 = w, -u - x = 6 for u.
-5
Suppose 5 = t + 5*b, -4*b + 2*b = -2. Suppose 2*n - 5*q = 35, -3*n + t*q - q + 27 = 0. Let a be (25/2)/(1/2). Solve -5*s = 5*j - a, -5*s + 0*s = -n for j.
3
Let f be (-6)/(-18) + 23/3. Suppose s + f = 3*s. Solve 2*t = 4*w - 2, 5*w - s = t + t for t.
3
Let o(w) = -w**2 + 4*w - 4. Let x be o(4). Let k = -1 - x. Suppose 0 = g - 5*g + 8. Solve -5*d + 10 = 5*y, 19 = 2*y + k*y + g*d for y.
5
Let c be ((-6)/(-21) + 21/98)*4. Solve 3*g - 2*d + d - 13 = 0, 6 = c*g - 2*d for g.
5
Let n = 5 - 1. Suppose -n*c = -3*c - 2. Suppose 0 = 2*a - 5*m + 16, c*a + 12 = -0*a + 4*m. Solve 4*o = i - a, 0*o - o = 1 for i.
-2
Suppose -5*a = -7*a. Solve a = 4*v + 4*c, 5*v - 5*c - 2 = 8 for v.
1
Let h = -7 + 10. Suppose -a + h*a + 4*p = 16, -5*a - 2*p + 56 = 0. Solve 4*l + 4*f - a = 0, 9 = -l + f + f for l.
-1
Let h(s) = -s**3 - 3*s**2 + s + 2. Let t be h(-3). Let l = t - -4. Solve 0 = 2*w + 2*a + 2, -2*w + a = -10 - l for w.
4
Let f(o) = o**3 - 3*o**2 + o + 1. Let v be f(2). Let x = 1 - v. Suppose -12 = -6*w - 0*w. Solve i + x*p - 10 = -2, 3*i = -w*p + 8 for i.
0
Let g = 3 + 1. Let w = 17 - 29. Let h(n) = -n - 10. Let y be h(w). Solve 3*b = -g*p - 1 + y, -b = -p - 5 for b.
3
Let i(a) = -a**3 - a**2 + 1. Let l be i(0). Suppose -5*q + 11 - l = 0. Solve 2*r = q*b - 8, -5*r + 2 = -2*b + 22 for r.
-4
Let k = 0 - 3. Let u = 3 + k. Suppose 2*a + u*t - 4*t = 44, a + t = 19. Solve -7 = i - 4*s - 27, 4*s + a = 3*i for i.
0
Let d be (16/6)/(8/12). Solve -d*b = -3*a - 1, -6 - 5 = 4*b + a for b.
-2
Let l be (9/(-6))/((-3)/6). Suppose -2*d - 6 = 0, -5*d + 9 = l*y - 21. Let b be (-2)/(2 + y/(-6)). Solve 8 = -4*u + 2*w, -5*w = b*u - 4*w + 8 for u.
-2
Suppose -3*y = -n - 13, 7 = -y - 2*y - 4*n. Suppose -4*b - y = -15. Solve -5*k = b*x - 14, -x - 4*k = -10 + 3 for x.
3
Let t = 7 - 5. Suppose -5*f + 5*j = -2*f - 30, -4*j = 4*f - 8. Suppose 6 = f*c - 9. Solve 5*s - 3 = t*g + 2*g, g = c*s - 6 for g.
3
Let m be (1 - (-2)/(-4))*-4. Let i be 3/(m/(-16)*6). Suppose 0 = -6*b + 2*b. Solve 5*o - 14 = 3*d, -d - i*o + 3 - 2 = b for d.
-3
Suppose -2*g + 4*k + 0 - 6 = 0, 4*g - 3 = 3*k. Solve 2*j + 2 = 0, -5*m + g*j - 28 = -6 for m.
-5
Let s(m) = -m - 5. Let f be s(-5). Suppose -4*n - n = f. Suppose n = i - 1 - 1. Solve 0*p = -5*a + 5*p, -5*a = -4*p - i for a.
2
Let l(i) = -4*i - 14. Let b be l(-7). Solve 0*n - n - 17 = -4*c, b = c + 3*n for c.
5
Let r = 51 + -46. Solve -r*c + 2*p = -22, -3*c + 5*p - 2 + 19 = 0 for c.
4
Let l be (-1)/2*(-5 + -1). Let y = l - 2. Let d = 5 + -2. Solve d*a - 21 = -0*j + 2*j, a + 2*j = -y for a.
5
Suppose -m + 4*o + 23 = 0, -8 = 4*m + 4*o - 40. Solve s - 3*z = -m, 2*z - 3*z + 5 = 0 for s.
4
Let f be 3/((-2)/5 + 1). Solve 2*l - 5*r = -11, -5*r - 3 = l - f for l.
-3
Suppose 5*w = w + 4*j + 4, -5*w = 4*j - 50. Solve -4*c + 4 = w*f - 2*f, -c + 7 = -f for c.
4
Let r = 476 + -461. Suppose -5*s + 10 = 5*v, -4 = 5*v - 3*v. Suppose x + s*x = 15. Solve -h - 7*f - r = -2*f, -4*f = x*h + 1 for h.
5
Suppose -2*z = -0*z - 4*a + 8, 2*z + 4 = 2*a. Suppose 4*q + q = z. Suppose -4*s + 2*f + 25 = -15, -40 = -3*s + 4*f. Solve 0 = 2*c + g - q*g - s, 0 = 5*g for c.
4
Suppose -3*l + 4*u + 1 = 3*u, 1 = -u. Let n = 2 - l. Solve -n*d - 5*h - 2 - 2 = 0, -2*h - 16 = -4*d for d.
3
Suppose x = i, -2*i - i + x + 4 = 0. Suppose 2*j = -0*j + 34. Solve 4*o + 4*d - 20 = 0, 3*d + i*d - j = -o for o.
2
Let o be ((-18)/12)/(1/(-2)). Let b(t) = 2*t - 2. Let n be b(2). Let h be 1 - 1/(n/(-4)). Solve 5*s - 13 = h*p + 6*s, 3 = -o*s for p.
-4
Let d(x) = -x**3 - 5*x**2 - 7*x - 10. Let l be d(-4). Solve 3*v = -5*t + 5, -5*v - 17 = 4*t - l*t for v.
-5
Suppose 0*j + 4*j - 44 = 0. Let m = j + -4. Solve -3 = -h, 0 = -m*w + 3*w - h + 23 for w.
5
Suppose -17*w = -63 + 12. Solve -11 = -2*v - w*q, 2*q - q + 1 = 4*v for v.
1
Suppose -5*b + 2*i = -14, -i + 7 = 4*b - 12. Let d(j) = -3*j + 4 + j - 13 + 5*j. Let r be d(4). Solve b*a + 7 + 5 = -5*s, 9 = -r*a + 3*s for a.
-3
Suppose -4*u + 16 = 0, -8*u + 26 = 3*o - 3*u. Suppose -2*n + 2 = -2. Solve 8 = -2*s, -j - o*j - n*s - 11 = 0 for j.
-1
Let t be 1 + 15/(-10) - (-9)/2. Solve -y - 8 = 3*s, 0*s = t*s + 4 for y.
-5
Let g(p) = p**3 + 2*p**2 + p. Let s be g(-2). Let x = s + 15. Suppose -3 = 2*q - 2*v - x, -4*v - 10 = q. Solve 0 = q*a + 4, 3*y + y - a + 2 = 0 for y.
-1
Suppose -3*q - 3 = -9. Solve q*u = 2*f, 4*f + 0*f - 2 = 2*u for f.
1
Suppose 0 = 3*y - 5*y. Solve 0*o = 2*o + 2*g + 8, y = o + 4*g + 7 for o.
-3
Suppose -2 - 11 = -4*y + a, -2*y - 21 = 5*a. Let c = 2 + -2. Solve y = -3*i - z - 12, c = 3*i + 5*z + 10 for i.
-