 (-4)/36*-6 + (-2)/3. Suppose 15*f - 61 - 164 = n. Does 8 divide f?
False
Let p(c) = 150*c**3 - 50*c**2 + 6*c - 17. Does 27 divide p(4)?
False
Suppose -4*q + 3*l = 1099, 2*l - 5*l = -3. Let x = q + 694. Suppose -x = t - 4*t. Is 30 a factor of t?
False
Let h = -80 + 338. Is h even?
True
Let i = -9334 + 9332. Let j(z) = -12*z**2 + 15*z + 24. Let x(o) = -o**2 + o + 1. Let v(t) = -j(t) + 2*x(t). Does 11 divide v(i)?
True
Let s(d) = -d**2 - 60*d + 1799. Let o be s(22). Suppose -2*h - 4*r = 3*h - 93, -3*r - 11 = -h. Is 11 a factor of 18 - (h - -3)/o?
True
Does 14 divide (-1434)/(-4) - (-1032)/688?
False
Suppose 67*p - 69*p + 236 = 0. Let l = -78 + p. Is 6 a factor of l?
False
Let n = -89 + 77. Is 3087/(-6)*n/18 a multiple of 49?
True
Let p(n) = -n**3 - 7*n**2 + 16*n - 23. Let k be p(-9). Is 58 a factor of 168 + 3/k*-10?
True
Let m(l) = -1118*l + l**3 + 300 + 2237*l - 1114*l + 4*l**2. Is 15 a factor of m(0)?
True
Let s = -18 + 189. Suppose -v + h = -73, 536 - s = 5*v + h. Is v a multiple of 11?
False
Let p(d) = -969*d + 413. Let v be p(-7). Suppose -30*i + v = -24454. Is i a multiple of 12?
False
Suppose 2*a - 5*n - 2061 = 0, 0 = 4*a - 2*n - 2169 - 1977. Suppose 7*x + a - 5112 = 0. Suppose 0 = -3*c - 3*z + 585, 2*c + c + 4*z = x. Does 22 divide c?
True
Suppose 0 = j - 3*k - 11, j - 3*j - 4*k - 8 = 0. Let n be -2 - (-133)/21 - (-8)/(-6). Suppose n*f - 203 = -j. Is 14 a factor of f?
False
Let c = -2804 - -15542. Is 33 a factor of c?
True
Suppose -796*q = -793*q + 21, f - 2163 = 5*q. Is 31 a factor of f?
False
Let w be 16/(-24)*1 + (-3326)/(-3). Suppose 19*v - w = 203. Is 2 a factor of v?
False
Is 57 a factor of (9562 - (4 - -1)) + 8 + -8?
False
Let q be 168/(3 - 3 - (-6)/24). Suppose -107*f = -100*f - q. Is 21 a factor of f?
False
Let n be -3*-39*-5*(-4)/90. Is 17 a factor of (329 - n)*2*4/6?
False
Suppose 2*a = -5*c + 48, c = 15*a - 14*a - 38. Does 15 divide a?
False
Suppose 4*p + 2*r - 20664 = 0, -7194 = -p - 3*r - 2023. Is p a multiple of 15?
False
Let q = -3 + 9. Let w(l) = 24*l**2 - 22*l - 2. Let a be w(1). Suppose a = -q*z - z + 1141. Is 14 a factor of z?
False
Let f = 11244 - 5952. Is f a multiple of 147?
True
Let t = 52 + -36. Suppose 0 = -2*d + t + 122. Suppose 11*m - 12*m = -d. Is m a multiple of 6?
False
Let o(s) = -4*s - 2. Let p be o(-4). Suppose 7*r - h - 6 = 2*r, 3*r - 5*h + p = 0. Suppose r*y - 287 = 103. Does 13 divide y?
True
Suppose 4*a - 3*l - 101 = 0, 5*a - 111 - 49 = -3*l. Let x be (a + 1)*(-4)/(-10). Is 5 a factor of 230/x - (-1)/(-6)?
False
Suppose -4*m + 4*b - 44 = 0, 2*b = -2*b + 16. Is 6 a factor of ((-160)/(-24) + m)*-396?
True
Does 24 divide (-1*4/8)/((-132)/18310776)?
False
Suppose 3*t + 119 = 4*s - 34, -t = -1. Let m = 1187 - 1214. Let j = s + m. Does 12 divide j?
True
Is 27 a factor of (2 + 3432/(-26))*(-26)/10?
False
Let z = -2 + 5. Suppose 5*k = 20, -2*c = -6*k + z*k + 4. Suppose -c*j = -j - 93. Is j a multiple of 11?
False
Suppose -55*x + 207740 = -22*x + 35*x. Is x a multiple of 47?
True
Suppose 1 = 3*s + 10, 2*l - 3*s = 27. Is (l - (4 + 1)) + 463 + 1 a multiple of 6?
True
Is 81 a factor of -6 + 9 + (-2262)/(-2)?
True
Let w(f) be the second derivative of f**6/40 - f**5/10 + f**4/8 + f**3/2 + 6*f**2 - 8*f. Let u(z) be the first derivative of w(z). Is 37 a factor of u(4)?
True
Let n(k) = -k**2 - 9*k - 28. Let a be n(-8). Let s = -1 - a. Suppose 0 = -14*h + s*h - 945. Is h a multiple of 9?
True
Suppose 1966 - 510 = -4*q. Let v(y) = -13*y**2 + 8*y - 4. Let d be v(-6). Let m = q - d. Is 39 a factor of m?
True
Does 8 divide (16/(-12))/((-56)/42)*4517?
False
Suppose 3*s = -0*s - m - 2, -m + 10 = -3*s. Let z be (s/2)/((-8)/32). Suppose -2*x + z*g + 106 = -g, 5*x + 3*g - 234 = 0. Does 20 divide x?
False
Let o(z) = z**2 - 5*z - 3. Let m be o(6). Let d(h) = 5 - 8*h + m*h + 0 + 0. Is 5 a factor of d(-3)?
True
Let w be (6 + -9)*(-4*38 - -3). Let f = w + -18. Does 25 divide f?
False
Suppose 83209 + 791 = 56*z. Is 25 a factor of z?
True
Let k(y) = -16*y - 62. Let a be k(-4). Let n(m) = 39*m**2 - 4*m + 7. Is n(a) a multiple of 31?
True
Let b be 15358/10 + 52/(-65). Let y = b - 1091. Is 47 a factor of y?
False
Let b be (0 + -14)*2/(-28)*4. Let i = b - -2. Let j = i - -51. Is 15 a factor of j?
False
Let a be (84/(-39) - -2) + 264/26. Is 17 a factor of (-4748)/(-21) - a/105?
False
Let c be 1550 + (-4)/(-2) - 4. Suppose c = 6*r - 10*r. Is r/(-6) - (-3)/6 a multiple of 17?
False
Suppose -22*b - 485 = 17049. Let r = b + 1311. Is r a multiple of 13?
False
Suppose -24*q + 214338 = -98574. Is q a multiple of 50?
False
Suppose 0 = 4*u - z - 270, -230 = -3*u - z - 17. Is 2 a factor of u?
False
Suppose 9*a - 10428 - 128 = -4*a. Is 28 a factor of a?
True
Suppose 6 + 17 = 5*v - l, 2*l - 2 = -2*v. Let t be (29 - -2)/(v/8). Let w = 28 + t. Is 6 a factor of w?
True
Let r = -298 + 301. Suppose -r*l - 282 = -2*p, -301 = -2*p - 5*l - 51. Is 5 a factor of p?
True
Let k be (2560/6)/(5 + 98/(-21)). Let z be 6/9 + k/(-12). Let t = z + 138. Is t a multiple of 32?
True
Let h(g) = g**3 - 6*g**2 - 2*g - 7. Let p(k) = k**3 - 6*k**2 - 3*k - 7. Let v(c) = 2*h(c) - 3*p(c). Let d be v(7). Is 17 a factor of (-16)/56 + (-667)/d?
False
Let s = 58 - 42. Suppose -6 = b + s. Does 4 divide 6*(30/4 - (-33)/b)?
True
Suppose -3*z + f - 533 + 108 = 0, 2*z = -4*f - 274. Let j = 325 + z. Is j even?
True
Suppose 0*s - l - 29 = -2*s, -3*s + 4*l = -46. Suppose 15*d + 1 = s*d, 3*v + d = 1931. Is v a multiple of 23?
True
Let p be (-3)/(4/14 - (-195)/(-1001)). Is 8 a factor of 18/(-33) + (-2130)/p?
True
Let l(f) be the second derivative of f**5/20 + 5*f**4/4 + f**3/2 - 9*f**2/2 - 6*f - 3. Does 17 divide l(-11)?
True
Let y = -24 - -7. Let r = -39 - y. Let j = r + 83. Is 18 a factor of j?
False
Let b(u) = 877*u + 1109. Does 28 divide b(5)?
False
Suppose 10 = 4*w - 10. Suppose -1640 = -2*n + 2*l, 0 = -5*n + 2*l - w*l + 4100. Is 14 a factor of n?
False
Let u = -3685 - -3973. Does 12 divide u?
True
Let b = 96 + -134. Let s = 42 + b. Suppose 36 = -5*c + 2*x + 94, 0 = -s*x + 4. Is c a multiple of 5?
False
Suppose 49*s - 222530 = 4*s + 10*s. Is 3 a factor of s?
False
Let t(n) be the third derivative of -n**7/2520 + n**6/180 + n**5/15 + n**2. Let c(a) be the third derivative of t(a). Is c(-8) a multiple of 20?
True
Is 14 a factor of 152/(-120) + 2/3 + 323686/10?
True
Let a = -30 - -45. Suppose 0 = 2*b + b + a, 0 = o + 3*b - 321. Is o a multiple of 12?
True
Suppose -4*o = -8*o + z + 6601, -3*o + 4937 = 2*z. Is 13 a factor of o?
False
Let s(u) = 34*u**2 - 319*u - 8. Is s(-3) a multiple of 5?
True
Let j(d) = -d**3 + d**2 - d. Let a(f) = 124*f**3 + 3*f**2 + 3*f - 5. Let w(o) = a(o) - 3*j(o). Is w(2) a multiple of 33?
True
Let o = 33264 - 23520. Is 31 a factor of (-3)/(-5) - o/(-60)?
False
Suppose 52*g + 30 = 57*g. Suppose -g*w + 98 = 26. Let z = -8 + w. Does 4 divide z?
True
Is 214/(-580) + 270/900 + 41240/29 a multiple of 74?
False
Suppose -5*h = 2*j + 2 + 8, 4*j + 32 = -4*h. Is 6 a factor of (11 + j)*(-922)/(-2)?
False
Suppose -c - 1234 + 1235 = 0, -4*c = -3*f + 10871. Is f a multiple of 29?
True
Let c(y) = y**2 + 4*y + 6. Let t be c(-7). Is 41 a factor of (-1354)/(-3) - (-7 + 198/t)?
True
Suppose 0 = -52*u + 48*u + 32. Is 44 a factor of 132*u/80*60?
True
Suppose 55*u = 111553 - 10023. Does 30 divide u?
False
Let x(d) = -3*d - 15. Let o be x(-13). Suppose 14*f - o*f = -430. Is 3 a factor of f?
False
Let q(w) = 54*w + 63. Let p = -73 + 77. Is q(p) a multiple of 25?
False
Suppose -111216 = 159*x - 390102. Is 31 a factor of x?
False
Let a(m) = -m + 20. Let t be a(6). Suppose z - 3*c - t = 0, -4 - 4 = 2*c. Suppose -j = -5, -3*j = -3*x - z*x + 580. Does 18 divide x?
False
Let n(w) = w**2 - 2*w + 5. Let c be n(4). Let s = 207 + -159. Let l = s - c. Is l a multiple of 5?
True
Suppose 12374 = 30*v - 234092 + 17776. Is 32 a factor of v?
False
Let w = 325 + -321. Is 611 + 3/(-8)*4*w a multiple of 32?
False
Suppose o = -4 + 6. Suppose 0 = 4*r + 16, -r = -2*t + o*r + 440. Is 49 a factor of t?
False
Let j be 28/20 + 2 + (-3)/(-5). Let k be j/10 + -46*(-3)/30. Suppose 6*g - 43 = k. Is g a multiple of 5?
False
Let p(q) = -178*q - 1. Let x(k) = -3*k**2 - 2*k - 1. Let g be x(0). Does 21 divide p(g)?
False
Suppose 0 = -46*f + 19*f + 135. Does 5 divide (-610)/(-8)*(f - 1)?
True
Let b = 19 - 17. Suppose -b*a 