a. Let d be r(8). Suppose -5*i - d*j + 375 = -0*j, -i = -j - 81. Is 13 a factor of i?
True
Does 9 divide 4/(52/37323) + 1 + -1?
True
Let k = 19 - 11. Let o = k + -6. Let i(z) = 19*z**2 + 2*z. Does 20 divide i(o)?
True
Let z(q) = -q + 56. Let y be z(0). Suppose -5*g + 6 = y. Does 9 divide g/(-40) - 107/(-4)?
True
Let j be (-2 + 3)*-5*-3. Let p = j + -16. Let y = 29 + p. Is y a multiple of 28?
True
Let d = 348 + -152. Let y = d - 103. Does 31 divide y?
True
Let l be (11 - (-3)/(-1)) + -2. Suppose 0 = i + 3*j + j - 36, 3*j = -l. Is 25 a factor of i?
False
Suppose -v - 4*v + 462 = 3*i, 3*i = 5*v + 432. Is i a multiple of 17?
False
Suppose 144 + 186 = 3*o. Does 10 divide o?
True
Let k = -2813 + 4919. Is 78 a factor of k?
True
Suppose 24*g = 2597 + 3619. Is g a multiple of 6?
False
Let v be 1/((-18)/15 - -1). Let b(f) be the second derivative of -f**3/2 + 11*f**2/2 + 2*f. Does 6 divide b(v)?
False
Suppose m = 3*k - 8*k + 627, -5*m + 3047 = 3*k. Suppose -112 = 3*n - m. Does 35 divide n?
False
Is 4 a factor of 271 + -10 + 5 - -1?
False
Suppose -8268 = 26*x - 38*x. Does 21 divide x?
False
Suppose 4*k - 3*r + 2*r = 13, 5*r = -5*k + 35. Let n(w) = -w**2 + 3*w + 4. Let l be n(k). Suppose o - 3 = l, -3*o = z - 2*o - 43. Does 8 divide z?
True
Let d = 13 - 7. Suppose -v + d = v. Suppose -s - 4*f + 68 = s, v*f = 12. Does 13 divide s?
True
Let a(y) be the second derivative of 13*y**4/12 + 4*y**3/3 + 21*y**2/2 - 4*y. Does 19 divide a(-3)?
True
Suppose 4*k = -21*y + 17*y + 344, -2*y = k - 91. Does 9 divide k?
True
Let c be (-1)/(3 + (-16)/5). Suppose 5*a + 2*v - 45 - 11 = 0, -c*a + 5*v = -70. Suppose -t = 2*t + a, -4*d + 4*t = -56. Is d a multiple of 10?
True
Suppose 3*z - g + 63 = 0, 4*z = -z - 2*g - 94. Let m = z + 77. Is m a multiple of 19?
True
Suppose 0 = 5*a + 2*z + 5, -5*z = 4*a + 29 - 8. Let r be 35/42 - a/(-6). Let d(g) = 48*g. Is 24 a factor of d(r)?
True
Let p(w) be the third derivative of -w**6/120 - w**5/6 - w**4/4 - 2*w**3/3 + 15*w**2. Does 18 divide p(-10)?
False
Let r = 903 - 735. Is 7 a factor of r?
True
Is 746/14 - (-19)/((-1064)/16) a multiple of 6?
False
Let h = -2 - 0. Let d be ((-260)/(-195))/((-4)/258). Is d/h + 11 + -12 a multiple of 12?
False
Let v be (-3)/2 + 2397*(-3)/(-6). Suppose -4*i = 3*i - v. Is i a multiple of 20?
False
Let n be -22*(2 - 1)/(-2). Suppose -r + 30 = -n. Does 6 divide r?
False
Suppose 17*d - 42*d + 22375 = 0. Does 45 divide d?
False
Let g(z) = -z**3 + 10*z**2 - 11*z - 1. Let s be g(8). Let y = 78 - s. Is 33 a factor of y?
False
Let w(o) = -4*o + 857. Is w(-22) a multiple of 9?
True
Let j = 316 - 138. Does 6 divide j?
False
Suppose -b = -5*u + 1625, -4*b = -39*u + 41*u - 628. Does 32 divide u?
False
Suppose m - 2757 = 5*f + 5363, 8125 = m - 4*f. Does 17 divide (-1)/(-8)*2 - m/(-60)?
True
Suppose 0*k - 2*k = -3*c - 58, -2*k - 3*c + 58 = 0. Suppose g - 70 = k. Is g a multiple of 15?
False
Let i(u) = 18*u + 4. Let v be i(-5). Let q = 147 + v. Suppose -2*n - q = -3*n. Does 15 divide n?
False
Let w = 623 + -373. Does 43 divide w?
False
Let l(r) be the second derivative of -r**3/6 - 7*r**2/2 + 5*r. Let u be l(-7). Suppose 3*z = -u*z + 126. Is z a multiple of 11?
False
Suppose -a + 371 = 3*t - 78, 0 = 5*t + 5*a - 765. Is t a multiple of 37?
True
Suppose 4*u + u = 15. Suppose 0 = -2*h + u*l + 5, -2*h = -4*h - 2*l + 10. Suppose 4*d + 3 = -x, d = -h*x + 6*d + 93. Is x a multiple of 17?
True
Let p(l) = l**2 + 3*l - 2. Let t be p(2). Suppose 0 = -2*k + 84 - t. Does 5 divide k?
False
Suppose 2584 = 27*c + 721. Is 6 a factor of c?
False
Suppose 5*r - 10 = 5*o - 0*r, -o + 10 = 2*r. Suppose 0 = -o*p + 4 - 2. Is 0 + p + 1 + 30 a multiple of 8?
True
Let d = 920 + -410. Is d a multiple of 10?
True
Let t(q) = q**3 + 5*q**2 + 3*q + 10. Let y be t(-5). Let d(l) = 3*l**2 - 4*l + 6. Is d(y) a multiple of 45?
False
Suppose -f = -19 + 6. Let o = 11 - f. Let w = o + 17. Does 7 divide w?
False
Is 13 a factor of 5/((-25)/(-4)) - (-19296)/80?
False
Let c(v) = 2*v**2 - 10*v + 16. Let z be c(3). Suppose -z*x + 740 = 200. Does 9 divide x?
True
Let i(n) = -43*n - 128. Let h(q) = 22*q + 64. Let o(z) = 5*h(z) + 3*i(z). Is 14 a factor of o(-10)?
True
Let t = 829 - 532. Does 14 divide t?
False
Let o = 78 + -50. Suppose -40 = -4*j + o. Does 5 divide j?
False
Suppose 4*v = 3*z - 0*z + 20, -4*v = z - 4. Suppose v*m = 6*m - 448. Let u = m + -66. Does 24 divide u?
False
Let g = 49 - 46. Suppose -l = -g*r - 120 - 60, 3*l = 5*r + 520. Does 25 divide l?
False
Suppose 0 = 5*m - 2*p - 915, m - 4*p - 165 = -0*m. Let q = -86 + m. Does 4 divide q?
False
Suppose 16*u - 17*u = -2*b - 286, -2*b = 5*u - 1478. Does 15 divide u?
False
Let d(k) = k**3 - 9*k**2 - 14*k - 16. Let m = -50 - -83. Suppose -10*i + 13*i = m. Is d(i) a multiple of 23?
False
Let m be (-18)/9*(-4)/(-2). Let j be (m/(-5))/(4/20). Suppose -j*w + 69 = a, 393 = 6*a - a - 4*w. Does 17 divide a?
False
Suppose 5*j + 5*h = -1365, 749 - 197 = -2*j - 4*h. Is 3 a factor of (-1)/(-3*(-5)/j)?
True
Let v = -48 - -20. Let o = v + -8. Let u = 48 + o. Is u a multiple of 4?
True
Does 16 divide 2499/6 + 4/(-8)?
True
Let a(l) = -20 + 3 + 13*l + l. Does 30 divide a(8)?
False
Suppose 6*i = -5*q + 10*i + 9462, -2*q + 3786 = -2*i. Does 30 divide q?
True
Let f be 1/4 - 185/20. Let i(l) = -3 - 2*l + 3*l - 12 - 12*l. Does 14 divide i(f)?
True
Suppose -2 = p, -145 = b - 4*p - 7. Let f = b + 223. Is f a multiple of 11?
True
Let n = 313 + -100. Does 32 divide n?
False
Let c(y) = 13*y**3 - y**2. Let g be c(1). Suppose -5*s = -g*s + 1729. Does 19 divide s?
True
Let p = -594 - -1215. Is p a multiple of 27?
True
Suppose 4*z - 10 = -5*m + z, 2 = m + 4*z. Suppose 72 = m*v + 34. Does 3 divide v?
False
Let p = -397 + 1238. Is p a multiple of 39?
False
Let f be 2/(-19) - 10/(-95). Suppose f = 2*w - w. Suppose w = z - 6*z + 330. Is 11 a factor of z?
True
Suppose -19*r + 5*a - 18 = -20*r, -4*a + 4 = 0. Is r a multiple of 10?
False
Suppose 195 = 5*s - 2*c, -156 = -4*s - c - 3*c. Let j be 232/3 + (-13)/s. Let h = j + -47. Is 6 a factor of h?
True
Let a = -1490 - -2738. Does 70 divide a?
False
Let w = -465 + 1517. Suppose l = -3*l + 3*g + 1087, 0 = 4*l + 4*g - w. Is l a multiple of 15?
False
Let j be 9/6 + (-4)/(-8). Suppose 3*y - j = -b + 13, 5*b = 5*y - 5. Does 7 divide 35*((-32)/20 + b)?
True
Let x(b) = -b - 4. Let c be x(-6). Let i(l) = -3*l**3 + 3*l + 2*l + 0*l - 7*l - 2*l**c + 3. Is 19 a factor of i(-3)?
False
Let c be 7/((-14)/8)*-10. Suppose 2*w = -3*d + w + 68, 2*d - 2*w = c. Is 22 a factor of d?
True
Let s(j) = j + 28. Does 6 divide s(-16)?
True
Suppose -2*j + 4*a + 1016 = 0, 5*j + 4*a - 2854 = -286. Is 8 a factor of j?
True
Is 52 a factor of 16187/3 - 9/(-27)?
False
Let z = -568 + 788. Does 55 divide z?
True
Suppose 3 = 7*j + 353. Let n = j - -74. Is n a multiple of 6?
True
Suppose -w - 4*x + 16 = 0, -2*w = 2*x - 7 - 7. Does 5 divide (-12)/w*-8 - 2?
False
Let m be (3 + 19/(-4))*-4. Let x(n) = 8*n - 13. Is 10 a factor of x(m)?
False
Is (-450)/(-120)*(-1512)/(-15) a multiple of 21?
True
Let c be ((-28)/(-10))/((-3)/(-15)). Let y(i) = -i**3 + 15*i**2 - 10*i - 15. Does 14 divide y(c)?
False
Suppose 2 = 5*o - 4*o. Let i(f) = 4*f**2 - 2*f**o - 12*f + 12*f. Is 10 a factor of i(-3)?
False
Let p(x) = x**3 + 14*x**2 + 3*x + 12. Let i be p(-14). Let s be 1/(i/(-27) - 1). Suppose -5*n - s = -129. Does 8 divide n?
True
Let i(m) = -2*m + 66. Let h(t) = 1. Let j(s) = -4*h(s) + i(s). Is j(-31) a multiple of 28?
False
Let f(n) = -121*n**3 + 5*n**2 + 2*n - 1. Does 36 divide f(-2)?
False
Suppose -1 = -p + 6. Suppose 0 = -3*z - 5*s + 15, 2*z = s + 3 + p. Suppose -23 = -c - z. Is 6 a factor of c?
True
Suppose -5*k - 2*y = 33, 3*k = k - 4*y - 26. Let z be k*((-2)/(-5) + 0). Is 14 a factor of (-4)/(-3)*(-21)/z?
True
Let k(f) = -f**3 + 4*f**2 - 10*f + 78. Let n be k(5). Let w(c) = -14*c + 2. Let o be w(-2). Suppose 0 = -0*u - n*u + o. Is u even?
True
Let i(m) be the second derivative of 3/2*m**2 + m + 0 + 1/2*m**3. Is 4 a factor of i(3)?
True
Let h be -3 - (-5 - -6) - 2. Let o(t) = 2*t**2 - 3*t - 19. Is o(h) a multiple of 28?
False
Suppose -2*y - 4221 = -5*m, -3*y - 1394 = -5*m + 2825. Does 65 divide m?
True
Let s = -684 - -1253. Does 8 divide s?
False
Suppose 0 = -o + 4*d - 5*d - 2, -5*d - 25 = 0. Let g(x) = 3*x + 16. Is 25 a factor of g(o)?
True
Let 