 8 divide (y/(-8))/(1/(-2))?
False
Let i(n) = -3*n**2 + n + 8. Let u(v) = 9*v**2 - 3*v - 23. Suppose d + 17 = 2*d. Let z(t) = d*i(t) + 6*u(t). Is z(3) a multiple of 11?
True
Let m be (1 - 0)/((-4)/(-8)). Suppose 0 = -h - p - m*p + 36, 0 = -3*p. Does 12 divide h?
True
Suppose 7*x - 3*x - 544 = 0. Is 13 a factor of x?
False
Let r be 106/(-3) - 1/(-3). Let m = -17 - r. Does 8 divide 44/(-6)*m/(-6)?
False
Let a(z) be the third derivative of -z**5/60 - z**4/3 + 5*z**3/6 + 2*z**2. Is 2 a factor of a(-8)?
False
Let l = 1 - -2. Suppose -v + 3 = -l. Is 3 a factor of v?
True
Let d = -16 - -9. Let i(w) = w**3 + 7*w**2 - 4*w - 6. Is 10 a factor of i(d)?
False
Suppose -13*j + 12*j + 56 = 0. Is j a multiple of 28?
True
Let v(a) = 101*a**2. Let g = 22 - 21. Does 29 divide v(g)?
False
Suppose 8*z = 5*z + 102. Is z a multiple of 9?
False
Suppose -d - 4*f = -5*d - 44, -2*d + f - 21 = 0. Let p = -5 - d. Suppose -4*j + 89 = p*g, 0 = -2*g - 2*g - 3*j + 71. Is g a multiple of 8?
False
Let a be (-32)/(-3) - 4/6. Let i = -18 + a. Let x = i + 13. Is 3 a factor of x?
False
Suppose -3*g + 15 = -2*m, 4*g + 4*m = -m - 3. Suppose g*d - 69 = 30. Is 28 a factor of d?
False
Let i = -5 + 2. Let l = i - -1. Is 2 a factor of l/(-6)*12/1?
True
Suppose -o - 20 = -3*o. Let b be (152/o)/(3/15). Let l = b - 54. Is 11 a factor of l?
True
Suppose -3*u + 10 + 2 = 0. Suppose 0*y + 430 = 2*y - u*w, 2*w = 0. Suppose 0 = -4*t + 9*t - y. Is t a multiple of 16?
False
Suppose 3*r = -3*f - 15, -r - 11 = 3*f + 10. Let s(t) = -2 - 3*t - 2*t + 0. Is 13 a factor of s(f)?
False
Let t(u) = 3*u + 0 - 3*u**2 - u**3 - 1 - 5*u. Let n be t(-4). Let s = n + -10. Does 13 divide s?
True
Suppose d + 16 = -2*q, -2*q + 4*q = -3*d - 24. Does 12 divide (-105)/q*(-36)/(-21)?
False
Suppose -2 = -m - 2*j, 4*m = 4*j + 9 - 1. Let d be (1 - m)*-2*-17. Let g = 51 + d. Does 5 divide g?
False
Let v be (-10)/25*(-1 - 44). Is 12 a factor of (v/(-5))/(21/(-350))?
True
Let y(t) = -t**3 + 7*t**2 - 3*t + 10. Is y(6) a multiple of 14?
True
Suppose 2*f = -14 + 114. Suppose 4*a - f = 2. Does 4 divide a?
False
Let k = -104 - -52. Let b = k + 89. Does 11 divide b?
False
Suppose -5*s = -5*z + 120, 3*s = -z - 4*z + 88. Does 3 divide z?
False
Is 11 a factor of -1 - -2 - (3 + -6 - 51)?
True
Let u = 5 + 4. Let n be (-29)/u + (-6)/(-27). Let c = n + 5. Is c a multiple of 2?
True
Suppose 2*l = -2*l + 36. Suppose -2*o = 5*c - 0*c - 18, 4*c + l = o. Is o - 4/(2 - 4) a multiple of 5?
False
Suppose 3*v = -s - 1 - 25, 2*v = -s - 18. Is v/(-44) - (-108)/11 a multiple of 10?
True
Let t be 106/(-6) + 2/(-6). Let w = -10 - t. Does 4 divide w?
True
Let l = 84 - 60. Let u be 6/(l/(-9) + 3). Suppose -4*v = -22 - u. Does 3 divide v?
False
Suppose -3*s - 25 = -5*l - 0, 4*l = -2*s - 2. Suppose 3*y + 9 = l*y. Is (-3 - -81)*(-3)/y a multiple of 7?
False
Let j(d) = -2*d - 9. Let q be j(-6). Does 13 divide 537/12 + q/12?
False
Let r = 368 - 64. Suppose 4*f = -5*y + r, -f - 2*f = y - 63. Is y a multiple of 20?
True
Let u(k) = -k**2 + 11*k - 6. Is u(6) a multiple of 22?
False
Suppose 3*x - 2 - 13 = 0. Suppose 2*s + 0*s - 19 = x*n, 4*s - 3*n - 17 = 0. Suppose 0 = -s*a + 14 + 4. Is 4 a factor of a?
False
Let k be ((-7)/(-3) + -2)*3. Let n = 1 - k. Suppose 2*o + o - 63 = n. Is 9 a factor of o?
False
Suppose -1251 = -5*w + f + 2*f, -5*w + f = -1247. Is w a multiple of 10?
False
Is 10 a factor of 120 + 2/8*0?
True
Let w be (-18)/4*10/(-15). Let t be 0*1*2/4. Suppose -p + 18 = w*q - 2, t = -p - q + 16. Does 7 divide p?
True
Let z = 19 - -63. Is 13 a factor of z?
False
Suppose 2*i - t = 5*i - 5, -t = 5*i - 9. Suppose i*s - 558 = -s. Is 7 a factor of (-2)/(-4) + s/12?
False
Is 21 a factor of (-7005)/(-90) + (-1)/(-6)?
False
Let u(i) = 2*i - i + i + 3 + 0*i. Let w be u(-4). Let b = 17 - w. Does 9 divide b?
False
Let w(g) = g**2 + 3*g - 25. Is 15 a factor of w(7)?
True
Let m(b) be the second derivative of -b**5/20 + b**4/3 - b**3/6 - 3*b**2/2 - 3*b. Let h be 3 - (1 + -1)/(-1). Does 3 divide m(h)?
True
Let c(k) = -6*k - 7. Let v be c(-6). Suppose 4*t - v = 31. Is t a multiple of 5?
True
Let i = 16 - 24. Let y(l) = -l**2 - 13*l - 16. Let r(z) = z**2 + 13*z + 17. Let d(a) = 6*r(a) + 7*y(a). Is d(i) a multiple of 13?
False
Let x be -1 - -4 - (-4 - -7). Suppose x = -4*g - 25 + 81. Does 14 divide g?
True
Suppose 0*g = -2*g + 26. Suppose 2*l = -c + g, -2*c + 28 = -l - 18. Does 18 divide c?
False
Let g(d) = 17*d**2 - 2*d - 2. Let t = -13 + 12. Is 12 a factor of g(t)?
False
Suppose u - 17 + 1 = 0. Is u a multiple of 8?
True
Let u(h) = h**2 - 8*h + 20. Does 11 divide u(11)?
False
Let l = -9 + -5. Does 9 divide 29/2 - 7/l?
False
Let r(n) = -n**2 + 8*n - 6. Let o be r(6). Let w = o + -12. Is (-2)/(-12) - 23/w a multiple of 3?
False
Let a(w) = -w**3 - 13*w**2 + 11*w + 2. Is 11 a factor of a(-14)?
True
Let l(s) = 6*s**2 - 5*s + 1. Does 11 divide l(4)?
True
Let n be (-24)/(-2 + 0 + 0). Suppose -14*b + n*b + 96 = 0. Is b a multiple of 16?
True
Suppose 5*c = -0*p + 5*p, 5*c - 20 = 0. Let l = p - -13. Is 7 a factor of l?
False
Let i(m) = m**2 - 7*m - 12. Let f be i(-8). Suppose -4*t + f = -2*t. Is 18 a factor of t?
True
Let q = -52 + 74. Let p = q - 15. Does 2 divide p?
False
Suppose -5*o = n - 28, 0*n - 2*n = o - 20. Does 3 divide n?
False
Suppose -4 = 3*d - 10. Suppose d*g = 8*g - 144. Is 5 a factor of g?
False
Let u be 0 + (10 - 2 - 1). Let w = -4 + u. Is w a multiple of 3?
True
Is 14 a factor of 1*7*(12 + -2)?
True
Suppose -4*u = -4*p - 64, -5*p = -19 - 6. Is u a multiple of 11?
False
Suppose 31 + 71 = 6*k. Is 9 a factor of k?
False
Let j = -23 + 26. Suppose -2*a + 5*a = -2*g + 158, 0 = -j*g + 3. Is a a multiple of 26?
True
Let t = -8 + 5. Let k be 6/9 - 37/t. Let y = 4 + k. Does 10 divide y?
False
Suppose -2*o = -6*o + 20. Suppose o*k - k = 80. Does 20 divide k?
True
Let h be (0 - 9/3)/(-1). Let o = h + 0. Suppose o*i + b - 139 = -0*i, 5*b + 133 = 3*i. Does 19 divide i?
False
Let y = 1 - -17. Does 18 divide y?
True
Suppose -3*o + v + 14 = -89, -o - 3*v + 51 = 0. Is o a multiple of 9?
True
Let l = 39 - 17. Let p = l + -6. Is p a multiple of 16?
True
Let h(v) = v**2 - 4*v - 7. Let k be h(8). Suppose -u - 4*u = k. Let b(i) = i**3 + 4*i**2 - 7*i + 2. Is b(u) a multiple of 6?
True
Let f(o) = -o - 6. Let i be f(-7). Let x = i + 1. Suppose 5*u = x*u + 9. Is 3 a factor of u?
True
Let o be (-60)/(-14) - (-2)/(-7). Does 4 divide (-3)/o - 35/(-4)?
True
Let y(q) = 5*q**3 + q**2 - 10*q - 2. Let p(v) = -14*v**3 - 4*v**2 + 29*v + 6. Let t(s) = 6*p(s) + 17*y(s). Does 10 divide t(7)?
True
Suppose 2*f + 5 = 15. Is 3 a factor of f?
False
Let x = 98 - 37. Is 10 a factor of x?
False
Suppose -24 = -6*u + 2*u. Suppose 0 = -h - 1, u*q - 4*q = -4*h + 62. Does 12 divide q?
False
Let a = 0 - -1. Is 15 a factor of (8/a)/((-4)/(-16))?
False
Let j(y) be the first derivative of 3*y**2 + 2 + 1/4*y**4 + 8/3*y**3 + 2*y. Does 6 divide j(-7)?
False
Let t = 7 - 6. Suppose -i - 2*s + 3 = t, 0 = 4*i + 2*s - 26. Is 7 a factor of i?
False
Suppose -60 = -p - w, 4*w + 323 = 4*p + 43. Does 13 divide p?
True
Is (33/6)/(8/48) a multiple of 12?
False
Let v(d) = d**3 + 6*d**2 - 9*d - 2. Let l be v(-7). Let w = -2 + l. Is 10 a factor of w?
True
Let n(y) = y + 4. Let i be n(-6). Let l be (i + (1 - -7))*1. Let p(g) = 6*g + 4. Is 20 a factor of p(l)?
True
Let j = -4 - -2. Let f(p) = -2*p**3 + 4*p**2 + 2*p - 1. Let c be f(j). Let a = -16 + c. Does 5 divide a?
False
Let x be (1 + 22)*3/3. Let p = 14 - x. Does 2 divide p/(-6)*8/3?
True
Let b be ((-2)/(-3))/((-3)/(-9)). Suppose b*g - 4*g - 18 = 0. Let k = 5 - g. Does 9 divide k?
False
Let d(k) be the second derivative of 0 - 1/3*k**3 - 2*k + 2*k**2. Is d(-6) a multiple of 8?
True
Let y(f) = 196*f - 2. Let m be y(2). Suppose 0*t - m = -5*t. Suppose -38 = -2*a - 2*i, 4*a + 4*i - 2*i = t. Is a a multiple of 6?
False
Let l be (69/(-2))/(6/(-8)). Suppose 4*k = 2*k + l. Does 8 divide k?
False
Is (1 - -2)/(-9)*-150 a multiple of 14?
False
Let z be 2/(1 - (-35)/(-37)). Let w = -5 + z. Let j = w + -16. Does 7 divide j?
False
Suppose -m = -5*m + 16. Suppose m*l - 3*h - 2*h - 85 = 0, -2*l = 2*h - 20. Is l a multiple of 4?
False
Let u = -51 - -6. Let j = 73 + u. Is 14 a factor of j?
True
Suppose 3*d + 8 = 5. Let y(m) = 4*m**2 + 2*m + 1. Let c be y(d). Let q = c - -5. Is 8 a factor of q?
True
Su