= -5*u, -2*u + 8*y - 8 = 6*y. Is 17 a factor of b(u)?
False
Is 4 a factor of 5 + (-3 - -21) + 6 + -1?
True
Let c(z) = -3*z + 23. Suppose 24 = -5*u + 8*u. Let x be c(u). Does 13 divide 1808/48 + x/(-3)?
False
Let o(c) = 9*c**2 + 4*c + 9. Let d be 2*(-4 + 3) + 6/(-2). Does 6 divide o(d)?
False
Suppose -94*l + 54*l + 89920 = 0. Does 4 divide l?
True
Let o = 16997 - 6371. Does 253 divide o?
True
Suppose a + 114 - 534 = 0. Suppose -55*c = -50*c - a. Is c a multiple of 12?
True
Let w = -92 - -96. Suppose 5*u + 340 = w*c, -2*c + 3*u + 0*u = -172. Does 3 divide c?
False
Suppose 972*a = 975*a - y - 10783, -4*a + 14384 = -3*y. Is 2 a factor of a?
False
Let n(d) = 96*d**2 - 5*d + 4. Let j(o) = -4*o + 1. Let p(x) = 3*x - 2. Let l(i) = 5*j(i) + 6*p(i). Let b be l(-4). Is n(b) a multiple of 11?
False
Let a = 612 + -618. Let o(f) = 43*f**2 + 70*f + 12. Is 12 a factor of o(a)?
True
Let p = -7 + -98. Is 18 a factor of (-4)/3 - 29225/p?
False
Let y = -1165 + 1878. Let g = -101 + y. Does 34 divide g?
True
Let k(m) = 24*m - 1878. Is k(123) a multiple of 6?
True
Suppose 7*y + 698 = -2. Suppose b = 4*h + 5*b + 248, h = 4*b - 72. Let r = h - y. Is 16 a factor of r?
False
Let y(l) = -l + 20. Let p be y(14). Does 13 divide 3*4/p*13?
True
Suppose 46*w = 127*w - 17820. Is 34 a factor of w?
False
Let n be 0/(2*(5 - 11/2)). Is (n + 2)/((-10)/39)*-5 a multiple of 28?
False
Let c be 222/(-27) - 12/(-54). Let d be 3/4*c/(-6). Let z(t) = 24*t. Does 8 divide z(d)?
True
Is 147 a factor of (-16047)/(-2) + 144/(-32) + 6?
False
Let c = -545 - -1715. Does 130 divide c?
True
Let g(f) = f**3 + 10*f**2 - 9*f + 29. Let n be g(-11). Let q(v) = v - 5. Let u be q(n). Suppose -5*t = -u*t - 108. Is 6 a factor of t?
True
Let q = 114 - 105. Let z(c) = 2*c - 13. Let i be z(q). Is 8 a factor of 44/(-16)*-4 + i?
True
Let w(r) = 18*r**3 + 5*r**2 - 4*r + 131. Is 5 a factor of w(9)?
False
Let j be 3046/10 - 22/(-55). Let d = 115 + j. Suppose 0 = -3*p - 3*y + 121 + 158, 5*p - 4*y - d = 0. Is 28 a factor of p?
False
Let u(c) = -c**3 - c**2 + 2*c + 5. Let d be u(-2). Suppose -x + 6*h = d*h - 261, h = -x + 259. Does 33 divide x?
False
Suppose -9*c + 12100 = 2054 - 16360. Is c a multiple of 4?
False
Is (-36)/42 + 390705/147 a multiple of 15?
False
Let n = 37 + 183. Suppose 0 = -p - 3*p + n. Suppose 0*s - 3*x + 10 = s, 0 = -3*s - 4*x + p. Does 5 divide s?
True
Let h(c) = c**3 + 11*c**2 - 2*c - 4. Let m be h(-11). Let g = 12 - m. Let w = 25 + g. Does 19 divide w?
True
Does 83 divide 3518700/47 - (-50)/1175?
True
Suppose z = -4 - 121. Let w = z + 128. Is w a multiple of 2?
False
Let l(w) = -w**2 + 9*w - 13. Let t = 44 + -39. Let x be l(t). Let f(k) = k**3 - 7*k**2 + 11*k - 9. Does 34 divide f(x)?
True
Suppose -329*x = -2*v - 325*x + 88106, -2*x = 16. Is 9 a factor of v?
True
Let k(v) = -614*v - 826. Is k(-15) a multiple of 64?
True
Is (-4)/(-32)*54/9*136 a multiple of 26?
False
Suppose 12*t - 44 = 16. Let q = 24 - t. Is q a multiple of 2?
False
Suppose 17*s = 12 + 56. Suppose -20*t + s*w = -19*t - 75, 0 = 2*t - 2*w - 132. Does 5 divide t?
False
Let l(h) = -h**3 - 2*h - 9. Let t be l(-4). Let r be t*1/3*93. Suppose -r = -9*f - 522. Is 17 a factor of f?
False
Suppose 4*h + 9*l - 5282 = 10*l, 5*h = 4*l + 6608. Does 40 divide h?
True
Let q(v) = -v**2 + v + 1. Let l(n) = 6*n**2 - n + 4. Let s(w) = -l(w) - 5*q(w). Let m be s(-5). Let z = m + 34. Is 4 a factor of z?
True
Let r(m) = 153*m**2 + 288*m + 2208. Does 96 divide r(-8)?
True
Let h be 6 + -5 - (4 + 0) - -17. Does 56 divide 25092/14 - (46/h - 3)?
True
Suppose 46*x - 25586 = 107998. Is 3 a factor of x?
True
Let z(h) = -1 - h**2 + 0*h + 11*h - 4*h + 4. Let l be z(7). Suppose -w + 36 = l*w. Is w a multiple of 7?
False
Suppose 0 = 16*v - 538 - 17910. Is v a multiple of 3?
False
Suppose 8*q + 14 = -42. Let j be (-101 + q)*(-3)/6. Let g = 17 + j. Is g a multiple of 22?
False
Let z(k) = 723*k + 984. Is z(18) a multiple of 27?
False
Suppose 39*d = -283*d + 244398. Is d even?
False
Let j(u) = -191*u + 4834. Is j(-80) a multiple of 178?
True
Suppose -2*m + 1 = 5*j, 3*m + j = -0*m - 5. Let o be (1 + 21/(-12))*584/m. Suppose 5*r = -f - 2*f + o, 4*f = -r + 54. Does 14 divide r?
True
Let i(a) = -6*a - 25 - 5*a**2 + 7*a**2 - 55. Does 3 divide i(-8)?
True
Suppose -3*t + 17454 = 1470. Is t a multiple of 148?
True
Let w be (-1)/(-4) + (6 - 488/32). Is (w + -6)*(-1 - (-2)/5) a multiple of 3?
True
Does 71 divide 1 - -5 - (-17858 - 101) - 2?
True
Is 26 a factor of (4/(-1) - -2) + 43145/(-10)*-2?
False
Let y = 25 + -11. Let o(j) be the second derivative of j**3/2 + 30*j**2 + 425*j. Is 34 a factor of o(y)?
True
Suppose -w = w - 4. Suppose -b + w*p + 8 = -0*b, -2*p + 20 = b. Is (48/(-21) - -4)*b a multiple of 8?
True
Let u = 1936 + -1153. Suppose -13 = 7*g - u. Is 10 a factor of g?
True
Is 36 a factor of -1 + 3333 + (184 - 187)?
False
Suppose 0 = -3*o + 18, 4*o + 49591 = 348*g - 343*g. Is 79 a factor of g?
False
Suppose 5*n - 17*l = -19*l + 2394, -n - 4*l = -450. Does 51 divide n?
False
Let c(o) = 31*o + 40. Let t(j) = 30*j + 40. Let p(i) = 5*c(i) - 6*t(i). Suppose 0 = 3*s - 6 + 24. Does 10 divide p(s)?
True
Let j(w) be the first derivative of 4*w**3 + 5*w - 1/4*w**4 + 15 - 5*w**2. Does 8 divide j(11)?
True
Suppose q + q - 146216 = -26*q. Is q a multiple of 55?
False
Suppose -80*y = -83*y + 15. Let u(r) = 29*r + 6*r**2 + 15*r - 37*r + y. Is u(-5) a multiple of 12?
True
Let a = -34729 + 65485. Does 139 divide a?
False
Let i(k) = k**2 - 7*k + 1. Let j(v) = v**3 + 4*v**2 + 2*v - 1. Let r be j(-3). Suppose -f + 2*f + 26 = r*z, -12 = 3*f. Is 12 a factor of i(z)?
False
Let b be 40 - (1 - 4 - -1). Suppose 46*h = b*h. Is ((-9)/12 + h)/((-5)/280) a multiple of 20?
False
Let p = 3971 + -155. Is 106 a factor of p?
True
Let u be 7 - 16 - 4/1. Let q = u + -30. Let d = 26 - q. Does 16 divide d?
False
Let r be (-1 - 244/20)/((-4)/10). Let l = r + 150. Is l a multiple of 9?
False
Suppose 0 = 2*y + 3*t - 295, 0 = -2*y - 0*y + 3*t + 277. Let k = 384 - y. Is 33 a factor of k?
False
Let g = 28719 + -22059. Is g a multiple of 9?
True
Let o = 432 + -230. Suppose -2*h - 88 = o. Does 12 divide (-3)/9 - -2*h/(-6)?
True
Let f be (-4 + 5)/((-1)/(-5)). Let g be -109*2*(-16)/32. Suppose 2*h = -o + g, -4*h = -3*h + f*o - 77. Does 13 divide h?
True
Let r = 130 - 24. Suppose -r*q = -100*q - 2400. Is 8 a factor of q?
True
Let k(j) = -5 + 4*j**2 + 48*j + 13*j**2 + 0*j**2 - 7*j**2 + 11*j**2. Is 86 a factor of k(-7)?
True
Is 12 a factor of -5 + 5 - (8*-118 + 8)?
True
Let y = 80 + -75. Suppose -y*k = k + 12. Is -4 - 300/(k - 2) a multiple of 5?
False
Let u = -1 - -41. Suppose 14 = 3*r - u. Suppose 0*s = -3*s + r. Is 3 a factor of s?
True
Suppose 4*a + 5*n = 188, -3*n + n = 2*a - 92. Let x be (-6)/4 + a/12. Suppose 5*v - 181 = -4*w + 3*w, 0 = x*v + 4*w - 58. Is 9 a factor of v?
False
Let l = 54268 - 30332. Is 187 a factor of l?
True
Let r(n) = 11*n**3 - 2*n**2 + n + 2. Let m = -38 - -35. Let i be (0 + -2*(m + 2))/1. Is r(i) a multiple of 19?
False
Let x(j) = j**3 + 2*j**2 - 10*j - 2. Suppose v - 4 = 1. Does 25 divide x(v)?
False
Let a(z) = -2*z - 1. Suppose -5*o - 7 = 3. Let i be a(o). Suppose 532 = 4*v + 5*h, -h + 388 = i*v - 0*h. Is 16 a factor of v?
True
Suppose -2*c = -3*c + 53. Suppose -2*a + c = n - 228, -3*a + 3*n + 444 = 0. Is 5 a factor of a?
False
Suppose 151*x - 1548374 = 2356486. Is 15 a factor of x?
True
Let h = -5074 + 33402. Does 24 divide h?
False
Does 6 divide 11 + -5 + 6 + 3418?
False
Suppose -72010 = -12*y + 9890. Does 75 divide y?
True
Let m be 39/(-273) + 4090/14. Let u = 734 + m. Is 57 a factor of u?
True
Let x = -87 - -89. Let p be (-194)/(-3)*3/x. Let q = 143 - p. Is q a multiple of 23?
True
Let r(y) = y**3 + 25*y**2 - 5*y - 122. Let g be r(-25). Suppose 2*a - 5*n - 860 = 480, g*n = -5*a + 3288. Is a a multiple of 20?
True
Suppose -162*n + 178*n - 140736 = 0. Is 51 a factor of n?
False
Suppose 4*w = -2*d - 2774, -2*d + 2072 = -5*w - 1391. Let i = -534 - w. Does 16 divide i?
False
Suppose 4*h + 3*j + 11487 = 0, 0 = 5*h + j + 11043 + 3324. Let w = h + 4290. Suppose 8*k - w = -0*k. Is 7 a factor of k?
False
Is 52 a factor of (26/182*7/2)/(1/200)?
False
Suppose 15*r + 55 = 10*r. Let y be 54/(-72) + (-1)/4*r. Suppose 0 = 2*v + y*s - s - 231, -240 = -2*v + 2*s. Is v a multiple of 9?
True
Is 30 +