iple of 13?
True
Let c(y) = -17*y + 21. Does 45 divide c(-12)?
True
Let k be (-9)/(-6)*78/3. Suppose 7 = -y + k. Is y a multiple of 14?
False
Suppose 0*v + 37 = v + 3*t, -4*v = -5*t - 216. Does 7 divide v?
True
Does 5 divide ((-18)/45)/(2/(-90))?
False
Let k(d) = 39*d**2 - d - 3. Is 12 a factor of k(2)?
False
Let x = -4 - -2. Let h(u) = 12*u**2 + 4*u + 2. Is 21 a factor of h(x)?
True
Let t(l) = -2*l. Let k be t(1). Is k/(-2)*17/1 a multiple of 4?
False
Suppose -1009 = -5*q - 4*a, -a + 840 = 4*q - 6*a. Does 23 divide q?
False
Let f be (0 - (2 + 0)) + 2. Let y be (-1)/2*f/(-2). Suppose y*o + o = 13. Does 13 divide o?
True
Let i be 2/8 - (-190)/40. Suppose 8*u - 6 = i*u. Is u a multiple of 2?
True
Let w(b) = 4*b**2 + 2 + 2 + b**3 + b + 2 + 2*b. Let c be w(-4). Let x = 25 + c. Does 13 divide x?
False
Let w(i) = -4*i**3 - 9*i**2 + i - 8. Let f(t) = 5*t**3 + 9*t**2 - t + 7. Let u(o) = -3*f(o) - 4*w(o). Does 15 divide u(-9)?
False
Suppose 2*s - w = 7*s - 4, -4*w = 4*s - 16. Let m be s + 1 - -40*3. Suppose b + 51 = 4*z - m, 2*b = 2*z - 92. Is z a multiple of 14?
True
Let n = 276 - 166. Is 11 a factor of n?
True
Let x(j) = -j**3 + j**2 + 12. Let u(l) = -l**2 - l. Let z be u(-1). Is 6 a factor of x(z)?
True
Let n(m) = m**3 + 7*m**2 + 7*m + 6. Let f be n(-6). Suppose f*l - 3*l + 120 = 2*o, -3*o - 3*l = -183. Is o a multiple of 16?
False
Let l = 19 + -10. Does 2 divide l?
False
Let g(o) = o**2 - o + 788. Let d be g(0). Is d/22 - 2/(-11) a multiple of 12?
True
Suppose 187 = 7*f + 4*f. Is 17 a factor of f?
True
Suppose x - 45 = -4*l, 8 + 12 = 4*x. Let u = 55 + l. Is 17 a factor of u?
False
Let w(t) = 2*t - 3. Is w(6) a multiple of 3?
True
Is (184/28 - 4)/(1/21) a multiple of 18?
True
Let o = -43 - -31. Is (o/(-5))/(10/25) even?
True
Let q(u) = 4*u**3 + 3*u - 2. Let t be (4 - 1) + 0 + 1. Let y be t + -3 - 1*-1. Does 18 divide q(y)?
True
Suppose -2*g + 4*l + 74 = 0, -4*g = -g - l - 96. Is g a multiple of 5?
False
Let k(u) = 9*u - 3. Let c be 5/(-2 - 0 - -3). Does 14 divide k(c)?
True
Is 8*(-15)/9*-3 a multiple of 24?
False
Let o be ((-30)/(-8))/(18/1200). Suppose -4*i + o = i. Does 14 divide i?
False
Suppose w + 2*w = 798. Is 19 a factor of w?
True
Let c(l) = l**2 - 7*l + 4. Let k be c(6). Let d(o) = 2*o**2 + 3*o. Let x be d(-3). Let p = k + x. Is p a multiple of 6?
False
Let m(y) = -4*y**3 - 4*y**2 - y + 3. Is 19 a factor of m(-3)?
False
Let f be (-3 - -4 - 0) + 3. Is 4 a factor of f*-1*2/(-2)?
True
Suppose 0 = g + o - 26 - 1, 3*g + 4*o = 81. Let i = 59 - g. Suppose -3*y + i = 2. Does 10 divide y?
True
Suppose -2*l - 91 = 3*o - 6*o, 0 = -l + 4. Does 11 divide o?
True
Suppose -2*t = 14 + 30. Is 1 + -2 + 0 - t a multiple of 8?
False
Let g(s) = 100*s + 4. Does 19 divide g(3)?
True
Let q = 87 - 61. Is q a multiple of 10?
False
Let x(m) = 45*m**2 + 8*m - 12. Is 26 a factor of x(2)?
False
Let o(m) = -2*m**3 - 14*m**2 + 4*m + 2. Is o(-8) a multiple of 9?
False
Suppose 4*p = 31 + 9. Is p a multiple of 4?
False
Let f(m) be the second derivative of m**3/6 + 3*m. Let z(g) = 24*g - 2. Let t(o) = 12*f(o) - z(o). Is t(-2) a multiple of 12?
False
Let k(h) be the third derivative of h**7/840 - h**6/40 + h**5/15 + 5*h**4/12 + h**3/2 - h**2. Let i(c) be the first derivative of k(c). Does 8 divide i(8)?
False
Let u(q) = -2*q**2 - 1. Let r be u(-2). Let w = r + 19. Let m = -6 + w. Does 2 divide m?
True
Let g(d) = -d**3 - 8*d**2 + 3. Let r be g(-8). Suppose 4*x - 3 = r*x. Is 3 a factor of x?
True
Suppose 0 = -5*n + 2*a + 10, 2*n - 6*a + 12 = -2*a. Suppose n*j = 10 - 2. Does 2 divide j?
True
Let o(h) = 0 + 5*h - h**2 + 3 + 7*h**2 + h**3. Let p be o(-5). Suppose -2*m + 2*w + 22 = 0, -3*m - 21 = p*w - 60. Is m a multiple of 6?
True
Suppose 0*t + 4*t = 0. Let z(d) = 4*d - 3 + 3 - 3 + 2*d**2 + t*d**2. Does 8 divide z(2)?
False
Suppose t + 4*r - 5*r - 8 = 0, -5*r = 25. Suppose -3*p = t*p - 36. Is p a multiple of 2?
True
Suppose 0*a + 222 = 3*j - 2*a, 4*j - 2*a - 296 = 0. Suppose -n + j = n. Does 16 divide n?
False
Let m be -9*1/((-3)/4). Let j = -3 + m. Is j a multiple of 3?
True
Let l(o) = 7*o**2 - 4*o - 4. Does 23 divide l(4)?
True
Let p(m) = -2*m**3 - 3*m**2 - 3*m - 3. Suppose 4*u - 2*x + 6*x = -16, 2*u = 2*x - 4. Is p(u) a multiple of 10?
False
Suppose 5*a = 17 - 2, -8 = 2*z - 4*a. Does 3 divide 9 - (2 - z/(-2))?
True
Let r = -11 - -4. Let d = -3 - r. Suppose 26 = 2*o - w - 2*w, 5*w = -d*o + 8. Does 7 divide o?
True
Let q be 6 + (-3)/(-6)*-6. Let t(u) = u**q + 6 + 0 - u**3 + u**3 + 8*u**2. Does 17 divide t(-7)?
False
Let q = -5 - -5. Suppose q = s + 5*x - 50, 2*x = -4*s + 3*x + 242. Suppose -g - s = -4*g. Is 7 a factor of g?
False
Suppose -z - 3*q + 326 = 0, -2*q + 325 = -0*z + z. Suppose 21 = 4*w - z. Does 24 divide w?
False
Suppose -5*s + 2*u - 6*u = -20, 3*s + 5*u - 25 = 0. Suppose s*b + 2*b - 14 = 0. Suppose 2*h = b*h - 200. Is 11 a factor of h?
False
Let i be (-3)/(-12) - 15/(-4). Suppose -m = 2*y - 18, -132 = -0*m - 5*m + i*y. Is 3 a factor of -2 - -2 - m/(-3)?
False
Let k = -11 - -2. Let h = k - -20. Does 6 divide h?
False
Suppose 0 = -3*m - 4 - 5. Suppose g = -1 + 5. Let a = g - m. Does 4 divide a?
False
Suppose 76 = -9*z + 13*z. Is z a multiple of 19?
True
Let t be -12*((-9)/(-6) + -2). Suppose -2*n = 4*w - 110, t*n - 15 = n. Is w a multiple of 9?
False
Let s = 38 + 124. Suppose 6*k - 3*k = s. Suppose 0 = -2*a - a + k. Is a a multiple of 6?
True
Let k = -5 - -13. Let i = 8 + -11. Let h = i + k. Is h a multiple of 2?
False
Suppose -8*d = -14*d + 216. Is 18 a factor of d?
True
Let n(r) = -10*r**3 - 4*r**2 - 3*r + 3. Let v(d) = 9*d**3 + 3*d**2 + 2*d - 3. Let k(q) = -6*n(q) - 7*v(q). Let u = -19 + 17. Is 13 a factor of k(u)?
False
Let s(r) = -r**3 + 11*r**2 + 10*r + 10. Let u be s(12). Let h = 29 + u. Is h a multiple of 15?
True
Suppose -2*f = -4*c - 88, c + 59 = 3*f - 73. Is f a multiple of 11?
True
Let t(z) = -2*z + 4. Let m(h) = -8*h + 17. Let s(g) = 4*m(g) - 18*t(g). Suppose 2*c - 4 = c. Does 5 divide s(c)?
False
Suppose 8*l - 4*l - 4 = -3*z, z - 5 = -5*l. Let q(t) = t**3 + t + 11. Is 11 a factor of q(z)?
True
Does 14 divide 699/9 + 5/15?
False
Let z = 124 - 75. Is z a multiple of 14?
False
Suppose 3*a - 6 = 2*a. Is 4 a factor of a?
False
Let i(t) = t**2 - 6*t - 12. Does 20 divide i(16)?
False
Is 14 a factor of -2 + (1 + 0 - -39)?
False
Suppose 4*k + 2 = 22. Suppose 0 = -3*x - 2*p + 13, k*x - 23 - 7 = -5*p. Is 16 a factor of (-36)/(x + (-15)/6)?
False
Suppose -18*o + 17*o = -230. Does 25 divide o?
False
Suppose -2*u = q - 646, -u + 2*q + 329 = q. Let p = u + -527. Does 5 divide (-2)/9 - p/18?
False
Is (-462)/(-8) - (3 - 26/8) a multiple of 29?
True
Let d be 52 - 5/(10/4). Suppose 3*l = -2*i + 116, 3*l + d = 2*i + 150. Is 14 a factor of l?
False
Suppose 2*i = 5*a - 3*i + 10, -2*i + 16 = 2*a. Let l be ((-15)/(-1))/a - 1. Suppose -q = -3*p - 36, p - 148 = l*q - 7*q. Is q a multiple of 24?
True
Suppose 6*q - 126 = -q. Is 6 a factor of q?
True
Suppose 5*q - 7*v - 770 = -8*v, 4*q - 616 = -v. Is 6 a factor of q?
False
Let a be 19 - (3 - 1 - 1). Let s = a - 5. Is s a multiple of 3?
False
Suppose -3*o - 8 - 4 = 0. Let l(q) = -2*q - 4. Is 2 a factor of l(o)?
True
Suppose b = 5*v + 144, 2*b - 4*v = -2*b + 576. Is b a multiple of 24?
True
Suppose -l = -3*h + l + 52, 5*l = -2*h + 3. Is h a multiple of 6?
False
Let o(k) = k**3 + 5*k**2 + 4*k + 1. Let t be o(-4). Suppose -2*g + 3*h = -4*g + 45, -h = t. Is g a multiple of 12?
True
Let c be 466/14 + 4/(-14). Suppose -3*y + c = 3*u, -y - 36 = -4*u - 3*y. Is 2 a factor of u?
False
Let a = 12 + -7. Suppose -4*l + a = -135. Does 9 divide l?
False
Let l(j) = j**2 - 11*j + 2. Let k be l(11). Suppose -4 = -z - k. Suppose 0 = -z*o - o + 36. Is 6 a factor of o?
True
Let x(f) = -f**2 - 7*f - 3. Let m be x(-4). Is -3 + m*68/6 a multiple of 34?
False
Let n(w) = 2*w + 2. Let i be n(-4). Does 11 divide (-6)/(-4)*(-64)/i?
False
Suppose 0 = 3*m - 4*m + 128. Is 32 a factor of m?
True
Suppose 4*f + 1 = -3*y + 94, 5*f = 2*y + 99. Is f a multiple of 5?
False
Let i(r) = 2*r**3 - 2*r**2 - 6*r - 1. Is i(4) a multiple of 10?
False
Suppose -5*z = -134 - 56. Suppose 4*q + 102 = -5*s, 0 = 2*q - 4 + 10. Let v = s + z. Does 12 divide v?
False
Suppose 0 = 2*a - 2*c - 2, 4*a + 0 - 8 = 3*c. Suppose 11 + 4 = a*u, 3*n + 84 = -4*u. Let z = n - -54. Is z a multiple of 