de (-6)/(-9) + (-100)/n?
False
Suppose d = -0*d + 116. Is 28 a factor of d?
False
Let j be (4 - 0) + 11/11. Suppose j*y - 60 = 2*n, 0 = 4*y + 2*n + 3*n - 48. Is 6 a factor of y?
True
Let w = -336 - -563. Does 31 divide w?
False
Let o(w) = -149*w**2 - 14*w + 11. Let s(b) = 99*b**2 + 9*b - 7. Let f(a) = 5*o(a) + 8*s(a). Is f(1) a multiple of 16?
True
Let j(h) = -38*h + 4. Does 20 divide j(-2)?
True
Suppose -3*k + 3*t + 42 = 2*k, -5*t - 8 = 2*k. Is 6 a factor of k?
True
Suppose 32 = 5*v + 3*b, -3*b - 4 = -4*v - 0*b. Is 2 a factor of v/16 + (-69)/(-12)?
True
Suppose -5*t + 33 = -2*w, 8 + 4 = -3*w. Suppose -6 = 5*m + 4*u - 0, 2*u = 2. Let j = m + t. Does 3 divide j?
True
Let m(d) = -d**2 + 2*d - 5. Let w be m(0). Is (w - -6)*(13 + 0) a multiple of 5?
False
Let r = 4 - 2. Suppose 0 = r*w - 6*w + 68. Does 7 divide w?
False
Let x(b) = b**3 + 16*b**2 + 5*b + 27. Is x(-15) a multiple of 41?
False
Suppose h = -3*g - 9, 0 = -4*h + 4*g - 3*g - 23. Does 5 divide 1*2 - (-7 + h)?
True
Let i = -147 + 103. Let q = 76 + i. Does 16 divide q?
True
Let d be (-1)/((-2)/14)*8. Let m be (-64)/(-3)*(-3)/(-1). Suppose 2*x = y + 3*y - d, 3*y + 4*x = m. Is 8 a factor of y?
True
Is 3/(-3)*(-36 + -3) a multiple of 23?
False
Does 8 divide 30*((-13)/(-5) + -1)?
True
Let q(w) = -11*w + 2. Let f(l) = -6 + 11*l + 6*l + 3. Let g(t) = 5*f(t) + 8*q(t). Is 10 a factor of g(-4)?
False
Let q(h) = 5*h - 14. Suppose -13 - 20 = -3*p. Is q(p) a multiple of 9?
False
Suppose 125 = 30*q - 25*q. Does 5 divide q?
True
Suppose 4*j + 1 + 11 = 0. Let z = 8 + j. Suppose 0 = z*v - 2*v - 75. Is 10 a factor of v?
False
Let t = 0 + 5. Let b(z) = -t*z + 3*z**3 - 8 - z - 4*z**2 - 2*z**3. Is b(6) a multiple of 13?
False
Suppose -f = 3*f + 8. Let i = -2 - f. Suppose 4*o + 16 - 64 = i. Is 5 a factor of o?
False
Let s(b) = b + 7. Let w be s(-7). Suppose w*n + n - 3 = 0. Suppose -2*m + 4*o - o + 48 = 0, -5*m + n*o + 120 = 0. Does 12 divide m?
True
Let x be (-14)/(-6) + (-4)/12. Suppose 4*z = 16, -4*d + z = x*z - 12. Is 2 a factor of d?
True
Suppose -10*a + 4*a + 102 = 0. Is a a multiple of 4?
False
Let f(y) = -38*y - 5. Let v be f(-4). Suppose -4*n - v = 45. Is 20 a factor of 3 + (3 - (n - 2))?
False
Suppose 3*o + d = 5*o - 109, 15 = -3*d. Is 13 a factor of o?
True
Let g(l) = 6 + 0*l**2 - l**2 + 2*l**2. Is 3 a factor of g(0)?
True
Let w(m) = -m**3 + 7*m**2 - 4. Is 22 a factor of w(4)?
True
Let c = -24 - -16. Let u = 3 - c. Does 5 divide u?
False
Suppose 4*v - 36 = 12. Let c be (-12)/(-1)*6/v. Suppose 3*o + 48 = c*o. Is 9 a factor of o?
False
Let h(c) = 14*c + 2. Let w be h(7). Let u be 125/45 - 4/(-18). Suppose -w = -u*o - 19. Does 9 divide o?
True
Suppose 11*z - 2601 = -797. Does 19 divide z?
False
Let p = -5 + 4. Let x be 2 + p + (6 - -11). Let n = -10 + x. Does 8 divide n?
True
Let v(q) = q - 3. Let l be v(5). Suppose -l*u + 80 = -0*u. Suppose -r = -2*r - 5*y + 8, 4*y - u = -5*r. Does 4 divide r?
True
Suppose 8*b = 9*b - 2. Is (4/(-6))/(b/(-96)) a multiple of 6?
False
Suppose 3*l = -i + 1 - 17, -2*i - 2*l = 16. Let r(o) be the second derivative of o**4/6 + 5*o**2/2 - 3*o. Is 19 a factor of r(i)?
False
Suppose 0*x + 2*x = 0. Suppose 5*q + 2*c = 0, -16 = -3*q - 0*c + 2*c. Suppose q*r - 4*r + 14 = x. Is 6 a factor of r?
False
Let a be (-3*1)/(6/20). Is a/(-2)*1 - -3 a multiple of 8?
True
Suppose 29*l = 31*l - 84. Does 21 divide l?
True
Let h(q) = q**2 + 8*q - 18. Is h(-13) a multiple of 12?
False
Let k be -1 + (-9 + 4)*25. Is (6/(-9))/(4/k) a multiple of 7?
True
Suppose 3*j - 100 = 4*r - 6*r, -2*j - 80 = -2*r. Is 11 a factor of r?
True
Suppose -o + 75 = 5*i, -4*o = -o + 3*i - 165. Is 11 a factor of o?
False
Suppose -b = -3, -4*p + 32 = -0*p + 4*b. Suppose h + p - 15 = 0. Is h a multiple of 4?
False
Suppose 5*a - 3*y = -2*y + 322, 0 = 2*a - 5*y - 138. Suppose -5*d = -d - a. Suppose -c - d = -3*c. Does 8 divide c?
True
Let c = -352 + 505. Is c a multiple of 11?
False
Let i(n) = 2*n**2 - 5*n + 10. Let y(u) = -u**2 + 3*u - 5. Let c(h) = -6*i(h) - 13*y(h). Is 11 a factor of c(11)?
False
Let g(u) = u**3 - u**2. Let i be g(0). Let x(o) = 5*o - 14. Let j(w) = -6*w + 14. Let y(q) = -6*j(q) - 7*x(q). Is y(i) a multiple of 14?
True
Is 2 a factor of (3 - (-20)/(-8))*10?
False
Suppose 0*q - 5*h - 23 = -q, -3 = -5*q - 3*h. Suppose -3*f + 14 = y - 3, -2*y + 25 = -q*f. Is y a multiple of 14?
True
Suppose -10*o + 360 = -8*o. Does 18 divide o?
True
Is 2 a factor of (0 + 18)/(78/52)?
True
Let g be -6 + 9 + -1 + 2. Suppose -4*w - g = 3*z - z, -4*z = -w + 8. Suppose w = 3*f, 0*o + 2*f = -3*o + 30. Is 7 a factor of o?
False
Let p be ((-4)/12)/(1/(-12)). Let t = 5 - 2. Suppose 301 = 5*l - 3*h + p*h, 73 = l - t*h. Is 22 a factor of l?
False
Does 3 divide 10/5 + 4 - 3?
True
Let z = 37 + -20. Does 8 divide z?
False
Let q(n) = 4*n - 6*n + 3*n. Let t(c) = c - 2. Let l(g) = -6*q(g) - t(g). Is l(-2) a multiple of 8?
True
Let r(p) = -9*p**3 - p**2 + 9*p - 1. Let k(n) = 4*n**3 + n**2 - 4*n + 1. Let t(v) = 7*k(v) + 3*r(v). Is t(-4) a multiple of 4?
True
Let i(x) = x**3 + 5*x**2 + 6*x + 6. Let l be i(-4). Let k be (1/2)/((-2)/52). Is 6 a factor of (k/(-2))/((-1)/l)?
False
Let y = 234 + -53. Does 28 divide y?
False
Let g(p) = 2*p**3 - 16*p**2 + 12*p - 4. Let u be g(10). Let f be u/15 + (-6)/15. Does 12 divide f - 4 - (3 - 0)?
False
Is 7 a factor of (-19 + 9)/(4/(-14))?
True
Suppose -l - 5*l = -768. Is 16 a factor of l?
True
Let j(c) = c**3 - 9*c**2 - 13*c - 8. Suppose 0*h + 5*h - 50 = 0. Let s be j(h). Let u = s + 58. Is 10 a factor of u?
True
Let i(o) = 5*o - 1. Let l = -10 + 14. Suppose -l*m + 0 = -4. Is 4 a factor of i(m)?
True
Let x(n) = -n**2 + 2. Is x(0) a multiple of 2?
True
Let v be 28/(-5) + 27/45. Let r(o) = -14*o - 3. Let w be r(-2). Let t = v + w. Is t a multiple of 10?
True
Let v be ((-4)/(-10))/((-3)/(-15)). Suppose -v*h + 3*k + 21 = -7, 5*h = -3*k + 28. Is 7 a factor of h?
False
Let l be -3 + -1 - (-2 - 27). Let j = l + -15. Is 2 a factor of j?
True
Let p be 10/(-3)*7*-3. Suppose 0 = 5*k + s + 60, -5*k - 2*s - p = -5. Let m = -2 - k. Is m a multiple of 6?
False
Suppose -5*z = 8 - 3. Is 12 a factor of (-6)/((-1)/(-6)*z)?
True
Let o = 12 + -20. Is 15 a factor of -1 + 27 - (4 + o)?
True
Let c = -76 + 223. Is c a multiple of 21?
True
Let o(c) = c + 2. Let f be o(0). Suppose 7 = 5*a - 3. Let m = a + f. Is m a multiple of 3?
False
Suppose 3*t - 1211 = x - 6*x, 4*x - 2*t = 960. Suppose 5*m = -x + 611. Suppose 0 = 3*l + 2*y - m, -1 + 3 = 2*y. Is l a multiple of 12?
True
Let h be 4 - (4/(-4) + 2). Suppose -47 = -w - s, w - 47 = h*s + s. Does 27 divide w?
False
Let w be 2*9/(-6)*2. Suppose 5 = 4*i - 3. Does 14 divide (i/w)/((-4)/444)?
False
Let z be (1 - 2)/(1/(-4)). Suppose -3*k + 3 = 0, z*k = 4*o - k - 15. Does 4 divide o?
False
Suppose 0 = 3*y - 5*y + 64. Let h = y - -12. Is h a multiple of 23?
False
Let z = -28 + 20. Let d = 22 + z. Is d/21 + 44/6 a multiple of 3?
False
Let r = -9 - -8. Let f(s) = -15*s. Is 6 a factor of f(r)?
False
Suppose m + 2 - 1 = 0. Is 3 a factor of 10/m*(-9)/15?
True
Let o = -67 - -132. Does 27 divide o?
False
Suppose -b = 2*p - 0*p - 59, 4*p - 307 = -5*b. Suppose -f = -2*k + 7*k - b, -5*k = -3*f + 89. Does 10 divide f?
False
Let a be 2 + -4 + 12/(-4). Let c(y) = 2*y**2 + 4*y - 3. Does 9 divide c(a)?
True
Let u(p) = -p**3 - 6*p**2 - 5*p - 1. Let c be u(-6). Let m be -2 - (-3 - (0 - c)). Let x = m - -70. Is x a multiple of 14?
True
Suppose -8*c = -6*c + 12. Suppose 0 = j - 3*d + 4*d - 128, -j + 120 = 3*d. Is ((-8)/c)/(8/j) a multiple of 9?
False
Let i(x) = -x + 30. Let c be i(11). Let q = c + 0. Does 18 divide q?
False
Let z = 5 - 0. Suppose -y - a + 24 = -0*y, 0 = 4*y + z*a - 92. Does 7 divide y?
True
Suppose 2*q + 108 = 5*q. Is 6 a factor of q?
True
Let x(c) = 6*c**2 + 2*c + 1. Let i = -3 - -1. Let h be 1/((-1)/i*-1). Is 21 a factor of x(h)?
True
Suppose -10 = l - 4*d + d, 2*l - 20 = -4*d. Suppose -3*b + 4*r - 12 = 0, -4*r = 5*b - l*r + 20. Is (-2)/b*2 - -9 a multiple of 5?
True
Suppose -z + 6*z - 750 = 0. Is z a multiple of 42?
False
Let u(g) = g + 11. Let c be (-2)/4*2*6. Let m be u(c). Suppose -2*b = -5*n + 55, 10*n + 4*b = m*n + 85. Is n a multiple of 6?
False
Let x(v) = v**2 - 3*v + 4. Let z be x(3). Suppose 28 = -z*q + 204. Suppose 4*n - 2*n - q = 0. Is n a multiple of 11?
True
Let t = 17 + -12. Su