 multiple of 14?
False
Suppose 0 = -18*b + 207*b - 765072. Does 10 divide b?
False
Let r be -121 - (4 - (-8)/(-2)). Suppose j + 762 = -4*q - 186, -4*j - 252 = q. Let n = r - q. Is n a multiple of 17?
False
Let g be (-1)/(3/(-420)) - 4. Suppose 23*h + g = 27*h. Is h a multiple of 14?
False
Let j(d) = 4*d**3 - 13*d**2 - 128*d + 1169. Is j(8) a multiple of 19?
False
Let v = -1827 - -2680. Let j = -337 + v. Is j a multiple of 15?
False
Suppose -1514 - 587 = -d - 3*z, 4218 = 2*d - 2*z. Is 2 a factor of d?
False
Let b(d) = 2*d**3 + 5*d**2 + 3*d + 6. Let p be b(-3). Let f(n) = 2*n**2 + 10*n + 21. Is 9 a factor of f(p)?
True
Let b = -16968 + 24552. Is b a multiple of 280?
False
Suppose -2*l = 2*l - 8. Suppose -l*s = -49 - 19. Is 17 a factor of s?
True
Let l(m) = 24*m - 98. Let o be l(4). Let n = 220 + -62. Is 41 a factor of o/(-4)*(6 + n)?
True
Let b(g) = 3*g**3 - 11*g**2 - 3*g - 21. Let s(z) = z - 1. Let u be s(7). Is b(u) a multiple of 59?
False
Let l be 11/(11/(-2)) - -3. Let b(x) = 2*x**2 - 2*x - 4. Let w(q) = q - 1. Let d(g) = l*b(g) - 4*w(g). Is d(5) a multiple of 7?
False
Let c = -69 - -80. Is c - 2*(-1)/2 a multiple of 6?
True
Let u = 140 + -32. Let g = -1 - -5. Suppose 0 = g*q + 2*p - 114, -3*p - p = -4*q + u. Does 14 divide q?
True
Let r(v) = 5*v + 378. Let j be r(-61). Suppose -3*q - 2*u - 98 = -5*q, -4*u - 249 = -5*q. Let y = j - q. Is 3 a factor of y?
False
Let j(d) = d**3 + 9*d**2 - 13*d + 2. Suppose m = 2*v + 19, 5*m + 55 = -8*v + 3*v. Let g be j(v). Let n = 163 + g. Is n a multiple of 9?
False
Let v(z) be the first derivative of -11*z**2 + 38*z + 184. Does 81 divide v(-13)?
True
Let i(n) be the third derivative of -2*n**6/3 - n**4/4 - 5*n**3/6 - n**2 + 41. Is i(-1) a multiple of 81?
True
Let z(h) = -1200*h + 94. Is 10 a factor of z(-5)?
False
Let q be (1215/6)/3*(-2 + 4). Suppose -138*h + q*h + 786 = 0. Suppose 2*g - 8*o - h = -4*o, -101 = -g - 4*o. Is g a multiple of 11?
True
Suppose 17*h = 8*h + 846. Suppose 1512 = h*t - 90*t. Is t a multiple of 6?
True
Let w = 20333 - 13983. Does 3 divide w?
False
Does 19 divide (127720/(-24))/(20/(-24))?
False
Suppose 3*t - 540 = -2*t. Suppose o + 2*x + 40 = 0, 0*o = 2*o - 3*x + t. Let q = 84 + o. Is q a multiple of 5?
False
Let w(o) = o**3 + 29*o**2 + 34*o - 12. Let j be w(-27). Suppose -4*t + 552 = -j. Is t a multiple of 27?
True
Let h(o) = -6*o**3 - 7*o**2 - 40*o + 8. Suppose -5*x = -5*a, 3*a - 2*x = 3*x + 8. Is 22 a factor of h(a)?
True
Let o(t) = -10*t**2 + 22*t**2 - 11*t - t**3 - 32 + 3 + 3. Is 4 a factor of o(10)?
True
Does 11 divide (-12 - 154/49)*24591/(-6)?
False
Let w be 207/46 - (-1)/(-4)*-2. Suppose -s = -4*n - 715, 3*n - w*s + 528 = -7*s. Let i = n - -292. Is 34 a factor of i?
False
Let u(z) = -z**2 - 3*z + 19. Let f = -43 + 37. Let x be u(f). Does 4 divide -3*x/(-2)*(-288)/(-54)?
True
Suppose -3*p - 165*j + 169*j + 23032 = 0, -5*j - 20 = 0. Does 164 divide p?
False
Let p(r) = -241*r + 16. Let h be p(-3). Let y = -344 + h. Suppose -2*d + 0*o = -3*o - 215, 0 = -4*d - o + y. Does 9 divide d?
False
Suppose 0 = -18*g + 28*g - 6340. Is 51 a factor of g?
False
Let s = -810 - -1464. Suppose s = 9*b - 1110. Is b a multiple of 9?
False
Suppose v + 3*l - 6327 = 0, 5*v - 34*l = -38*l + 31624. Does 17 divide v?
True
Let f(j) = 2*j**2 + 30. Suppose 16*c - 84 = 2*c. Is f(c) a multiple of 5?
False
Suppose 0 = t - 5 - 1. Suppose -2*l - 5*h = -t*l + 14, -h = 5*l - 3. Is 20 a factor of -113*(1 + (l - 3))?
False
Suppose -3*z = -2*c - 13, -7 = c + c - 5*z. Let u(m) = 9*m**2 - 71*m + 21. Let p be u(8). Let t = c + p. Is t a multiple of 13?
False
Suppose -4*a - 372 = -0*a. Let k = a + 95. Suppose 0 = -v - 2*j + 251, -k*v + 4*j = -3*v + 243. Is v a multiple of 37?
True
Suppose -45*i = -1126707 - 848028. Is 7 a factor of i?
True
Suppose -438*q - 210800 = -506*q. Does 53 divide q?
False
Let g be 9/6*(-120)/(-90). Let w(c) = c**3 - c**2 + c + 1. Let n(t) = -5*t**3 + 3*t**2 - 5*t + 4. Let a(x) = -n(x) - w(x). Does 4 divide a(g)?
False
Let u(b) = -6*b - 2. Let x be u(-4). Let c = -2 - x. Does 12 divide (86/8)/((-3)/c)?
False
Suppose 0 = 157*q + 52*q - 12*q - 351448. Is q a multiple of 26?
False
Let p(y) = 2*y**2 - 6*y + 15. Let h be p(0). Suppose 4371 = h*c - 5739. Is c a multiple of 9?
False
Suppose 2*a - 102 + 88 = 0. Let h(b) = b**3 - 7*b**2 + 12*b - 3. Let s be h(a). Let u = s + 16. Is u a multiple of 30?
False
Let i = -621 + 634. Suppose i*f = 194 + 66. Does 14 divide f?
False
Let j = -45 + 142. Suppose 7*y - 491 = j. Does 16 divide y?
False
Suppose 4*q - 420 = -3*r + 5497, r + 10361 = 7*q. Is 148 a factor of q?
True
Let v = 29889 + -4622. Is 49 a factor of v?
False
Let d = -8 - -53. Suppose 7*h + 2*h - d = 0. Suppose y - 21 = 2*f, -149 = -h*y + f - 2*f. Does 2 divide y?
False
Let z be 8 + 1/(-1) + 1. Let h = 2791 - 2724. Suppose n - h = z. Is 25 a factor of n?
True
Suppose 0 = -37*l + 22*l + 23760. Let w = -322 + l. Is 12 a factor of w?
False
Does 32 divide 2271 - 3*((-5)/15 - 0)?
True
Let f(r) = -1080*r**3 + 3*r**2 + 5*r + 2. Suppose -3*y - 2*y - 3*d + 1 = 0, d + 1 = -3*y. Does 40 divide f(y)?
True
Let f = 15 - 46. Suppose h - 35 = -37. Is (f/h)/((-8)/(-80)) a multiple of 16?
False
Suppose 0 = -5*x - 69*g + 73*g + 28628, -3*g + 11419 = 2*x. Does 130 divide x?
True
Let o(y) = -y**2 - 2*y + 123. Let t be o(-12). Let z(i) be the third derivative of 2*i**5/15 + i**4/8 - 4*i**3/3 + i**2. Is z(t) a multiple of 28?
False
Let v be ((-72)/(-4))/(-3)*1/(-2). Suppose 3*g + v*d - 6 = 0, -4*g + 3*g = -2*d - 5. Suppose 42 = 3*k - g. Does 15 divide k?
True
Is 12 a factor of -6*2*(-7 + 180/27)*1028?
False
Is 10 a factor of 48/540*288905 + (-16)/36?
True
Let k(u) = -u**2 + 85*u - 36. Let y be k(31). Suppose 3*r + 3*j = 8*r - 2047, -4*r + 2*j + y = 0. Does 41 divide r?
True
Suppose 3*q - 5*s = 14, 5*q + 0*s + 14 = -s. Suppose 86*t = 70*t + 128. Is t/q*((-2310)/(-8))/(-7) a multiple of 33?
True
Let a(r) = r**3 + 10*r - 18 + 8*r - 3*r. Suppose 2*s - 2*l - 1 = 9, -l = 4*s - 25. Is 18 a factor of a(s)?
True
Let w = 710 + -702. Suppose 9*x + 4*i - 206 = w*x, x - 208 = -5*i. Does 6 divide x?
True
Suppose -s + 2*y = -7332 + 1452, 4*s = -2*y + 23520. Suppose 0 = 29*i - 43*i + s. Does 14 divide i?
True
Let c(n) = -10395*n + 11438. Is 272 a factor of c(-4)?
False
Let y(r) = 31*r**2 + 24*r - 64. Is 8 a factor of y(9)?
False
Suppose -7 = 2*j - 5*s, 56 = 4*j + 4*s - 0*s. Suppose 0 = -6*m + j*m - 150. Is m a multiple of 2?
True
Let p(b) = -4*b - 64. Let n be p(-18). Suppose 0 = x - n - 175. Is x a multiple of 34?
False
Let x(u) = -u**2 - 35*u - 81. Let m = -215 + 200. Is 50 a factor of x(m)?
False
Suppose 0 = 8*q - 3*q - 15. Let x be ((-5)/45*-33)/((-1)/q). Let t = 22 + x. Does 7 divide t?
False
Let q = 6866 + -54. Does 24 divide q?
False
Suppose -n = 6 - 22. Suppose -t = 3*t - n. Is 13 a factor of t - 1 - (-109 - -8)?
True
Suppose 2*r = 2*q + 6, -3*r + r - 10 = 0. Let v be -4*(-4)/q - -2. Suppose -2*l - k = -v*l - 89, k = 4*l - 163. Is 14 a factor of l?
True
Let v be 10/35 - 18762/(-42). Suppose -8*s = -7*s + 3, 0 = -3*f + 5*s + v. Is 11 a factor of f?
False
Let g = -20659 - -14655. Does 24 divide (-32)/80 - (0 + g/10)?
True
Let k(j) = -2*j**2 - 2*j + 37. Let t be k(-6). Let x = -26 - t. Is 4 a factor of 10/x*(-28 - -16)?
True
Let f be 45/5 + 2 + -3. Let t(s) = -s**2 + 9*s - 4. Let b be t(f). Suppose x - 142 = -3*y, -3*y = -b*x + y + 520. Is x a multiple of 19?
True
Is (-172978)/(-169) + ((-24)/(-52) - 0) a multiple of 4?
True
Suppose -3*x + 6*p + 301 = 10*p, 3*x = -p + 316. Suppose 0 = -120*h + x*h + 2964. Is h a multiple of 7?
False
Let j = 4647 - 3828. Is 63 a factor of j?
True
Let b(r) = 2*r**3 + 16*r**2 + 36*r - 210. Is b(14) a multiple of 26?
True
Suppose -2*x + 0*q - 2*q + 16 = 0, -4*x - 3*q + 33 = 0. Let u(y) = -y**3 + 9*y**2 + 9*y - 16. Is 23 a factor of u(x)?
False
Is 164 a factor of (-2 + 3)*1739*(-9)/9*-5?
False
Suppose 65*f = 76*f - 11. Does 3 divide 4*f/3*(-7590)/(-92)?
False
Suppose -24*q - 25*q = -48*q. Suppose 4*s - 3*i - 2645 = q, 6*s - 3*i - 3310 = s. Is 35 a factor of s?
True
Suppose -83592 = -49*d - 42*d + 5*d. Does 12 divide d?
True
Suppose 3*i = 3*h + 20784, 4*h = -2*i + 10768 + 3112. Is 19 a factor of i?
False
Let j = -822 + 9402. Is j a multiple of 20?
True
Let w(y) = y**2 + 7*y - 32. Let l be w(-10). Is l