ctor of h?
True
Suppose -4*h - 4*m = -7 - 9, -4*h - 3*m = -20. Suppose 0*k = 2*k - h. Suppose 4*s - c - 108 = -k*c, 3*s - 60 = 3*c. Is 12 a factor of s?
True
Let o = 0 - -7. Let n(x) = -x**2 + 9*x + 6. Is 10 a factor of n(o)?
True
Suppose 2*o - 4*d = o + 2, 2 = o + 5*d. Suppose -3*m - 1 = -5*f - m, 4*f - m - o = 0. Does 11 divide (-22)/(1 - (1 + f))?
True
Is 9 a factor of ((-48)/10)/((-20)/150)?
True
Suppose 5 + 19 = 3*r. Let u = r - 5. Suppose -2*v - 12 + 44 = -u*h, -5*h = 4*v - 108. Is 10 a factor of v?
False
Suppose 5*k - 288 = k. Does 24 divide k?
True
Let z be 23 - 9 - (2 + 1). Let f = -8 + z. Is f a multiple of 3?
True
Suppose 0*x + 3*x + 18 = 0. Let q = x + 46. Suppose -q = -5*k - 3*o + 8*o, -5 = -o. Does 8 divide k?
False
Let v(s) = -s + 13. Let b be (-27)/(-4) + 4/16. Is 2 a factor of v(b)?
True
Suppose 3*y + 72 = 3*t, 7*y - t + 124 = 2*y. Let w = -8 - y. Is 17 a factor of w?
True
Let l be 1*(1*-28 + 0). Let c = 50 + l. Suppose -c = -5*a + 3. Is a a multiple of 3?
False
Let v = -21 + 10. Let p(a) = a**3 + 12*a**2 + 9*a + 10. Does 16 divide p(v)?
True
Let k be -2 + 56/(0 + -4). Let l be (-12 - -2) + 1 + -2. Let f = l - k. Is 2 a factor of f?
False
Let b(o) be the first derivative of -23*o**4/4 - o**2 - o - 3. Let k be ((-5)/(-15))/(1/(-3)). Does 8 divide b(k)?
True
Let k(z) = -z**3 + 8*z**2 + 5. Is k(7) a multiple of 9?
True
Is 18 a factor of 54 - 0*1/(-3)?
True
Suppose -3*c + x + 37 = 0, -3*c - 3 + 55 = 2*x. Is c + (-3)/((-6)/(-4)) a multiple of 9?
False
Let u(y) be the third derivative of y**6/24 - y**4/24 - 2*y**2. Does 4 divide u(1)?
True
Let i be 10/((-4)/(-2) - 0). Suppose 5*d - 103 = -4*r, r + i*d = 4 + 18. Is r a multiple of 9?
True
Suppose -2*z + 114 = 5*i, 4*i - 7*i = 5*z - 57. Is i a multiple of 12?
True
Suppose -2 = s - 2*s. Suppose u + s*u + 39 = 0. Let v = u - -22. Is 7 a factor of v?
False
Let p = 10 + -7. Suppose -i - 4*o + 89 = 0, p*i - 3*o = -6*o + 231. Is i a multiple of 23?
False
Let p(q) = -q**3 - 2*q**2 - 3*q - 1. Let n be p(-2). Suppose n*h - 120 = 3*h. Suppose 0 = f - 4*s - 30, 4*s = -3*f + h - 2. Is f a multiple of 11?
True
Let u(o) = -o - 28. Let h(c) = -c - 14. Let t(v) = -5*h(v) + 2*u(v). Does 11 divide t(13)?
False
Let z = -14 - -16. Suppose 5*v + 8 + z = 5*k, 0 = v - 5. Does 7 divide k?
True
Let d be 34/6 - 4/(-12). Let m = 15 - d. Is 6 a factor of m?
False
Suppose -2*b - 4*h - 14 = 0, -5*h = b - 0*h + 22. Let n be -5 + -1 + b/(-3). Let r = n + 13. Is r a multiple of 6?
True
Let o be 5/10 + 9/2. Let w(x) be the third derivative of x**5/60 + x**4/8 + 2*x**3/3 - x**2. Is 17 a factor of w(o)?
False
Let r(y) = 4*y**2 - 5*y - 13. Does 41 divide r(-8)?
False
Suppose 8*g = 4*g. Suppose -y + 183 = 4*c, g = c - 3*y - 4 - 32. Does 15 divide c?
True
Let w be (3 - 0) + 0 + 29. Suppose -10 = -3*k + w. Does 14 divide k?
True
Suppose -4*i - 123 = -735. Let p = -84 + i. Is 11 a factor of p?
False
Let k be ((-18)/15)/((-6)/15). Suppose -5*b + 4*b = 2*u - 33, -3*u + 108 = k*b. Suppose -4*o + b + 25 = 0. Is o a multiple of 12?
False
Let f = -11 - -19. Suppose -2*z - f = -u, 0 = 5*z + 4 - 14. Is 9 a factor of u?
False
Let q(v) be the third derivative of v**5/15 + v**4/8 - v**3/2 + 3*v**2. Let d = -4 + 1. Does 11 divide q(d)?
False
Let u = 392 - 222. Does 17 divide u?
True
Suppose 5*l = -3*j + 4*j + 22, 5*j = -4*l + 35. Suppose -4*c - 64 = -4*f, -j*f - 4*c + 18 = -30. Does 16 divide f?
True
Suppose 4*q - 932 = -2*v, 247 = -q + 2*q - 3*v. Does 18 divide q?
False
Let j = -410 - -605. Is j a multiple of 22?
False
Suppose -4*m + 28 = 3*n, 5*n - 2*n = 5*m - 8. Suppose -z = -4*z - 5*y + 116, -n*z + 5*y = -108. Does 12 divide z?
False
Suppose t + 12 = 96. Is 28 a factor of t?
True
Suppose -274 = -6*p + 62. Is p a multiple of 28?
True
Let h(o) = -o**3 - 17*o**2 - 17*o - 14. Let y be h(-16). Suppose 7*f = y*f + 3*v + 171, v = 2*f - 69. Does 9 divide f?
True
Let z(b) = -b**2 + 5*b - 1. Let t be z(4). Let q be (-1)/t + 114/18. Let n = q + 2. Is n a multiple of 8?
True
Let s be (0/(-5))/(2 + 0). Let c be 3*((-10)/(-6) + s). Let u(i) = 3*i + 7. Is 13 a factor of u(c)?
False
Does 5 divide (-2)/3 - (-124)/6?
True
Let v(c) = -37*c**3 - c**2. Let i be v(-1). Suppose 2*j = 6*j - i. Is j a multiple of 4?
False
Let n(z) = -z**3 - 7*z**2 + 6*z + 10. Let k be n(-8). Let y = k - 6. Is y a multiple of 20?
True
Suppose -8*y = -3*y - 25, 20 = 5*s + y. Suppose -s = -2*o + 3. Let h = 5 + o. Is 4 a factor of h?
True
Suppose 0 = -8*v - 0*v + 344. Is v a multiple of 43?
True
Let g = 400 + -274. Suppose 5*q = 8*q - g. Is 21 a factor of q?
True
Suppose -15 + 333 = 6*k. Is 16 a factor of k?
False
Suppose 8 = j - 2*p - 2, -4*j = -p - 33. Is j a multiple of 3?
False
Let f = 4 - 4. Let j(b) = -1. Let k(x) = x**3 - x**2 + 2. Let r(h) = -3*j(h) + k(h). Is 5 a factor of r(f)?
True
Suppose 5 = -0*a + a. Let o(h) = h**2 - 5*h + 2. Let i be o(a). Suppose -18 = -i*p - 0*p. Is p a multiple of 9?
True
Let t = 32 + -3. Let f = 42 - t. Is 9 a factor of f?
False
Let h = 20 + -10. Suppose -8 = -2*p + h. Is p a multiple of 2?
False
Let h = -197 + 334. Suppose h - 7 = 2*m. Does 22 divide m?
False
Let x(p) = -p. Let v be x(-11). Suppose v*r - 6*r - 230 = 0. Is 18 a factor of r?
False
Suppose 3*z = r - 5*r + 83, -3*r = 4*z - 113. Let n = -22 + z. Is n a multiple of 2?
False
Suppose -5*f + 283 = 2*d, -f + 43 = -2*d - 4. Let b = -33 + 60. Let x = f - b. Is 14 a factor of x?
True
Suppose 3*z + 160 = 5*z. Let x be (0 + z)*(-4)/(-8). Let v = -9 + x. Does 14 divide v?
False
Let r be 2/5 - (-12)/(-5). Let j be (2/4 + 0)*(-4)/(-1). Is 24 a factor of 1/(j/r)*-60?
False
Suppose y = -3*y. Suppose -3*g + 0*j + 16 = -5*j, y = 3*j + 6. Suppose -3*n + 4 = 4*s, -g*s + n = -2*n - 20. Is s a multiple of 3?
False
Suppose -52 = -o - 2*b, -8*o - b + 173 = -4*o. Suppose -18 = -2*g + o. Does 9 divide g?
False
Let r = -27 - -18. Let u = r + 20. Let y = -8 + u. Is 2 a factor of y?
False
Suppose -3*c = 2*c - 2*r - 532, -3*r = c - 120. Does 18 divide c?
True
Suppose 128 - 8 = 3*d. Is 10 a factor of d?
True
Suppose -111 = -3*s + 3*h, s + h + 79 = 3*s. Does 18 divide s?
False
Let c(a) be the second derivative of a + 0 - 5/6*a**3 - 4*a**2 + 1/6*a**4. Is c(6) a multiple of 15?
False
Suppose -w + 47 = w - 5*a, 6 = -2*a. Does 16 divide w?
True
Suppose -26 = -5*w - 4*v, 4*v - 16 = -0*v. Suppose -w*d - 2*d = -44. Is d a multiple of 4?
False
Let k be ((-1)/3)/((-3)/18). Suppose -f - f - 42 = -2*s, 0 = -2*f + k. Is 11 a factor of s?
True
Let c = 3 - -11. Is c a multiple of 7?
True
Let p be (-45)/6*(-4)/6. Let d be p + (-2 - -3)*-1. Suppose d*m = -0*m + 88. Is m a multiple of 11?
True
Let p be 5/((-5)/(-92)) + 0. Suppose -p = 2*x + 96. Let c = -65 - x. Is c a multiple of 10?
False
Suppose -u - 248 = -3*u. Is u/12 + 2/3 a multiple of 6?
False
Suppose -r = -6*r + 15. Is r*6*6/9 a multiple of 5?
False
Is 11 a factor of (250/5)/(2 - 0)?
False
Suppose -368 = 4*u - 12*u. Is u a multiple of 4?
False
Let v(t) = 9*t + 11. Does 14 divide v(5)?
True
Suppose 24 = 4*s + 2*v - 0*v, s - 24 = -5*v. Suppose 3 = -s*q - 1, -95 = -4*d + 3*q. Is 9 a factor of d?
False
Suppose -4*s + 60 = -2*s. Suppose s = j + 2*j. Is j a multiple of 6?
False
Let v(z) = z**2 - 11*z - 31. Does 5 divide v(15)?
False
Suppose 3*q + 45 = 69. Is 4 a factor of q?
True
Let g(q) = -21*q. Does 13 divide g(-3)?
False
Suppose 4*f = -4*j + 124, 0*j + j = f + 33. Let h = j - 14. Does 7 divide h - -1 - 1 - 0?
False
Suppose 3*u + 3 - 5 = -w, -u = 2*w - 29. Is w even?
False
Let o(t) = -t + 2. Is 4 a factor of o(-8)?
False
Let v = -105 + 114. Is v even?
False
Let j(r) = -r**3 + 4*r**2 - r - 2. Let l be j(3). Let i(g) = 6*g + 5 - 2 - l. Is 9 a factor of i(2)?
False
Suppose -2*t = -t - 142. Is t/5 + (-3)/(-5) a multiple of 12?
False
Let x(o) = -o**3 + 4*o**2 + 2. Let l be x(4). Let b(v) = -2*v + 2. Let t be b(l). Is 14 a factor of 14/3*(t - -5)?
True
Suppose 2*k = -35 - 37. Let u(d) = 4*d**2 + 2*d - 5. Let t be u(-4). Let z = k + t. Is 4 a factor of z?
False
Suppose 3*j - 2 = 10. Suppose -45 = -5*y - 5*r, 2*r + j = -2*r. Does 5 divide y?
True
Suppose -27*p = -25*p - 90. Is p a multiple of 9?
True
Let z = -14 - -27. Is z a multiple of 6?
False
Let t(q) = -4*q - 24. Let f(l) = l + 5. Let r(u) = -14*f(u) - 3*t(u). Let x be (-2)/4*1*14. Is r(x) a multiple of 8?
True
Let k(o