3?
True
Let p(j) = -24*j - 24. Let y(b) = -5*b - 5. Let u(w) = -2*p(w) + 11*y(w). Is u(-8) a multiple of 14?
False
Is 73 a factor of (-20)/(-16) - 208458/96*-4?
True
Suppose -5*s + 5 = 0, 4*p + 0*s = 3*s + 4605. Is (-1 - 1)/((-24)/p) a multiple of 16?
True
Let v(w) = -3*w**3 - 7*w**2. Suppose 0 = 3*p + q + 11, -14*p + 2 = -12*p + 3*q. Is v(p) a multiple of 27?
False
Let h(v) = -95*v - 298. Let m be h(-17). Let d = m - 937. Is d a multiple of 23?
False
Does 70 divide (555/6)/(-7 - (-2245)/320)?
False
Let y(t) = t**2 + 4*t + 9. Let z be -4*69 + -6 + (1 - -2). Let g be z/36 + 3/4. Is 7 a factor of y(g)?
False
Is 86 a factor of (706/4 - -2)/(36 + 1846/(-52))?
False
Suppose -h - 4*h - d - 4 = 0, -3*h + 3*d = -12. Suppose -12*a - 860 = -2*w - 10*a, h = -2*w + 4*a + 866. Does 7 divide w?
True
Does 33 divide ((-299)/26)/(-23) + (-2243)/(-2) + 0?
True
Let m = 319 - 166. Let r = 233 + -229. Suppose -r*k + m = -263. Is k a multiple of 16?
False
Is (-4)/(-16)*139*(101 - 1) a multiple of 3?
False
Suppose 6*u - 83*u - 74*u + 2993424 = 0. Does 177 divide u?
True
Suppose 3*u = -m + 402, -5*m = -u + 113 + 37. Does 5 divide u?
True
Suppose -w - 4 + 31 = -2*u, 0 = 5*w - 3*u - 142. Let g = w - 26. Suppose 2*n - 8 = -2*j, -3*j = -4*n + g - 1. Is j a multiple of 2?
True
Does 40 divide 0 - (-2 + -8 - 13680)?
False
Suppose 5*x = -2*n + 25204, -4*x - 35*n + 20177 = -38*n. Does 40 divide x?
False
Let t(a) be the first derivative of -19/2*a**2 - a - 34. Is 2 a factor of t(-2)?
False
Let u be 8/(-4)*-1 + (-3)/(-1). Suppose -2*j - 639 = -u*j. Suppose -x + 114 = -3*c, 2*x - j = -0*x + c. Is 15 a factor of x?
True
Let q(x) = 293*x - 36. Let f be q(6). Is f/(-4)*(20/(-15) + 0) a multiple of 7?
True
Suppose -f - 1 = -2. Is 25 a factor of ((1 - -354) + f)*98/196?
False
Suppose 0 = -3*z + 3*j + 6447, 2933 = z + 2*j + 781. Is z a multiple of 5?
True
Suppose -3*v = 4*d - 20812, v - d = 2*d + 6959. Does 62 divide v?
True
Suppose -5*m - 5185 = h + 4*h, -3087 = 3*h - 3*m. Let q = h - -2627. Does 13 divide q?
False
Is 2 a factor of (1575/18 + 10)*(-316)/(-5)?
True
Let v(x) be the third derivative of x**6/120 + x**5/5 + x**4/6 - 41*x**3/6 - 168*x**2. Is 2 a factor of v(-8)?
False
Suppose 2*f - 26 = -2*a, -4*f + 0*a + 16 = -5*a. Let k(o) = -4*o + 27. Let q be k(f). Let x = 21 - q. Is x a multiple of 5?
True
Let j(c) be the first derivative of 2*c**2 - 4*c - 20. Let t be j(5). Suppose 3*o - t = 23. Is o a multiple of 7?
False
Let m = -23229 + 36406. Is m a multiple of 84?
False
Let y = -21048 - -31248. Is 34 a factor of y?
True
Let w(h) = -5*h - 89. Let j be w(-18). Does 49 divide (3 - j)/(-5 - 4977/(-994))?
False
Suppose 0 = -4*t - n + 2779 + 26676, n = 2*t - 14717. Is 18 a factor of t?
True
Suppose 6*j - 9*j + 9 = -2*y, 4*y = -j + 3. Suppose -m + 84 + 60 = y. Let g = 311 - m. Is 23 a factor of g?
False
Let y(u) be the first derivative of -7*u**2 - 28*u + 14. Let a be y(-14). Suppose 2*l - 334 = -0*q + q, -a = -l + q. Is l a multiple of 16?
False
Suppose 837 = -4*s - 579. Let x = 506 + s. Is 19 a factor of x?
True
Suppose 0*i - 299 = -3*t - 4*i, 4*i + 16 = 0. Suppose 5*k - t - 821 = -2*d, 0 = -4*k + 8. Is 25 a factor of d?
False
Suppose 4*q + 186 = y, 4*y + q = y + 506. Suppose -168*t - 226 = -y*t. Does 17 divide t?
False
Let c = 8793 - 582. Does 69 divide c?
True
Let r = 8278 - 3784. Is 21 a factor of r?
True
Let c = -27 - -27. Suppose c*j - 2*j = -3*a + 11, -j = 4*a. Is 55 a factor of 6/12 + j/((-24)/993)?
False
Let p be 4*(-2)/(-20) + 1196/10. Let r = 340 - p. Is r a multiple of 11?
True
Suppose y + 4*h = 881, 824*h = y + 820*h - 913. Is y a multiple of 143?
False
Suppose 5*y = -3*k + 1546, -6*y + 4*y - 519 = -k. Suppose 817 = 5*v + k. Is 10 a factor of v?
True
Let q be 5 - (2 - 2) - 1. Suppose 21*m - 17*m + z = 5184, -q*m = 2*z - 5184. Is m a multiple of 27?
True
Let t be 16 + -7 + 27/9. Is 84 a factor of (t/(-16))/(1/(-2464)*2)?
True
Let n(u) = -2*u**3 + 11*u**2 - 9*u + 4. Let y(b) = -b**3 + 9*b**2 + 13*b - 25. Let o be y(10). Let s be n(o). Does 37 divide (29/2)/((-2)/s)?
False
Let s be (19 - 17) + 3/(-1). Let w be (99 + s)/((-12)/(-576)). Suppose 13*y = -y + w. Does 14 divide y?
True
Let i be (374/4 - -1)/((-38)/76). Suppose 2*n + 2*g - 811 = -205, -604 = -2*n - 4*g. Let s = n + i. Does 6 divide s?
False
Let d be (7/(-4))/((-3506)/1168 - -3). Suppose -2*q + 1022 = 5*k, q + 4*k - d = -q. Is 18 a factor of q?
False
Let a(u) = -412*u**2 + 2. Let d be a(1). Does 4 divide (-24)/(-88) + d/(-110)?
True
Suppose -2*j = 10, -t - 4*j = t - 2892. Suppose 0 = 2*k + 2*k - t. Suppose 0 = 2*h - 3*g - k, 5*h - g + 2*g = 876. Does 22 divide h?
True
Let w = -20379 - -35089. Is 10 a factor of w?
True
Let k = 4195 - -1807. Does 69 divide k?
False
Let s = 182 + 154. Suppose 0 = 16*y - 0 - s. Is 22 a factor of 4*y/(-2)*16/(-12)?
False
Let v(g) = g**2 + 12*g - 280. Let a be v(-24). Is (a/20)/(-2*5/(-11950)) a multiple of 8?
False
Suppose -11302 = -4*g + 13*p - 10*p, 0 = -g + 4*p + 2832. Is 8 a factor of g?
True
Let f(k) = 5*k**2 - 22*k + 73. Is 68 a factor of f(25)?
False
Suppose 2*x + q = 6*q + 138, 0 = 5*q - 10. Let l = x - -250. Suppose -456 = -3*b - 3*o, b - l = -b + 2*o. Is 16 a factor of b?
False
Suppose 3*y + 39 = -2*g - 0*g, 16 = -g + 2*y. Does 13 divide 12/g + (-1154)/(-3)?
False
Suppose -68 = -4*s + 5*n, s - 2*n - 32 = 3*n. Does 23 divide 63595/210 + 2/s?
False
Let x be 119/7 - (0 + 6). Suppose 13*a = x*a + 450. Does 9 divide a?
True
Let s(b) = -7*b + 340. Suppose 11*j + 380 = 49*j. Does 18 divide s(j)?
True
Let b(p) = 60*p - 49. Is 7 a factor of b(1)?
False
Let v(p) = -17*p - 31. Let s be v(-2). Suppose 45 = -s*q + 459. Is 20 a factor of q?
False
Let h(c) = -3*c**2 + 2 - 6 + 26*c + 8*c**2. Is 4 a factor of h(-8)?
True
Let b = 15382 + -9623. Is b a multiple of 115?
False
Let p = 169 + -166. Suppose -p*f + 138 = -3*h, h + 43 - 237 = -4*f. Is 8 a factor of f?
True
Let c = -71 - -79. Let b(o) = -o + 9. Let s be b(c). Does 11 divide (-3 - -2)/(s - 78/77)?
True
Let b(i) = -i**3 + 21*i**2 + 11*i + 15. Let p be b(21). Suppose -12 = -9*k - p. Let g = 79 - k. Is g a multiple of 21?
True
Is 133 a factor of -1*(-23007 + 52/(-26))?
True
Let f be (-1330)/(-8) + ((-39)/(-4) - 10). Suppose 168*h = f*h + 600. Is 30 a factor of h?
True
Let w(b) = -3*b + 25. Let o = -12 + 14. Suppose -2*f + 16 = -3*t + o*t, 3*f - t = 23. Is w(f) even?
True
Is (6/1 - 312/(-9))*-5*-198 a multiple of 33?
True
Let i be 8/14*(-3)/((-18)/21). Let g be (-2)/6 - (i - 31/3). Let x(l) = 20*l - 10. Is 25 a factor of x(g)?
True
Suppose -k + 19260 = 23*p - 19*p, k - 4*p - 19324 = 0. Is 106 a factor of k?
True
Let r(h) = h**2 + 11*h + 7. Let f be r(-11). Suppose -6*z - 32 = -f*z. Let u = -16 + z. Is 6 a factor of u?
False
Suppose -j + 32499 = 2*q, -23*q + 25*q - 97525 = -3*j. Is 14 a factor of j?
False
Suppose -2*r + 2*m = -1 - 5, -r = -4*m - 12. Let u = -42 - -46. Suppose -2*q = u*w - 90, -3*q + r*q - 3 = 0. Is w a multiple of 15?
False
Let y be 12/(-4)*(-4)/12. Is 75 a factor of (3 - -4)*(y - (4 + -78))?
True
Suppose -2*m = -5*q - 4381 - 2156, 5*q = -2*m + 6567. Is 117 a factor of m?
True
Does 4 divide -2 + (360/420)/(3/25396)?
False
Let b = -3 + 7. Suppose -5*g = -4*k + 82 - 66, 3*k - 12 = 4*g. Suppose b*y + 120 = k*x - 32, 0 = -x - y + 40. Is x a multiple of 4?
False
Suppose -3879 - 2321 = c - 11*c. Is 7 a factor of c?
False
Let i(c) be the first derivative of -c**4 - 4*c**3 - 20*c**2 - 8*c - 113. Does 12 divide i(-5)?
False
Let g(h) = h**2 - 5*h + 5 + 2*h - 7 - 7. Is g(20) a multiple of 17?
False
Let m(r) = 10*r**2 - 24*r - 417. Is m(-11) a multiple of 2?
False
Is -126*(-1974)/228 + 2/19 a multiple of 2?
False
Let j be (-158)/22 + (-12)/(-66)*1. Let q(k) = -42*k + 42. Let u be q(j). Suppose 0 = 5*p - 3*p - u. Is 14 a factor of p?
True
Let y = -106 - -88. Does 42 divide (-6)/4 - (8 + 3357/y)?
False
Let f be 8*(45/12)/(-5) + -3. Let q be (-1)/6*4 - 6/f. Suppose -m - 3*m + 636 = q. Is 13 a factor of m?
False
Let b(c) = -5*c**3 + 4*c - 3. Let d be b(1). Let i be (-2)/(4/148*d/(-8)). Let t = i - -220. Is t a multiple of 4?
True
Suppose 0 = -0*u - u, 6*j - 121925 = j + 5*u. Is 155 a factor of j?
False
Let g(p) = -47*p + 1792. Is 9 a factor of g(-31)?
True
Suppose b - 96 = -4*k, 3*k = -4*b - k + 372. Let o = 49 - b. Let g = o + 52. Is g 