. Let c(j) = j**3 + 23*j**2 - 24*j + 15. Let g be c(-24). Does 10 divide u(g)?
False
Suppose 1866 = 4*l - 2*z, -6*l = -4*l + 2*z - 942. Is l a multiple of 39?
True
Suppose 3*r = -4*t + 8 + 353, 0 = -2*t + 3*r + 185. Is 7 a factor of t?
True
Let l be 4/18 - (-4)/(-18). Suppose 34 = 4*q + 2*i, l = -3*q + i - 3*i + 24. Is ((-2)/(-1))/(q/95) a multiple of 8?
False
Suppose -5*q + 0*q - 130 = 0. Let s be (q/1)/((-2)/(-4)). Let b = 85 + s. Is b a multiple of 12?
False
Suppose -j = 2*v + 94, 6*v - 4*j = v - 209. Let x be (-18)/v - 846/(-10). Let m = -43 + x. Is 11 a factor of m?
False
Is (-1 - 18/2)/(59/(-2006)) a multiple of 20?
True
Let z(b) = 44*b - 1. Let y(n) = n**3 - 16*n**2 + 16*n - 13. Let t be -1 + 3 - 26/(-2). Let w be y(t). Does 29 divide z(w)?
True
Suppose 0 = -2*h + 3*p - 72 - 23, -3*h + 2*p = 150. Let v = h + 66. Is 7 a factor of v?
True
Let s = 20 - 3. Let c = s - 13. Suppose 15 = y + c. Does 11 divide y?
True
Let c(m) = m**3 - 14*m**2 - 11*m - 3. Let j be -4*(-2 - (0 + -3)). Let w(k) = -3*k + 3. Let l be w(j). Is c(l) a multiple of 21?
False
Let y(q) = 64*q - 474. Does 39 divide y(11)?
False
Let l = 3316 - 1882. Does 13 divide l?
False
Let n(c) = 2*c - 1. Let s be n(3). Suppose 3*o + 2*b = o + 260, 0 = s*o - b - 650. Does 11 divide o?
False
Let x = 24 - 22. Does 19 divide (-240)/(-12) + (-1)/(-1 + x)?
True
Let p be (12 - -3)*13/(-3). Let l be 10/p + (-80)/(-13). Let x(q) = 6*q - 11. Does 5 divide x(l)?
True
Let g = -107 - -128. Is g even?
False
Suppose -70*g + 595 = -63*g. Is g a multiple of 5?
True
Let u(m) = -36*m**3 + m**2 + 8*m + 19. Is 3 a factor of u(-2)?
False
Let m be ((-3)/6)/(1 - (-573)/(-570)). Let d = 199 - m. Is d a multiple of 13?
True
Does 110 divide ((-16)/(-12))/(8/8796)?
False
Suppose 0 = -9*u + 1956 + 1365. Is 15 a factor of u?
False
Let w(s) = 2*s**2 + 3*s - 2. Suppose -6 = l - 3. Let m be w(l). Let t(u) = u**3 - 7*u**2 + u + 6. Is 7 a factor of t(m)?
False
Suppose 0 = -x - 2*a - 18, -x + 3*a - 44 = -1. Let o = x + 32. Suppose -3*v - 2*p + 64 + 58 = 0, -3*v - o*p + 118 = 0. Is 23 a factor of v?
False
Let a(v) = 2*v**2 + 6*v + 4. Let t = 23 - 28. Does 6 divide a(t)?
True
Let q(l) = -3*l. Let t be q(-5). Let f = 25 - t. Let a(s) = 7*s - 14. Is 14 a factor of a(f)?
True
Let r = -26 - 1. Is 13 a factor of (r - 0 - -1)/((-52)/156)?
True
Let j = 21 + -9. Suppose 3*p = -j, 5*p + 56 = 2*l + p. Does 10 divide l?
True
Let o = 1262 - 482. Is o a multiple of 30?
True
Suppose 27*u = 9*u + 11304. Does 6 divide u?
False
Let g(d) = d**3 + 13*d**2 - 15*d + 9. Let j be -6*(4/3 - -1). Is 5 a factor of g(j)?
False
Let n(d) = d**2 - 2*d + 875. Let u be n(0). Suppose 0*t - 5*t + u = 0. Is t a multiple of 34?
False
Let i(f) = 3*f**2 - f - 89. Is i(-16) a multiple of 4?
False
Let z(w) = 13*w**2 - 2*w + 2 - 17*w**2 + 7*w**2. Let y be z(2). Let k = -3 + y. Is k a multiple of 7?
True
Suppose -5*v - 2*r - 64 = 0, -v - 5*r + 4 = 26. Does 22 divide ((-99)/v)/(5/80) + 0?
True
Suppose -4*v + 2*b = -112, -12 = -v + 5*b + 16. Let c(g) = 2*g - 2. Let i be c(3). Let d = v + i. Is 16 a factor of d?
True
Let p(z) = 7*z**2 + 19*z - 5. Is 5 a factor of p(-5)?
True
Suppose -48 = 7*a - a. Let c(t) = -15*t + 13. Is c(a) a multiple of 19?
True
Let w = 6 + -13. Let t be 656/7 - 2/w. Let i = -27 + t. Is 22 a factor of i?
False
Let v(o) = -o**3 + 7*o**2 + 2*o - 10. Let m be v(7). Is (-280)/42*(-18)/m a multiple of 15?
True
Suppose 0 = -227*s + 205*s + 16786. Is s a multiple of 19?
False
Let h be ((-2)/(-4))/((-4)/(-24)). Suppose 4*s + h*s - 287 = 0. Is s a multiple of 2?
False
Let i = -185 - -87. Let n = i - -130. Is n a multiple of 10?
False
Let r(p) = 10*p**3 - 7*p**2 + 8*p + 23. Is r(4) a multiple of 61?
False
Suppose 33*r - 2944 = 29*r. Is r a multiple of 46?
True
Suppose -5*f + 130 = -4*j - 7*f, -f - 95 = 3*j. Suppose 4*u - 2*c - 235 = 3*c, -4*c = -3*u + 176. Let o = j + u. Does 5 divide o?
True
Suppose 5*w = 2*i + 828, 0 = -0*w + w + 2*i - 156. Suppose 11*m - w = 936. Is 15 a factor of m?
False
Suppose 2*y - 88 = -4*d, -3*d + 10*y - 6*y = -44. Does 13 divide d?
False
Let p(w) = -338*w - 685. Is 35 a factor of p(-10)?
True
Suppose 0 = 3*k - 4*b + 12 - 1425, 2*k + 3*b - 925 = 0. Suppose 77 = -5*o + k. Does 15 divide o?
False
Let f = 7 + -7. Suppose f*q + 75 = 5*q. Let j = -9 + q. Is 2 a factor of j?
True
Let n(k) = 5*k + 44. Let o be n(-6). Suppose 672 = o*v - 7*v. Is 7 a factor of v?
False
Let n(w) = w + 47. Does 7 divide n(19)?
False
Suppose 0 = -2*q + d + 779, d = -2*q - 193 + 974. Does 8 divide q?
False
Suppose 352 = -229*h + 227*h. Let q = -92 - h. Does 14 divide q?
True
Suppose 0 = -3*s - 0*s + 33. Is ((-180)/(-14))/(s/77) a multiple of 15?
True
Let o(x) = 21*x + 24. Let m be o(-4). Let k = m + 169. Does 7 divide k?
False
Let b be (10/(-10))/(2/(-10)). Suppose -o - 2*o + 53 = -w, -b*o + 83 = -3*w. Suppose 11 + o = 3*d. Is d a multiple of 5?
True
Let u(c) be the second derivative of c**4/12 - 5*c**3/3 + 8*c**2 + 13*c. Is u(10) even?
True
Let u(h) = 4*h - 27. Let p be u(7). Suppose 3*v - 83 = p. Is 14 a factor of v?
True
Is 47 a factor of -1128*1*(2 - 3)?
True
Let p = 3282 - 1408. Is 27 a factor of p?
False
Suppose -5*p - 7 = -2*r, -2*r = -3*p - 5 - 12. Suppose 0 = v - 60 + r. Is v a multiple of 11?
True
Let d(y) = -y**3 + y**2 + 2*y + 1. Let o be d(-1). Let r be 5 + -1 - o - 5. Is 6/r - (-1 - 9) a multiple of 2?
False
Does 2 divide 32/(-2)*156/(-48)?
True
Let z = 144 - 296. Let w be 3/21 - z/14. Let g = w + 0. Does 7 divide g?
False
Let g = -114 - -78. Is (56/(-12) - -4)*g a multiple of 8?
True
Does 27 divide 0/(-7) - (-327 - 9)?
False
Suppose 2205 + 7749 = 18*i. Does 24 divide i?
False
Suppose 0*p - 5*p - 241 = -o, 4*p = -4*o - 188. Is p/5*225/(-18) a multiple of 15?
True
Is 14 a factor of (147/(-12))/((-2)/16)?
True
Let i(r) = 5*r + 392*r**2 - 384*r**2 + r**3 + 5*r - 8. Does 2 divide i(-6)?
True
Suppose -3*r - 3 = -2*v + 9, 0 = 2*v - 2*r - 12. Let y be 4/(-10) + 5823/45. Suppose 5*z = 5*o + 155, 2*z + y = v*z - 3*o. Is z a multiple of 10?
False
Let b = -64 - -23. Let q = b + -31. Let s = -39 - q. Is 11 a factor of s?
True
Let w be (-12)/20*(-60 - -5). Let o = -5 + w. Is o a multiple of 14?
True
Does 9 divide (-13)/((-117)/4500) - -4?
True
Let m = 1155 - 1035. Is 102 a factor of m?
False
Let d = -132 + 913. Is 71 a factor of d?
True
Let i(o) = -o**3 - 7*o**2 - 14*o - 132. Is 42 a factor of i(-12)?
True
Let v = 313 + -88. Is 9 a factor of v?
True
Suppose -10*i + 5*i + 10 = 0. Suppose 15 = i*z - 39. Does 20 divide z?
False
Suppose 2*k = b - 13, 5*k - 2 = 4*b - 45. Let i(f) = f**3 + 6*f**2 + 3*f - 3. Let p be i(-4). Suppose 0 = 3*r - p - b. Does 4 divide r?
True
Let t = 4 - 0. Suppose 292 = 4*x + 820. Is 3 a factor of (3/(-9))/(t/x)?
False
Let m be 2*(1 + 3 - 2). Suppose m*u = 5*u - 52. Is u a multiple of 26?
True
Let d = -405 - -1044. Does 25 divide d?
False
Let g(c) be the first derivative of 2*c**3/3 - c**2/2 - 7*c + 9. Does 8 divide g(-5)?
True
Suppose -4*c - c - 25 = 0, 5*s = -c + 25. Suppose 2*b = s*b - 96. Is b*(-3 - 9/(-2)) a multiple of 36?
True
Suppose -9 + 128 = i. Is i a multiple of 4?
False
Let k(m) be the first derivative of m**3/3 + 7*m**2/2 - 6*m - 7. Let r be k(3). Suppose -6 = 2*u - r. Is u a multiple of 9?
True
Let h(k) = 14*k + 7. Let p(r) = -5*r - 2. Let w(n) = 6*h(n) + 17*p(n). Let s be w(6). Suppose -2*o = s*o - 180. Is o a multiple of 9?
True
Let u(y) = -3*y - 17. Let f be u(-4). Let x(k) = -2*k**3 - 6*k**2 - 3*k - 1. Does 23 divide x(f)?
False
Let x(i) = 8*i**3 - 3*i + 4*i**2 + 6 - 10*i**3 + 10*i**2. Does 15 divide x(6)?
True
Suppose -x - 11 = -2. Let w be (-29)/(-9) + 2/x. Suppose -w*f = -5*k + 351, -f + 15 = k - 52. Is k a multiple of 23?
True
Suppose 0 = 7*l - 872 - 1186. Does 2 divide l?
True
Let w = -30 + 15. Is 5 a factor of (-130)/w - (-3)/9?
False
Suppose -1053 + 2233 = 2*o. Is o a multiple of 10?
True
Suppose 12 = -6*d + 3*d. Does 30 divide 326/d*(-4)/(-1 - -3)?
False
Suppose 4*m - b - 6068 = 0, 6*m - 7*m + 1536 = -5*b. Is 103 a factor of m?
False
Suppose -16 = -4*u, 3*l - 35 - 11 = -4*u. Is (l/15)/(((-8)/81)/(-4)) a multiple of 6?
False
Let a(h) be the first derivative of -1/4*h**4 - 9/2*h**2 + 9*h - 4 - 8/3*h**3. Is 6 a factor of a(-7)?
False
Suppose 2*d + 3*d = 0. Suppose d*x = -x. Let k(p) = -p**3 - p + 26. Is k(