0 = -4*d. Is 7 a factor of d?
True
Let w(n) be the first derivative of n**4/4 - 8*n**3/3 - 3*n**2 - 12*n + 5. Let i be w(9). Suppose -105 - i = -4*x. Does 10 divide x?
True
Let x = 2264 + -1556. Is 55 a factor of x?
False
Let j(r) = -r + 2. Let y be j(-2). Suppose 0*v = -3*v - 4*b + 85, -y*v + 5*b + 165 = 0. Is v a multiple of 9?
False
Suppose 4*k = 94 - 22. Does 9 divide k/((27/90)/(9/5))?
True
Let g(x) = -50*x - 35. Does 9 divide g(-9)?
False
Let z(r) = 3 + 3 + r**2 + 7*r - 1 - 2. Let x be z(-5). Does 30 divide x/((-21)/270) + 0?
True
Let m(i) = -i**3 + 11*i**2 + 13*i + 12. Suppose -3*d - 36 = -6*d. Let r be m(d). Is 3/5 - r/(-10) even?
False
Let s(k) = -k**3 + 14*k**2 - 9*k - 33. Is s(12) a multiple of 22?
False
Let b be (-1 + 2)/((-2232)/(-318) + -7). Let i be -1 + (-1)/((-2)/192). Let f = i - b. Does 9 divide f?
False
Suppose -5*c + 13*c = 816. Let s = -47 + c. Is s a multiple of 9?
False
Let a(u) = 4*u**3 + u**2 + 3*u. Does 42 divide a(3)?
True
Suppose 10127 = 9*h + 236. Is 79 a factor of h?
False
Suppose a - 156 = -3*a. Let m be (-4)/6 + 1118/a. Suppose 2*r - 38 = -s, -5*s = -4*r + m + 48. Is 3 a factor of r?
False
Suppose -9*c + 10 = -4*c. Suppose -2*a - 3*h = c*a - 160, 3*a - 4*h = 120. Does 29 divide a?
False
Suppose 0 = 3*c - 3*l - 537, 3*c = c + 3*l + 355. Is c a multiple of 26?
True
Suppose -2*r + 3*h + 85 = -13, -3*h = -4*r + 208. Suppose r + 5 = 5*i. Is 6 a factor of i?
True
Let z(y) be the first derivative of y**3/3 - y**2 + 34*y - 27. Is 4 a factor of z(0)?
False
Let u(p) = 41*p - 63. Let c(i) = 21*i - 32. Let r(n) = -11*c(n) + 6*u(n). Does 29 divide r(7)?
False
Let i be 1/3*12 + -105. Let d = i - -197. Does 24 divide d?
True
Let z(q) = -37*q - 6. Does 101 divide z(-27)?
False
Suppose 8*d + 3*d - 407 = 0. Suppose -35*l = -d*l + 508. Does 21 divide l?
False
Let u(y) = 118*y**3 + 3*y**2 + y - 2. Let o = -39 - -40. Is u(o) a multiple of 20?
True
Suppose -27*y - 12402 = -105*y. Does 45 divide y?
False
Suppose 8*y = 4710 - 70. Is 29 a factor of y?
True
Suppose -1501 = 10*v - 10131. Does 10 divide v?
False
Let b(n) = 89*n**2 + 24*n - 107. Does 20 divide b(4)?
False
Let b(l) = -36*l - 356. Is 2 a factor of b(-13)?
True
Let c = 6 - 10. Let g be -10*c*(-6)/16. Let m = g + 31. Is m a multiple of 8?
True
Let w = 3001 + -2124. Is w a multiple of 24?
False
Suppose 1949 + 4246 = 7*d. Is d a multiple of 20?
False
Let v(t) = 75*t + 52. Is v(10) a multiple of 39?
False
Let j = 10 + -8. Suppose 6 = j*c, -3*c - 41 = -4*f + 2*c. Let l = 31 - f. Is l a multiple of 17?
True
Suppose 0 = -2*q - 3*p + 3776, -2*q + 4202 = p + 422. Does 104 divide q?
False
Let c(y) = y - 13. Let p be c(15). Suppose -q - 5*u + p*u = -89, 15 = 5*u. Suppose 3*d + 14 = q. Does 22 divide d?
True
Let s(a) = -a**2 - 6*a - 6. Let u be s(-5). Let y = u - -3. Suppose 0 = y*k - 0*k - 72. Is k a multiple of 12?
True
Suppose -2*g - 112700 = -25*g. Does 123 divide g?
False
Let s(f) be the second derivative of 3*f**4 + 5*f**3/3 + 3*f**2 + 2*f - 3. Is 20 a factor of s(-3)?
True
Let b(r) = 26*r - 30. Is b(4) a multiple of 46?
False
Let y(w) = -3*w**3 + 52*w**2 - 60*w + 36. Is y(16) a multiple of 20?
True
Suppose 3*q + 0 = 12. Suppose -105 = -q*t + 71. Is 11 a factor of t?
True
Let o = -66 + 13. Let t be ((-50)/8)/((-16)/(-1920)*-10). Let p = o + t. Does 22 divide p?
True
Let q = -29 - -44. Let d = q - -17. Is 4 a factor of d?
True
Let f = 34 - -37. Let j = -48 + f. Is 15 a factor of j?
False
Let v be 1 + (-2 - (-4 - -3) - 2). Does 3 divide 310/14 - v/(-14)?
False
Let i be -1*(3 - 6) + 0. Let f(u) = 26*u + 3. Is f(i) a multiple of 12?
False
Let i be (4 + -4 - 1)*0. Does 52 divide (4/(-10))/(i - 2/1040)?
True
Let q(d) = -37*d + 26. Is q(-13) a multiple of 33?
False
Let s(o) = 16*o + 1. Let m be s(1). Let x be -4 - (-40 + -1 + 6). Suppose -k = -x - m. Does 12 divide k?
True
Let o = -29 + 29. Is (o + -1)*(-2 - 3) a multiple of 5?
True
Let f(d) = -10*d - 91. Let p(w) = 19*w + 182. Let q(x) = -7*f(x) - 4*p(x). Is q(-29) a multiple of 45?
False
Let c be (7 + -3)*(-3699)/(-36). Is 1/(c/(-1008) - 15/(-35)) a multiple of 5?
False
Suppose 5*u = 9*u + 4. Let r be (45/(-3) - 4)*u. Suppose 25 = 4*m - r. Is m a multiple of 11?
True
Let q = 1312 + -397. Does 34 divide q?
False
Suppose 0 = -3*k + 4*i - 1, -i + 23 = 3*k + i. Suppose -235 = -k*q + 25. Is 13 a factor of q?
True
Let x = 336 - 198. Let d = -87 + x. Let q = 103 - d. Is q a multiple of 13?
True
Suppose -5*o + 578 = -4*f, 4*o + o + f - 568 = 0. Let c = o + -38. Does 28 divide c?
False
Suppose 2*f = 4, 91 + 23 = 3*j + 3*f. Suppose -3*a + 3*l = -j, -3*l - 36 = -4*a - 5*l. Is a a multiple of 3?
False
Let k(c) = -8*c**3 - 12*c**2 - 99*c - 9. Is k(-6) a multiple of 50?
False
Let r = -1401 + 2034. Does 7 divide r?
False
Let y be 1 + 3 + -3 + 3. Let j(x) = -4 + y*x + 2*x**2 - 2 + 0. Is j(-6) a multiple of 15?
False
Let w = 684 - 481. Let p = w - 118. Suppose -z = -6*z + p. Does 17 divide z?
True
Let i be 7/5 - (-18)/(-45). Suppose -n + 1 = -2*n. Is 7 a factor of 15/i + n + 0?
True
Let r(p) = 2*p + 4. Suppose -2*i + 4*c + 8 = 0, -2 = i - 0*i + 4*c. Suppose 0 = i*o - 4*h + 4, -3*o + 15 = h - 0*h. Is r(o) a multiple of 4?
True
Let l be 0/(-2 - 0) - 6. Let u(c) = c**3 + 8*c**2 + 6*c - 4. Let x be u(l). Suppose -2*n = -4*n + x. Is 16 a factor of n?
True
Let t(c) = 3*c - 1. Let f be -4*3/(-6) - 1. Let p be (0 - f) + 1*6. Does 14 divide t(p)?
True
Suppose -22*y = -26*y - 288. Let u = 9 - y. Is u a multiple of 27?
True
Let i(c) = -c**2 + 10*c - 5. Let h(g) = -g**3 - 9*g**2 - g. Let k be h(-9). Let r be i(k). Suppose -r*n = -174 - 154. Is n a multiple of 14?
False
Let n = -5 + 43. Suppose 14 = -4*m + n. Suppose 0 = 3*r - 2*r - m. Is r a multiple of 3?
True
Let m(r) = r**2 + 13*r - 1. Let t(f) = f**2 - 10*f + 8. Let z be t(7). Let o be m(z). Is 2 a factor of (o/2)/((-13)/78)?
False
Suppose -5*d + 1011 = z, 6*z - 9*z - d = -2963. Does 9 divide z?
False
Let m(t) = t**2 - 10*t + 13. Let l(u) = -u**3 - 6*u**2 + 2*u + 7. Let r be l(-6). Let i be (r/15)/((-3)/90). Is m(i) a multiple of 2?
False
Suppose -5*g = -x - 96, g - 20 = -2*x - 3. Let q = g + -19. Suppose 5*o + 32 - 292 = q. Is o a multiple of 20?
False
Let h(m) = -m**2 + 33*m + 2. Is h(31) a multiple of 2?
True
Suppose -2*s + 86*g = 83*g - 7294, 3*s + 3*g - 10926 = 0. Is 21 a factor of s?
False
Let s = -42 + 81. Suppose -179 = -4*v - s. Is v a multiple of 15?
False
Suppose -13*z + 16*z = 1485. Let f = z + -207. Does 36 divide f?
True
Let h be ((-178)/5)/(10/(-50)). Is h/2 - (-20)/(-10) a multiple of 35?
False
Let d(t) = t**3 - t**2 + 9. Let k be d(0). Suppose -k = -5*f - 49. Does 14 divide (1 - -54) + f + 5?
False
Let v(s) = 7*s + 7 - 4*s - 2*s - 19. Let x be v(6). Does 8 divide 9/x*(-64)/12?
True
Let y = 2094 + -1329. Does 9 divide y?
True
Suppose 2*n - 5 = -d - 1, -5*n - d = -10. Suppose -c + 6*c = -5*g + 90, 2*c + 20 = n*g. Let k = -8 + g. Is k a multiple of 2?
True
Let g = -25 + 38. Is 8/(-2) + (g - -97) a multiple of 14?
False
Is (-665)/3*162/(-189) a multiple of 19?
True
Let f(m) = -956*m**3 + 3*m**2 - 1. Is 26 a factor of f(-1)?
False
Let v = -1044 - -1242. Does 33 divide v?
True
Let n(q) = -14*q**2 + 11*q - 10 - 8*q + q**3 + 7*q + 5*q. Does 16 divide n(13)?
True
Let n be (-3 + 2 - 2) + 6*1. Suppose 3*u + 2*u - 230 = 4*o, -n*o + 165 = 3*u. Does 25 divide u?
True
Suppose 25285 = 5*n - 3*r, 0 = -2*n + 193*r - 190*r + 10105. Is 23 a factor of n?
True
Suppose -96*m - 8 = -100*m. Does 9 divide 5/m*((-83)/(-5) + 1)?
False
Let i(r) = r**2 + 9*r + 10. Let k be i(-6). Let o = -30 - k. Let f = o + 61. Is f a multiple of 13?
True
Let w(t) be the second derivative of -t**3/6 + 6*t**2 - 8*t. Does 2 divide w(3)?
False
Let q = 1480 - 1000. Does 6 divide q?
True
Let w = -24 - -22. Is w/5 - ((-2524)/10 - 0) a multiple of 42?
True
Let k = 1055 + -743. Is k a multiple of 3?
True
Let t = -285 - -92. Let q = t + 383. Is q a multiple of 23?
False
Suppose 4*a - 167 - 145 = 0. Suppose 48 = 2*o - a. Is o a multiple of 6?
False
Let t(v) = v**2 - 5*v + 4. Let u be t(5). Suppose 2*p = -p + 4*m + 13, -u*m = 3*p - 5. Suppose 4*l = -n + 2, 0*n - 33 = -5*n + p*l. Does 5 divide n?
False
Let p(o) = 3*o**2 - 2*o - 2. Let t be p(2). Let a be (-3 + 2)/(t/(-24)). Suppose d + a*f - 31 = 0, 4*f = -4*d - 0*f + 88. Does 19 divide d?
True
D