j be o(13). Suppose -2*x = -4*n + 524, 2*n + 4*x - j*x - 262 = 0. Is n a multiple of 5?
False
Let h(m) = -m**3 + 15*m**2 + 43*m. Suppose -17*q + 260 - 5 = 0. Does 15 divide h(q)?
True
Let u be (-14)/91 + (-770)/65. Does 12 divide 1346*((-30)/u - 2)?
False
Let v = 2094 - 3056. Let w = v + 2343. Is w a multiple of 12?
False
Suppose -i - 2*i - 3*s = -4881, -3*i + s + 4885 = 0. Suppose 3*c - 8161 = -5*d, -d + 5*c = 7*c - i. Does 38 divide d?
True
Let f = 2816 + -1781. Suppose -2*j + 646 = 2*d + 214, -f = -5*d + 4*j. Is d a multiple of 37?
False
Suppose 8 = -2*s + 14. Let b(m) = 269*m + 7. Let v be b(s). Suppose 13*r - 8*r + 2*o - 1305 = 0, 3*r - 5*o = v. Is r a multiple of 51?
False
Let b(m) = 2*m**3 - m**2 - 5*m + 3. Let t be b(2). Suppose -t*d - 2*g = 3*g - 18925, 4*d - g - 15140 = 0. Is (-26)/156 + (d/6)/5 a multiple of 6?
True
Suppose -121*o + 116466 + 315504 = 0. Is 10 a factor of o?
True
Suppose 136 - 886 = 10*r. Is 10/r - 392/(-15) a multiple of 7?
False
Suppose 8*d + 2*c = 6*d + 10580, -4*c - 21152 = -4*d. Is d a multiple of 43?
True
Let v = 10525 - 5119. Does 17 divide v?
True
Let z(p) = 79*p**2 + 233*p - 1334. Does 98 divide z(6)?
False
Let h(c) be the first derivative of -c**2/2 + 8*c - 7. Let g be h(5). Suppose -g*t = 218 - 578. Is t a multiple of 30?
True
Does 6 divide (26/364)/((-2)/(-140680)) + 2/(-7)?
False
Let d(v) = 8*v**2 - 117*v + 479. Does 35 divide d(34)?
False
Let x = -252 + -68. Does 20 divide (-1)/((72/x)/9)?
True
Let f(z) = -30 - 274*z**2 - 6*z + 275*z**2 - 4*z. Is 9 a factor of f(13)?
True
Is 15 a factor of (16 + 5)*(-4)/(-12) + 10432?
False
Let s be 4/30 - (-36198)/(-135). Let z = 150 + s. Let o = -50 - z. Is 17 a factor of o?
True
Let b = -329 - -332. Suppose -4*y = -3*v + 950 + 588, -b*y = v - 504. Is v a multiple of 51?
True
Suppose p = v + 7492, 5*p + 120*v = 122*v + 37457. Is p a multiple of 11?
True
Suppose -2*s = 23 + 9. Let y be (s/(-10))/(40/100). Suppose -2 + 86 = y*m. Is 5 a factor of m?
False
Let n(w) = -w**3 - 7*w**2 - 9*w - 3. Suppose 5*p + 11 = -24. Let z be n(p). Suppose 3*h + z = 5*h. Is 4 a factor of h?
False
Let y(k) be the second derivative of k**5/20 + k**4 - 2*k**3/3 - 11*k**2/2 + 28*k. Is y(-10) a multiple of 25?
False
Let n be -2 + (4 + -3 - -1) + 15. Let b = n + -11. Suppose -5*w + 0*f = b*f - 86, -20 = -5*f. Is 14 a factor of w?
True
Suppose 0*c - 8*c = -0*c. Suppose -26*t + 11061 + 2979 = c. Does 13 divide t?
False
Is 19 a factor of 76/(-6)*72/32*16596/(-54)?
True
Suppose 4*t - 34 = 3*f + 10, 0 = -5*f - 20. Suppose -4*z = -16, -2*x = -0*z + 3*z - t. Let s(d) = 24*d**2 + d - 2. Is 23 a factor of s(x)?
True
Let r(a) = -118*a - 180. Let j be r(-25). Suppose 5*o = -2*f + 4414, -3*o = 5*f - j + 114. Is 63 a factor of o?
True
Let l be (-32)/112 - (4/(-14) + 0). Suppose 3*y = f - 347, l = 2*f - 0 - 4. Let i = y + 205. Is i a multiple of 18?
True
Let o(a) = a**3 + 7*a**2 + 3*a + 21. Let g be o(-7). Suppose g = 2*i + 5*y - 186 - 99, -2*i = -2*y - 292. Does 26 divide i?
False
Let k(h) = -257*h + 4142. Is k(-119) a multiple of 15?
True
Let r(q) = 116*q + 12. Suppose 0 = -4*y - 20, 5*j = -y - 7 + 17. Is r(j) a multiple of 8?
True
Is ((-15)/(-10))/(1/2295)*156/78 a multiple of 153?
True
Suppose 22*n = 27*n + 2*q - 6713, 2 = -2*q. Is 2 a factor of n?
False
Is (-10200712)/(-213) - (4 - (-48)/(-9)) a multiple of 12?
True
Let r(p) = 2*p**3 + 62*p**2 - 19*p - 143. Does 2 divide r(-31)?
True
Let o(d) = d**3 + 19*d**2 - 75*d - 46. Let p be o(-22). Let z = -6 + 8. Suppose 5*k - 425 = 5*n - n, -p = -2*k - z*n. Does 27 divide k?
True
Let x be (1 - 2)/(-2 - -1). Let j(p) = 0*p**2 + p + 3*p**2 - p**2 + 2 - 3. Does 2 divide j(x)?
True
Suppose 2*t = 8, -2*n - t = t. Is (3 - 2)*(-8)/n*18 a multiple of 28?
False
Suppose -5*j + 2*m = -j - 20478, 3*m - 10227 = -2*j. Is j a multiple of 59?
False
Suppose 2*x - r - 2198 = 0, x = 3*r + 454 + 655. Suppose x - 15173 = -9*p. Does 92 divide p?
True
Suppose -4*k - 5*z = -38144 - 30229, -3*k + 51303 = -4*z. Is 139 a factor of k?
True
Suppose -16*z + 15*z = -4. Suppose -3*d - 1223 = -z*t, 1531 = 6*t - t - 3*d. Is 14 a factor of t?
True
Let d = -356 + -151. Let a be (-2)/(-8) + (-6358)/(-8). Let f = d + a. Does 48 divide f?
True
Let k be (-196)/6*372/(-8). Suppose 2259 = 3*i + o, -2*i - o + k = 4*o. Is i a multiple of 64?
False
Let v(a) = a**2 + 38*a + 215. Let z be v(-34). Suppose 0 = -z*p + 99*p - 33000. Is p a multiple of 50?
True
Suppose 27 = -5*w + 5*o + 17, 3*w + 5*o - 10 = 0. Suppose w = -2*a - 5*q + 292, -40*q + 45*q = 2*a - 272. Does 10 divide a?
False
Let i(b) = b**2 - 1. Let c be i(-2). Let q be c/1 + 48/24. Suppose 0 = -q*j, -3*j - 468 = -3*t + t. Does 33 divide t?
False
Let x(d) = d**2 + 40*d - 439. Is 8 a factor of x(26)?
False
Let c = -521 + 519. Does 16 divide (3324/42)/(c/(-7))?
False
Suppose 0 = 20*w - 76*w + 4704. Does 3 divide w?
True
Let v be (2/(18/57))/(2/6). Let g(m) = -8 + v - 4 + 2*m + 16. Is 11 a factor of g(5)?
True
Suppose -148920 = -4*p - 56*p. Is 34 a factor of p?
True
Let w(k) = 1579*k**2 - 72*k + 54. Is 195 a factor of w(-6)?
True
Suppose -11 + 1 = -5*g. Suppose -3*v = v - 12, -4*v = g*h - 84. Is h*-4*1/(-8) a multiple of 4?
False
Let q(g) = 19*g - 40*g - 85 + 15*g. Does 7 divide q(-31)?
False
Let p(b) = 3*b**2 - 71*b - 2312. Does 26 divide p(-28)?
True
Does 48 divide (-15)/40*-4*597388/33?
False
Suppose 3*u + 61 = 70. Suppose u*w - 3*i + 83 = -2*i, -5*w + 2*i - 139 = 0. Let r(v) = -v**3 - 27*v**2 - 2*v - 19. Does 18 divide r(w)?
False
Let a = 60 - 61. Let r be ((-56)/35)/a*(-2 + -3). Does 10 divide -831*(4/(-18))/(r/(-12))?
False
Suppose -97090 = -4*z - 6*p, -p + 72821 = -52*z + 55*z. Does 80 divide z?
False
Suppose 4*r + 4 - 12 = 0. Let w(v) = 8 - 11*v - 8*v**2 + 2*v**2 + 5*v**r. Is w(-11) even?
True
Suppose 0*l = l - 4*x + 93, -2*l - 159 = x. Let a = -6834 - -3612. Does 20 divide a/l - (-6)/27?
True
Suppose -20*u + 38306 = 8906. Is 21 a factor of u?
True
Let p(x) = -6*x**3 - 5*x**2 - 7*x - 10. Let b(o) be the first derivative of -o**3/3 + 11*o**2/2 - 3*o + 10. Let m be b(11). Is p(m) a multiple of 8?
True
Let o be (-3)/(-18) + (1358/(-12))/1. Let p = o + 195. Suppose -p = -2*t + 5*f, -2*f - 21 = -t + 19. Is t a multiple of 6?
True
Let j(c) = -3*c + 24. Let q be j(4). Suppose x = -5*m + 28, -9*x + 10*x + q = 3*m. Does 2 divide m?
False
Suppose -o - 81 - 42 = 0. Let h = o + 156. Is h a multiple of 11?
True
Suppose 0 = 19*u - 15*u + 20. Let d(h) = -3*h + h + 46 - 19 + 3*h. Is d(u) a multiple of 22?
True
Let j = -90 - -94. Let f be 2/j + -2 + (-996)/(-8). Suppose f*q = 124*q - 23. Does 12 divide q?
False
Let n(k) = k + 21. Let t be n(28). Let x = 566 + t. Is x a multiple of 64?
False
Suppose -2*h + 95 = 5*u, -13 = h + 4*u - 53. Let s be (-8)/h*-5*(-7 - 2). Let l(a) = a**2 + 3*a + 7. Does 9 divide l(s)?
False
Let v be ((-12)/(-20))/(5/25). Suppose 7*o = v*o + 8. Suppose 0 = -b + 2*q - q + 52, -3*b + o*q + 152 = 0. Does 16 divide b?
True
Let g(h) = 3*h**3 - h**2 - 2*h - 5. Let o be g(2). Suppose 0 = o*u - 3382 - 5880. Is 46 a factor of u?
False
Does 115 divide ((-222)/(-48) - 5 - 368043/(-8))*1?
False
Suppose 2*t - 6*k = -2*k + 848, 5*k + 1267 = 3*t. Suppose -5*y + 984 = -9*y. Let g = t + y. Is g a multiple of 20?
False
Suppose -69*v - 31*v - 70872 + 672872 = 0. Does 172 divide v?
True
Let r(v) be the first derivative of -v**3/3 + 7*v**2/2 + 18*v - 28. Suppose 3*k - k - 16 = 0. Is 10 a factor of r(k)?
True
Let v(k) = 2*k**2 - 7*k**2 - 7*k + 11*k + 4*k**2 + 19. Let h be v(6). Suppose h - 3 = -4*a, -4*a = -3*l + 16. Does 2 divide l?
True
Let f = 758 + -762. Does 14 divide (8398/(-51))/(f/6)?
False
Suppose -2*i = -3*i + 4. Suppose -r + 573 = -h + 590, -3*h = 4*r - 16. Suppose i*l + h*l - 2688 = 0. Is l a multiple of 12?
True
Suppose 2 + 4 = -5*v + 2*z, -4*z + 12 = -2*v. Let u be v/((-6 - -5)*1). Suppose 2*j - 3*o - 161 = u, -3*j = -5*o - 366 + 122. Does 8 divide j?
False
Is 46*(-25 + (-4706)/(-26)) a multiple of 13?
True
Suppose -2*b = 3*a - 25963 + 974, -2*a - 24974 = -2*b. Does 17 divide b?
False
Suppose 14*n + 12*n = -12428. Let l = -337 - n. Does 2 divide l?
False
Let c(n) = n**2 - 14*n + 108. Let u be c(0). Is 56 a factor of u/6*((-603)/6)/(-3)?
False
Let o be (4 + -1)/(12/8). Let s be 72 - (o/8)/((-3)/12). Suppose -s*v + 80 = -68*v. Is v a multiple