Is 9 a factor of k(y)?
True
Is 9 a factor of (-1 - 8)/(-1 - (-4)/6)?
True
Let m(p) = p + 2. Let r be m(0). Let c be 1*(13 + 0 + -2). Suppose -o - r*o + 33 = q, 2*o - 3*q = c. Does 5 divide o?
True
Is 3 a factor of 18/(-8)*80/(-30)?
True
Does 5 divide (-3)/(15/(-10)) - -13?
True
Suppose 5*c - 4*c - 47 = 0. Let t = c + -28. Does 13 divide t?
False
Let c = 2 + -8. Let w = c + 14. Is 8 a factor of w?
True
Suppose -11*s - s = -420. Does 8 divide s?
False
Let p = 44 - -52. Is 12 a factor of p?
True
Suppose -4*o + 1 = -3. Does 12 divide 13 - ((-1)/(-1))/o?
True
Suppose -3 = 2*y - 7. Let q(m) = 9*m**2 + 4*m - 5. Is 39 a factor of q(y)?
True
Let k(d) = d**3 - 8*d**2 - 8*d - 5. Let w be k(9). Let y(h) = 7*h - 4. Is y(w) a multiple of 6?
True
Suppose 4*f + 80 = 8*f. Does 10 divide f?
True
Let i = -26 + 39. Suppose 0 = -4*f + 3 + i. Suppose -f*t + 114 = -10. Is 8 a factor of t?
False
Let a be 1 + 2 - 0/1. Suppose 2*d = -a*d. Does 9 divide (1 - d) + 1*17?
True
Let m be (-5 + 4)*(0 + -4). Let t(v) = v**2 + 4*v - 4. Let n be t(-5). Is m - (-1 + (-1 - n)) even?
False
Let a = 26 + -17. Is a a multiple of 3?
True
Let c be 3/((-3)/8)*-1. Is 4 a factor of (1/2)/(c/112)?
False
Suppose -q = -4*u + 3, u = -5*q + 16 + 11. Suppose -2 + q = f. Is f a multiple of 2?
False
Suppose -2*y + 3*y + 4 = 0. Let u(o) = 0 + 2 + 3 - o. Is 9 a factor of u(y)?
True
Let k = -48 + 162. Is k a multiple of 21?
False
Suppose -w - w + 120 = 0. Suppose 2*f - 126 = -2*j, -3*j + 61 = 2*f - w. Does 17 divide f?
True
Let z(p) = -2*p + 1. Is 3 a factor of z(-1)?
True
Let h(i) = -i**3 + 7*i**2 - 4*i - 7. Let n be h(6). Suppose n*y - 93 = -3. Does 18 divide y?
True
Suppose 12 = 3*y, -y - 43 = 5*w + 63. Is -2 - (w/2 + 2) a multiple of 4?
False
Let s = 60 - 40. Is 9 a factor of s?
False
Does 15 divide (-6)/(-24) + 118/8?
True
Let a(l) = 2*l**2 + 2*l - 4. Let d be a(-3). Let m = 15 - d. Suppose -5*i = -23 - m. Is i a multiple of 3?
True
Let z = -23 + 51. Suppose -4*l = f - z, 142 = -f + 5*f + l. Is 9 a factor of f?
True
Let n be 19/(-4) - 4/16. Let c(v) = 2*v + 1 + 4*v - 3*v + v**3 + 6*v**2. Does 7 divide c(n)?
False
Suppose -2*b - 10 = 2*y, -5 = 3*b - 3*y - 2. Let o be (-180)/b*6/(-9). Let m = 61 + o. Is m a multiple of 15?
False
Suppose 5*l - 2 = 4*f, 3*f = 4*l + 2 - 4. Let x be (-6)/(-3) - (f + -6). Suppose 3*y + 4 = b, 0 = 3*y - x*y + 15. Is b a multiple of 19?
True
Suppose -o = -6*o + 20. Suppose -6*q + 118 = -o*q. Is q a multiple of 14?
False
Suppose -2*g - 725 - 212 = -5*s, -2*s - 3*g = -390. Is 21 a factor of s?
True
Let i(z) = -z**2 + z + 1. Let f(a) be the first derivative of a**3 - a**2 - 6*a - 1. Let g(b) = -f(b) - 2*i(b). Does 4 divide g(0)?
True
Suppose 3*p = -5*s - 9 + 3, 0 = -3*s - p - 2. Suppose 1 = i - s*i. Is (-2)/(-1) - (i - 51) a multiple of 26?
True
Suppose 0 = -7*s + 2*s + 90. Suppose 3*z - s = 3. Is z a multiple of 6?
False
Suppose -6*b = -b - 25. Suppose 5 + b = 5*w. Suppose 12 = w*i - 16. Is i a multiple of 10?
False
Let m(b) = 2*b. Let l be m(2). Suppose q + 3*q - 4*n = 28, -31 = -5*q + l*n. Suppose -t + 3*f = -6, -f - 36 = -q*t + 14. Is t a multiple of 18?
True
Suppose 0 = -3*c - 5*s - 37, -s = 2*c - 5*s - 12. Let m(z) = 6*z**2 + 6*z + 2. Let v be m(c). Does 10 divide (-6)/(-9) + v/6?
False
Is 30 a factor of 560/16 + 10/(-2)?
True
Suppose -2*y + 40 = 3*y. Let n = -17 - -26. Suppose 4*i - n*i = -4*q + 77, q - 5*i - y = 0. Does 11 divide q?
False
Let p(j) = j**2 + 4*j + 14. Let r be 4*4*1/(-2). Is p(r) a multiple of 21?
False
Let p(l) = 2*l**3 - 3*l**2 - 3*l. Let z be p(3). Let d(c) = -c**3 - 4*c**2 - 5*c - 4. Let n be d(-3). Let m = n + z. Does 8 divide m?
False
Let n be 0 - (-2 + (2 - 3)). Let s(f) = f**3 - 4*f**2 + 5. Let t be s(6). Does 13 divide t/3 + 1/n?
True
Let f(c) be the first derivative of c**4/2 + c**3 + c**2/2 - 4*c + 3. Let l be f(-3). Let u = l - -61. Does 22 divide u?
False
Let c(s) = s**2 - 5*s - 1. Let p be c(6). Suppose -p*a + 89 = -21. Does 22 divide a?
True
Suppose 15 = -5*h - 0, 4*h + 144 = 3*l. Is 11 a factor of l?
True
Suppose q - 10 = -2*d - 0*q, -5 = -d + 3*q. Suppose -4*v - 15 = d*m, -v - 5 = 2*m + 1. Suppose v = -2*p + 5*z + 25, 5*p - 13 - 21 = 3*z. Does 2 divide p?
False
Let b(d) be the first derivative of -d**2/2 + 5*d + 3. Let m be b(5). Suppose -3*j + 5*j - 82 = m. Is 19 a factor of j?
False
Suppose -3*g + 0*g + 5*h + 22 = 0, 0 = -5*h - 10. Suppose -g*c + r + 162 = -2*c, 2*c = -r + 170. Does 4 divide (-14)/63 + c/9?
False
Suppose 0*u + u - 9 = 0. Let t be u/(-6) + (-75)/(-2). Let m = 4 + t. Is 17 a factor of m?
False
Suppose 86 = -5*r + 226. Is 14 a factor of r?
True
Let q = 30 - 7. Let r = 27 - q. Is 4 a factor of r?
True
Suppose -2*b - 1 = -4*s + 23, 0 = -s - 2*b + 6. Suppose -7*f + 27 = -s*f. Does 9 divide f?
True
Let w = 29 + -27. Is 8 a factor of 2054/39 + w/(-3)?
False
Let p = -163 + 113. Does 8 divide 0/1 + p/(-2)?
False
Let t(a) = a**2 + 7*a + 9. Let x be t(-6). Suppose -x*f - 1 - 11 = 0. Let z(k) = k**3 + 5*k**2 + 3*k + 3. Is z(f) a multiple of 4?
False
Suppose -5*b = -84 - 56. Is 28 a factor of b?
True
Suppose -l - l + 2 = 0. Let n = 3 + 1. Suppose -149 = -n*r - l. Does 13 divide r?
False
Let f(a) be the third derivative of -a**5/60 + 13*a**4/24 + 4*a**3/3 - 3*a**2. Let z(t) = -t**3 + t**2 + 3*t + 2. Let q be z(-2). Does 14 divide f(q)?
False
Suppose -z = -4*z + 6. Let h be (-1)/(-1*z/4). Suppose -13 = -h*n + 3*c + 2*c, -3*n + 5*c + 22 = 0. Is 9 a factor of n?
True
Let y be ((4*-6)/3)/(-1). Let l = y + -1. Is 7 a factor of 1 - 3 - (-112)/l?
True
Let o = -57 - -81. Is o a multiple of 12?
True
Let c(l) be the second derivative of -l**5/20 + 5*l**2/2 + 4*l. Is c(0) even?
False
Let j be -1 + (-1)/((-2)/4). Suppose 0 = -3*d + d + 14. Suppose -d = -g - j. Is 3 a factor of g?
True
Let g = 219 + -142. Is g a multiple of 12?
False
Let m = 4 - -7. Is 9 a factor of 3 + m/(22/60)?
False
Let k be 2/(-7) + (-16)/(-7). Suppose k*m - 43 = 19. Is m a multiple of 9?
False
Let g(d) = -10*d - 31. Is g(-6) a multiple of 29?
True
Suppose -21 - 27 = -3*m. Is 6 a factor of m?
False
Suppose -3*u + 5*w - 28 = -0*w, 4*u + 5*w - 21 = 0. Is u/1 + 30 - -2 a multiple of 8?
False
Let z = 191 - 11. Does 12 divide z?
True
Let c(l) = -2*l**3 - 4*l**2 - 4*l - 7. Is 11 a factor of c(-3)?
False
Let y be ((-24)/10)/((-3)/10). Suppose -3*w = 3*p - 6*p - 87, 4*p + y = 0. Is 10 a factor of w?
False
Suppose 3*p = 190 + 80. Does 10 divide p?
True
Suppose -4*k - 17 = r - 9*k, 2*r - 18 = -3*k. Suppose 2*x = 5*x - r*u - 3, 0 = -x - 2*u + 7. Does 3 divide x?
True
Suppose l = 3*l - 4. Suppose 7*t - l*t + 4*u - 379 = 0, 4*t - 3*u = 297. Is t a multiple of 25?
True
Let p(d) = -85*d. Let v be p(-1). Suppose 4*w = 3*q + 155 + 8, 0 = 2*w - 5*q - v. Suppose -w = -4*o + 2*o. Is o a multiple of 16?
False
Is 6 a factor of (11*(-4)/6)/(6/(-99))?
False
Suppose -3*y + 15 = -0*y, 2*q - 4*y = 182. Does 18 divide q?
False
Let g(z) = -z**3 - 5*z**2 + z + 5. Let b be g(-5). Let h = 0 - b. Suppose -5*w + 0 + 10 = h. Is w a multiple of 2?
True
Let i(a) = -a**2 - 8*a - 1. Let o be (1 - 1) + 98/(-7). Let d be ((-3)/2 - -2)*o. Is i(d) a multiple of 6?
True
Suppose -4*x + x = -6. Suppose 0 = d - y - 2, -4*d + 18 = -4*y + x*y. Let c(k) = k + 7. Is c(d) a multiple of 14?
True
Let q(g) = -2*g**3 - 2*g**2 + 5*g + 3. Let v be q(-3). Suppose -v = -4*p - 2*c, -4*p + 2*c - c + 36 = 0. Is p a multiple of 8?
True
Let y(k) = -8*k + 2. Is 7 a factor of y(-1)?
False
Suppose 8*o - 5*o = 45. Does 15 divide o?
True
Let m be (2 - 2/1)/(-2). Suppose m = 4*n - 3*n - 16. Suppose 4*j + n = 0, 4*j + 26 + 3 = h. Is h a multiple of 8?
False
Let k = 5 + 61. Suppose k = 5*h - 2*h. Does 11 divide h?
True
Let d = 3 - -9. Suppose -o + 5*a = d, a = 4*o + 3*a + 4. Is 11 a factor of (-3 + (o - -4))*-11?
True
Suppose 350 = 5*t + 60. Suppose 104 + t = 3*b. Let h = b + -32. Is h a multiple of 10?
False
Suppose -9 - 11 = -5*m. Suppose 0*y + 20 = m*y. Does 2 divide y?
False
Is 7 a factor of (-10)/35 - (-268)/7?
False
Let d(r) = r**2 + 12*r + 16. Is d(-11) a multiple of 2?
False
Let c be (2/(-6))/(2/12). Let y be (-2)/((c - -1) + 0). Suppose 2*g + w + 3*w = 46, 0 = -3*g + y*w + 85. Does 13 divide g?
False
Let h(o) = 4*o**3 + o**2 - o. Suppose -5*i = -4*t - 1, -3*t - i + 4*i = 0. Suppose 0 = -4*v + 3 + t. Is h(v) a multiple of 2?
True
