 = -y. Is u a multiple of 19?
False
Suppose 63 = 11*m - 4*m. Let w be m/2*10/(-3). Let q = w + 45. Does 21 divide q?
False
Let k be (-2)/(((-6)/9)/1). Suppose -z - j + 135 = 0, z + 2*z - 381 = k*j. Let l = z - 28. Is l a multiple of 24?
False
Suppose -15*t - 708 = -3*t. Let f = t - -456. Does 10 divide f?
False
Let b(m) = 4*m**2 + 6*m + 6. Let t be b(8). Suppose 465 = 3*g - 5*f, 0*f - 2*f - t = -2*g. Suppose -9 = -4*v + g. Is 13 a factor of v?
False
Suppose 96*u - 4*u + 521714 = 2173390. Is 13 a factor of u?
True
Suppose 19*p = 14393 - 7843 + 414129. Is 6 a factor of p?
False
Suppose g - 7*g - 30 = 0. Is 15 a factor of 4 - (-2 + g + -218)?
False
Let x = 111 + -111. Suppose -66 = -l + 3*c, -3*c + x = 3. Is l a multiple of 21?
True
Suppose 11*a + 16*a = 0. Let i(p) = p**3 - p**2 + p + 125. Is i(a) a multiple of 33?
False
Let q(v) = -2*v**2 + 4*v. Let m be q(2). Suppose 5*a - 40 = 4*x, 6*a = a + 3*x + 35. Suppose m = a*s - 563 + 43. Is 13 a factor of s?
True
Let s = -6198 + 7749. Is 141 a factor of s?
True
Let v(t) = 22*t**2 - 3*t + 8. Let x = 17 + -15. Is 30 a factor of v(x)?
True
Suppose -7*a + 118*a - 130092 = 0. Does 46 divide a?
False
Let s(a) = -26*a**2 - 4*a + a + 0*a + 25*a**2 + 870. Is s(0) a multiple of 30?
True
Suppose 10 = 3*k + 1. Suppose -t = -k*t - t. Suppose t = 4*m - 9*m + 250. Does 14 divide m?
False
Let u be (2 - 8)*(1295/(-6))/7. Let j = 109 + u. Is j a multiple of 3?
True
Let w be 1 + 2 + 1 + -4. Suppose w = 6*k + k - 21. Suppose 2*o - 5*q - k = 4*o, -4*o + 18 = 2*q. Is o a multiple of 4?
False
Let d = -15877 + 44777. Is 10 a factor of d?
True
Let c be -1 - 120/48*(-1 + -1). Suppose -5*j + v + 938 = -836, c = 4*v. Is j a multiple of 48?
False
Let a = -33 - -31. Let t be (-2)/(a*(-4)/(64/(-4))). Suppose -r + 112 = 2*r + 5*h, r = -t*h + 35. Does 8 divide r?
False
Let q(t) be the third derivative of -9*t**6/20 + t**4/8 + t**3/2 + 2*t**2 + 10*t. Is q(-2) a multiple of 13?
True
Suppose 165*v = 51727 - 2062. Is 3 a factor of v?
False
Suppose -2*c = -2*a + 4, 2*a + 5*c - c = 4. Suppose 2*p = j + 713, -a*j = 5*p - 1484 - 294. Is 40 a factor of p?
False
Let z(a) = a**3 + 10*a**2 - 30*a. Let o be z(-12). Is 20 a factor of o*(3 - 10/(-3))?
False
Let l(h) = 5*h**3 + 6*h**2 + 13*h - 33. Let r be l(5). Let a = 994 - r. Does 11 divide a?
True
Let w be ((-28)/(-6))/((-664)/132 - -5). Is 5/((-25)/186)*1155/w a multiple of 25?
False
Suppose v + 0*v = 1, 2*h + 15 = -3*v. Let b(s) = -12*s - 693*s**3 - 4*s**2 + 692*s**3 - 6*s**2 + 0*s**2 + 13. Does 10 divide b(h)?
True
Let i = 124 + -147. Let u = 168 + i. Let v = u + -118. Does 27 divide v?
True
Suppose 0 = -3*i + 3*l + 23922, 321*i - 326*i + l = -39870. Does 9 divide i?
True
Suppose 17*j - 15*j + 140 = 4*h, h - 3*j - 45 = 0. Let u(m) = m**3 - 35*m**2 + 66*m + 16. Is 2 a factor of u(h)?
True
Suppose 5*h - 77481 = -2*b, 39*h - 38*h - 15492 = -b. Does 37 divide h?
False
Let n be (20/5)/(8/48). Let w(u) = u**2 + 13*u + 58. Is w(n) a multiple of 43?
True
Let z(d) = -d**3 - d**2 + 1. Let q be z(-2). Suppose k = f, 5*f - 56 = -4*k - 20. Suppose -q*y - 134 = -2*r, -3*r - 2*r + f*y = -335. Is 19 a factor of r?
False
Let w(d) = 2*d**3 - 7*d**2 + 9*d - 3. Let i be w(4). Let b = i - 56. Is (-3)/7 + (-171)/b a multiple of 3?
True
Let i(f) = -f - 2. Let s(b) = -137*b + 210. Let u(x) = 3*i(x) - s(x). Is u(9) a multiple of 45?
True
Let l(s) = 5*s**2 - 82*s - 75. Let i(n) = 2*n**2 - 41*n - 37. Let a(k) = -13*i(k) + 6*l(k). Is a(-17) a multiple of 14?
True
Does 12 divide (-756)/(((-27)/(-108))/((-6)/(-164)) + -7)?
True
Suppose 2*t = 6*t + 68. Let q be 11*((-14)/(-42))/((-1)/3). Let f = q - t. Does 3 divide f?
True
Let f(x) = -3*x**2 - 7*x + 9. Let y be f(-3). Suppose -y*h = -2*l - 216, 4*h - 144 = 2*l + 72. Let w = l - -287. Does 16 divide w?
False
Suppose 2*b + 4*n = 26068, 4*b - 52124 = 143*n - 139*n. Is b a multiple of 72?
True
Suppose -7*z + 6*z = 3*n + 494, 5*n = 5*z + 2410. Let p = 714 + z. Does 6 divide p?
False
Suppose 3*u + 2*s - s + 307 = 0, -5*s = -u - 97. Let d = 110 + u. Suppose -10*k + 11*k = d. Does 8 divide k?
True
Suppose 0 = 3*j - 5*l - 1617, -2*j - 5*l + 9*l = -1080. Let b = j - 54. Is b a multiple of 5?
True
Let k be (-2)/(-15) - (-4748)/(-60). Let d = k - -63. Let l(w) = w**3 + 15*w**2 - 18*w + 8. Is 20 a factor of l(d)?
True
Let d(m) = 13*m + 83. Let n be d(-6). Let g(o) be the third derivative of -o**6/120 + 2*o**5/15 - 13*o**4/24 + 2*o**3/3 + 41*o**2. Is 14 a factor of g(n)?
True
Let i(y) = -3*y**2 - 7*y + 30. Let h(r) = -14*r**2 - 29*r + 119. Let s(n) = -2*h(n) + 9*i(n). Is 34 a factor of s(-8)?
True
Let l(b) = 1091*b + 106. Does 9 divide l(6)?
False
Suppose -157*z + 173*z = 108960. Is z a multiple of 15?
True
Let m be (-164)/(-12) + 30/(-45). Suppose -5*g + m*g - 856 = 0. Does 8 divide g?
False
Suppose -5*v - 4*t - 190 = -1600, 0 = -v - 4*t + 266. Suppose 3*d + 0*d + 4*b - v = 0, -5*b = 3*d - 290. Does 5 divide 1 + -1 - (d/(-6) - 0)?
True
Let j(b) = -b**3 + 2*b**2 + 2*b. Let c = 50 + -48. Suppose t + 4*x = 3*x, 5*t + 6 = -c*x. Does 3 divide j(t)?
True
Suppose 71 = 4*h - 137. Let s = -52 + h. Is 21*(s - (-18)/21) a multiple of 9?
True
Suppose -p = 11 + 38. Let h = 101 - p. Is 30 a factor of h?
True
Let t = -1789 + 6464. Does 55 divide t?
True
Suppose r = -s + 2, 19 = -5*r + 4*s + 11. Suppose -g - 4*k + 1438 = 238, r = -4*g + 2*k + 4818. Is g a multiple of 14?
True
Let n(p) = -2*p**2 - 2*p - 4. Let m be n(7). Let s be -177*1 + 5 + 1 + -3. Let q = m - s. Does 8 divide q?
False
Let r(q) = -q - 10 - 75*q + 36*q. Let d(n) = n**2 - 6*n + 2. Let z be d(5). Is r(z) a multiple of 8?
False
Let h be 21304/(-32) + (-6)/(-8). Suppose 4*b + 8712 = -18*b. Let q = b - h. Is q a multiple of 13?
False
Is 21 a factor of (13 + -14 + -30)/(0 + (-3)/435)?
False
Let s(n) = -n**3 - 75*n**2 - 71*n + 1500. Does 2 divide s(-74)?
True
Let b = -441 + 948. Suppose 1428 = a + b. Is 13 a factor of a?
False
Suppose -h = 4*h - 4*j - 18, -5*h + 3*j = -21. Let n be (39/(-9) - -5) + 14/h. Suppose -n*d + 178 + 296 = 0. Does 31 divide d?
False
Suppose 5*p - 6000 = -y, -2400 = -2*p + 4*y - 6*y. Suppose 16*g - 21*g + p = 0. Is g a multiple of 20?
True
Does 19 divide 12 + (6 + -46506)/(-15)?
False
Is 7 a factor of (288/(-45))/(128817/18405 + -7)?
False
Let w(r) = -r**2 + 35*r + 170. Let d be w(28). Let q = 883 - d. Is 27 a factor of q?
False
Suppose 19*y - 14*y - 51174 = -2*w, 4*y - 4*w - 40928 = 0. Is y a multiple of 49?
False
Suppose -6*h - 1729 = h. Suppose -3*p = c + 350, 2*c + 3*c + 25 = 0. Let m = p - h. Does 36 divide m?
False
Let x(g) = 43*g - 5. Let b be x(-2). Let z = b + 178. Is 26 a factor of z?
False
Suppose -109756 = -4*k + 2*u, -2*k - 5*u + 54890 = -3*u. Is 19 a factor of k?
False
Let j = 137679 - 93026. Does 9 divide j?
False
Suppose 2*s + p = 4990, 5*s - 12520 = 201*p - 196*p. Does 34 divide s?
False
Let x(i) = -47*i + 7086. Is 5 a factor of x(95)?
False
Is 14 a factor of 164916/36 + (-5)/1?
False
Suppose -5*f + 111675 - 22915 = 0. Is 14 a factor of f?
True
Suppose 4*p - 347 = 221. Let t = 6 + p. Suppose 2*v + 20 - t = 0. Is v a multiple of 32?
True
Let c be (-212)/(-18) - -1 - (-4)/18. Suppose -306 = c*k - 16*k. Does 51 divide k?
True
Let r be (-4 - -5) + (-192)/(-3) + -1. Let s = 69 + r. Is s a multiple of 38?
False
Let w(q) = -5*q**3 + 7*q**2 - 9*q + 85. Let y(a) = -4*a**3 + 6*a**2 - 8*a + 84. Let d(c) = 3*w(c) - 4*y(c). Is d(9) a multiple of 15?
True
Let p(m) = -m**3 - 19*m**2 + 21*m + 16. Let i be p(-20). Does 26 divide -367*(2 + 1 + i)?
False
Suppose 2*v + 3*v + 5 = 0. Let t be (v - -9) + (-2 - -1)/(-1). Let d(k) = k**3 - 7*k**2 - k - 5. Is d(t) a multiple of 22?
False
Suppose 4*r - 538 = 6*r. Let c = r - -427. Suppose 0 = 5*i - 3*i - c. Is i a multiple of 11?
False
Let m be ((-1)/(-3) - 2)/(6/(-72)). Is (760/25)/((-72)/m - -4) a multiple of 15?
False
Let q be -14*-1*9*1/(-1). Let p be ((-396)/q)/((-2)/(-7)). Suppose 619 + 426 = p*s. Is 19 a factor of s?
True
Suppose 27*v - 89*v + 86588 + 226140 = 0. Does 13 divide v?
True
Is 7 a factor of 7 + -11 - 7 - -760?
True
Let h(l) = -l**3 - 5*l**2 + 4*l + 9. Let s(a) = -2*a + 26. Let g be s(16). Let v be h(g). Suppose i = -o + v, -3*o = -7*o + i + 89. Is 2 a factor of o?
True
Let b(c) be the second derivative of 7*c**3/6 - 9*c**2 - 20*c. Let v be b(3). Suppose