)*-6*(-72)/(-27). Does 29 divide -2 - 16/d - 3840/(-9)?
False
Let k be (7384/(-156))/(2/(-3)). Suppose k*s = 83*s - 948. Does 9 divide s?
False
Suppose 20635 = 5*c + 2525. Is 32 a factor of c?
False
Let a be (21/6 + -3)/((-1)/(-4)). Suppose 5*i - 501 = -2*u, -a*i = -0*i - u - 195. Is i a multiple of 11?
True
Let v = 232 + -230. Let w(y) = y + 4*y + 8*y + 1. Is w(v) a multiple of 19?
False
Let f be ((-308)/(-8) - 1)/(27/36). Let h(g) = g**3 - 50*g**2 + 12*g + 162. Is h(f) a multiple of 6?
True
Let m(p) = 3*p**2 + 33*p - 73. Let n be m(-13). Suppose 4*s - 2925 = -n*l, -s - s + 5*l + 1485 = 0. Is s a multiple of 15?
True
Is 3 + 2 + -2 + 1 - -10905 a multiple of 38?
False
Suppose -20*o + 21978 + 53922 = 0. Is o a multiple of 55?
True
Let w be 1*4/2 - -1. Suppose -254 = 4*g - 914. Suppose -2*y - 4*c = -w*y + 52, 5*y - c = g. Does 32 divide y?
True
Let z(w) = 2*w**2 + 5*w + 5. Let t be z(-2). Suppose -t*x - 5 = -14. Suppose u = x*d - 8 - 15, 26 = 3*d + 2*u. Is 4 a factor of d?
True
Let n(l) = l**2 + 6*l + 13. Let k be n(-3). Does 37 divide 74*(54/12 - k)?
True
Let n = 86 + -82. Let v(l) be the first derivative of 2*l**3/3 - l**2 - 4*l + 2. Is v(n) a multiple of 4?
True
Let x = -10 - -10. Suppose x = 3*s - k - 6, 2*k = -2*k. Is (-4)/6*(-51)/s a multiple of 12?
False
Let f be 10/4*18/(-9)*-1. Suppose -f*g = r - 3842, 8*g - 6*g + 3*r - 1542 = 0. Is 8 a factor of g?
True
Let t be 120/90*(-723)/(-4). Suppose 0 = -2*g + t + 1309. Is g a multiple of 25?
True
Let v(r) = -112*r + 72. Let t be v(-9). Suppose 20*d - t = -16*d. Does 30 divide d?
True
Let x be (-249)/(-21) + 1 - (-96)/(-112). Is 3 a factor of 2/(-13) + x + (-1412)/(-52)?
True
Let d = -5742 - -20904. Is d a multiple of 21?
True
Let p(v) = v**3 + 5*v**2 + 13*v + 26. Let j be p(-3). Is 1525/(-10)*(j + (-29)/5) a multiple of 10?
False
Let h(p) = 10*p + 10. Let c(k) = -k. Let u(n) = -5*c(n) + h(n). Let b = -20 + 31. Does 35 divide u(b)?
True
Let y be 280/6 - 2/(-6). Suppose -f = -0*f + 4*d - 13, -3*d + 13 = 4*f. Suppose -3*t + f + y = 0. Is t even?
True
Let q(u) = -u**3 + 17*u**2 - 16*u + 16. Let j be q(16). Let a = j - 22. Is 5 a factor of 2/(-11) + a + 1764/22?
False
Let m = 6520 - -65. Is m a multiple of 34?
False
Suppose -k + 1907 = -3*j, 0*k - 4*k = -j - 7573. Does 4 divide k?
True
Let q(n) = n + 6. Let c(z) = -5*z + 14. Let a be c(4). Let y be q(a). Is (-755)/(-10)*(y - -2) a multiple of 21?
False
Let l = -2250 - -3069. Is l a multiple of 7?
True
Suppose 0 = -h + 3*h + s - 17, 5*s = -4*h + 25. Let z(t) = t**3 - 8*t**2 - 16*t - 15. Does 9 divide z(h)?
False
Let n(k) = -183*k - 40. Suppose -15 = -18*v + 21*v + 4*f, 0 = -3*f. Does 35 divide n(v)?
True
Let a be (-7098)/36 - 3/(-18). Let t = 305 + a. Is 14 a factor of t?
False
Let a be 9720/(-63) - (-8)/28. Is (-11176)/a + 4/(-7) a multiple of 21?
False
Let v = -9582 + 29441. Does 31 divide v?
False
Let t(m) = 2*m**2 - 33*m + 65. Suppose -38*s + 18*s = -420. Is 11 a factor of t(s)?
False
Let g(j) = 35*j + 5*j - 20 + 16*j - 8*j. Is 20 a factor of g(7)?
False
Let j(s) = -13*s - 57. Let i(m) = 16*m + 58. Let y(g) = 6*i(g) + 4*j(g). Does 8 divide y(0)?
True
Let c(b) = -133*b - 1182. Is c(-13) a multiple of 3?
False
Let p = 429 - 439. Let w(d) = 6*d**2 + 19*d - 10. Is w(p) a multiple of 8?
True
Let j(d) = 17*d**2 + 17*d - 7. Let y be j(3). Suppose 0 = 3*a - 977 + y. Does 26 divide a?
True
Let p(o) = o**3 + 22*o**2 - 7*o - 51. Let r be p(-22). Let q = 70 - r. Let c = 1 - q. Is 7 a factor of c?
False
Let o = -53 - -75. Suppose 32 - 8 = -0*t + 8*t. Suppose -2*a = -c - 59, 0*a - a + t*c + o = 0. Does 4 divide a?
False
Let q be 6*3 + 17 + -21. Suppose 2072 + 2660 = q*a. Let j = a - 210. Is j a multiple of 8?
True
Let d = -411 - -461. Suppose 0 = -3*v - 3*p + 141, -5*v - 54*p + 238 = -d*p. Does 10 divide v?
True
Let z(c) = 397*c - 283. Is z(23) a multiple of 14?
True
Let q(t) be the second derivative of t**5/20 - 23*t**4/12 - 22*t**3/3 + 21*t**2 + 40*t. Is 9 a factor of q(25)?
False
Suppose -2*d + 2*h - 656 = 0, -3*d + 4*h = 5*h + 976. Let t = d + 704. Is 63 a factor of t?
True
Let k(f) = 11778*f + 782. Does 8 divide k(1)?
True
Is 14 a factor of 2211/12 - ((-27)/12 + (-35)/(-14))?
False
Suppose -35517 = -2*f - 0*v - 5*v, -4*v = 3*f - 53293. Does 13 divide f?
True
Suppose -28398 = -4*c + 5*r + 9475, -4*r = 5*c - 47290. Is c a multiple of 19?
True
Suppose -58*j + 56*j = -m - 32173, -m + 80429 = 5*j. Is 3 a factor of j?
True
Let p be -5 + 10 + -10 + -482. Let y = 108 - p. Does 17 divide y?
True
Suppose -5663100 = 113*w - 242*w. Is w a multiple of 20?
True
Let z(q) = q. Let a(w) = -7*w + 35. Let m(d) = -a(d) - 4*z(d). Let h(r) = -4*r - 100. Let c be h(-30). Does 10 divide m(c)?
False
Let u(x) = -x**2 - 15*x - 57. Let t be u(-8). Is 5 a factor of -4*(t + 606/(-24))?
True
Let c(a) = 388*a**2 - 2*a - 1. Let w be c(-1). Let t = w - -909. Is 16 a factor of (-5)/30 + t/12?
False
Suppose 0 = -1826*k + 1776*k + 763950. Is k a multiple of 33?
True
Let z(g) = -3*g + 10. Let t be z(3). Suppose -2*x + 3*x = 2*h - t, 2*h = -4*x + 16. Is 4 a factor of x*((-5 - -2) + 10)?
False
Let g = -209 - -114. Suppose 4*l + 2*r = -0*l + 568, 10 = 5*r. Let a = g + l. Does 23 divide a?
True
Let n = 136 - 131. Suppose -3*t + z = -0*t - 355, 0 = 5*t + n*z - 585. Is t a multiple of 21?
False
Let u = -30656 - -43370. Is u a multiple of 163?
True
Let h = -170 - -178. Does 5 divide ((-195)/6)/(4 + (-36)/h)?
True
Let g = -1413 - -898. Let f = -163 - g. Is f a multiple of 44?
True
Let g = 534 + -282. Let u = 542 - g. Is 6 a factor of u?
False
Let m(w) = -410*w**2 + 11*w - 11. Let v be m(1). Let d = -184 - v. Does 10 divide d?
False
Let a = -604 - -1394. Suppose -3*t + 787 = 5*m, a = -0*t + 3*t + 2*m. Is t a multiple of 22?
True
Let r(s) = 4*s**2 - 2*s - 15. Let d be -5*(-5)/25*10/2. Does 5 divide r(d)?
True
Let s(b) = 475*b**3 - b**2 - 4*b + 3. Let q be s(1). Let w = q + -255. Is 17 a factor of w?
False
Is 40/(-150)*-15 - (-10080)/(2/1) a multiple of 26?
True
Is 3 a factor of (16/(-384)*12)/((-2)/324)?
True
Let t = -1094 + 4202. Is 84 a factor of t?
True
Suppose -115*k + 64296 = -32764. Is k a multiple of 82?
False
Let c = 3782 + -2480. Is 93 a factor of c?
True
Suppose 2885*t - 18264 = 2884*t. Does 25 divide t?
False
Suppose 108 + 128 = k. Suppose 0 = 4*y - k - 420. Is 82 a factor of y?
True
Suppose 210732 = 11*f + 45*f + 46*f. Does 49 divide f?
False
Let t = -95 + 64. Let d(a) = -14*a - 82. Is d(t) a multiple of 11?
True
Does 65 divide 3345 + -58 + (3 - (-12)/3)?
False
Suppose 9*y + 31*y = 20*y + 18420. Is y a multiple of 5?
False
Let a be 32/(-2) - 0/(-2). Let t be (-2)/(a/2020) + 4/(-8). Suppose 3*p = 9*p - t. Is p a multiple of 5?
False
Let j(k) = -8*k**3 - 18*k**2 - 52*k + 59. Does 80 divide j(-12)?
False
Let d(b) = 2*b**3 + 147*b**2 + 316*b + 93. Is d(-69) a multiple of 271?
True
Let y be (-156)/(1*(-8)/12). Let g = y - 214. Does 3 divide g?
False
Let n be (-2)/(-9) - (-3 - (-102)/(-27)). Suppose -n*t = -14*t - 287. Let s = t - -71. Is 4 a factor of s?
False
Suppose 53*f - 57*f = 120*f - 789384. Is 70 a factor of f?
False
Let r(p) = -30 - p**2 + 3*p**2 + 99 - 11*p + 28. Is 8 a factor of r(11)?
False
Let u be (0 - (-24)/(-18))/((-1)/15). Does 19 divide u/90 + 2/(-9) - -143?
False
Suppose 17*h - 90020 = -23805. Is 45 a factor of h?
False
Is 17 a factor of -51*(-36)/306 - (2 - 10486)?
False
Suppose -5*o = -3*j - 658, 5*o - 363 = 4*j + 296. Let w = o + 158. Is 17 a factor of w?
True
Let b(r) = -2*r**2 + 23*r - 25. Let y be b(10). Suppose -21*l - 180 = -23*l + 2*c, 0 = y*l - 4*c - 450. Is l a multiple of 6?
True
Suppose -26*q + 45*q = 95. Suppose -q*f - 299 + 1552 = 3*z, 2*z = 3*f - 748. Does 11 divide f?
False
Let l(k) = -k**3 + 15*k**2 + 15*k + 20. Let v be l(16). Suppose -4 = -2*a + v. Does 9 divide -3 + (a - -4)/4 + 145?
True
Let p = 329 + -198. Suppose -31 = n - p. Suppose 5*b = -25, -n = -5*h + 2*b - b. Is 8 a factor of h?
False
Suppose -266386 = -13*o - 145734 + 221924. Is 12 a factor of o?
True
Let i = -599 + 605. Does 14 divide 1/(-2) + (i - (-1210)/4)?
True
Let r be (-879)/(-4) + (-12)/(-48). Let q = r + -136. Is 50 a factor of q?
False
Is 462/4*(3*28/(-21) + 84) a multiple of 35?
True
Suppose -931 = -2*r + 2*o + 2087, 1509 = r + 4*o. Is r a multiple of 3?
True
Let q(o) = 2*o + 23. L