f 19?
True
Suppose -4*m + 103 = -0*j - 3*j, 2*j + 50 = 2*m. Suppose h - 11 = m. Let x = 27 + h. Is x a multiple of 11?
True
Let x(w) = 13*w**2 + 22*w + 84. Is 15 a factor of x(12)?
True
Let v be (58 + -14)*2/(-8)*-2. Does 21 divide (22/44)/(1/21)*v?
True
Let t(a) = -9*a - 187. Let o be t(-34). Let c = o + 371. Is c a multiple of 51?
False
Let y be 2 - 15/(-2 + -3). Suppose -4*z + n = -9*z + 515, 0 = -y*z - 5*n + 515. Is z a multiple of 3?
False
Let n(d) = 3*d**2 - d + 1. Let m be n(1). Suppose 4*w + 3*q = -11, -m*w - 21 = -4*w + 4*q. Is (9/6)/(w/26) a multiple of 13?
True
Does 3 divide (4 + 3938/(-12))*(6 + -13 + -23)?
False
Suppose 0 = -505*j + 641*j - 1953640. Is j a multiple of 13?
True
Let f(m) = 2230*m + 3774. Does 172 divide f(27)?
True
Let o(j) = j**2 - 4*j. Let c be o(5). Let d(m) = 2 - m**3 - c - 3*m + 3*m - m**2. Is d(-4) a multiple of 7?
False
Let d = 1371 - 677. Let s = d + -467. Is 46 a factor of s?
False
Let j = 328 + -478. Let g = j + 271. Does 14 divide g?
False
Let n(q) be the first derivative of -q**5/20 - 17*q**4/12 + 4*q**3/3 - 9. Let k(b) be the third derivative of n(b). Is 10 a factor of k(-12)?
False
Let q(o) be the first derivative of o**2/2 + 176*o - 215. Is q(-50) a multiple of 6?
True
Let p(h) be the second derivative of h**5/20 + 2*h**4/3 + h**3/6 + 9*h**2/2 + 9*h. Let s be p(-8). Does 32 divide (-1818)/(-18) + 4/s?
False
Let r(h) = 93*h - 40. Suppose -22 = -4*m - 2*z, 7*z - 2*z + 25 = 0. Is r(m) a multiple of 16?
True
Suppose -4 + 12 = 4*j. Let y = -3 - -82. Suppose j*k - y = -15. Does 5 divide k?
False
Let b = -281 - -406. Suppose 2*x + 3*x - b = 0. Is 8/10 - (-705)/x a multiple of 7?
False
Suppose 0 = 13*t - t - 144. Suppose -4*m - 17 = -9*m - g, 4*g + t = 0. Suppose m*o - 20 = 0, -5*p = 3*o + 34 - 144. Does 2 divide p?
False
Let w be ((-6)/27 - 1) + 10/45. Is 64 a factor of (1838/4)/(w/(-2))?
False
Suppose s + 2*m + 17 = 0, 4*s + 15 = -m - 81. Let h(b) be the first derivative of -5*b**2/2 - 13*b - 2. Is h(s) a multiple of 21?
False
Suppose -3*r + 40 - 25 = 0. Suppose -3*q + 4*q - 24 = -2*w, 5*q = r*w + 90. Does 2 divide q?
True
Is -21 - -10 - (-28777)/7*10 a multiple of 73?
True
Suppose -j + 2*x - 883 = 0, -7*j - 5*x = -6*j + 862. Let m = j - -1394. Does 11 divide m?
True
Let z = -731 + 773. Does 3 divide (-658)/(-3) - (4 + (-154)/z)?
True
Suppose 2*o - 3*n = 4, 0 = -9*n + 14*n - 10. Suppose 614 = 4*i + 3*v, 0 = -v + o*v - 8. Does 19 divide i?
True
Let g(t) = 34*t + 86. Let b be g(-6). Let a = b + 154. Does 4 divide a?
True
Suppose 0 = -8*y + 23 - 7. Let z = 1 + y. Let p(m) = m**3 + m**2 - m + 6. Does 19 divide p(z)?
False
Suppose -30382 = -5*b + 3*i - 3616, 4*i = -2*b + 10722. Is 12 a factor of b?
False
Let g be 6/(-9) + 226/(-3). Let o = 47 - g. Let a = o + -69. Does 6 divide a?
True
Let b(o) = 31*o**2 - 46*o - 59. Is 21 a factor of b(11)?
False
Suppose -37 = -2*h - 33. Suppose -3*z + c + 340 = 0, -5*z - 87 + 650 = h*c. Does 2 divide z?
False
Let o(c) = 77*c - 182. Let b be (7 - 9)*-6 + -4. Is o(b) a multiple of 6?
False
Suppose 2*v - 18*v - 688 = 0. Is 14 a factor of 2*v/(-6) + 15/(-45)?
True
Let c = 162 + -162. Does 8 divide c/(-34) + (0 - -536) + 2?
False
Suppose 29*r = 32*r + k - 6575, -4400 = -2*r - 4*k. Is r a multiple of 29?
False
Let w = -100 - -210. Suppose -119 = -q + 4*b, 0 = q - 4*b + 9*b - w. Does 27 divide q?
False
Suppose -w - 640 = -4*n, -18 - 791 = -5*n - w. Let g = n - 33. Suppose -5*k + g = -802. Is k a multiple of 31?
True
Suppose 5*q - q - 24 = 0. Let b(l) = 3*l**3 - 10*l**2 + 9*l + 1. Is b(q) a multiple of 7?
True
Is 166 + (-42)/(18/3) a multiple of 2?
False
Suppose 11 = 3*x - y, 2*x - 2*y = -3*y + 4. Let i be (x + 44/12)*(-24)/(-20). Let c(o) = 5*o - 3. Does 5 divide c(i)?
False
Suppose -13*s = -27*s + 5222. Suppose -v + s + 1856 = 2*l, 4*v - 1104 = -l. Is l a multiple of 7?
False
Let r(f) be the first derivative of -2*f**2 - 6*f - 2. Let c be r(-2). Suppose 0 = 5*y - 4*l - 91, -4*y - l - c*l + 48 = 0. Is 3 a factor of y?
True
Let q(v) = 2*v**2 - v + 7. Let k be q(3). Let i = 35 - k. Suppose -17*m + i*m = -60. Does 13 divide m?
False
Let n = 9372 - 4542. Is 14 a factor of n?
True
Is 39 a factor of 48/(-14)*36673/(-26)?
True
Suppose 488258 - 969861 = -119*f + 807167. Is f a multiple of 285?
True
Suppose 12*t = 39*t - 362610. Does 170 divide t?
True
Let k(g) = -133*g + 110. Is 107 a factor of k(-4)?
True
Let h(l) = 3*l**2 - 4*l. Suppose 7*r - 5*r = -8. Let j be h(r). Suppose 0 = 6*u - 8*u + j. Does 32 divide u?
True
Suppose 3*o - f = 14, -10*o + 25 = -6*o + 5*f. Is 13 a factor of 107 + -1 + 4 + o?
False
Let r be 4422/16 - (-12)/(-32). Let l = r - 114. Suppose -5*o = -3*q + l, 2*q = -3*q - 4*o + 270. Does 18 divide q?
True
Suppose -5 = y + 33. Let l = -35 - y. Suppose -13 = -l*k + 2. Does 2 divide k?
False
Let n = -1243 + 468. Let f = n - -1336. Is 33 a factor of f?
True
Suppose 210*h + 2*n - 775 = 209*h, 0 = -2*h - 3*n + 1556. Is 7 a factor of h?
False
Let w(z) be the second derivative of -z**5/20 - 3*z**4/4 + 2*z**3/3 + 17*z**2/2 - 6*z. Let p be w(-7). Let x = -55 - p. Is 11 a factor of x?
False
Suppose -4*v + 74976 = -4*z, 4*v - 378*z = -376*z + 74988. Does 30 divide v?
True
Let h(f) = 76*f + 1006. Does 121 divide h(14)?
False
Let u be 4/(-4)*-11*(8 - 2). Let z(m) = -m**2 + 5*m - 2. Let v be z(4). Does 18 divide 0*v/(-4) + u?
False
Let i(n) = 5*n**2 - 6*n + 4. Let t be i(6). Suppose -7*s + 5*f + 152 = -4*s, 4*f + t = 3*s. Is s a multiple of 24?
False
Suppose -386*k + 2634593 = -429161 + 133242. Is 41 a factor of k?
False
Let i = 8818 + -6043. Is i a multiple of 185?
True
Let z(i) = 4*i - 10. Let y be z(4). Let s be -8*(21/y)/(-7). Suppose s*b + b - 160 = o, -2*b + 81 = 3*o. Does 11 divide b?
True
Let w(n) = -n**3 + 17*n**2 + 26*n - 12. Suppose 82 = 2*i + 54. Does 8 divide w(i)?
False
Suppose 5*r - 2949*f - 1894 = -2948*f, -5*r - 2*f = -1882. Does 6 divide r?
True
Suppose -5*g = 5*v - 2 - 13, v + 3 = -4*g. Let z(p) = -p - 2. Let i be z(g). Suppose 5*s - 61 = -l - i*l, -s + 1 = 0. Is 4 a factor of l?
True
Let d be ((-6)/27 - -5) + (-2)/(-9). Suppose 2*k + 2*k + 4*w = 400, 550 = 5*k - d*w. Is k a multiple of 35?
True
Let s(k) = k**3 + 55*k**2 - 278*k - 2. Is s(-31) a multiple of 330?
True
Suppose -198*k - 4 = -200*k. Suppose 3*o = -k*u + 1728, -40*o + 35*o - 3*u = -2879. Does 41 divide o?
True
Let r be (2 - (-16)/(-6))/((-30)/225). Suppose -r*b + 1155 = -5*c, -14*b + 16*b - 483 = -5*c. Is b a multiple of 13?
True
Suppose -6325 = -3*d - 4*f, 2*f = 34*d - 36*d + 4220. Does 133 divide d?
False
Suppose -250595 - 270877 = -168*s. Does 7 divide s?
False
Suppose -14*u + 18*u - 19075 = 5*f, -2*u = -3*f - 9535. Is 59 a factor of u?
False
Suppose 6934*m - 58576 = 6927*m. Is 90 a factor of m?
False
Is 31 a factor of 2/(-7 + 3) - (-2 - (-135174)/(-12))?
False
Let c = 28 + -25. Suppose z = 2*z - 4. Suppose c*g + w = 10, -g - 3*w + z = 6. Is 4 a factor of g?
True
Suppose 0 = -2*k - 3*k + 2350. Let v = 693 - k. Is v/5 - (-7)/((-175)/(-10)) a multiple of 9?
True
Let w(b) = -b**3 - 4*b**2 - 4*b. Let y be w(-3). Suppose -306 = -y*j - 60. Suppose -j*a = -81*a - 56. Is a a multiple of 14?
True
Suppose -27*v - v = -0*v - 34888. Is 178 a factor of v?
True
Is (308/(-49) - -8)/((-6)/(-63651)) a multiple of 11?
False
Suppose -22*s - 4921 = -100555. Is 82 a factor of s?
False
Let f = 90734 + -60150. Does 174 divide f?
False
Let f(z) be the second derivative of z**4/12 + z**3/6 - 3*z**2/2 + 14*z. Let t be f(-3). Suppose -a + 2*b + 47 = -52, t*b + 421 = 4*a. Is 13 a factor of a?
False
Let h be 44/8 + -6 + 1/2. Suppose -4*c = -2*c - 2*v - 514, h = -5*c - 4*v + 1267. Is c a multiple of 13?
False
Let n be 1844 - (0 - 20/(-5)). Does 13 divide 2/(-1) + (n/(-2))/(-4)?
False
Suppose -120 = -8*q + 23*q. Is 2/q*-6 + (-1099)/(-14) a multiple of 13?
False
Is 13111828/654 + (-7)/(-3) a multiple of 35?
False
Let y = -138 + 544. Let b = y - 17. Does 18 divide b?
False
Let d(v) be the second derivative of 7*v**4/12 - 51*v**3/2 + 3*v**2/2 + 64*v. Does 3 divide d(23)?
False
Let x = 310 - 286. Suppose -4*r + 60 = -x. Does 3 divide r?
True
Let w(x) = 3*x**3 - 3*x**2 - 2*x + 3. Let o be w(-4). Let g = -14 - o. Is g a multiple of 17?
False
Suppose 0 = 36*p + 330 - 2310. Is 36949/p + (-1)/(-5) a multiple of 10?
False
Does 152 divide 1