= 0. Is 15 a factor of d?
False
Let w = -1074 + 7885. Is 2 a factor of w?
False
Let q = -57318 - -118050. Is q a multiple of 14?
True
Suppose 0 = -4*c + 9*c - 110. Let d(u) = 2*u**2 - 49*u + 11. Let r be d(24). Does 8 divide c/(-5)*(-2 + r)?
False
Suppose 5*k - 15 = 0, -226*d + 229*d + 5*k - 186909 = 0. Is d a multiple of 18?
True
Let s = -2694 - -4107. Let l = -787 + s. Is 41 a factor of l?
False
Let p(y) = -70*y - 87. Let u be p(18). Is u/(-7) - (6/14 + 0) a multiple of 64?
True
Let o(x) = 17*x**2 + 10*x - 8. Let i(m) = -33*m**2 - 20*m + 19. Let k(u) = 3*i(u) + 7*o(u). Is k(-5) a multiple of 45?
False
Let q(p) = p**3 + 70*p**2 + 58*p - 138. Is 9 a factor of q(-68)?
True
Does 17 divide (-3*(-7)/42)/(-2*1/(-5604))?
False
Let p = 29306 - 19629. Does 3 divide p?
False
Let z be -1 + -144 + (-6)/(-2). Suppose -6615 + 24255 = 63*j. Let g = j + z. Is g a multiple of 14?
False
Suppose 5*u + x - 1186 = 1710, 1180 = 2*u - 5*x. Suppose 0 = 5*r + 5*f + 295 + u, 517 = -3*r - f. Let m = r - -297. Is m a multiple of 18?
True
Let u = 303 + -301. Suppose -u*j + 2*f - 1285 = -5*j, f - 1283 = -3*j. Does 24 divide j?
False
Let k(a) = -590*a - 15. Let u be k(-4). Let x = -1517 + u. Is 33 a factor of x?
False
Let y(m) = 11*m**2 + m - 4. Suppose c = -0*c + 5*l + 44, 0 = -5*c - 3*l + 108. Let r = -28 + c. Does 56 divide y(r)?
True
Let v(w) = -w**2 + 55*w**3 + 1 - 48*w**3 + w + 0*w. Let j be v(1). Suppose n + 336 = j*n. Is 24 a factor of n?
True
Suppose -2*a - 3*a = -4*q + 380, -4*a = -16. Let o be (-120)/q*(-10)/4. Suppose 5*l = -o*z + 226, 4*z - 95 = -2*l + 197. Does 9 divide z?
True
Is (-23)/(-12 - (-455)/39) a multiple of 2?
False
Is (-10)/(-265) + (-8171262)/(-1749) a multiple of 32?
True
Suppose -1649053 = -404*u - 555423 + 3894962. Does 42 divide u?
True
Let z(h) be the first derivative of -133*h**2/2 + 7*h - 15. Let q be z(-1). Is 1/(-2)*(-11)/(55/q) a multiple of 14?
True
Let z(r) = -2*r**2 - 17*r**3 + 4*r + 18*r**3 + 2*r**2 + 4 + 2*r**2. Let b be z(8). Suppose 7*q = 4*q + 2*g + b, q + 3*g = 240. Is 38 a factor of q?
True
Let y = -46 - -51. Let l be 9/21 - y/(70/(-288)). Let j = l + 2. Is 6 a factor of j?
False
Let v = 220 + -217. Let d(z) = 238*z + 6. Is 12 a factor of d(v)?
True
Let q = 46 + -48. Let d(f) = 8*f**2 + 12*f + 20. Is d(q) a multiple of 28?
True
Let t(g) = 206*g**3 - 6*g**2 + 6*g + 6. Let f(q) = 32*q**2 - 4*q - 27*q**2 - 206*q**3 - 5*q + 4*q - 5. Let d(v) = -7*f(v) - 6*t(v). Is 41 a factor of d(1)?
True
Let w = -40 - 76. Let o = -68 - w. Suppose 5*a - 3*a = o. Does 24 divide a?
True
Let t(s) = -120*s + 87. Let j be t(-12). Let v = j - 1082. Is v a multiple of 8?
False
Let m(f) = -3006*f + 2303. Does 108 divide m(-7)?
False
Let i(b) = 242*b + 1470. Does 10 divide i(0)?
True
Let x be 31*3*(24 - 20). Suppose -2*f = 5*k - x, -2*f + 2*k = -0*k - 358. Is f a multiple of 18?
False
Suppose 0 = -5*z - 4*a + 42629, -39*a + 25571 = 3*z - 43*a. Is 155 a factor of z?
True
Let z(o) = -4*o**2 - 203*o - 158. Does 34 divide z(-45)?
False
Suppose 67*o - 69*o - 66450 = -5*v, -2*v - 3*o = -26561. Is 11 a factor of v?
True
Suppose -3*z + 9 = 4*w - 4, 0 = 4*w - 5*z + 11. Is 404 - (2 + -1)/(w/(-2)) a multiple of 58?
True
Let d(o) = 363*o + 231. Does 139 divide d(12)?
True
Let p(v) = -v**2 + 8*v - 7. Let o be p(5). Suppose 43 = o*w + 3. Suppose -55 = -f + 2*k, -w*f + 317 = 6*k - 2*k. Is f a multiple of 34?
False
Let r = -7153 + 12268. Does 15 divide r?
True
Suppose 4*f + 1100 = 4*s - 0*f, -8 = 2*f. Let t = s + -216. Is 5 a factor of t?
True
Suppose 285*w - 10945 = 347*w - 255721. Is 94 a factor of w?
True
Let q(h) = -h**2 + 54*h + 4897. Does 59 divide q(0)?
True
Let y(k) = 621*k**2 - 205*k + 1190. Is 106 a factor of y(6)?
False
Let a(q) = 5*q + 315. Let w be (-1 - (7 - 3) - -4)*0. Is 45 a factor of a(w)?
True
Let q be -3*(-3 + (-1065)/9). Let i(s) = 2*s**2 + 36*s + 72. Let k be i(-16). Suppose -q = -k*h + h. Does 11 divide h?
False
Is 2283677/66 + (-1)/6 a multiple of 20?
False
Is (-9 - -7255) + (-8 - 80/(-8)) a multiple of 12?
True
Suppose 0 = -9*y + 1046 - 74. Suppose 2*a + y = 932. Does 9 divide a?
False
Let c(b) = -3*b - 1. Let y be c(-1). Suppose 4*p - 51 = 4*v + 193, 3*v = -y*p + 102. Does 15 divide (-1)/(((-3)/p)/1)?
False
Suppose -406 = 6*k + 74. Let o = k - -192. Is 28 a factor of o?
True
Suppose 3*u = -1521 + 7623. Suppose t - u = -4*g, -t = -0*g - 5*g + 2538. Is g a multiple of 16?
False
Let n(p) = -5*p - 30. Let v be n(-7). Let j(l) = -l**2 + 8*l - 15. Let q be j(v). Suppose -2*t + q = 4*w - 126, -2*t = 2. Does 32 divide w?
True
Let l = 12747 - 11061. Is l a multiple of 8?
False
Suppose 0 = -5*v - d + 4990, -6*v = -4*v + 5*d - 1996. Is 10 a factor of v?
False
Suppose 24*l - 62112 = -53*l + 106133. Does 19 divide l?
True
Let p(m) = 9*m**2 - 5*m + 13. Let x(l) = 7*l**2 - 1. Let s(v) = -p(v) + 5*x(v). Is 24 a factor of s(2)?
True
Let o(h) = h**3 - 11*h**2 - 3. Let u be o(11). Let d(r) be the first derivative of 2*r**2 + 18*r + 58. Is d(u) a multiple of 2?
True
Let w = 193 - 113. Let x = 74 - w. Is 11 a factor of (-114)/(3/(-3)*x/(-3))?
False
Suppose -30*r = -32*r + 908. Suppose 2*x + 3*s = 915, 5*x + 5*s - r = 4*x. Does 27 divide x?
True
Suppose 5*f - 3*r = 6774, -5*r + 902 = 2*f - 1820. Is 12 a factor of f?
True
Let j(x) = 3*x - 38. Let h be j(-14). Let k = h - -84. Suppose v + 36 = k*v. Is 3 a factor of v?
True
Suppose 2*i - 13 = 5*o, 0 = -13*i + 12*i + 3*o + 6. Suppose 600 = -5*w + i*w. Does 10 divide w?
True
Suppose -2*r = -4*j + 51118, -56505 = -3*j - 26*r - 18029. Is j a multiple of 83?
True
Let l = 2648 + -1428. Does 83 divide l?
False
Let g(z) = 654*z**2 + 35*z + 249. Is 175 a factor of g(-8)?
True
Let x = -100 + -341. Let u = x + 797. Is u a multiple of 13?
False
Let n be (198/24)/(-11) + (-22653)/(-12). Suppose l = -o + 1319, -3*l + 3*o = n - 5850. Is l a multiple of 55?
True
Let l be 17/(-5) - 10/(-25). Let i(q) = -q**2 - 4*q - 2. Let b(d) = d**2 + 5*d + 1. Let h(p) = -3*b(p) - 4*i(p). Does 4 divide h(l)?
False
Suppose -45*w = -8*w - 1434120. Is w a multiple of 264?
False
Let n(o) = -55*o - 69. Let b(c) = 18*c + 23. Let h(u) = 11*b(u) + 4*n(u). Does 20 divide h(-11)?
False
Let n(l) = 1084*l**2 + 590*l + 590. Does 8 divide n(-1)?
False
Let g(r) = -20615*r**3 - 26*r**2 - 29*r - 3. Is 95 a factor of g(-1)?
True
Suppose -4*d + 44 = 4*y, 7*d - 4*y = 2*d + 46. Suppose 0 = 4*v - 2*z - 0*z - d, -2*v = 3*z - 1. Suppose -v*i = 3*m + 67 - 314, 5*m + 5 = 0. Does 18 divide i?
False
Let t(a) = 26*a**2 - 5*a + 5. Suppose 3*q = -3*k, 1 = 3*k - 6*q + 8*q. Let o be t(k). Let s = o - -86. Does 28 divide s?
True
Is 8 a factor of -11*(-2)/44*537334/7?
False
Let h = -23 - -936. Suppose 185 = -8*z + h. Is 6 a factor of z?
False
Let n(h) = 115*h**2 - 27*h - 89. Is n(-3) a multiple of 24?
False
Let m be -2*(-5)/(-20)*-6. Suppose 106 = 5*t - 4*t + m*y, -3*t + 344 = -4*y. Is 10 a factor of t?
False
Let y(d) be the first derivative of 3*d**3/2 - 7*d**2/2 + 11*d - 15. Let r(o) be the first derivative of y(o). Is 11 a factor of r(8)?
False
Let o(y) be the third derivative of -y**6/120 - 11*y**5/60 - y**4/24 + 29*y**3/6 - 7*y**2 - 2*y. Does 4 divide o(-11)?
True
Suppose 2*a - 15738 = -5*z, -3935 = -3*a - 5*z + 19682. Is 23 a factor of a?
False
Let l(j) = 1001*j + 38. Let o be l(9). Suppose -16*i - 2663 = -o. Is i a multiple of 7?
True
Suppose c = -q + 3, 4*c - 15 = 5*q + 24. Let f be -1 - 4*(-3)/c. Is 11 a factor of (0/2 + -8)/(f/(-15))?
False
Let k(y) = 7*y**2 - 338*y. Is k(-6) a multiple of 6?
True
Suppose -1 = n, -3*y - 2*y + 2*n = -40712. Is y a multiple of 59?
True
Let y(i) = 96 + 5*i**2 + 16*i + 0*i**2 - 2*i**2 - 40*i - 56*i. Is 24 a factor of y(37)?
False
Let m(n) = -296*n - 2072. Is m(-35) a multiple of 25?
False
Suppose -2*c + 76*x = 75*x - 12, 3*c = -5*x + 5. Let l(p) = -14*p + 9 - 2*p**3 - 5*p + 14*p**2 + 6*p. Does 22 divide l(c)?
True
Let s = -3706 + 5297. Is s a multiple of 18?
False
Let m(i) = i**3 - 65 + 301 + 102 + i**2 - 3*i**2. Is m(0) a multiple of 26?
True
Let h be 4*(3 + 1 - 3). Suppose s = -2*o + 6*s + 84, 190 = h*o + s. Is 2 a factor of o?
False
Suppose 3*q + 16 = -5*j, -j - 4*q = j + 12. Let c be (j - -19) + (-8 - -9). Suppose i = 2*m - c, -m - 2*i + 27 = 4*m. Does 7 divide m?
True
Let b = -24619 - -35736. Does 34 divide b?
False
Is (-1)/(-42)*133 - 