)/(-21) + 3 + 19/(3192/(-48))?
True
Suppose 5*x - 55956 = 130789 + 54275. Does 13 divide x?
True
Let l = -122 + 117. Is (249/l)/((-78)/(-20) + -4) a multiple of 64?
False
Let j be 2/(-3)*(-142 + 1). Suppose 2*l + 5*t = 437, 4*l = -405*t + 404*t + 901. Let f = l - j. Is 22 a factor of f?
True
Let g = 301 + -660. Let z = 892 + g. Is z a multiple of 41?
True
Let c be (2 - 3 - -4)*1. Suppose 3*w = -2*g + 105, c*g - 4*g - 3*w = -60. Is g a multiple of 4?
False
Let u(c) = -9*c**3 + 6*c**2 + 5*c + 3. Let f = 120 + -123. Does 15 divide u(f)?
True
Let o(k) = k**3 + 3*k**2 - 7*k - 11. Let l be o(-4). Does 8 divide (-4628)/(-34) + l*(-6)/51?
True
Let g(o) = -49*o**3 + 9*o**2 + 16*o + 32. Let t(m) = -17*m**3 + 3*m**2 + 5*m + 11. Let a(q) = 4*g(q) - 11*t(q). Is 7 a factor of a(-3)?
False
Suppose -10*g = -19675 - 95955. Is 61 a factor of g?
False
Let h(g) = g**3 - 15*g**2 + 15*g - 7. Let w be h(14). Suppose w*v - 12 = 3*v. Suppose 0 = -4*q - v*r + 87, 2*q = -5*r - 4 + 37. Is q a multiple of 4?
True
Let b be ((-16)/(-10))/((-5)/((-50)/4)). Suppose -19*p - b = -20*p. Suppose -p*s + 288 = 2*c - 5*c, -4*s - 3*c = -288. Does 18 divide s?
True
Let d = 33715 - -7703. Does 9 divide d?
True
Let v be 4/(-1 - (1116/(-560) - -1)). Is 31 a factor of v/(-6) + (5 - (-64)/(-12))?
True
Suppose -2*d = 4*j - 4952, -2481 = -12*d + 11*d - j. Is d a multiple of 42?
False
Let c(w) be the second derivative of -w**5/60 - 11*w**4/24 + 5*w**3/6 + 13*w**2/2 - 22*w. Let b(y) be the first derivative of c(y). Does 7 divide b(-6)?
True
Is ((-1588)/4*2)/((-2)/4) a multiple of 38?
False
Let c(p) = 7*p + 2. Let g be c(7). Let a = -29 + g. Suppose 20*d + 14 = a*d. Does 4 divide d?
False
Is 33/(7206/(-774) + 10 + (-2)/3) a multiple of 33?
True
Let j(f) = -f**3 + 27*f - 6. Let g be j(5). Let q(h) = 3*h**2 - 26*h + 93. Is 16 a factor of q(g)?
False
Let u = 79 - 125. Let w(h) = h**3 - 28*h**2 + 31*h + 64. Let v be w(27). Let t = v + u. Does 14 divide t?
True
Let z(m) = -16*m**2 - 6*m + 7. Let a(w) = 2*w + 29. Let r be a(-14). Let c be z(r). Does 13 divide (-3)/c*5*13?
True
Let x(h) be the second derivative of -h**4/3 + 5*h**3/3 - 5*h**2 - 8*h. Let a be x(6). Let t = a - -120. Does 10 divide t?
False
Let k(b) = 44*b - 28. Let l be k(6). Suppose 373 = 3*g - 5*h, -g + 3*g + 3*h = l. Let i = g - -19. Is 35 a factor of i?
True
Let v be 3/(-5) - 24/(-15). Let d be ((3 + 117)/(-4))/v. Let r = d + 238. Is 16 a factor of r?
True
Let n be (1 - 3)*(-2 + (-7)/2). Suppose -n*y + 1924 = 2*y. Is 74 a factor of y?
True
Suppose 18*k - 2140 = 218. Let b = -60 + k. Is b a multiple of 8?
False
Let q(i) be the first derivative of 3*i**2 - 4*i - 1. Does 14 divide q(15)?
False
Let q = 27482 + -14098. Suppose -21*w = 7*w - q. Is w a multiple of 35?
False
Suppose y - 289*o + 285*o = 2496, -7418 = -3*y + 2*o. Does 38 divide y?
False
Let f be (-80)/(-36) + -2 - (-86)/18. Suppose -4*c + 250 = 5*k, 3*c = 3*k + f*c - 150. Is 21 a factor of k?
False
Let k(y) = -1968*y - 1249. Does 31 divide k(-7)?
False
Let k be 4/18 + (-4)/((-252)/10633). Let j = 706 + -436. Let r = j - k. Does 9 divide r?
False
Let h = -14 + 20. Suppose -10*d + h*d + 52 = 0. Suppose -d*g + 14*g - 155 = 0. Does 16 divide g?
False
Let r(d) = d**3 + 76*d**2 + 600*d - 57. Does 20 divide r(-39)?
True
Let n = 8207 + -1457. Suppose 3*v = -7*v + n. Is 25 a factor of 12*(v/(-12))/(-9)?
True
Let r be (-1)/((1/(-3))/((-6)/(-18))). Let s(y) = -391*y**2 - 4*y + 3. Let w be s(r). Is w/(-13) - 28/182 a multiple of 30?
True
Let m be -1 + 0 + 3 - (0 + -45). Let l = m - 45. Does 29 divide (-1)/l - (-582)/4?
True
Let n be 18/15*110/4. Let h be (-1)/(n/12 - (4 - 1)). Suppose h*i + 15 = w, w - 3*w = 4*i - 90. Is 5 a factor of w?
True
Let h = 1117 + -1892. Let x = -507 - h. Suppose -3*j - v + 0*v + x = 0, j + v = 86. Is 13 a factor of j?
True
Let x be 1/(-2) + (-294)/(-4). Suppose -s + 8 - 4 = 4*k, 5*s = -5*k + 20. Suppose x = d - s. Is 38 a factor of d?
False
Does 178 divide (1470/(-420))/((-2)/13528)?
True
Suppose 0 = -l - 5*c + 5, 5*l = -2*c + 1 + 1. Suppose l = 3*a, -2*a + 25 = 2*z - 23. Does 20 divide z?
False
Suppose 9*i - 2*j - 66633 = 6*i, -4*j = 4*i - 88864. Is 12 a factor of i?
False
Let u(d) = -d + 5. Let m be u(-4). Let q(l) = -58*l + 29. Let i(j) = -26*j + 14. Let z(x) = -7*i(x) + 3*q(x). Does 10 divide z(m)?
False
Does 7 divide ((-56)/(-24))/((12/(-4))/(-1692))?
True
Suppose 0 = -j + 4*r + 869, 4*j - 5*r - 1685 - 1791 = 0. Is 152 a factor of j?
False
Suppose 36*d - 40*d = 0. Suppose 3*w = -3*y + 285, 92 = y - d*w - 2*w. Is 5 a factor of y?
False
Let g(j) = -11*j - 40. Suppose -24*m + 25*m + 8 = 0. Let v be g(m). Suppose 348 = -v*t + 51*t. Is 29 a factor of t?
True
Suppose 0 = -75*i + 1192984 - 87334. Is 78 a factor of i?
True
Let j be 0 + -2 + 68 + -1. Suppose -3*f - 6 - 186 = -4*k, f = -k - 57. Let o = j + f. Is o even?
False
Let v = 6 - 1. Suppose -6 = -v*o - 1. Does 8 divide (o - -5)/((-10)/(-80))?
True
Let z = 108 + 38. Let n(s) = s**3 - 38*s**2 + 4. Let w be n(38). Does 36 divide (-1 + 3)*(z - w)*1?
False
Is (5/(-7))/(46/322) + 7624 a multiple of 19?
True
Let z(g) = 12*g + 17. Let y = -87 - -85. Let l be z(y). Is 11 a factor of 3 - (-177 - (5 + l))?
False
Suppose -3*q - 71087 = -2*m, 0 = -42*q + 43*q + 5. Does 225 divide m?
False
Suppose u - 5881 - 15150 = 3*b, u = 2*b + 21035. Is u a multiple of 11?
True
Suppose 0*o - 271 = -3*h + o, -3*h - 3*o + 279 = 0. Let m = -80 + h. Suppose -m*g = -10*g - 36. Is g a multiple of 6?
True
Let z(r) = 61*r**2 + 4. Let p(l) = -l - 17. Let y be p(-20). Let q be z(y). Suppose 0 = -5*a + q - 103. Is a a multiple of 14?
False
Suppose 2*i + 3*d + 173 = 496, -4*d = -4. Is i a multiple of 20?
True
Is -65*1/(-13) + (-49382)/(-2) a multiple of 72?
True
Suppose 5*j = 2*j + 24. Suppose 2*a = j*a. Let f = a + 32. Does 8 divide f?
True
Suppose 0 = 6*v - 32*v + 93106. Is 27 a factor of v?
False
Let c = -3135 + 5278. Is 24 a factor of c?
False
Is 7 a factor of (-88)/6*(-2515 - 23)/9?
False
Let o = -3238 - -4230. Does 40 divide o?
False
Let r be -8*(-1 - (-4 + -3)). Let d = r - -176. Is 16 a factor of 105/10*d/12?
True
Suppose 3*i + q - 9 = 0, -2*i - 5*q = 6 + 1. Is 18 a factor of 125 - (i - (-4)/(-4))?
False
Let k(z) = 16*z**2 - 6*z + 7. Let x(f) = -16 - 33*f**2 + 1 + 2*f**2 + 11*f. Let m(a) = -7*k(a) - 4*x(a). Is 43 a factor of m(5)?
True
Let r = 43 + -41. Suppose y - 7 = -4*q + 12, 4*q - r*y = 22. Suppose 0 = -q*v + v + 72. Is 9 a factor of v?
True
Is 57 a factor of 10/((-20)/6)*(-1981 - -24)?
True
Suppose 33 + 1029 = 3*h. Let l = -282 + h. Is l a multiple of 32?
False
Suppose -716*a + 717*a + 344 = 0. Let f = -128 - a. Is f a multiple of 18?
True
Suppose 0 = -14*m + 13521 + 86635. Is 14 a factor of m?
True
Suppose -2*d = 5*d. Let k be -1 - -1 - (1 + d + -1). Suppose k = -a - a + 116. Does 14 divide a?
False
Suppose -176*o - 7010 = -186*o. Does 107 divide o?
False
Let u(m) = 2*m + 4. Let z be u(7). Suppose z*n = 14*n + 388. Is n a multiple of 22?
False
Let a(j) = j**3 + 6*j**2 - 8*j. Let h be a(-5). Let n = h - 27. Is 11 a factor of n?
False
Let q = 448 + 2204. Does 68 divide q?
True
Let h(a) be the third derivative of -11*a**4/8 + 133*a**3/3 + 7*a**2 - 2. Is h(-6) a multiple of 16?
True
Let p(f) = -f**3 - f**2 - f. Let j be p(-1). Is 21 a factor of (-133 + j)*(0 + (-15)/10)?
False
Let n = -6 + 8. Suppose -4*o - 98 = 2*s, -5*s + n*o - 203 = -2*o. Let a = -10 - s. Is 3 a factor of a?
True
Let f(l) = 1000*l - 4238. Is 14 a factor of f(18)?
True
Let d be (-134)/(-8) + ((-117)/36)/(-13). Suppose 2*s = -2*i + 4*i + 46, 4*i + 92 = -5*s. Let y = d - i. Does 5 divide y?
True
Let o(j) = 2*j**3 + 7*j**2 + 109*j - 624. Does 51 divide o(6)?
True
Let a(h) = -397*h**3 + 2*h**2 - 1. Let y be a(1). Suppose -7125 = -2*k + 17*k + 1485. Let b = y - k. Does 21 divide b?
False
Let k(o) = o**3 + 4*o**2 + 2*o + 4. Let i be k(0). Suppose -774 = -3*p - i*n + 846, 1620 = 3*p - 5*n. Is p a multiple of 10?
True
Let t(b) = b - 20. Let d be t(24). Suppose -5*k - 287 = -2*a, d*a - 2*k = -3*k + 629. Does 7 divide 7/(21/a) - 4?
False
Suppose 11340 = -19*q + 25*q. Suppose -3*z + q = 7*z. Does 12 divide z?
False
Let r = -67 + 69. Suppose n - r*t - 434 = 0, n - 4*t = -0*t + 436. Is n a multiple of 12?
True
Let k(y) = y**3 + 14*y**2 + 2*y - 12. Let z be k(-4). Let q = z 