 + 0*o = -4*o - 131. Does 11 divide d?
False
Let a(d) = 6*d**3 - 15*d**2 - 10*d + 15. Let z(g) = 2*g**3 - g**2 - g - 1. Let l(s) = a(s) - 2*z(s). Is 50 a factor of l(9)?
True
Let l = 4299 + 2910. Does 27 divide l?
True
Let a be 4/(-3) - 6660/108. Let j = -63 - a. Suppose -3*t + 382 - 4 = j. Is t a multiple of 52?
False
Let d = -435 + 551. Let z = d + 112. Is z a multiple of 57?
True
Suppose -22*m + 18 = -70. Suppose m*b - 1015 = 245. Is 9 a factor of b?
True
Let u = -54 - -56. Suppose 0 = -u*i + 716 - 68. Does 12 divide i?
True
Suppose 0 = -30*r + 81124 + 114176. Does 6 divide r?
True
Let n(m) = m**3 + 8*m**2 - 26*m + 9. Let w = -100 + 93. Does 16 divide n(w)?
True
Let h be -4*(3/(-1))/6. Suppose -8 = -4*o, 4*k - h*o + 43 = 5*k. Suppose -5*l + 6*l - k = 0. Is l a multiple of 13?
True
Let f(g) = g**3 - 16*g**2 + 15*g + 5. Let x be f(15). Suppose -4*d = -x*j + 455, 5*d - d = 3*j - 457. Let l = -24 - d. Is l a multiple of 12?
False
Does 25 divide (-25492)/(-20) - (-66)/165?
True
Let n(i) = 6*i**3 - 38*i**2 + 21*i - 115. Is n(15) a multiple of 17?
True
Let t = 4136 - 3190. Is 86 a factor of t?
True
Suppose 93 = 7*m - 271. Suppose -4*d + m + 1576 = -4*x, -4*d = -x - 1634. Is 48 a factor of d?
False
Let u = -265 + 258. Let j(r) = -65*r + 115. Does 8 divide j(u)?
False
Let v = 8951 + -4137. Is v a multiple of 83?
True
Suppose -y - 243 - 412 = -5*d, 0 = 4*y + 20. Let c = -87 + d. Does 3 divide c?
False
Let r(l) = l**3 + 9*l**2 + 5*l - 5. Let f be r(-9). Let w = f - -59. Suppose w*n - 1428 = 372. Does 20 divide n?
True
Let d(l) = 28*l**2 + 149*l + 181. Does 12 divide d(-30)?
False
Suppose -11 = z + 5. Is 806/9 + z/(-36) a multiple of 18?
True
Is (6/5)/((-47)/(-185650)) a multiple of 21?
False
Suppose 36630 = 38*s - 27*s. Does 9 divide s?
True
Let f(h) = -3*h - 58. Let t be ((-10)/(-2))/((-6)/24). Let a be f(t). Suppose 9*b + 2*l - 271 = 4*b, 4*l = -a*b + 102. Does 4 divide b?
False
Let n be (-5)/(-4 + 1095/275). Let j = n - -219. Does 12 divide j?
False
Let x be 84/294*(-229)/2*-14. Let c = 658 - x. Is c a multiple of 5?
True
Suppose -19*c = -27*c + 704. Is 1 + ((-6)/8)/((-2)/c) a multiple of 34?
True
Suppose 0 = 5*h - 33 - 77. Suppose -14*i = -16*i + h. Suppose -9*w - 170 = -i*w. Does 11 divide w?
False
Suppose 12 = 5*t + 27, 5*t = 4*p - 31427. Is 22 a factor of p?
False
Let a be ((-9880)/(-182))/(4/4438). Is a/80 + -2 + 1/8 a multiple of 17?
False
Let k = -282 - -297. Let i(v) = 15*v - 51. Does 3 divide i(k)?
True
Let p(y) = y**3 - y**2 + 2*y + 18. Let d be p(0). Does 22 divide 32/d + -2 + (-10509)/(-27)?
False
Let r be (2/(-3) + 2)*(-150)/(-4). Let m be 4/(8/6) - -2*r. Suppose -m = -x + z, -x = -0*x + 3*z - 123. Is x a multiple of 27?
True
Let m(n) = -n**3 - 10*n**2 - 10*n - 7. Let c be m(-9). Suppose c*u + u = 3*r + 195, -4*u = 2*r - 242. Suppose -u = -a + 61. Does 27 divide a?
False
Suppose 3*c - 129 = -2*s, -2*s - 2*s - 111 = -3*c. Let f = 24 + c. Does 4 divide f?
False
Suppose 5 = -4*z - z. Does 42 divide (z/(-2))/(2/5784*3)?
False
Suppose 5*x - 5*m = 0, -2*x = 4*m - 2*m - 16. Suppose -x*g - 2*l - 1164 = -8*g, -g + 273 = -5*l. Suppose 76 - g = -7*i. Is i a multiple of 5?
False
Suppose -236 = -2*i + 4*p, 5*p - 205 = 3*i - 563. Let h = i + -7. Does 20 divide h?
False
Suppose 96*g = 91*g + 305. Suppose -62*o + g*o + 125 = 0. Is o a multiple of 3?
False
Suppose 2*w + 1176 = 23*w. Is w a multiple of 4?
True
Let o(x) = 98*x + 156. Let v(n) = 197*n + 317. Let k(w) = -7*o(w) + 4*v(w). Is k(7) a multiple of 10?
True
Suppose -3*s + 8*s + 22 = -3*g, g - 4 = 4*s. Is 19 a factor of (0 - s/(-3))*345/(-10)?
False
Let h be ((-1)/(-1))/(3/6). Let p = 631 - 631. Does 11 divide 616/14 - p/h?
True
Suppose -4*l = -5*d - 39042, -5*l - 10*d + 12*d + 48828 = 0. Does 12 divide l?
True
Suppose 2*d + 0 - 12 = -2*v, -2 = d - v. Suppose 3*b - 5*u = 4, -b - 2*u = d*b + 10. Does 17 divide 87 - (2 + 2) - b?
True
Suppose 4*v = 105*v - 258903 - 218322. Does 35 divide v?
True
Let s = 60 - 59. Let b(m) = -2*m + 11. Let x be b(9). Is (60/(-7))/(s/x) a multiple of 6?
True
Suppose 18*h - 16729 = 3035. Does 8 divide h?
False
Let m(a) = -a**2 - 16*a - 42. Let n be m(-7). Suppose 5*s - 2*w = n, w = 3*s - 2*w - 18. Suppose -5*l - 256 = -s*k - l, 250 = 3*k + 2*l. Does 14 divide k?
True
Let a(r) = 2*r**2 + 36*r + 8. Let p = 72 - 94. Is 46 a factor of a(p)?
True
Suppose 49 + 6 = -11*k. Does 43 divide (66/(-15)*22)/(1/k)?
False
Let h(m) = 559*m**2 + 20*m - 39. Is 29 a factor of h(5)?
True
Is -3*1*(224/48 - 6) + 2611 even?
False
Let y(d) = d**3 - 62*d**2 + 130*d + 63. Is 41 a factor of y(60)?
False
Let p(l) = -7*l**3 - 20*l**2 - 228*l + 46. Does 33 divide p(-10)?
True
Let c(j) be the second derivative of 29*j**3/6 - 49*j**2/2 + 57*j. Does 9 divide c(3)?
False
Suppose -2*b = 2*b - 72835 - 21581. Is b a multiple of 28?
True
Suppose 5*b = 3*b - t - 12, -12 = 2*b + 4*t. Let o(u) = -u**3 - 2*u**2 + 11*u + 18. Does 16 divide o(b)?
True
Let o be 10 + -13 - 104/(-1). Suppose -o = -2*t - 2*y + 121, -2*t = y - 223. Is t a multiple of 10?
False
Suppose -9*k + 5*k + 12*k - 48160 = 0. Does 126 divide k?
False
Let n(y) = -1. Let u(z) = z**2 + 7*z + 8. Suppose -2*d = -5*q + 8 + 24, d = 4*q - 22. Let h(k) = d*n(k) + u(k). Is 11 a factor of h(-10)?
True
Suppose y + 5*p = 125 + 43, y - 2*p = 140. Let a = y + -136. Is a a multiple of 6?
True
Is (-70600)/(-50) + (-3 - -5) + 0 + -1 a multiple of 157?
True
Suppose -128848 = -24*h + 87152. Is h a multiple of 14?
False
Let s = 19401 - 6675. Is s a multiple of 18?
True
Suppose -188*a + 181*a + 96432 = 0. Is a a multiple of 264?
False
Suppose 0 = -2*n - 2 + 8. Suppose n*a = a + 8. Suppose -2*v + 8 = 0, i - 278 = -i - a*v. Does 27 divide i?
False
Let m(d) = -223*d**2 + 10*d - 20. Let l(g) = -112*g**2 + 5*g - 10. Let b(f) = -7*l(f) + 3*m(f). Does 13 divide b(2)?
False
Does 37 divide -1 - 10069/(-4) - (2 - (-28)/(-16))?
True
Does 59 divide (-675)/90 - -7 - 69355/(-2)?
False
Suppose 770*q = 815*q - 17100. Is q a multiple of 15?
False
Let b be (36/21)/((-5)/35). Let q be -3*8/b*-2. Is (-436)/(-10) - q/10 a multiple of 44?
True
Suppose 4*n + 560052 = -0*n. Is 70 a factor of (-2)/3*n/47?
False
Suppose 7*j + 520 = 2*j. Let r = 344 - j. Is 16 a factor of r?
True
Let c(b) = 1352*b**2 - 43*b + 14. Does 47 divide c(-5)?
False
Suppose -7*y - 9 + 9 = 0. Suppose -17*h + 22*h - 1595 = y. Is h a multiple of 11?
True
Let q(x) = 3*x**3 + 16*x**2 - 3*x - 33. Let v be q(-5). Does 17 divide -1*(4124/(-14) + 4/v)?
False
Is 7 a factor of (-192208)/(-104) + (-46)/299?
True
Let k(a) = 16*a**2 - 17*a**2 + 39*a + 72 - 27*a. Is 22 a factor of k(14)?
True
Let b(q) = 2*q**2 + 4*q + 3. Let p be b(-1). Suppose 4*i = k + p, -3*i + 3 = k - 3. Is (8/2 - 4) + 13 + i a multiple of 3?
False
Let s(u) = -24*u + 1693. Is s(42) a multiple of 8?
False
Let z = 3025 + -3861. Suppose 4*r + v + 2*v = -5, v = -r - 2. Is z/(-12) + (r - 3)/(-6) a multiple of 14?
True
Let c be (-6)/(36/1194) - 7. Let b = 226 + c. Is 4 a factor of b?
True
Let h = -7402 + 10769. Does 6 divide h?
False
Suppose 4*x + 38*d - 34*d = -340, -4*x - 5*d = 335. Let o = -202 - -98. Let u = x - o. Does 14 divide u?
True
Suppose 5883418 = 154*g + 32*g + 1582540. Does 8 divide g?
False
Is (-36)/(-2)*-2*((-25050)/36)/25 a multiple of 121?
False
Let a(x) = 26*x**2 + 195*x - 50. Is 11 a factor of a(-15)?
False
Let p(n) = n**3 + 4*n**2 - 8*n - 12. Let h(c) = -c**2 - 4*c + 7. Let s be h(-6). Let q be p(s). Suppose 38 = q*x - 28. Is 11 a factor of x?
True
Suppose 5*y - 36 = -4*m, 2*y = 3*m + 12 - 16. Let l = -276 - -597. Suppose -4*g - 5*b = -l, 0 = 3*g - m*b - 14 - 250. Is 17 a factor of g?
False
Let l(m) = -2*m**3 + 15*m**2 + 62*m + 105. Is 21 a factor of l(-19)?
True
Let f(c) = c**2 - 4*c + 14. Suppose 8*t = 7*t - 13. Let m be (9/(-5))/(((-195)/(-50))/t). Does 20 divide f(m)?
False
Suppose 18942 = 2*v + 4*s, 38*v - 34*v + 4*s = 37860. Is v a multiple of 9?
True
Let l(c) = -4*c + 70. Let d be l(16). Does 35 divide (-2 + 1029 - d) + -6?
True
Let v be (-1)/2 + (2 - (-45)/2). Let j be (v/20*-1)/(6/20). Let n(p) = p**3 + 4*p**2 - p + 4. Is 8 a factor of n(j)?
True
Let o(v) = -15*v**2 + 7*v + 69. Let p(j) = -2*j**2 - j - 1. Let t(c) = -o(c) + 3*p(c). Is 3 a factor of t(-6)?
True
Let t = 41 - -73. Suppose t - 14 = d. Suppose -2*j + 26 + d = 0. Is j a mult