20 = i. Is t a multiple of 5?
True
Suppose -495 = -4*l + 3*f - 1511, -5*l = 2*f + 1270. Let v = -149 - l. Does 15 divide v?
True
Let x(u) = 39*u**2 + 12*u + 8. Is 181 a factor of x(-15)?
False
Let w(f) = -336*f - 949. Is w(-5) a multiple of 6?
False
Let x be ((-4)/12)/((-3)/99). Suppose -10*l = -x*l + 37. Suppose l = -4*o + 233. Is o a multiple of 8?
False
Let x be (4 + -3 + 0)/(1/1790). Let p = x + -1268. Is p a multiple of 11?
False
Let j be 6/12*-284 - -2. Suppose -218*i = -215*i - 582. Let y = i + j. Does 9 divide y?
True
Let x(s) = 161*s**2 + 7*s + 11. Let u be x(-3). Let i = -711 + u. Does 14 divide i?
True
Let n(q) = 28*q. Let o be n(1). Suppose -o - 47 = -5*w. Is 3/(-2)*(-50)/w a multiple of 4?
False
Suppose -r + 46 = -v, 503*v + 88 = 2*r + 502*v. Let q = -534 + 844. Suppose -2*u + r = 4*p - 172, 5*p = 3*u - q. Is 38 a factor of u?
False
Suppose 2*f + 961 - 17884 = 34305. Is f a multiple of 47?
False
Let r(d) = d**3 + 67*d**2 + 79*d - 63. Is 4 a factor of r(-65)?
True
Let o = -6519 - -11269. Suppose 541 = 4*t - 4*i - 5803, -3*t = -i - o. Is 21 a factor of t?
False
Let y(g) = g - 11. Let x be y(6). Let m be (1 - 1 - 8)/(x/60). Suppose n - 3*n + m = 0. Is 12 a factor of n?
True
Is -455*(17 + (-5122)/91) a multiple of 275?
True
Suppose 29*v - 28202 = 18082. Is 14 a factor of v?
True
Let j be -3 - 2 - (-207 + -1). Let g = j + 196. Does 67 divide g?
False
Suppose -2801265 - 5191479 + 476349 = -201*x. Is x a multiple of 148?
False
Let s(q) = q**3 - 72*q**2 + 77*q + 802. Is 13 a factor of s(71)?
False
Let q = 6826 + -2296. Is 14 a factor of q?
False
Does 16 divide ((-17)/(34/14016))/((-6)/4)?
True
Let j = 35 - 17. Is 9 a factor of (-9)/j*40/6*-108?
True
Let t(j) = -j**3 - 24*j**2 + 44*j + 8. Suppose -6*f + 234 = -15*f. Does 12 divide t(f)?
True
Let i = 46 + -49. Let o(r) = r**3 + 5*r**2 + 3*r - 3. Let a be o(i). Does 19 divide (-645)/(-45)*a/2?
False
Let g be (-1694)/(-9) + 14/(-63). Let q = g - 92. Suppose 3*n - q = r + 2*r, -5*n - 4*r + 115 = 0. Does 16 divide n?
False
Suppose -44 - 24 = -2*o. Let u = o - 29. Let c(s) = -s**3 + 6*s**2 + 2*s - 1. Is 25 a factor of c(u)?
False
Let x(d) = 239*d**2 + 5*d + 6. Is 29 a factor of x(-2)?
False
Let t be 2795/39 + (-2)/(-6). Let y = 72 - t. Suppose -6*z + 807 + 129 = y. Does 26 divide z?
True
Suppose -2*b = -4*i + 30, 0*i - 3*i - 2*b = -5. Suppose 2*v + 6 = s, 6*v = i*v - 4. Does 13 divide s/(-3)*3 + (0 - -50)?
True
Let x = -19122 + 20067. Is 9 a factor of x?
True
Let q be (4*3/(-12))/((-1)/37). Suppose -q*o - 4*o = -53136. Is o a multiple of 36?
True
Suppose u - 8*u + 14 = 0. Suppose 0 = u*c - 0*c - 886. Suppose 0 = a + 2*a - 2*l - c, -a + 5*l + 152 = 0. Is a a multiple of 21?
True
Let y be (-19 + -11)/(((-6)/(-20))/(-1)). Let k be ((-12)/(-4))/(3/y). Let n = 185 - k. Is n a multiple of 14?
False
Suppose -151*g = -156*g + 4*i + 133642, -2*g - i = -53449. Is 46 a factor of g?
True
Let f = 46042 + -24693. Does 145 divide f?
False
Suppose 293*z - 1235534 - 4251352 - 845430 = 0. Is 6 a factor of z?
True
Suppose -5*h + 134 = -91. Suppose -67*f + 11110 = -h*f. Is f a multiple of 12?
False
Let g = -24926 + 37064. Is g a multiple of 5?
False
Suppose 4*z + 83 + 221 = 0. Let i = z + 127. Suppose -r + 4*r - i = 0. Does 9 divide r?
False
Let h = -4954 - -12585. Is h a multiple of 88?
False
Let y(k) be the first derivative of k**3/3 + 5*k**2 - 11*k - 5. Let m be y(-11). Suppose m = -5*x + 150 - 45. Is x a multiple of 7?
True
Suppose 393780 = -36*k + 131880. Let c = -5190 - k. Is c a multiple of 15?
True
Suppose 2*y - 4*x = 1604, y + x - 271 - 540 = 0. Does 5 divide y?
False
Suppose 8*z + 3 = 35. Suppose 0 = -z*g - 20 + 28. Suppose -634 = -t - 2*t + g*c, 2*c = 2*t - 426. Is t a multiple of 29?
False
Let c(i) = -i + 14. Let d be c(11). Suppose -3*t - 9*m = -10*m - 9, -3*t = -5*m + 3. Suppose -d*q + 4*y = y - 360, -2*q + t*y + 240 = 0. Does 24 divide q?
True
Let k = 3648 + 347. Is 4 a factor of k?
False
Let q(s) be the first derivative of -s**4/4 + 13*s**3/3 - 11*s**2/2 - 15*s + 17. Let i be q(12). Does 17 divide 237 + -3 + i - -2?
False
Let m = 124 - 70. Let v be 90/m - 2/3. Is (34/85)/(v/5) even?
True
Let i = 750 + -394. Let p = -13 - -18. Suppose p*u = 4*s - 127 - i, 3*s + u = 348. Is 18 a factor of s?
False
Suppose 4*g + 457 = -191. Let c = g + 272. Suppose 58 = 3*p - c. Does 14 divide p?
True
Suppose 39*a = 3050 + 1198 - 738. Is 30 a factor of a?
True
Suppose -3*a + 122 = -4*c + 8*c, 5*a = -2*c + 68. Let k = 49 + c. Does 3 divide k?
True
Let i(l) = -l**2 + 27*l + 37. Let o be i(-17). Let u = o + 1037. Is 7 a factor of u?
False
Suppose 4*o = 34 + 14. Suppose o*q + 20 = -4. Is ((195 + 0)/1)/(q/(-2)) a multiple of 39?
True
Suppose 1179 = 234*u - 231*u. Suppose -u + 2673 = 19*c. Is 9 a factor of c?
False
Let r(a) be the second derivative of -a**6/72 - 41*a**5/120 + a**4/3 + 18*a. Let c(j) be the third derivative of r(j). Is c(-11) a multiple of 30?
False
Suppose 16*j + 30*j - 40656 = 32*j. Does 173 divide j?
False
Does 20 divide (6426/(-595))/((-3)/250)?
True
Suppose o + 3 = -1, 0 = 2*b - 4*o - 26. Suppose b*r - 744 = 3*f + 351, -r - 4*f + 219 = 0. Is r a multiple of 14?
False
Let d(f) be the third derivative of f**6/120 - f**5/12 + f**4/24 - 5*f**3/6 + 11*f**2. Let m be d(5). Let j = m - -18. Is 13 a factor of j?
False
Let a(l) = -8383*l**3 + 4*l + 5. Is a(-1) a multiple of 131?
True
Let w(t) = -383*t + 117. Let i be w(-9). Suppose 15*v - i = 6*v. Does 36 divide v?
True
Let k be 3 + 90/27 + (-2)/6. Let d(i) = 25*i + 100. Is d(k) a multiple of 7?
False
Suppose 7*j - 108285 = -8*j. Is 10 a factor of j?
False
Let x = -38622 + 82341. Is x a multiple of 39?
True
Let x(h) = 13*h + 34. Let d be x(-4). Let b be 60*14*(-3)/d. Suppose -4*u + b = -308. Is u a multiple of 28?
True
Let b(j) = 6*j**2 + 108*j - 290. Is 122 a factor of b(-41)?
True
Let h = 3231 + -2292. Let t = -456 + h. Does 23 divide t?
True
Let a be 30/4*(2 - (-40)/(-30)). Suppose a*f + 3*b = 583, f - 3*b - 24 - 89 = 0. Does 4 divide f?
True
Let y = -1526 - -925. Let v = y + 613. Is 6 a factor of v?
True
Suppose 5*p + 3*h - 6*h = 24, 4*h + 12 = 0. Suppose p*g = -7 + 19. Is 25 a factor of (7 + -357)/(g/(-2))?
True
Does 4 divide 12*(-8)/(-36) + 588/63?
True
Let z be (4/6)/(-2)*18. Let a be (-2)/z + (-1 - (-14)/21). Suppose 8*n + a*n = 1304. Does 44 divide n?
False
Let d(p) = 58*p**2 + 10*p - 96. Does 70 divide d(5)?
False
Let n(j) be the third derivative of -j**6/120 - 2*j**5/15 - j**4/4 + 17*j**3/6 + 9*j**2. Let m be n(-7). Suppose -m*l + 829 = 189. Is l a multiple of 16?
True
Let r be 15*-5*(-4)/100. Suppose 5*b - 2*y + 840 = 0, -4*y = r*b + 386 + 144. Let o = b + 240. Is 5 a factor of o?
True
Suppose -4*w = -4*c + 672, c - 2*w - 542 + 371 = 0. Is 2 a factor of c?
False
Suppose -65*g + 134880 = -59*g. Is 80 a factor of g?
True
Suppose -13*k = -18*k + 10. Suppose 2*m - 192 = -4*j - k*m, -3*m = -6. Suppose -5*p = -206 + j. Does 7 divide p?
False
Suppose 5*z + o = -2*o + 1926, 3*z - o = 1164. Let m(a) = a**3 + 8*a**2 - 35*a - 26. Let b be m(-9). Suppose -5*s + b = -z. Does 22 divide s?
False
Let r(d) = -121*d + 7698. Is r(-27) a multiple of 129?
True
Suppose 0 = -2*g - 3*q + 19878, 4*g - 7*q = -11*q + 39752. Does 77 divide g?
False
Let j = 118412 - 83961. Is 47 a factor of j?
True
Let v be 10/(-25) - 2126/10. Let d = 1060 - 735. Let j = v + d. Is 8 a factor of j?
True
Suppose 23 = 5*i + 3*v, -5*i - v - 5 = -26. Suppose -6*h = i - 52. Suppose h*w - 728 = 3*w - m, 0 = -w + 5*m + 130. Does 9 divide w?
False
Suppose -2*s - j = 8, 0 = -2*j - 0*j. Let p(m) = 50*m + 3997. Let g be p(-80). Is 3 a factor of 40/s*(-7)/((-14)/g)?
True
Let j be ((-285)/10)/((-12)/16). Suppose 0 = -j*w + 35*w - 279. Let i = -80 - w. Is 3 a factor of i?
False
Suppose -4*x + 30 = -34. Let t be (16 + -14)/(1 - x/18). Suppose 0 = 5*r - 248 + t. Is r a multiple of 19?
False
Suppose -5*t + 3*c = -140025, 5*t - 182*c + 187*c = 140065. Is t a multiple of 16?
False
Is (-41)/((-9594)/(-104))*(-143082)/2 a multiple of 9?
False
Suppose 102 = 3*h - 381. Suppose 5*v - 2*a - h = 391, -2*a - 216 = -2*v. Is 4 a factor of v?
True
Does 42 divide (1056/36*81/(-2))/(46/(-851))?
False
Does 53 divide 11/((-77)/(-42)) - (-2540 + -2)?
False
Let t = 23654 + 19841. Is 108 a factor of t?
False
Let s = -22 - -35. S