)/(3/(-15)). Suppose 0 = -o*m - 2*m + 84. Let t = m + 1. Is 11 a factor of t?
True
Suppose 186 - 10 = 4*r. Does 11 divide ((-4)/8)/((-2)/r)?
True
Let p = 147 - 93. Is p a multiple of 6?
True
Is 1/((-4)/(-24 - 0)) a multiple of 6?
True
Suppose -81 = -3*l + 5*j, -3*j = -2*j - 3. Is l a multiple of 8?
True
Let m be (-58)/((10/4)/(-5)). Is 14 a factor of m*-2*3/(-24)?
False
Let f(g) = -60*g - 53. Does 19 divide f(-5)?
True
Let q(z) = z**3 - 5*z**2 - 8. Does 12 divide q(6)?
False
Let g(l) = 6*l**2 - 14*l + 6. Does 17 divide g(6)?
False
Is 22 a factor of ((-198)/(-8))/(-9*(-1)/24)?
True
Let p = -180 + 83. Let r = 69 + p. Let b = r - -43. Is b a multiple of 6?
False
Let n be (3 + 28)*(2 + -1). Suppose -44 - n = -5*k. Is 15 a factor of k?
True
Suppose 2*h + 3*w - 61 = 7, 4*w + 16 = 0. Is h a multiple of 9?
False
Suppose 2*g + 3*g - 55 = 0. Let z be 1 + (-6 - (-1 + -1)). Let k = g + z. Is 3 a factor of k?
False
Let u = 34 - 20. Does 12 divide u?
False
Let y = -2 - -6. Suppose 0*c = y*c. Suppose c = -5*s + 2*s + 72. Is s a multiple of 12?
True
Let t be 0/1*(-1)/(-2). Suppose -b + t*j + 2*j = -1, -5*b + 41 = -j. Does 9 divide b?
True
Let s(t) = -t + 7. Is s(-19) a multiple of 3?
False
Let n(b) = -b + 8. Let l be n(8). Suppose l = -5*i + 241 + 19. Does 11 divide i?
False
Suppose 4*d - 28 = -4*u, 6*d = d - 4*u + 30. Let t(y) be the first derivative of 2*y**3 - y**2/2 + y - 2. Is t(d) a multiple of 13?
False
Let d(q) = 21*q**3 - 2*q**2 + 2*q - 1. Let f = -3 + 4. Is 10 a factor of d(f)?
True
Suppose -a + 5*b - 63 - 33 = 0, b = -a - 78. Suppose 631 = 5*h - 2*f, -h + 123 = -f - f. Let k = h + a. Is 17 a factor of k?
False
Let l(d) = -d**3 - 4*d**2 - 5*d - 6. Is 11 a factor of l(-5)?
True
Suppose -o = -3*m + 49, 2*m + m + 4*o - 74 = 0. Is m a multiple of 14?
False
Is 4 a factor of ((-2)/(-2))/(7/28)?
True
Let c(h) = h**2 + 3*h + 2. Let z be c(-2). Suppose -2*g - t + 72 = z, 0 = -2*g + 5*g - t - 118. Is g a multiple of 10?
False
Suppose -l = 4*l + 195. Is 4 a factor of (-338)/l + (-2)/3?
True
Let s be 0 + 3 - (5 - 4). Does 8 divide (-231)/(-18) - s/(-12)?
False
Suppose f - 13 = 14. Is 27 a factor of f?
True
Let q = 6 - 2. Suppose q*a = 3*a + 27. Is 9 a factor of a?
True
Let l be -6*(2 - 0)/(-6). Suppose 3 = l*u - u. Is 2 a factor of 4*(2 + u/(-3))?
True
Suppose 2*c - 157 - 123 = 0. Is c a multiple of 28?
True
Suppose -p + 18 + 206 = 2*l, 0 = -3*l + 6. Suppose 0 = -4*z + 4*c + p, -z + 5*c = -0*z - 67. Is z a multiple of 13?
True
Let p = -5 - -5. Suppose p = -4*d + 7 + 57. Does 7 divide -1 + (-2 - (2 - d))?
False
Suppose -64 - 44 = 4*q. Let v = -11 - q. Is v a multiple of 16?
True
Suppose -x - 14 = -4*d, 2*x - 2*d + 2 + 2 = 0. Suppose -r = x*o - 88, 2*o + 7*r = 3*r + 76. Does 20 divide o?
False
Let c(w) be the third derivative of -1/12*w**4 - 2*w**2 + 0*w + 0 + 4/3*w**3. Does 16 divide c(-6)?
False
Let b = -57 - -147. Does 31 divide b?
False
Let i = -151 - -248. Suppose -2*b + 77 + 16 = 5*l, -5*l + i = 3*b. Is 17 a factor of l?
True
Suppose 2*c - 3*x - 56 - 143 = 0, -3*x - 107 = -c. Is 36 a factor of c?
False
Suppose 4*c = f + 3*f, c = -5*f - 30. Let l = 3 - c. Is 5 a factor of l?
False
Let p(a) = 16*a - 4. Suppose 2*x - 19 - 11 = -5*s, 0 = x - 3*s + 7. Let z be p(x). Suppose -4*d = 3*r - z, -5*d + 3*r + 68 = -0*r. Does 8 divide d?
True
Let a = 266 + -136. Is a a multiple of 26?
True
Let d(f) = f**3 - 3*f + 3. Does 5 divide d(2)?
True
Is 29 a factor of ((-2)/4)/(3/(-522))?
True
Let a = 6 - -17. Does 23 divide a?
True
Let f = 9 - 6. Suppose f*n - 52 = b, 2*n - 16 = -b - 3*b. Is n a multiple of 11?
False
Let o(s) = 5*s**3 - s**2 - 2 - 7*s - 7*s**2 - 4*s**3 + 4. Let b(r) = -5*r - 1. Let f be b(-2). Does 6 divide o(f)?
False
Let z(a) = -a**3 + 5*a**2 + a + 2. Does 11 divide z(4)?
True
Suppose -2*k = x - 45, -2*k + 7*k = -5*x + 110. Is 23 a factor of k?
True
Let y(r) = 8*r**2 - 6*r. Is 4 a factor of y(2)?
True
Let h(j) = -92*j**2 - 7*j. Let m(n) = -185*n**2 - 15*n. Let z(q) = -13*h(q) + 6*m(q). Is z(1) a multiple of 29?
True
Let s be 1 + (2 - (1 + -2)). Let w = s + 10. Let i = 23 - w. Is i a multiple of 9?
True
Let g(b) = -6*b + 21. Is 25 a factor of g(-9)?
True
Let i be ((-4)/3)/((-1)/30). Suppose 5*u - i = -3*q, -5*q + 0*u = -u - 20. Does 3 divide q?
False
Suppose 3*l + 11 = n - 2, 2*n = -l + 5. Suppose 0 = -n*x + 3*i + i + 64, 4*x + 5*i = 82. Is 6 a factor of x?
True
Let t = 125 - 26. Does 33 divide t?
True
Suppose -133 = -4*k + 51. Is k a multiple of 23?
True
Is 224/36 + (-2)/9 a multiple of 3?
True
Suppose 0 = -5*p + p + 96. Is p a multiple of 12?
True
Let g(p) = p + 2. Let m be g(-7). Let a(i) = -i**2 - 13*i - 7. Is 31 a factor of a(m)?
False
Suppose -38 = d + 2*q, 0 = -3*d - 3*q + 6*q - 96. Let p = 104 - 154. Let z = d - p. Is z a multiple of 8?
True
Suppose -h = 4*h. Suppose a - 3*w - 15 = h, 0*w = 2*a + 2*w - 54. Is a a multiple of 12?
True
Let w(j) = -20*j - 41. Does 12 divide w(-7)?
False
Suppose 6*h - 8 = 10. Does 2 divide h?
False
Let d be (2 - 9/6)*0. Suppose 0 = 5*h + 3*v + 22 - 0, d = 4*v + 16. Let i = h - -11. Is i a multiple of 9?
True
Let k(z) = z**3 + 2*z**2 - z. Let u be k(3). Let x = -21 + u. Is 21 a factor of x?
True
Does 5 divide 190/40 + (-1)/(-4)?
True
Let s(m) = -m**2 - 12*m + 5. Let o(z) = -2*z**2 - 24*z + 10. Let n(d) = -4*o(d) + 9*s(d). Let g be n(-11). Suppose -2*t + g = -t. Is 7 a factor of t?
False
Let k(i) = -i**2 + i + 18. Suppose o - 15 = -2*o. Suppose f = o*f. Is k(f) a multiple of 18?
True
Let a(y) = -7 + 6 + 2*y - 6*y. Does 10 divide a(-3)?
False
Suppose -24*k + 20*k = -812. Is 29 a factor of k?
True
Does 5 divide (20/3)/((-10)/(-75))?
True
Let u(d) be the second derivative of 17*d**5/10 - d**4/6 + d**3/6 + 2*d. Is 11 a factor of u(1)?
True
Let p(h) be the first derivative of -7*h**4/2 + 2. Let b be p(-1). Let w = b + 0. Is w a multiple of 14?
True
Let h = 134 - 85. Let v = h + -22. Is 7 a factor of v?
False
Let b(n) = -n + 9 - 1 + 2. Suppose 14 = 3*k - 5*k. Does 10 divide b(k)?
False
Suppose q - 9 = -0*q + 4*u, -5*u = 5*q + 30. Let c(l) = -l**3 + 12*l**2 - l + 21. Let j be c(12). Let b = q + j. Is 4 a factor of b?
False
Let n = 298 - 89. Is n a multiple of 11?
True
Let c = 265 - 55. Suppose z = -4*z + c. Is 7 a factor of z?
True
Let a(b) = b**2 - 2*b + 2. Let v be a(2). Suppose -2*d + 28 = v*d. Suppose -d*l = -3*l - 48. Is l a multiple of 6?
True
Let o be 2/(-6)*-3 - -4. Suppose o*t + 0*t = 295. Does 22 divide t?
False
Suppose 5*g - 2*z = 565, g = 5*g + 2*z - 452. Does 38 divide g?
False
Suppose -2*t = 3*t. Suppose t*f + 29 = 3*p + 2*f, -5*f - 90 = -5*p. Is 5 a factor of p?
False
Suppose -11 + 37 = r + v, 3*v = r - 6. Is r a multiple of 21?
True
Let y(m) = m**3 - 3*m**2 + 2*m - 4. Let r be y(3). Suppose w = -0*w - 4*o - 37, -o = r*w + 109. Does 6 divide (w/6)/((-1)/2)?
False
Let d(s) = -s**2 - 3*s + 4. Let q be d(-3). Suppose q*g - 90 = -g. Is 6 a factor of g?
True
Let t(s) be the third derivative of s**4/6 - s**3/6 + 4*s**2. Let a be t(1). Let b = a - -10. Is b a multiple of 13?
True
Suppose -a = 4*a + 4*s + 134, -4*a = 4*s + 108. Let n = 7 - a. Does 9 divide n?
False
Let q be (5/(-4) - -2)*8. Suppose -5*l = -q*l + 14. Does 6 divide l?
False
Let w(h) = 3*h - 2*h**2 - h + 8*h**2 + 1. Is 2 a factor of w(-1)?
False
Let b be 12/(-9)*6/(-4). Suppose -3*q = 3*z + 2*z - b, 5*q = -2*z + 16. Suppose -f + 13 = -2*a, -5*a - 28 = 2*f - q*f. Does 8 divide f?
False
Let a = 109 - -8. Does 14 divide a?
False
Suppose -5*v - 6 = -3*v. Suppose 60 = n + 4*n. Let z = n - v. Is 15 a factor of z?
True
Let q(h) = 2*h**2 - 12*h + 10. Does 15 divide q(-5)?
True
Suppose 0 = 4*w - 16, -44 + 546 = 5*i + 3*w. Is 7 a factor of i?
True
Suppose -9*z = -6*z - 24. Suppose -p - z = -34. Is p a multiple of 8?
False
Suppose -4*q = 75 + 45. Let g = -14 - q. Suppose 0 = -w - c, c - g = -2*w + 3*c. Does 2 divide w?
True
Suppose -13 = r - 2. Let k = -6 - r. Suppose 4*q = 5*q - k. Does 2 divide q?
False
Suppose -i - 228 = -5*i. Is i a multiple of 19?
True
Suppose 0*z - 5*z - 40 = -5*k, -3*k + 4*z = -20. Is k a multiple of 12?
True
Suppose 9*v - 35 = 4*v. Does 4 divide 5 - 3 - (-1 - v)?
False
Let g be ((-7)/21)/((-1)/(-3)). Let c = -1 + g. Is 11 a factor of 1 - -38 - (c + 4)?
False
Suppose -n - n = -10. Is 91/n + (-6)/30 a multiple of 12?
False
Suppose 2*s - 4 = -0*s