for s.
5
Suppose -4*b + 2 = -6*b. Let k(d) = 7*d + 9. Let j be k(b). Solve 12 = 4*z, -j*f = -2*z - 4 - 0 for f.
5
Suppose 4*r - 18 = -3*y, -4*r + 3*y - 31 = -37. Solve 3*w + 23 = -4*z, 3*w + r = 2*w + z for w.
-5
Let y be -2 + (24/1 - 2). Suppose a = 3*a - y. Suppose a = 4*c + b, 2*b + 4 = -2*c + 6*c. Solve -c = o - 2*o - s, 0 = -5*o + 3*s - 6 for o.
0
Let u be ((-75)/10)/((-2)/4). Let g be (-2 - 21/(-9))*u. Solve 3*t = 2*o + 5, 3*o - 2 = -10*t + g*t for t.
1
Let v(z) = z - 1. Let t be v(26). Solve -g = -o, -3*o + 7*g = 9*g + t for o.
-5
Let q = 137 - 125. Suppose 28*i = 25*i + q. Solve f + 11 = 4*w - 7, -f - i*w + 22 = 0 for f.
2
Suppose -10 = 5*l - 30. Suppose 6*g - 22 = -l. Solve 1 = 4*m - 4*f + 5, -g*f = -12 for m.
3
Let y = 78 + -72. Suppose r = -2*a + y, -a + 2*r - 4 = -17. Solve 0 = 5*q + a*x + 20, -5*x - 1 = -3*q - 5 for q.
-3
Let a = -62 - -72. Solve o = 4*h - o - a, 0 = 3*h + o for h.
1
Let i(g) = g**3 + 6*g**2 - g - 3. Let w be i(-5). Suppose -6*k + 40 = -k + 5*l, k + 4*l = 23. Suppose -f + 20 = k*f. Solve -v = f*d + w, 7*v = 4*v - 6 for d.
-5
Let x = 1 - -15. Suppose -12*z - x = -16*z. Solve 0 = a + 5*d - 8, -4 = -2*a - 2*d + z*d for a.
3
Suppose -10 - 5 = -3*v. Let h(o) = -o**3 - 7*o**2 + o + 11. Let z be h(-7). Let b be (3/(-2))/((-36)/96). Solve -v*u - 12 = -2*n, -b = -n + 5*n + z*u for n.
1
Let n be (-18)/4 - 1/2. Suppose -30 = 6*r - 60. Let u = n + r. Solve u = 2*f - 2*o + 8, 0 = -0*f + f + 5*o - 14 for f.
-1
Let f = 84 - 84. Solve -h - 5 = o - f, 20 = -4*o - 2*h for o.
-5
Let m(o) = -2*o - 4. Let c be m(-3). Let g(j) = 2*j**3 - j**2 - 4*j + 1. Let b be g(c). Solve 0 = 4*f + 2*p - 22, f - b = -p + 1 for f.
5
Let b = 3002 + -2987. Solve -b = 3*m, -8*m + 5*m = -5*h + 5 for h.
-2
Let p = -143 + 148. Solve s - 33 = -3*s + p*m, -2*s + m + 9 = 0 for s.
2
Let k be (14/(-8))/((-2)/8) - 3. Suppose 3*n + 2 - 5 = 3*x, -10 = -k*n + 2*x. Solve 5*v - 5*l + n*l = -7, -l = 3*v + 1 for v.
-1
Let i be (3 + -2 + 8)/1. Let u = 7 + -5. Suppose -r = -u*r + 4. Solve p - 15 = -5*q, r*p = -4*q + i + 3 for q.
3
Let u(n) = -2*n**2 - 17*n - 22. Let i be u(-6). Solve y + 2*x = -3, 4*y + i*x - 6*x + 6 = 0 for y.
-1
Suppose -28*r - 336 = -49*r. Solve -l - 3*l = -8, 3*l = -2*k + r for k.
5
Let w = -26 + 29. Suppose -3*o + 2*s = -w - 3, -2*s = 6. Solve 4*l + 2*g + 8 = o, -14 = 5*l - g - 4 for l.
-2
Let w(y) = y**3 - 26*y**2 + 27*y - 47. Let q be w(25). Solve 0 = -4*x - 2*i + 22, -5 = -4*x - q*i + 18 for x.
5
Suppose 4*h - 4*v - 156 = 0, 0*h = -3*h + 4*v + 114. Let g = h - 42. Solve 0 = 5*o + 2*s + 24, 2*o - s - 3*s = g for o.
-4
Let j = -13 - -10. Let r be -3 + (1 - 11)/(6/j). Solve -g - 4 = 0, -r*t - 26 = -0*t + 4*g for t.
-5
Suppose 5*d - 48*b = -49*b + 20, -d - 20 = 5*b. Solve v = 5*g - 9, -d*g + 5*v + 2 = -3 for g.
2
Let m be 204/(-374) - 6/(-11). Solve m = r - t + 1, -2*r - 8 = -3*t - 5 for r.
0
Let m = -144 + 254. Let k = 114 - m. Solve -4*u + k = 0, 4*u - 6 = -3*d + 4 for d.
2
Suppose -6*m + 16 = -4*m + 4*h, -h = m - 6. Solve 2*l - m*j - 6 = 4*l, 11 = 3*l + j for l.
5
Let v = -770 + 775. Suppose h = -2*a + 5*a + 16, 2*h = 2*a + 16. Solve w - 6*w = 15, -v*w = -h*t + 11 for t.
-1
Let r(o) = -2*o + 9. Let q be r(-13). Let w = q - 33. Solve -4*k - 12 = -w*f, -k + 5*f = -6*k for k.
-2
Let g be 16/72*(-36 + 45). Let q(u) = -4*u + 1. Let z be q(-1). Solve 0 = -2*m - z*d, g*m + d + 18 = 5*d for m.
-5
Let b = 21 + -12. Suppose -b*m + 32 = -m. Solve -2*l + 10 = -4*t, 6*t - m*l + 8 = t for t.
-4
Let q = 1 + -1. Let d(r) = -35*r**3 + 4 - 35*r**3 - 36*r**3 + 105*r**3. Let j be d(q). Solve j*k - 5*v = -10*v - 11, 0 = k - v - 4 for k.
1
Let y be 4 - -1 - -1*3. Let k be (-2)/3 - y/(-12). Suppose -3*l + 5*a = l - 43, k = -5*l - 4*a + 105. Solve -5*c + h = l, 8 + 5 = -4*c + h for c.
-4
Let u = 981 + -979. Suppose 6*k = 7*k - 16. Suppose q + 0 = k. Solve -4*a + q = 2*s + u*s, 2*s = -5*a + 23 for a.
5
Suppose 0 = -2*b + 14 - 6. Suppose -5*t + 4*l = -b - 3, 2*l - 4 = 0. Let u be 18*2/(6/t). Solve 0 = -3*h - 4*n + 8, -4*h + 2*n - u = -9*h for h.
4
Suppose -5*m + 10 = -0. Suppose -4*d = 3*q - 23, m*d + 6*q - 29 = q. Solve -d*f + s - 4 = -2, -4*f + 8 = 4*s for f.
0
Let w(u) = u**3 + 2*u**2 - 4*u - 4. Let s be w(-2). Solve -2*h - 5*t + 13 = 0, 0*h - 17 = 5*h - s*t for h.
-1
Let r = -241 + 241. Solve r = -5*y - 4*t - 40, 4*y + 36 = -2*t + 10 for y.
-4
Let c(v) = -2*v**2 + 73*v + 41. Let d be c(37). Solve -l = d*a + 6, -a - l - 3*l = 9 for a.
-1
Suppose -27 + 7 = -4*s. Suppose -2*i - 5*a + 13 = i, s*i + 15 = -a. Let f be (1*i)/(-12)*111. Solve 0 = -g + 4*v + 17, -5*g + 5*v = v - f for g.
5
Suppose -z + 4*g = -41, -6*z + g = -4*z - 47. Let q(w) = -w**2 + 19*w + 52. Let m be q(z). Solve -h = -d - d - 1, -5*d = -h + m for d.
-3
Let f(i) = i**2 - i - 6. Let p be f(3). Suppose p = -4*c + 2*k + 14, -5*k + 37 = 4*c + 2. Solve -c*u = 4*t - 21, -2*u = -0 - 2 for t.
4
Let a(z) = 3*z - 14*z**3 - 5*z + 1 + 13*z**3. Let j be a(-2). Suppose 3*t - 2 = j. Solve 3*v + 2*g - 14 = 0, 7*g - 6 = t*v + 3*g for v.
2
Let f = -32 - -4. Let c = -6 - f. Suppose 5*b - c = -7. Solve -b*u + 8*u + 3*s = -25, 5*u + 25 = s for u.
-5
Let p be -1 + (-14)/(-10) + (-4)/10. Suppose -7*n + 8*n - 2 = p. Solve n*s = q - 3*s - 16, -q - 5 = 2*s for q.
1
Suppose 0*a - 5*a + 5*q + 135 = 0, -2*a = 3*q - 64. Suppose 4*k - a = -2*x + 9, -4*k + 23 = -x. Let c be k*3/(42/4). Solve t + 3*p - 5*p = -3, 0 = -c*p for t.
-3
Let t(j) be the first derivative of -2*j**3/3 - 29*j**2/2 - 14*j + 19. Let l be t(-14). Solve l = -2*m + 5*m + 4*n - 1, 3*n = 5*m + 37 for m.
-5
Let k = 2 - -1. Suppose 2*b + 14 = j + j, 0 = -2*j - b + 2. Suppose 9 = j*x + 3*m, -5*x + x = -m - 22. Solve -x = -g + 5*i - 2*i, -2*i - 8 = -k*g for g.
2
Suppose -7 = 3*v - 5*i, v + 3*i = 8*i - 9. Let m = v + 1. Solve -3 = 3*t + 3*a, -6*a = -3*t - m*a + 4 for t.
0
Let z be (-10)/(-4)*(-20)/(-25). Suppose -5*d - n = 87, -n = d + z*n + 9. Let r = 22 + d. Solve -4*q + 5*o - 21 = 5, 2*o - 20 = r*q for q.
-4
Suppose 2*r + k - 3 = 0, -k = -0*k + 1. Solve -3*p + 2*p + 2*i - 9 = 0, r*p + 4*i - 6 = 0 for p.
-3
Let d be (-60)/36*(-9)/5. Let f be 4/(-6) - 88/(-6). Suppose 5 = -d*s + f. Solve -s*q + 37 = -4*k + 8, k - 10 = -5*q for k.
-5
Let y be ((-65)/(-40) + 1 + -2)*8. Let m(d) = -d**3 + 4*d**2 + 2. Let p be m(4). Let x be (-1)/y + p/10. Solve 3*o + x = 5*f + 1, 5*o = -2*f - 19 for f.
-2
Suppose 13*f - 4*f + 675 = 0. Let x = 80 + f. Solve 0 = g, -2*c = 3*c - x*g for c.
0
Let y be (-231)/(-21) - (0 - -4). Suppose -y*c = -5*c. Suppose c = 3*x - 0*x - 15. Solve 0 = -2*w - 3*q + 16, -4*q = -x*w - 8*q + 33 for w.
5
Let h(m) = m**2 - 26*m + 109. Let r be h(21). Solve 5*w + 2 + 22 = -2*u, w + 12 = -r*u for u.
-2
Let r = 82 + -82. Suppose r = -m + 4 - 3. Solve -3*k + 7 = x, m = -k + 2*k - x for k.
2
Let f be (-15)/(-6)*(4 + (-4 - -2)). Let j be -3 - -3 - (-3 - -3). Solve 5*w = o + 8, j*w + 12 = f*o + w for o.
2
Let o = 218 - 215. Solve -w - v = -3, -o = -w - 5*v + 2*v for w.
3
Suppose i = a - 5*a + 6, 0 = -4*i - 4*a + 60. Solve -5*r = -5*v - 15, 8*r - i = 6*r - 4*v for r.
5
Let g be (-3 - (-1 + 2))*5/(-4). Let v be -4*6*1/(-4). Solve -5*i + 10 = 3*a + 2*a, v = -i - g*a for i.
4
Let l(d) = d**3 - 7*d**2 + 2*d - 1. Let c be l(7). Suppose 0 = 5*v + 6*g - 2*g - 32, -7 = 2*v - 5*g. Solve -c = v*h + 7, -4*h = -3*x + 11 for x.
-3
Let h = 34 + -29. Suppose 0 = 3*l - 0*l - 9. Solve z = -2*w + 6 + l, 30 = h*z + 5*w for z.
3
Let z be ((-13)/52)/(2/(-24)*1). Suppose -4*u = z*f - 17, 5*u - 22 = -f - 3*f. Solve -2 = 4*g + f*r - 8, -5*g = -2*r + 4 for g.
0
Let m(h) = -4*h + 50. Let t be m(11). Solve 0 = -b - 2*d - t, 19 - 4 = -3*b - 5*d for b.
0
Let d = -37 - -36. Let p be (1 + 7/d)/(99/(-66)). Solve -l + 4*l = 0, -o = p*l - 2 for o.
2
Let t(s) = -s**3 + 4*s**2 - 3*s + 2. Let q be t(2). Solve 5*c + 20 = p, -q*p - c - 2 = 2 for p.
0
Let s = -12 + 15. Suppose 0 = o, -5*f + s*o + 0 = 5. Let h(q) = -5*q. Let w be h(f). Solve -4*t - 10 = w*b, 5*t + 27 = 2*b - b for b.
2
Suppose -59 = -4*i - 51. Solve -5*o + 28 = 3*m, 0*o = i*m - 5*o + 23 for m.
1
Let m(z) = 4*z - 2*z - 4*z - 3. Let k be m(-5). Let l be 2/4 + 2/(-4). Solve l = -v - 0*v + 2*u - k, -8 = -2*u for v.
1
Let t = -38 - -40. Suppose 0 = -2*q + j + 8, 2*j = 2*q - t*j - 20. Solve o = -s + 4, 1 = -o + q for s.
3
Suppose -i = 4*p - 35 - 22, 3*i = 