 = 5, 3*n = -0*s - a*s - 13 for n.
-5
Let y be (53/318)/(2/20)*3. Solve 42*h - 41*h = y*p + 15, 0 = -2*h - 4*p - 26 for h.
-5
Suppose 2*o + 2*p - 18 = 0, 3*o - p = 12 - 5. Let f = -6671 + 6671. Suppose -5 = -2*z + z. Solve a - o*d - 6 = f, -3*d + 4 = -z*d for a.
-2
Let i = 238 + -237. Solve 0 = -r - 4*k + 4, -5 = r - k + i for r.
-4
Let p(z) = 2*z - 1. Let j be p(3). Suppose v - 1 = -j*o - 2*v, 4*v + 2 = -5*o. Let w = -11 - -13. Solve -5*s - 3*f = o*f, w*s = -5*f + 9 for s.
-3
Suppose 0 = -3*l - 8*l + 308. Let x = -5 + l. Suppose o = 5*p + 37, -4*o + 4*p + 61 = -x. Solve -2*v - 5*c - o = -2*c, -22 = 4*v + 2*c for v.
-4
Let r = -19026 - -19033. Solve 0 = -t - b + r, 16 - 17 = t - 3*b for t.
5
Suppose v = 3*v - 64. Let p = -24 + v. Let o be p*1*7/14. Solve -2*t - k = -6, 4*t - o = 5*k - 20 for t.
1
Let z = -6 - -8. Suppose -706 + 694 = 4*r, -17 = -5*j - r. Solve -2*f + 4 = -2*c, c - j*f = -z*f for c.
-4
Let j = -7986 + 7989. Suppose -5*k = 2*x - 8, -2*x + 7 = 4*k + 1. Solve -5*v - k*n + 2 = j, -5*n = 2*v - 8 for v.
-1
Let m = 25 - 20. Suppose 10*i - 40 = -5*w + m*i, 5*i = 20. Suppose 17*h - 22 = 6*h. Solve -8 = h*a - w*g, -3*a = -2*g + 13 - 1 for a.
-4
Let x be 52/(-234) - -16*3/(-27). Let r(i) = -2*i**3 - 3*i**2 + 4*i + 9. Let n be r(x). Solve 2*g + 2*o = -8, -n = g + g + o for g.
-1
Suppose 0 = 3*q - 9, -5*q = v + 39 - 59. Solve 3*z - 14 = v*l - 4, 4*z + 30 = -2*l for l.
-5
Let j(n) = -n - 5. Suppose 7 = -5*p - 28. Let s be j(p). Solve 0 = -5*l + 2*i - 1, 3*l - 4*i = -11 + s for l.
1
Let j(v) = -2*v + 23. Let p(y) = -y + 18. Let s be p(19). Let h be 50/8 + s + (-6)/(-8). Let i be j(h). Solve -6 = 2*d + 2*w, -d - w = 4*w + i for d.
-1
Suppose 4*t = -t + 15. Let a(z) = -2*z**3 + 10*z**2. Let i be a(5). Suppose 4*k - 235 + 235 = i. Solve 0*h = -b - 2*h - 1, -t*b + 5*h + 8 = k for b.
1
Let v = 340 - 336. Suppose -2*d + 4 = 3*s + 2*d, -v*d - 36 = -2*s. Solve -i - n + 0 + 4 = 0, -i = -3*n + s for i.
1
Suppose 0 = -5*k + 475 + 150. Suppose -k = 3*u - 140. Solve u*p = -0*p + 5*r - 25, -r = 2*p + 1 for p.
-2
Suppose -i = 0, 6*h + i - 20 = 2*h. Suppose 40 = -83*d + 87*d. Let q be 122/4 - ((-42)/(-4) - d). Solve -3*f + h - q = 4*r, 5*r - f = -17 for r.
-4
Let r = 2122 + -2119. Solve 2*i + 10 = -r*k, 80*k = 77*k + 4*i - 16 for k.
-4
Suppose 0*q = -10*q - 0*q. Suppose -35*h + 38*h - 12 = q. Solve -2*x - 2*x + h*w - 16 = 0, 2*x = 3*w - 11 for x.
-1
Suppose -18*f = 27 - 81. Let c(s) = s**3 - 4*s**2 + 5*s - 16. Let i be c(4). Solve -f*r + 5*j = -17, -8 = i*j - 4 for r.
4
Let d(w) = -w**2 + 38*w + 668. Let n be d(-13). Solve -5 = -2*p - 1, n*c + 4*p = 23 for c.
3
Let k(m) = m**3 - 2*m**2 - 7. Let p be k(3). Let i be 456/18 - p*(-2)/6. Suppose -40 = -7*r - i. Solve r*g - 8 = 0, -3*g + 24 = -4*a - 0*g for a.
-3
Let n(q) = -q**2 - 5*q + 6. Let y be n(-6). Let w(g) = 135*g**2 - 258*g - 22. Let c be w(2). Solve y = c*b - a + 4, 1 - 6 = b + a for b.
-3
Let o(m) = -m**3 - 12*m**2 + 16*m + 42. Let n be o(-13). Solve b = 2*h + 6, -n*b - 2*h + h = 3 for b.
0
Let j be -9 - -2 - -4 - 24/(-14 - -10). Solve 4*k - 5*l = -24, -j*l + 37 = -2*k + 23 for k.
-1
Let o = 194 - 200. Let t be (-8)/o*21/14. Solve 11 - t = -v + 2*n, 4*n - 25 = -5*v for v.
1
Suppose -33 = 7*v - 54. Suppose -2*b + 6 = 14*z - 9*z, 4*b = 5*z - 18. Solve -v*r = -5*n - 14, -z*r = 2*r - 2*n - 14 for r.
3
Let x = -7 - -14. Suppose 3*y = x*y - 8. Suppose -n = a + 2, -1 - 9 = 5*n. Solve a = -y*k - 2*l - 10, -k - 2*k - 9 = -3*l for k.
-4
Let y = 7386 - 7359. Solve 25*i - y*i - 10 = 2*j, -5*i - 4*j = 22 for i.
-2
Let t = -2133 - -2135. Solve t*z - 10 = -4*o + 20, -3*o + 4*z - 5 = 0 for o.
5
Let j(u) = 9*u + 10. Let r be j(-1). Let k be 3 + -1 - -2 - (1 - r). Solve 4*i - k = -n, -n - 2*i - 2 = -6 for n.
4
Let n = 191 - 167. Let a be 90/n - ((-95)/(-20) - 5). Solve a*z - 12 = 2*i + 4, 2*i - 2 = -2*z for z.
3
Let p(w) = 27*w**2 - 149*w + 72. Let h be p(5). Solve 3*y = -3*b - 27, 29*y + 12 = h*b + 25*y for b.
-4
Suppose 5*p - 80 = -3*k - 2*k, 5*k = 2*p - 18. Suppose -p = -2*j + 4. Suppose 25 + 75 = 4*q. Solve -3*b - 3*u = 12, 0 = -4*b + j*u - 4*u - q for b.
-5
Suppose -15*w - 2*w + 170 = 0. Let g(u) = 4*u**2 + 4*u - 5. Let b be g(-5). Suppose -b = -25*y + w*y. Solve -5*o = -2*t - 18, -o - 12 = 4*t - y*o for t.
1
Suppose 4*q = -s + 31, -q + 3*q + s - 15 = 0. Suppose 12 = -4*t + 4*b - q*b, -2*b - 6 = 4*t. Solve -5*d - v = -0*d - 18, t = d - v - 6 for d.
4
Suppose -455*v = -459*v - 24, 5*i - 59 = -v. Solve -5*m - i = -x + 12, m = -4 for x.
5
Let r(w) = 10*w**2 + 4*w - 13. Let s be r(-5). Let n = 226 - s. Solve -3*l - 7 = i, -4*l = 2*i - i + n for l.
-2
Suppose -47*h = -37*h + 700. Let d be 80/h*(-14)/4. Solve 0 = -d*r - n + 10, 3*r - 1 + 0 = -4*n for r.
3
Suppose -658*w + 638*w = -80. Solve i + 5*y - 8*y = -18, 0 = -w*i + 5*y - 37 for i.
-3
Suppose 2*z - 332 = -23*z - 32. Solve -c = 5*a - z, -2 + 14 = -a - 5*c for a.
3
Let u be (-55)/(-10)*(2 - 1 - 3). Let t be 8/(-3 - u)*13. Solve l + 2*y + t = -2*y, -l + 3*y + 8 = 0 for l.
-1
Let d be ((-156)/(-8))/((-6)/4 - -1). Let o = d - -46. Suppose -6*c + 65 = o*c. Solve -h + 3 = -c*i, h - 5*i + 1 = -2*h for h.
-2
Let j = -4165 - -4168. Solve 0 = -4*v + 4 + 8, -2*u - j*v = -11 for u.
1
Let a = 1361 + -1348. Solve 3*q + 7 = 5*t, -3*q - 10*t = -5*t - a for q.
1
Suppose 4*d + 2*c - 7*c - 284 = 0, -3*c + 318 = 5*d. Let y be 5*(4/(-6) - (-110)/d). Solve s - 19 = 4*b, y*s - 32 = s + 5*b for s.
3
Suppose -8*d = 2*d. Let x(p) = 2*p**3 + 4. Let w be x(d). Solve w*m + 14 + 2 = -2*h, 4 = -m - h for m.
-4
Suppose 3*t + 3 - 9 = 0. Let o be (-28)/154 + 32724/(-66). Let d = -491 - o. Solve t = x + 2*a, -3*a + 10 = d*x - 0 for x.
2
Let m = 449 + -442. Solve w - m = 4*p, 0 = -6*p + 3*p - 3*w + 6 for p.
-1
Let t(v) = v**3 - 29*v**2 - 80*v + 562. Let b be t(31). Solve -b*h + 8 = -5*w - 13, -h = -3*w - 14 for w.
-5
Let u = -1050 + 1051. Solve u = t - 2*w, 3*t - 3*w = w + 5 for t.
3
Suppose -29*b = -32*b - 33. Let z = 16 + b. Suppose -19 = -2*v + 5*h, -v = z*h - 10*h - 17. Solve 0*q = v*p - q, 0 = 2*p + q for p.
0
Let m(j) = -9*j + 45. Let i be m(23). Let l = -155 - i. Solve -5*a - 21 = 2*s, l*s - 2*s = -4*a - 10 for a.
-5
Let k(n) = n**3 + 30*n**2 + 7*n + 311. Let q be k(-30). Solve -3*v = 0, 4*v = -2*i + 93 - q for i.
-4
Suppose -6*v - 332 = -2*v. Let s be 2/8 + v/(-4). Let c = -20859 + 20864. Solve -3*k - c*j + 23 = -12, -4*j + s = k for k.
5
Suppose -q - 1 = -4. Suppose 0*t - 4*u = 3*t, 0 = 4*t + q*u - 7. Let v be (16/(-38))/(58/(-551)). Solve -m = 1, t*z - v - 15 = 3*m for z.
4
Suppose 3*u = x - 1, -47*x + 28 = -43*x. Solve 17 = u*n - 5*b - 19, -b - 12 = -2*n for n.
3
Suppose -3*z = -4*y - 39, -4*y = -5*z - 5*y + 19. Solve 4*v - z*q = 13, 2*v - 5*q - 22 = -3 for v.
-3
Let t(i) be the third derivative of -i**6/120 - 7*i**5/15 + i**4/24 + 14*i**3/3 + 31*i**2. Let a be t(-28). Solve -4*d = -2*s, a = -2*s + 2*d + 3*d for s.
0
Let x(u) = 4*u**2 + 10*u + 13. Let h be x(-4). Let f = h + 56. Let v be 310/f*6/5*2. Solve -3 = -2*j - 3*s + v, 2*j - 5*s + 13 = 0 for j.
1
Let n(j) = -115*j + 73. Let s(p) = 39*p - 24. Let f(o) = -4*n(o) - 11*s(o). Let a be f(1). Solve -a*g + 4*g + 5*m = 8, 4*m - 16 = -4*g for g.
3
Let m = 4 + -4. Let d = -118 - -295. Suppose 209 - d = 2*h. Solve 4*u - h = m, 5*u + 6 = 5*v + 31 for v.
-1
Let w(a) = a**2 + a - 7. Let o = 63 - 67. Let d be w(o). Solve -4*l - 4*v = 8 + 8, -d*l = v for l.
1
Let h be 23/(-6) + 4 - (-29)/6. Solve -t + 0 = -p + h, 5*p - 4*t - 24 = 0 for p.
4
Let f = 184 - 180. Let l(g) = -g + 9. Let m be l(8). Let p be 2 - (m + 3) - -4. Solve 4 = -f*z, z = -4*b + p*z + 13 for b.
3
Let s(l) = -l**3 - 4*l**2 - 4*l. Let f be (88/32)/(-11)*12. Let i be s(f). Solve -3*o = -5*v - 2*o + i, 3*o = -v - 9 for v.
0
Let t be (-30)/(-20)*-6 + 12. Suppose -259 + 265 = t*v. Let w(f) = -f - 3. Let b be w(-6). Solve -s = -2*k - 4, v = -k + b*s - 5 for k.
-1
Let q(f) = -2*f + 34. Let c be q(19). Let x = 4 + c. Suppose s = 4*n - 61, -n + 5*s = -0*n - 1. Solve -2*v = -x*t - 4*t + n, -2*t + 2 = 2*v for v.
-2
Suppose 3*n - 5 - 4 = 0. Solve -4 = -5*j - x, 2*j - 2*x = n*x - 20 for j.
0
Suppose -4*f + f + 348 = -2*k, 0 = 5*f + 4*k - 580. Suppose f = 4*a + 2*s, -a - 5 = 5*s - 25. Let u = 3414 + -3409. Solve u*v - v + a = 5*i, i + 3 = -v for v.
-5
Let z(s) = 6*s - 72. Let n be z(12). Solv