(s) = 3*s**3 + 4*s**2 - 14*s - 13. Let h be b(-1). Solve 0 = -h*u - 5*r - 35 + 29, -3*r - 9 = 3*u for u.
-3
Let b = -78 + 270. Let x = 197 - b. Solve -6 - x = -m + 3*d, 0 = -d - 4 for m.
-1
Suppose 0 = 5*o + s - 102, 400*s = o + 401*s - 26. Solve 0 = -5*k + 2*z - 13, -3*k - 5*z = -2*k - o for k.
-1
Let i be (-2 + (-10)/(-4))*-4*-1. Suppose -i = p - 4, 3*p = -3*o + 12. Let r be o/7 + (-10)/(70/(-33)). Solve 0 = -2*x + 5*h + 20, 0 = 5*x - r*h - 20 for x.
0
Suppose 8*b = 7*b - 8. Let s(t) = 23 + 3 - 169*t + 172*t. Let q be s(b). Solve 5*f - 17 + q = 4*u, 5*f = -5 for u.
-5
Suppose 15*y - 3970 - 1865 = 0. Let g = -385 + y. Suppose -2*w - 16 = -6*w. Solve 2*z + w = 3*z - 2*i, -5*i - 36 = g*z for z.
-4
Let g be (-2744)/(-2352)*24/14. Let l = -4 - -6. Solve 2*n = g*z - z + 9, 0 = -5*z - l*n - 21 for z.
-5
Let d(m) = -m**2 + 28*m + 53. Let h be d(25). Suppose -h*n = -118*n - 240. Solve -5*b - 4*p + 11 = 0, -5*b + 5*p - n = -b for b.
-1
Let r = 11 + -9. Suppose 5*n - y = -44, n + 4*y = -15 + r. Let j = n - -11. Solve 0 = 5*b - j*a - 8, -7*a + 3*a - 16 = -b for b.
0
Let i be 0 - 1/3*(0 + -16 + 7). Solve -i*b = -3*k - 3, 3 = 30*b - 32*b + k for b.
-4
Suppose 73*j + 8 = 72*j, 4 = -2*h - j. Solve -4*s = -r - 20, h*r + 2*r = -3*s + 15 for r.
0
Suppose 0 = -3*z - 25*z + 8260. Let n = 295 - z. Solve 4*t + 2*l - 12 = l, n = 5*l for t.
3
Let o = 27 + -22. Let l(j) = 4*j**2 - 141. Let k be l(-6). Solve 4*q = o*f - 6, k*q = -2*f - q - 20 for f.
-2
Let a be (-18)/10*-5 + (-2)/(-1) + -7. Solve -s = s - 2, -4*i + a*s = 4 for i.
0
Let h = 13255 + -13126. Solve 5*b - 134 = -2*o - h, -b = -3*o + 16 for o.
5
Let g = 0 + 4. Suppose 14*b + g*h + 11 = 15*b, -9 = -5*b - 3*h. Solve b*f = -z - 2, -3*f - 5*z = -f + 10 for f.
0
Let g(p) = p**3 - 8*p**2 + 3*p - 18. Let l be g(8). Let u = l + -3. Solve 2*a - a - u*d = 7, a - 4*d = 11 for a.
-5
Let m = 157 + -143. Suppose -3*g + 5*g - m = 0. Solve -2*u + 5*a + 21 = 0, 0 = 2*u + 4*a - g*a - 11 for u.
-2
Let z be (-52)/(-494) + (-80)/38 - -7. Solve -30*y + 31*y = 2*g - 9, -z*y + g = 9 for y.
-1
Let t be 15 - (1 + 2/2). Let j = 17 - t. Solve -4*b + 3*n = -j, 5*b - 2*n - 15 = -3 for b.
4
Let l(a) = -3*a**2 - a - 14. Let t(c) = -13*c**2 - c - 56. Let g(u) = -9*l(u) + 2*t(u). Let m be g(-3). Solve o - 1 = 2*h, -3*o - h = -1 - m for o.
1
Suppose 4*d = 12, -d - 693 = 4*s - 0*d. Let u = -172 - s. Solve -u*l = -5*g, -g - 4*l = -6*l for g.
0
Let l = 32 + -10. Suppose -l*g + 30 = -14. Solve 4 = 5*h - g*k - 2*k, -3*h = -3*k for h.
4
Suppose -20 = -4*k + 5*m, k - 13*m + 8*m = -10. Solve 4*b - k*n + 13*n = 21, -b = 4*n - 15 for b.
3
Suppose 13*j - 11*j + 1152 = 0. Let a = -572 - j. Solve 2*z = -2*q - 10, a*q = -6*z + z - 23 for z.
-3
Let a = -545 + 455. Let k be 13/(-195) - 6/a. Solve 3*f + k*x = -2*x - 13, -3*f + 17 = -4*x for f.
-1
Let z be (-42 - 24/3)/(-2). Solve 0 = 3*b - 12, k + 9 = -3*b + z for k.
4
Let m = 8 - 3. Let b be 3/(135/740) + (-24)/54. Solve l = 2*l + 3*f - 11, 4*l = -m*f + b for l.
-1
Let z be 112/(-24)*(-18)/(-21)*-5. Suppose -5*c = p + 36, -2*c = 3*c - z. Let k be p/((-12)/(-6))*2/(-4). Solve 0 = -4*i - 2*l - 16, 5*l + k + 6 = 0 for i.
-2
Let f(s) = 3*s - 36. Let z be f(8). Let h be z/(-8)*(-4)/6. Let r be 0 + -3 + 1 - 4/h. Solve n + 7 = 2*y, 0*y = y + n - r for y.
3
Suppose 2*k - 5*x = -10*x - 118, 3*k - x + 160 = 0. Let f = 58 + k. Solve 0 = -4*o - f*y, -y + 4 = -o - 3*y for o.
4
Let c(f) = -f**2 + 26*f - 45. Let o be c(24). Suppose -3*k + 2 = -5*w - 7, 5*w + k = o. Solve w = -2*x - 4*j + 14, 0 = 3*j - 2*j - 3 for x.
1
Let p be 35/2 - ((-225)/(-10))/45. Solve -12*v = 2*q - p*v - 22, -q + 2 = 2*v for q.
6
Let g be ((-84)/98)/(2/(-70)). Suppose -10*k + g = -10. Solve -5*x = -5*c - 5, k*c - 28 = -6*x + 2*x for x.
4
Let r = -2038 + 2040. Solve -r*a + 5*b = 7, 0 = a - b + 2*b - 7 for a.
4
Let w be (-696)/174 - (-1 - 1)*6. Solve 0 = 2*h - 2, -w*h + 12*h = -i for i.
-4
Let h(c) = 168*c + 340. Let m be h(-2). Solve m*l - 6*q = -8*q + 16, -q = -l - 2 for l.
2
Suppose 5*o + 4*r - 40 = 0, 3*r - 6 = 2*o + 1. Suppose 4*w = 8, -5*x + 12 = 2*w - 12. Solve x*v = -4*s + o, -4 = -5*s - 3*v + 3 for s.
2
Let v = 580 + -646. Let s be (2 - -2)/(-8) + v/(-12). Solve -s*k - 20 = 5*a + 5, -2*k + 6 = -2*a for k.
-1
Let j = -93 - -192. Suppose -3*f + 2*g = 6*g - j, 5*g = -3*f + 102. Solve 3*q + 2 = 2*w, 3*w + 2*w + q + f = 0 for w.
-5
Let f = 8 - 21. Let m(g) be the first derivative of -g**3/3 - 11*g**2/2 + 31*g + 32. Let c be m(f). Solve c*j + 5 = u - 3, -4*j = -3*u + 13 for u.
3
Let n = -143 - -145. Suppose -4*i + n = -2*h - 0, 2*i - 3*h = -9. Solve 0 = 5*f + 3*z - 4*z - 21, -i*z - 13 = -5*f for f.
5
Let x = 1912 + -1907. Solve -11*d = z - 10*d, x*d - 10 = -3*z for z.
-5
Let v = 4127 + -4124. Solve m = -3*c - 13, 2*c - 10 = -v*m - 14 for c.
-5
Suppose -3*u - 5*c + 625 = -291, -5*c + 312 = u. Let w = -300 + u. Solve f - r = 2*r - 5, 5*r = -w*f - 10 for f.
-5
Suppose 0 = -2*a + a + u - 30, 4*u + 16 = 0. Let f = 6 + a. Let t = 28 + f. Solve t = 4*p - 3*v + 3, -3*p + 1 = 4*v - 3 for p.
0
Let b be (-1)/(-2) + (-36)/(-8). Let v = 171 - 166. Let y(f) = -f**3 + 5*f**2 + 4*f - 13. Let r be y(v). Solve r = -k + 2*i - 4, 2*k + b*i = 23 for k.
-1
Let s = 592 - 613. Let m be (-6)/s - 6*60/(-63). Solve v + 2*l = -4*v - m, -5*v - 3*l - 4 = 0 for v.
-2
Suppose -185*g - 187*g + 1860 = 0. Suppose -3*i - 102 = -2*m, -i = 4*i + 20. Suppose m*d + g = 46*d. Solve 4*p - k = -9, -k + d*k - 12 = 4*p for p.
-2
Let i = 8655 - 8652. Solve 3*p - 17 = 8*p + 4*r, i*r = p + 11 for p.
-5
Let m = -51078 + 51078. Suppose 4*d + 0*d = 0. Suppose -3*w - 5*t + 4 = d, w - 5*t - 8 = -0*w. Solve -4*u + 4*b + 16 = m, -5*u + w*b + 20 = b for u.
4
Let v be 152*30/1200 - 3/(-15). Solve -5*j + 4*c = -10*j + 16, -3*j - v*c + 8 = 0 for j.
4
Let t be (1/1)/((-16)/24)*-2. Solve -3*l + 20 = -5*h - 14, 3*l = t*h + 24 for h.
-5
Let m(a) = a**3 - 8*a**2 - 21*a + 17. Let z be m(10). Suppose -1 = z*q - 15. Solve 0 = 5*r - 4*k + 10, -r - k - q = k for r.
-2
Let c be (1 - 1)/(6 + -10 + 1). Suppose c = 9*f + 196 - 313. Solve 15 = -5*d, 2*d + f = 2*q - d for q.
2
Let v = 808 - 65. Let l = v + -740. Solve -5*g + 8 = -l*f - 9*g, 0 = g + 5 for f.
4
Let f(g) = 3*g**2 + 9*g + 5. Suppose -23*r + 42*r = -57. Let u be f(r). Solve x - 8 - 15 = u*m, 2*m + 2 = -2*x for m.
-4
Suppose c = -58*m + 56*m + 5, 5*c = 5*m + 25. Solve -4*l - 1 = 4*r + 11, m = r - 4*l - 12 for r.
0
Suppose -3*o + 11 - 6 = 2*z, -11 = -o + 4*z. Solve -o*h + 8*h = -3*l + 15, 2*h - 15 = -3*l for l.
5
Let j(r) = 2*r - 11. Let h be j(7). Let k(o) = 61*o + 3*o**2 - o**h + 67*o - 119*o - 15. Let i be k(4). Solve 5*w + i*b = 11 - 1, 37 = -4*w + 5*b for w.
-3
Suppose -26*a = -30*a + 2*u + 8, -2*a = 2*u - 10. Solve a*i + z = 5, -6 + 1 = 5*z for i.
2
Let o(i) = -i**3 - 7*i**2 + 6*i - 3. Let h be o(-7). Let q = h - -41. Let y = 8 + q. Solve y*b = -2*v - 20, 5*v + 0*b + 35 = -5*b for v.
-4
Suppose 59*q - 425 = 53*q - 79*q. Solve -6 = q*p - 3*v, -5*p + 5*v - 12 = -2 for p.
0
Suppose 22*v = 10*v - 1512. Let g = v + 129. Solve g*n + 11 = 4*j, j + 8 = -2*j - n for j.
-1
Let z(w) = 359*w + 1. Let y be z(1). Suppose 116 = 4*h + y. Let m = h - -61. Solve m = -2*p - 4*x + 10, -p - 4*x = -x - 6 for p.
3
Let u = -1212 + 635. Let w = u - -582. Solve 0 = 8*g - 5*g - 4*j - 20, 0 = j + w for g.
0
Suppose n - 2*n = -h + 18, 2*h + n - 42 = 0. Suppose -5*l = 2*u - 9, 8 + 0 = 2*u + 4*l. Let f be u - (2 + 9/(-1)). Solve f*a + h = 4*a, -11 = -v + 2*a for v.
3
Let m be (-3)/(-3*2)*5*2. Suppose 3*r = 2*r + 2. Suppose -4*i - r*s = -8, s - 12 = 5*i - 9*i. Solve x + i*l = 4*x + 25, 2*x - m*l + 26 = 0 for x.
-3
Suppose 3*b - 9 = p, 4*p = b + 171 - 163. Solve -r + 20 = -4*f + p, r = -4*f - 7 for f.
-3
Suppose 5*t - 12*t + 21 = 0. Suppose -2*i = 5*o + 14, t*i + o + 2*o + 3 = 0. Solve i*q + 3 = 3*z - 24, -2 = -2*q - 2*z for q.
-4
Suppose 0*r - 82 = -2*r. Let h = r + -38. Let y(o) = 4*o**2 - 10*o - 2. Let c be y(h). Solve -c*f + 4 = 4*p, -5*f + 3*p + 15 = -2*p for f.
2
Let u = -8062 + 8065. Solve u*t = o - 12, -21*o = -23*o - 6 for t.
-5
Suppose w + 2*w = -5*y + 30, 4*y - 22 = -2*w. Suppose 0 = -3*a + 12, j - 5*j - y*a + 20 = 0. Solve 0 = v + j, -7*v - 26 = -4*d - 2*v for d.
4
Suppose 0 = 4*d - 2*j - 19 - 11, 0 = -3*d - 3*j. Solve 3*x = d*o + 42, -x + 118*o - 14 = 121*o for x.
4
Sup