 factor of 13293/36 + (-3)/b?
False
Let m = 107848 + -76904. Does 23 divide m?
False
Suppose -2*o + 5*c = 66, -5*o + 3*c - 40 = 106. Is 44*11*(16 + 434/o) a multiple of 18?
False
Let z(s) = 40*s**2 - 99*s + 14. Is z(14) a multiple of 16?
False
Let q = 2625 - 1397. Is q a multiple of 47?
False
Let w = -337 - -349. Is (-507 + w)/(-5) - 2/(-2) a multiple of 10?
True
Let p(h) = -h - 3. Let g be p(4). Let y(o) = 22 + 9*o**2 + o**3 + 6*o + 4 + 18 - 30. Is 24 a factor of y(g)?
False
Let k(m) = 542*m + 1299. Is 73 a factor of k(31)?
False
Let v(p) be the second derivative of 0*p**4 + 1/6*p**3 - 1/20*p**5 + 13*p + 0 + 28*p**2. Is 8 a factor of v(0)?
True
Does 20 divide 3 + 12863/76*1*4?
True
Let w = -5 + 8. Suppose 0 = 5*j + w - 18. Suppose -8 = j*t + 4, 2*t - 100 = -4*g. Is g a multiple of 15?
False
Let j be (-22)/(-77) + (-247)/7. Let s = j - -20. Let i = s + 48. Is 33 a factor of i?
True
Suppose -4*x = -9*t + 6*t - 7, 5*t = 15. Suppose q = -0*q + 3*l + 159, -x*l - 487 = -3*q. Does 15 divide q?
True
Is (8319905/(-5313))/(2/(-6))*(-14)/(-2) a multiple of 5?
True
Suppose 21*h + 32027 = 222539. Does 14 divide h?
True
Let s(z) = 33*z**2 + 4*z - 31*z**2 + 4 - 4. Let w = 6 + -1. Does 10 divide s(w)?
True
Let j(r) = -188*r - 1098. Is j(-24) a multiple of 35?
False
Let m be -8*2/4 + -264. Suppose 3*d - 8 = 7*d. Is 3 a factor of m/(-5) - d/5?
True
Suppose -11*o - 118 = -195. Suppose 3751 + 1058 = o*t. Is t a multiple of 10?
False
Let x(s) = 112*s - 15 - 67*s - 12. Is 32 a factor of x(15)?
False
Let s(v) = 806*v + 254. Is s(3) a multiple of 16?
True
Suppose 0 = 76*o + 6173 - 18637. Is 2 a factor of o?
True
Suppose 0 = 2*i - 7*i + 345. Let n(d) = -6*d + 15*d**2 - i + 2*d + 23 + 30 + d**3. Is n(-15) a multiple of 11?
True
Let t(k) = 45*k**2 + 41*k - 218. Does 74 divide t(14)?
True
Let u(k) = -k**3 + 13*k**2 + k - 14. Let q be u(13). Let h be 36/(-54)*(q + -14). Suppose 0 = 2*p - h*p + 176. Does 11 divide p?
True
Let l = 252 - 252. Suppose l = -122*p + 116*p + 2874. Is 10 a factor of p?
False
Suppose 14 = -2*f + 24. Suppose -4*w + 3*w = -2*x + 447, -4*x + f*w + 903 = 0. Does 7 divide x?
False
Suppose -8*x - 34*x = -126126. Does 74 divide x?
False
Is 1/(14*(-5)/(-261800)) a multiple of 10?
True
Let r be 16/(((-18)/12)/((-27)/12)). Is ((-112)/r)/(2*2/(-288)) a multiple of 16?
True
Is 1476/(-45)*(-140)/8 a multiple of 5?
False
Let h(t) = -12*t + 9 - 11*t + 2*t**3 - 3*t**3 - 13*t**2 + 4*t. Let x = 2 - 14. Is 31 a factor of h(x)?
True
Let c(t) = 7*t**2 - 2*t**2 - t**3 + 0*t**2 + 5*t - 32 + 38. Suppose 3*j = -0*j - 4*n - 28, 24 = -5*j - n. Does 32 divide c(j)?
False
Suppose 91*g - 4473 = 40663. Let z be (-1 + (-330)/(-2))/1. Suppose -z - g = -2*a. Is 54 a factor of a?
False
Suppose -5*w = -5, 3*z + 3*w + 564 = -216. Let i = 19 - z. Is i a multiple of 13?
False
Suppose 11*y + 3360 = 21*y. Suppose -19*q + y = -16*q. Is 4 a factor of q?
True
Let q(w) = 65 - 90*w**2 + 19*w + 48*w**2 + 45*w**2. Is 32 a factor of q(-20)?
False
Let m = -110 + 176. Suppose 0 = 4*p - 5*i - 132, -2*p - 2*i + i + m = 0. Let s = 106 - p. Is 9 a factor of s?
False
Let p = -5112 - -5932. Does 9 divide p?
False
Suppose -2 = -3*u + 4. Suppose -3*a - 9 = 0, u*h = -2*a + 6*a - 1368. Is 8/24 - h/9 a multiple of 11?
True
Let i(w) = -1 - 2*w + 35*w**2 + 21*w**2 + 4*w - w. Let k be i(1). Suppose 6*x + 4*t = 3*x + 200, x - 4*t = k. Is 8 a factor of x?
True
Let o = 50 + -110. Let m = o + 63. Suppose -2*b = -4, m*b - 33 = g - 146. Is g a multiple of 7?
True
Let t(o) = -o**3 + 7*o**2 - o - 27. Let i be t(6). Suppose -2*s + 5*s + 5*p - 1843 = 0, -i*s - 3*p = -1845. Does 28 divide s?
True
Let l(g) = 2832*g - 126. Let f be l(3). Is 2*(f/(-4))/(-5) + 3 a multiple of 12?
True
Let x = 12 - 5. Suppose -3*k = -5*c + 467, x*c - k = 11*c - 360. Is c a multiple of 13?
True
Let t(w) = -385*w - 957. Does 37 divide t(-24)?
False
Suppose -320*w + 717696 = -292*w. Is w a multiple of 35?
False
Let p be 42/(-77) + 992/44. Suppose p*d - 7*d = 360. Does 8 divide d?
True
Suppose -9*u + 10 = -107. Suppose 5*v + u + 22 = 5*q, 2*q - 9 = 3*v. Is 4 a factor of q?
True
Suppose 3*d - 17216 = 2*l, -5*d + 5*l + 28295 = -390. Is 4 a factor of d?
False
Let r(m) = -36*m + 48. Let c be r(1). Let a(n) = 37*n - 18. Is a(c) a multiple of 6?
True
Suppose 6 = -4*x + 2, 5*x = -5*t - 30. Let i be 4 + 5/((-25)/t). Suppose 0 = i*y - 230 - 45. Is 11 a factor of y?
True
Suppose -2*m = 3*d, d - 2*d - 10 = -m. Suppose 4*s = 2*g - 26, -5*s - 4 = 2*g + m. Suppose -3*f - 5*r + 1100 = 2*f, 0 = -g*r. Is f a multiple of 36?
False
Let i(h) = h**3 - 20*h**2 - 24*h + 29. Let v be i(21). Let w = 36 + v. Suppose -j = -4*d + 365, 2*d - 183 = w*j - j. Is 12 a factor of d?
False
Let m be 5 - (-6)/3*-376. Is 10 a factor of (2*m/6)/(15/(-20))?
False
Is 7 a factor of (4686/36 + 8)/(1/42)?
True
Suppose -8*m + 330 = v - 13*m, -5*v = 3*m - 1510. Let x = v + -260. Does 4 divide x?
False
Let f(q) = -16*q + 133. Let g be f(8). Suppose -g*m - 5*x = -1640, -7*m + 5*m + 660 = 4*x. Is 76 a factor of m?
False
Let u be (61/(-2))/((-1)/4). Let i = 366 - u. Suppose -52 = -8*q + i. Is 25 a factor of q?
False
Is (-32)/(512/3120)*(-268)/10 a multiple of 6?
True
Let p(w) = 114*w + 1396. Let d be p(-13). Suppose -3*q = -2*t + 399, -q + 5*q - 5*t + 532 = 0. Let h = d - q. Is h a multiple of 47?
True
Let w = -691 - -8161. Does 15 divide w?
True
Let v = -31 + 31. Suppose v = 2*r - 30 + 6. Suppose r*d - 6*d = 168. Is 14 a factor of d?
True
Let m be (0 + 3)*(-8)/(-24). Let s be 1 - 0 - (m + (1 - 4)). Suppose -s*q - 3*y + 426 = 0, q + 4*y - 136 = -0*q. Is 36 a factor of q?
True
Let j(l) = 3*l**2 - 33*l + 80. Let a be j(33). Suppose -5*f - 4*c + a = 0, -5*f + 2254 = -3*c + 5*c. Is f a multiple of 25?
True
Let n(g) = -2*g + 20. Suppose 4*u - 33 = -3*c + u, 4*c + 1 = 5*u. Let x be n(c). Let p(a) = -a + 41. Does 3 divide p(x)?
True
Is 5 a factor of (-6)/((-1131)/(-130) + -9)?
True
Let q be -9*((-3)/(-1) - -3). Let p be (q/(-45))/(6/140). Suppose -5*c + 97 = -p. Is 25 a factor of c?
True
Suppose 0 = -3*r + 8*r - 10. Suppose -4*k + x + 733 = 0, x - r*x - 5 = 0. Does 26 divide k?
True
Let j(z) = 2*z + 20. Let k be j(-10). Suppose k = 6*h - 2660 - 1072. Does 23 divide h?
False
Let z = 17304 - 583. Does 23 divide z?
True
Let v = -266 - -270. Suppose 6 = 3*o, -v*m + 258 = -4*o + 3*o. Is 8 a factor of m?
False
Let m be (-135)/(-7) - (-6 - 176/(-28)). Does 2 divide 295/(-59) + 7*m?
True
Suppose 9*s - 4*s - 235 = -3*z, 0 = 3*s + 4*z - 141. Suppose 3*b - 3*g - 6 - 18 = 0, g = 4*b - s. Is ((-5 - b)/(-3))/(1/2) a multiple of 2?
True
Let x(k) = 698*k**3 - 699*k**3 - 22 - 2*k - 3*k**2 + 20*k. Does 7 divide x(-7)?
False
Suppose -60*o + 622944 + 579175 = -468641. Is 18 a factor of o?
True
Suppose 2*j = -2*z + 1496, -222*z = -4*j - 221*z + 2962. Is 80 a factor of j?
False
Does 6 divide (1 - (-3 - 1)) + (9919 - 72)?
True
Let n(q) = -q**3 - 2*q**2 + 3*q - 3. Suppose 0 = -5*w + k + 18, 2*k + 12 = w - k. Suppose -w*f = 3*m + f + 16, 5 = -5*f. Is 4 a factor of n(m)?
False
Let g(y) = -y + 40. Let k be g(39). Is 48 a factor of (-5 + -2 - -5) + 626*k?
True
Suppose -m = -q + 5, -q + 10 = -6*q - 2*m. Suppose -v - 1600 = -0*y - 5*y, 3*y - 5*v - 960 = q. Suppose -17*g + 13*g = -y. Is 15 a factor of g?
False
Suppose s - h - 10 + 48 = 0, -2*h - 29 = s. Is ((-2)/s*7)/((-4)/(-10690)) a multiple of 29?
False
Let j = 70526 - 39039. Is 47 a factor of j?
False
Let i be (-50)/175*7/(-1). Let b(u) = 17*u**2 - 5*u - 2. Is 55 a factor of b(i)?
False
Suppose 6*s + 14*s = -19*s + 383214. Is s a multiple of 18?
False
Let z = 78 - 81. Let m be ((-6)/(-7))/(z*(-1)/(-42)). Let l(d) = -3*d - 9. Is 9 a factor of l(m)?
True
Suppose -200*f + 106*f - 28203 = -111*f. Does 10 divide f?
False
Let i = 6545 - 3054. Is i a multiple of 3?
False
Suppose -84*t - 46*t + 1450598 = 162818. Is 9 a factor of t?
False
Suppose 2411640 = -49*u + 92*u + 92*u. Does 232 divide u?
True
Let w be 1 - (4/10 - 3378/(-30)). Suppose 5*u = -0*a + 4*a + 192, -3*a - u = 125. Let p = a - w. Is 20 a factor of p?
False
Let x(s) = s**3 + 10*s**2 - 2*s + 1. Let y be x(-10). Let i = y - 19. Suppose 3*a = -w + 28, 4*w + w - i*a = 89. Is w a multiple of 8?
False
Suppose -10*v + 21378 = 3528. Is v a multiple of 35?
True
Let q = 11737 + -7994. Suppose -8*z + 11423 = q. Does 60 divide z?
