s be z(-13). Let d be ((-17)/(-51))/(s/18). Suppose 4*t + t + r - 20 = 0, -3*r = 2*t - 21. Solve p - 16 = -t*g, 3 - d = -g + 2*p for g.
5
Let t be ((-217)/(-21) + -10)*15. Solve 0 = -2*m + w + 7, w = t*m + 2*w - 14 for m.
3
Let d(b) = -b**2 + 15*b - 17. Let y be d(13). Suppose y = -11*n + 20. Solve 3*x + 4 = 4*x - 2*a, 3*x + 5*a = n for x.
2
Suppose 0 = m - 2*s + 3*s - 4, 10 = 5*s. Let h be (5/15)/((-2)/(-18)). Let j be (-1 - -1) + (-96)/(-4). Solve -4*r = -0*d + m*d - 6, h*r - 5*d = j for r.
3
Let y(s) = 3*s - 39. Suppose -4*j + 33 = h - 22, h + 71 = 5*j. Let r be y(j). Solve 0 = -r*n + 2*u + 7, -n = 6*u - u - 8 for n.
3
Let w = -307 + 332. Suppose 5*i = -94 - 11. Let b = w + i. Solve 4*q + 2 = 2*t + 3*t, b*t = 2*q - 2 for t.
-2
Let c(z) = -z + 6. Let m(b) = 2*b**2 + 8*b - 4. Let i be m(-6). Suppose 2*p + 3*p = i. Let t be c(p). Solve 4*x - 24 = 4*d, 0 = t*x + 3*x + 4*d + 6 for x.
2
Suppose -24*q + 15 = -19*q. Suppose q*w = -0*w + 12. Let a(z) = z**2 - z + 4. Let y be a(0). Solve -2*i = -0*p + 3*p - w, 0 = -2*p - y*i - 8 for p.
4
Suppose 1282*c + 130 = 1292*c. Solve -n + c = -2*p, 5*p + 28 - 8 = 0 for n.
5
Suppose 2*u - 1 = 9. Let k be 3 + 0 + 185/u. Let r(a) = -a**2 - 3*a + 12. Let i be r(-5). Solve 2*c + 4*z + k = -i*c, c + 2*z = -15 for c.
-5
Suppose -3*k = -5 + 2. Let m = 49 + -33. Suppose 0*h + 4*h + 14 = -3*p, 4*h = -2*p - m. Solve -p*s - k = -s, -2*s - 12 = -2*b for b.
5
Let p(v) = -136*v + 4. Let h be p(0). Solve 5*b = 2*f - 10, -h*b = -4*f - b + 6 for f.
0
Suppose 0 = -5*y + 3*y + 2*g + 92, -4*y = -3*g - 182. Let f = 69 - y. Solve 5*j - m = 2*m - 5, -f = -5*m for j.
2
Let y = 353 - 344. Solve u + 3*u - q + 9 = 0, 2*u - 5*q + y = 0 for u.
-2
Suppose f + f - 8 = 0. Suppose -63 = -4*q + 5*i, -3*q = -f*i - 70 + 22. Let j = 20 - q. Solve -3*p = 3*n - 15, 2*n - 3*p + j*p = 16 for n.
3
Let m = -6 - -8. Suppose 2*y - 1 = -4*j - y, -m*j - 5*y - 17 = 0. Let r = -57 - -59. Solve -5*w - z + 4*z = -6, -r*z = -w + j for w.
0
Let b be (-2)/19 + 3835/1235. Solve -5*g - t = -4, 0*t + b*t = -3*g + 12 for g.
0
Let x = -25 - -30. Solve -a = -4*c - 19, 0*c - x*a = c + 10 for c.
-5
Let g = 299 + -297. Solve -4*u - 2*r = g, u = 4*r + 3 + 10 for u.
1
Let x = 15 + -13. Let a be -3 + x + 3 + 1. Suppose -1 - a = -q. Solve 0 = 5*i - 3*w + 14, -3*i - q*w = w - 12 for i.
-1
Let q = -493 + 498. Solve 13 = -2*a - 3*i, -4*a + q*i + 34 - 5 = 0 for a.
1
Let t = 0 + 34. Suppose 4*s + 2*h - 30 = 5*h, -4*s + h = -t. Solve 30 = -0*r + 5*r - 5*u, -r + s = -4*u for r.
5
Let d(w) = -5*w + 35. Let c(b) = 16*b - 104. Let s(n) = 3*c(n) + 10*d(n). Let o be s(17). Solve -l = -4*v - 6*l - 33, 2*l + o = 3*v for v.
-2
Let b = -156 + 161. Solve 4*j = -2*k - 14 - 10, -b*k - 28 = 2*j for j.
-4
Let a = 407 - 404. Solve m - g + 9 = a*m, 0 = 4*m - g - 15 for m.
4
Let g = -11 + 15. Suppose 31 - g = 3*n. Suppose -n = -u - 2*u. Solve -3*x = u*p - 9, 3*x + 8 = p - 3 for x.
-2
Let x(k) = k**3 - 16*k**2 - 36*k + 2. Let j be x(-2). Solve 2*b + 11 = -l, -4*l - j*b = -b + 16 for l.
-3
Let p(n) = n + 4. Let h be p(14). Suppose 0 = -k + h - 16. Solve -2*y + k*g = 4, 0*y + g = -4*y - 23 for y.
-5
Suppose 2*c + 5*k + 2 = -c, 2*c = -k + 1. Solve 4*y + n + 18 = 0, 0 = 3*n + 5 + c for y.
-4
Let b(c) = 5*c**2 - 6*c - 2*c**2 + 5 + c. Let f(v) = v**3 - 6*v**2 - v + 8. Let j be f(6). Let k be b(j). Solve 0*s + 3*s + 2*m = -k, 3*s + 12 = 3*m for s.
-3
Let v(m) = m**3 + 4*m**2 - 2*m - 7. Let k be v(-4). Solve -3*r + 4*q - 22 = k, 20 = -5*r + 3*q for r.
-1
Let m(u) = u**2 - 12. Suppose 74 = -c + 70. Let d be m(c). Solve 0*a + d*a = -5*p + 1, -4*a + 3*p = -25 for a.
4
Let b(z) = z + 7. Suppose n + 2 = -3*h, 3*h = -2*n + 4*h - 11. Let s be b(n). Let i be 7/s - (-4)/8. Solve 5*p + 10 = i*f, 4*f - 6*p - 8 = -2*p for f.
0
Let t be (-1)/(-3)*(-77 + 98). Solve x + 4*l = t, -2*l + 6 = -0*l for x.
-5
Let b = -410 + 412. Solve -4*t - b*p - 28 = 2*p, 4*p = t - 3 for t.
-5
Suppose -3 = -4*g + 13. Suppose -g*t - t + 15 = 0. Solve 5*v = t*f - 13, 5*f - 3*v = -0*f + 11 for f.
1
Suppose -5*o - 3 = -4*o, 5*z - 3*o = 34. Solve z*h = 10, 4*w - 4*h + 27 = 7 for w.
-3
Let a(m) = -m**2 + 8*m + 312. Let g be a(22). Solve -n = g*d - 19, 2*n - 4*d = -17 - 5 for n.
-1
Suppose -5*h + 2*k + 73 = -35, -111 = -5*h - k. Solve 0 = 4*c - 0*s - 2*s + h, 3*c + 17 = 2*s for c.
-5
Suppose 5*d - 50 = -15. Suppose d*y + 6*y = 15*y. Let j = 13 + -2. Solve -2*a = t - j, -2*a + y*t = -t - 1 for a.
3
Suppose -5*b - 39 = -9. Let s = 10 + b. Solve -6*w - 2*f = -w + 15, f = w - s for w.
-1
Suppose -4*d - 140 = -220. Suppose -2*q = -3*o + 19, -q = -6*o + o + d. Let a(t) = 4*t - 3. Let g be a(5). Solve k + 5*j + 7 = 0, -5*k + 4 + g = -o*j for k.
3
Suppose 4*n = 36 - 56, -4*n = -2*h + 28. Solve 0*j - h*j + 4 = -4*v, -3*v = j + 3 for j.
0
Let p(b) be the first derivative of -b**3/3 + b**2/2 + 4*b - 1. Let y be p(0). Let t = -94 - -96. Solve -s + a = t, -y*s - 6 = -2*a - 4 for s.
1
Suppose -153 + 147 = -3*h. Suppose 13 = p + 5*t - 9, p - h*t + 6 = 0. Solve u - 3*o + 2 = -0, 0 = -4*u + 2*o + p for u.
1
Let o(w) = 5*w**2 + 3*w + 15. Let s(u) = -4*u**2 - 3*u - 14. Let c(j) = -5*o(j) - 6*s(j). Let a be c(4). Solve 4*l - 3*t + a = 0, 2*l = -3*t - t + 14 for l.
1
Suppose 19*b - 480 = 7*b. Suppose -b*f = -35*f - 20. Solve 0 = -f*r + 5*u + 29, -2*r = 2*r - 3*u - 19 for r.
1
Suppose 4*s + 55 = -0*l + 5*l, -4*s - 20 = 0. Let w = l + -34. Let y = 45 + w. Solve -2*r - 3*m = -y, 3*r - r - 5*m = -14 for r.
3
Suppose -4*k - 8 = u, -u + 3*k + 6 = 4*u. Solve 4*n - 6 = p + 5, u = 4*p + 5*n - 19 for p.
1
Suppose -13*l = 3*l - 176. Solve u + 9 = 3*c - 3*u, -4*c + l = -5*u for c.
-1
Let l(v) = -v**2 + 4*v - 1. Let x be l(2). Let w(c) = c**x + 18 - 6*c**2 - 21 + 2*c + 4*c. Let j be w(5). Solve -3*i = 4*n + 24, j*n = 5*i - 2*i + 6 for i.
-4
Let n be ((-304)/95)/(16/(-5) + 3). Let w = -3 - -6. Solve -w*o - 4*u - 9 = 0, -5*o + 1 = -4*u + n for o.
-3
Let v be (-8)/(-36) + 176/18. Suppose 0*t + v = 5*t. Solve t*h = y + 4 + 8, -33 = 4*y - 5*h for y.
-2
Suppose 32 = 4*p - 4*v, -2*p - 7*v + 6*v + 4 = 0. Solve 0 = l + m + p - 6, 0 = 4*m + 8 for l.
4
Suppose 7*v - 4*v - s = 22, -26 = -4*v + 3*s. Solve j = -2*a + 3*j - v, 0 = 2*a + 5*j + 8 for a.
-4
Suppose -r - u - 3*u = 1, 5 = 3*r + 4*u. Suppose 9*h = r*h. Solve 0 = -3*o - 2*t - h*t - 18, -28 = 4*o + 4*t for o.
-4
Let r(c) = c - 4. Let t be r(-3). Suppose -7*a + 45 + 207 = 0. Let i = a + t. Solve -p - 5*q - i = 0, -q - q = -5*p - 10 for p.
-4
Let l = 1 - 2. Let y be l + 2*4 + 0. Suppose 3*j - 31 = -5*m, j + 27 = 4*j + 3*m. Solve j*k = 2*k + 4*t + y, 2 = t for k.
3
Suppose -25 = -5*n, 4*l + 2*n - 64 = -10. Solve -4*f - x = -l, 6*f = f + 5*x - 5 for f.
2
Suppose 2*w = -2*w. Let t(r) be the second derivative of r**3/6 + 4*r**2 + 7*r. Let v be t(w). Solve i - 2 = -s, -s + v = i - 6*i for s.
3
Suppose 0 = -6*z + z + 40. Suppose 8*p = 6*p + z. Let q(x) = x - 2. Let n be q(p). Solve -5 = 2*d + 5*a, a + 6 = -d + n*a for d.
-5
Let v be (342/21)/(1/7). Let k be (-4)/18 - v/(-27). Solve -m = x + 1, -1 = 3*m + 2*x + k for m.
-3
Let q = 35 - 33. Suppose -4*g + 10 = q. Solve g*j + 4*r - 12 = 0, -4*r = -3*j - 5*r + 8 for j.
2
Suppose -3*g + 97 + 38 = 0. Let l be (48/10)/3 - (-18)/g. Solve -3*f = -l*a + 14, a + 4*f + 0 = -4 for a.
4
Let d(u) = u - 22. Let g be d(25). Solve 5*z - 4*b = -4 + g, -7 = 3*z + 4*b for z.
-1
Suppose 9*p - 27 = 9. Suppose p*f + 7*f - 176 = 0. Solve -10 = 5*z, 5*t + 1 + f = 4*z for t.
-5
Let x = 3 - 0. Let m = -62 + 65. Let a(k) = 5*k - 13. Let n be a(m). Solve 7*z - 8 = n*z - x*s, 3*z - 2*s - 20 = 0 for z.
4
Let h be 0 + -4 + 2 + 3. Suppose -f + 4 - h = 0. Solve -5*s + g + 8 + 13 = 0, f*s - 7 = -5*g for s.
4
Let p be 2/11 - (-2534)/(-22). Let c = p + 19. Let y be (-2)/11 + c/(-44). Solve -2*d = 3*o + y*d - 14, -5*d = o - 23 for o.
-2
Suppose -4*k - 13 + 21 = 0. Let u = -65 - -65. Solve u = -k*s, 0 = -4*b + 2*s - 14 - 6 for b.
-5
Suppose -2*k = 3*s - 6*s - 305, 0 = -k + 2*s + 152. Suppose 4*i - 15*i = -k. Solve -u + i = -4*r + 8*r, -2*u = 5*r - 19 for r.
3
Let z(p) = -7*p - 21. Let x(n) = -8*n - 22. Let b(d) = -3*x(d) + 4*z(d). Let y be b(-5). Solve 4*h - 5 + 1 = 0, -2*q = y*h - 2 for q.
0
Suppose -2*n = 9*v - 10*v, 4*n + 4 = 4*v. Solve 4*l + 3*p = 2*p - v, -3*l + 4*p = -8 for l.
0
Let z be (-6)/((21/2)/(-7)). Suppose -3*w = -2*