 z(b). Solve -4*c = 4*t - d*c - 4, 5*t = 4*c - 1 for t.
3
Suppose 0 = -54*b + 55*b - 4. Solve -k = g - 1 - 2, -b*g = -4 for k.
2
Suppose 0 = -3*i + 15 + 3. Let t be i/2 - (17 - 0). Let z = -10 - t. Solve -4*v = 2*p + 5 - 7, -4*p - 20 = -z*v for p.
-3
Let r be ((-27)/(-9) - -1)*(-2)/(-4). Solve -y + 5*n + 6 = -0*n, -3*y = n - r for y.
1
Suppose z - 8 = -3*c, 3*c + 7 = -2*z + 4*z. Solve -9 + c = 2*d + 2*m, 4*m = -3*d - 12 for d.
-4
Let u(h) = -h**2 + h + 40. Let r be u(0). Suppose -t + 4 = 1. Solve t*n + 12 = -y, -5*n = -2*y - 3*y + r for y.
3
Let v(x) = -2*x + 4. Suppose 2*z + 12 = 4*g, 15 = 4*g - 1. Let j be v(z). Solve -o - o = -3*y - 7, j = 4*y + 20 for o.
-4
Let k be -1 + 4 + -2 + -1. Solve -4*l + 0 + 11 = -5*x, k = -3*l + 12 for x.
1
Let v be (6/2 - -12) + -2. Let j = -6 + v. Let i be j - (14/2 + -3). Solve 0 = r - 8*a + i*a - 8, 3*a = 5*r - 18 for r.
3
Let t(r) = r**3 + 16*r**2 - 2*r + 3. Let p be t(-16). Suppose -h + 4*j - 10 = 3, -5*h + p = 5*j. Solve 4*q = 3*v - 26, -2*v = h*v + q - 5 for v.
2
Let b(r) = r**2 - 5*r - 39 + 18 + 16*r. Let s be b(-13). Solve f - 3*j = -f + 20, 0 = s*f - j - 24 for f.
4
Let w(f) = -6*f + 7. Let c be w(1). Let r be (-2 + c)/1*1 - -1. Solve 4*p + 4*g - 4 = 0, r*g + g = p + 5 for p.
-2
Let z be -2 + 5 - (2 + 7). Let i be 8/6 - (-8)/z. Solve 4*d + 14 = -2*c, 5*d + 6*c - 2*c + 25 = i for d.
-1
Let q be 2/7 + 374/14. Let f be (q - 1 - 2) + -3. Let g be (-60)/(-14) + (-6)/f. Solve 0 = -0*z - z - 3*r - 5, 5*z + g*r = -3 for z.
1
Suppose -6*l + 2*y = -3*l + 5, -4*y + 1 = 3*l. Let s be (l + 2)*17 + 3. Let i be (s/(-2))/((-4)/8). Solve 0 = n - 4*c - i, -7*n - 4*c - 20 = -2*n for n.
0
Let m be 5 - ((0/(-4))/(-4))/(-2). Solve 2 = 3*t - m*t + 3*z, 4*t - 3*z + 10 = 0 for t.
-4
Let x(d) = -3*d**2 - 6*d + 5. Let z be x(1). Let b be -4 - (-8 + 3) - z. Solve b*w + 4*h - 27 = 0, -5*w + 9 = -h - h for w.
3
Let h = 293 - 289. Solve 0 = -h*w + 5*w + 2*p + 9, -2*p = 5*w + 29 for w.
-5
Let y = -1201 - -1204. Solve -y*h - 15 - 1 = 5*t, -h = -2*t - 13 for t.
-5
Let o be (-3)/((-2)/(-4)*3). Let z = 0 - o. Suppose z*l + 4*p - 18 = 0, -l = -5*p + 7 + 5. Solve 2*g = 0, 4*g - 15 = l*s - 0*g for s.
-5
Suppose -43 = -l - 5*d - 6, -3*l = d - 139. Let o be l/6 + (-7)/(-42). Solve -4*a - 2*t = -7*t + 35, o = -4*a - 4*t for a.
-5
Let n(f) = 2*f - 5. Let i be n(4). Let z be (114/(-8))/(12/(-32)). Let j = z + -25. Solve 0 = 2*d + 3*a + 12, i*d + 2*a + j = -0*a for d.
-3
Let m = 47 + -66. Let d = 22 + m. Solve d*t + 13 = 2*v, 4*v - 2*t - 16 = 2*t for v.
-1
Suppose -h - 3*h + 16 = 0. Let o = 34 + -48. Let j = -12 - o. Solve -j*q - h*u = -6, -4*q + u = -2 - 1 for q.
1
Let r(n) = n**3 - 10*n**2 + 8*n + 13. Let u = -3 + 12. Let t be r(u). Let x(m) = -m**2. Let l be x(0). Solve 2*d = -o - 2, l*o = -o + 4*d + t for o.
0
Suppose -4*y - 28 = 3*w + 2*w, 0 = 5*w - 5*y + 10. Let b be 3*(w - (-1 - -2093)). Let t be b/(-264) + 4/22. Solve 3*m - t = -2*m - 3*c, 2*c = 5*m - 9 for m.
3
Let x(v) be the second derivative of v**3/2 - 21*v**2/2 - 13*v. Let d be x(8). Solve -2 = d*b - r - 16, 0 = -4*b + 5*r + 37 for b.
3
Suppose 3*w = 5*l + 2, -3*l = -2*w - 3*w + 14. Solve 4*g = -4*z - 36, 5*z - w*g + 4 = -5 for z.
-5
Suppose -u = -0*u - 19. Let x(g) = -g + 21. Let i be x(u). Suppose 4*z = -3*l - l + 12, i*z - 4 = -l. Solve 4 = p - 5*p + l*d, 5*d = -2*p - 26 for p.
-3
Let m(n) = -n**2 - 24*n - 130. Let y be m(-9). Solve 3*i = -0*x + 3*x + 18, -i + y*x + 10 = 0 for i.
5
Let o be 2 + 2 - 2*(-2)/4. Suppose 3*d - o*w - 21 = d, -d + 12 = -3*w. Solve 4*c - 4 = -5*l, 12 = 4*l - d*l - 2*c for l.
4
Let y = -78 - -80. Let u(z) = 2*z**2 - 3*z + 3. Let r be u(2). Suppose -17 = -r*q - v, 3*q - 9 = -0*v - v. Solve 4*p - 12 = q*k, -y*p + 11 = 5*k - 2*k for p.
4
Suppose 0 = -4*p - 5*f - 2, 4*f + 2 = 5*p - 16. Suppose -s = p*s. Let z = s + 5. Solve z*g = 3*v - 2, -2*g = -v + 4*v - 16 for g.
2
Let z be (-2)/23 + (-700)/(-644). Solve n - z = b - 8, 27 = -3*n + 5*b for n.
-4
Suppose 6*m = 3*m - 3. Suppose 2*c + 3 = 9. Let l = c - m. Solve -2*b + 4*n = -17 - 7, -l*b + 3 = n for b.
2
Let h be (-1)/(3/6) - -4. Suppose 2*q + q - 6 = 0. Solve -2*s - 18 = 2*v - 4*v, 0 = -3*v - q*s + h for v.
4
Let o = -18 + 20. Suppose -n + 3*i + o = -2*i, 2*i = 0. Let b(z) = z + 7. Let l be b(-3). Solve c + 2*c = -y + 10, n*c - 30 = l*y for c.
5
Suppose 298 = 3*y + 289. Solve 3*v = 5*k - 31, 3*k = -0*v - y*v + 9 for v.
-2
Suppose 2*f + 3*f - 10 = 0. Suppose r - f = 0, -2*r = 4*m + r + 18. Let p = -3 - m. Solve p*z - 2*a - 26 = 2*a, 21 = 3*z - 3*a for z.
2
Let w = -814 - -825. Solve 5*t + q = 6*q - 15, -w = -3*t - 2*q for t.
1
Let p be (-9)/4*(-8)/6. Let a(x) = -p*x - 1 - 1 + 4*x + 0*x. Let s be a(2). Solve s = -2*h + 2*j + 8, -5*h + j + 20 = -2*j for h.
4
Let g(v) = -v**3 - 8*v**2 - 7*v + 4. Let z be g(-7). Solve -3*k - 3*j - 9 = 0, -z*k + 2*k - 5*j - 21 = 0 for k.
2
Let c(s) = -16*s - 237. Let h be c(-15). Solve -5*f - 5 + 30 = 5*p, -3*p = -h*f - 3 for p.
3
Let y(d) = 3*d - 4. Let s be y(3). Suppose 7 = 3*b - s. Solve u + b = 5*z, 3*z - 7*z + 9 = 5*u for z.
1
Suppose 2*b = -5*f + 10, -19*b - f - 25 = -24*b. Solve b*z + 30 = 5*j, -z + 4*j = -4*z + 3 for z.
-3
Suppose 0 = -5*t + 6*t + 74. Let x = t - -79. Solve 0 = -q + 2*k, -6*q = -9*q + x*k + 1 for q.
2
Let b(z) = z**2 - 7*z - 2. Let i be b(8). Suppose -3*v = -9*v + i. Solve g = 4*j - v, -4*g + 9*g + 5 = 2*j for j.
0
Let y(j) = 3*j**2 + 19*j - 15. Let o(t) = -8*t**2 - 56*t + 44. Let v(u) = -4*o(u) - 11*y(u). Let p be v(14). Solve -p*i + 2*x = -2*i - 3, 5*i - 30 = -5*x for i.
5
Let p(c) = -c**3 - 2*c**2 + 19*c + 20. Let n be p(-5). Solve -2*w = 4*t - 12, n = -t - 3 + 8 for w.
-4
Let f = 542 + -540. Solve -f*v = -2*z + 2*v + 22, -7 = -z + v for z.
3
Let w(o) = o**2 - 15*o + 5. Let u be w(2). Let x be u/35*50/(-2). Solve 3*b = a - 15, -5*b - x = 2*a + 10 for a.
0
Let x(u) = -u**2 - u. Let w be x(0). Suppose -3*y - 4*h = -w*y + 2, 0 = 5*y - 4*h - 50. Suppose -k - 3 = -y. Solve -k*d = 5*q + 2 + 8, -d - 1 = 4*q for q.
1
Let z(w) = w**3 - 12*w**2 + 4*w + 79. Let r be z(11). Solve -2*o - 2 - 4 = 0, 2*o = -2*i + r for i.
4
Let x(p) = -p + 1. Suppose i = -4 + 1. Let n be x(i). Solve 3*s = 5*g - s + 12, g = -n*s + 12 for g.
0
Suppose -83*f - 25 = -88*f. Solve 0 = -4*r + f*l - 9, 0*l + 7 = -4*r + 3*l for r.
-1
Let c = -137 - -140. Solve 0 = 3*q - 15, -c*q = -3*x - 2*q - 2 for x.
1
Suppose -5*y - 3*b = -1, 0 = -b - 4*b - 15. Solve o + 4 - y = -c, -o - 11 = -2*c for o.
-5
Suppose -7 = 2*r - 11. Solve 0 = 2*u + 5*d + 18, 8*u = 4*u - r*d - 20 for u.
-4
Let z(j) = -10*j**3 - 2*j - 1. Let f be (2/(-2))/(0 - -1). Let w be z(f). Suppose 1 = -2*l + w. Solve -18 = 2*m + l*p, -3*p = -2*m + 2*p + 2 for m.
-4
Let i(u) = u**2 + u - 1. Let b be i(-3). Suppose -3*k + o + 7 = 0, 4*o - 15 = -5*k + b*o. Suppose k*d = -d. Solve 0 = -2*c - 2, -7 + d = -4*f + 3*c for f.
1
Let n(h) = -h**2 - 5*h - 2. Let f be n(-2). Let c be 6*(2/f - -2). Solve 2*d + c = r, -r + 5*r - 3*d = 35 for r.
5
Suppose 3*f = f. Suppose -6*t = -f*t - 30. Suppose 3*u - 2*y + 15 = 8*u, -4*u - 2*y + 12 = 0. Solve -5*m + u*v - 10 = 16, 2*m + t*v = 2 for m.
-4
Let i be -7 - (-16)/4 - -18. Suppose 4*n + 12 = 0, -3*l + n + 0*n = -i. Solve -l = -4*d + 5*m, -4*d = -4*m + 3*m + 12 for d.
-4
Let s be (-178)/2047 + 2/23. Solve -f = p + 4, 2*f = -s*p - 3*p - 7 for p.
1
Suppose 0 = -4*p + 23 + 5. Let t = p + -2. Suppose -d = f - 5, 4*d - t*d + 2 = -2*f. Solve u - d*m + 8 = 0, 2*m = -3*u + 1 - 11 for u.
-4
Let j be 19 - (0/(-12) - 5/(-1)). Solve 4*y - 3*y + 5 = -k, -4*y - j = k for y.
-3
Let n be 3/1 - (7 - 4). Suppose n = 5*u - 0*u. Solve -3*f = -5*j + 17, 5*f - 4*j - j + 25 = u for f.
-4
Let u(r) = -r**2 + 5*r + 2. Let i be u(5). Solve -2*h + 0*h + 11 = b, -i*b + 3*h = 6 for b.
3
Let q(a) = 11*a**3 + 1. Let b be q(2). Suppose -n = -3*l - 0*l - b, -4*l + 5*n - 137 = 0. Let o = l - -30. Solve -3 - 2 = -o*p + 5*u, -1 = u for p.
0
Let f be 2*-2*24/(-96). Suppose 7*x = 11*x - 16. Solve -x*q - 5*p - 4 - f = 0, 20 = -4*p for q.
5
Suppose 0 = -s + 5*r + 3, 4*r = -4*s + 7*r + 12. Solve -4*w + n = -1 + 2, -3*n + s = w for w.
0
Let f be -2 - ((4 - 5) + 5 + -8). Solve f = -4*p + 5*c - 31, 0 = 4*p + 5*c - 17 for p.
-2
Suppose 3*j - 2 = -2*t + 2*j, -2*j = -t + 11. Solve n = -n - t*q - 13, -4*n - 11 = 3*q for n.
1
Suppose -6*k = 2*b - 3*k, 