Let r = -713 - d. Does 13 divide r?
False
Let v = 6465 - 2505. Is v a multiple of 44?
True
Suppose 9 = 5*o + g - 84, -4*g = -2*o + 46. Let s(z) be the second derivative of -z**5/20 + 3*z**4/2 + 23*z**3/6 - 10*z**2 - 9*z. Is 28 a factor of s(o)?
True
Let u be (21/(-6))/(87/22 - 4). Let d = u - -475. Is d a multiple of 34?
False
Let o be (-9)/(18/64)*-1. Suppose -5*y + o = -5*x + x, -5*x = 15. Suppose 5*z - y*n = 997, n + 0*n = 2*z - 400. Is 11 a factor of z?
False
Suppose -8*c = -10*c + 100. Let a = c + -47. Suppose l + 3*l - 85 = -3*b, 3*b = -a*l + 90. Is b a multiple of 10?
False
Let r(o) = 365*o**2 + 99*o - 261. Does 6 divide r(5)?
False
Let c(q) = q**2 - 27*q - 67. Does 57 divide c(-26)?
True
Let t = 86 + -35. Let j = t - 49. Suppose 0 = -4*f - 0*p + j*p + 118, 3*f = 2*p + 86. Is f a multiple of 7?
False
Let b(o) = -38 - 3*o + 9 + 13. Let f be b(-6). Let s(c) = 18*c**3 + c**2 + c. Does 15 divide s(f)?
True
Let y(i) = -8*i - 16. Let h be y(-14). Suppose 3*r = -3*w + 8*r - 68, 4*w - 5*r + 99 = 0. Let o = h + w. Is o a multiple of 5?
True
Suppose -7*m + 12*m = -5. Let u = m + 10. Suppose 0 = -u*i + 407 - 74. Does 16 divide i?
False
Let p be -2 + (3 - -3) + -1033. Let c be (-10)/60 - p/18. Suppose -c = -i + 8. Does 5 divide i?
True
Suppose 0 = 3*x + 15, 4*c + 3*x - 7*x - 72 = 0. Is c/26 + (-957)/(-2) a multiple of 25?
False
Let o(y) = 19*y**3 + 2*y**2 - 14*y + 10. Does 17 divide o(3)?
False
Let s(c) = 7*c**2 - 5*c - 41. Let k(h) = 3*h**2 - 2*h - 20. Let m(p) = 5*k(p) - 2*s(p). Is 42 a factor of m(-12)?
True
Is 120 a factor of (-561174)/(-48) - 5/40?
False
Let i(c) = 2*c - 6. Let b be i(-4). Let l be 390/14 + ((-72)/b - 5). Suppose 2*k - 150 = -5*o, -2*o + k + l = -32. Is o a multiple of 7?
False
Let b = 99 - -109. Suppose -1396 + b = -4*x. Does 16 divide x?
False
Suppose -24*k = -22*k - 8. Let x = 9 - k. Suppose -n + 5*n - 158 = 3*b, -28 = -n - x*b. Is n a multiple of 18?
False
Let a(d) = 207 - 401 - d**3 - 8*d + 216 + 17*d**2. Does 9 divide a(13)?
True
Suppose -3*t + 5*v + 3625 = 0, -3*t - 5*v = -v - 3634. Let g = -750 + t. Is 22 a factor of g?
False
Does 33 divide 130293/651*231/3?
True
Suppose 8*o - 9*o + 3397 = 4*x, 0 = -3*o + 15. Suppose -2*v + x = -32. Is v a multiple of 11?
True
Is 3924739/903 - 2/(-3) a multiple of 15?
False
Suppose -13278 = -3*c - 2*k - 4058, -2*k - 15340 = -5*c. Is 10 a factor of c?
True
Let t(d) = d**3 + 2*d**2 - 11*d - 7. Let i be t(-4). Suppose 276 = 4*s - w - 3*w, 0 = 3*s - i*w - 205. Is 10 a factor of s?
True
Is 1655*(19 + -18) + -14 a multiple of 2?
False
Suppose 301*n + 2170 = 294*n. Let t = n + 685. Is t a multiple of 75?
True
Let p(l) = -572*l + 3124. Is 154 a factor of p(-22)?
True
Let b be (-23)/(-4*2/216). Is b/21 + 42/98 a multiple of 6?
True
Let u = -3022 - -1796. Let n = u + 2174. Does 12 divide n?
True
Suppose 25*x + 10 = 27*x, -3*c = 3*x - 11742. Is 113 a factor of c?
False
Suppose 15*i - 17*i + 2*r + 2378 = 0, i - 2*r - 1193 = 0. Is 5 a factor of i?
True
Let x(w) = 3*w**2 - 5*w + 39. Let f(l) = 3*l + 129. Let s be f(-41). Is x(s) a multiple of 13?
True
Let p(y) = 110*y - 437. Is 9 a factor of p(124)?
True
Suppose 0 = 3*b - 6*b - 9, l = 2*b + 9. Suppose -3*m + 2*d + l = 6*d, d - 2 = -m. Suppose m*w - 3*z = 2*z + 340, 0 = -w + 3*z + 76. Does 4 divide w?
True
Is 19 a factor of 6230 + 432 - -1*6?
False
Suppose 13*o - 201349 = 27620. Suppose o = 28*z - 3555. Is z a multiple of 48?
False
Does 11 divide (-5741)/(-2) + -20 + 225/10?
False
Let d(t) = -t**2 - 128*t + 94. Does 62 divide d(-70)?
True
Let f(n) = 1089*n**2 + 1183*n - 4731. Does 85 divide f(4)?
True
Let f(n) = -n**2 - 204*n - 3388. Is 59 a factor of f(-99)?
False
Let q = 421 - 448. Suppose 3*l + 379 = -68. Let y = q - l. Does 22 divide y?
False
Is -1*2/(-16) - -5*(-2325975)/(-1000) a multiple of 177?
False
Let m = 47 + -33. Suppose z = -z + 4*t - m, 2*z - 2 = -4*t. Let r(s) = -5*s**3 - 2*s**2 + 2*s - 4. Is r(z) a multiple of 21?
False
Let w be ((-4)/(-3))/2 + (-70)/(-21). Let p(j) = -7*j**2 - 6 - 22*j**3 - 3*j + w*j**2 - 5*j**3. Is 12 a factor of p(-2)?
True
Suppose -5*r - 2*y + 4*y = -23, -r + y + 4 = 0. Let h(a) = 234*a - 11. Let f be h(1). Is 10 a factor of 1/3*(r + f)?
False
Does 36 divide (-90 - -1)/(56/(-2016))?
True
Suppose 0 = -2*z + 3*l + 1238, -z - 3*z + 2496 = -l. Is z a multiple of 21?
False
Suppose -5758570 - 136753 = 260*w - 1051*w. Is 18 a factor of w?
False
Let p = 61 + -60. Let y(t) = 34*t**3 + t. Let r be y(1). Is (-2 + p)*(3 - r) a multiple of 16?
True
Does 3 divide 34764/21 + (-246)/574?
False
Let z be ((-189)/(-15) - -1)/(20/(-50)). Is (-1479)/z - 2/(-4) even?
True
Suppose 236*f = 220*f + 9536. Let k = 676 - f. Is k a multiple of 4?
True
Suppose 38*n - 6666 = 60*n. Let h = 498 + n. Is h a multiple of 15?
True
Suppose -12*m + 11*m + 350 = 0. Suppose 4*t = 4*b + 1144, 5*b - 950 = -2*t - m. Is t a multiple of 10?
True
Suppose -12*j + 31*j - 14*j - 2170 = 0. Does 6 divide j?
False
Suppose 3*j + 4*p - 3678 = 0, 303*p - 299*p = 12. Is j a multiple of 37?
False
Let k(a) = 66 - 32*a**2 + 25*a - 32*a**2 - 32*a**2 + 99*a**2. Is k(-21) a multiple of 16?
True
Let l be 2/(-3) + 22/6 + 1. Suppose l*i = -0*i + 5188. Is 45 a factor of i?
False
Let x(i) = -4*i**3 - 10*i**2 - 7*i - 4. Let d be x(-6). Suppose -3*f = 5*o - 586, 5*o - 2*f = d + 34. Is 29 a factor of o?
True
Does 22 divide ((-8)/(-2) + -9908)*(-1)/2?
False
Is 162 a factor of ((-2013)/6 + -2)*(-1 - 11)?
True
Let v = 202 - 106. Let d = -64 + v. Let q = d + 49. Is q a multiple of 9?
True
Let d = -20 + 18. Let q(x) = -9*x**3 + 2*x + 4. Let a be q(d). Is (11/22)/(2/a) a multiple of 6?
True
Let f = 46914 + -33006. Is f a multiple of 19?
True
Let d = -27510 + 46144. Does 110 divide d?
False
Suppose 5*k + 33 = -3*r, -2*r - 11 = 5*k + 21. Let s be k/27 - ((-86)/18)/(-1). Let z = 29 - s. Is z a multiple of 2?
True
Suppose 0 = 3*a + j - 13169 - 11217, -16246 = -2*a + 5*j. Is a a multiple of 8?
True
Suppose 43*r = 4412 + 3113. Is 14 a factor of r?
False
Let x(n) be the second derivative of n**5/20 - 3*n**4/4 + 9*n**3/2 + 7*n**2 + 16*n. Is 20 a factor of x(9)?
False
Suppose 5*u + 2*f + 2434 = 0, 679 = -2*u + 5*f - 283. Let k = -221 - u. Is 22 a factor of k?
False
Let m = -82 - -91. Suppose -a = 5*t - 670, m*t - 6*t - 430 = 5*a. Does 9 divide t?
True
Suppose 15 = 49*s - 44*s. Suppose 5*y - 650 = -24*f + 26*f, -s*f - 249 = -2*y. Is y a multiple of 8?
False
Suppose -4*c - y = -8462, 56*y - 4224 = -2*c + 59*y. Is c a multiple of 15?
True
Let d = 22467 - 19509. Does 2 divide d?
True
Let f(i) be the third derivative of i**6/120 + i**5/30 + i**4/12 - i**3/3 - 28*i**2. Let p be f(-2). Let o(l) = -14*l - 21. Is o(p) a multiple of 9?
True
Let t be (5*-1)/(9/(-9)). Suppose 2*i = 2*j - 16 + 4, -t*j + 66 = 4*i. Suppose c + j = 139. Is c a multiple of 25?
False
Let x = -341 - -332. Is 11 a factor of ((-33)/x)/(15/1890)?
True
Suppose -5*g + 245 - 230 = 0. Suppose 2*a - 740 = -3*a + h, 5*a - g*h - 730 = 0. Does 28 divide a?
False
Suppose 0 = -y - 3 - 27. Let c = -33 - y. Is 21 a factor of (6 - -86) + c + 0?
False
Let t(s) = -651*s - 2348. Is 11 a factor of t(-8)?
True
Let x(d) = 90*d**2 + 93*d + 41. Is x(-21) a multiple of 64?
False
Let x(s) = -15*s - 73. Let t be x(-5). Suppose 3*p = -3*j + 1053, t*p - 1751 = -5*j - 2*p. Is 27 a factor of j?
False
Let t be 3 + 2782/3 - 5/(-3). Let q = 1332 - t. Does 22 divide q?
False
Let t(m) = -m**2 + 7*m - 1. Let b(f) = -f + 11. Let u be b(5). Let j be t(u). Suppose -j*p + 37 = -188. Does 10 divide p?
False
Let d(a) = 711*a**2 - 28*a + 49. Does 10 divide d(8)?
False
Let j = 281 - 81. Suppose 5*g - 116 = -2*b, 0*g = 3*b + g - j. Suppose 5*q = 102 + b. Is 12 a factor of q?
False
Let k(v) = -4*v**2 - 6*v + 4. Let t be k(-5). Is 176/(-66)*t/8 a multiple of 2?
True
Let w be (-12)/(-9)*9/3. Suppose w*b = 5*p - 0*p - 17, -4*p - b = -22. Suppose p*d + 2*r = 204, -3*d + 3*r = -169 + 55. Does 17 divide d?
False
Let j(c) = 5*c - 30. Let h be j(6). Suppose 2*f - z = 4*z + 261, 2*z + 2 = h. Is 16 a factor of f?
True
Let y(z) = -z**3 - 118*z**2 - 30*z + 549. Is 16 a factor of y(-118)?
False
Let f(r) = -21*r - 15*r + 745 - 802. Does 6 divide f(-6)?
False
Let w = 44 - 41. Suppose -w*d - 304 = -4*d. Is d a multiple of 13?
False
Let s(l) be the second derivative of 11*l**4/24 + l**3 + 6