 divide d?
True
Let g(m) = 4*m**3 + m + 2. Let f(k) = k**3 + k**2 - k + 2. Let z be f(0). Is 12 a factor of g(z)?
True
Let i be (0 + 3)/1 - 63. Is 16 a factor of -30*-6*(-16)/i?
True
Let x(u) = 5*u + 4. Let b be x(-5). Let q(v) = -v**3 - 4*v**2 - 2*v - 4. Let f be q(-3). Let z = f - b. Is 14 a factor of z?
True
Let n(c) = c + 3. Let a be n(0). Suppose -3*s = -a - 3. Suppose 2*x - 28 = -4*h, 3*x - s*h + 4*h = 22. Is 3 a factor of x?
False
Let p be (3 - 3) + -2 + 4. Suppose -7*b = -p*b. Suppose -2*x - 6 + 28 = b. Is 4 a factor of x?
False
Suppose 4*h + o - 420 = 0, -5*h + 0*o + 525 = 5*o. Is h a multiple of 15?
True
Let c = 9 - -15. Does 12 divide c?
True
Suppose j = 3*x - 9, 4*j - 2*x = 3*x - 43. Let v be 4/(j/9) + 4. Is (-1 - 1 - v) + 10 a multiple of 2?
False
Suppose 630 = 5*s + 5*f, 378 = 3*s - 4*f - 0*f. Is ((0 + s)/(-3))/(-2) a multiple of 7?
True
Let u be (-90)/(3 - 5) + 2. Let w = u + -24. Is w a multiple of 13?
False
Let y = -2 + 2. Let w be (-1 + y)*(-1 + -15). Suppose -29 - w = -3*n. Does 15 divide n?
True
Suppose 3*m - 7*u = -2*u + 237, -3*u = 4*m - 287. Does 31 divide m?
False
Let c = -27 + 70. Does 9 divide c?
False
Let y(m) be the second derivative of -m**4/12 - m**3/2 + 2*m**2 + 3*m. Let b be y(-3). Suppose 7*p - 45 = -4*x + 4*p, -b*p = -5*x + 95. Does 7 divide x?
False
Let u(a) be the second derivative of 0 + 1/6*a**3 - 1/2*a**2 + 6/5*a**5 - 1/12*a**4 - a. Is u(1) a multiple of 11?
False
Suppose -6*t - 2 = -4*t. Let w be t/((-2)/76) - 2. Suppose 0*x - w = -2*x. Is x a multiple of 13?
False
Suppose -4 = -v - 3*k, 2*v - 43 = -k + 2*k. Is v a multiple of 18?
False
Let l = -32 - -47. Is l a multiple of 5?
True
Suppose f - 256 = -3*f. Is f a multiple of 16?
True
Let o be (3/2)/((-6)/(-8)). Suppose -u + 4 = o*j, 5*u + j - 19 = 37. Is 3 a factor of u?
True
Suppose -6*n = -0*n - 48. Does 8 divide n?
True
Let l be 2 - (9 - 1/(-1)). Let d = 16 - l. Does 8 divide d?
True
Is 18 a factor of 0 + (-826)/(-9) + (-48)/(-216)?
False
Suppose 4*y + 8 = -2*w, 2*y - 16 = y + 4*w. Suppose -5*t + 20 = -4*z, y*z + 2*z - 16 = -4*t. Suppose z = -2*f + f + 31. Does 13 divide f?
False
Does 14 divide (0 - -42)*1/1?
True
Let s(w) = 3*w**2 + 2*w - 1. Let x be s(1). Suppose x*c - 5 = -c, q = -3*c + 6. Suppose q*o + 2*p = 61, o + p + 8 = 27. Does 11 divide o?
False
Let o(p) = -p + 4. Let r = 7 - 3. Let a be o(r). Suppose a = 4*h - 60. Is h a multiple of 6?
False
Let j(b) = -b - 2. Let p(q) = -2*q**2 - q. Let n be p(-1). Let z = n + -3. Does 2 divide j(z)?
True
Let y = 126 + -57. Is y a multiple of 11?
False
Let b(i) = -i**3 - 2*i**2 - i + 4. Let g be b(-4). Suppose 4*s = -l + 6, -2*s + 5 = 4*l - 5. Suppose g = 5*h - 4*q, -5*h + l*h + 24 = -4*q. Does 3 divide h?
False
Suppose -5*f + 205 = -3*t - 0*t, 127 = 4*f + 5*t. Is 6 a factor of f?
False
Suppose -4*d = -0*d - 4*p - 4, 27 = -3*d - 3*p. Is 22 a factor of (96 + 3)*d/(-6)?
True
Suppose -5*k + 6 = -9. Suppose -3*y - 5*c + 96 = 0, -k*c + 1 - 73 = -3*y. Does 9 divide y?
True
Let v = 64 - 44. Does 10 divide v?
True
Is 60 - (2 - -18)/(-4) a multiple of 13?
True
Suppose -4 = -4*u + 52. Suppose 2*a + u = -12. Let c = -5 - a. Is c a multiple of 7?
False
Suppose 0 = 2*v - 4*v - 4*h - 2, -5*v = 3*h + 12. Does 22 divide (5 + -17)/(v/22)?
True
Let h(a) = a**3 - 6*a**2 - a - 4. Let p be h(3). Let b(d) = -19*d**2 + d. Let g be b(-1). Let y = g - p. Does 6 divide y?
False
Suppose -4*s = 2*y - 0*y + 28, -4*y - 32 = 2*s. Let n = 5 + y. Is ((1 - n) + -3)*-9 a multiple of 9?
True
Let w = 12 - 7. Suppose 0 = 3*f - 2*j - 115, -5*f + f = w*j - 138. Is 20 a factor of f?
False
Suppose 0 = 5*t - 2*v - 11, -t - v + 3*v - 1 = 0. Is 4 a factor of (-12)/5*(-10)/t?
True
Let f = 46 - 25. Is f a multiple of 4?
False
Let z(a) = 6*a**2 - 10*a + 25. Let q(m) = -m**2 + 2*m - 5. Let n(s) = 11*q(s) + 2*z(s). Is 15 a factor of n(-9)?
False
Let a = -12 - -20. Suppose -5*o + a + 12 = 0. Suppose 4*w - 4 = 0, 2*n - o*w = 44 + 16. Is n a multiple of 18?
False
Suppose -4*r = -2*r - 172. Is 30 a factor of r?
False
Let q be 4 + -2 + (-34 - -5). Let n = -9 - q. Let s = n - 8. Does 8 divide s?
False
Let k(h) = 5*h**2 + 2*h - 6. Is k(3) a multiple of 15?
True
Suppose 156 = d - 45. Is d a multiple of 14?
False
Suppose 4*f - w = 61, -3*f + 9 + 24 = -5*w. Is f a multiple of 11?
False
Let x be (-2)/(0 - (-4)/(-10)). Let s = x + 13. Does 9 divide s?
True
Suppose -154 - 291 = -5*z. Let t = z - 59. Is t a multiple of 9?
False
Is (112/2)/4 - -2 a multiple of 7?
False
Let n(k) = 2*k**2 - 3*k - 2. Suppose -3*q + 0*u + 29 = -2*u, -4*u = q + 9. Let s = q - 3. Is 5 a factor of n(s)?
False
Let h(j) be the first derivative of j**3/3 - 5*j**2/2 + 8*j - 1. Suppose 6 = 2*s - 2*g, 10 = 5*s - 2*g - 14. Is h(s) a multiple of 7?
True
Suppose 2*n - 12 = -6. Suppose g - 128 = -n*g. Does 8 divide g?
True
Suppose -47 = -3*o + 37. Is o a multiple of 7?
True
Let z(c) = c**2 + 3*c + 7. Let f be z(-7). Suppose 6*x - x = f. Does 7 divide x?
True
Let v = -218 - -124. Suppose 77 = -3*c - 121. Let k = c - v. Is k a multiple of 10?
False
Suppose -5*z + 311 = 3*p, z + 26 = -2*p + 84. Is z a multiple of 16?
True
Let k = 45 + -21. Is k a multiple of 12?
True
Suppose 3 = -2*f - 5. Let u(w) = 2*w - 5. Let m be u(7). Let n = f + m. Is n a multiple of 2?
False
Let z = 2 + -4. Let x be -2 - z - -2 - 2. Is 22 - (0 + x + 1) a multiple of 21?
True
Suppose -3*l + 2*j - 3*j = -7, 4*l = j + 21. Suppose -2*d + 222 = 4*f - 122, 0 = l*d - 16. Let b = f - 53. Does 10 divide b?
False
Let i = 23 - -109. Is i a multiple of 22?
True
Suppose 546 = 5*j + 4*y, -j - 32 = y - 142. Suppose -3*d - j = -3*g + 140, 2*g = -2*d + 164. Is 12 a factor of g?
False
Does 12 divide 36/10*(7 + -3 - -6)?
True
Suppose 1036 = 3*z + z + 2*l, -12 = 3*l. Is z a multiple of 29?
True
Suppose -2*a + 4 = -u + 11, -2*u = 2*a - 14. Suppose u*s - 2*s = 185. Is s a multiple of 22?
False
Suppose -4*v = -5*a - 126 - 35, 0 = 4*v + a - 179. Is 11 a factor of v?
True
Suppose 0 = -0*n - 3*n. Suppose -74 = -m - s, 4*m - 316 = s - n*s. Is 23 a factor of m?
False
Let n(d) = 2*d + 5. Let m be n(-4). Is -1 - (m - -1) - -59 a multiple of 12?
True
Suppose w + 160 = 5*h, 2*w = 5*w. Suppose z = -0*z + h. Is 19 a factor of z?
False
Suppose 0 = -v - v. Suppose v = w + 1. Is (-1)/((-16)/15 - w) a multiple of 15?
True
Let z(u) = -3*u**2 + 3 - 1 - 3*u**2 + 5*u**2. Is z(0) even?
True
Let c be (-1446)/(-18) - 2/6. Does 6 divide (-2)/10 + 1056/c?
False
Let j = -137 - -95. Does 7 divide ((-3)/6)/(1/j)?
True
Let n(f) = -f**3 - 9*f**2 - 3*f + 2. Does 15 divide n(-9)?
False
Let y be 427/5 + 4/(-10). Suppose 0 = c - 2*a + 58, 4*c - 5*a + y = -138. Let k = 80 + c. Is k a multiple of 14?
True
Let y(i) = 28*i - 2. Is y(6) a multiple of 14?
False
Let a = 30 - 25. Is a a multiple of 2?
False
Suppose 64*v - 417 = 61*v. Does 54 divide v?
False
Let n(u) = u**2 - 5*u + 2. Let j be n(5). Suppose -4*m = -j*m. Suppose 0 = -m*g + 3*g - 18. Does 5 divide g?
False
Suppose 0 = c + 30 - 96. Suppose -4*r - r + 354 = 2*f, r + 2*f - c = 0. Suppose 5*n = 3*n + r. Is n a multiple of 18?
True
Let i = 349 - 245. Is 22 a factor of i?
False
Let j(t) = 2*t + 16. Let p be j(-7). Suppose -4*q = -3*g + p*g - 139, q - g - 31 = 0. Does 12 divide q?
True
Let t(z) = 2*z**2 - z - 2. Let q(c) = -2*c + 1 - 2 + 2. Let l be q(-1). Is t(l) a multiple of 13?
True
Let x(n) = 4*n**2 + n + 2. Let w be x(-3). Let u = w - -6. Suppose -5*j + 94 + u = 0. Does 13 divide j?
False
Let m(b) = -b - 5. Let k be m(-5). Suppose -x - x + 30 = k. Is x a multiple of 15?
True
Let j = -19 - -11. Let o = j - -21. Does 11 divide o?
False
Let g(c) = -8*c**2 + 6*c + 8. Let y be g(-4). Let s = 240 + y. Is 31 a factor of s?
False
Let g(k) = -k + 50. Is 5 a factor of g(-15)?
True
Let b(u) = 7*u - 6. Let w be b(5). Let g = w - 14. Does 4 divide g?
False
Let u = -195 + 394. Is u a multiple of 28?
False
Let q be (-11)/5 + 3/15. Is 4 a factor of q/(-3) + (-30)/(-9)?
True
Let m(h) be the third derivative of 0*h**5 + 0*h + 2*h**2 + 0 + 1/6*h**3 + 1/24*h**4 + 1/120*h**6. Is m(2) a multiple of 11?
True
Let p(b) = -2*b + 7. Is p(-5) a multiple of 2?
False
Suppose 3*a - 23 = -5*r, 6 - 22 = -5*r + 4*a. Suppose 0 - 24 = r*j. Does 8 divide (-234)/(-9) + j/2?
False
Suppose -z = 0, 3*h + z + 0*z = 108. Is 12 a factor of h?
True
Suppose 72 - 14 = 2*b. I