+ (-238)/35. Let k(t) = t**2 + 10*t + 23. Let a be k(y). Solve 4*i + 20 = 4*c, -a*i - c + 2*c - 7 = 0 for i.
-2
Let t(a) = a**3 - 7*a**2 + 5*a + 8. Let b be t(6). Suppose -b*o = -o. Solve -4*f - 2*d + 14 = o, -3*d + 25 = 5*f + 8 for f.
4
Let l be 1 - 1 - 0/2. Let w(u) = -13*u**3 - u**2 - 2*u - 2. Let t be w(-1). Let g be (-128)/(-6) - (-8)/t. Solve c + 4*b + g = l, 2*c - 3*b - 20 = -9 for c.
-2
Suppose 0 = 5*m, v + 9*m = 7*m. Let k = 21 + -8. Solve -z + 2*h - 7*h - 14 = v, z - 4*h - k = 0 for z.
1
Let v(q) = q - 63. Let p be v(65). Solve i = -5, 0 = 3*o - p*i + 16 - 32 for o.
2
Let d = 17 + 36. Let p = d + -48. Solve 0 = -5*b + 10, -4*b - p - 7 = 5*z for z.
-4
Let b be 12 - ((-1 - -6) + -7). Solve 3*y - j = -b, -3*y + j - 11 = -3*j for y.
-5
Suppose 0 = -8*i + 3*i + 4*m + 17, -2*m - 10 = -4*i. Solve 4 = 2*n - c, -3*n + 3*c + 4 - i = 0 for n.
3
Let f = 219 - 215. Solve -w = f*c + 20, 0 = -0*c + 2*c - 4*w + 10 for c.
-5
Suppose o = -w - 3, 0*w - 3*w = -2*o - 6. Let p = -3 - 77. Let y = 81 + p. Solve -1 = -2*z + 3*u, 0 = z - w*z - 2*u - y for z.
-1
Let p(x) = -x**2 + 12*x - 13. Let n be p(10). Let r = n - 11. Let g be (-1)/(r/(19 - -1)). Solve 0 = -3*u + k - 13 + 1, g*k = -5*u - 40 for u.
-5
Suppose 2*l + 400 = 5*q, -q - 160 = -3*q + 4*l. Suppose 5*f + q = 9*f. Solve -s = 4*r + 2*s + f, 3*s + 2 = 5*r for r.
-2
Suppose 8*u + 55 = 15. Let z be -2 + 2 + (u - 28/(-4)). Solve 3 = z*j - j, 3*c - 2*j = -18 for c.
-4
Suppose -2 = 2*s - 0*s + 3*o, 5*s + 3*o = 4. Let j be (-2 - 24) + 4 + s. Let q = j - -23. Solve 5*n = -2*p - 2*p + 12, q*p - 9 = -5*n for p.
3
Let w = 9 + -6. Suppose z - w = -y, z + 0*y + 3*y - 1 = 0. Let h be 1*(-3)/((-3)/2). Solve -q - h = -z*i + 4, -3*i = -q - 5 for q.
-2
Suppose 39 = -3*d + 5*q + 12, -d + 3*q - 13 = 0. Let w = -4 - d. Solve 2*t + 6 = 4*k - 0*t, w = -2*k - 3*t - 17 for k.
-1
Let u(r) = -3*r - 48. Let h be u(-17). Solve -h*b - 5*o - 6 = 6, -b = -2*o + 4 for b.
-4
Suppose -2*v - 20 = 3*v. Let i(b) = -2*b - 6. Let r be i(v). Solve -2*o - 14 = -r*n + 6*n, 2*o - n = -4 for o.
-3
Let o(z) = 5*z**2 + 9*z. Let q be o(-2). Solve q*h - 9 = 5*t, 2*t = -2*h - 0*t - 12 for h.
-3
Suppose -4*d = 2*y + 3*y - 9, 2*d + 28 = 4*y. Let f(a) = a**2 + 7*a + 4. Let c be f(-7). Let w = c - 4. Solve 4*q = 3*q - 2*u + 5, w = q - 4*u - y for q.
5
Let a(n) = -3*n - 25. Let v be a(-9). Solve 5*h - 5*b + 5 = 0, v*b + 0*b = 4 for h.
1
Suppose -3*t + 16*t = 39. Solve h = 5*h - s - 15, -t*s = h + 6 for h.
3
Let r(a) = -a**2 + 32*a + 107. Let g be r(35). Solve -h - 4*h + 2*j = -g, -2*h + 2 = -2*j for h.
0
Let k(t) = t**2 - 23*t - 21. Let f be k(24). Solve -n + 5*y = -11, n - f + 6 = -2*y for n.
1
Suppose 2*r + 5*y = 56, -84 = -r - 2*r - 2*y. Let o = r + -28. Solve -n + 5*n - 20 = -4*t, o = -n + t - 1 for n.
2
Let c be (-1 + 0)/((-1)/2). Let k(h) = -h**3 - 20*h**2 + 4*h + 4. Let n be k(0). Solve 0 = -b - 4*u + 14, n*b = -c*u - 2*u + 8 for b.
-2
Suppose 438 = 4*m - j, -4*m + 3*m = 5*j - 99. Suppose 3*p - m = -103. Solve -2*f + 12 = 4*g, p*f + 2 = -f - g for f.
-2
Suppose 7 + 5 = 3*z. Suppose -2*m - z = 0, -b + m + 17 = 4*b. Solve b*c = i + 11 - 3, -2*i - 1 = -c for i.
1
Suppose -165*i = -167*i + 52. Solve 5*m + g + 4*g - 35 = 0, 0 = -2*m - 5*g + i for m.
3
Suppose -3*j + 26 = 3*y + 35, 4*y + 3*j + 6 = 0. Suppose -52 = -2*n - 2*n. Solve k - 24 = -4*g, y*k + 2*g - n - 9 = 0 for k.
4
Let n(x) = x**3 - x**2 - 4*x + 4. Let a be n(3). Let c be ((-11)/(-2) - 1)*a/15. Solve 3*w - 2*b + 13 = 0, -2*w = -5*w + c*b - 12 for w.
-5
Suppose 0 = 9*z + 2*z - 99. Suppose 5*v + z - 19 = 0. Solve -v*k + 4*q + 4 = -8, -20 = 2*k + 4*q for k.
-2
Let v(s) = -3*s + 20. Let i be v(6). Suppose -y - 3*m = 13 - 4, 2*m = i*y - 14. Solve 0 = u - 1, -y*p + 3*u - 15 = 0 for p.
-4
Suppose 15 = -4*g + 95. Solve 0 = 3*j - 4*b - 16 - 13, b = 5*j - g for j.
3
Let y = -1187 - -1192. Solve 5*j + 3*r + 11 = 1, -y*j + r - 30 = 0 for j.
-5
Suppose -27*z - 45*z + 4*z = 0. Solve 3*r - n - 1 + 18 = z, 5 = n for r.
-4
Let p = -33 - -35. Solve 2 = 2*c + 3*n, 0 = -2*c - p*c - 3*n - 8 for c.
-5
Let x be -3 - (-5 - (-2 - -2)). Suppose -2*f + 6 + x = 0. Suppose 5*c - 32 = 4*g, 4*c - f*g - 1 = -9*g. Solve 4*v = 0, -6*j = -4*j + c*v + 10 for j.
-5
Let d(p) = -8 + 29*p**2 - 42*p**2 + 10*p + 2*p**3 - p. Let h be d(6). Solve -c + 4*g = h, -g - 2*g = 3*c for c.
-2
Let r be (-6 - -7) + (2 - 1). Let j be (-1 - -4) + (1 - r). Solve -2*b + 2*z = j*b + 22, 0 = -b + 2*z - 7 for b.
-5
Let l be 12/48*0/(-1). Let q be 9/12 - 51/(-12). Solve 4 = -2*v, -5*u + q*v = -l*v - 20 for u.
2
Let k = 31 - 27. Suppose 0 = -0*a - k*a + 8. Suppose -3*u - 6 = -5*i - 7*u, 0 = 2*i - 5*u - 9. Solve -3*c = -4*f - 4, 0*c + a = -4*c - i*f for c.
0
Suppose 27 - 9 = 6*h. Let v(q) = -h + 3*q - 2*q + 6 + 3. Let r be v(-3). Solve -r*t - 5 = -5*w + 2*t, 2*w - t = 0 for w.
-1
Let c be 254/8 + (-1)/(-4). Let t = 36 - c. Solve 4*x - 16 = -2*o, t*o - x = -0*x + 14 for o.
4
Let a be (12/6)/(-2 + 0). Let f be -3 + -1*(2 + a). Let q(y) = -y**3 - 3*y**2 - 2*y - 4. Let r be q(f). Solve 5*b = r, 35 - 9 = -2*n + 5*b for n.
-3
Suppose z + 0 + 4 = -2*f, -4*z - 5*f = 7. Suppose -g = z*g - 15. Suppose 4*v = -3*m + 4, -4*v + 14 = g*m - v. Solve -i + 4*u = 12 - 3, m*i - 4*u + 24 = 0 for i.
-5
Suppose a - 4 + 10 = 5*v, 0 = -5*a + 4*v + 12. Suppose -3*b = -5*z - 67 + 2, a*b - 40 = -5*z. Solve -5*k - 40 = -3*i, -25 = 3*k - 5*i + b for k.
-5
Suppose -32*t + 208 = 20*t. Solve d + 4*q + 19 = -2*d, 4*q = t*d + 16 for d.
-5
Let m = -2288 + 2308. Solve -8*u + 3*u = -5*s + m, 2*u = s - 8 for s.
0
Suppose 116*b - 176 = 72*b. Solve 5*g + 3*s - 2 = 5, -5*g = -b*s + 21 for g.
-1
Let p = -66 + 68. Let a(z) = z**2 + 3*z + 2. Let q be a(-3). Suppose 5*o = -2*o + 56. Solve -3*m = -p*x - o, 0 = q*m - 0*x - 4*x for m.
4
Suppose -t - 5*s = -10*s - 17, 3 = -s. Solve -t*r - 9 = -3*h - 0*h, 0 = -4*r for h.
3
Let t(i) = 2*i**3 - 2*i**2 - i - 2. Let d be t(2). Suppose -2*l = -21 - 13. Solve -v - 5 = -d*b, 3*v + 3*b = -b + l for v.
3
Suppose -6 = -3*l, -4*k + 15*l + 6 = 12*l. Solve 0*h = k*h + 6, -5*h - 18 = -2*g for g.
4
Let a be (1 + 3)*-1 + 38. Suppose 8*o - 6 = a. Solve o*b - 16 = w, -2*b + 0*b - 2*w = -4 for b.
3
Suppose -29 = 5*a - l, 5*a + 5*l + 0 + 5 = 0. Let y be 20/a*12/(-16). Solve -g - y*g + 21 = o, -4*o + 4*g + 4 = 0 for o.
5
Suppose 8 + 12 = 5*m. Let i be 20/(-25) - m/(-5). Let l be -3*(4/3)/(-2). Solve i*a + l*b = -2*a, 3*b = -a - 2 for a.
1
Let x(y) = 14*y**3 - 1. Let n be x(1). Suppose -g + 0*g + n = 0. Solve -2*w = -2*b + 4, 0 = 3*b + 1 - g for w.
2
Let a = 0 + 11. Let u = 55 - 49. Let m = a - u. Solve -m*f - 4*j - 20 = 0, -f - 3*j = -0*j + 4 for f.
-4
Let k = -50 + 68. Let n be k/8*(-20)/(-15). Solve 0 = x - 3*x + 4*y - 2, -3 = 2*x - n*y for x.
-3
Let n be (15/(-6))/((-70)/56). Solve -4*m - 3*u + 5 = 0, -u - 2*u - 5 = n*m for m.
5
Let h = 978 - 973. Solve 3*l = -0*l + 9, -l = 4*v + h for v.
-2
Suppose -4*h + 5*u + 220 = 0, h - u + 25 = 81. Let s be (-1)/((-2)/h)*1. Let l be 12/9*s/8. Solve 3*o + 4*q = 19, 0 = l*o - 3*q + 12 - 5 for o.
1
Suppose 9*q - 25 = -7. Let h(b) = -b**2 - 4*b + 8. Let m be h(-6). Let g = -3 - m. Solve l - g = q*j, -5*l + 2*l - 3*j + 12 = 0 for l.
3
Let u be -1 + -1 + (-45)/(-5). Suppose 0*b = b - u. Suppose 0 = 4*m - 5*a + 1 + b, -5*m + 5*a - 5 = 0. Solve -5 = -h - 2*v, -3*h - m*v = h - 20 for h.
5
Let t = -110 + 112. Solve t*b + 8 = -r, 3*b - r - 2 + 19 = 0 for b.
-5
Let o = -1 - 2. Let d be (-1)/(o/21*1). Suppose -i + 4*i = -3*p, 2*i = -p - 4. Solve 4*b = -3*u - d, b - 4*u + 1 = p for b.
-1
Let h(d) = -45*d - 88. Let w be h(-2). Solve 0*c + 10 = -w*c - 2*n, n = 0 for c.
-5
Let w = 76 + -78. Let l be 12 - (w + -2 + 1). Solve -5*b = -2*s - 25, 3*b - l = -2*s + 4*s for b.
5
Let b(n) = -148*n + 744. Let s be b(5). Solve s*i - 21 = -3*y, -i = 5*y - 4*y - 6 for y.
3
Let a = 125 - 127. Let f be (-3)/a*112/84. Solve -s = 5*r + f*s + 5, 0 = -5*r + s + 15 for r.
2
Let f = 239 + -237. Solve 25 = -0*m - 5*m + f*x, 5*x - 13 = -4*m for m.
-3
Suppose 29*d + 6 - 180 = 0. Solve r + 3 = 0, -2*r + d*r = 2*y - 18 for y.
3
Let v be (0 - -2) + (-1 - -1). Suppose v*q = -c + 1, -5 = -2*q - q - 5*c. Solve -9 = -3*z + 2*n, -3*z - 2*z + 5*n + 10 = q for z.
5
Let j be (20/(-18))/((-16)/504*7). Solve v - j = 4*z, 5*v + 7*z = 2*z + 25 for v.
5
Let p(g) = -g**2 - g + 6. Let 