?
False
Suppose -8*r + 2917 = 173. Suppose r = 3*t - 203. Does 7 divide t?
True
Let n be 5*(2 + (-11)/5). Let j(k) = -33*k**3 + 4*k**2 + 3*k. Is 14 a factor of j(n)?
False
Let h = 4543 - 4284. Is 3 a factor of h?
False
Let p(l) = -l**2 + 6*l + 9. Let t be p(6). Suppose 6*u = t*u + 267. Let z = 183 + u. Does 10 divide z?
False
Let v(j) = 6*j**3 - j**2 - 7*j + 4. Let o be v(4). Suppose -5*i = 2*m + o, -3*m - i = -0*i + 490. Let p = -96 - m. Is p a multiple of 11?
True
Let p(c) = 3*c**2 + 40*c - 25. Let d be p(-14). Suppose 2*s = -2*u + 1120, u + d*s - 446 = 120. Is u a multiple of 10?
False
Suppose -65*u - 141729 = -202*u + 311193. Does 87 divide u?
True
Suppose -40*f = -5 + 5. Suppose f = 11*h - 16*h + 3*t + 726, t = -5*h + 718. Is 72 a factor of h?
True
Suppose -2*h - 2*d - 8064 = -4*d, 0 = 3*h - 2*d + 12094. Let c = -2535 - h. Is 65 a factor of c?
True
Suppose -2*x + 8*x = 84. Suppose 0 = 14*h + x. Is (-685)/(-30) + h/(-6) + -2 a multiple of 9?
False
Let h(m) = -18*m - 13. Let s be h(4). Let z = -71 - s. Is z*12 - 76/(-19) a multiple of 13?
False
Let u(q) = 70*q + 6. Let z be u(1). Suppose -220 = -2*k - z. Is 19 a factor of k?
False
Let w = 1798 - 118. Suppose -7*f = -f - w. Does 70 divide f?
True
Let d(o) be the third derivative of 13*o**7/5040 + o**6/360 - 13*o**5/20 - 22*o**2. Let p(n) be the third derivative of d(n). Is p(5) a multiple of 9?
False
Suppose 13*n + 8*n = 6*n + 52065. Is 13 a factor of n?
True
Let t = -15752 - -36849. Is 73 a factor of t?
True
Let o(b) = b**2 - 6. Let q be o(2). Is (-15)/q*(-2392)/(-130) a multiple of 13?
False
Suppose 0 = 3*l + 4*w - 8, 3*l - 10 = -w - w. Suppose -r + d = l*d - 247, 0 = r - 3*d - 265. Is r a multiple of 10?
False
Suppose -574 = -7*l + 9*l + 4*t, 1435 = -5*l + 3*t. Let h = l + 860. Is 17 a factor of h?
False
Let q(h) = -h - 1. Let d be q(-4). Suppose 2*m = 289 + 65. Suppose 21 = -d*y + m. Does 6 divide y?
False
Suppose -2196*m + 2186*m + 35340 = 0. Is m a multiple of 93?
True
Suppose -y - 180 = -5*d, -3*d - y = -123 + 15. Does 13 divide (-4)/(((-6)/4)/(3969/d))?
False
Let d(p) = 2*p**3 + 25*p**2 - 24*p - 32. Does 13 divide d(-9)?
False
Suppose -29*a + 384 + 138 = 0. Is 30 a factor of 4180/a - (-1 - (-66)/54)?
False
Is 42 a factor of (-198)/(-2 + 2 + ((-9)/3)/63)?
True
Let s = -227 + 231. Suppose q = 5*y + 143, s*q - 756 + 184 = 5*y. Does 8 divide q?
False
Suppose -294 = -4*c + l, -4*c - 3*l + 282 = 2*l. Suppose 13 - c = 5*g. Let r = 96 - g. Is r a multiple of 11?
False
Let c = -1725 + 2742. Let n = c + -722. Is n/10*-1*-2 a multiple of 14?
False
Let a = -1319 - -4773. Is a a multiple of 17?
False
Suppose 3*c = -2*l + 39214, 4*c - 916*l - 52280 = -918*l. Is 47 a factor of c?
True
Let q(j) = -j**2 - 9*j + 52. Let n be q(-13). Suppose n = -17*c + 11*c + 162. Does 4 divide c?
False
Let o = -23 + 9. Let t(d) = -2*d - 23. Let q be t(o). Suppose h - 99 = -2*c, 5*c - 2*c + 469 = q*h. Is 19 a factor of h?
True
Suppose -2*l + 6315 = 3*f - 8157, -24106 = -5*f - l. Is f a multiple of 4?
True
Let w = 12667 - 5293. Is w a multiple of 6?
True
Suppose 5*y = 19*y - 2814. Suppose 0 = 203*s - y*s - 582. Is s a multiple of 18?
False
Let j be 1*(-4 + 3)*12. Let t = j - -20. Suppose -3*k - 90 = -t*k. Is k a multiple of 3?
True
Suppose 4*w + 22 = 4*u + w, -u - 2 = 3*w. Suppose -s + 1002 = 3*s - 2*i, -s - 4*i + 228 = 0. Suppose u*a = s + 132. Is 28 a factor of a?
False
Let b = 5789 + 5453. Is b a multiple of 77?
True
Let u(h) = -2*h**2 - 157*h + 12. Does 24 divide u(-36)?
True
Let f = 91 + -87. Suppose 4 = -f*q + 24. Suppose 158 = 4*n + s + 50, 0 = -5*n - q*s + 120. Is 3 a factor of n?
False
Let i be (-1)/3 + 1729/3. Let j = -160 + i. Does 41 divide j?
False
Let j be 3*(-3)/(0 - 3). Let i(u) be the third derivative of u**5/10 - u**4/4 + 3*u**3/2 + 59*u**2. Is 9 a factor of i(j)?
True
Let l be 3/15*30/(-12)*-4. Suppose 5*y = -l*y + 63. Suppose 0 = -3*f + 39 - y. Does 4 divide f?
False
Let z = 1114 - -1131. Is 7 a factor of z?
False
Is ((-23074556)/2649)/((-4)/3) a multiple of 3?
False
Suppose 4*l - 4*q - 44 = 0, 0*q = -5*l - 4*q + 37. Suppose 60 = -8*r + l*r. Is 3408/r + (-1)/(-5) a multiple of 48?
False
Suppose 38 = -6*p + 2*p - 5*r, 2*r = 2*p + 10. Let s be 4/14 - (-107)/p. Is 27 a factor of 93*(-10)/s*2?
False
Suppose 5*z = -h + 12, 2*h + 5 + 1 = 5*z. Suppose z*w - 4*y = -22 + 96, -w - 5*y = -44. Does 10 divide (-310)/(-8) + w/(-52)?
False
Does 122 divide 66684/6 - (-24 - -36)?
True
Let u = 3 + -6. Let r = u + 11. Is 3 a factor of (0 + 2)*(-5 + r)?
True
Suppose 2*i = -40 + 60. Suppose -i*u = -4*u - 240. Does 10 divide u?
True
Let q = -3424 - -8185. Does 69 divide q?
True
Let u(d) = -17*d**2 + 2*d + 12. Let b(x) = 16*x**2 - 3*x - 13. Let l(i) = -3*b(i) - 4*u(i). Is 29 a factor of l(-3)?
False
Let g be 650/75 + 2/(-3). Suppose -25 = -g*l + 3*l. Suppose d - b + l*b - 41 = 0, -5*b = 10. Does 8 divide d?
False
Let m be (2 + -5)/(1/854). Let r = -1670 - m. Is 26 a factor of r?
False
Let g(u) = 1094*u**2 - 138*u - 11. Is 5 a factor of g(-3)?
False
Let y = 12832 + -7279. Is y a multiple of 29?
False
Let r(q) = -q**3 - 21*q**2 + 42*q - 15. Let n be r(-24). Suppose -n = -5*z + z - c, -4*z + 3*c + 685 = 0. Is 30 a factor of z?
False
Let h(a) = 2*a + 16. Let z be h(-7). Let g(c) = 10*c**2 + c + 2. Let r be g(z). Let k = -19 + r. Does 25 divide k?
True
Let m(f) = 5*f**3 + 15*f**2 - 18*f + 42. Let k(g) = -14*g**3 - 46*g**2 + 53*g - 125. Let q(a) = 4*k(a) + 11*m(a). Does 22 divide q(-21)?
True
Let x be 16/(-112) + 43/7. Suppose z + 1 + 3 = 0. Is 165/2 - (1 + x/z) a multiple of 23?
False
Suppose -118*s + 1128751 - 193837 = 0. Is s a multiple of 19?
True
Suppose -3 - 9 = -4*o. Let w(v) = 11*v**2 + 8*v**o - 8*v**2 + 3*v - 3 - 9*v**3. Does 3 divide w(3)?
True
Let n(j) = 209*j**3 + 2*j**2 - 4*j + 21. Is 24 a factor of n(3)?
False
Let h(g) = -206*g + 3508. Let y be h(17). Let s(l) = 7*l + 0*l - 6 - 10. Is 26 a factor of s(y)?
True
Suppose 3*u + 4*o - 10936 = -296, u + 2*o - 3548 = 0. Is 15 a factor of u?
False
Let h be -205*(-2)/(-18) + (-8)/36. Let w be h - (-2)/6*3. Let r = w - -227. Is r a multiple of 45?
False
Let v(a) = -a**3 + 19*a**2 - 23*a - 57. Let k be v(18). Let p = k + 437. Is p a multiple of 10?
True
Suppose 0 = 4*q - 915 + 227. Let o = q - 122. Does 41 divide o?
False
Let p be -3 + (-2)/((-7)/((-21)/(-2))). Suppose -b - 2*q - 6 + 41 = p, 69 = 3*b - 3*q. Does 9 divide b?
True
Let p be -6819*4/12 + (4 - -1). Is 10 a factor of (p/147)/((-2)/105)?
True
Let r = -4985 + 11257. Does 64 divide r?
True
Suppose -4*i - k = -15, -4*i + 5*k = 2*k - 35. Suppose 92 = i*l - 38. Suppose l*m = 29*m - 237. Does 12 divide m?
False
Let f(s) = -43*s**2 - 3*s + 5493. Is 31 a factor of f(0)?
False
Suppose p - 5*x + 607 = 3665, 0 = 4*p + x - 12316. Does 54 divide p?
True
Is ((-3040)/(-32))/(-3 - 248/(-82)) a multiple of 20?
False
Suppose -108*n + 35113 = -59*n - 326115. Is n a multiple of 50?
False
Let o be ((-13)/(-3) - (-8)/12) + -3. Suppose c - o*f + 1 = f, 2*c - 4*f + 4 = 0. Is 10 a factor of 7/((-14)/c) + 78?
True
Let l be (-3073)/4 - ((-21)/4 - -5). Let u = -360 - l. Is 34 a factor of u?
True
Suppose 565*q = 183*q + 3209946. Is q a multiple of 17?
False
Suppose 0 = -u - u. Let d(j) be the first derivative of -j**4/4 - j**3/3 - j**2/2 + 12*j - 485. Is d(u) a multiple of 12?
True
Suppose -5*r + 5 = -2*y - 5, -3*r = 4*y - 6. Suppose -4*h + 400 = -4*w, 3*h = -r*w + 180 + 120. Is 5 a factor of h?
True
Suppose -4*k - 23 = -3*f, 2*k + 15 = 5*f - 14. Suppose -f*h = 5*n - 3910, 3*n + 797 = 4*n + 4*h. Is n a multiple of 21?
True
Let g(j) = -194*j - 914. Is 32 a factor of g(-9)?
True
Let l(f) be the second derivative of -35*f**3 - 6*f**2 - 5*f - 4. Is 18 a factor of l(-1)?
True
Suppose 87*u + 33*u = 23*u + 301864. Is u a multiple of 8?
True
Let w = -481 + 780. Suppose -i = -w - 121. Is 30 a factor of i?
True
Suppose 3*b + c = -2*b + 26, -5*c = b + 14. Let x be (-10)/b - 577/3. Let z = x - -380. Is z a multiple of 15?
False
Let d be (-5)/3*3/(-5) + 4. Suppose 2*l = -d*t + 3*l + 4674, 1856 = 2*t + 3*l. Is t a multiple of 86?
False
Does 17 divide 28*357/(-18)*((-65)/2 - -13)?
True
Suppose -6*a = -a + 25, -4*a - 615 = -5*v. Suppose 0 = 6*q - v - 793. Suppose 2*z = 3*i - 44 + 120, 0 = 5*z + 2*i - q. Is z a multiple of 16?
True
Suppose -3*g + 5*n = g 