16 for x.
-1
Let v be 1 - -3*(-165)/9. Let j = 57 + v. Solve -10 = 2*c - 3*w, 0 = j*c + 2*w + 15 for c.
-5
Let q be ((-514)/10 - -1) + 8/20. Let p = q + 52. Suppose 0*d - p = 4*d + 2*x, -x = 4*d - 1. Solve -4*b - 2*z = -z - 11, -z - d = b for b.
4
Let o be 4459/245 - 1/((-5)/(-6)). Solve t + o = 5*y, -4 = -5*y - 2*t + 22 for y.
4
Suppose 13*k = -2*k - 30. Let m be 0 + 0 - (k - 1). Suppose -m*j - 17 = -26. Solve -j*p - 4*t - 16 = t, -5*p - 12 = t for p.
-2
Let r = -514 + 521. Solve 20*z + r = 24*z - 3*u, -5*u - 19 = -3*z for z.
-2
Suppose 4*j - 230 = -t - t, j - 56 = t. Let n = -54 + j. Suppose 0 = n*u - 23 + 11. Solve -2*c - u*y = -c - 8, 0 = c + 2*y - 2 for c.
-4
Let z(v) = 30*v + 1985. Let w be z(-66). Solve 3*c + 4 = 4*a, -2*a + 11 + 5 = -w*c for c.
-4
Let l = -106 + 116. Solve 4*t - 2 = 2*q, 42*q = 5*t + 38*q - l for t.
-2
Suppose -7*k + 48 = 27. Suppose -k*l = 4*m - 12, 12 = 5*l - 2*m - 8. Solve -5*z + 19 = -r + l*r, 2*r - 4*z = -24 for r.
-2
Let m be -4 + (-1 - 127)/(-4). Suppose 0 = -7*y + m. Solve -5*f - 27 = -4*i, i = -y*i - 5*f for i.
3
Let k(w) = 19*w**2 + 56*w - 57. Let o(m) = -7*m**2 - 19*m + 19. Let g(h) = -3*k(h) - 8*o(h). Let b be g(-17). Solve 0 = 5*t - 20, t = -b*y - 0 + 12 for y.
4
Let d(a) = a**3 + 13*a**2 - 26*a - 163. Let y be d(-14). Solve -5*k = -y*s - 0*s, -2*s - 1 = -k for k.
-1
Suppose -3*b - 10 = -19. Let f(z) = 17*z - 48. Let d be f(b). Solve -4*v = -d*j - 7, -2*v + 19 = 5*j - v for j.
3
Let m(d) = 4*d**2 - 37*d + 41. Let q be m(8). Suppose j - 3 = -i, -3*j - 3 = -2*i - 7. Solve n - x - i = -2*x, -q = -x for n.
0
Suppose -r - 2*y = -11, 6*r - 56 = 2*r - 5*y. Solve -5*g = 2*k - r, 2*k = -2*g + 5 - 1 for k.
-3
Let v(j) = -2*j + 3. Let h(t) = t - 2. Let f(m) = 7*h(m) + 4*v(m). Let g be f(2). Let d be 9 + (g - (1 + -1)). Solve 4 = -d*s - 6, 5*a = 3*s - 9 for a.
-3
Let b = 392 + -348. Let o = 44 - b. Solve -2*d - 2 = 4*h, 4*d = -4*h - o - 4 for h.
0
Suppose 5 = 3*p - 1. Suppose 144 = 6*m + 24. Let f be (5 - (-8)/(-4)) + 2*1. Solve -f*s - p*w = 2*w - m, 3*w - 15 = 0 for s.
0
Suppose -141*j + 92 - 8 = -135*j. Solve a + 6 = 3*w + 2, 5*w + 2*a - j = 0 for w.
2
Let l be (-244)/(-62) + 6/93. Solve l*h = 3*n - 17, 2*n - 4*h - 5 = 13 for n.
-1
Suppose -4*h - 2*z = -52, -39 = 238*h - 241*h - 3*z. Solve -a - 2 = -u - 3, 3*u - 5*a = -h for u.
4
Suppose -4*o + 4*l + 64 = 0, 2*o + 503 - 493 = -4*l. Solve -2*s + o = 3*u - 0, -u - s = -4 for u.
1
Suppose 18*d = 7*d + 33. Let b be (2 - d)/((-2)/10). Solve -4*n - 17 = -b*s, 5*n + s = 6 - 20 for n.
-3
Suppose u - 398 = -3*h - 389, -3*u - 21 = -3*h. Solve 5*x = 5*o - 10, h = -o + 3*o - 4*x for o.
2
Suppose 17*o - 13*o - 12 = 0. Suppose 30 = 4*z + 5*m, 32*z = 33*z - 4*m + 3. Solve -b - o + z = f, 3 = -f for b.
5
Let u(o) = 15*o - 184 - 3*o + 32 - 8*o. Let j be u(40). Solve -3*g + j = -v - 6, 5 = 5*v for g.
5
Let w(d) = 2*d**2 + 103*d + 588. Let b be w(-45). Solve 98 - 95 = -f + h, 2*f + h = b for f.
0
Let p(q) = q**3 - 3*q**2 + 5*q - 34. Suppose 0 = 3*j - 3*y - 3, -5*y = 3*j - 39 + 12. Let o be p(j). Solve -4*w = o*k - 12, -k = 2*k + w - 3 for k.
0
Let g = -13368 - -13372. Solve -l + g + 11 = 3*k, 0 = -4*l + 2*k - 10 for l.
0
Let b(p) = 19*p - 116. Let v be b(8). Let k = -16 + v. Solve -a - 5*s - k = 0, 5*a + 0*a = -2*s - 8 for a.
0
Let l(d) = -5*d + 33. Let a be l(11). Let n = -20 - a. Suppose 0 = -n*q + 4. Solve 0 = -q*y + 5*h + 6, 0*y + 2*y + 4*h + 12 = 0 for y.
-2
Let t(y) = y - 6. Let z be t(-15). Let l = z + 25. Suppose 6 + 2 = l*b. Solve -3*k - 6*p = -4*p + 16, b*p + 12 = -k for k.
-2
Let r = 37386 - 37386. Solve 0 = -108*n + 104*n + m + 20, 3*m = r for n.
5
Let o(i) = -11*i + 18. Let d be o(1). Suppose 9 = 3*v - 0*v. Suppose -2*z = v*t - 2, -3*z + 3 = 2*t - d*t. Solve t*r + 2*r - 4*w = -28, r - 1 = -w for r.
-4
Let d(y) = -y**2 - 4*y + 3. Let i be d(-4). Suppose -28 = -3*k - 2*q, -9 = k - 0*q - i*q. Solve 0 = -3*h - 2*c - k, 0 = -h - 3*h + c - 8 for h.
-2
Suppose 45*c - 1854 = 54*c. Let y = -204 - c. Solve -3 = d + g, -4*d + y*d - 6 = -3*g for d.
-3
Suppose m - 200 = -a + 80, 3*m + 5*a = 846. Let u = 279 - m. Solve -j - 20 = 4*f, -3*j - 5 = -u*f - 1 for f.
-4
Suppose -642 + 191 = 11*i. Let t = 46 + i. Solve -4*h = -4*v - 20, t*h - 11 - 9 = 0 for v.
-1
Let r = 38 + -35. Let a be (-9)/(-14 - -5)*-5*35/(-7). Let k = -1 - -3. Solve k*s + 2*g - a = -r*g, 0 = 4*g - 12 for s.
5
Let a(n) = -n**3 - 24*n**2 - 2*n - 48. Let d be a(-24). Suppose 3*p = -0*p - d*p. Solve w + 2*g = -p*w - 2, 4*w + 2*g = 10 for w.
4
Suppose 5*l = l + 60. Let g(n) = 140*n + 131. Let p be g(8). Suppose -1240*w - 33 = -p*w. Solve -l = 3*t + z - 4*z, -z - 15 = w*t for t.
-5
Let a(m) = m**3 + 44*m**2 - 90*m + 104. Let u be a(-46). Suppose 4*i = i + u. Solve 0 = -v - 2, -2*v = -i*q + 6*q for q.
2
Suppose -39*p + 44*p - 2*w = 11, 2*w - 13 = -3*p. Solve 46*h + 2 = -2*r + 44*h, 4*h = -3*r - p for r.
-1
Suppose -j = d + 1, 5 - 11 = 2*d. Suppose 5 = 3*y - j*h + 1, -5*h = 3*y - 11. Solve 2*a - v - y = -5*v, 0 = -3*v for a.
1
Let o(g) = -g**3 - 11*g**2 - 61*g - 480. Let c be o(-10). Solve 5*x - c = -5*d, -2 = -8*x + 7*x for d.
4
Let v(o) = -27*o - 1713. Let q be v(-64). Solve -18*g = -q*g - 5*a - 17, 3*g - a = 1 for g.
-1
Suppose -5*c = -15, -4*z + c - 103 + 112 = 0. Suppose 5*w = -2*b + 4*b + 195, 2*w + 2*b = 64. Suppose w = 5*q - 8. Solve -s = -z, 5*s - q - 3 = -3*m for m.
-1
Let s = 228 + -224. Suppose 44 = 9*r - 5*r. Let k(n) = -n**3 + 10*n**2 + 10*n + 15. Let p be k(r). Solve i = p*j + 3, s*j = -j + 2*i - 3 for j.
-1
Let u(d) = -d**2 + 2*d - 1. Let p be u(1). Let q be -79 + 56 + 35 + -9. Solve 3*y = -p - 15, 0 = q*r + 5*y + 19 for r.
2
Let y(l) = l + 1. Suppose -4*c = 3 - 7. Let a be y(c). Suppose 0 = -p + 2*p + 4*q - 34, 4*q + a = p. Solve 4*n = -f - p, 3*f - n - 1 + 3 = 0 for f.
-2
Let t = 2632 - 2616. Solve 0 = -5*o - 4*s + t, 2*o + 47*s = 45*s + 8 for o.
0
Let v(n) = 3*n**2 - 65*n - 2195. Let o be v(40). Solve -i = -2*c + 1, 0 = o*c - 4*i + 14 - 21 for c.
-1
Let n(q) be the second derivative of -q**4/12 + 2*q**3 + 33*q**2/2 + 35*q. Let y be n(14). Solve 0 = 4*f, -y*f + f = -2*a + 10 for a.
5
Suppose -3*s - 234 = 4*w - 349, -3*s = 3*w - 114. Solve -4*k - 5*i = s, -3*i - 18 + 15 = -4*k for k.
-3
Let m(y) = 960*y + 10562. Let t be m(-11). Solve 5*b - 7*b = -2*w - 18, -t*w = 3*b - 7 for w.
-4
Suppose -431 = -13*d - 8777. Let o = 645 + d. Solve 2*y - y = -o*f - 13, 2*y = 5*f + 18 for f.
-4
Let g(w) = 12*w**2 + 2*w + 1. Let z be g(-1). Suppose -2*b + 156 = z*b. Solve 0 = 3*n + 2*a + 3, 3*n - 5*a = b + 6 for n.
1
Let s be 1/((1 + 1)/16). Suppose -3*r + s*f = 4*f - 1, 0 = -2*r + 3*f. Solve r*y - 3 + 8 = -l, -l + 3*y = -7 for l.
1
Suppose -6*i + 13*i = 756. Let a = 108 - i. Solve 4*p - d + 13 = a, 2*p - 2 = 3*d - 1 for p.
-4
Let o be 40/3*(-1881)/(-132). Let a = 198 - o. Solve 4*d = -2*z + a, -5*d + 4 = 3*z + z for d.
4
Let i be -1*(-201)/15 - (-6)/(-15). Suppose 0 = -i*d - 8*d. Solve u - 2*b = -6, 2*u + 2*b + b - 2 = d for u.
-2
Let a(w) = 184*w - 3126. Let t be a(17). Solve 3*d - i + t - 20 = 0, 0 = -5*d - 4*i + 13 for d.
5
Suppose -y + 4*f + 4 = 1, 5*f + 20 = 0. Let b(s) = s**2 + 11*s - 23. Let u be b(y). Solve -u*q - 6 = v + 3, 5*q - 3*v + 1 = 0 for q.
-2
Let f be 2 - -15 - (6 - -2)/(-2). Suppose f*j + 2 - 44 = 0. Solve -j*h - d + 1 = 0, 3*h + 0*d - 3*d = 24 for h.
3
Suppose 10*v - 12 = 6*v. Suppose -5*o - 4*y = -230, -v*y + 7 = 22. Solve -5*l = -0*k + 5*k + o, -2*k - l = 15 for k.
-5
Let m = -1294 + 1296. Solve 2*n - 5*b + 27 = 0, -m*n - 46*b + 44*b = -8 for n.
-1
Let m(r) = r**3 + 7*r**2 + 12*r. Suppose -6*k + 4 = -4*k + 4*o, o + 13 = -4*k. Let t be m(k). Solve 2*a = 8, 4*a - 17 = v - t*a for v.
-1
Let a be -4*385/176*(-16)/10. Solve -8*p - 3 = -9*p, a = -j + 5*p for j.
1
Suppose 9*f - 18 = -0*f. Let b be 416/234 - f/(-9). Suppose -r = -b*y + 8, 7 = 3*r + 13. Solve 5*l + 4*a = -11, 0 = -y*a + 4 - 1 for l.
-3
Let n(c) = 3*c + 12. Let m be n(-12). Let w be (-2 - -1)/(6/m). Solve 2*g + 7 = w*h + 3, 5*h - g - 5 = 0 for h.
1
Suppose -5*i + 4*l = 32, -l - 4*l + 3 = 3*i. Let k be i - -1 - (0 - 3). Let j = -30943 - -30947. Solve 2*n = j, -3*d = 3*n - k*n + 6 for d.
-4
Suppose 0 = -2*p + 5*w + 48, 101*w = -4*p + 100*w + 96. Solve 0 = 5*r + f - p, -f = r - 2*f for r.
4
Let y(j) = 5*j - 5. Let z be y(5). Let p = 6 + z. Suppose