 Suppose i*y = 41*y - 10752. Is 15 a factor of y?
False
Let s(u) = 2826*u**2 + 11*u - 12. Let m be s(1). Let n = m + -1873. Does 42 divide n?
False
Suppose -2*k = -4*b - 124756, -2*k = -2*b - 146586 + 21834. Is k a multiple of 164?
False
Let p(f) = 6*f**2 + 36*f + 109. Let d(z) = z**2 + 7*z + 22. Let k = 64 - 62. Let m(s) = k*p(s) - 11*d(s). Is 3 a factor of m(9)?
True
Let g(k) = 1543*k - 493. Does 6 divide g(1)?
True
Let s be (-10)/(-3)*12 + 3 + -1. Suppose s = 2*b - 134. Does 29 divide (b - -3)*1*1?
False
Suppose -h = -4*a + 60195, -255*a - 45165 = -258*a - 3*h. Does 175 divide a?
True
Let k = -25 + 27. Suppose 0 = -i + 5 - k. Suppose 39 = i*g - 153. Is g a multiple of 32?
True
Let p be (3 + (-36)/16)*-64. Let g = p - -52. Suppose -g*s - 5*l = -s - 177, 0 = 5*s - 2*l - 264. Does 31 divide s?
False
Let s(k) be the first derivative of k**4/4 + 8*k**3 - 55*k**2/2 - 30*k + 53. Does 3 divide s(-26)?
True
Suppose 5*z - 6*z = -4. Suppose 10 = -3*q - 2*r, z*r + 20 = -0*q + 4*q. Suppose t = -4*u + 465, q*u + 573 = 5*u + 4*t. Does 13 divide u?
True
Let u = -6194 + 8050. Is 29 a factor of u?
True
Let i(s) = s**3 - 4*s**2 + 3*s + 3. Let h be i(3). Is 6 a factor of (h - -435) + -2 - 6?
False
Let x be (-10 - 7 - -5)*15/(-6). Does 27 divide -2 - 0 - (-624 - x)?
False
Suppose 4*l - 351 = -79. Suppose -62*j - 1986 = -l*j. Does 11 divide j?
False
Let k be 12348/(-70) + (-9)/15. Let y = k - -282. Does 7 divide y?
True
Let x be (-1742)/(-6) + (-3 - -6)/(-9). Let w = -201 + x. Is 20 a factor of w?
False
Suppose -84 = g + 5*d, 4*g + 446 - 92 = -2*d. Let w = g - -183. Is 7 a factor of w?
False
Let o = 3541 - -1829. Is o a multiple of 15?
True
Let d be ((5/(-5))/1 + 1)/(-3). Let o(t) = -t + 590. Is o(d) a multiple of 67?
False
Let j be (-5)/(-45)*-3*-12. Let m(r) = 6*r**2 - 24*r + 4. Let f be m(j). Suppose 0 = -l + 3*i + 101, 0 = -0*l - 5*l + f*i + 494. Is l a multiple of 17?
False
Let y(a) = 4*a - 44. Let q be y(10). Does 8 divide 1/(-4)*q + 310?
False
Let t = -12839 - -19175. Is 96 a factor of t?
True
Let j = -73 + 65. Let m = 12 + j. Suppose 2*i = -3*l + m*i + 283, 5 = 5*i. Is 19 a factor of l?
True
Let j be (4 - ((-2)/(-4) - -2))*2. Suppose c - 5*i - 36 = 68, 334 = j*c - 4*i. Is c a multiple of 11?
False
Suppose 8*s - 237 = 5*s. Let b = 4 + s. Does 54 divide b?
False
Let f(y) = 8*y**3 + 3*y + 2 - 12*y**2 - 2*y**3 - 2*y**3. Is 25 a factor of f(5)?
False
Suppose 0 = -24*w - 6*w - 12*w + 159012. Is 5 a factor of w?
False
Let b(z) be the first derivative of 4*z**3 + 3*z**2/2 + 3*z - 71. Suppose j = -0*j + 3. Is 15 a factor of b(j)?
True
Let o(k) = k**3 - 6*k**2 + 8*k. Let t be o(4). Suppose -11 + 47 = 9*h. Suppose t = -h*x + 414 - 154. Is x a multiple of 13?
True
Suppose 34*g - 1123905 = -59*g. Does 182 divide g?
False
Suppose 0 = -r + 4*x + 11, -r - x + 3*x + 13 = 0. Let a be 12 - (0 - 0) - (r - 15). Let b = 18 + a. Is 6 a factor of b?
True
Let j(r) = -16588*r**3 - 17*r**2 - 19*r - 2. Is 44 a factor of j(-1)?
True
Let y = -3 - -8. Suppose -3*i - 32*p + 31 = -27*p, -2*p = -3*i - 4. Suppose -3*s = -i*b + 2*s + y, -s - 10 = -b. Is 5 a factor of b?
True
Let l be (50/(-15))/((-4)/522). Let c be (-2)/14 + l/105. Suppose -c*g + 7*g = 180. Is 19 a factor of g?
False
Let d(k) = -2*k - 12. Let j be d(-10). Suppose -j - 12 = -2*f. Suppose c - 101 = -2*z, 0 = -5*c + 3*c - f. Is 17 a factor of z?
False
Let z be (-7 + 750/5)*31. Suppose -63*f = 3*r - 65*f - z, 4*r = 5*f + 5906. Is r a multiple of 10?
False
Suppose 2*j = 2 + 4. Suppose 7*b - 3*b + 2*s - 288 = 0, -214 = -j*b - s. Suppose 10*k - b = 3*k. Is 10 a factor of k?
True
Suppose 92*x - 587029 = -11*x + 12225. Is 202 a factor of x?
False
Let y(q) be the second derivative of -7/12*q**4 - 11/6*q**3 + 0 + q**2 - 1/20*q**5 - 40*q. Does 19 divide y(-7)?
False
Let c(l) = 39*l**3 - 11*l**2 - 31*l + 131. Does 52 divide c(5)?
True
Let y = 68 - 22. Let o be 8*(y/8 - 0). Does 10 divide (5 - 11)/((-4)/o)?
False
Is (-32)/((-416)/65) + 2831 a multiple of 2?
True
Suppose h = -5*c + 147847, -4*h - 98503 = -5*c + 49334. Is 27 a factor of c?
False
Let m = 4846 + -1196. Is m a multiple of 10?
True
Suppose -5769*c - 3172 = -5770*c. Is 9 a factor of c?
False
Suppose 0 = -47*o + 55*o - 32. Suppose -3012 + 652 = -o*y + 4*p, -3*y + 4*p = -1766. Does 33 divide y?
True
Suppose -4*q + 16 = 2*w, q = 4*w + 28 - 15. Does 24 divide -7 - (w/2 - 1254)?
True
Suppose 446*v + 200 = 447*v. Let b = v - -217. Is 52 a factor of b?
False
Let y = 134 + -61. Suppose y*t + 1512 = 77*t. Does 7 divide t?
True
Let o be ((-10)/(-4))/((-3)/6 - -1). Suppose -o*s + 110 = -v, v = -v - s - 264. Is 44 a factor of 4 + (8/(-4) - v)?
True
Suppose -5*z - 3*n + 825 = 0, -445 = -3*z - n + 54. Is z a multiple of 24?
True
Let w be ((-395)/10)/(2/(-12)). Suppose -3*d + w = 24. Let b = d + -34. Is 37 a factor of b?
True
Let y(z) be the third derivative of z**6/15 + z**5/60 - 11*z**4/24 - z**3/6 - 235*z**2. Is 57 a factor of y(5)?
True
Suppose -5*r - 5 = 0, 64 = 4*a - 2*r - 2*r. Is -1104*(40/a)/(-8) a multiple of 16?
True
Let d(o) = 332*o**2 - 62*o**2 - 16*o - 6*o + 6*o + 39*o**2 - 17. Is d(-1) a multiple of 4?
True
Suppose -2*w = -4*x - 1600, -5*w + 48*x = 47*x - 3937. Is w a multiple of 23?
False
Let d(v) = 2*v**3 - 6*v**2 - 3*v + 11880. Does 24 divide d(0)?
True
Let x be 5 + (-55)/10 + (-14)/4. Does 69 divide (-8)/x - 12380/(-10)?
False
Let t = -72 + 107. Suppose 0 = d - 5*k + 23, 0 = -d - 3*k - 28 - t. Let m = -4 - d. Is 22 a factor of m?
True
Suppose 3*i - 4*a = 7144, 136*i - 131*i - 2*a - 11874 = 0. Is i a multiple of 4?
True
Suppose -7*q + 26 = -30. Suppose 838 = -q*o + 3006. Is o a multiple of 14?
False
Is 8 - -9 - 225794/(-29) a multiple of 17?
True
Let c(q) = 10*q**3 - 10*q**2 + 6*q + 18. Is 69 a factor of c(7)?
False
Let q(p) = -p**2 + 40*p - 22. Suppose -9*y + 183 + 24 = 0. Is 41 a factor of q(y)?
True
Let m(d) = 7*d**2 - 3*d - 2. Let f be 21/(-3) + (-1)/(-1)*-2. Let o be ((-1)/(-3))/(f/(-81)). Is 13 a factor of m(o)?
True
Let p = 109 - 107. Suppose -p*m = -0*m - 462. Is 77 a factor of m?
True
Suppose 0 = -2*m + 3 + 19. Suppose -m*a - 251 = -4431. Is a a multiple of 35?
False
Suppose -7*k + 2948 = 2*p - 11*k, -4*k - 4412 = -3*p. Suppose 356 = 5*x - p. Is x a multiple of 14?
True
Let d be (-14)/(-4) - ((-24)/(-16) + -1). Let a(x) = -x**2 + 10*x - 7. Let r be a(9). Suppose -d*j + 63 = -0*z + 3*z, 0 = -r*j. Is z a multiple of 2?
False
Let b = 17806 + -10130. Is b a multiple of 38?
True
Suppose -7 = -3*n - 1. Suppose -2*d = w + 3*d - 124, -5*w + n*d = -539. Does 6 divide w?
False
Let n(h) = -2*h**3 + 6 + 2*h**3 + 40*h + 28*h**2 + 2*h**3 - 4*h**3 + h**3. Is n(29) a multiple of 25?
True
Suppose m - x = -194 + 1093, 0 = 5*m + 3*x - 4487. Does 3 divide m?
False
Let x(h) = h - 1. Let p be x(4). Let v(w) = 8*w**3 - 6*w**3 + 1 + 3*w**2 + 5*w**2 - 3*w**3 - 3*w. Is v(p) a multiple of 13?
False
Suppose r + 2*u - 14980 = 0, 257*u = -2*r + 261*u + 29936. Is r a multiple of 48?
False
Let a(h) = -h**3 - h**2 - h + 8. Let n be a(4). Let b = -328 - n. Is 1/(3*(-3)/b) a multiple of 7?
True
Let w(c) = 25*c - 3. Let v(l) = 3*l + 4. Let r be v(-2). Let h(j) = -249*j + 30. Let g(z) = r*h(z) - 21*w(z). Is g(-5) a multiple of 24?
False
Let c(t) = 2*t**2 + 36*t - 392. Is 3 a factor of c(17)?
True
Let d = 26 + -24. Suppose -5 + d = -3*a - i, 3*a - 21 = 5*i. Does 34 divide 3344/32 + (-3)/a?
False
Suppose -13*u + 22 + 43 = 0. Suppose -3*h + u*x + 115 = -615, h = x + 242. Is h a multiple of 17?
False
Let a(p) = 3*p**2 - 81*p + 114. Is a(-23) a multiple of 99?
True
Suppose 0 = -13*j + 124 - 72. Does 3 divide ((-721)/(-21) - j/(-6)) + -2?
True
Suppose g + 4*h = 13523, 139*h = 3*g + 141*h - 40579. Does 81 divide g?
True
Let r(x) = -x**3 - 20*x**2 + 93*x + 20. Let h be r(-24). Suppose 3*j - 455 = b + h, 3*j = 3*b + 537. Is j a multiple of 92?
True
Let b = 7290 + -7101. Is 2 a factor of b?
False
Let v(a) = -28*a + 7. Let k be v(4). Let x(o) = -o**3 + 13*o**2 + 5*o - 18. Let d be x(12). Let i = d + k. Does 9 divide i?
True
Does 44 divide (17424/((-96)/(-8)))/1?
True
Let x = -440 + 313. Is 62 a factor of 8 - 2 - x - -1?
False
Let i(s) = 4*s - 3*s + s**3 - 2*s - 17*s**2 + 10*s - 24. Let z be i(17). Suppose 5*g - 314 = -y + 337, -g + y = -z. Does 13 divide g?
True
Let z be 1 + (-106)/(-10) + (-18)/(-45). Suppo