
False
Let k = -2850 - -8956. Is k a multiple of 86?
True
Suppose -17*f - 5244 = 2066. Let n be (-2)/(-8) - 131/(-4). Is 23 a factor of (-1 + n/6)*f/(-15)?
False
Let m(x) = 25*x + 3664. Does 3 divide m(-86)?
False
Let h(a) = a**2 + 3*a - 1. Let k be h(-3). Let w be 6*(5 - 7) + -24 + 34. Is (2747/(-82))/(w/(-4) + k) a multiple of 4?
False
Suppose -3*y - 5 = 5*w, 0 = 5*y + w - 2*w - 29. Let f be (-4 + y)*2 - 9*1. Let k(m) = -5*m + 19. Is 4 a factor of k(f)?
False
Suppose 580*q = 609*q - 119103. Is 111 a factor of q?
True
Let l be 6/(-6) + 1012 + -5. Does 33 divide 198/(-42) - -5 - l/(-7)?
False
Suppose -43*a + 431154 = -506870 + 32659. Is a a multiple of 21?
False
Let w(n) = 178*n**2 - 11*n - 122. Is w(-6) a multiple of 16?
True
Let c(p) = 5*p**2 - p + 1. Let m be c(1). Let r(q) be the third derivative of q**5/30 - q**4/8 + 4*q**3/3 - 13*q**2 + 41*q. Does 10 divide r(m)?
False
Suppose 7778 + 3358 = 29*i. Is 13 a factor of i/((3 - -3) + 48/(-9))?
False
Let y(d) = -26*d**3 + 2*d**2 - 3*d - 8. Let c = 140 + -142. Is 3 a factor of y(c)?
False
Let m = 446 + -280. Let y = m + -25. Suppose 3*w = -5*a + 210, 2*w = 4*a - w - y. Is 15 a factor of a?
False
Suppose -3*d + 4*d + 1 = 3*t, -4*d - t + 9 = 0. Let y(n) = 102*n**3 + n**2 - 2*n - 4. Does 29 divide y(d)?
True
Let i be 54/(-6)*(-3)/(-9) - -19. Suppose -274 = -i*l + 12062. Is l a multiple of 84?
False
Let d(x) = 501*x - 272*x - 270*x - 15. Is d(-11) a multiple of 12?
False
Let c = 11 - 12. Is (c + (-2)/2)*-44 a multiple of 44?
True
Is 8 a factor of (4 - ((-9 - -4) + (8 - 2))) + 173?
True
Let a be (-1 - (-3)/1)*(-8)/(-4). Suppose 4*k = -2*x + 34, -k - k + a = 0. Is x a multiple of 2?
False
Suppose -5*x = 3*s + 5430, -2*x = -s - 1204 - 606. Does 22 divide 2/((30/s)/((-6)/4))?
False
Let z(s) = 7*s**3 - 14*s + 35. Is z(5) a multiple of 24?
True
Let m = 8130 + -3144. Is m a multiple of 9?
True
Let u = 34 + -45. Let m be 2320/55 - (-2)/u. Let q = m + 22. Is q a multiple of 26?
False
Suppose -15*b + 97684 = 4099. Is b a multiple of 17?
True
Suppose -27 = -3*w, 0*w = k + 5*w - 44919. Is k a multiple of 198?
False
Let y(p) = p**2 + 15*p - 17. Suppose 1 + 5 = -z - 5*s, -5*z - 2*s = 76. Let l be y(z). Does 11 divide l/(-6) + 161/6?
False
Let s(w) = w**3 - 7*w**2 - 13*w - 9. Let p = -30 + 94. Suppose -73 + p = -t. Is s(t) a multiple of 9?
True
Let k be 4/18 - ((-1392)/54 - -4). Suppose 118 = 3*s + 4*v, -4*s = -3*v - k - 102. Does 15 divide s?
False
Let f = -16970 - -19384. Does 17 divide f?
True
Suppose 2*w + 5*d = 1, -4*d - 1 = 3. Suppose -2*q - 91 = -5*h, -w*h - 2*h = q - 82. Suppose 0 = 26*f - h*f - 2376. Does 22 divide f?
True
Let r(n) = n**2 - 8*n + 18. Let y be r(4). Is (80/(-24) - -4)/(y/624) a multiple of 13?
True
Suppose 0 = 4*f - 14*f. Suppose 3*i + 3 = f, 2*s + 5*i + 4 - 15 = 0. Let j(l) = 5*l - 6. Is j(s) a multiple of 9?
False
Let b(h) = -h**3 - 40*h**2 - 113*h - 71. Let s be b(-37). Is -6 + (518 - (s + -2)) a multiple of 24?
False
Let h = 20464 - 19283. Is 46 a factor of h?
False
Let a be (-2)/(0 - 10/(-25)). Let x be 0 + (3 - a/(-1)). Let y = x + 12. Does 10 divide y?
True
Let y(w) = 7*w**2 + 10*w + 13. Is y(-6) a multiple of 6?
False
Let r be 12/(-8) - (-3)/2. Let m be 36*(r + (4/(-8))/1). Does 9 divide (m/(-10))/(6/90 - 0)?
True
Let a = 430 - 1225. Let c = -337 - a. Is 15 a factor of c?
False
Let a(m) = -m + 8. Let p be a(10). Is 22 a factor of (5/p)/((-38)/6688)?
True
Let q be (-1)/2 - (-367)/(-2). Let r = 448 + q. Suppose 0 = 20*u - 8*u - r. Is 11 a factor of u?
True
Suppose 2*j - 4*d - 22824 = 0, -4*d - 108 + 84 = 0. Is j a multiple of 38?
True
Suppose 2*h - 872 = -2*k, -104*h + 102*h - 3*k = -875. Let g = 106 + h. Does 10 divide g?
False
Suppose 2*d = 4*w - 70, -w + d + 0*d + 19 = 0. Let o(l) = -3*l**2 + 54*l - 12. Is 6 a factor of o(w)?
True
Let g(h) = h**2 - 13*h + 50. Let d be g(6). Suppose b = 2*x - 537, x - d*b + 5*b = 261. Is x a multiple of 10?
True
Is 149 a factor of ((-4768)/(-12))/(18/297)?
True
Suppose 160 = 12*v - 44*v. Does 10 divide 5*(-101)/v - -5?
False
Is ((-22)/11 - 7) + -3 + 614 a multiple of 3?
False
Let v(u) = 73*u**2 - 2*u - 2. Let w be (4/(-18))/((-4)/36). Let q be (-2 - (w - 3))/1. Is v(q) a multiple of 13?
False
Let u(v) = -823 - v**3 - 3*v**2 + 5*v**3 - 12*v + 838 - v. Is u(6) a multiple of 33?
True
Let b(j) = -j + 4. Let k be b(4). Suppose -28*n + 737 = -17*n. Suppose 2*q + q - 207 = 3*g, k = -q + 3*g + n. Is 13 a factor of q?
False
Suppose 3*m - 17 = -i, 5*m - 4*i - 26 = -9. Suppose -m*s + 15 = -2*s. Is s a multiple of 2?
False
Let h(d) = 158*d - 189. Let p be h(8). Suppose -2*n + 3*i + 423 = 0, 5*n + i - p = 5*i. Is 35 a factor of n?
False
Let s = -446 + 445. Let g(j) = 1093*j**2 - 22*j - 23. Is 14 a factor of g(s)?
True
Let u be -547*(3 + -1)/(-2). Suppose 4*x - r + 2*r = 437, 5*x = -2*r + u. Does 8 divide x?
False
Let d(t) be the first derivative of t**4/24 + 13*t**3/3 - 13*t**2/2 + 27. Let s(m) be the second derivative of d(m). Is 14 a factor of s(-11)?
False
Suppose -177*d = -169*d - 110336. Is d a multiple of 4?
True
Let y(s) = -s**3 + 30*s**2 - 62*s - 24. Does 27 divide y(22)?
True
Suppose 0*i = -3*i + 9. Suppose -9 = -6*f + i. Suppose p = 5*o + 52, -f*o = 2*p - 6*o - 128. Is p a multiple of 28?
False
Let m = 64 + -62. Suppose -m*t - 18 = 2*o, -3*t - 2*o - 11 = -7*o. Let c(z) = -z**2 - 12*z + 15. Is 5 a factor of c(t)?
True
Let q(v) = v**3 + 6*v**2 + 11*v - 8. Let o be q(-6). Let j = o + 85. Does 17 divide (0 + 20)*j/2?
False
Let i(c) = 6*c + 2. Let y be i(16). Let g = -44 + y. Is g a multiple of 7?
False
Suppose -10*t - 50 = -150. Is 9 - t - (-456 - -1) a multiple of 19?
False
Suppose -8*c = -5*c - 2592. Let k = c + -580. Suppose 5*h + 4 = k. Is h a multiple of 14?
True
Let g(p) = -2423*p - 16*p**3 + 4853*p - 2427*p - 5*p**2. Is g(-5) a multiple of 23?
False
Let z(b) = 230*b**2 - 135*b - 686. Does 8 divide z(-5)?
False
Let d(r) = r**2 - r + 1. Let o(f) = -f**3 + 5*f**2 - 2*f - 5. Let a be o(2). Suppose 0 = -a*l - 2 - 19. Does 19 divide d(l)?
True
Let b(s) = -17*s + 124. Suppose 0 = -5*z - 3*w + 27, -4*z - 4*w = z - 26. Is b(z) a multiple of 15?
False
Let c(i) = 526*i**2 - 321*i + 5. Does 5 divide c(3)?
False
Let m(l) = 4*l + 47. Let t be m(8). Suppose -72*v + t*v - 3290 = 0. Is 47 a factor of v?
True
Is 21 a factor of (-74 - -33)*(-106 - 1)?
False
Suppose 8*a - 9804 - 6294 = 30078. Does 73 divide a?
False
Is 22 a factor of (-2)/(2/(-5)) - (-347653)/199?
False
Let v = 16 - -560. Suppose 6*k - 1218 - v = 0. Does 6 divide k?
False
Let j = 86 + -92. Let n(g) = -45*g - 130. Is n(j) a multiple of 5?
True
Let h = 166 - 170. Let n(i) = i**3 + 9*i**2 + i - 1. Does 22 divide n(h)?
False
Let l(w) = -2*w**2 + 13*w + 33. Let o be l(-6). Let n = o + 185. Is n a multiple of 4?
True
Let m = 23 + -25. Let t(l) = 74*l**2 - 2*l - 3. Let n be t(m). Let u = n - 195. Does 17 divide u?
True
Let m = 90 - 91. Is 14*70/12 - m/3 a multiple of 5?
False
Suppose -s + 119 = 4*p, s + 2*s - 330 = -3*p. Let w = -71 + s. Let i = w - 26. Does 10 divide i?
True
Let x(i) = -74*i - 18. Let t be x(4). Let q = -161 - t. Is 9 a factor of q?
True
Let h(n) = 4386*n**2 + 170*n + 345. Is 161 a factor of h(-2)?
True
Suppose -3*z - p + 5 = 0, -18 = -4*z - 4*p + 2. Suppose 5 = -z*c + 4*c + 5*i, 0 = -3*c + 5*i + 30. Suppose 6*d = c*d + 160. Does 32 divide d?
True
Suppose -128935 = -254*t + 6156 + 33819. Does 56 divide t?
False
Let w = 7926 + -5855. Is 6 a factor of w?
False
Let h be (-6)/10 - (7 - 3/5). Is (123 - 0)*h*(-8)/24 a multiple of 5?
False
Is 37 a factor of (-2)/(-80) + (-513358416)/(-12160)?
True
Let t(d) = 8*d**2 + 55*d + 84. Does 121 divide t(8)?
False
Suppose -2*d = -4*x - 16892, -4*x - 8991 - 24785 = -4*d. Is 18 a factor of d?
True
Does 10 divide 18/99 - 1608/132 - -5475?
False
Let b(q) = 15*q**2 - 148*q - 1571. Does 10 divide b(-12)?
False
Is 15 a factor of ((-42)/(-9) - 1 - (-26)/(-13))*831?
False
Is (50/(-1))/(20/(-45))*2 a multiple of 5?
True
Suppose -2*i + 7*i + 20 = 0. Let t(h) = -3*h**3 - 5*h**2 - 2*h - 5. Let j be t(i). Suppose 100 + j = 5*u. Is 16 a factor of u?
False
Suppose -5*x - 4*z = -x - 82588, 0 = -5*x + 5*z + 103225. Is x a multiple of 41?
False
Let u be 735/75 + (-1)/(-5). Suppose -2*k - 4*t + 10 = -t, -4*t + u = k. Suppose -k*b = -o + 12, -31 = -5*o - 5*b + 29. Is o a 