s.
2
Let l be 2/(-8) + (-130)/(-40). Let s be l/(-12) + (-74)/(-8). Suppose -s*m + 6 = -7*m. Solve -m*i + 25 = i + n, 4*i + 2*n - 30 = 0 for i.
5
Suppose 9 = 3*i + 3. Suppose 0*n + i*x + 34 = -4*n, -4*n + 4*x - 28 = 0. Let h be 4/2*(n - -9). Solve 0 = -0*p + 3*p - 2*k - 1, 4 = -h*k for p.
-1
Let x = -14 - -4. Let i = 15 + x. Solve -4*k + 11 = 3*b, -6*b = -3*b + k - i for b.
1
Let h(s) = 4*s + 108. Let y be h(-25). Solve 4*b - 6*b = -4*r + y, 2*b + 2 = r for r.
2
Suppose 5*r = -4*c + 13, 2*c + 40 = -3*r + 47. Solve -c*d = -4*x + 2, -5*x - 14*d + 19*d = 5 for x.
2
Suppose 2*x + 14 = 4*t - 8, -5*t + 4*x = -32. Suppose 2*v + 14 = 3*v + 2*f, 16 = t*f. Suppose -a = -v*a. Solve 4 = 4*u - k + 12, -2*u + 5*k - 4 = a for u.
-2
Suppose -55*u + 88 = -47*u. Let v = -8 + 3. Let n = u + v. Solve -x + 2*y + y - 8 = 0, 0 = 3*x + y - n for x.
1
Let m be 1 + 0 - (64 - -8)/(-12). Solve m*l = 2*l + 3*v, 0 = -2*l + 2*v + 4 for l.
-3
Let o = 65 + -50. Suppose -5*k = -8*k + o. Solve l - k*w = -17, 0 = 3*l - 5*w + 15 + 6 for l.
-2
Suppose -3*k - 14 = -44. Suppose k*v - 11*v + 5 = 0. Solve 0 = -v*h + 2*s - 10, -5*h - 45 = 2*s + 3*s for h.
-4
Let k(q) = q**3 - 6*q**2 - 4*q - 18. Let t be k(7). Let i be 1*(-1)/(-1) + 8. Solve l - i = 3*h, -t*l = -h - 2*l - 1 for h.
-4
Suppose 0 = -7*b - 12 + 61. Let f(y) = -y**2 + 7*y + 3. Let a be f(b). Solve 5*h = n - 9, 14 = 4*n + a*h - h for n.
4
Let z = 20 - 17. Suppose b - 27 = 4*x, -z*b - 2*x + 12 = 1. Solve -5*s + b = -3*t, 4*s - 8 = -4*t + 2*s for t.
1
Let q be (4/12 + -2 + 2)*21. Suppose -3*y - q = -2*y - 3*b, 5*b = 15. Solve 3*a + y*j = 20, 4*a - 3*a - 16 = -3*j for a.
4
Let z(a) = -45*a - 573. Let u be z(-13). Solve -5*s - 10 - 10 = -4*b, u = -3*s + b for s.
-4
Let q(p) = 2*p - 3. Let l be q(5). Suppose -9*s - 850 = -4*s. Let x be 44/10 - (-68)/s. Solve 0 = -x*f + 2*n + 12, -l*f + 2*f = 3*n - 4 for f.
2
Let z(a) = 2*a**2 + 10*a + 4. Let o be z(-5). Suppose 0 = o*y - 1 - 11. Solve 4*n + 1 - 5 = 0, 10 = -y*h - 5*n for h.
-5
Let h(s) = -s**3 - 3*s**2 - 2*s - 3. Let z be h(-3). Let o = 17 + -9. Suppose -7*i + z*i = -o. Solve 3*k + 2*k = -i*r - 19, 3*r - k + 3 = 0 for r.
-2
Let p(v) = -v**3 + 12*v**2 - v + 17. Let j be p(12). Let q = -53 - -55. Let n = -4 - -9. Solve n = q*u + 3*y, j*y = -2*u - 3*u for u.
-5
Suppose -3*y + 28 = 4*d, -3*d - 8 = 6*y - 11*y. Solve 4*q = -2*i + 6, d*q - 5 = -q for i.
1
Let s = 17 - 12. Solve s*w - 3*g = 12 + 5, 5*w + 4*g = 24 for w.
4
Let x(w) = w + 7. Let u be x(-6). Let z be ((-104)/16)/(u/(-2)). Let b = -11 + z. Solve -2 = b*s - 2*g, 6*s = s + g - 13 for s.
-3
Let g = 0 + 2. Let w be 4 + -2 + -24 + -2. Let a = 34 + w. Solve -10 = -4*r - g*s, -5*r + a + 1 = s for r.
2
Let f(h) = -h**3 + 7*h**2 + 5. Let p be f(7). Let a = 0 + p. Let w = -2 + a. Solve 5*x + 22 = 5*n - 2*n, w*n + 2*x = 8 for n.
4
Let u = 38 - 72. Let j be 9/15 + u/(-10). Suppose j*k + 4 - 20 = 0. Solve -5 = 5*x - 5*z, x + 3 = 2*z + k for x.
-3
Let t(v) = -8*v - 66. Let b be t(-12). Let r be ((-4)/6 - b/(-18))*4. Solve 5*l + 2*u + 5 - 22 = 0, 0 = -2*l + 2*u + r for l.
3
Let p be 12/(-104)*-62 - (-2)/(-13). Suppose 0*a = 6*a - p*a. Solve a*c - 12 = -4*c + 3*k, -3*c - 2*k - 8 = 0 for c.
0
Let p(q) = 25*q**2 + 124*q - 3. Let g be p(-5). Solve 5*a - 4*s = g*a + 13, -8 = -4*a - 4*s for a.
3
Suppose 5*c - 154 = -x, 3*x + 72 = 2*c + 6*x. Suppose -3*s = 2*s - c. Solve 4*q - z = 15 + s, -q - 16 = 4*z for q.
4
Suppose 13*n + 40 - 118 = 0. Solve o = 2, 2*h - 10 = -n*o + o for h.
0
Let u(a) = -26*a**2 + 88*a - 6. Let g be u(3). Solve 3*t + 3*f = g, 1 = -4*t - 3*f + 30 for t.
5
Let z = -18 - -18. Let t = 8 - -14. Suppose u + 4*c - 29 = z, -18 = -2*u + c + t. Solve -4*b + g + u = 0, 2 = -0*g - 2*g for b.
5
Suppose m = 4 - 5. Let d be (m - 59)/((-9)/6). Solve 0 = -3*t - 3*w, -2*t - t + 5*w = -d for t.
5
Suppose 4*i - 37 - 111 = 0. Let w = i - 35. Solve g - 15 = 3*h, -2*g - w*h + 0*h - 10 = 0 for g.
0
Let a be 0/(((-2)/2)/(-1)). Suppose -b - 3*b + 16 = a. Let v(k) = k**2 - 3*k - 11. Let n be v(7). Solve 0 = -b*h + 12, n = -4*d - 0*h + 3*h for d.
-2
Let l = -25 + 28. Let w be l + 1 + (2 - 1). Let t be 4/(-14) + (-4)/(-14). Solve -4*v + p + t - 6 = 0, -p = -3*v - w for v.
-1
Suppose b - 25 = -5*v, 2*v - 10 = b + b. Suppose -5*k + 0*k + 33 = 2*x, -k - 3 = -2*x. Solve 2*o = -z - b*z + 1, 0 = -k*z - 25 for o.
3
Let h be ((-4)/(-4) - 5) + 13. Suppose 0 = h*q - 10*q + 5. Solve n = k + 1, 4*n + 0*n = q*k for n.
5
Let g be (-22)/22*(0 - 1). Let a be 3*(4/12)/g. Let n(y) = -y**2 - 7*y - 2. Let r be n(-6). Solve r*s - w = -1, 2*s - a - 3 = 2*w for s.
-1
Let k(w) be the first derivative of w**4/4 + 4*w**3 + 5*w**2 + 9*w + 10. Let s be k(-11). Solve 4*x = 0, 5*b + 4*x - s = -0*b for b.
4
Suppose 2*r + 5*s + 0 + 31 = 0, 4*r + 5*s + 47 = 0. Let w(j) = j**2 + 8*j + 3. Let o be w(r). Let m = 7 - 5. Solve -5*f + 6 = o*k + 3, -4*f = 2*k - m for f.
0
Let m(y) = -y**3 + 5*y**2 + y - 1. Let d = -43 + 48. Let l be m(d). Solve 4*f = o - 12, -5*f + l = -2*o + 16 for f.
-4
Let s = 184 + -180. Solve -3*d - s*b = -6 + 1, d - 3*b = -7 for d.
-1
Let x = -15 - -17. Solve -2*g - 4*m = -14, x*g - 5*m + 9 + 4 = 0 for g.
1
Suppose p = 42 - 30. Solve -p = -v + 5*u, -5*u + 6*u = -v - 6 for v.
-3
Let t = 1414 - 1393. Solve 4*m = -3*x + 5 + t, -5*m + 5*x = -15 for m.
5
Let f = 877 - 874. Solve -2*m + 8 = -p - f*m, 3*p - 3*m = 0 for p.
-4
Let b = -136 + 140. Solve 3*a - 2*y + 6 - 13 = 0, -5*a - b*y - 25 = 0 for a.
-1
Suppose 0 = -2*t - 2*j + 36, -5*j = -3*t + 1 + 69. Suppose -5*w - 10 = -t. Solve -3*h - 32 = 5*o, -2 = -w*h + 4*o + 6 for h.
-4
Let r(d) = -2*d - 2. Let h be r(0). Let n be 22/4 + (-1)/h. Solve 4*p + 15 = -3*o + 1, 2*p = -o - n for o.
-2
Let u = 5 - -4. Suppose 8*l + 5 = u*l. Let x = 7 - 4. Solve 2*r - k - x = 0, -9 = -l*k - 4 for r.
2
Let v(n) be the first derivative of -4*n**2 + 50*n - 11. Let j be v(6). Solve -3*u - 3 = -2*d, -3 = 4*d - j*u - u for d.
-3
Let i = -254 + 259. Solve -5*d = -i*b + 45, -4*d + 7 = 3*b - 3*d for b.
4
Let r(a) = 13*a - 11. Let y be r(3). Suppose -5*o + y - 8 = 0, 5 = 3*g - o. Solve 5*h - 3*n - 3 = 0, h + 2*n = -g*n + 23 for h.
3
Let k = 73 + -69. Suppose 5*y - k*q = 5, -4*q + 4 = -16. Solve h + 0*h - 5*p = 19, -h - y*p - 21 = 0 for h.
-1
Suppose 6 = -2*p + 16, -2*a + p - 1 = 0. Solve 4*h - 11 = 3*w + a*w, h = -4*w - 13 for w.
-3
Let t = 66 + -61. Suppose 3*o - 7 = x - 1, -t*o + 10 = 0. Let p(h) = 2*h + 1. Let j be p(2). Solve 2*w + 5*a + 1 = 0, x = -j*w + 7*a - 2*a - 20 for w.
-3
Let j = -51 - -52. Suppose 5*u = -5*l + 25, -4*u + j + 4 = l. Solve -3*p - l*h + 25 = -3*h, -2*h = -2*p for p.
5
Let a(z) = z + 4. Let n be a(6). Let i = n + -7. Let x be (10/(-6))/((-1)/i). Solve 5*r - 31 = -2*m, -x*r + 4 = -m - 18 for r.
5
Let d be 5*(-3 + 1 + 3). Let q(j) = 72*j**3 + j**2. Let s be q(-1). Let k = -34 - s. Solve 0 = -c + 6*c - 4*t - k, -10 = -5*c - d*t for c.
5
Let a(k) = -k**3 + k**2. Let m be 1*(0 - 2) + 11. Suppose -3*t = -m*t. Let g be a(t). Solve -2*z = -4*s - 18, -z - 2*s + 2 - 1 = g for z.
5
Let c(i) be the third derivative of -i**5/60 + 7*i**4/24 - i**3 + 3*i**2. Let p be c(5). Solve o = p*r + 7, 0 = 2*r - 3*o - 3 + 4 for r.
-2
Let x be ((-96)/(-36))/(4/6). Suppose -x*b = -7*b - 36. Let p be 9/12 + (-123)/b. Solve 0 = -2*y - 2, -2*y = 3*c - 0*y + p for c.
-3
Suppose 6*v - 19 = 2*v - 3*y, -4*v - y + 17 = 0. Suppose 111 + 117 = v*n. Let b be (n/9 - 2)*3. Solve -3*g + o = -b, -1 = -2*g + 3*o + 3 for g.
5
Suppose 0 = 8*h - 769 + 545. Solve x = -3*t + 4*x, -4*t - h = 3*x for t.
-4
Let r be -4 - -7 - -3 - 1. Let x(d) = -d**2 + 3*d + 4. Let o be x(4). Suppose -p + 1 + 1 = o. Solve r*i + 2*t + 2 = -p, 5*i = 4*t - 22 for i.
-2
Suppose -7*d + 1322 - 1273 = 0. Solve 3*m - r = d, 12 - 2 = 5*m - 2*r for m.
4
Let m = -413 + 414. Solve 11 = 4*b + 3*k, 2*b - b - m = k for b.
2
Let x(p) = 2*p + 72. Let d be x(0). Let m be d/21 + (-3)/7. Solve 0 = -h + m*w - 2, h = 5*w - w - 1 for h.
-5
Suppose 5*k = 6*o - 5*o + 3, 4*k = -5*o + 14. Solve -4*v + 3*x + o + 6 = 0, -2*x - 7 = -v for v.
-1
Let j(g) = 3*g - 9. Let z be j(3). Solve n - 2*h + z*h = -2, -2*n + 5 = 5*h for n.
0
Let j = 681 - 679. Solve b + 3*c + 16 - 5 = 0, -j*c - 13 = -5*b for b.
1
Suppose -g - 12 = 4*s - 5*g, -s - 6 = -2*g. Suppose s*i = -3*d + i - 5, -20 = -4*d - 4*i. Solve -5*p - 10 = d, o - 3 = 2*o 