e of 9?
True
Let f = -21 + 25. Let x = f - -1. Suppose -3*g - 2*g + 2 = n, x*g = 5*n - 70. Is n a multiple of 7?
False
Let w = 149 - 89. Suppose 4*s - l - 496 = -5*l, 3*s = -4*l + 375. Let t = s - w. Is 16 a factor of t?
False
Let p(u) = u**3 - 46*u**2 + 51*u - 88. Is p(45) a multiple of 14?
True
Let g(u) = u**2 - 5*u + 4. Let r be g(3). Let s(p) = 38*p - 2. Let a be s(r). Does 3 divide (-126)/(-26) + (-12)/a?
False
Let i be 3 - -1 - (-1 - 0). Let v(t) = 5*t - 4. Does 21 divide v(i)?
True
Let q(j) = 2*j**2 - 6*j. Let r be q(3). Is 25 + -2 - -1 - r/(-1) a multiple of 8?
True
Suppose 1049 = v + 3*o, -v + 5*o + 1041 = -0*o. Is 20 a factor of v?
False
Suppose -6*l - 82 - 8 = 0. Is (-15)/2*18/l a multiple of 2?
False
Let q(p) = -p**3 + 14*p**2 + 40*p + 51. Does 22 divide q(16)?
False
Let b = -11 - -13. Let v = b - -19. Suppose -n + 5*q + 26 = -v, -q = n - 41. Is 10 a factor of n?
False
Suppose 5*q + t - 4119 - 860 = 0, -q = -5*t - 975. Does 18 divide q?
False
Let y = 54 + 251. Let u = 467 - y. Is u a multiple of 27?
True
Let o be 0/(2 - 5)*-1 - -5. Suppose -3*r = -f - 4*f - 20, 12 = -5*r - 3*f. Suppose 5*g - 2*g = o*j - 123, r = -3*j + 5*g + 61. Does 7 divide j?
False
Let k = -60 + 42. Is 16 a factor of 4/k - (-580)/18?
True
Let u be 2/(-9) + (-228)/(-54). Suppose 3*k - 48 = -5*c - k, u*c - 33 = -5*k. Does 3 divide c?
True
Let h(i) = -6*i + 3. Let m be h(1). Does 11 divide (-50)/(-15) + m - 41/(-3)?
False
Let f(g) = 6*g**2 - 12*g + 83. Is f(13) a multiple of 13?
False
Suppose 2*d = -2 + 4. Let n = d + 0. Let o = n - -13. Does 9 divide o?
False
Let k(t) = 14*t**2 + 33*t + 66. Is k(-12) a multiple of 48?
False
Suppose 5*h + 3*l - 24 = 0, -l + 1 = -2. Suppose 0 = h*f - 0 - 9. Suppose 5*j + 40 = 5*i - 5, -6 = -f*i - 4*j. Is 3 a factor of i?
True
Let y = 33 - 101. Let c = -33 - y. Is 18 a factor of c?
False
Suppose 4*j + 1584 = -4*j. Is j*(30/(-9) - -3) a multiple of 6?
True
Let f = 1896 - 964. Does 54 divide f?
False
Let r = -5 - -2. Let u = r - -1. Is 25 - (u - (-1 - 3)) a multiple of 7?
False
Let c = -25 - -32. Suppose -c*m + 342 = -204. Is 13 a factor of m?
True
Suppose -x = 2*y - 84, -y + 8*x - 4*x + 42 = 0. Suppose 2 = -5*u + y. Does 4 divide u?
True
Let t be (-676)/(-6) - 10/15. Let i = 417 - t. Is 31 a factor of i?
False
Suppose 6*c - 55 = -43. Suppose -3*y - 7*l + c*l = -62, -5*l + 38 = 2*y. Does 4 divide y?
True
Suppose t = 6*t - 2*u - 26, 26 = 4*t + u. Let g = t - 6. Is (79 - 0 - g) + -4 a multiple of 25?
True
Does 15 divide (-16816)/(-80) + (-1)/5?
True
Suppose 406 + 2534 = 2*k. Is k a multiple of 30?
True
Suppose -80235 + 18495 = -49*o. Is o a multiple of 20?
True
Suppose -9*y + 13 = 4. Suppose -k - y = -19. Is k a multiple of 4?
False
Suppose 0 = -c + 13*c. Suppose c = 108*b - 103*b - 60. Is 12 a factor of b?
True
Does 15 divide 1*-7 - 1575/60*-172?
False
Let p = 53 + -50. Suppose -4*i = -4*a + 56, -13 = -a + p*i - 1. Is 11 a factor of a?
False
Let q(t) = -31 + 4*t**2 - 10*t**2 + 4*t**2 - 33*t. Does 6 divide q(-13)?
True
Let f be (-553)/(-49) - 4/14. Let v = f + -11. Suppose 3*b + v*j + 2*j = 48, 3 = -j. Is b a multiple of 9?
True
Let m = -133 - -133. Suppose i = -m - 4, 2*w - i = 174. Does 12 divide w?
False
Suppose -2*z = -552 - 150. Suppose 5*t - 285 = -8*j + 5*j, 3*t + z = 4*j. Suppose -j = -3*b - 4*q, -b - 4*q = -2*b + 30. Does 7 divide b?
False
Let d = 21 - 19. Suppose -312 = -d*y - 4*y. Is y a multiple of 13?
True
Let h = -1 + 11. Suppose 2*r - h = -5*b + 10, 0 = -2*b + 8. Suppose r = -4*j + 8, 4*w - 26 - 68 = 5*j. Is w a multiple of 13?
True
Let z = 39 - 37. Suppose -10 - 34 = -z*g. Is g a multiple of 4?
False
Suppose 0*b - 1607 = -4*p - 3*b, -2*p + 2*b + 786 = 0. Suppose 0 = -4*l - 3*f + p, -33 + 346 = 3*l - 5*f. Does 7 divide l?
False
Suppose 2*g = 7*g + 3*w - 28, -3*g - w + 20 = 0. Let z = 2 + g. Suppose 2*p - z = -0*p. Is 5 a factor of p?
True
Suppose 3*z + 2*z = -4*v - 65, -3*v - 51 = 4*z. Let g(j) = j**2 + 6*j - 11. Is g(z) a multiple of 16?
True
Suppose -11*x - 2133 = -20*x. Is x a multiple of 15?
False
Does 38 divide (-4417 - (-4 + -5))/(-2)?
True
Suppose 11 = -y + 277. Let m = 388 + -198. Let o = y - m. Is o a multiple of 16?
False
Suppose 23*i = -i + 48096. Is 60 a factor of i?
False
Let y(m) = -m + 1. Let w be y(-14). Suppose 0 = 3*k + w - 90. Is 8 a factor of k?
False
Let f(k) = k**3 - 12*k**2 - 7*k - 53. Is 11 a factor of f(14)?
False
Suppose -5*i = 2*a - 1920, 3*i = -3*a + 8*a + 1152. Is 4 a factor of i?
True
Let v(c) = c**3 + 12*c**2 + 4. Let t be v(-12). Suppose a = 4*d - 329, t*d - a = a + 330. Does 9 divide d?
False
Let r(u) = -5*u**2 - 8*u + 172. Let z(g) = -14*g**2 - 23*g + 515. Let c(n) = -11*r(n) + 4*z(n). Does 40 divide c(0)?
False
Let b = -16 - -10. Let w(q) = 4*q**2 - q + 1. Let j(v) = 13*v**2 - 5*v + 2. Let t(c) = j(c) - 3*w(c). Is t(b) a multiple of 11?
False
Let w(i) = -9*i + 2. Let b(f) = f - 1. Let j(d) = -6*b(d) - 2*w(d). Let z be (3/6)/(1/2). Does 6 divide j(z)?
False
Suppose -122 = -2*t + 5*v, t - 6*t = 4*v - 338. Suppose 5*s + 5 - t = 4*y, -4*y = 5*s - 29. Is s a multiple of 4?
False
Let q be (-5)/((9/(-21))/3). Suppose 2*y = 15 + q. Is 6 a factor of 324/10 - (-15)/y?
False
Let c = -3575 - -5852. Does 23 divide c?
True
Does 9 divide ((-59)/3)/(185/(-30) + 6)?
False
Let g(l) = -l**3 + 6*l**2 - 3*l - 4. Let a be g(5). Let i(j) = -a*j**2 - 6 - j**3 + 12 - 3. Is 16 a factor of i(-7)?
False
Let f(w) = -2*w**2 - w + 16. Let d be f(3). Does 5 divide 24 + 3 + d + 3?
True
Let z = 233 - 127. Let g = z - 64. Is 14 a factor of g?
True
Let o be 0 + -1 + 150 - 1. Suppose 4*w + 8 = 0, 0*k + 5*k + 4*w = 7. Suppose o = k*x + x. Does 16 divide x?
False
Is 42 a factor of ((-1)/(-2))/(34/11424)?
True
Let f(r) = -2*r**3 + 6*r**2 + 6*r + 4. Let v be f(5). Let d(i) = 14*i**2 + 2*i - 2. Let c be d(-3). Let q = v + c. Does 13 divide q?
True
Let w(n) = 6*n**3 - n**2 + 2*n - 1. Let f(i) = i**3 - 4*i**2 - 13*i - 6. Let a be f(6). Let b be (-20)/(-16) - (-3)/a. Does 6 divide w(b)?
True
Let u(i) = -2*i - 6. Let x be u(-4). Suppose x*g + 1 - 5 = 0. Suppose 0 = w - g*c - 60, 0 = -4*w - w + 3*c + 265. Is 12 a factor of w?
False
Let n(z) = 4*z**2 - z - 1. Let u be n(-1). Suppose -4*p = -20, -1 = -3*k + 2*p + u. Does 2 divide k?
False
Let c = 77 + -82. Is 13 a factor of (-7*c/15)/((-1)/(-66))?
False
Let o = 659 - 205. Is o even?
True
Is 103 a factor of -246*(62/372 + 5/(-3))?
False
Let s(c) = -c - 17. Let z be s(-15). Is 47 a factor of (12/z)/(7/(-329))?
True
Suppose 6*i + 2 = 20. Suppose -i*v + 6 = -3. Is 6 a factor of v + 6 + -3 + 1?
False
Suppose 6*z - 486 - 90 = 0. Does 48 divide z?
True
Suppose -11 = -3*y - 5. Suppose 0 = -y*x + 56 - 16. Does 9 divide x?
False
Does 5 divide (328/20 - 1) + (-8)/20?
True
Let x be 36/(-8)*(-1 + 5/3). Is x/(-18)*-2*-36 a multiple of 6?
True
Let n(l) = -17*l**3 - l**2 - l + 2. Let s(y) = -y**2 + 9*y - 2. Let d be s(9). Does 17 divide n(d)?
True
Let s(o) = -o**3 - o**2 + 2*o + 3. Let x be s(-2). Let p(r) = r**2 + 8*r + 7. Let h be p(-9). Suppose f - 4*z = h, -z + 16 = f - x*z. Is f a multiple of 16?
True
Let d be 4 + -1 + 0 - 2 - -3. Let p be (-3)/(6/(-32)) + -2. Is (-7)/p - (-22)/d even?
False
Let w be 54/45*15/2. Let r be 1 + w/3 + -6. Let q(p) = -17*p. Does 12 divide q(r)?
False
Let h(s) = 7*s + 13. Let o(v) be the third derivative of -v**4/6 - v**3 + 4*v**2. Let n(x) = 4*h(x) + 9*o(x). Is 4 a factor of n(-2)?
False
Suppose 4*m + 27 = 127. Suppose -2*u - 3*o + m = 0, -3*u + u = o - 31. Is -4*(-2 + u/(-2)) a multiple of 18?
False
Is ((-5)/60*-20)/(4/24) a multiple of 5?
True
Let g(f) = 44*f + 2. Let w be g(2). Suppose 5*q - c + 6*c = w, 4*q - 3*c = 44. Is (1 - -6)*(q - 9) a multiple of 13?
False
Let p(h) = -142*h + 144. Is p(-8) a multiple of 5?
True
Let a(g) = -4*g**3 + g**2 + 2*g + 1. Let c be a(-1). Suppose -58 = c*n + 6. Does 33 divide (-1)/(-4) - 524/n?
True
Let g(j) = -j + 15. Let u be g(11). Suppose -o = -l - 0*o + 2, 0 = -u*l + 5*o + 7. Suppose -13 = l*s - 61. Is s a multiple of 8?
True
Let u(y) = -y**3 - 11*y**2 + y + 8. Let d be u(-11). Let g be ((-6)/4)/(d/54). Suppose 0 = 4*j - j - 4*i - 14, 0 = 4*j + 3*i - g. Is j even?
True
Suppose 2*w = 11*w - 27. Let y(q) = -3*q**2 + 0*q - 2 + 4*q + 0*q**3 + q**3. Is y(w) a multiple of 3?
False
Let o be (5 + -4)/1 - -4593. Suppose 3*d + 23 = 8,