False
Let m be (-8 + 2 - 3)*(-2)/6. Let q(p) = 4*p**2 - 3 - 2*p - 2 + 0 + m. Does 40 divide q(-3)?
True
Let d = -952 - -1600. Suppose -672 = -3*p + d. Suppose 0 = 10*o - 5*o - p. Does 11 divide o?
True
Let j(x) = x**2 + 5*x + 25. Let i be j(0). Let l = -12 - -19. Suppose -b + i = l. Is b a multiple of 2?
True
Let g(r) = 158*r**2 - 25*r - 274. Is g(-9) a multiple of 61?
True
Suppose -2*j + 6 = -0*j. Let g be -104*4*(-1)/8. Suppose -c + j*t + 12 = 0, c + 2*c - 5*t = g. Is 8 a factor of c?
True
Let r(z) = 7373*z + 519. Does 21 divide r(3)?
True
Is (385/(-49))/(-5) + 3/7 - -1679 a multiple of 16?
False
Suppose 0 = 3*h - 5*b + 6*b - 3, 5*b + 15 = 0. Suppose h*n = g - 2*n - 120, -112 = -g - 4*n. Is (g/(-3))/(1/(-3)) a multiple of 45?
False
Is 20 a factor of 25/20*(169 + 7)?
True
Let o(v) = 12*v - 1. Let s be o(1). Let k be (7 - s) + 0 + 103. Let w = k + -69. Is 3 a factor of w?
True
Let f(g) = 20*g**2 + 7*g + 25. Let b(w) = -10*w**2 - 3*w - 13. Let c(x) = -5*b(x) - 2*f(x). Let d be c(4). Suppose 0 = -8*m + d + 85. Does 8 divide m?
False
Suppose -5*c = c + 48. Let v be (-1*2 - -1)/(c/80). Does 6 divide 6/(-15) - 0 - (-484)/v?
True
Let u = -14135 - 2193. Does 17 divide 1/(-5) + u/(-40)?
True
Let o(w) = -w**2 + 4*w - 6. Let g be o(6). Let l be 14/(-21)*(-33)/(-2)*g. Let k = -126 + l. Is k a multiple of 9?
True
Suppose 0 = -r - 2*r + 21. Let w be (-62)/186 + -1 + 3064/3. Suppose w = 3*j + r*j. Is j a multiple of 10?
False
Suppose 5*g + 7 = -l, -112*l + 110*l + 16 = -5*g. Let q = 5 - 7. Is 7 a factor of (q + 58)/(l/3)?
True
Let z(j) = 6*j**2 + 7*j + 10. Let c be z(-10). Suppose -c + 2171 = 7*u. Is 6 a factor of u?
False
Suppose 3*a - 4802 - 41744 = -2*m, -77582 = -5*a - 2*m. Is 31 a factor of a?
False
Let z(s) = -s**2 + 4*s + 12. Let h(d) be the third derivative of d**5/60 - 11*d**4/12 + 25*d**3/6 - 2*d**2. Let n be h(21). Does 6 divide z(n)?
True
Let y = 113 + -109. Suppose 2*d = -y*q + 220, -5*d - 98 = 3*q - 5*q. Does 27 divide q?
True
Let p = 912 - 907. Suppose 0 = -2*y - 3*m + 204, -12*y + 7*y = -p*m - 535. Is 27 a factor of y?
False
Suppose 0 = o + 5*v + 12, -8*o + 5*o + 4*v - 93 = 0. Is 13 a factor of 6/o - ((-9969)/27 + 5)?
True
Let g(o) = -5*o**2 - 8*o + 28. Let y be g(5). Let k = y + 173. Does 2 divide k?
True
Let w = 1426 + -344. Let l = w + -932. Does 6 divide l?
True
Let g be ((-36)/63)/((-6)/21)*-158. Let u = 469 + g. Does 51 divide u?
True
Suppose 10 = -6*v + 46. Let z(i) = 4*i**3 + 11*i**2 - 8*i + 19. Let n(s) = 5*s**3 + 11*s**2 - 8*s + 18. Let h(d) = -5*n(d) + 6*z(d). Does 26 divide h(v)?
True
Suppose 9 - 3 = 3*v. Let r(m) = -6*m + v*m - 3*m**2 + m**3 + 6*m + 4. Is r(4) a multiple of 6?
False
Let l = -84 + 12209. Is 25 a factor of l?
True
Let h(b) = -2*b**2 - b + 1. Let m(a) = 3*a**2 + 27*a - 1. Let r(u) = 3*h(u) + m(u). Is r(7) a multiple of 2?
False
Suppose -2*d + 10394 = 4*a, 5*a + 3565 - 13960 = -2*d. Is 11 a factor of d?
False
Suppose 1209*f = 1200*f - 117. Does 28 divide -70*(-17 - (8 + f))?
True
Let n(j) = -119*j**2 - 10*j - 5. Let r be n(-3). Let h = 1478 + r. Is h a multiple of 36?
True
Let s = 4174 - 3274. Is 20 a factor of s?
True
Let i be 1*((-6)/(-21) + (-156)/(-42)). Suppose 0 = -i*k + 4*z + 32, -2*z - 15 - 16 = -5*k. Suppose 0 = -u + 37 - k. Is u a multiple of 16?
True
Let u = -5540 - -12144. Does 2 divide u?
True
Suppose 84*i - 89*i + 10 = 0. Suppose -2*d + 5 = -1, 0 = 4*q - i*d - 246. Is q a multiple of 3?
True
Suppose 5*f + 1 = d - 2*d, 0 = -3*f + d + 1. Suppose 3*w = 3*y + 6, -6*y + 9*y - 14 = -w. Suppose -5*g = -g - 5*q - 136, f = -y*q. Is 17 a factor of g?
True
Let g(b) = -3*b + 15. Suppose 5*x - 11 - 4 = 0. Suppose -9 = 3*t + x*w, -4 = -5*t + 5*w - 39. Is g(t) a multiple of 13?
False
Suppose 0 = s + 40 + 46. Let r = -656 - -606. Let b = r - s. Is b a multiple of 4?
True
Suppose 0 = -204*t + 78417 + 174135. Is t a multiple of 59?
False
Let r(s) = 56*s**3 + s**2 - 86*s + 25. Is r(7) a multiple of 30?
False
Suppose w - 6 = -2*w. Suppose -4*k + w*t + 512 = -2*t, -3*k - t = -380. Suppose 0 = 3*h - k + 7. Is h a multiple of 10?
True
Let a = -49 - -61. Is 12/(-7)*(-1554)/a a multiple of 37?
True
Let n(v) = -858*v + 38. Let z be n(-1). Let h = z + -68. Is 45 a factor of h?
False
Suppose -177 = -5*m + 3*f, 95 = 8*m - 5*m + f. Suppose -26*h = -m*h + 2940. Does 35 divide h?
True
Suppose -9*w = -w - 40. Suppose -52 = p - w*p. Does 6 divide p?
False
Suppose 0 = 4*b + n - 46, -n - 42 = -5*b + 20. Let j(s) = s**3 - 15*s**2 + 44*s - 56. Is 8 a factor of j(b)?
True
Let t = -54 + 58. Let g be (1 - 147/t)/((-14)/56). Suppose 28 = 3*k - g. Is k a multiple of 9?
False
Let a(m) = 402*m**2 + 18*m - 84. Is 6 a factor of a(-7)?
True
Let w = 56 + 60. Let h(i) = -69*i + 2. Let b be h(-1). Let p = w - b. Is 8 a factor of p?
False
Suppose -c + 5804 = -4*f, 11*c + 3*f + 23229 = 15*c. Does 22 divide c?
True
Let l(m) = -13*m + 10. Let y be l(3). Let t = y + 90. Is 3 a factor of t?
False
Let a(t) be the second derivative of 5*t**4/6 - t**3 - 38*t**2 + 13*t + 1. Does 16 divide a(-7)?
False
Suppose 15*c = 1137 + 603. Suppose 3*g - 764 = -c. Is 27 a factor of g?
True
Suppose k - 71 = -4*c + 8*c, 0 = 3*k - 2*c - 243. Let j = 87 - k. Is 4 a factor of j?
True
Suppose 48*u - 44*u = 2*t + 4278, -t = -u + 1073. Is u a multiple of 34?
False
Let g = -90 - -81. Is 3 a factor of 2/(-1) - (g + -63)?
False
Let u(d) = -d - 1. Let f be u(-11). Let q(z) = z**2 - 10*z + 5. Let n be q(f). Suppose -w = -2*y + 2*w + 366, -n*y = -w - 928. Does 18 divide y?
False
Let c(t) = 4*t**2 + 47*t - 486. Does 30 divide c(16)?
True
Let s(u) = 4*u**3 - 4*u**2 + 3*u - 10. Suppose -3*w = 31 - 7. Let t = w + 12. Does 31 divide s(t)?
False
Suppose -2*x = 0, 0*x - 27 = -3*w + 4*x. Suppose -3*n + 3 = -w, -2*h + 208 = 4*n. Let g = -8 + h. Is 9 a factor of g?
False
Suppose -141 = -5*c + x, 4*x + 54 + 90 = 5*c. Suppose -c*n + 35*n = 1820. Is 13 a factor of n?
True
Suppose 4*l - 27 + 7 = 0, 0 = z + 4*l - 17908. Suppose 17*i = -9*i + z. Does 15 divide i?
False
Let u be (75/10 + -5)/((-2)/(-4)). Suppose -3*y + 127 = -5*b - 804, u*y + 3*b - 1563 = 0. Suppose -2*s = 11*s - y. Does 6 divide s?
True
Let w be (-875)/(-275) + 2/(-11). Is 80 a factor of ((-300)/6)/(w/(-24))?
True
Let c = -378 - -1410. Let j = c - 636. Is j a multiple of 54?
False
Let n(b) = b**2 + 3*b - 3. Let r be n(-3). Let l(u) be the third derivative of -u**6/24 + u**5/30 + u**4/12 - u**3/6 + 144*u**2. Is l(r) a multiple of 28?
False
Suppose 116 = 4*z + 12. Let o be z + -5 + -3 + (0 - 0). Suppose 14*m = o*m - 752. Is 21 a factor of m?
False
Suppose 72*c - 397381 = 20795. Is c a multiple of 12?
True
Suppose 6*y - 4*y - 744 = -4*d, -2*y = -2*d - 738. Let k = -106 + y. Is k a multiple of 11?
True
Suppose 319840 = 120*x - 80*x. Is 20 a factor of x?
False
Let l = -31952 + 47319. Does 11 divide l?
True
Let m(u) = u + 6. Let g(j) = -j - 16. Let i be g(-12). Let x be m(i). Does 8 divide 8*(1 + x + -4 + 3)?
True
Let y(j) = j**3 + 10*j**2 - 255*j - 50. Is 6 a factor of y(16)?
True
Let f = 64 - 67. Is (7 + -3)*(1850/8 - f) a multiple of 39?
False
Let z be (-36)/10*(-80)/6. Let o be 2*(2/4)/(4/z). Suppose o = -4*y, -g + 3*y - 183 = -3*g. Is 12 a factor of g?
True
Suppose q = 2*z - 0*q + 187, -435 = 5*z + 4*q. Let x = z - -181. Suppose 8*r = 10*r - x. Does 8 divide r?
False
Suppose 0 = -16*h + 21*h + 95. Let w(y) = -27*y - 93. Is 20 a factor of w(h)?
True
Let p(b) = b**2 + 45*b - 1180. Is 56 a factor of p(-76)?
True
Let y be (15 - 6) + (2 + 0)/2. Let j(m) = m**3 - 7*m**2 - 23*m + 6. Is 37 a factor of j(y)?
False
Let k = -208185 + 295280. Is k a multiple of 14?
False
Let b = -149 - -151. Suppose b*k = -3*k + 475. Is 14 a factor of k?
False
Does 55 divide (-1 + 1 - 1)*8 - (-1925 - -745)?
False
Suppose s + 9391 = 3*s - 13099. Is 13 a factor of s?
True
Suppose 282*f - 870578 = 91*f. Is 106 a factor of f?
True
Let d(i) = i**2 + 13*i - 6. Let m be d(-14). Let n be 12*-1*(-10)/m. Does 3 divide ((-3)/n)/((-8)/440)?
False
Suppose n = 3*n. Suppose 3*l + 3*m - 24 = n, l - 6*l + 52 = 2*m. Suppose 5*u - 114 = o - 4*o, 0 = -4*o + l. Is 21 a factor of u?
True
Suppose -3 = -5*u + 2*u + 3*r, -2*u = 2*r - 6. Suppose 4*l = u*m - 344, -2*l + 5*m - 156 = -0*m. Let h = -64 - l. Is h a multiple of 3?
True
Suppose -88986 = 72*j - 6830 - 806980. Is 18 a factor of j