es 25 divide q?
True
Let i = -8916 + 34632. Does 153 divide i?
False
Let t = 23 + -44. Let r = 23 + t. Suppose -8*i + 468 = -r*i. Is i a multiple of 26?
True
Let d = 6375 + -3413. Suppose 0 = 42*g - 27532 + d. Is 45 a factor of g?
True
Let h = 62 - 40. Suppose -249 = -h*n + 19*n. Is 13 a factor of (-1 - 1) + n + 0?
False
Let d(b) = b + 21. Let v = 43 - 25. Suppose -v = 4*l - 4*f + 22, 2*f - 28 = 3*l. Is 9 a factor of d(l)?
False
Is (75 - 38) + 12387 + (1 - 1) a multiple of 28?
False
Let r(z) = -4*z + 1245. Is r(-71) a multiple of 10?
False
Let d(r) = -r**3 - 4*r**2 + 5*r + 2. Let i(l) = -l**3 - 6*l**2 - 5*l - 5. Let f be i(-5). Let z be d(f). Suppose 0 = -7*u + z*u + 125. Is u a multiple of 21?
False
Does 75 divide ((-117)/27*3 + 12)*(-10303 - -1)?
False
Suppose r + 42 = -5*m, -2*r = -2*m - 7*r - 26. Is 14 a factor of m/28 - (17820/(-28))/5?
False
Is 101 a factor of ((-413)/84*-4*-202)/((-4)/6)?
True
Let o(c) = -98*c - 54. Let j be o(-4). Suppose -3*f - 2*u + j = f, 0 = f + u - 84. Does 17 divide f?
True
Let o be 4/16*6 - (-1710)/4. Let t = o - 201. Does 32 divide t?
False
Let a be 1 + 12/(-9) - 42/(-18). Let h(c) = -13*c**2 - 7*c**a + 12 + 36*c**2 - 10*c**2 + 6*c. Is h(-4) a multiple of 21?
True
Suppose n = -0*n + 3. Suppose -5*m - 635 = -4*f, n*f - 133 = -3*m + 350. Is f a multiple of 8?
True
Suppose 5*i - 59560 = -5*d, -i - 15*d = -12*d - 11902. Does 19 divide i?
False
Is (3154 + 0 + 0)/(110/495) a multiple of 34?
False
Let g(a) = 24*a**2 - 66*a + 10. Let k be g(5). Let w = k - 72. Does 16 divide w?
True
Let c be 2/4 + 99/66. Suppose 4*s + 5 = 1, -c*h = 2*s - 222. Does 24 divide h?
False
Suppose -57 = -k + 2*k + 4*w, 5*w - 114 = 2*k. Let m = -53 - k. Suppose 351 = m*v - 57. Does 17 divide v?
True
Let l be ((-2)/4)/((-87)/(-18) + -5). Suppose l*k = 6*k + 6. Does 11 divide 1568/20 + -1 + k/5?
True
Let j = -5384 - -12146. Does 49 divide j?
True
Suppose 2*q - 2*k = -162, 3*q - 4*q - 79 = -2*k. Let r = -50 - q. Is (r/(-2) + -4)*-4 a multiple of 9?
False
Suppose 1348*h = 1371*h - 317400. Is 96 a factor of h?
False
Let j be ((-2)/11)/(3/(-33)). Let a = -4 + j. Is 19 a factor of a/((-32)/76)*16?
True
Let s(y) = 4*y**3 - 6*y**2 + 11*y + 10. Let u(a) = 3*a**3 - 6*a**2 + 11*a + 10. Let b(c) = 4*s(c) - 5*u(c). Is 57 a factor of b(-5)?
False
Suppose -4*c + 748 = -2*c. Let v = c + -227. Does 49 divide v?
True
Let w = 68 + -55. Let m = 23 - w. Suppose 0 = m*x + 304 - 1304. Is 15 a factor of x?
False
Let a(t) = t**3 + 2*t**2 - 9*t - 6. Let o be a(-5). Let j be 8/o + 398/9. Suppose 0 = 5*d + 15, -g + 3*d + j = -d. Is 32 a factor of g?
True
Let q(y) = 7*y**3 - 37*y**2 + 65*y - 11. Let s(o) = 4*o**3 - 19*o**2 + 33*o - 6. Let m(c) = -3*q(c) + 5*s(c). Is 12 a factor of m(5)?
False
Let s be (2*4/(-16))/((-2)/4). Does 12 divide 20/(s/(-9)*60/(-200))?
True
Is (-10 - -14)*(-7)/(-56)*158 a multiple of 51?
False
Let q(a) = -39*a + 1914. Does 12 divide q(22)?
True
Let b(r) = -r**3 - 1600*r**2 + 4 - 3*r + 4*r + 1593*r**2. Suppose 5*w + 5*h = w - 52, 4*w + 28 = h. Does 15 divide b(w)?
True
Let j = 3482 + 2125. Is j a multiple of 33?
False
Let j be ((-98)/(-4) - 3)*6. Let l = -125 + j. Suppose -189 = l*z - 909. Is 10 a factor of z?
True
Suppose 0 = 4*u + 260*s - 257*s - 6812, -5*s - 3380 = -2*u. Does 5 divide u?
True
Let x = -620 - -1339. Is 24 a factor of x?
False
Let i = -282 + 285. Suppose -3*x - i*x = -648. Is 36 a factor of x?
True
Suppose -280 = 14*c - 15*c - 5*l, -1304 = -5*c - l. Does 4 divide c?
True
Suppose 37*a + 5*a = 8442. Suppose d - k = 183, d + 7*k - a = 2*k. Is 6 a factor of d?
True
Let v = -701 + -16. Let s(w) = -7*w - 102. Let c be s(-14). Does 5 divide 3/12 + c/48*v?
True
Let r(f) = 54*f**2 + 27*f + 86. Does 36 divide r(-6)?
False
Suppose 0*w + 17 = w. Let s(t) = w + 10*t + 20 - 47 + 18 - t**2. Does 7 divide s(5)?
False
Suppose -15*y = -10*y. Let f(s) = -12*s + 4. Let b be f(y). Suppose b*h = -i + 163, 0 = -3*i + 5*h + 228 + 329. Does 24 divide i?
False
Let y(i) = 49*i + 2058. Is y(-32) a multiple of 7?
True
Let n be ((-3)/2)/((78/(-16))/13). Is n*3*(1660/30 - -2) a multiple of 17?
False
Let o be 1187 + ((-27)/(-36) - 20/(-16)). Let l = o - 469. Is l a multiple of 107?
False
Suppose -6*h + 132 = 2*i - h, 3*i - 198 = h. Suppose -g + i = g. Suppose 5*o - 10 = 0, 2*n - 1 - g = 3*o. Does 7 divide n?
False
Suppose -j - 3 = -2*i, 12 = i - 5*j - 3. Let c be (i + (-2)/3)/(11/(-198)). Is 17 a factor of 409*2/6 - (-8)/c?
False
Let w(v) = -2*v**3 - 2*v**2 - v + 15. Let a be w(4). Let l = a - -154. Is l a multiple of 2?
False
Suppose v - 2*v = -7. Let d = v - 5. Suppose d = -6*k + 20. Is k even?
False
Let q(d) = 3323*d**3 + 12*d - 11. Is 9 a factor of q(1)?
False
Is (2/(-48) - 1077/72)*1336/(-6) a multiple of 41?
False
Let s be 14/21 + 41/(-3). Let f = s - -3. Is 88/6*(-15)/f a multiple of 10?
False
Let i(n) = -n**3 - 7*n**2 + 2*n + 5. Let y be i(-9). Let j = y + -109. Is j a multiple of 8?
True
Suppose 30845 = 27*q - 38275. Is q a multiple of 10?
True
Let l = 115 + -24. Let f = 15 + l. Is f a multiple of 30?
False
Does 17 divide (-1)/((-5)/9304)*(-718 + 728)?
False
Let c = -115 + 104. Let q(w) = -13*w + 53. Is q(c) a multiple of 14?
True
Let h(s) = 5358*s**2 + 2*s + 1. Does 11 divide h(-1)?
True
Let w(x) = 39*x**3 - 4*x**2 + 3*x - 1. Let g = 63 - 199. Let b = g - -138. Is 24 a factor of w(b)?
False
Suppose -147*r = -68*r - 59*r - 170320. Does 121 divide r?
False
Suppose -k + 1156 = -4*x, -2*x = -3*k + 1568 + 1890. Suppose -l + k = 8*l. Is l a multiple of 64?
True
Is 47 a factor of (-50772)/(-60) - (-12)/(-60)?
True
Let l(u) = u**3 - 8*u**2 - 14*u - 7. Let b(x) = x**2 - 19*x - 10. Let d be b(20). Let h be l(d). Let y = h - 11. Is y a multiple of 14?
True
Let s be 115/2 + (-31)/62. Suppose s*q = 64*q - 1890. Does 13 divide q?
False
Does 10 divide 2 + 3191 + -3 + 96/12?
False
Let x be (-42)/(-21) - (-3 + 2)*44. Let a = x - -58. Does 15 divide a?
False
Suppose 908 = 3*k - n, 0 = -5*k - 4*n + 698 + 787. Is k a multiple of 5?
False
Suppose 64*v = 71*v - 112. Is 28/v*(0 - -20) - 2 a multiple of 2?
False
Let x = 948 - 76. Suppose 4*q = -4*t + x, 3*t + 5*q - 886 = -226. Is 30 a factor of t?
False
Let c(x) = -8*x + 31*x - 97*x**2 + 13 + 98*x**2. Let u be c(-6). Let a = u - -344. Does 15 divide a?
True
Let s = -59 + 65. Let n(f) = -s - 2 - 10 - 24*f. Is n(-5) a multiple of 51?
True
Let s be (-24)/(-18)*6/16*4. Suppose -v + 3*v = 2*j - 74, s*j - 76 = 4*v. Is 12 a factor of j?
True
Let v be 0 + -3 + 0/(-6 - -1). Is 7 a factor of v/((-18)/2350) - (-2)/6?
True
Suppose 926*t - 1067*t = -3194637. Does 139 divide t?
True
Suppose -976*o = 4*r - 974*o - 11460, -4*o + 8610 = 3*r. Is r a multiple of 40?
False
Let l(n) = n**3 - 165*n**2 - 150*n + 1729. Is l(167) a multiple of 12?
False
Let f(h) = -394*h + 21. Let v be f(-2). Let l = v - 266. Is l a multiple of 54?
False
Let r(d) = 447*d**2 + 268*d - 2853. Is 6 a factor of r(10)?
False
Suppose 2*n - 5 = -1, 2*x + 6*n = 1238. Is 10 a factor of -4 + x/1 - -2?
False
Let n be 6/(5 - 4) - (-4)/2. Let i(k) = 38*k + 87. Is i(n) a multiple of 53?
False
Suppose 3 = 8*i - 29. Suppose o - 4*o - 5*m = -29, i*m = 3*o - 20. Suppose 86 = 4*t + 2*a, 4*t = o*t - 5*a - 79. Is 8 a factor of t?
False
Let x(w) = 42*w**2 + w + 7. Let q be x(7). Suppose -8*o + o = -q. Suppose -3*l = -o - 97. Does 34 divide l?
False
Is ((-680)/6)/(4*(-13)/780) a multiple of 50?
True
Let k(o) = 159*o - 268. Does 66 divide k(15)?
False
Let j(t) = 593*t - 2903. Does 9 divide j(16)?
False
Suppose 143472 = 12*q + 14196. Is 57 a factor of q?
True
Let n(i) = -3*i**2 + 13*i - 16. Let j be n(4). Is (j + 23 + -26)*(-58)/6 a multiple of 5?
True
Suppose 4137 = d + z, 2*d = 30*z - 33*z + 8269. Does 29 divide d?
False
Suppose 33*a - 36*a + 6 = 0. Suppose -3*o + a*z + 942 = 0, 2*o - 303 = o - 3*z. Suppose -7*m + 15*m - o = 0. Does 13 divide m?
True
Let j = -203 + 205. Suppose 0 = -3*b - 15, -131 = -j*g - g - 2*b. Is 3 a factor of g?
False
Let d = -2352 - -4782. Does 54 divide d?
True
Let r(a) = -9*a + 928. Does 34 divide r(-14)?
True
Does 9 divide ((900/(-15))/(-5))/((-4)/(-210))?
True
Let h be ((-21)/63)/(1/(-216)). Let s(i) = 9*i**2 - i - 1. Let z be s(-1). Suppose -z*d = -7*d - h. Is 20 a factor of d?
False
Let k(l) = -l**3 - 35*l**2 + 23*l + 143. Let g be k(-36). Suppose -6 = -f - 