+ 202, d + 5*p + 178 = 0. Is 24 a factor of (16/12)/((-11)/d)?
True
Is (1/3)/(162/227448) a multiple of 39?
True
Let d be (3 - 14/6) + (-88)/(-3). Suppose r - d = -5*r. Suppose r*z - 717 = -87. Does 21 divide z?
True
Let g(o) = 4*o**3 - 3*o**2 - 107*o + 1178. Does 12 divide g(17)?
True
Is 62 a factor of (-7)/((-39046)/(-13020) - 3)?
True
Let t be (-2534)/(-56) + 1/(-4). Suppose -t*m = -979 - 1856. Is m a multiple of 9?
True
Suppose 18*u - 13*u = -105. Let q = u - -19. Let r(l) = -5*l**3 + l**2 - 3*l. Is r(q) a multiple of 5?
True
Let u = 6599 - 3122. Is u a multiple of 61?
True
Suppose -x - 3*v = 123, -3*x = -6*v + 2*v + 395. Let a = -57 - x. Is a a multiple of 6?
True
Suppose 0 = 2*l - 10 + 4. Suppose v + v - 4*t = -14, 0 = l*v + 4*t - 29. Is 23 a factor of 139 - (v - 4)*-3?
False
Let l be -4 - ((1 - 2) + 20). Let f = 26 + l. Suppose -5*w + 1125 = 4*h, -3*w + 473 + 370 = f*h. Is h a multiple of 42?
False
Let f be (1 + (-6)/(-4))/(5/30). Suppose -f*a + 66 = -13*a. Let m = 109 - a. Is m a multiple of 22?
False
Is 10 a factor of -6 + 658611/45 + 4/20?
True
Suppose -5112 = -4*w + 42578 + 5130. Does 5 divide w?
True
Suppose -57 + 30 = -9*g. Let p(y) = -y + 1 - 3 + 23*y**2 + 4. Does 50 divide p(g)?
False
Suppose 254 = 4*q + 26. Let i be (2 - -3)*-1*(4 + 0). Let h = q + i. Is 30 a factor of h?
False
Let h(t) = 2*t + 1. Let l be h(-12). Let a = -21 - l. Suppose -31 = -5*r + a*q, 0 = 4*r - r + 5*q - 31. Is 4 a factor of r?
False
Suppose 5 = -o, 3*m = 6*o - 5*o - 133. Let y = 6 - m. Let z = y - -57. Is z a multiple of 10?
False
Does 90 divide (-12)/(-200)*10*52270/6?
False
Let h(u) = -u + 7. Let c = -16 - -21. Let m be h(c). Is (8/20)/(m/110) a multiple of 10?
False
Let u = 1930 - -12117. Is 11 a factor of u?
True
Let u(t) = -10*t - 1. Let x be u(-2). Suppose 3*g - 149 = -5*v + x, -4*g = v - 207. Suppose 4*f = 3*f + g. Does 7 divide f?
False
Does 5 divide (-5 - (-3 + (1 - 1)))*(-70259)/14?
False
Let k = -123 - -73. Let g = k - -56. Suppose 0 = g*v - 117 - 399. Does 29 divide v?
False
Suppose -78524 = -2*h + 4*n, 145 = n + 141. Is h a multiple of 119?
True
Suppose -5*m + 2*j = 235, 0 = -3*m - j - 131 - 10. Let u = 29 + m. Let n = u - -29. Does 3 divide n?
False
Let p = -1126 + 1221. Does 10 divide p?
False
Suppose 3*c + 30 = 3*b, 26*c + 8 = b + 27*c. Let y(m) = 2*m**3 - 17*m**2 + 42*m - 15. Is 54 a factor of y(b)?
False
Does 5 divide ((-9422)/(-70))/(3/15) - 5?
False
Let u(m) be the third derivative of m**6/120 + 7*m**5/60 - m**3/3 + 2*m**2. Let y(a) = a**3 + 6*a**2 + 32*a + 90. Let f be y(-4). Is u(f) a multiple of 17?
True
Let m = -21 + 26. Suppose -5*h + 0*h = 0, p - 2 = -m*h. Suppose -4*w - 562 = -8*w + p*s, 0 = -w + 4*s + 137. Is 24 a factor of w?
False
Let n = 12226 + -7061. Does 132 divide n?
False
Let q(n) = -18*n**3 + 36*n**2 + 483*n + 18. Does 136 divide q(-14)?
False
Let w(r) = 302*r**2 - 4*r - 121. Is w(-8) a multiple of 79?
False
Let l(s) = 1383*s + 1029. Is 24 a factor of l(5)?
True
Suppose 2*f - 5*q = 12025, 30085 = 5*f - 7*q + 2*q. Suppose -18*z + f = 2*z. Is z a multiple of 80?
False
Suppose 0 = -3*u - 13*u + 224. Let n = -9 + u. Suppose -g - 4*f + 134 = 2*g, 0 = n*f + 5. Is g a multiple of 33?
False
Let y(c) = -37*c - 146. Let p(h) = 19*h + 74. Let a(z) = 7*p(z) + 3*y(z). Is a(20) a multiple of 20?
True
Suppose -6651 = -0*q - 2*q - f, 5*q - 4*f = 16647. Is q a multiple of 14?
False
Let x(r) = -r**3 + 19*r**2 + 22*r + 21. Let w be x(20). Let a = w - 56. Suppose -a*j - 2 = -102. Is j a multiple of 20?
True
Suppose -3*y = 4*s - 154, y - 5*y + 176 = -2*s. Let n be y/3 - 6/18. Let t = n + 7. Is 9 a factor of t?
False
Suppose -a - 36 = -4*a + 3*x, -a = 2*x - 9. Suppose -3*b - 5*q = 6 - 28, 5*q = 10. Suppose -b*n - g + 71 = 0, -a - 4 = -5*g. Is 4 a factor of n?
False
Let u(k) be the second derivative of k**4/12 - 3*k**3/2 + 3*k**2/2 + 7*k. Let s be u(6). Let t = 51 - s. Is t a multiple of 22?
True
Let p(v) = 6*v**2 - 58*v + 77. Is 11 a factor of p(34)?
False
Let c be (228/399)/((-2)/(-91)). Suppose 5*b - 2 - 13 = 0. Suppose 0 = -b*f + c + 64. Does 5 divide f?
True
Let u(z) = -z. Let y be u(-2). Suppose 118 = y*i + 3*x, 0*x + 4*x = 8. Suppose -6*t = -10*t + i. Is t a multiple of 14?
True
Let k = 630 + 7059. Is 80 a factor of k?
False
Let m(y) = -y**2 + y + 2. Let h be m(0). Suppose 2*g + h = 12. Suppose -3*l + i + i + 110 = 0, l - g*i = 15. Does 6 divide l?
False
Is 42980 + -1*2/1*(-8 - -4) a multiple of 7?
False
Let i be 18/(24/(-56)*28/(-24)). Does 22 divide 2103*((-21)/45 - i/(-45))?
False
Let h = 2419 + 2019. Is h a multiple of 45?
False
Let h = 855 + -800. Suppose 54*i - h*i = -22. Is i a multiple of 11?
True
Let a be ((-87)/6)/(1/(-2)*1). Suppose 44 = 4*f + 4*s, 0 = 3*f + 3*s + s - a. Let z(d) = -d**3 + 17*d**2 - 21*d - 31. Does 16 divide z(f)?
False
Let h(t) = 196*t**2 + 90*t + 642. Does 32 divide h(-14)?
False
Let h = -16322 - -32066. Is h a multiple of 192?
True
Let z = 262 + 167. Let j = -29 + z. Does 16 divide j?
True
Suppose 0 = -1779*g + 1594*g + 7640315. Does 13 divide g?
False
Let o = 4017 + -3025. Is o a multiple of 4?
True
Suppose -118 = -5*n - t + 4*t, -138 = -5*n - 2*t. Let k be ((-70)/(-22) + 6/(-33))*n. Let c = 12 + k. Does 15 divide c?
True
Suppose 6*d - 9*d + x = -22, d + 4*x = -10. Let v = 358 - d. Does 32 divide v?
True
Let v(l) = -38*l + 57. Let y be v(6). Let p = y + 246. Is 3 a factor of p?
True
Let w(y) = 310*y**2 - 2*y - 2. Let m(t) = -14*t - 12. Let u be m(-1). Does 15 divide w(u)?
False
Let y(s) = -10*s**3 + 13*s**2 - 3*s - 45. Does 13 divide y(-7)?
True
Suppose 5*p - 8 = 4*p. Suppose -1833 - 927 = -p*h. Is 48 a factor of h?
False
Let h(j) = 17*j**3 + 2*j**2 - 21*j + 42. Is 154 a factor of h(4)?
True
Suppose -j - 5*o = 99, 3*o - 168 - 17 = 2*j. Let w = j + 184. Does 6 divide w?
True
Suppose -2*y = 4*h + 134, 0 = 5*h - y + 58 + 99. Let r be -1 + 1/(-3) + h/12. Is 10 a factor of (2/r)/(3*2/(-1488))?
False
Let m = -986 + 5318. Does 3 divide m?
True
Suppose -66933 + 1211853 = 145*i. Is 42 a factor of i?
True
Let b(y) = -y**2 + 9*y - 10. Let f be b(7). Suppose -a - f*u + 15 = 0, -3*a = -6*a + u - 7. Does 23 divide (a + 174/(-10))/(16/(-80))?
True
Let v = -5868 + 6813. Is v a multiple of 13?
False
Let p = 6119 + -1250. Is 9 a factor of p?
True
Suppose 0 = 21*f - 23*f + 1624. Let g = f + -572. Does 6 divide g?
True
Let f(a) = a**3 + 7*a**2 - 9*a - 3. Let h be f(-8). Suppose 7*b + h = 19. Suppose -876 = -5*i - 0*i + g, b*i - 5*g - 332 = 0. Is i a multiple of 44?
True
Let a be 5*(-2 + 1)*(-7 + 11). Let m be (24/a)/((-2)/395). Suppose -9*l + 168 + m = 0. Is l a multiple of 9?
True
Let d be (-7 + 6)/(2/(-5 + -3)). Let h be -5 - (-20)/(20/d). Is 7 a factor of (-145 - h)*1/(3/(-2))?
False
Let d = -18 + 25. Let i(g) be the first derivative of 21*g**2/2 - 18*g + 23. Is 43 a factor of i(d)?
True
Let i = -50 - -51. Suppose -3*o = 5*l - 26, -1 = o - l + i. Let a(s) = 2*s**3 - 2*s**2 + s + 1. Is 10 a factor of a(o)?
False
Let b = 1 + 1. Let f(j) = -66 + 24*j - 8*j + 61. Is 9 a factor of f(b)?
True
Let f(u) = 8*u - 6. Let v be f(1). Let z(a) = -7*a**2 - a**3 + 168 - 9*a**2 + 17*a**2 - 3*a - 2*a**v. Is 21 a factor of z(0)?
True
Let y = 61 + -62. Let f be y/27*-6*18. Is (15/2)/(f/56) a multiple of 31?
False
Let p(d) = d + 23. Let q(n) = 2*n + 15. Let b be q(-6). Let o be 128/(-10) - b/105*7. Does 2 divide p(o)?
True
Suppose 2*q - 5156 = -0*b + 2*b, 0 = -4*q + 2*b + 10324. Is 19 a factor of q?
True
Is (-1)/(26221/104900 + 10/(-40)) a multiple of 15?
False
Suppose 281 = 5*n - 2*c, 4*n = 6*c - 9*c + 234. Is n/(-38)*16/(-6) a multiple of 2?
True
Let b(s) = 97*s**2 + 7*s + 10. Let x be b(-3). Suppose 5*h - x = 128. Does 9 divide h?
True
Suppose -22*y - 19146 + 252198 = -29100. Does 36 divide y?
True
Let z = -20 + 16. Let a be ((-45)/30)/(2/z). Suppose 30 = -a*g + 63. Is 8 a factor of g?
False
Suppose 3*o - 33 = -21. Suppose h + o = 3*h. Suppose -4*a = 2*t - 86, -t + 39 = -h*a + 3*a. Is 26 a factor of t?
False
Suppose 2*k + k = -474. Let l = -75 - k. Let n = -8 + l. Does 25 divide n?
True
Let p = 2009 + -1137. Is 18 a factor of p?
False
Let r(h) = 2*h**2 - 7*h - 21. Let y = -160 - -86. Let g = -82 - y. Is r(g) a multiple of 13?
False
Let q(t) = t + 126. Suppose 91 = -8*y + 299. Is 3 a factor of q(y)?
False
Suppose -227*m = -2*f - 231*