 - 12 for s.
-2
Let p be (-10)/(-4) - 2/(-4). Suppose p*x = -x - 24. Let k(r) = -r**3 - 6*r**2 - r - 1. Let y be k(x). Solve -3*u = -4*i - y, 2*u + 4*i + 34 = 4 for u.
-5
Let b = 12 - 12. Let x(k) = k**3 + 7*k**2 + 8*k + 8. Let y be x(-6). Let l = y - -4. Solve 5*h - 25 = l, b*j + j + 2*h = 11 for j.
1
Let q be (-1 + 11)/2 + -2. Solve -5*y = q*f - 22, -16 = -4*f - f + 2*y for f.
4
Suppose r - 2 = -0*r. Suppose 5*o = -r*v + 55, 2*v - 76 = -v - o. Solve -j - 7 = -3*k, 11*j - 6*j = v for k.
4
Let m = 13 + -9. Suppose b + b + 12 = -m*k, 0 = -2*b + 5*k + 24. Solve r + b = -x, -2*x + 2 = x + r for x.
2
Suppose 3*o - 48 = -0*o. Let y = -2 + o. Suppose -5*r + 49 - y = 0. Solve 4*s - 3*q = 25, 0*s = s - q - r for s.
4
Let y = 6 + 4. Let k(l) = l**2 + 6*l - 5. Let p be k(-6). Let d = p + 17. Solve -4*w = r - 3 + d, -4*r - y = 3*w for w.
-2
Suppose 0 = -4*k + 4*a + 8, -2*k + 6*a + 1 = a. Solve q = -2*q, 5*q + k = 3*s for s.
1
Let t(y) = y**2 - 4*y - 9. Let i be t(6). Solve -2*u = p + 6, 2*p - i = 4*u - 7 for p.
-4
Let u(f) = -f**2 - 2*f + 7. Let q be u(-5). Let j = q - 6. Let c be j/49 - (-32)/14. Solve 0 = c*g + 2*k + 9 + 5, 4 = 3*g - 2*k for g.
-2
Let h be (-28)/(-4)*20/14. Let t = -16 - -21. Suppose -2*c + 3*f = -6, -3*f + 1 = 2*c + 7. Solve -t*m + h = -4*s, -2*s - 4*m = -c*s - 8 for s.
0
Let x = -85 - -91. Solve 0 = 4*o + l - x*l - 19, -2*l = 4*o + 2 for o.
1
Suppose -8*j = -4*j - 8. Solve -j*q - t + 6*t = -21, 0 = -5*q + 5*t + 15 for q.
-2
Let p(a) = -a**2 + 1. Let o be (1/2)/(1/(-2)). Let g be p(o). Solve 0 = r - v - 1, g = -5*r - 0*v + v - 11 for r.
-3
Suppose 0 = -r - 0*r - 2. Let v = r + 4. Solve 2*c - 4*c - 8 = 0, v*k + 5*c = -30 for k.
-5
Let f be 0/(5 + -2) + 3. Suppose -4*q - f*m = -8, -11 = -4*q - m - 3. Solve -q*g - 3*o + 3 = -g, -g + 1 = o for g.
0
Suppose 3*x - 3*t - 6 = -0, -5*x + 6 = -3*t. Solve -2*c = 3*v + 5 - 1, -4*v - 8 = x for c.
1
Let k = 6 - 6. Let s = -2 + 14. Let u = s + -8. Solve k*x + 4*x - 4*o = -u, 5*o = 4*x + 2 for x.
-3
Let u(p) = p**3 + 2*p**2 - 2*p - 3. Let s be u(-2). Let i(n) = n + 1. Let w be i(1). Solve -s = -b - w*b + l, 0 = -3*b - 3*l + 21 for b.
2
Let r = 2 + -2. Suppose r = 4*q - 6 - 2. Solve d = 5*m - 4, 3*d + q + 10 = -4*m for d.
-4
Let n = -4 + 2. Let g(p) = -2*p**3 - 4*p**2 - 2*p. Let y be g(n). Solve l = -l - 5*j + 19, 4*l - 4*j = -y for l.
2
Let v(c) = 0 - c**2 - 7 - 12*c + 4*c. Suppose -y - z = 4*z + 32, 0 = -3*z - 15. Let m be v(y). Solve 3*k = 4*g, 0 = 2*k - 5*g - m*g for k.
0
Suppose 0 = 5*n - 3*d - 14, 4*n + 4*d = 24. Solve 1 = n*y + 2*o + 15, 0 = -2*y + 2*o + 8 for y.
-1
Suppose 0 = -5*x + 5*u + 40, 0 = 4*x - 6*u + u - 34. Solve -3*r - 4*v = -21, -x*r + 2*r = -5*v + 3 for r.
3
Let p be (4/(-5))/(1/10*-2). Solve 4 = -f - f + p*h, 4*f - 2*h = -8 for f.
-2
Let x(z) = -z**2 - 10*z + 4. Let s(o) = 3*o + 5. Let y be s(-5). Let h be x(y). Solve -3*l - 2*a + 5 = 4, -h*l - 4*a = 0 for l.
1
Let r be (1 - 2)*0/2. Solve 15 = 5*a + c - r*c, -a - 8 = -2*c for a.
2
Suppose -c + 0*m = 2*m - 15, 2*c - 34 = -5*m. Solve -k + 4 = 4*p - 2*p, -2*k = -p + c for p.
3
Let y(s) = -s**2 + 5. Let p be y(0). Solve 5*m - p*g = 2*m + 9, -5*m - 2*g + 15 = 0 for m.
3
Let p = 0 + 2. Solve 0 = 3*d + 21 - 6, -d + 1 = -p*a for a.
-3
Let d = -29 - -45. Solve 3*k = 5*z - d, -5*z - 7*k + 2*k = -40 for z.
5
Let v(o) = o - 17. Let k be v(21). Solve k*j - 4*y - 8 = 0, 5*y = -2*j + 3 + 8 for j.
3
Let f be (-1 - -4) + 21/21. Let x = -1 + 5. Suppose x*n - 4 = -0*n. Solve -g + 2*j = 4*j + f, -j + n = 2*g for g.
2
Let d be 15*(-16)/(-36) - 6/9. Solve n + 3 = 5*u, 2*u + 8 = d*n - n for u.
1
Let n be 8 - (0 + -1)*-3. Solve n = -4*m - 3*q + 32, 3*q = 2*m + 9 for m.
3
Let t = 4 + 4. Solve 5*v = -15, c - 5*v + t = 24 for c.
1
Let s be ((-4)/(-6))/(2/(-3)). Let f be (-1)/s + 16 - 1. Solve f = 4*p - 0*p, 3*p = 2*k + 14 for k.
-1
Let o be (-1)/(3/(-24)) + -4. Solve w - o*p + 8 = 0, 0 = -w - 2*w - 5*p - 7 for w.
-4
Suppose 18 = 5*a + 3*o, a + 4*a - 2*o = 13. Suppose 4*t = a*t + 25. Solve 0 = -5*g + y - 19, -5*g - y - t = 4*y for g.
-4
Suppose 0 = -0*k + k + 5*k. Solve 4*v - 5*u + 17 = 0, k - 8 = v - 5*u for v.
-3
Let y(h) = 10*h + 23. Let p be y(-2). Solve 9 = g - 5*s - p, -5*s = 15 for g.
-3
Suppose 5*m = 8 + 7. Solve m*j = -5*y - 9, -j = y + y + 4 for y.
-3
Suppose 5*o - n + 0*n - 42 = 0, 0 = -2*n - 4. Let w = o + -6. Solve 2*d = -0*d - w*z - 8, -4*d + z - 21 = 0 for d.
-5
Suppose 2*c + c = 0. Suppose 6*s - 3*s = c. Suppose s*t - 2 = -t. Solve -t*x - g = 4, 3*x - x = -5*g - 20 for x.
0
Let p = 22 + -15. Let w = p - -1. Solve -2*x + 4 = -2*c, 4*x - 2*c = -c + w for x.
2
Let n(z) = z**3 + 4*z**2 + 2*z - 5. Let h be n(-5). Let d = -28 - h. Suppose g + d = 5*g. Solve 0 = -p + 3*c - 12, -1 = g*p + 2*c + 2 for p.
-3
Suppose -4*w + 4 = -92. Let j be 8*(-4)/(w/(-9)). Solve r + r = 2*v + j, -5*v = 5*r for v.
-3
Let a(k) = k - 14. Let g be a(19). Solve 0 = -g*m + 5*i + 5, -m + 6*i = 3*i - 11 for m.
-4
Let v(h) = -h**2 + 6*h - 6. Let d = -7 - -11. Let c be v(d). Suppose 6 = -2*k + 4*k. Solve 14 = 4*w + 3*b + k, c = 2*w - 2*b for w.
2
Suppose 5*m + 50 = 15. Let j = m - -11. Suppose 0 = 3*g - y - 38 + 8, 4*g + 4*y = 40. Solve 2*v + 4*t = -v - 7, j*v + 5*t + g = 0 for v.
-5
Suppose -5 + 1 = -w. Suppose 0 = -a + w + 8. Suppose 9 = -3*f, -3*b + 3*f - 5*f + 42 = 0. Solve v = 2*n - a, -3*v - 3*n + 4*n - b = 0 for v.
-4
Let r(b) = b**2 - 7*b + 9. Let y be r(6). Let h be -2 + (-8)/(-2)*1. Suppose 0 = h*z - 0*z. Solve f = -n - f - 8, z = -y*n - 3*f - 18 for n.
-4
Suppose 4*s - 3*p = 10, 3*s + 5*p + 1 = -6. Let a = -7 + 7. Let i be a/(s/(-1) + 2). Solve i*k = -k - 5*w - 22, -3*k + 2*w + 19 = 0 for k.
3
Suppose 17*g - 28 = 10*g. Solve 0 = -2*o + 6*o + 5*k - 17, -g = -o - k for o.
3
Let p(v) = v**3 - 4*v**2 - 8*v + 5. Let q be p(5). Let c = -3 - q. Solve -u = 5*d - 11, 2*d + 4*u = -3 - c for d.
3
Let n(p) = -p**3 + 9*p**2 - 7*p - 5. Let l be n(8). Solve 3*a + c - 13 = -l, 4*c = 4*a - 8 for a.
3
Let z(v) = -33*v - 2. Let f be z(-2). Suppose f = 5*q + 4. Solve 2*k - i = 13 - 4, 3*k = i + q for k.
3
Suppose 6 = -3*l + 12. Solve -l*o - 6 = -4*f, 3*o + 2*o = -3*f + 11 for f.
2
Suppose 0 = -5*o, 25 = 3*d + 2*d + 3*o. Let j = d + -7. Let b = j - -5. Solve 2*w + w + 15 = 0, 16 = b*v - 5*w for v.
-3
Let x(l) = -2*l - 14. Let a be x(-12). Suppose 11 = -5*k + 31. Solve 3*r - 5*s - 8 = 0, s = 5*r - k*s - a for r.
1
Let d(m) = -m**2 - 21*m + 3. Let z be d(-21). Solve 4*t = 0, -s - t = z*t for s.
0
Let w(n) = -n + 1. Let h be w(-1). Solve m + 7 = -0*g - g, 29 = -5*m - h*g for m.
-5
Let h be 3/(-1) - (-6 + -3). Suppose x + 19 = 4*p + 2*x, 0 = -4*p + 3*x + 7. Solve -p*t - 6*y - h = -3*y, 4*y = -2*t + 2 for t.
-3
Let l = 5 - 3. Suppose 0 = l*q + 3*q - 55. Solve 5*f - 4*g = 45, 3*g + 9 + q = f for f.
5
Let t(k) = -5*k + 29. Let l be t(5). Solve q + 1 = s, -3*q + 0 - l = -4*s for s.
1
Let n be (-2)/(-9) - 32/144. Solve -2*o - 5*i - 23 = 0, -5*i = 3*o - n*i + 22 for o.
1
Suppose 2*m + p = 0, -m - 18 = 2*p + 3*p. Solve i = -5*h - 3*i + 22, -m*i = -6 for h.
2
Suppose 20 = 4*s + s. Let q be 6*-1*s/(-6). Let p = 19 + 1. Solve p = q*u, -6*v = -v - 2*u for v.
2
Let m be (7/4)/(2/24). Solve -5*j - 5*b + 15 = 0, -2*b - m = -2*j - 7 for j.
5
Suppose -3 = -2*o + 5. Let t = -19 - -21. Solve -g + 4*l = t, l - 3 - 5 = o*g for g.
-2
Let n = -5 + 5. Let o be (1 - (2 + n)) + 3. Solve 0 = -l - o*w + 15, 4*w + 0 - 15 = l for l.
5
Let r be 9 - (6/2 + 1). Solve r*z - 5 = 3*j + 3*z, 15 = 2*j - 5*z for j.
-5
Suppose 25*g - 30 = 19*g. Solve -g*q + 30 = -4*a, -3*a + 4*q - 20 = 3 for a.
-5
Suppose -10 = -3*w + 2. Suppose 2*a - 7 = 13. Suppose -a + 2 = -4*c. Solve 2*z - w*i = 20, 0 = -z - 2*i + i - c for z.
2
Let l = 2 - 17. Let g be (-1)/((3/1)/l). Solve -4*p = 3*c + 19, p - 24 = g*c - 0*p for c.
-5
Let r(y) = -6*y + 28. Let d be r(4). Suppose 6 = -4*m - 2. Let o be (3 - 2) + (-2)/m. Solve -q = -3*a - o*a - 7, 4*q = 4*a - d for q.
-3
Let g(o) = o**3 + o**2 - 4*o + 4. Let f be g(3). Suppose h = -h + f. Suppose -2*s - 3*v = 3*s - h, -3*v = -5*s + 26. Solve -u = -3*k, -u - s = k - 0*u for k.
-1
Let l be (-51)/(-12) - (-2)/(-8). Let y(z) = -4*z**3 + 2*z + 1. Let s be y(-1). Solve -l = -4*d, 2*q + 6 = -d + s*d for q.
-2
Suppose -3*o = 3 - 12. Solve y = -o*d - 6, 3*y = 4*d + y - 2 for d.
-1
Let x be 34/1 + (-6)/2. Let g =