et u be l(8). Suppose 151 + 1629 = 4*j - 4*k, 0 = -2*j - u*k + 866. Is 49 a factor of j?
True
Suppose -4*g - 16*g + 33268 = -21592. Does 24 divide g?
False
Let n be (7 - 12)/(-35) + 278/14. Suppose 2*x = 396 - n. Does 47 divide x?
True
Suppose 52392 = 65*x - 28*x. Suppose 0 = 4*v + 2*b + 2*b - 1152, -5*v = -3*b - x. Is v a multiple of 27?
False
Let k = -7210 + 13430. Suppose 5*b - k = -1055. Does 16 divide b?
False
Let p = -283 - -178. Let w = 400 + p. Does 18 divide w?
False
Suppose 4*u + 34 = 18. Is u + 49/(-7) + 254 a multiple of 37?
False
Let d(w) = -w**3 + 2*w**2 + 6*w - 7. Let j be d(5). Let i = -50 - j. Suppose 4*m - f = -i*f + 80, 0 = -4*f. Does 5 divide m?
True
Suppose 5*y + 13857 - 93209 = w, 3*w + 21 = 0. Is 110 a factor of y?
False
Suppose 3698 = 5*l + 4*v, 4*l + 196*v = 191*v + 2962. Does 6 divide l?
True
Let p = -82 - -80. Let r be p/((-4608)/2302 + 2). Suppose 4*l - r = 21. Does 50 divide l?
False
Let y be (-8)/(-44) + (-9)/(-11). Suppose -5*d + 16 = -5*u + y, 0 = -u + 4. Suppose 7 = -4*j + 3*g + 24, -j + 3*g = d. Is 3 a factor of j?
False
Suppose 4*i - 18865 = 5*u, 3*u - 7*u - 18864 = -4*i. Does 41 divide i?
True
Let p = -83 + 4558. Let d be p/(-125) + 0 + (-1)/5. Let f = 36 - d. Is 27 a factor of f?
False
Suppose -5*u + 3*l = -8110, -4*u + 5*l + 4258 = -2217. Is 25 a factor of u?
True
Let m = 89 + -100. Let y = m - -39. Does 10 divide y?
False
Suppose 732*h + 1876 = 725*h. Is (-17487)/h*4*1 a multiple of 9?
True
Let v(i) = -14*i - 33. Let s be v(-3). Let o be s/((-36)/16) - -10. Let k(c) = -c**3 + 7*c**2 + c + 1. Does 7 divide k(o)?
False
Let z(y) be the first derivative of -y**2/2 + 12*y + 3. Let w be z(-7). Suppose -7*j + w = -583. Does 16 divide j?
False
Suppose 3*v + 5919 = 6*l - 3*l, 5*l = -2*v + 9837. Suppose -u - l = -4*r, 3*r + 0*u + 5*u = 1448. Does 25 divide r?
False
Let u = -23950 + 37470. Is u a multiple of 169?
True
Suppose -104*k + 43079 = -89*k - 13891. Is 9 a factor of k?
True
Let d = 13097 - 5051. Is d a multiple of 11?
False
Does 10 divide 1 - (1 - (-3)/(-5))/(1/(-20960))?
False
Let z(i) be the first derivative of 2*i**3/3 + 6*i**2 - 8*i - 76. Does 54 divide z(8)?
True
Let r(s) = s**2 - 11*s + 5. Let z be r(10). Let f(q) be the second derivative of -q**5/10 - 7*q**4/12 - 7*q**3/6 - q**2/2 + 3*q. Is 31 a factor of f(z)?
False
Is (-75840064)/(-2285) + (-6)/(-10) a multiple of 15?
False
Suppose 3233*o - 782374 = 3199*o. Is o a multiple of 11?
False
Let s be (-575)/(-1) - (-40)/8. Suppose 1432 = 5*q + 2*c, 5*q - 849 = c + s. Is q a multiple of 22?
True
Let u(a) = a + 4. Let h(i) = 5. Let n(w) = -4*h(w) + 5*u(w). Let s be n(3). Does 4 divide (-4 - (-2 - s))*2?
False
Let h = -18215 + 18625. Does 4 divide h?
False
Let g(l) = -238*l + 189. Is g(-13) a multiple of 49?
True
Let m = -16 + 25. Let f(z) = -z**3 + 9*z**2 - z + 11. Let x be f(m). Suppose 2*l - c = -l + 202, -l + x*c = -74. Is l a multiple of 22?
True
Is 3/4 + -1 - (-3489096)/1696 a multiple of 5?
False
Suppose 297 = -4*f + 3*x + 8587, -2*f + 4144 = -2*x. Is 4 a factor of f?
False
Let t(q) = 18*q**2 + 20*q + 12. Let m be t(-9). Suppose 4*v + 246 = h + 7*v, 5*h - m = -3*v. Is 29 a factor of h?
True
Let r be 2706/4 + 24/(-16). Suppose 6*l + 45 = r. Is l even?
False
Let b(s) = 6 + 6*s**2 - s**3 + 5*s + 2*s**3 - s**2. Let x(m) = -21*m**2 + 16*m + 2. Let n be x(1). Is b(n) a multiple of 6?
False
Let y = 18 + -15. Suppose -y*j + 5*j = 640. Suppose -4*t + j = 32. Is 8 a factor of t?
True
Suppose -127 = -m + 66. Suppose m = o - 445. Is o a multiple of 11?
True
Let w = 3183 - 1080. Does 56 divide w?
False
Let t be (-42)/(-38) + (-4)/38. Let n be 0 + (-2 - (-109 + t)). Is 8 + n - (-2 + 4) a multiple of 16?
True
Suppose 4*f + 4*m = 31228 - 444, -4*f + 30834 = -6*m. Does 13 divide f?
False
Suppose -4*x = 4*g - 1088, 3*x = -3*g - g + 1093. Suppose -907 + g = -3*y. Is 35 a factor of y?
True
Suppose -3*o - 834 = 4*d, -3 = -2*o + 1. Let p = 327 + d. Is p a multiple of 22?
False
Let x be (-149094)/270 - (-12)/10. Let d = x + 766. Is d a multiple of 6?
False
Suppose 5*p = 7*p - 10. Suppose 4*t + 2 = q, -14 - p = -4*q + 5*t. Is q a multiple of 6?
True
Suppose -52 = 6*o - 150 + 320. Let g be 2/(-6) - 795/(-9). Let n = g + o. Does 14 divide n?
False
Suppose -65*r = -64*r - 405. Is r a multiple of 45?
True
Is 105 a factor of (-72)/(-90) + (-7 - (-137056)/5)?
True
Suppose -9*r = -10*r - 117. Let h = 135 + r. Does 6 divide h?
True
Suppose 5*x = 7*l - 2*l - 6405, -4*l - 4*x = -5116. Suppose -3*q + 11*k + 776 = 12*k, 5*q - k - l = 0. Does 14 divide q?
False
Suppose 0 = 12*o - 2*o. Suppose -i = -2*i + 85. Suppose 4*t - 3*t - i = o. Is t a multiple of 17?
True
Let f be 16/24*1/(1/168). Suppose l + 6*p - 9*p = 68, -2*l = 2*p - f. Is l a multiple of 3?
False
Let m(t) = 4*t - 3. Let f be m(6). Let p be (f/(-28))/(3/(-1080)). Is (p/4)/((-18)/(-24)) a multiple of 45?
True
Suppose -4*w + 50097 = -2*x - 605, -4*w + 5*x + 50723 = 0. Is 144 a factor of w?
True
Suppose 5*r + 1353 = h - 0*h, 5*h - 3*r - 6787 = 0. Let m = h + -725. Is 43 a factor of m?
False
Suppose -112*v - 90766 = -117*v + 1234. Does 40 divide v?
True
Let c be -4*(-111)/(-8)*-2. Let y(v) = 16*v + 1. Let t be y(2). Let k = c + t. Does 8 divide k?
True
Let z = 340 + -232. Let c = -110 + z. Does 42 divide ((-255)/(-60))/(c/304*-2)?
False
Let t(x) = -2*x**2 + 3*x - 5. Let c be t(5). Does 2 divide 5 - (c + (2 + -3 - 3))?
False
Suppose -16*w = -21*w + 20. Suppose 3*s - 24 = -0*s + 5*g, 0 = s - w*g - 8. Is 3 a factor of s?
False
Let s = 67 + -66. Let u be ((-198)/(-6))/(2 - s). Suppose 0 = y + 4*p + 7, -u = -y - 0*y + 4*p. Is 2 a factor of y?
False
Suppose 9*h - 4*h - 267 = 3*p, 2*p - 3*h = -178. Let l = p + 101. Suppose 2*j = -l*j + 1512. Does 27 divide j?
True
Let v(w) = -3*w + 17. Let i be (54/8)/(-9) + 31/4. Let q be v(i). Is 30 a factor of 158/3*(-6)/q?
False
Let n(x) = -16*x**2 + x + 4. Let i be n(-2). Let f = i - -64. Suppose -4*k - k - 40 = -2*a, 2*a - f*k - 34 = 0. Is a a multiple of 15?
True
Let g = -63 - -111. Suppose 40*j - g*j = -776. Is j a multiple of 8?
False
Let y(c) = -2*c**3 - 7*c**2 + 162*c + 1639. Does 72 divide y(-30)?
False
Let w = -5670 + 18182. Is w a multiple of 23?
True
Suppose 19 = 8*k - 5. Suppose 39 = -a + k*x, 66 = -a - a + 3*x. Let z = a - -60. Is z a multiple of 9?
False
Let k(h) = h**3 - 8*h**2 - 11*h + 20. Let t be k(9). Suppose -3*w - a + 279 = t*a, 5*a = 15. Is 30 a factor of w?
True
Let h(u) = -u**2 - 8*u + 13. Let t be h(-9). Let m be 9/(-3) + (t - 6 - 3). Let r(f) = 2*f**2 + 6*f - 4. Does 21 divide r(m)?
False
Suppose -5*w = -1048 - 1922. Suppose 12*y - w = 9*y. Suppose 7*z - 5*z + 8 = 0, -5*j = -2*z - y. Does 19 divide j?
True
Let h be (-75754)/(-70) + 2/(-10). Suppose h = 13*v - 11*v. Let f = -371 + v. Is f a multiple of 17?
True
Suppose -24 + 6 = -3*o + 3*l, -5*o - 5*l + 10 = 0. Suppose 3*x + 233 = 4*x + 5*c, -o*x = 2*c - 914. Is 12 a factor of x?
True
Suppose -26*f = -32*f + 2376. Suppose -5*i + 7*i - f = 0. Does 35 divide i?
False
Is (73472/(-10))/(430/(-2150)) a multiple of 44?
False
Let b = 16887 - 12840. Is 2 a factor of b?
False
Let a be (-4)/(-8) - 4/(9 - 1). Is 5 a factor of (1 - (a + 2))*1*-185?
True
Let h(u) be the second derivative of -1/2*u**2 - 27/10*u**5 + 0*u**4 - 7*u + 0 - 1/3*u**3. Does 6 divide h(-1)?
False
Is (-240)/(-300)*(2 + 242)/(2/40) a multiple of 32?
True
Suppose 4*f - 5*v + 2640 = 0, -3*f - 27*v - 1985 = -32*v. Let b = -383 - f. Does 16 divide b?
True
Let u be (-5*1)/((-8)/(-17 - 7)). Does 2 divide (u + (-132)/(-11))*(-166)/6?
False
Suppose -4 = -4*s + 5*c, 5*s + 4*c + 1 = -35. Let v be (s/(-5))/((-10)/(-50)). Suppose 140 = v*t + t. Does 14 divide t?
True
Suppose 23*n + 73405 = 413598. Is 11 a factor of n?
False
Let n be (-170)/12 + (-25)/(-6) + -4. Let r be (-2)/(1 + 1) + 34 + n. Is r/(-3 + (-16)/(-5)) a multiple of 19?
True
Let r be (-154)/(-11) + 7*-1. Is ((-4377)/(-3) - r) + -6 a multiple of 18?
False
Let l be 2/(-13) + ((-15067)/(-169) - -13). Suppose 98*o = l*o - 5100. Is 75 a factor of o?
True
Let q(w) = 9*w**2 - 5*w. Let f be q(-5). Suppose 0 = -3*r + u + f, 2*u + u = 15. Is 3 a factor of r?
False
Let s = 147 + -142. Suppose 0 = s*m - 5*c - 970, -2*c = -2*m + 7*m - 956. Is m a multiple of 32?
True
Suppose 20*t = 154592 + 34528. Is t a multiple of 16?
Tru