 c(z) = -4*z + 7*z - 4 + z - 6. Let n be c(4). Solve 0 = -5*b + p + n, 0 = 3*b - 5*p + 3 - 11 for b.
1
Suppose 0 = 2*k + d - 7, -3*k + 5*d + 0*d - 9 = 0. Let q(v) = -26*v - 46. Let f be q(-2). Solve 3*a + h - 1 + 7 = 0, 0 = k*h + f for a.
-1
Let r = 219 + -219. Let k = 0 - 1. Let l be (r - k) + 2 + -1. Solve 7*m - 4*m + 5*p = 10, -m = l*p - 3 for m.
5
Let d(p) = p**2 - 20*p + 4. Let k be d(20). Solve a - 2*a + 4*y = -17, 2*a - 22 = k*y for a.
5
Let i = -1 - -1. Let z be 2 + (-15)/7 - (-35424)/224. Let o = -153 + z. Solve -2*f = -o*v, -4*v - f + i*f = 0 for v.
0
Let u = -52 + 55. Solve u*l + 15 = 2*d, 0*l = -3*l + 4*d - 21 for l.
-3
Let z(r) = -4*r - 104. Let c be z(-27). Solve 0*d = 5*f - 4*d + 11, -4*f + 20 = c*d for f.
1
Suppose -2*o - i = -7*o - 18, 3*i + 18 = -3*o. Let t = 162 + -167. Let k be 2/o + t/(-2). Solve -4*m = -6*m - k, 3*m + 3 = 3*q for q.
0
Suppose 3*v - 8 = 3*y - 4*y, 2*v = -5*y + 27. Let w be -10 + (-2 - 1) + y. Let h be 32 + w + 3/(-1). Solve 3 = 2*m - z, 4*m + 5*z + 8 = -h for m.
-1
Let r = -116 + 119. Let v be -1 - r/((-3)/(-3)*-1). Solve 4*k + 4 + 4 = 4*a, 0 = 5*k - v*a + 13 for k.
-3
Let m be 2/8 - -76*10/160. Solve 4*s + 25 = -m*y, 4*s + 2*y = -0*s - 22 for s.
-5
Let x = 4 + 3. Suppose -2*y - 20 = -x*y. Let f be (y/(-8))/((-3)/18). Solve 6*d + 2*l + 16 = 3*d, 0 = -f*d + l - 1 for d.
-2
Let g(a) = 2*a**2 + 4*a**2 - 20 - 5*a**2 - a + 2. Let h be g(5). Let y be (2/3)/(6/45). Solve -4*d = 3*t + y, h*d = 3*d - 1 for t.
-3
Let c = 64 + -59. Solve -c = 4*q + 5*v, -2*q - 3*v + 2 = v for q.
-5
Suppose -9*j = -47 - 34. Let g(o) = 3*o**3 + o + 1. Let r be g(-1). Let w = j + r. Solve -m + 3*l = 19, 0 = m + 2*l - 0*l - w for m.
-4
Let j be (-21)/14*-2*1. Let r(m) = -m**2 - 9*m + 5. Let a be r(-9). Suppose -2*n - 3*l = 1, -a*n + l = 3*l - 14. Solve j*x - 5*b = 3, 3*x - 5*b + n = 7*x for x.
1
Let w be 6/(-4)*(-12)/(-9). Let c = 16 + w. Suppose 5*u = y - 6*y + 30, -u = 3*y - c. Solve 4 = u*n + 12, -4*n = -5*z + 11 for z.
-1
Let p(m) = 2*m**2 - 11*m + 5. Let a be p(7). Suppose -29*d = -a*d - 12. Solve -5*t + 4*z - d = 0, 0 = 3*t + 3*z - 0*z + 24 for t.
-4
Let v = -8 + 8. Suppose -20 = -5*r - v*r. Suppose -6 = -2*t + r. Solve -x - 4*h - 4 = 0, -4 = 3*x + t*h + 1 for x.
0
Suppose 0*x - 10 = -2*x, -103 = -4*k + x. Let r be -2*(-1 - k/(-6)). Let n = r - -11. Solve 2 = m + u + 2*u, -3*m + n*u = -6 for m.
2
Suppose -6*v + v = -15. Let z = 193 - 191. Solve -2 = -5*c + 2*c + z*p, -v*c = -3*p + 3 for c.
4
Let i(c) = -2*c - 31. Let q be i(-18). Solve 2*m - s + 3*s - 4 = 0, -2*m + 25 = -q*s for m.
5
Let n be ((-1)/2)/(1/2). Let z be 1*n*1*0. Let b(q) = 52*q + 2184. Let a be b(-42). Solve -2*r = -a*g - 3*g + 6, 2*r - g + 2 = z for r.
0
Suppose -4*k + 3 = 19. Let r(u) = u**3 + 4*u**2 - 2*u + 1. Let d be r(k). Let t = d - 6. Solve -a - 12 = -3*a - t*m, 0 = -a + m - 4 for a.
0
Let s be 0 + (-2 - -3) + 0. Let a(t) = 4*t**3 - 1. Let p be a(s). Solve 2*h + p*h - 1 = i, -2*h + 18 = 4*i for i.
4
Let f be (32/(-3))/((-26)/195). Suppose -5*v + f = -5*r, -2*v = 3*r - 0*r + 43. Let g be (3/2)/(r/(-20)). Solve -7 = -2*p + 3*o, 0 = -p - 2*o + 3*o + g for p.
-1
Let t be ((-18)/24 + 0)/(3/(-12)). Solve 4*l + 32 = -5*r, -l - t*r = -0*r + 15 for l.
-3
Suppose 5*o + o = 12. Let p be o - 1 - (-12 - -8). Solve 0*k - p*l = -k + 5, 0 = -3*k - 5*l - 25 for k.
-5
Suppose -2*b = c - 31 + 37, 2*c = -b. Solve -c*p + 3 = 5*y, -4*y + 6 = -5*p - 3 for p.
-1
Suppose -173 = -24*f - 5. Solve -f = -2*b + 5*d, -2*d = 5*b + 33 - 7 for b.
-4
Let l = -83 + 85. Let j = -5 - -13. Suppose -2*u + l = -j. Solve -2*d = -u*k - 4 - 0, 5*d + 4*k + 23 = 0 for d.
-3
Let p be -3*(1 + 7/(-3)). Suppose 2*r + 2*b = 6*b - 14, -5*r = -4*b + 23. Let f be 1/(5/r) - (-3)/5. Solve -k + 24 = 5*i, -p*i = -5*k - f*i - 25 for k.
-1
Let p(v) = v**3 + 10*v**2 - 11*v + 5. Suppose 20 = 2*x - 46. Suppose -7*y = -10*y - x. Let t be p(y). Solve -2*w = 3*z - 4 - 4, 7 = t*z - 3*w for z.
2
Let u(t) = -t**3 + 15*t**2 + 16*t + 10. Let h be u(16). Let a be (-6)/30 - (-42)/h. Suppose -a*d - 9 = -5*d. Solve d = -2*k + 5*v - 0*v, 3*k - 2*v = -8 for k.
-2
Let o(u) = -3*u - 3. Let k be o(-3). Let l be k + 1*(-1 - 1) + 0. Solve a - 5*g - 5 = 0, -3*g + 2 + 12 = -l*a for a.
-5
Let m(w) = w**2 - 8*w + 10. Suppose 4*p - 29 = -3*c, p = -3*c - p + 25. Let g be m(c). Let r be g/2*(-40)/(-6). Solve 3*n + 2*a = 11, r - 2 = 4*n - 4*a for n.
3
Suppose 0*l + 3*l = 0. Let a = -219 + 223. Solve -a*s - g = 3*g - 12, l = 2*s - g - 3 for s.
2
Let l be ((-10)/4)/(18/(-4) + 4). Suppose 0*h - 2*y - 14 = -3*h, 3*h + 10 = -4*y. Solve -h*z = 3*q - l*z + 21, -4*z = 4*q - 12 for q.
-2
Let l(v) = -v**3 + 11*v**2 - 14*v + 14. Let r = -6 - -16. Let s be l(r). Let k = 30 + s. Solve -w = -k*m - 16, -2*m + 2 = 3*w - w for m.
-3
Let z = -101 + 105. Let o = 3 - 0. Suppose 3*t = 2*t. Solve -o*r = 4*q - 8, 8 + t = 4*q + z*r for q.
2
Let s(n) = n**2 - 8*n + 19. Let t be s(5). Suppose t*p + 25 = 3*j - 2*j, -3*j = -4*p - 35. Solve 0*k - 2 = -l - 2*k, -2*l + 5 = j*k for l.
0
Let v = -18 + 44. Suppose v = 3*g + 5. Suppose 3*l = 624 - 615. Solve -l*b = -12, 3*n - g = -5*b + 16 for n.
1
Suppose 3*d - 8 = d. Suppose -p - p = -d*j - 60, -5*p + 117 = j. Suppose 15 = -7*r + 10*r. Solve w = -4*l - p, 0*l - 21 = r*l - w for l.
-5
Suppose -3*t - 4*g + 26 = -3*g, -4*t + 3*g + 39 = 0. Suppose 0 = -14*v + t*v + 15. Solve 3*l = -5*q + q - 29, 0 = -l - v for q.
-5
Let g(c) = c**3 + 10*c**2 - 57*c - 12. Let p be g(-14). Solve -2 = -w, 2*k - p*w = -0 + 2 for k.
3
Let l = -45 - -81. Let t = -33 + l. Solve -3*o + 6 = -z, 4*z + 5 = -4*o - t for o.
1
Suppose 16*n + 665 = 51*n. Solve n = -3*o - 4*l, -o + 15 = -3*l - l for o.
-1
Let l(i) = -i**2 - 25*i - 48. Let g be l(-23). Let n be 7/1 - (g - -6). Solve 0 = -3*a + 3*o - 12, -n*a = -4*o - 0*o + 14 for a.
-2
Suppose 0*h = -2*h + 5*h. Solve 4*x = 5*y + 17, 0*x + x - 3*y - 6 = h for x.
3
Let a = -856 + 866. Solve -2*u - 4*v = a, 2*u + v = 4*v + 4 for u.
-1
Suppose 45 = 4*o + 25, -5*g = -2*o - 10. Solve -5 + 6 = w, g*c = -5*w - 11 for c.
-4
Let o(c) = c**3 + c**2 + 5. Let f be o(0). Suppose -a - 20 = -0*a + 5*w, -f*a - w = -20. Solve -1 = 4*n + a*m - 0*m, 0 = 4*n - 5*m - 9 for n.
1
Suppose -i - 39 = -16. Let m = 28 + i. Suppose -2*w = 5 - 13. Solve m*a + w*o + 32 = -0*a, 0 = 3*a - 5*o - 3 for a.
-4
Suppose 31*h - 4 = 27. Solve -3*m = 3*q - 4 + h, -3*m - 5*q = -13 for m.
-4
Let t(s) = -s**3 + 4*s**2 + 9*s - 33. Let v be t(3). Solve 2*u + 7 = v*x, -7*x + 3*x = 4*u + 4 for x.
1
Suppose 3 + 7 = 5*a. Suppose 4 = 4*x + b + 2*b, -4*b - 24 = -a*x. Suppose -x*k = -2*q - k + 9, 5*q + k = 48. Solve -s + 1 = 0, 4*l + 2*s = -3*s + q for l.
1
Let v be (0 + 1)*(-13 - -12). Let i be 2*v*1*(1 - 2). Solve -2*q - 2*u + 12 = -0*u, -i = 3*q - 2*u for q.
2
Let q = 1324 + -1324. Solve 2*k + 3 = 4*n - 5*n, 5*k + 3*n + 7 = q for k.
-2
Let b(q) = 4*q - 92. Let y be b(24). Solve -y*f - 16 = -4*g, 2*f + 6*g - 17 = 3*g for f.
1
Let g be 3 - (-3)/(-9)*-3. Solve -10 = -5*w + 3*s, 3*w = 5*w - g*s + 10 for w.
5
Suppose u + 0*w + 2*w = -8, 5*w = -5*u - 15. Suppose 0*h + 5*z = 3*h, -4*z = 4*h - 32. Solve -4*m = m - u*x + h, 2*m + 16 = -2*x for m.
-3
Suppose 5*h + 10 - 32 = -3*r, 16 = 4*h + 2*r. Solve -o + 5*v = -13, 4*o - 4 = -2*v - h*v for o.
3
Let c = 51 + -31. Suppose 16 = -4*z - c. Let w = 11 + z. Solve i + 4*o = 1, 5*o + 3 = i + w*i for i.
1
Suppose -66*k + 46 = -64*k. Let a(l) = -l**3 + 22*l**2 + 23*l + 5. Let u be a(k). Solve 0 = -4*o + 5*r - 1, 3*r - 2*r = -u*o - 23 for o.
-4
Suppose -2*w = -0*w + 80. Let m be 3/4 - 450/w. Solve 3*t - 22 = -3*d - 4, 0 = -3*t + m for d.
2
Suppose 16 = -4*i, -2*w - i - 6 = -8. Suppose w*m = -0*m + 27. Suppose 6*c + m - 33 = 0. Solve -s - 2 - 6 = c*f, -f = -4*s + 19 for f.
-3
Let y be 3*(3 + -2) - 2. Suppose y = 2*l - 3. Let p(j) = -j**3 - 5*j**2 - 3*j + 5. Let t be p(-5). Solve -l*v = -5*f - t, 3*v - f = -3*f - 8 for v.
0
Let i(o) = -o**3 + 6*o**2 - 8*o + 10. Let f be i(4). Suppose 4*j = 3*j. Suppose j*d - 5*d = -f. Solve -2*p - 5*z - d = 10, 4*z + 10 = -2*p for p.
-1
Suppose -33*m = -36*m - 5*h - 7, 3*m - 4*h = 38. Solve 3*d = -0*s + 3*s + 27, 0 = -4*d - 2*s + m for d.
4
Suppose 4 - 64 = -5*z. Let f(w) = w + 2. Let v be f(5). Let x = z - v. Solve -4*m + 16 = -a, -5*a - 31 = -x*m - 11 for m.
4
Let g be (1/2)/((-9)/54) - -5. Solve 5*s