k) = -13*k**2 + 1168*k - 137. Does 246 divide w(50)?
False
Let c = -125 - -295. Suppose -3*h + 69 + 329 = -4*j, 2*j = 2*h - 200. Let p = j + c. Does 9 divide p?
True
Suppose 4*u = 75 - 3. Let r = u + -15. Suppose -r*t = 4*g - 237, 5*g + t = 411 - 112. Is g a multiple of 12?
True
Let c(v) = -v**3 - 10*v**2 + 6*v + 85. Let o = 89 - 99. Does 3 divide c(o)?
False
Let z(j) = 275*j**2 - 9*j + 360. Is z(-10) a multiple of 244?
False
Let d = -17 + 22. Suppose -d*v = -7*v - 48. Is 16 a factor of 3*(-28)/v*28?
False
Let d be 1 + (-17)/2 + (-8)/(-16). Is (d/2*-2)/((-2)/(-20)) a multiple of 2?
True
Let s be ((-680)/(-102))/(4/282). Let m = 80 + -75. Suppose -396 = -4*o + j, -m*j = 3*o + 2*o - s. Is o a multiple of 20?
False
Suppose 3*g - 29 = -5*f, 3*f - 7*g + 8*g - 19 = 0. Suppose c + f = 207. Is c a multiple of 14?
False
Let v(r) = r**3 - 20*r**2 + 55*r - 8. Let g be v(16). Let s = 94 + g. Let j = s - -102. Does 12 divide j?
False
Suppose 18708 = 2*z + 2*r, 617*r - 620*r = -18. Is 41 a factor of z?
True
Let f(o) = 6*o**2 + 36 + 17*o**3 - 34*o**3 - 35 - 83*o**3 + 6*o. Is f(-1) a multiple of 7?
False
Let y(i) = i**2 - 2*i - 15. Let k be y(-13). Let a = -105 + k. Suppose -3*f + 0*f + a = 0. Does 3 divide f?
False
Suppose h - 5*d - 631 = 0, -7*h - 4*d - 635 = -8*h. Is h a multiple of 12?
False
Suppose 3*u - 5*h = -9*h + 12, 2*u - h = 19. Suppose q = -u*q + 378. Is 42 a factor of q?
True
Suppose -f - 512 = 3*j, 536 = -f + 3*j + 2*j. Let a = f + 1137. Is a a multiple of 56?
True
Suppose g - 612 = r, 2*r = -3*g + 1396 + 455. Let u = 430 - g. Let i = -101 - u. Does 14 divide i?
True
Is 21 a factor of 3/(-9) + (-36250)/(-75)?
True
Suppose -4*a + 3*a = 32. Let n = a + -12. Let l = 124 + n. Does 10 divide l?
True
Suppose -y - 2 - 54 = -c, -c - 5*y + 80 = 0. Suppose -13*h + c = -10*h. Does 6 divide h/32*38 - 1/(-4)?
True
Let k be 1 - -10*(-4)/(-8). Let q be (-6)/k*(-5 - -2 - -27). Let d = q + 86. Is d a multiple of 4?
False
Let v(w) be the third derivative of -3*w**4/8 - 71*w**3/6 - 2*w**2 - 9*w. Is v(-19) a multiple of 25?
True
Suppose -5*g + 224 = -56. Suppose 34 = h + 5*p, -h - 11 = 2*p - 6*p. Suppose h*n - 7*n - g = 0. Is n a multiple of 14?
True
Let p be -1*(-322 - (0 - (2 - 4))). Suppose 213*n - p = 212*n. Does 19 divide n?
False
Suppose -4*i = 2*k + 192, -3*k - 252 = -7*i + 4*i. Let m = 127 + k. Is m a multiple of 33?
False
Let t(m) = 30*m**3 + 14*m**2 - 4*m + 7. Does 55 divide t(7)?
False
Let n(i) be the second derivative of -145*i**3/6 - 116*i**2 - 276*i. Is 94 a factor of n(-12)?
False
Suppose -57*h + 98047 = -60869. Is 14 a factor of h?
False
Suppose -4*i + 280 = 3*k, i = -i - 4*k + 150. Let q = 233 + i. Is q a multiple of 75?
True
Suppose -5*r = 4*k - 42, -r = 12*k - 7*k. Let g(i) = -i**3 + 10*i**2 - i + 48. Is 21 a factor of g(r)?
False
Let x be 747/6*(-6)/(-9). Suppose -2*f - w - 209 = -4*f, -5*w + 132 = f. Suppose f = 84*q - x*q. Is q a multiple of 21?
False
Suppose 2*g + g + 16 = j, 54 = 5*j - 2*g. Let a be (-2*22/12 - -3)*3. Does 13 divide (152/j)/((-24)/(-10) + a)?
False
Let d(p) be the second derivative of 13*p**3/6 + 85*p**2/2 + 17*p + 2. Does 2 divide d(-2)?
False
Let c = -259 + 5604. Does 28 divide c?
False
Is -23 - 90/(-5) - 41*-97 a multiple of 6?
True
Let s be (2 + 0 + -1)*(0 + 15). Let y = -11 + s. Suppose 4*o + 5*j - 434 = 0, 1 = y*j - 7. Is o a multiple of 11?
False
Let z be 1/3*9 + -86. Let p = -71 - z. Is 4 a factor of p?
True
Suppose 2*h = 7*h - 20. Suppose -4*l - 29 = -5*d, 29*d = 33*d + l - 19. Suppose d*g = -4*r + 378, -2*r = -h*g + 6*g - 152. Is 37 a factor of g?
True
Let n(l) = -45*l**2 - 8*l - 23. Let v be n(-6). Does 39 divide v/(-5) - (-2 + 6)?
False
Let j = -64 + 23. Let c = j - -114. Suppose -5*s + c + 37 = 0. Does 14 divide s?
False
Let x(a) = 3*a**3 - 9*a**2 + 11*a + 2. Let h be x(2). Is (h - 45)/(2/(-26)) a multiple of 13?
True
Suppose 5*r + 2*s = 7*s + 110, -81 = -3*r - 2*s. Suppose 2*f + d = -71, -2*d - 3*d = -r. Let c = f - -49. Is 5 a factor of c?
False
Suppose 3888 = 117*p - 126*p. Is 1/((-6)/4 + (-654)/p) a multiple of 22?
False
Suppose -46*x + 48 = -42*x. Let k(h) = h - 39. Let z be k(x). Does 18 divide (z/(-36))/((-1)/(-24))?
True
Let z be 99/36 + 3/(-4). Does 5 divide z*20/(-16)*(-1 - 105)?
True
Let w = 39 - 42. Is (-2 - w)/(44/9108) a multiple of 31?
False
Let v = -232 + 272. Is (-16)/v - 9/15 - -47 a multiple of 6?
False
Let r be 255893/172 - 2/8*-1. Suppose 22*m + 9*m - r = 0. Does 24 divide m?
True
Suppose 0 = 465*z - 471*z + 2454. Does 20 divide z?
False
Suppose 125*k - 130*k - o = -14798, -5912 = -2*k - 4*o. Is 185 a factor of k?
True
Let l be (-1)/(-1) - -2 - (-2997)/9. Suppose -r = -2*r + l. Does 12 divide r?
True
Let h be 2 + -6 + (-9)/(-3) + -2. Is 29 a factor of 11064/96 + h/(-4)?
True
Let d = 126 + -134. Let r be (-3)/(d/(192/(-18))). Does 39 divide (281 - -2)/(-3 - r)?
False
Let d = 215 - 112. Let k = 124 - d. Is 12 a factor of k?
False
Suppose 3*k - 3 = -0*k. Let h be (7/1 - 2) + 268. Is 22 a factor of (k - (-1)/(-2))*(h - -1)?
False
Is ((-243)/6)/27*-25128 a multiple of 36?
True
Let z = 8018 + -5984. Is z a multiple of 2?
True
Let w(q) = 14*q - 13. Let y be w(5). Suppose -a + 2*v = 6*v - y, -3*v = -a + 50. Let o = a - 36. Is 6 a factor of o?
False
Let j(o) be the first derivative of 201*o**2/2 + 7*o - 12. Let c be j(3). Suppose n + 2*m = 150, -3*m + c = 4*n - 0*m. Does 22 divide n?
True
Let m be (-6)/4 + 429/66. Does 5 divide 949/m + (-1)/(-5)?
True
Let q be 3*(7 + 150/(-18)). Is -6 + (6352/q)/(-2) a multiple of 23?
False
Suppose v - 5 = 0, -3853 = -0*m + 2*m + v. Does 9 divide 4 - (-90)/(-25) - m/15?
False
Let i(p) = 5*p**2 + 6*p + 2. Let b be 11/33 + (-64)/(-6). Suppose 5*c + 12 + b = -2*d, 0 = 4*d - 3*c + 7. Is i(d) a multiple of 9?
False
Suppose -5*z + 4 + 5 = 4*u, -30 = -2*z + 5*u. Suppose 2 = z*s + 12. Let d(n) = 55*n**2 - n + 3. Is 9 a factor of d(s)?
True
Let s = 53 - 51. Suppose 0*l + s*l = 774. Is 15 a factor of l?
False
Let a(n) = 4*n + 1. Let u(v) = -v - 1. Let h(g) = -a(g) - 5*u(g). Let x be h(4). Suppose -84 = -q - 5*y, q = x*y - 5*y + 44. Does 7 divide q?
False
Let t be 9/(135/(-20))*-3. Let n(u) = 19*u**2 - u - 14. Is n(t) a multiple of 11?
True
Let g(c) = -c**2 + 22*c + 214. Is g(18) a multiple of 11?
True
Is (-1860)/9*(-11)/((-110)/(-135)) a multiple of 15?
True
Let t = 1023 - 605. Let l = 633 - t. Does 10 divide l?
False
Let h(z) be the second derivative of -z**3/6 - 5*z**2 + 25*z. Let j be h(-7). Let s(g) = 5*g**2 - 3. Is 7 a factor of s(j)?
True
Let x(d) = -5*d + 35. Suppose 3*h + 3*h = 30. Suppose a - h*a - 56 = 0. Is 15 a factor of x(a)?
True
Suppose 0 = -3*l + 4*v - 154, -5*l - 4*v + 2*v = 300. Let h = l + -3. Is 18 a factor of -2*h/1 + 4?
True
Suppose n - 10*n + 4*y + 199501 = 0, n - 22173 = 2*y. Is 65 a factor of n?
True
Let h(u) = 9*u + 21. Let p be h(-2). Let m(o) = 120*o + 11. Is m(p) a multiple of 13?
False
Let y be (27/(-15))/((-18)/(-60)). Let o(b) = -2*b**3 - 4*b**2 + 22*b - 6. Does 17 divide o(y)?
False
Let v(k) be the second derivative of -1/12*k**4 + 17/6*k**3 + 0 - 7*k**2 - 3*k. Is v(13) a multiple of 4?
False
Suppose 17*v - 4697 - 947 = 0. Let i = v - 80. Is 21 a factor of i?
True
Suppose 40*r - 184159 = -117773 + 201174. Is r a multiple of 156?
False
Let w(r) = r**3 + 12*r**2 - r - 7. Let n be w(-12). Suppose -4*p = n*z - 2909, -2*z + 6*z - 2328 = -3*p. Is 32 a factor of z?
False
Let c = 29919 + 11969. Is c a multiple of 44?
True
Let i be ((-542)/(-8)*-2)/((-17)/(-34)). Let r = i + 387. Is r a multiple of 29?
True
Let r = 14 + -11. Let f be 9/(-2)*(-2)/r. Suppose -y = 4*j + 4*y - 650, 0 = -f*j - 2*y + 484. Is 24 a factor of j?
False
Suppose w - 52 = -4*n, 4*w - 195 = -15*n + 12*n. Suppose 49*x = w*x + 286. Is x a multiple of 13?
True
Let f = -2615 - -2892. Is f a multiple of 15?
False
Suppose 3*n = -5*o + 2*o + 45, 5*o - n - 81 = 0. Suppose -401 - 399 = -o*j. Does 35 divide j?
False
Is (-15 + (-819)/(-65))/((-6)/17320) a multiple of 16?
True
Is 85 a factor of ((-2332569)/1095)/(2/(-4)*2/5)?
False
Is (241/(-2))/((3/50)/(198/(-55))) a multiple of 29?
False
Let d = 46 - 5. Let w = d - 39. Suppose s + 2*t - 10 - 8 = 0, w*s = 4*t + 68. Is 5 a factor of s?
False
Let b(w) = -w**2 + 34*w - 120. Let c be b(30). Suppose -5*p + 5*h - 3*h + 513 = c, -206 = -2*p + h. 