 - f = -5*r. Is 16 a factor of 4/(-8) - r/(-12)?
False
Suppose -5*p + 3172 = 177. Let g = p + -275. Suppose -15*c + 11*c = -g. Is 27 a factor of c?
True
Suppose 3*t + 16359 = 3*g, -83*g - 3*t + 21840 = -79*g. Does 5 divide g?
False
Let x = -5947 - -8044. Is 74 a factor of x?
False
Let c(t) = 67*t**2 - 623*t - 67. Is 5 a factor of c(27)?
True
Let b be 4 - (-3 + (-2*8)/4). Let o(a) = -b*a - 3 - 9 - 7 + 1. Is o(-22) a multiple of 56?
True
Does 47 divide (-3)/15 + ((-259464)/20)/(-6)?
True
Let a = 59 + 56. Suppose -a - 197 = -3*k. Is 10 a factor of k?
False
Let j = 182 + 819. Is j a multiple of 13?
True
Let s = 66 - 72. Let o(f) = -13*f - 39. Is 13 a factor of o(s)?
True
Is ((-28)/(-3))/(896/195552) a multiple of 29?
False
Let z(w) = -6*w + 42. Let v(q) = 1. Let t(y) = 6*v(y) - z(y). Let l be t(7). Is (-4)/4*(-26 - l) a multiple of 11?
False
Let o = 0 - -2. Suppose -724 = -5*r + o*a, -4*a = -a - 9. Suppose -470 = -4*y - r. Does 9 divide y?
True
Suppose -154 = 5*s + c, -138 = -6*s + 11*s - 3*c. Does 52 divide 72/s*510/(-18)?
False
Suppose -4*y = 12*b - 14*b + 5204, 4*b + y = 10381. Let c = b - 1749. Does 11 divide c?
True
Let f be (-5)/50*-5 - (-21)/6. Let g be (7/2 - f) + (-654)/(-4). Suppose 5*y - 4*j - 230 = 0, 2*j + 77 = 5*y - g. Does 10 divide y?
True
Suppose -22*y + 21*y = -12934. Suppose 7*r = -4107 + y. Is r a multiple of 97?
True
Let j be 0 - (-7 + 0/8). Suppose 2887 - 507 = j*w. Does 10 divide w?
True
Let y = -2157 - -2623. Is 12 a factor of y?
False
Let n = -10793 - -20213. Does 61 divide ((-2)/(-6))/(20/n)?
False
Let p = -766 + 771. Suppose -h + 465 = k - 92, 4*h = p*k - 2812. Does 70 divide k?
True
Let n = -2410 + 13110. Does 20 divide n?
True
Let d = 19637 - 3856. Is d a multiple of 190?
False
Let v = -52 + 54. Let x be (v - 10)*(-1)/(1/(-4)). Let q = x - -96. Does 4 divide q?
True
Suppose -5*j - 272 = -4*z, 3*z - 3*j + 2*j - 193 = 0. Let d = z - 69. Is (21 + d/3)*12/2 a multiple of 19?
True
Suppose -2*o = 4*b - 24 - 2338, 0 = 5*o + 5*b - 5895. Does 20 divide o?
False
Let k = -8304 - -8406. Is k a multiple of 6?
True
Let a be (-6)/(-16) + (-459)/72. Is 31 a factor of ((-9672)/60)/(a/15)?
True
Let t(p) be the third derivative of 24*p**2 + 1/120*p**6 + 8/3*p**3 + 1/6*p**5 + 0 + 0*p - 1/3*p**4. Is t(-10) a multiple of 4?
True
Let o be 1504217/(-628) - -3*2/(-8). Let b = o + 3906. Does 69 divide b?
False
Let g be -162 - -1 - (-3 - -1). Let d = 116 - g. Is 24 a factor of d?
False
Let y(i) = -2*i**2 + 15*i + 272. Let o be y(-11). Let t = o + 663. Is t a multiple of 24?
True
Suppose -7*a - 17 = 4. Does 96 divide (-2 - 1)/(a/(-5)) + 750?
False
Let u(n) = 6*n**2 + 0*n**2 + 6*n + 3*n + 0*n - 24. Is u(4) a multiple of 12?
True
Let j be -6 + (-2 - (8 + -36)). Suppose o = m - 520, 18*m + 5*o = j*m - 1034. Is 18 a factor of m?
True
Suppose -2*v + 41 = 5*d, 33 = -d + 4*d + 4*v. Suppose -d*f + 4*f = -2*l + 219, 2*f = -10. Is 34 a factor of l?
True
Suppose -108 = 29*n - 23*n. Is 19 a factor of (n/24*9)/((-9)/96)?
False
Let t(l) = l**2 + l - 1. Suppose 5*w - 6 = 2*w - s, 0 = -2*w - s + 4. Suppose u = -4*d + 9, -2*u = -4*d + w*d + 2. Is t(d) a multiple of 2?
False
Let w = 232 + -373. Let k = 500 + w. Is k a multiple of 70?
False
Let q = 40 + 77. Suppose -340 = n + 4*n. Let l = n + q. Is 7 a factor of l?
True
Let j = -300 - -300. Suppose q - 160 - 60 = j. Is q a multiple of 10?
True
Let j(z) = -z**3 + 7*z**2 + 7*z + 10. Let k be j(8). Suppose 2*g + m = 86, -4*m + 100 = k*g + 8. Suppose g = c + 4. Does 11 divide c?
False
Let q = -51990 - -75948. Is 198 a factor of q?
True
Suppose 5*u - 530 = 5*o, -o - 19 = -16. Suppose 2*n = -5*s + 179, 5*s = 8*s - n - u. Is s even?
False
Suppose 0 = -9*y - 22 - 14. Let k be -42 + y + -2 + 3. Does 21 divide (7/(-5))/(3/k)?
True
Suppose 0 = -4*s + 9*s - 2*k - 4, 2*s + 4*k + 8 = 0. Suppose -3*y + y - l + 724 = s, -5*l = -5*y + 1840. Is y a multiple of 46?
False
Suppose 0 = -4*b + b + 42. Suppose 2*o + b = 9*o. Suppose -2*c = o*w - 3*c - 161, 3*c = 15. Does 12 divide w?
False
Suppose 0 = 3*k - 22*j + 25*j - 393, j = 5*k - 637. Does 3 divide k?
False
Let m(g) = 27*g**2 - 46*g**2 + 21*g**2 + 11 - 2*g + 0*g. Suppose 3*p = 4*q - 26, -2*p - 7 = -q - p. Is 17 a factor of m(q)?
True
Let s(z) = -14*z. Let a be s(-8). Let j = a - 92. Is 8 a factor of (4 + -2 + 19)*j/6?
False
Let g = 8055 + -7039. Does 23 divide g?
False
Is 11 a factor of 6 - 4*(-510 - 12)?
False
Let a(i) = 171*i**2. Let j(f) = -f**2 - f + 1. Let o(v) = a(v) + 3*j(v). Let d be o(1). Suppose 10*u - d = 4*u. Does 13 divide u?
False
Let o = -489 + 496. Is 13 a factor of 841/o + 40/(-280)?
False
Let v = -8581 + 33536. Does 115 divide v?
True
Let f(o) = o**3 - 9*o**2 + 14*o - 22. Let n = 5 + 5. Suppose -12*p + n*p = -18. Is 22 a factor of f(p)?
False
Let o(j) = -j**2 - 11*j + 85. Let p be o(-23). Let s = 41 - p. Does 13 divide s?
False
Suppose m + 3*p - 14151 = 5432, -p - 19579 = -m. Is 110 a factor of m?
True
Suppose -431503 + 51046 = -99*i. Is i a multiple of 63?
True
Let f be 5/((-2 - 1)*(-2)/6). Suppose 364 = t + 4*u, -4*t + 1608 = -f*u + 215. Is t a multiple of 32?
True
Suppose -3*b - 40908 = -4*v, -17*b + 13*b + 51166 = 5*v. Is 10 a factor of v?
True
Let s(p) = p**2 + 18*p + 35. Suppose 4*y - 39 = 3*o, y + 4*o - 2 - 3 = 0. Is 26 a factor of s(y)?
False
Let u = -122 + 117. Is ((-50)/8 - u)*-84 a multiple of 15?
True
Let s(a) = -a - 6. Suppose -4*w = -k + 23, -5*w + 1 = -6*w + 5*k. Let n be s(w). Is -44*(1/(-2) + n) a multiple of 3?
False
Let r = 383 - 960. Let q = -407 - r. Is q a multiple of 10?
True
Suppose -23 = -3*h - 3*a + 1, 5*h + 3*a - 46 = 0. Suppose -4*q + 7 - h = 0. Is (-1 - -2)*q - -16 a multiple of 6?
False
Let p(q) = -88*q + 2017. Does 3 divide p(21)?
False
Suppose -53442 = -4*a - 1584*s + 1581*s, 4*s - 53448 = -4*a. Does 53 divide a?
True
Suppose -74*n + 55*n + 9899 = 0. Does 71 divide n?
False
Let j(f) = 251*f**2 + 729*f + 2873. Does 2 divide j(-4)?
False
Suppose 2*s - 4*s - 2*w + 12 = 0, -2*w = 5*s - 24. Suppose 0 = j - s*j, -3350 = -5*m + 2*j. Does 29 divide m?
False
Let s be (1 - 12/9)*879. Let t = s + 171. Let i = -62 - t. Does 6 divide i?
True
Let u(t) = 9*t - 62. Let p be u(7). Is 15 a factor of p*5*12120/300?
False
Let w(y) = 222*y**2 + 12*y + 3. Let o be w(-1). Let s(z) = 16*z**2 - 5*z + 3. Let g be s(5). Let f = g - o. Does 11 divide f?
True
Suppose 3*r - 15 = -2*r. Suppose -3*t + 6*t + x - 623 = 0, 0 = 2*t - 3*x - 430. Suppose -r*q = -2*q - t. Is 19 a factor of q?
True
Suppose -68*x + 2668524 = -62*x + 97*x. Is x a multiple of 12?
True
Is 18 a factor of (-3 - (-96543)/15)/(32/160)?
True
Let i = 57 - 52. Suppose -i*f = 4*q - 667, 0 = f - 3*f + 5*q + 247. Is f/3 - 5/(-15) a multiple of 8?
False
Let a be (-1 + 15/(-10))*-4. Suppose -a + 7 = -3*t, -4*d + 3*t + 5 = 0. Suppose -3*p + 453 = 3*s - 0*p, s = d*p + 157. Is 17 a factor of s?
True
Is (-7 + (-312)/(-32))/(20/15840) a multiple of 11?
True
Suppose 0 = -5*i + 15, -2*i - i = f - 15. Suppose -f*q + 60 = 4*q. Suppose -u + 65 = -t + q*t, 8 = 2*t. Is u a multiple of 7?
False
Let r = -1350 - -766. Does 12 divide (11/(110/15))/((-6)/r)?
False
Let m(b) = -4*b - 54. Let y be m(-15). Suppose y*h - 7*h + 133 = 0. Is h a multiple of 14?
False
Let x(i) be the third derivative of 1/4*i**4 + 1/15*i**5 + 0 - 1/120*i**6 + 1/3*i**3 + 0*i - 5*i**2. Is 4 a factor of x(-2)?
False
Let k(u) = -4*u**3 + 2*u**2 + 237*u - 20. Is k(-13) a multiple of 25?
True
Does 15 divide (((-45874)/(-20))/(74/185))/(13/156)?
False
Let k be (1/(-2))/((-18)/(-132660)). Does 9 divide 6/(-45) + -6 + k/(-75)?
False
Let l(c) = 19*c**3 - 535*c**2 - 19*c - 18. Is l(30) a multiple of 184?
True
Suppose 5*d - 3*b - 4717 = 0, -2*d + 839 = 2*b - 1051. Is 16 a factor of d?
True
Let w(j) = -j**3 + 7*j**2 - 9*j - 4. Let a be w(4). Let h(p) = -p**3 + 8*p**2 - 3*p + 14. Let x be h(a). Is x/(-4)*(-456)/(-20) a multiple of 8?
False
Is 15 a factor of (8335/(-50) + ((-84)/(-20) - 4))*-50?
True
Suppose -m + 2*m = -4*m. Suppose -3*w + 4*y + 66 + 66 = m, 3*w = -4*y + 156. Is ((-63)/4)/((-6)/w) a multiple of 42?
True
Suppose 4430 = 3*p + 3*z + 2*z, z = -p + 1478. Let n = -1018 + p. Does 22 divide n?
True
Let y(t) = -24*t**2 - 9*t + 29. Let g(x) = x**2 + x - 3. Let b(m) = -3*g(m) - y(m). Does 27 divide b(5)?
False
Let p(s) = s - 19. Let x be p(21). Suppos