)*(-3882)/4. Let f = s + -543. Is 8 a factor of f?
True
Let z = 833 - -555. Is z a multiple of 50?
False
Suppose -15*q - 23 = -113. Let u(f) = -218*f - q*f - 66*f - 5*f + 5. Does 60 divide u(-1)?
True
Let r = -10417 - -53725. Is 16 a factor of r?
False
Is -2*2/(24/78885)*30/(-75) a multiple of 24?
False
Let w(s) = 3157*s + 3895. Does 205 divide w(5)?
True
Let m(x) = 11*x - 19. Let c = 54 + -49. Let u be m(c). Suppose 0 = t + 3*z - 54, 5*t + u - 241 = -2*z. Is 12 a factor of t?
False
Let d(l) = -1018*l + 32. Is 15 a factor of d(-1)?
True
Let t(l) be the first derivative of -l**3/3 + 9*l**2 - l + 534. Suppose 5*b - 47 = -2. Is 9 a factor of t(b)?
False
Let c = -31 + 37. Does 17 divide ((-3672)/(-135))/(c/75)?
True
Suppose 163 = 6*f - 173. Is 8 a factor of (-8)/(f/(-1127)) + 1?
False
Let d(q) = q**3 - 37*q**2 + 79*q + 11. Let b be d(35). Suppose 25*l = 1001 - b. Is 2 a factor of l?
False
Let h = 269 + -270. Is (6 - (h + -930)) + -6 a multiple of 29?
False
Let i(h) = -6*h**3 - 2*h**2 - h. Let w be i(-1). Let z = 23 + w. Suppose z*k = 23*k + 525. Does 27 divide k?
False
Let s = -2 + 0. Let t be s*((-438)/4 + -3). Does 15 divide -2*(0 + t/(-6))?
True
Let n = -90 + 62. Let q be (-2 + -1)/1 + n. Let k = 39 + q. Is 3 a factor of k?
False
Suppose 0 = -2*a + 4*q - 62, 0*a = 2*a - q + 74. Let v = a + 42. Suppose 2*x + 67 = v*l - 2*x, x + 111 = 4*l. Is 5 a factor of l?
False
Suppose 0 = -0*c + 21*c - 168. Suppose -c*l + 2*l = -2430. Is 15 a factor of l?
True
Let d be -226*(-1)/8 - 12/48. Suppose d*f = a + 27*f - 366, -5*a + 3*f + 1824 = 0. Is 33 a factor of a?
True
Let n = 2088 - 1341. Is 20 a factor of n?
False
Suppose -u = -3, 2*f + 5*u - 475 = 3832. Let g be f/(-14) + 2*3/21. Is (g/2)/((-12)/(-32)*-1) a multiple of 34?
True
Suppose 0 = q + 5*q - 30. Suppose 0 = 2*s - h - 377, -q*h = -4*s + 110 + 641. Does 27 divide s?
True
Let x(p) = 37*p**2 - 11*p - 10. Suppose -2*v - 2*d = 8, 3*v + 0*v + 4*d + 11 = 0. Is 42 a factor of x(v)?
False
Let u = -488 - -306. Let d(x) = -82*x - 5514. Let v be d(-71). Let c = v + u. Is c a multiple of 24?
False
Let y = 12 + 1. Let v(n) = -5*n + 22. Let b(s) = 16*s - 65. Let k(r) = 6*b(r) + 17*v(r). Does 27 divide k(y)?
False
Let d(m) = 4190*m - 2518. Is 14 a factor of d(2)?
False
Let m(y) = 2*y**2 + 4*y - 18. Suppose -2*v + 82 = -2*h, -33 + 13 = 4*h. Let i be (-6)/(-27) - (368/v - 4). Is 6 a factor of m(i)?
True
Suppose -10344 = 11*h - 335900. Does 14 divide h?
True
Let o(d) be the second derivative of 9*d**3/2 - 128*d**2 + 8*d - 1. Is 8 a factor of o(32)?
True
Let m be -10 - -16 - (-15 - 1). Let o be (-2040)/(-25) + (-4)/(-10). Let v = o + m. Is 26 a factor of v?
True
Suppose -3198 = -3*u + 15*z - 12*z, 2*u - 2104 = -5*z. Does 141 divide u?
False
Let c(x) = -6 + 5 + x + 4*x**2 + 2*x**2 - 10*x**3 - 5 + 0. Is c(-3) a multiple of 18?
False
Let q = -20 - -49. Let w = -138 + 138. Suppose -2*o + 43 + q = w. Is 12 a factor of o?
True
Let w = -12128 + 13428. Does 26 divide w?
True
Suppose -6147 = -3*r - 4*u, 4*u + 0*u + 8168 = 4*r. Suppose 0 = -4*n - a + r - 323, -5*a + 440 = n. Is n a multiple of 43?
True
Let j(r) = 17*r**2 - 3*r + 1. Let c(y) = -7*y - 52. Let v be c(-8). Let p(a) = 18*a**2 - 4*a. Let l(b) = v*p(b) - 3*j(b). Is 13 a factor of l(-2)?
False
Let m(y) = 2*y + 32. Let i(d) = 10 - 27*d - 2*d**3 + 2 - 8*d**2 + 25*d**2 + 13*d**2. Let f be i(14). Is 8 a factor of m(f)?
False
Suppose 0 = 105*m - 8*m - 1242861. Is m a multiple of 31?
False
Is (29/(174/(-6944)))/(2 + 39/(-18)) a multiple of 20?
False
Let q(t) = -9*t. Let a be q(-1). Suppose a*l = 5*l + x + 35, 5*x = 4*l - 15. Is l a multiple of 10?
True
Suppose -15 = 4*y - 9*y, 519 = 3*x - 4*y. Let n = 156 + x. Is 37 a factor of n?
True
Let y(u) = u**2 - 17*u - 18. Let p be y(17). Let n be 4*(p/4)/(-9). Suppose -n*g + 8 = 0, -4*v = -3*g - 11 - 73. Does 4 divide v?
True
Let d(g) be the third derivative of -g**6/120 + 7*g**5/20 - 2*g**3/3 + 56*g**2. Does 36 divide d(20)?
True
Suppose 4*l - 2831 = -5*t, 5*l = 72*t - 68*t + 3590. Does 51 divide l?
True
Suppose 3*i - 25 = -t, 0 = 3*i + 8*t - 5*t - 21. Suppose 5*g = -i*g + 1120. Is g a multiple of 2?
True
Let j(y) = 7*y. Suppose -2*r = -3*m - 15, -3*m - r - 6 = -0*m. Let s be j(m). Let p = 51 - s. Is p a multiple of 9?
True
Let t(w) = 7*w - 3. Let u be t(-4). Let h = u + 51. Let q = 123 - h. Is q a multiple of 28?
False
Suppose 3*l = -6, -4*l - 822 = -5*o + 6911. Is 3 a factor of o?
True
Suppose 2*k = 628 - 1606. Let d = 97 + k. Is 4/10 + (d/(-20) - -4) a multiple of 12?
True
Suppose -7052 = 13970*n - 13973*n + 13567. Does 93 divide n?
False
Let r be (-90)/(-54) + (-3)/(-9). Does 3 divide (-3 - (r - 2)) + 103 + -31?
True
Let g(y) = -2*y**3 + 45*y**2 + 3*y + 31. Let m be g(23). Let v = m + 733. Is v a multiple of 19?
True
Let z = -2229 - -2303. Let q = 96 + -135. Let y = q + z. Does 12 divide y?
False
Suppose 2*a - 245 = -3*j + 226, -2*j - a + 314 = 0. Does 25 divide j?
False
Let d = -472 + 778. Does 41 divide 5 + (d/7 - (-22)/77)?
False
Does 27 divide ((-813043)/28)/(-11) - (-75)/60?
False
Let b be (2/7)/((-5)/35). Does 18 divide (-8 - -6)*221/b?
False
Let u(f) = 2*f**2 + f + 1. Let y be u(6). Suppose g - 258 - y = 0. Let b = -157 + g. Is 30 a factor of b?
True
Suppose -6*q + 1821 + 13899 = 0. Does 80 divide q?
False
Let d(a) = 33*a - 4*a**3 - 60*a + 5*a**3 + 6 - 34 + 20*a**2. Suppose -3*g + 8*g - 42 = 2*k, -3*g = 0. Is 14 a factor of d(k)?
True
Let v(a) = -3*a**2 - 6*a + 12. Let o be v(-6). Is 1*-3*1400/o a multiple of 14?
True
Let s = -11287 + 25678. Is s a multiple of 123?
True
Let p = 63 - 61. Suppose 5*m = -n + 359, 0 = -p*m + n + 34 + 111. Let b = m - -75. Does 21 divide b?
True
Suppose -545 - 1751 = -8*d. Suppose -5*x - 3*p + 493 = 0, -2*x = -5*x - 4*p + d. Let s = x + -61. Does 8 divide s?
True
Suppose 4*l + 2*d = 53038, 49061 = 3*l + d + 9281. Is 149 a factor of l?
True
Suppose 0 = -7*z - 889 - 2261. Let p = -182 - z. Suppose 0 = -4*j - 44 + p. Does 28 divide j?
True
Suppose 0 = o - 4*k - 21730, 6952 + 80010 = 4*o - 2*k. Is 14 a factor of o?
True
Let u(m) = m**3 + 17*m**2 - m - 20. Let p be u(-17). Let i be 4 + p - 1 - 2/(-2). Let g(n) = 81*n**2 - 1. Is 10 a factor of g(i)?
True
Suppose -8*w + 1460 + 1612 = 0. Is 7 a factor of w?
False
Let n(l) = -5*l - 1. Let v be n(-1). Let a be (-4)/((-2 + v)*1). Is a/((-2)/(75/3 + -2)) a multiple of 4?
False
Let h be (1869/(-445))/(1*1/(-5)). Let b be 12/(-5)*(-14)/h*50. Suppose -29*d = -25*d - b. Does 20 divide d?
True
Let x(d) = 260*d**2 - 851*d + 64. Is 104 a factor of x(9)?
False
Does 25 divide ((-8)/((-64)/(-12)))/((-5)/(-10)) + 9098?
False
Let m = 2309 - -6155. Does 13 divide m?
False
Let g(w) = -2*w**2 + 13*w - 14. Let c be g(4). Suppose -c*x + 244 = 52. Does 9 divide x?
False
Suppose 165698 = 5*n - 2*u, 67910 + 31520 = 3*n - 4*u. Is 263 a factor of n?
True
Let f(l) = -4*l**2 + 3 + 6977*l**3 - 13962*l**3 + 6982*l**3 + 2*l. Suppose 4*v - 6 = 2*i, -v - 11 = 3*i - 2. Is f(i) a multiple of 6?
True
Let q = 6982 + -2554. Is q a multiple of 82?
True
Let u = 225 + -222. Suppose u*j - 908 = -w - 191, -j - 4*w + 228 = 0. Is j a multiple of 16?
True
Let y(v) = 46*v**2 - 54*v - 327. Is y(-5) a multiple of 5?
False
Let z be (1380/(-35))/2 + 2/(-7). Is 3/(16/z + (-89)/(-105)) a multiple of 25?
False
Suppose 0 = 5*q + 5*t - 79060, 16*q - 12*q - t - 63288 = 0. Is 226 a factor of q?
True
Suppose 3*z = 1912 + 857. Suppose -5*o + g - z = 0, 0 = 2*o - 3*o + g - 183. Let c = o + 259. Does 22 divide c?
False
Let w(o) = o**3 + 27*o**2 + 17*o. Let p be w(-24). Suppose p = -22*l + 28*l. Is l a multiple of 10?
True
Let m be (40/24)/5*-6. Is 0 + 686 + m + 0 a multiple of 36?
True
Let k = -2898 + 5474. Does 46 divide k?
True
Is 16 a factor of 2*((-22940)/(-40) + 13)?
False
Suppose -8159*v + 8173*v = 107478. Does 162 divide v?
False
Suppose -298623 = -35*b + 146682. Is 18 a factor of b?
False
Let v = -316 + 323. Is (154/5)/(v/35) a multiple of 16?
False
Suppose 12*h + 9 = 15*h. Suppose -b - 512 = -r + 119, 4*r - h*b = 2525. Is r a multiple of 23?
False
Let c(u) = -22*u + 110. Let p be c(5). Suppose -4*o + o + 5*z + 1087 = p, -3*o - 3*z = -1047. Is 59 a factor of o?
True
Let y = -517 + 9337. Suppose 0 = 62*p + y - 47012. Is p a multiple of 22?
True
Let v be (-9)/(9/(-2)) + (-2 - 0). Let a(m) = -m**3 - m**