t g be (-47)/(4/6 - 1). Suppose -21*f + 289 = -1412. Let n = g - f. Is n a multiple of 20?
True
Let z(m) = m**3 - 3*m**2 + 2*m + 4. Let i be z(4). Let c = 201 - i. Is 7 + (-4)/1 + c a multiple of 11?
True
Is 89 a factor of (15/(-135))/1 - 3648/(-27)?
False
Suppose -5*w + 4*a = -38784, -5*a - 5451 = -4*w + 25569. Is 80 a factor of w?
True
Let m = -43 - -45. Let f be 1/(-4)*2*56/m. Let z = f + 39. Is 8 a factor of z?
False
Let u be 14094/13 - 24/156 - 4. Let l = u - 731. Let w = 616 - l. Does 37 divide w?
False
Let t(j) = 10*j - 19. Let h be 11/(-44) + (-29)/(-4). Suppose 6*m = 23 + h. Is 11 a factor of t(m)?
False
Let y(q) = -7*q**3 - 6*q**2 + 13*q - 272. Is 29 a factor of y(-13)?
False
Suppose 3*t + 3*n - 18092 = -4193, n + 18547 = 4*t. Is t a multiple of 8?
False
Let r = -168 + 612. Let s(i) = i**2 - 33*i - 1450. Let v be s(58). Suppose -2*k + 4*g + r = v, -k - 671 = -4*k + g. Is k a multiple of 14?
True
Let j(y) = 30*y - 101. Let c be j(14). Suppose -73 = -2*o + c. Does 7 divide o?
True
Let j = 22995 + 33113. Is 26 a factor of j?
True
Let f be (2 + -1)/(6/1074). Suppose 0 = -2*v + d + 353, 0*d = -v + 3*d + f. Is v a multiple of 51?
False
Let o be (6 - 4/1) + 1. Suppose 2*l + 38 = o*g - 2*l, 5*g - l = 35. Suppose 53 = g*k - 157. Is k a multiple of 35?
True
Let d(l) = -l**3 + 7*l**2 + 4. Let w be d(7). Let c(a) = w*a + 12 - 3*a**3 + 6*a**2 + 7*a**3 - 5*a**3. Is c(5) a multiple of 19?
True
Let q = -3705 - -4245. Is 40 a factor of q?
False
Let f(k) = -4*k - 40. Let q be f(-11). Let l(m) be the first derivative of 18*m**2 - 36*m - 60. Is 27 a factor of l(q)?
True
Suppose -10*i + 3046 = -3354. Let a = i + -350. Is a a multiple of 17?
False
Let s(z) = -51*z - 16. Let g be s(-7). Suppose 3*j - 323 = -4*u, -4*u + 3*j + g = -0*u. Is 9 a factor of 1/(-4) + (-5)/(-20) + u?
False
Let o = 8 - -3. Suppose -6*w - o + 11 = 0. Suppose w = y - 4*r - 224, -y = 5*r - r - 208. Is 24 a factor of y?
True
Suppose 0 = -969*h + 1056*h - 661809. Does 46 divide h?
False
Suppose -53*h - 166*h = 44*h - 266156. Is h a multiple of 46?
True
Suppose 7*i + 90 + 15 = 0. Let d be (22/(-5))/(31/i - -2). Suppose 4*t - 3*w = -t + d, 2*t = w + 27. Does 5 divide t?
True
Let r(j) = j**2 - j. Let o(m) = 11*m**2 + m - 2. Let d(n) = o(n) + 2*r(n). Is 12 a factor of d(2)?
True
Suppose 7*q = 72 - 9. Suppose 0 = 2*d + 3*n - 75, 3*n + 6 + q = 0. Is 5 a factor of d?
True
Let b(p) = -15*p + p**2 + 31*p - 7*p - 16. Let u be b(-11). Let l(j) = -j**3 + 8*j**2 - j + 4. Does 10 divide l(u)?
True
Let x = 1445 - 663. Suppose 235*j - x = 234*j. Is 12 a factor of j?
False
Let k = -668 + 452. Let b = -67 - k. Is 4 a factor of b?
False
Let x(r) = 11*r**2 + r + 5. Let q be x(-9). Let j = -231 + q. Is (-12)/(-21) + j/28 a multiple of 8?
True
Suppose 3*g - a = -2, 0 = 4*g - 2*a - 0*a. Let r be (g/4)/((-1)/4). Suppose r*j - u = 3*j - 94, 208 = 2*j - 3*u. Does 14 divide j?
True
Let k(q) = 11*q**2 + 44*q + 4. Let y be k(-5). Suppose 4*v - 1146 = -3*h, 4*v - y*h - 1162 = -54*h. Does 12 divide v?
True
Suppose -6*y + 5*u = -3*y - 58, -y = -u - 22. Suppose 71 = y*n - 25*n. Is 24 a factor of n?
False
Suppose -q - 8 = -7. Let b be (-30)/(-5 - -7)*q. Let y(s) = s**3 - 14*s**2 - 2*s + 4. Is y(b) a multiple of 33?
False
Suppose t = -3*r + 7333, 106*r = 5*t + 111*r - 36685. Is t a multiple of 6?
False
Let v(j) = -3*j**3 + 126*j**2 + 75. Is 10 a factor of v(38)?
False
Let a = 1252 - 847. Let k = -159 + a. Is 41 a factor of k?
True
Let d(q) be the third derivative of 0*q + 35/3*q**3 - 1/8*q**4 + 0 - 1/30*q**5 + 29*q**2. Is d(0) a multiple of 29?
False
Let m = -41 + 42. Let l be 2/m + -3*75. Let t = l + 351. Is 16 a factor of t?
True
Let w be 37 + (-6)/(-3) + 1 - 0. Let n = -36 + w. Suppose 0 = n*h - 5*f - 501, 0*h + 5*f + 620 = 5*h. Is h a multiple of 17?
True
Let c be 4/12 - 159/(-9). Let w be 80/36 + (-4)/c. Suppose -b - 7 = -w*b. Is b a multiple of 3?
False
Let o(i) = -42*i**2 - 37*i + 2. Let q be o(-4). Let w = 492 - q. Is 26 a factor of w?
True
Let c = -129 - -188. Suppose c*a - 60*a = -97. Let b = a + 203. Is b a multiple of 11?
False
Let n(r) = -95*r + 16. Let v be n(-9). Let g = v + -511. Is g a multiple of 15?
True
Let d be 3*1*60/45. Suppose -b + 0*h + 4 = -h, d*b - 9 = -3*h. Suppose 132 = -b*z + 522. Is 26 a factor of z?
True
Let m = 2535 - -345. Does 64 divide m?
True
Let f(o) = 11*o**2 + 35*o + 159. Does 39 divide f(-36)?
False
Let l = -204 - -211. Suppose -l*w + 3285 = 2*w. Is 33 a factor of w?
False
Suppose -2580*b = -2592*b + 29328. Is b a multiple of 44?
False
Let x(c) = 26*c + 54. Let y be x(-2). Suppose y*g - 7*m + 5*m - 92 = 0, -3*g + 148 = 2*m. Does 9 divide g?
False
Suppose -w - 36 = -2*l - 3*w, 5*w = -l + 6. Let h(y) = 2*y - 380*y**2 + 6 + l*y + 379*y**2. Is h(8) a multiple of 33?
False
Let z = -6097 - -14028. Is z a multiple of 11?
True
Let h(u) = -u**2 + 2*u + 1. Let q be h(0). Suppose -w = -4*j + 70, 0 = -j - w + q + 19. Does 9 divide j?
True
Suppose 2*t = 4*l + 530 - 1554, -758 = -3*l + 4*t. Suppose 0 = -23*o + 21*o - l. Let k = 26 - o. Is 15 a factor of k?
False
Let v(b) = -10*b**3 + 11*b**2 + 59*b + 192. Does 28 divide v(-8)?
True
Let x = -7544 - -37739. Is x a multiple of 165?
True
Let w be 2980/(-24) - (33/18 - 2). Let t = w + 390. Does 30 divide t?
False
Let x(v) be the first derivative of 13*v**2/2 + 1459*v - 265. Is x(0) a multiple of 65?
False
Let g = -5345 + 23078. Is 179 a factor of g?
False
Let c = -48 + 24. Suppose 0 = 42*j - 5595 + 51. Let x = j + c. Does 12 divide x?
True
Suppose 6*s - 28851 + 14862 - 33693 = 0. Is s a multiple of 13?
False
Let z = 29742 - 15124. Does 139 divide z?
False
Suppose -163*d + 80*d + 79*d = -53864. Is 96 a factor of d?
False
Let k(r) = 8*r**2 + 172*r - 2. Let m be k(-26). Let w = m + 55. Does 61 divide w?
False
Is (-117902)/(-22) - 6/33 a multiple of 27?
False
Is 28 a factor of 562 + (-6 - -10)/(-2)?
True
Let b(l) = l**2 + 13*l - 12. Let c be b(-14). Is 38 a factor of 265 + 6*c/12?
True
Let x be (8/(-3))/(6/(-162)). Suppose x = 6*n - 198. Is 5 a factor of n?
True
Let b(k) = k + 4*k**3 - 13*k**3 + 4*k**2 + 8*k**3 - 2*k**2. Let z be b(2). Does 5 divide 1*z*((-210)/(-4))/7?
True
Let g be (-112)/58 + 2/(-29). Does 26 divide 154 + (3/g)/((-9)/12)?
True
Let p be 15228/1551 + 0 + 4/22. Suppose 3905 - 16525 = -p*d. Is 19 a factor of d?
False
Let x = 57032 + -39858. Does 5 divide x?
False
Let t(k) = -19 + 4*k - 20 - 12*k + 23*k. Is 3 a factor of t(13)?
True
Let v(f) = 5*f**2 + 234*f - 93. Does 14 divide v(-71)?
True
Let i(t) = 498*t - 15851. Is i(141) a multiple of 73?
False
Suppose 3*f = 5*b - 2*f + 15, -4*b - 2*f - 24 = 0. Is (b - (-187)/3)*3 + -4 a multiple of 14?
True
Let c = 6196 - -903. Is 107 a factor of c?
False
Suppose d = -4*t + 4507, -d = 4*t + 5*t - 10132. Is 3 a factor of t?
True
Suppose -461*m = -480*m + 25916. Is 44 a factor of m?
True
Suppose 43811 = 2*y + v - 40659, 6 = 3*v. Is 14 a factor of y?
False
Let k = -3282 - -3597. Is k even?
False
Suppose 49 = 3*b + 22. Is 2 - (b - 3 - 111) a multiple of 3?
False
Let j be (1 + 12/(-28))*7. Suppose u - 228 = -3*z + 2*u, -j*u + 166 = 2*z. Suppose -z = 7*n - 742. Does 19 divide n?
True
Let c(n) = -n**2 - 2*n + 14. Let h be c(-4). Suppose -54 = -0*p + h*p. Is 15 a factor of (-30)/(p/((-198)/(-4)))?
True
Suppose 4*d - 3*v = 16521, 2*d - 9*v - 8278 = -5*v. Is d a multiple of 11?
True
Does 10 divide 2*(-2)/(-10) + (37 - 42588/(-5))?
False
Let h be ((-5)/((-60)/9))/(6/32). Does 48 divide ((-26)/h + 5)/(-1)*192?
True
Suppose -4*w - 4*r + 2 = -2*r, -1 = 3*w + 2*r. Let z(i) = 59*i**2 - 3*i + 4. Does 12 divide z(w)?
False
Let p be 4/(-3)*45/(-6)*-2. Is 3477/12 - 5/p a multiple of 10?
True
Let f(u) = -4*u**2 + 14*u - 6. Let o(v) = v**2 - v - 1. Let z(w) = f(w) + 2*o(w). Let x be z(4). Suppose -6*p - 104 = -x*p. Does 26 divide p?
True
Suppose 0 = 2*r - 4*q - 20, -2*r + 1 + 4 = q. Suppose -5*v = p + 14, 4*p - r*v + 5*v - 20 = 0. Suppose -247 = -p*z - 7. Is 8 a factor of z?
True
Does 49 divide 3*40/480 + 85047/4?
False
Let o = -52 + 89. Let u = o - -40. Is 7 a factor of (-14 + 0)/((-22)/u)?
True
Suppose 76*h - 64462 - 41938 = 0. Is 28 a factor of h?
True
Let b(g) = -162*g + 110. Is 15 a factor of b(-27)?
False
Is (-4 - 2348/(-12)) + ((-156)/13)/(-36) a multiple of 8?
True
Suppose -21 = 36*f - 39*f. Suppose 10800 =