 p = 111 - 153. Let f = p - q. Is 19 a factor of f?
False
Let j = 19265 + -8195. Is 27 a factor of j?
True
Suppose -3*g + 7*u - 3*u - 687 = 0, 3*u = 4*g + 916. Let z = -174 + 22. Let d = z - g. Is d a multiple of 10?
False
Suppose 0 = 74*g + 18*g - 3152766 - 2749770. Is 17 a factor of g?
True
Let t(n) = -3427*n**3 + 2*n**2 + 5*n + 3. Let q be t(-1). Suppose 0 = 9*g - q - 1955. Does 23 divide g?
True
Let q = -3047 - -10417. Is 5 a factor of q?
True
Let c = -13127 - -18514. Is 55 a factor of c?
False
Let r(v) = 7*v**2 - 35*v + 63. Is 77 a factor of r(37)?
False
Let y be (4*(-1)/(-6))/(17/357). Let l = 150 - y. Is l a multiple of 8?
True
Suppose 7*h - 10*h = 3*n + 669, 1109 = -5*h - 2*n. Let i = 239 + h. Is i a multiple of 7?
False
Let p(q) = -35 - q**3 - 32 + 71 + 8*q**2. Let j be p(7). Is 23 a factor of (0 + 1)*j*(-7 - -8)?
False
Let y(r) = -r**2 - 8*r + 3. Let k be y(-8). Suppose -2*t = 2*t + 5*c + 2, -3*c = k*t. Is (-102)/(-8) + t*(-2)/(-16) a multiple of 12?
False
Is 8 a factor of (-24)/20*-5*1/(2/47)?
False
Suppose -8*r = 51*r - 55224. Is r a multiple of 84?
False
Let x be (2 - (-7)/(-3))*-24. Suppose x*w - 4*w = 56. Let s = w - 11. Does 3 divide s?
True
Let b(r) = -426*r - 102. Let f be b(-24). Suppose -14*g = -0*g - f. Does 24 divide g?
False
Suppose -37*v - 649483 = -768843 - 1543383. Does 13 divide v?
False
Suppose 8517 = -15*v + 1002. Let d = v + 636. Is d a multiple of 15?
True
Let p(s) = -7*s**3 + 39*s**2 + 17*s + 13. Let r(q) = -2*q**3 - q**2 + 1. Let x(y) = p(y) - 2*r(y). Is x(13) a multiple of 5?
True
Let f be -6*7/(-14)*-147. Let m = f + 691. Is m a multiple of 50?
True
Let i = -25 - 183. Does 7 divide 5*(-20)/(-25) - i?
False
Is 69 a factor of 1518/(-66)*(-4 - 446)?
True
Suppose 0 = -5*n + 5, 2*d - 500 = 153*n - 157*n. Is d a multiple of 14?
False
Let o be 3/(-9) - 9/(81/(-1047)). Suppose 18*x - 19*x = -o. Is 7 a factor of x?
False
Suppose 4*v + v - 40 = -d, 40 = 5*v + 4*d. Suppose n + 4*a - 41 = 0, -17 = -n + 12*a - v*a. Is 29 a factor of n?
True
Suppose -20195 - 68397 = -113*w. Does 49 divide w?
True
Suppose 4*c = 5*v - 68 - 45, -5*c - 2*v - 100 = 0. Let j be (-26)/(-91) - c/14*3. Does 13 divide 23 - 1/((-1)/j)?
False
Let q(o) = -o + 4. Suppose 15 = -5*s + 5*d, -4*s - 5*d = -19 - 14. Let b be q(s). Suppose 4*p + 150 = b*i, 2*i - 237 = -i + 2*p. Is 15 a factor of i?
False
Suppose 0 = v + 3*y - 3250, 66*v - 69*v + 5*y = -9694. Is v a multiple of 94?
False
Suppose -3*l - w + 80 + 80 = 0, -269 = -5*l - 4*w. Let h = -83 + l. Is 324/h*(1 + -6) a multiple of 12?
False
Suppose -3*s = -5*m - 35, -3*s = 3*m - 3 - 0. Suppose s*i + a + 4*a - 1365 = 0, -1364 = -5*i - 4*a. Is 17 a factor of i?
True
Suppose 148 = -n + 4. Let u = 38 + n. Is 10 a factor of -1*1 - (u - 11)?
False
Suppose -130*n - 1352 = -126*n. Is 10 a factor of (n/5)/(35/(-525))?
False
Suppose 25*t - 1691 - 1234 = 0. Let n = t + -93. Is n a multiple of 2?
True
Let g be (-69)/(-9) + -3 - ((-144)/27)/(-8). Let l = 0 - -4. Suppose -g*j + 165 = 4*y - 3*y, 4*j = l*y - 740. Is 15 a factor of y?
False
Is 14 a factor of (-36273152)/(-1792) - (-2)/7?
False
Suppose 2*y - v = 653, 0 = 3*y - v - 545 - 434. Is y even?
True
Let i(q) = q**3 + 8*q**2 + 3*q - 23. Let b be i(-7). Suppose 397 = b*s - 4*x, 2*s - s - 80 = x. Does 47 divide s?
False
Suppose -3*b - 432 = 5*b. Is 10 a factor of b/(-1) + (15 - 19)?
True
Let y(c) be the second derivative of 13*c**4/6 - 7*c**3/3 - 11*c**2 + 2*c - 108. Does 18 divide y(-4)?
True
Let r = -313 + 305. Let w(f) = 7*f**2 + 18*f + 20. Is 18 a factor of w(r)?
True
Let i be -3*(12 - (1 - -4)). Is -4 - (3/(-21) + 1005/i) a multiple of 4?
True
Let v = 4496 - 1097. Is 18 a factor of v?
False
Suppose -14*j + 110 = -9*j. Suppose 2*a = -5*g - 2 + j, 4*g = 3*a + 16. Suppose 5*v = -m + 25, 6*m - 5*m - 3*v - 33 = a. Does 14 divide m?
False
Is -8 + (-68706)/(-7 + -4) a multiple of 68?
False
Let o(v) = -38*v - 5. Let u = 12 + -15. Let i be o(u). Suppose -73 - i = -7*k. Is k a multiple of 13?
True
Let o = -821 + 428. Let x = o + 281. Let z = -104 - x. Is z even?
True
Let t(x) = 81*x - 1961. Does 3 divide t(38)?
False
Let p(b) = -2*b - 39. Let o(g) = -5*g - 116. Let u(c) = 6*o(c) - 17*p(c). Let l be (4*-6)/(-6*3/12). Is 7 a factor of u(l)?
False
Let x = -239 + 67. Suppose 1086 = 3*c - 3*w, -3*c + 5*w = -1415 + 321. Let f = x + c. Is 30 a factor of f?
False
Let t(v) = -v. Let f(s) = -5*s + 9. Let u(o) = f(o) - 6*t(o). Let z be u(-7). Suppose 4*q - 28 = -i, 0 = 4*i - z*i - 2*q - 76. Is 11 a factor of i?
False
Is 20 a factor of (-9)/72 - (-689598)/112?
False
Does 375 divide (2280/(-7))/((-364)/63700)?
True
Let i = -46 + 130. Suppose 5*k - k - i = 0. Does 13 divide k - ((-3 + 1)/(-2))/(-1)?
False
Suppose -2*p = 4*l - 48889 - 28915, -p + 58355 = 3*l. Is l a multiple of 9?
False
Suppose 0 = 5*a - 2*z - 21, 0 = -4*z + 6 - 18. Suppose 4*q + 437 - 1801 = -a*i, -2220 = -5*i + 4*q. Does 31 divide i?
False
Let v(d) = 530*d - 271. Does 161 divide v(20)?
False
Let l(d) = -d**3 - 15*d**2 + 308*d + 43. Does 25 divide l(-31)?
False
Let k(i) = -225*i + 3. Let v be k(-1). Let w be (-24)/(-3) + 119 + (-3 - -2). Let u = v - w. Is 23 a factor of u?
False
Suppose 0 = q - 4*l + 6*l - 12, 0 = -4*q - 2*l + 30. Is -6 + (-1)/(q/(-1104)) a multiple of 91?
False
Let q(c) = c**2 - 5*c - 4. Let x be q(7). Let w be (-4)/x - 103/5. Let d = w - -38. Is d a multiple of 11?
False
Suppose 0 = 352*y - 351*y - 84. Suppose 49*g = 46*g + y. Does 7 divide g?
True
Let t be 126 - (-1)/(-4*3/(-12)). Suppose 5*d - 64 = d. Suppose 3*z + d - t = 0. Does 6 divide z?
False
Suppose p = 10*p - 9. Let d be ((-14)/5)/(((-4)/10)/p). Let q(k) = 17*k - 15. Does 20 divide q(d)?
False
Suppose -88*n = -92*n. Does 8 divide (-70)/(-490) - ((-3582)/14 + n)?
True
Suppose -13*t + 2*t = -27720. Is t a multiple of 20?
True
Suppose 12*k - 4 = 20. Suppose -k*n = 3*s - 134, -s - 2*n + 40 = n. Is s a multiple of 26?
False
Suppose -184 = -150*s + 148*s. Suppose 3*w = w + 2*h + 88, s = 2*w - h. Is w a multiple of 12?
True
Suppose 46*c - 78777 = 20721. Is 7 a factor of c?
True
Let h(t) = 1613*t - 3373. Is h(12) a multiple of 24?
False
Is 6 a factor of 394*2 - (6/(-8))/((-54)/144)?
True
Let h(t) = t**3 - 13*t**2 + 25*t + 15. Let k be h(13). Suppose -10040 = -20*o + k. Does 30 divide o?
False
Suppose -665 = -36*t + 29*t. Suppose 5*v = t - 15. Does 3 divide v?
False
Let r(n) = -n + 21. Let k be r(-6). Suppose k - 15 = -4*p. Does 15 divide (-2 + p + 6)/((-3)/(-567))?
False
Suppose f - 119 = -2*w, 0 = 3*w - 5*f - 91 - 81. Let d = w - 57. Let l(k) = 5*k**3 + 4*k**2 - 5*k + 5. Does 10 divide l(d)?
False
Let n(t) = -16*t + 164. Let u be n(-4). Suppose -u - 868 = -4*h. Is 7 a factor of h?
False
Suppose 0 = -p + w + 11, 10*w - 5*w = -p - 13. Suppose 0 = -5*v + p*v + 658. Let g = v + 499. Is 32 a factor of g?
False
Let x(s) = 62*s + 5600. Is x(-70) a multiple of 21?
True
Let d = -83 + 88. Suppose -d*p = 2*i - 7, i + 0 = -2*p + 2. Is 20 a factor of -4 + ((-16)/i - -260)?
True
Let x(p) be the third derivative of p**4/24 + 2*p**3 + 17*p**2. Let y be x(8). Does 11 divide (1 - -4)*(0 - (-676)/y)?
False
Let w(z) = z**3 + 34*z**2 - 47*z - 34. Is w(-33) a multiple of 6?
False
Suppose -1764 = -2*t + 5*m, 0 = t - 2*m - 797 - 86. Is t a multiple of 26?
False
Let y(d) = 17*d**3 + 7*d**2 - 93*d + 1819. Is 34 a factor of y(17)?
True
Suppose 2*j - 23855 = -975*f + 976*f, 59648 = 5*j - 4*f. Does 15 divide j?
False
Suppose -o + 8958 = m, -m - 9604 - 17266 = -3*o. Is o a multiple of 15?
False
Let w = -2439 + 11399. Is 32 a factor of w?
True
Suppose 5*b - 60278 = -3*x, -2*b - 4*x + x = -24122. Is 52 a factor of b?
False
Let k(n) = 7*n**2 - 145*n - 75. Does 15 divide k(45)?
True
Let d = 6758 - -8184. Does 36 divide d?
False
Let f = -92 + 141. Suppose -45 = -2*s + u, 2*s + 3*u - 20 - 29 = 0. Suppose 2*l = f + s. Is l a multiple of 18?
True
Let o = -61 - -42. Let p = o - -21. Suppose 2*u + 82 = 2*v, -2*u = 2*v + p*v - 188. Is 9 a factor of v?
True
Let v(q) = q**3 + 5*q**2 + 114*q + 321. Is 45 a factor of v(28)?
True
Suppose 949*v - 857*v - 208012 = 0. Is v a multiple of 64?
False
Let w(a) = a**2 + 6*a - 36. Let g be w(-10). Suppose 462 = g*m - m - 5*j, -5*m + 770 = 3*j. Is 22 a factor of m?
True
Let d = 35983 + -6772. Is d a multiple of 39?
True
Suppose 652*d - 649*d - 10104 