de t?
True
Let m be (5/(-1) + 0)/(-1). Suppose -4*j + 21 = 1. Suppose j*o = w + 2*o - 42, w + m*o - 34 = 0. Is w a multiple of 6?
False
Suppose 0 = u + p - 5169, 2*u - 204*p - 10323 = -201*p. Is 42 a factor of u?
True
Is -2810*1*14/(-28) a multiple of 44?
False
Is (0 - 0 - 10) + 1132 + 102 a multiple of 9?
True
Let n(i) be the third derivative of 17*i**4/24 + i**3 - 12*i**2. Let q(o) = 17*o + 5. Let d(s) = 3*n(s) - 2*q(s). Is 31 a factor of d(5)?
True
Let c = -17 - -27. Suppose -6*y + c*y - 1076 = 0. Suppose y + 47 = 4*p. Is p a multiple of 20?
False
Let q be (-12308)/(-10) + (-24)/30. Suppose 0 = 17*u - q - 3904. Is 68 a factor of u?
False
Let z be (-6912)/(-24) + (3 - 3). Suppose -4*r = -4*q + 2*q + z, 2*q - 5*r - 285 = 0. Is 5 a factor of q?
True
Let b(w) = 261*w**2 + 9*w - 2. Let j be (-12)/(-30) - (-2)/((-20)/(-6)). Is 35 a factor of b(j)?
False
Let b(u) = -10*u + 21. Let g be b(0). Suppose g*y - 15 = 16*y. Suppose 478 = 2*j - y*v, j - 2*j = 2*v - 253. Is 35 a factor of j?
True
Let d be -5 + 9 + 2*6. Let z = -14 + d. Is 7 a factor of (-14)/(-4)*(z + 12)?
True
Suppose -s - 124 = -3*s. Let j = -105 + s. Let t = 142 + j. Does 11 divide t?
True
Let j(r) = 7*r - 9*r**2 + 16*r + 13 + 3 - r**3. Let i be j(-11). Suppose -2*k + 5*m + 69 = 0, k - i*m - 12 - 30 = 0. Is k a multiple of 7?
False
Is (-4)/(-24)*9*(-8)/3 + 3912 a multiple of 18?
False
Does 274 divide ((25/(-75))/((-5)/(-573)) - -8)*-815?
False
Suppose 0 = -2*k - 2*k - 20, 10 = 4*s - 2*k. Does 55 divide 386 - (1/(-5)*s - -2)?
False
Suppose -3451000 = 6*n - 122*n - 0*n. Is 14 a factor of n?
True
Suppose f - 60 = x, 112 = f + 5*x + 34. Let a = f + -43. Suppose 0 = -5*z - a, -3*j + 2*j + 110 = z. Is j a multiple of 38?
True
Let a(x) = -13*x - 17*x - 13*x - 144 - 5*x. Is 24 a factor of a(-14)?
True
Suppose 3*q - 7*q = 2*x - 26, -20 = 4*x. Suppose -q*l - 620 = -11*l - r, -924 = -3*l - 3*r. Is 15 a factor of l?
False
Let d(q) be the third derivative of -q**6/120 + q**5/5 + 17*q**4/24 + 2*q**3/3 - 115*q**2. Is d(11) a multiple of 12?
True
Is 37 a factor of -13 + (-150921)/(-18) + (-10)/4 + 3?
False
Suppose i = -0*i + 4*f + 14, 0 = -4*i - f + 5. Let n be 248/6 - i*(-3)/(-18). Let g = n - -39. Does 8 divide g?
True
Let v = -78 + 82. Suppose -v*a = 2*a - 552. Let u = a + -48. Does 20 divide u?
False
Suppose j + 5*a = 5104, 0 = -5*j + 5*a + 15098 + 10572. Is 34 a factor of j?
False
Suppose j = -2*j, 4*g - 396 = -0*j + j. Is 33 a factor of g?
True
Suppose -37*z = -9*z + 4*z - 18272. Is z a multiple of 2?
False
Let v = 110 - 103. Let j be 9807/v + 1 + 2. Suppose -8*w + j = w. Is w a multiple of 26?
True
Let b = -3763 - -4271. Is b a multiple of 127?
True
Let r be (4 - 6) + 3 + -4. Is -5 + (-1 - r) + 377 a multiple of 34?
True
Let p(m) = m**3 - 6*m**2 - 16*m + 28. Let w be p(11). Let u = w - 295. Is 18 a factor of u?
True
Let v(q) = -9*q - 2. Let y be v(-2). Let u be -2 + y - (0 - -4). Suppose u*b - 154 = -b. Is b a multiple of 7?
True
Let n(k) = -k**3 + 9*k**2 - 7*k + 8. Let p be n(7). Suppose -6*q = -12*q + 24. Suppose 185 = q*g + p. Is 9 a factor of g?
False
Suppose 5*u = 7*c - 4*c, 0 = 2*u + 2*c. Suppose u = -5*s + 1320 - 205. Is 11 a factor of s?
False
Suppose -2*m + 5 = v, 3*v - 12 = 7*v. Is (440 + m)*(40/(-16) - -7) a multiple of 37?
True
Is 4 + 16 + (-1 - -12) a multiple of 2?
False
Let b = -4533 + 10658. Is 25 a factor of b?
True
Let b be (-16)/40 + 187/5. Suppose -2*f - b + 45 = 0. Suppose -2*i = -h - 85, 0 = f*i + 2*h - h - 155. Does 10 divide i?
True
Suppose -5*x = 5*u - 5695, -2 = 5*u + 8. Suppose 8*l + x = 4525. Is l a multiple of 47?
True
Suppose 0 = 4*s + 4*z - 3*z - 156, -8 = -2*z. Let t = -44 + s. Let i = 32 + t. Does 13 divide i?
True
Let p be 28/8 + (-2)/(-4). Let j be p/1 - 2 - -136. Suppose -5*s + a + j = 2*a, -4*s + 3*a + 99 = 0. Does 9 divide s?
True
Suppose 0 = -8*l + 4 + 20. Suppose 813 = 5*r + 4*k, l*k + 176 - 2 = r. Does 15 divide r?
True
Let j(d) = d**3 + 9*d**2 + 16*d + 4. Let h be j(-6). Is h - (-9)/3*5/(-15) a multiple of 2?
False
Let c = 227 - 405. Let a = c - -335. Does 11 divide a?
False
Suppose 9*y + 13*y + 7*y = 15660. Does 4 divide y?
True
Let f(m) = -7255*m + 436. Is f(-2) a multiple of 47?
True
Let t(r) = r**2 - 3*r - 8. Let j(z) = 3*z + 29. Let x be j(-8). Let f be t(x). Suppose 4*s - 180 = -l, 0*l - 210 = -l + f*s. Is l a multiple of 40?
True
Let j(q) = 3*q - 24. Let c be j(18). Let r = c - 40. Is 14 a factor of -1*235/r + 1/2?
False
Suppose 72 = -2*u + 14*u. Is 337 - (u - 0 - 12) a multiple of 49?
True
Let c(m) = -m**3 + 8*m**2 + 11*m - 15. Let y be (-3*(-4)/(-20))/((-2)/30). Let n be c(y). Suppose t = -3*q + 71, 11 = 2*q + n*t - 48. Does 13 divide q?
False
Let s = 320 - 320. Let b(r) = -2*r**2 - 2*r + 555. Does 15 divide b(s)?
True
Let p = -52 + 88. Let o be p/16 - 4/(-32)*-2. Suppose 4*q - 3*y = q + 42, 0 = -o*q - 3*y + 53. Is q a multiple of 3?
False
Let q be (-1863)/(-54)*2/(-6)*-2. Suppose q*s - 513 = 154. Does 22 divide s?
False
Let z be (-2)/(-7) + (-18)/63. Suppose -9*d + 4*d + 25 = z. Suppose -d*l + 135 = -65. Does 40 divide l?
True
Suppose -i = -3*i + 4. Suppose 5*c = -3*t + 65, 3*t - 1 = -i*c + 16. Is 10 a factor of c/28 - (-1030)/35?
True
Is 9 a factor of (-36)/(-2 + 4)*((-7659)/18 + 4)?
True
Let h = -13 - -19. Let z be (-96)/44 - (0 - h/33). Is 7 a factor of 3/z + 1038/12?
False
Let p(r) = r**2 - 18*r + 5. Let d be p(18). Suppose 0*j - 4*j = -h + 9, -4*h + 25 = -d*j. Suppose 14*y - h*y = 2646. Does 42 divide y?
True
Suppose 19*l - 26*l + 4746 = 0. Suppose 5*r - 851 = 2*n - 3*n, -4*r + 2*n = -l. Is 17 a factor of r?
True
Let q = -84 + 64. Let x be 4/q - ((-44)/(-5))/(-4). Suppose -4*f = -x*t - 27 - 183, -35 = -f - 3*t. Is f a multiple of 10?
True
Suppose -3*c + f - 1 = 0, 4*f + 14 = 4*c - c. Let r(p) = -2*p**3 - p**2 + p. Let s be r(c). Let k = 44 - s. Does 6 divide k?
False
Suppose 5*j + 56*u - 47927 = 57*u, 3*u - 19147 = -2*j. Does 35 divide j?
False
Suppose -3 + 11 = 2*w. Let c be (-5)/25 + 11214/70. Suppose 0 = -w*o + z + c, 10*o - 5*o + z = 209. Does 20 divide o?
False
Suppose 5*i = 3*k + 115, i + k - 10 = -k. Let r be -1*3*(-4)/(-6). Is 10 a factor of r/5 + 1648/i?
False
Let r(f) = 98*f + 3. Let k be r(7). Suppose -5*w + k = 8*w. Is w a multiple of 6?
False
Is 40 a factor of (-1)/10 - (-3182200)/2000?
False
Let z = 7510 + -6754. Does 21 divide z?
True
Let z = -366 + 372. Is 77 a factor of (-126)/(-27)*1089/z?
True
Is 1914*(-154)/(-189) - 8/(-18) a multiple of 40?
True
Let k be (2 - 1)*(-3 - -9). Let n be (-10416)/(-35) - k/(-15). Suppose -2*l + 108 = -0*l - 4*y, 5*l = 3*y + n. Is l a multiple of 13?
False
Let d = 1029 - 641. Is (-32 - -29)/((-6)/d) + -3 a multiple of 8?
False
Let o be ((-14)/6)/(1/(-1566)). Suppose o = -28*a + 49*a. Does 29 divide a?
True
Let k = 96 + -96. Suppose 4*d - 5*g - 1022 = -3*g, 2*d - 3*g - 509 = k. Is d a multiple of 29?
False
Suppose -3*f = 4*h - 3314 - 2587, 5*f + 5*h = 9830. Is f a multiple of 13?
True
Let f = -1594 - -4333. Suppose 0 = -f*r + 2732*r + 2093. Is r a multiple of 13?
True
Let h(g) be the third derivative of g**5/60 + 5*g**4/6 + g**3 + 10*g**2. Let x(m) = -1. Let r(d) = -h(d) + 6*x(d). Does 3 divide r(-18)?
True
Suppose -8*t + 399573 = 49*t + 24*t. Is 153 a factor of t?
False
Suppose 508*c + 24 = 514*c. Let q(o) = o + 1. Let z be q(4). Suppose z*i + c*d = 9*d + 595, -3*i + d = -353. Is 9 a factor of i?
True
Suppose -12*s - 3*s + 185976 = -s. Is 9 a factor of s?
True
Suppose 130247 - 15167 = 56*n. Does 16 divide n?
False
Let y = 4780 - 2249. Is y a multiple of 146?
False
Let a(i) = -214*i**3 + 11*i**2 + i. Is 112 a factor of a(-4)?
False
Let a(x) = -3*x**3 - 4*x**2 + 6*x - 6. Let j be a(2). Let d = 33 + j. Does 23 divide d/(-1*(3 + (-160)/54))?
False
Suppose 0 = -15*j + 13*j + 6. Suppose 2*k - j*k = -0*k. Suppose -6*y + 733 + 41 = k. Does 27 divide y?
False
Let p(z) = -z**2 + 4*z + 17. Let n be p(6). Suppose n*w = 11*w - 1950. Does 13 divide w?
True
Let w(n) = n**3 - 6*n**2 - 10*n + 28. Let j be w(7). Is (-16)/(-5)*(4 - -2131)/j a multiple of 16?
True
Is 399399/98*((-2)/(-5) - (-154)/165) a multiple of 38?
True
Let f = 8563 + -6959. Is 6 a factor of f?
False
Let y(o) = 1687*o**2 - 294*o - 877. Does 145 divide y(-3)?
False
Is 56 a factor of 2/6*-37809*(-28)/(-168)*-12?
False
Is (-15142)/(-6) - (9