y a multiple of 5?
True
Suppose 0 = 186*y - 175*y + 15004. Let a = -580 - y. Is 16 a factor of a?
True
Let h(b) = 314*b + 2674. Is h(8) a multiple of 201?
False
Let o(x) = 14*x**2 + x**3 + 14 - 22*x + 11*x + 4*x. Is o(-14) a multiple of 7?
True
Suppose 0 = -2*i + 33*s - 35*s + 18748, -5*s - 9356 = -i. Does 13 divide i?
False
Let v = 4 + 5. Let o(f) be the third derivative of -f**6/120 + 11*f**5/60 + 11*f**4/24 - f**3/6 + 107*f**2 + 6*f - 2. Is o(v) a multiple of 13?
True
Let z = 441 + -446. Is 9 a factor of 6 + 1 + 178 + z?
True
Let i(q) = -q**2 + 6*q - 5. Let f be i(4). Let z be (-2)/f + (-5 - (-308)/12). Is z/(-3)*(-336)/32 a multiple of 14?
True
Let m(x) = -x**2 - 9*x + 114. Let p be m(7). Suppose -2*j = p*o - 950, 0*o = 4*j + 5*o - 1904. Is 36 a factor of j?
False
Let o = -5015 - -2805. Is 11 a factor of o/(-8) + (-5)/20?
False
Let r(l) = -1 - 42*l**3 - 2 + 78*l**3 - 5*l**2 - 37*l**3 - l. Let v be r(-10). Suppose v = -8*y + 1227. Is 18 a factor of y?
True
Let k = 175 + 89. Let s = 450 - k. Does 7 divide s?
False
Let d = -33 + 17. Let a(p) = p**3 + 20*p**2 + 17*p - 99. Is 36 a factor of a(d)?
False
Let n(j) = -18*j + 3. Let q be n(-3). Let v be (-5 - (-8 + 4)) + -14. Let u = v + q. Does 42 divide u?
True
Is 40 a factor of (-2 - 22)*-245*((-22 - -34) + -11)?
True
Suppose 0*r = -2*r - 16. Let a = r - -5. Is (32 - 2)/(a/15*-5) a multiple of 15?
True
Let m = -519 - -700. Let w = m + 11. Is 6 a factor of w?
True
Suppose -44*d = -42*d - 8. Suppose 0 = -d*i + 4146 + 606. Suppose -11*g - 7*g = -i. Does 6 divide g?
True
Let v be (-42176)/(-84) + 14/(-147). Let b = 802 - v. Does 20 divide b?
True
Suppose 0 = 27*c - 26*c + 2*w - 1165, 0 = 2*c - 4*w - 2338. Does 4 divide c?
False
Let v(y) = 26*y**2 + 23*y**2 + 26 - 50*y**2 + 17*y. Is v(16) a multiple of 6?
True
Suppose -5*o - y + 376 = -0*y, -3*o + 3*y = -240. Let h be (-7 - o/(-12))*-3*1. Suppose 5*c - h*g - 505 = 0, g - 2*g + 292 = 3*c. Is 33 a factor of c?
True
Let n = -24 - -48. Does 13 divide (-2176)/(-28) + n/84?
True
Suppose 0 = -48*z + 7*z + 247968. Is 8 a factor of z?
True
Let z(y) = -y**2 - 12*y - 17. Let q be z(-5). Is -2*(-2 + 3) - (-7020)/q a multiple of 5?
False
Suppose 0*i = 2*i - 5*d - 5, i - 4*d = 4. Let m(o) = 2*o**2 + o + 88. Does 44 divide m(i)?
True
Let v(d) = -38*d**2 + 8*d**3 + 15*d**3 + 137 - 21*d - 39 - 24*d**3. Is v(-38) a multiple of 56?
True
Let s be -2060 - 16/(-2) - 6. Let v = 3659 + s. Is v a multiple of 19?
False
Let n = 134 + -103. Let t(c) = 6*c + 6. Is t(n) a multiple of 32?
True
Suppose -5838 = -4*f + 2*x, -60*f + 57*f + 3*x + 4374 = 0. Does 4 divide f?
False
Let p(w) = -w**3 + 15*w**2 + 29*w - 57. Is 3 a factor of p(12)?
True
Suppose -3*t = q - 124, -t + 2*q = -22 - 17. Let m = t - 39. Is 13 a factor of 50 + -1 + -3 + m?
False
Let j(p) = 159*p**2 + 74*p - 484. Does 62 divide j(6)?
False
Let c(r) = 2*r**2 + 13*r + 25. Let u(a) = -2*a**2 - 12*a - 26. Let f(q) = -2*c(q) - 3*u(q). Let y be f(-12). Let v = y + -114. Is v a multiple of 41?
True
Let a(t) = -t**2 - 58*t + 5. Let s be a(-43). Suppose -4*f + s = -386. Does 51 divide f?
False
Let j(a) = -a**3 - 10*a**2 + 10*a - 7. Let m be j(-11). Suppose 0 = -4*d - 4*r + 1640, 0 = 2*d + 2*r - m*r - 800. Suppose -4*p = -d + 37. Does 31 divide p?
False
Let s be (-1)/(-2) - (4 + (-55)/10). Suppose -s*z + 5*v = z - 316, -2*v - 104 = -z. Does 7 divide z?
True
Is 41 a factor of (-4848585)/(-175) + (0 - 12/(-15))?
False
Let o = -26547 - -31197. Is o a multiple of 25?
True
Suppose 0 = -14*r + 16*r - 28. Let d be (-2715)/21 + 4/r. Is 12/(-9) + d/(-9) even?
False
Is 120 a factor of 5/(((-8106)/1623 - -5)*(-4)/(-24))?
False
Let y be 63/42 - (-5)/2. Suppose -24 = -w + 3*w + y*a, w = -a - 8. Let q(k) = -k**3 - 3*k - 4. Is q(w) a multiple of 24?
True
Let c = -1236 - -1284. Does 19 divide c?
False
Let s(v) = 2*v**2 - 34*v + 7. Let x be s(15). Let z = x + 51. Does 10 divide (483/z)/(-3) + 2/(-4)?
True
Let s = 32454 + -10086. Is s a multiple of 32?
True
Suppose x - 2 + 3 = 0, 5*s - 1282 = -3*x. Let i = 279 - s. Is 2 a factor of i?
True
Let r(w) = -64*w**3 - w**2 - 2*w. Let p = 141 + -142. Is r(p) a multiple of 5?
True
Let c be (10/(-4))/((-85)/170). Suppose -54*o + 51*o + 5*i + 399 = 0, 3*i + 649 = c*o. Is o a multiple of 3?
False
Let q(j) = -25*j + 169. Let a be q(-30). Suppose 0 = 12*g + 19 - a. Does 15 divide g?
True
Let s = 2535 - -5649. Does 17 divide s?
False
Suppose -5*n + 29622 + 763 = k, 9*k - 273612 = 4*n. Is k a multiple of 19?
True
Is 5 a factor of ((-2178)/60 + (-1)/(-10))*-5?
False
Let a(l) be the second derivative of 4*l**4 - 2*l**3 + 23*l**2/2 - 3*l. Suppose -3*g - 9 = 0, 8 - 3 = o - g. Is 12 a factor of a(o)?
False
Does 12 divide (-3)/((-30)/(-40)) + (5521 - 0 - 3)?
False
Let i be 3/((-12)/(-14))*(1 - -1). Suppose 0 = 3*m + y + i - 2, -5*m + 2*y = 12. Is (14/(-12)*m)/((-22)/(-1386)) a multiple of 21?
True
Suppose -114*n = -120*n + 144. Does 10 divide 30/(-2)*(-2800)/n?
True
Is (-1)/(-24)*12 - (-19596)/8 a multiple of 3?
False
Let h(l) = l - 28. Let r be h(17). Let a(m) = -m**2 - 9*m + 24. Let d be a(r). Suppose -d*v = -34 + 2. Is 4 a factor of v?
True
Let c = 4442 + -4307. Is 3 a factor of c?
True
Let g = -9077 - -19383. Is 129 a factor of g?
False
Let q = -171 - -176. Suppose 21*m = q*m + 4928. Does 14 divide m?
True
Let p(g) = 10*g**2 - 3*g**2 + g - 3*g**2 + 2 + g**3. Let j be p(-3). Let i = 32 - j. Is 12 a factor of i?
True
Suppose 3*y + 2076 = 25*o - 27*o, 2*y - 3*o + 1384 = 0. Let z = 963 + y. Is z a multiple of 84?
False
Suppose -28*f - 15*f - 31*f = -268324. Is 18 a factor of f?
False
Let t(l) = 17 + 0*l - 2*l - 12 + 23. Let a be t(13). Suppose 3 = -a*z + 9. Does 2 divide z?
False
Does 53 divide (10/2)/(214522/(-9328) - -23)?
True
Let l = 33 + -36. Let w be ((-32)/40)/(l/210). Suppose -b = -5*b + w. Is b a multiple of 11?
False
Suppose 52*q - 298520 = 65948. Is q a multiple of 163?
True
Suppose -5*w = 4*j - 4797, 2*j - w + 2*w = 2391. Suppose 1264 = 21*a - j. Is 13 a factor of a?
True
Let p = 53 + -47. Suppose -i - i = -p. Is 9 a factor of 316/12 - (-2)/i?
True
Let g(f) = -5*f + 78. Let w be g(12). Does 6 divide -2 + (-16)/(-12) + 822/w?
False
Let q be -13*((-1)/2)/((-4)/8). Let z(o) = 2*o**2 + 10*o + 56. Is z(q) a multiple of 11?
True
Suppose 0 = 159*f - 17171 - 20353. Is f a multiple of 118?
True
Let b(p) = 6*p + 75. Let s be b(-12). Let k(j) = 18*j**2 - 11*j - 4. Is k(s) a multiple of 25?
True
Let h(v) = -6*v**3 + 36*v**2 + 25*v - 2. Let g(s) = 6*s**3 - 33*s**2 - 26*s + 1. Let x(c) = 5*g(c) + 4*h(c). Does 45 divide x(8)?
True
Let f be (-2)/21 + 4/63*-9228. Let b = f + 1378. Is 66 a factor of b?
True
Let d(r) = -r**3 - 2*r**2 + 3*r. Let x be d(-3). Suppose x = 4*f - 158 - 834. Suppose -3*k + 76 + 96 = -2*a, -4*k - 2*a = -f. Is k a multiple of 15?
True
Suppose -11 = -6*g - 47. Let j(x) = -4*x**3 + 5*x**3 + 4*x - 2*x**3 - 2*x**2 - x + 3. Is 17 a factor of j(g)?
False
Suppose 28*b - 33*b + 42095 = 5*n, 2*n + 42130 = 5*b. Is b a multiple of 72?
True
Let w = -8951 - -16423. Is w a multiple of 228?
False
Let z be -1 + 1 + 504/6. Suppose -2224 = 76*w - z*w. Is w a multiple of 16?
False
Suppose 3*y - 2*o - 11 = 0, -6*y - 4*o = -4*y - 2. Suppose -x + 3140 = 3*x - 4*z, 2363 = y*x + z. Is x a multiple of 42?
False
Suppose -104*r = -110*r + 18. Is 4 a factor of (-3)/9 + 109/r?
True
Suppose -4 = 2*n, l = -0*l + 3*n - 866. Let i = l + 1536. Does 21 divide i?
False
Suppose 5*w - 10 = -4*y + 7*w, 5*y - 5*w = 10. Does 15 divide ((-10)/y - 0)/((-24)/2592)?
True
Suppose -31*b + 28*b - 9 = 0. Let c = b - -8. Suppose 0 = -s - x - 2*x + 28, 5*x = c*s - 100. Does 4 divide s?
False
Let f(x) = 15*x**2 - 7*x + 7. Let c be f(5). Let g = c + -116. Suppose 2*k = -5*k + g. Is k a multiple of 6?
False
Let y(a) = a**3 - 31*a**2 - 27*a - 63. Let u be y(32). Let g = 43 + u. Does 14 divide g?
True
Let m(a) = 69*a**2 - a - 27. Does 14 divide m(-10)?
False
Let c be (1 + (3 - 4))/(-1). Suppose 3*r - 4*r = -64. Suppose -i - 3*l + 18 = 0, c*l = -3*i + l + r. Is i a multiple of 19?
False
Does 13 divide (644/28)/(1/13)?
True
Let m(f) = 1 + 9*f - 24*f + 6*f - f + 7*f + 109*f**3 + 4*f**2. Is m(2) a multiple of 65?
False
Let b be (-126)/(-56) - (-6)/8. Suppose -b*d + 45 = -0*d. Suppose -d*n + 9*n = -1080. Is n a multiple of 18?
True
Let u(p) = 3*p**2 - 22*