3 - 5*p**2 + 7*p + 7. Let n be r(-6). Suppose 3*j + 9 = 0, -66*a + 68*a - 3 = 3*j. Is ((a - -5)/1)/(n/43) a multiple of 15?
False
Let m(f) = -2*f**3 + 83*f**2 + 7*f + 78. Is 17 a factor of m(37)?
False
Suppose -144*j + 61319 + 19421 = -124*j. Is 6 a factor of j?
False
Suppose -153*o + 869116 + 1267529 = 0. Is 16 a factor of o?
False
Suppose 853 = -5*w - 687. Let q be (255/(-34))/(2/(-152)). Let i = w + q. Is 23 a factor of i?
False
Let w(s) be the second derivative of -s**4/6 + s**3/6 + 2*s**2 + 14*s. Let l be w(2). Is (l/4)/((-4)/152) a multiple of 6?
False
Suppose -21*l + 679 = 25564. Does 55 divide (40/(-6))/(-6 - l/198)?
True
Let d = 121 + -121. Suppose 4*o + 5*s = 2*s + 41, d = -2*o - s + 23. Is o a multiple of 14?
True
Let q be (-27)/36 - 14751/(-4). Let i = q + -2592. Is i a multiple of 73?
True
Let a(r) = r**3 - 23*r**2 - 22*r + 49. Let c be a(24). Suppose 4*u - c = 423. Does 26 divide u?
True
Suppose 0 = 14*g + 33216 - 104616. Does 60 divide g?
True
Let j be 3/12 - 1125/(-60). Suppose -j*z = -36*z + 3094. Is z a multiple of 13?
True
Suppose 0 = 13*b - 225687 - 19935. Does 130 divide b?
False
Suppose -11 = -2*m - 3. Let u = -125 + 129. Is (0 + (-40)/u)/((-1)/m) a multiple of 15?
False
Let k(h) = -16*h**2 + 8*h + 18. Let o be k(-2). Let x = o - -308. Does 7 divide x?
False
Let h be (63/42)/(1/2). Suppose -5*j = -m - 341, 3*m + 207 = 6*j - h*j. Let o = -14 + j. Is 6 a factor of o?
True
Suppose -3*f - 240 = 9*f. Does 2 divide (-10)/f - (-1 - 948/8)?
True
Let t be 9*(18/108 - (-1)/6). Let n(u) be the second derivative of 11*u**3 + 5*u**2/2 + u. Is 29 a factor of n(t)?
True
Let z(m) = 2*m**2 - 3*m + 378. Suppose -6*a - 4*a = -13*a. Is 9 a factor of z(a)?
True
Let y(u) = -5*u**3 - 7*u**2 + 9*u + 32. Let d(o) = -3*o**3 - 4*o**2 + 5*o + 16. Let a(i) = -7*d(i) + 4*y(i). Is a(0) a multiple of 3?
False
Suppose -4*a = -4*h - 12, -4*h + a = -9*h + 15. Suppose -h*i + 133 = -491. Does 23 divide i?
False
Let j = 245 + -173. Let p = -408 - -408. Let f = j - p. Is 8 a factor of f?
True
Let m be ((-9)/(-12)*-2)/(6/8). Let j be 4/16*m*-6. Suppose 1155 = 4*l + j*l. Is l a multiple of 13?
False
Let z(x) = -35*x + 834. Is z(-6) a multiple of 51?
False
Let t(u) = 26*u**3 + 6*u**2 + u - 2. Let n(s) = 25*s**3 + 7*s**2 + s - 2. Let w(l) = 4*n(l) - 5*t(l). Does 19 divide w(-2)?
False
Suppose -7482 = -21*g - 8*g. Let z = -122 + g. Is z a multiple of 6?
False
Is 4358 + 42/(-56)*-8 a multiple of 69?
False
Let k(o) = 15*o**3 - 7*o**2 + 9*o + 6. Let a be k(3). Let l = a - 33. Is l a multiple of 30?
False
Suppose 0 = -15*r + r - 42. Let g be -3 - (r - 4)/1. Does 17 divide (0 - 34/g*-2)*3?
True
Let a = 102 + 12. Let w(k) = 17*k**2 + 2*k - 1. Let q be w(2). Let f = a + q. Is f a multiple of 16?
False
Suppose -67405 = -77*t + 138108. Does 17 divide t?
True
Suppose 5*k + 6394 = 2*l, 50*l - 46*l = -k + 12722. Is 13 a factor of l?
False
Suppose -3*i - 288 = i. Let o = i + 77. Suppose -3*l + o*r + 75 = -0*r, 2*l + r - 50 = 0. Is l a multiple of 3?
False
Suppose 22*q - 3 = 21*q. Suppose 5*c - q*c = 3*g - 156, 0 = -3*c + 2*g - 229. Let o = 115 + c. Does 8 divide o?
True
Let q(w) = -117*w**3 + 6*w**2 - 6*w. Does 3 divide q(-2)?
True
Let u be (-3)/(-15) - 80/25 - -29. Let n = u - 9. Let c(t) = -t**3 + 18*t**2 - 15*t + 22. Is c(n) a multiple of 28?
True
Suppose 2*z = -4*k - 2076, 3*z + 0*k + 4*k = -3116. Let w = 1904 + z. Does 12 divide w?
True
Let u(x) = 13*x + 279. Let k be u(-21). Suppose -k*y + 8940 = 14*y. Does 24 divide y?
False
Let c = 16 + -90. Let n = c - -116. Is 21 a factor of (-12)/n - (-5295)/35?
False
Let z = 9371 - 7124. Is z a multiple of 7?
True
Let j = -4268 - -13573. Does 27 divide j?
False
Let j(f) be the first derivative of 2*f**3/3 - f**2/2 - 3*f - 14. Let n be j(-9). Suppose 9*z - n = z. Is z a multiple of 7?
True
Let k(l) be the first derivative of l**6/120 + 2*l**5/15 - 5*l**4/24 - 7*l**3/6 + 8*l**2 - 14. Let w(a) be the second derivative of k(a). Does 7 divide w(-7)?
True
Let h = -4750 + 12564. Is h a multiple of 10?
False
Suppose -622 - 1012 - 1768 = -21*m. Does 4 divide m?
False
Suppose -175*g + 7272 = -169*g. Suppose -6*f = -4*f - g. Is 45 a factor of f?
False
Let q(k) = 207*k**3 + 3*k - 2. Let o be q(1). Let s(y) = y**2 + 3*y + 3. Let u be s(-3). Suppose 64 = -u*x + o. Is 12 a factor of x?
True
Let c = 348 + -228. Is ((-517)/(-5))/(24/c) a multiple of 42?
False
Let q(k) = k**2 + 4*k + 90. Let t(g) = 72 + g**2 - 21 + 39 + 5*g. Let y(c) = 5*q(c) - 4*t(c). Is 10 a factor of y(0)?
True
Suppose 8*c - 344 = -0*c. Suppose -15 = 5*k, 5*n - 46*k + c*k = 1299. Does 35 divide n?
False
Let l(w) = 60*w**2 + 17*w - 70. Is l(6) a multiple of 8?
True
Suppose 207602 - 55855 = 43*g. Is 14 a factor of g?
False
Let g(h) = -h**2 + 5*h - 1. Let a be g(2). Suppose a*f - 4*v = f + 440, 5*f = 2*v + 538. Suppose -4 = b, -4*b - f = -4*t + 2*t. Is 15 a factor of t?
True
Suppose 2*n - 2 = 2. Suppose -4*h = -n*h - 570. Suppose h = 8*m - 5*m. Is m a multiple of 30?
False
Let c = -251 - -165. Let o = c + 296. Is o a multiple of 23?
False
Does 29 divide (754/(-78))/(2/(-1482))?
True
Is 70 a factor of ((-32)/5)/((-4)/172*7/315)?
False
Let r(o) = 4574*o - 12093. Is r(3) a multiple of 9?
True
Suppose 3*w + 177 = 855. Let j = -354 + w. Let l = j + 231. Is l a multiple of 13?
False
Let a(o) = -11360*o + 592. Let m(d) = -307*d + 16. Let g(n) = -3*a(n) + 112*m(n). Does 39 divide g(-2)?
True
Is 62 a factor of (-918)/(-1683) - 144149/(-11)?
False
Suppose 5*d + 56 = 3*r, d + 3*r + 0 = -4. Let v(t) be the second derivative of -t**3/3 + 37*t**2/2 + t + 6. Does 19 divide v(d)?
True
Let s(x) = 9*x**2 + 97*x - 60. Does 12 divide s(23)?
False
Let o(y) = y**2 + 18*y - 39. Let p be o(-19). Let h = -16 - p. Suppose h*b + b - 530 = 0. Is 37 a factor of b?
False
Let p(x) = -x**3 - 2*x**2 - 10*x - 3. Let v be p(-4). Let b = 251 - v. Does 15 divide b?
False
Let l = -223 + 231. Suppose 7*o = l*o - 94. Is 27 a factor of o?
False
Let s(l) be the third derivative of -5*l**4/24 + 191*l**3/6 + 116*l**2. Does 28 divide s(-29)?
True
Suppose -9*q + 14*q = 25. Suppose -g = z + 3*g + 3, -2*z = q*g + 3. Does 9 divide 5 - z - (-111 - 2)?
True
Suppose -u = 5*m - 105, -m - 1 = -5*u + 4. Suppose m*j = 22*j - 6. Suppose j*r = -0*r + 168. Does 11 divide r?
False
Suppose -3*c + 4*l = -21, c - 5*l - 24 = -2*c. Suppose c*k = 255 + 609. Is 48 a factor of k?
True
Let j be (-2)/(-1) + (17 - 14). Suppose 4 = -2*y, -7*a + 1390 = -3*a + j*y. Suppose 4*p + 79 = c + 5*p, -a = -5*c + 4*p. Is 14 a factor of c?
False
Suppose -3 = 4*r + 9, -5*r - 33 = 3*p. Let f(d) = d**2 - d - 1. Let v(u) = u**3 + u**2 - 28. Let l(t) = p*f(t) + v(t). Does 54 divide l(9)?
False
Let t(m) = -m**3 - 8*m**2 + m + 10. Let h be t(-8). Suppose -3*c + 267 = 4*b - 8*b, c = b + 68. Let z = h - b. Is z a multiple of 16?
False
Suppose -2*u - 65 = -15*u. Suppose -123 = -4*h + u*v, 3*h + 4*v = 7 + 62. Does 9 divide h?
True
Suppose 354*i - 409860 = 336*i. Is 30 a factor of i?
True
Let o(j) = -23*j + 65. Let f be o(-7). Let l = 240 - f. Is 2 a factor of l?
True
Suppose w - l + 1207 + 307 = 0, 2*w + 3010 = -4*l. Let m = -1028 - w. Is m a multiple of 8?
False
Let h(d) = -10*d**2 + 86*d - 781. Let s(q) = -2*q**2 + 22*q - 195. Let i(y) = -2*h(y) + 9*s(y). Is i(8) a multiple of 12?
False
Suppose -w - 2*o + 5423 = 0, 133*w - 10846 = 131*w + 2*o. Is w a multiple of 29?
True
Suppose -2*t - 27 = -5*t. Suppose 3*o = 9, 4*y + 30*o - 33*o = -9. Does 8 divide (y + 3)*t - -2?
False
Suppose 5550 = 4840*h - 4835*h. Does 10 divide h?
True
Let j = -16955 + 24599. Is j a multiple of 147?
True
Let p = 135 + -53. Let w = p - 39. Let c = 75 - w. Is 4 a factor of c?
True
Let y(k) = -268*k + 4. Let i be y(0). Let z = 815 + -517. Suppose -z = -5*n - p, i*p + 0 = -8. Is n a multiple of 9?
False
Let s(u) = 3*u + 30. Let y be s(-12). Let f be ((16/12 - 3) + 1)*y. Suppose -7*z = -l - 2*z + 25, f*l - 3*z = 66. Does 3 divide l?
True
Suppose 81485 = -1350*d + 1355*d - 5*u, -2*d - 4*u + 32600 = 0. Does 12 divide d?
False
Let u = 32 - 28. Suppose -2*c - 3*v + 14 = 2*v, 3*c = u*v + 21. Suppose -y = -5*g + 16, -4*g - 42 = -3*y - c*g. Is 9 a factor of y?
True
Does 7 divide (-255 - -254)*(-2 - (2 - -6253))?
False
Let i = 48830 - -19399. Is 171 a factor of i?
True
Suppose 104*y + 620 = 103*y. Let d = y +