 of 103?
True
Let q(k) = 3*k**2 + 68*k + 685. Is q(-12) a multiple of 27?
False
Does 50 divide 36198 + (1 - 1/((16/8)/(-2)))?
True
Let r be 1 - (-685)/(-10)*(-14)/7. Let j = 327 - r. Is j a multiple of 3?
True
Does 2 divide 80/40*(-3740)/(-8)?
False
Suppose 3*j - 5*l + 10 = 0, -2*j - 3*l - 8 = -j. Let y be 4 - (10 + (-3 - j)). Is (-68)/y*(2 - 2 - -14) a multiple of 6?
False
Suppose 222*v - 14 = 220*v. Suppose -37*n = v*n - 8052. Does 17 divide n?
False
Is 168 a factor of (-3410)/(-20)*28 + 11?
False
Let y = 11 - 22. Let s(z) = 8*z - 21. Let j(f) = -18*f + 42. Let m(b) = 6*j(b) + 13*s(b). Does 13 divide m(y)?
False
Let s(t) be the third derivative of -11*t**5/12 + t**4/6 - t**3/6 - t**2. Let j be s(-9). Is (-28)/154 + j/(-22) a multiple of 32?
False
Does 34 divide (-4)/14 + -16*1432/(-224)?
True
Does 19 divide ((-1)/((-12)/723))/((-5)/(-540))?
False
Let b(v) = v**2. Let l be b(-4). Let d(n) = -n**3 + 15*n**2 + 15*n + 29. Let w be d(l). Suppose w*k - 420 = 9*k. Is k a multiple of 21?
True
Suppose -3*s + 94 = x + 4, -5*x - 4*s + 428 = 0. Suppose -11 - x = -h. Is 39 a factor of h?
False
Suppose 5*t + 3*z + 54 = 0, 4*t + 42 = -0*z - 3*z. Let r be 3*(-2)/t + 231/14. Let j = r + 13. Does 11 divide j?
False
Suppose -8*r = -4*r - 72. Suppose -p - 2*p - r = 0. Does 9 divide 42*2/(-8)*p?
True
Let s(v) be the third derivative of 13*v**5/60 - 4*v**4/3 + v**3 - 36*v**2 - v. Does 12 divide s(8)?
False
Suppose -8*l + 14*l - 28348 = -5*u, 3*u = 5*l - 23609. Is 81 a factor of l?
False
Let o(t) = -2*t**3 - 51*t**2 - 231*t + 76. Does 24 divide o(-28)?
True
Let o(d) = d**2 - 9*d + 5. Let f be o(9). Let q(b) = 13*b - 19 + 14 - f*b. Is 25 a factor of q(7)?
False
Suppose -2*k - 2*p + 55070 = 0, -k + 27521 = 27*p - 24*p. Does 359 divide k?
False
Suppose -w - 11 - 1 = 0. Let d(t) = -t**2 - 206*t + 1483. Let o be d(7). Is w - o - (-58)/1 a multiple of 9?
True
Let t(z) = -3*z - 37. Let v(f) = 2*f + 24. Let j(x) = -5*t(x) - 8*v(x). Let l be j(7). Is (-20)/(-70) - 178/l a multiple of 6?
False
Let p be (-202)/(-18) - -1 - 78/351. Suppose -17*w = -11*w + p. Let v(d) = -62*d - 12. Is v(w) a multiple of 14?
True
Let f be (10/5 - -11)*1. Let d = 16 + f. Suppose 4*y = d + 67. Is 8 a factor of y?
True
Suppose 4*i = 2*k - 7*k + 6510, -5*k - i + 6495 = 0. Does 22 divide k?
True
Let d be (-35)/(-70) - 923/2. Let h = -19 - d. Does 17 divide h?
True
Let q be -1 + 4 + (-3)/3 + 90. Let m = q - 86. Is 8 a factor of (2*m)/(((-45)/50)/(-9))?
True
Let m be (2 - (2 + -3)) + 42 + -36. Let d(i) = -i**2 + 41*i - 6. Is d(m) a multiple of 3?
True
Let x be (63/(-28) + -8)/(1/20). Is x/82*(-1116)/10 a multiple of 13?
False
Let b(y) = -40*y**3 - y**2 + 10*y - 37. Is b(-6) a multiple of 21?
False
Let w be (-8 - 4)*1/2. Let l(x) = 5*x**2 + 4*x + 9. Is 33 a factor of l(w)?
True
Suppose 112*x = 4*m + 108*x - 1948, 2*m + 5*x = 1009. Is 15 a factor of m?
False
Let x = -45871 - -90389. Does 191 divide x?
False
Suppose 2*r - 2 = 10. Let q = 13 - 3. Suppose -r*d + q*d = 52. Does 3 divide d?
False
Suppose 4*z = -2*p + 10450, 0 = 253*z - 248*z + 3*p - 13060. Is z a multiple of 11?
False
Suppose 0 = -g + p + 4, 0 = 5*g + 4*p - 7 - 4. Suppose -5*x + 6 = -g*x. Suppose -x*o + 75 = -438. Does 9 divide o?
True
Suppose -3*v + 2*f = -671, -2*v - 4*f + 362 = -96. Is v a multiple of 2?
False
Let w(y) = -13*y**2 + 7*y + 26. Let z(o) be the first derivative of -4*o**3/3 + o**2 + 9*o + 2. Let u(d) = 2*w(d) - 7*z(d). Does 21 divide u(-4)?
True
Is 32 a factor of ((-2125)/(-34))/25*4956/5?
False
Let j(u) = 7*u**3 - u**2 + 57*u + 197. Is 54 a factor of j(15)?
False
Does 3 divide 14/(-2) + 141879/63 + 33/(-693)?
False
Let o be 4/((-1)/(510/12)). Let q = o - -196. Is q a multiple of 2?
True
Is 12 a factor of 1/5 + ((-225370)/25)/(-1) - 3?
True
Suppose 19*a - 24706 - 2390 = 11*a. Does 23 divide a?
False
Let k(c) = c**3 - 3*c**2 + 6*c - 15. Let p be k(3). Suppose o = p*j + 82 + 32, 498 = 4*o + 2*j. Is 15 a factor of o?
False
Let j be 40/(-12) + 2 + 40/30. Let y(q) = -q**2 - 5*q + 28. Is y(j) a multiple of 14?
True
Let x = 4228 + 12008. Is x a multiple of 31?
False
Let s(m) = -m**2 + 9*m + 3. Let n be s(6). Suppose -4186 = -n*r - 2*r. Does 14 divide r?
True
Suppose 5*w + 176 - 176 = 0. Does 20 divide 4*(w/2 - -20)?
True
Suppose -3*t + 4125 = 8*t. Suppose -570 = -3*z + 3*w, w = 2*z - 2*w - t. Does 11 divide z?
False
Suppose 0 = -35*x - 158 - 17. Let d(q) = q**2 + 5*q + 28. Does 4 divide d(x)?
True
Is 18 a factor of (270/8)/(30/(-12) - 22435/(-8960))?
True
Let o = -98406 - -139109. Is o a multiple of 38?
False
Suppose -2*u = 4*j - 3*u - 30, 3*j - 4*u - 16 = 0. Let c(r) = 2*r**2 + 14*r - 12. Let i be c(j). Suppose 522 = 6*q - i. Is 32 a factor of q?
False
Let z(o) = -o**3 + 6*o**2 + 19*o - 19. Let b be z(8). Let k(i) = -20*i + 5*i - 35 + b*i. Does 31 divide k(-19)?
True
Let q = -19433 + 34934. Is 10 a factor of q?
False
Suppose 41*f - 45*f + 68 = 0. Is (85*-1)/(-1) + (f - 13) a multiple of 13?
False
Let q(f) = -11*f + 132. Let w be q(12). Is (-1068)/15*(-3 + -2 + w) a multiple of 32?
False
Let o be (-368)/14 - 6/(-21). Let r = o + 31. Suppose r*b + 40 = 4*p, 7 = b + 3. Does 2 divide p?
False
Suppose 2*i + 244 = -4*g + 4452, i - 1051 = -g. Is 117 a factor of g?
True
Suppose 39*p - 74*p = -55*p + 19480. Is 2 a factor of p?
True
Is (-9)/2*2/3 + 19 + 478 a multiple of 13?
True
Suppose 48*c = 180*c - 611292. Is 13 a factor of c?
False
Suppose -3*q + 9 = 3. Let m be (4/(-8))/(q + 206/(-104)). Does 16 divide (-6)/(-2 + m/(-16))?
True
Let p(z) = -7*z - 22. Let n = -234 + 225. Is 14 a factor of p(n)?
False
Let t(j) = -824*j - 4160. Is t(-8) even?
True
Does 18 divide (-68546)/(-4) - 195/390?
True
Let o = 475 + -173. Let q = 429 - o. Does 44 divide q?
False
Suppose 2*m - 153 + 143 = 0, -41446 = -6*n + 4*m. Is n a multiple of 191?
False
Let g = -163 + 190. Suppose -96 = -32*o + g*o + 3*j, -5*o + 108 = j. Is o a multiple of 6?
False
Let w(p) = -173*p + 92. Does 2 divide w(0)?
True
Let v(d) = -d**3 - 2*d**2 - 45*d + 46. Is 46 a factor of v(-19)?
True
Let u(z) = 3*z**3 + 57*z**2 - 7*z + 29. Is u(-7) a multiple of 6?
True
Suppose -1491320 = -52*h + 12*h. Is 23 a factor of h?
True
Suppose 4*l - h - 111937 = 0, 0 = h + 354 - 353. Is 16 a factor of l?
True
Let x be (6 - 3 - 5) + -1 + 5. Suppose 5*v + i = 1395, x*v + i - 565 = 2*i. Is 35 a factor of v?
True
Let n(q) = -185*q - 22. Let b be n(-3). Suppose -2*o = x - b, -10 = x + x. Does 34 divide o?
False
Let u be ((-18)/(-8))/((-2)/(-32)*-4). Let y be (9 + u)/(-1 + -1). Suppose -6*m - 2*m + 512 = y. Does 9 divide m?
False
Let n(c) = 2611*c - 15530. Does 20 divide n(10)?
True
Suppose 26*x + 749 = -291. Let f = 81 + x. Is f a multiple of 7?
False
Suppose -5*u = 4*c - 5512, 7*u + 4412 = 11*u + 2*c. Suppose 2*p = 26*p - u. Is p a multiple of 3?
False
Let x = -324 + 242. Let h = 21 - x. Does 19 divide h?
False
Let b be 2 + 2 - 22/11. Suppose 0 = -3*n + b*y + 606, 2*n + y - 208 = 189. Is n a multiple of 8?
True
Let i(x) = -x**3 - 12*x**2 - 12*x - 7. Let j = 53 + -64. Let f be i(j). Suppose 3*t - 5*h - 292 = 0, 118 = f*t + 5*h - 318. Is t a multiple of 25?
False
Let v be 4/6 - 4/(-12). Let l(z) = 5*z**3 + 20*z**2 - 5*z - 4. Let h(b) = -b**3 - b**2 + b + 1. Let a(x) = v*l(x) + 6*h(x). Is a(14) a multiple of 9?
False
Let s be (-22)/(-6) + (-11 - 102/(-9)). Suppose 15*m = -s*m + 15162. Is m a multiple of 13?
False
Let v = -39855 + 67988. Is v a multiple of 140?
False
Suppose -t - 10 = 4*w, -2*t + 4*w = -3 - 1. Let x be 11 - (-6)/(t - 1). Let o = 50 - x. Is o a multiple of 15?
False
Let r be ((210/1)/3)/((-8)/(-12)). Let b = -101 + r. Suppose b*x = -0*x + 148. Is x a multiple of 7?
False
Let t = -441 + 2621. Suppose 47 - 915 = -2*h + 2*m, -5*h + t = -3*m. Is h a multiple of 35?
False
Let y be 4 - 3 - (0 + 51). Let b be (y/20)/(2/(-124)). Suppose -5*m - 9 = x - 184, -5*m + b = 5*x. Does 12 divide m?
True
Let j = 2711 + 7093. Does 75 divide j?
False
Let t(j) = -2*j**3 + 5*j**2 + 5*j - 4. Let h(l) = l**3 - 3*l**2 - 3*l + 2. Let o(d) = -5*h(d) - 3*t(d). Let i = 859 + -857. Is o(i) a multiple of 5?
True
Let c = 11012 - 5814. Is c a multiple of 107?
False
Let x(g) = -g**3 - 10*g**2 + 23*g - 8. Let q be x(-12). Is 481 - (8 + q + -11) a multiple of 15?
True
Let h(j) = 54*j - 3028. Is 4 a factor of h(82)?
True
Let o(r)