Let t = i + -57. Is 9 a factor of t?
False
Suppose -4*j - f + 5*f + 332 = 0, 0 = -2*f + 2. Suppose -4*m + 0*m = -j. Does 9 divide m?
False
Let n(x) = -x**3 - x**2 + 5*x + 2. Let r be n(-3). Let z(m) = -2*m + 0 - m**2 + 5*m + 1 + 4*m. Is z(r) a multiple of 6?
False
Suppose -3*h - z + 0*z = 24, -4*h = 5*z + 43. Let i = 11 + h. Is 16 a factor of ((-165)/10)/((-2)/i)?
False
Let s = 1 + 1. Suppose 0 = -s*j + 25 + 15. Is j a multiple of 12?
False
Suppose 2*g - 3 = 7. Let b(y) = -5*y**3 + 14*y**2 - 4*y + 1. Let d(f) = 4*f**3 - 13*f**2 + 4*f - 2. Let p(w) = g*b(w) + 6*d(w). Is 18 a factor of p(-9)?
False
Let z(s) = s**3 + 15*s**2 - s - 8. Let u be z(-15). Does 12 divide ((-48)/28)/((-1)/u)?
True
Suppose 2*n - w - 4 = -3, 4*n - 5*w + 7 = 0. Suppose n*u = 18 + 82. Let o = -34 + u. Is 12 a factor of o?
False
Let o = -17 - -3. Is 7 a factor of (2/(-6))/(o/546)?
False
Suppose 8 = 3*k + k. Suppose -2*p + 92 = 5*w, k*w = -5*p - 134 + 364. Does 23 divide p?
True
Is 2 - 6 - (-138)/3 a multiple of 7?
True
Let d be 1 + (-2 - -1*2). Let h be (-3)/(-2) + d/2. Suppose -7*q + h*q + 60 = 0. Is 12 a factor of q?
True
Let d(p) be the third derivative of p**6/120 + p**5/15 + p**4/8 - p**3/6 + p**2. Let y be d(-3). Is (1 - 10 - -2)*y a multiple of 5?
False
Let b = -1 - 6. Does 12 divide (-2 - b)/(3/12)?
False
Let s be (5 - -3) + (-2 - -2). Let p be (-1 - -4) + s/(-4). Does 4 divide p/1*-3 + 18?
False
Suppose 4*y - 276 - 204 = 0. Is y a multiple of 12?
True
Suppose -3*l = -0*l - 57. Is 8 a factor of 8/(-6)*(13 - l)?
True
Let w(c) = -c**3 + c + 1. Let s(h) = -2*h**3 + 5*h**2 - 3*h + 8. Let n(i) = s(i) - 3*w(i). Let x be n(-6). Suppose x*o = 8*o - 24. Is 4 a factor of o?
True
Suppose 0 = -8*x + 4*x + 36. Suppose 0 = -2*k - 1 + x. Is k even?
True
Is 14 a factor of (-28 + 0)/(5/(-10))?
True
Is 3 a factor of (-4)/22 - ((-1002)/(-22))/(-3)?
True
Suppose 3*c = -2*c + 5. Suppose 2*x - j + c = 0, 4*x + 2*j = 18 - 0. Suppose x*g = -2*g + 184. Is g a multiple of 16?
False
Let c(b) = 7*b + 22. Does 3 divide c(8)?
True
Let c(d) = -31*d - 4. Does 10 divide c(-1)?
False
Let a be (172 + -1)/(3/2). Suppose -12 = -4*i, 3*c - 4*i = c + a. Let d = c - 43. Is d a multiple of 10?
True
Suppose -5*n = 3*p - 70, 0 = -3*p - 5*n + n + 74. Does 15 divide p?
True
Let j = 11 + -8. Suppose j*u + 30 = 4*u. Is 14 a factor of u?
False
Let r(a) = -17*a - 38. Is r(-11) a multiple of 17?
False
Suppose -3*a - 5*c + 123 = 0, -73 = -3*a + c + 68. Is a a multiple of 23?
True
Let n be (1 - 1)/((-8)/8). Suppose 3*k + 156 = 7*k + 5*p, n = -4*k + 3*p + 124. Is 17 a factor of k?
True
Let t be -1 - -2 - -5*5. Let p be (-102)/13 + (-4)/t. Let v(q) = q**3 + 8*q**2 - 2*q + 9. Does 20 divide v(p)?
False
Let n(b) = -51*b + 75. Let w(o) = 10*o - 15. Let v(a) = 2*n(a) + 11*w(a). Is v(6) a multiple of 9?
False
Let a be 0*((2 - 4) + 3). Suppose 2*u + 0 + 10 = a, -4*m + 168 = -4*u. Is 13 a factor of m?
False
Is 3 + -1 + 1826/22 a multiple of 19?
False
Let k(c) = -c**3 - 6*c**2 - 15*c - 5. Does 17 divide k(-6)?
True
Let u be (-2)/6 - 5529/(-9). Suppose u = 2*q + q + 2*o, -816 = -4*q - 4*o. Does 10 divide q/14 + (-2)/(-7)?
False
Is 10 a factor of (285/76)/(2/48)?
True
Suppose -2*g + 4 = 0, 0 = 2*s + 2*g - 160 - 108. Suppose 2*v = -2*b + 6*v + s, -4*b = v - 219. Is b a multiple of 29?
False
Let w(x) = x**2 + 5*x + 6. Let m be w(-4). Suppose 0 = -m*a + 6 - 0. Is a even?
False
Suppose 0 = 5*y + 3*b - 49, 0*y + 2*y - 7 = 3*b. Is 1/4 - (-326)/y a multiple of 13?
False
Let n(r) = 2*r**2 + 3*r - 4. Let b be n(-3). Let p(h) = -h**3 - 3*h**2 + 6*h + 9. Let c be p(-4). Let o = b + c. Does 6 divide o?
True
Suppose 0 = -4*c - 2*v - v - 33, 3*v - 39 = 4*c. Let g = c - -17. Is 5 a factor of g?
False
Let m = 9 - 6. Suppose 3*o + 11 - 87 = -5*n, -m*n = -o + 2. Suppose h = 1 + o. Does 8 divide h?
False
Let f(j) = -2*j + 1. Let i be f(-1). Suppose -4*o + 76 = 3*c, 4*o - i*c - 4 - 72 = 0. Does 6 divide 2/(-4) - o/(-2)?
False
Suppose -9*k = -12*k + 216. Let y = k + -17. Is y a multiple of 11?
True
Suppose -10 + 76 = -3*m. Let r = 11 + m. Does 11 divide r/3*(1 + -4)?
True
Is 24 a factor of -1*2 - (-8)/(-16)*-118?
False
Let p(q) = -q**2 - 7*q - 5. Is p(-5) a multiple of 5?
True
Let v(f) = -f**2 - 10*f + 6. Let r be v(-9). Is 21 a factor of (9/r)/(2/70)?
True
Suppose 5*l - 462 = -162. Is 30 a factor of l?
True
Let g(y) = -y**3 - 11*y**2 - 11*y + 6. Let k be g(-10). Let o(t) = -1 + 0 + k*t + 3. Is 17 a factor of o(2)?
True
Does 13 divide -566*2/(-20) + (-6)/(-15)?
False
Suppose -4*i - 54 = -3*g, 0*i + 2*i = -3*g + 36. Let u = 5 + g. Does 17 divide u?
False
Let u(w) = 15*w + 6. Suppose 0 = 4*k - 8, -2*p + p = -2*k. Does 22 divide u(p)?
True
Suppose 2*t = -5*g, 0*t - 5 = -3*t - 5*g. Is 3 a factor of t?
False
Suppose -2*v + 4*d = 2*d + 8, 3*d = 12. Suppose v*f = 4*f - 32. Is f a multiple of 3?
False
Suppose 3 = 4*u - 5. Suppose -k - 3*x = 1, -u*x + 21 = 5*k - 0*k. Let p = k + 2. Is 7 a factor of p?
True
Let l(t) = -t**3 - t**2 - t + 264. Let a be l(0). Suppose 2*p = -2*p + a. Let c = 102 - p. Does 20 divide c?
False
Let z be -2*(76/(-8) + -3). Suppose 6*i - i - z = 0. Is 5 a factor of i?
True
Let m(d) = d**3 - 7*d**2 + 8*d - 2. Let s be m(6). Let i(c) = -c - 5. Let g be i(-7). Suppose -g*r + 3*r = s. Is r a multiple of 5?
True
Let k = 755 + -528. Is k a multiple of 16?
False
Let u(d) = d**2 + 8*d - 13. Suppose -q = -3*v - 0*v + 21, -5*q - 3*v - 33 = 0. Let b be u(q). Is (-50)/b + (-12)/(-8) a multiple of 14?
True
Let s(i) = i + 8*i**2 + 20*i**2 + 1 + 25*i**2 + 7*i**2. Does 20 divide s(-1)?
True
Suppose -82 - 26 = -4*p + 5*w, 5*w - 24 = -2*p. Is p a multiple of 11?
True
Suppose -87 = -w - c, w = 3*c + 2*c + 69. Is w a multiple of 21?
True
Let y = 34 + -8. Does 17 divide y?
False
Let m = -106 + 223. Is 7 a factor of (m/18)/(2/12)?
False
Suppose 0*g + 4 = 3*w + 5*g, -w + 3*g = -6. Suppose w*h = 31 + 5. Is h a multiple of 4?
True
Let j be 0/(-1) + 1 - -1. Suppose -5*y = j*o - 14, -y + 6 = 3*y - o. Suppose -4*k + 8*m = 3*m - 61, y*m = 2*k - 30. Is 14 a factor of k?
True
Let w(p) = p**3 - 4*p**2 + 5*p - 4. Let n be w(3). Let i be (n + -2)/(0 + 2). Is 5 a factor of 1 + -1 + i - -5?
True
Let u = 86 + -35. Does 17 divide u?
True
Suppose 6*h - 45 = h. Is 3 a factor of h?
True
Let t(z) = z**3 + 3*z - 2*z**2 + 2 + 1 - 4*z - 3*z**2. Let a be t(5). Does 10 divide (4/6)/(a/(-117))?
False
Suppose 1 = d + 2*d - 4*a, 5 = 3*d - 2*a. Let t(v) = 0*v**3 - v + 6*v**2 + v**3 + v**3 - 10*v**2. Is t(d) a multiple of 15?
True
Let o be (1/(-1))/(1/5). Let f = o + 10. Is f a multiple of 5?
True
Suppose -l - 50 = z - 2*z, 0 = -5*l - 20. Does 23 divide z?
True
Suppose -m + 81 = 8*m. Is m a multiple of 3?
True
Suppose -4*z = 3*z + 70. Is 86/1*(-5)/z a multiple of 8?
False
Let a(z) = -z**3 + 4*z**2 + 5. Let w be a(4). Suppose -6*l + w*l = -i + 26, 4*l + 48 = 2*i. Suppose 6*k - 2*k - i = 0. Does 7 divide k?
True
Let c(m) = m**3 + 4*m**2 + 2*m - 1. Let n be c(-2). Suppose -n*w = -3*g + 57, -2*g + w - 16 = -52. Is g a multiple of 17?
True
Suppose -45 = 8*x - 3*x. Is (-5)/((-5)/2) - x a multiple of 4?
False
Is (-2)/2*-87 + -5 a multiple of 41?
True
Is (9 - 8)*(-1)/(-1)*35 a multiple of 6?
False
Let s(d) = d**3 + 9*d**2 - 10*d + 12. Does 30 divide s(-6)?
True
Suppose 0 = -4*p + 2*b - 148, 97 = -3*p + 4*b + b. Does 13 divide (4/3)/((-2)/p)?
True
Let w = 110 + 144. Does 40 divide w?
False
Suppose -455 = 6*h - 2117. Is h a multiple of 54?
False
Suppose -119 - 65 = -4*h. Suppose -6*f + 44 = -h. Does 15 divide f?
True
Let h = 14 - 52. Let o = -18 - h. Does 9 divide o?
False
Let n = 440 - 196. Is 8 a factor of n?
False
Suppose -133 = -3*c - 52. Let h = -23 - -17. Does 2 divide (-38)/(-9) + h/c?
True
Let g = 18 - 11. Let k = -10 - g. Let h = k + 32. Is 7 a factor of h?
False
Let p(b) = -19*b - 14. Is p(-8) a multiple of 46?
True
Suppose m + 0*m = u + 6, 3*m - 20 = 2*u. Suppose -f + m + 6 = 0. Does 7 divide f?
True
Suppose -65 = -2*s + 13. Is 13 a factor of s?
True
Suppose 3*v - 98 = 4*x + 16, -39 = -v + x. Does 17 divide v?
False
Suppose -5*p + 103 = -5*r - 17, 0 = -5*p + 10. Let g = r + 38. Does 4 divide g?
True
Let y be ((-1)/(-2)*-2)/(-1). Is 1/2*10*y a multiple of 5?
True
Let d(f) = 44*f - 2. Let n be d(4). Suppose -z + 5*x + 27 = 0, 5*z - n + 39 = 3*x. Is z a multiple of 11?
False
Suppose 3