tiple of 3?
True
Let a = 15 + -7. Suppose 2*k + a = -2*k. Is 7 a factor of k/6 + 22/3?
True
Let b(t) = 18*t**3 + 2 + 0*t**2 - t**2 - 1. Let w be b(2). Suppose 3*s = 9, 3*g + 4*s - 2*s - w = 0. Does 14 divide g?
False
Let p be ((-1)/(-2))/(1/(-72)). Suppose -3*q + 8*q - 260 = 0. Let i = q + p. Does 16 divide i?
True
Let s be 6 + -10 - (-48)/(-1). Let x = s + 96. Does 39 divide x?
False
Suppose 5*h - 450 = -0*h. Let m = h + -55. Let q = -24 + m. Is 11 a factor of q?
True
Suppose -4*l + 3*z + 508 = 0, 4*z = 2*l - 37 - 207. Is l a multiple of 10?
True
Let w(s) be the second derivative of 5*s**3/6 - 17*s**2/2 - 2*s. Let p(n) = 3*n - 8. Let h(c) = 9*p(c) - 4*w(c). Is 12 a factor of h(4)?
True
Let n(l) = -6*l**3 - l + 1. Let q be n(1). Let k be -4 + (0 - -1 - 0). Is (14/k)/(2/q) a multiple of 14?
True
Let k = -18 - -28. Suppose 0*h = -2*h + k. Suppose -168 = -4*j - 4*l, -6*j + j + h*l = -200. Is 17 a factor of j?
False
Let x(y) = -y**3 + 8*y**2 - 9*y + 5. Let c be x(7). Let f = c + 25. Is 8 a factor of f?
True
Let w be (-428)/18 - (-20)/(-90). Let r = w + 53. Is r a multiple of 5?
False
Let c(u) = u**3 + 5*u**2 - 3*u - 13. Let m(h) = -2*h**2 + h + 4. Let a(f) = 2*c(f) + 7*m(f). Does 15 divide a(3)?
False
Let u = -2474 + 1614. Does 18 divide (-1)/(-6) + u/(-24)?
True
Suppose 29 + 286 = 5*u. Is 9 a factor of u?
True
Let q(j) = -6*j - 8. Let h be (-6)/(-8) + 2/8. Let d(s) = s - 1. Let i(g) = h*q(g) - 4*d(g). Is i(-3) a multiple of 13?
True
Let k(y) be the second derivative of 5*y**3/6 - 3*y**2/2 + 7*y. Does 5 divide k(6)?
False
Let f(l) = l**2 + l - 2. Let p(b) = 2*b**2 + 2*b - 2. Let k(v) = -4*f(v) + 3*p(v). Does 16 divide k(3)?
False
Let c = 8 - -77. Is c a multiple of 17?
True
Suppose -3*j = 2*r + 2 + 3, -45 = -4*r + 5*j. Suppose -7 + 82 = r*z. Is z a multiple of 4?
False
Suppose -3*y - 2*y + 20 = 0. Suppose 28 = y*z - 0. Is 2 a factor of z?
False
Is (-1)/2 + 110/4 a multiple of 11?
False
Let p be (-5)/((-45)/(-42))*6. Let x be (-552)/p + 4/14. Let t = x - -3. Does 10 divide t?
False
Suppose 3*g - 4*g - 9 = 3*j, 2*j + 6 = 3*g. Let f be (2 - g - 2)*-1. Suppose w + 0*w - 18 = f. Is 18 a factor of w?
True
Suppose 0 = -3*t + 4*t + 2*j, -2*t - 2*j + 2 = 0. Is 2 a factor of t?
True
Is 28 a factor of ((-12)/(-7))/((-2)/(-91))?
False
Let w be 14/63 + (-4)/18. Suppose -7 = -r - 0*r + 2*u, 4*u + 9 = r. Let m = w + r. Does 2 divide m?
False
Suppose 3*b = -3*o + 117, 3*o + 3*b - 125 = 4*b. Does 6 divide o?
False
Suppose 0 = 2*n + 3*m - 165, n + 7*m - 3*m - 85 = 0. Is n a multiple of 27?
True
Let i(u) = -u**3 + 6*u**2 - 5*u. Let t be i(5). Suppose q + 0*q = 2, -a + 3*q + 11 = t. Suppose -3*k + o + a = 0, k + 2*k - 16 = 2*o. Does 3 divide k?
True
Let s = 54 + -3. Does 20 divide s?
False
Let l(n) = n**2 + 3*n - 5. Suppose 7 + 5 = -3*b. Let r be l(b). Is 2 + r + 1*21 a multiple of 8?
False
Let b = 35 + -24. Suppose b*v - 69 = 8*v. Is 15 a factor of v?
False
Let r = 6 + -4. Suppose 3*k - 10 = -r*k. Suppose 174 = k*f + f. Does 27 divide f?
False
Let x(p) = -p**3 - 4*p**2 + 6*p + 9. Let d be x(-5). Let s(b) = 15*b - 11. Let k(m) = 5*m - 4. Let f(o) = -17*k(o) + 6*s(o). Is f(d) a multiple of 7?
False
Let x = 116 - 64. Is x a multiple of 24?
False
Suppose 4*m = 5 + 3. Let q(h) = 3*h**2. Is q(m) a multiple of 12?
True
Suppose 4*l - l + 4*o - 16 = 0, -2*l + 2*o + 6 = 0. Suppose 3*z + 2*z + 3*y - 255 = 0, 0 = l*y - 20. Is z a multiple of 15?
False
Suppose 4*a + 3*g = -g + 500, 5*a - 628 = -2*g. Does 14 divide a?
True
Let o = 95 + -50. Does 9 divide o?
True
Let n(i) be the third derivative of -5*i**4/8 + 25*i**3/6 - 3*i**2. Let u(r) = -5*r + 8. Let l(q) = 2*n(q) - 7*u(q). Is 19 a factor of l(7)?
False
Let z(d) = d**3 + 17*d**2 + 25*d + 9. Is z(-15) a multiple of 14?
True
Let y(n) = -5*n**3 + n**2 - 3*n - 2. Is y(-2) a multiple of 24?
True
Is ((-235)/10)/((-5)/4 + 1) a multiple of 9?
False
Let p = -10 + 7. Is 11 a factor of 22/1*(-3)/p?
True
Let b(y) = y**2 - 17*y + 8. Let g(q) = -q**2 + 16*q - 8. Let o(h) = 4*b(h) + 5*g(h). Is 13 a factor of o(9)?
False
Let q be 18/((6/3)/1). Suppose 4*m = 5*y + 29, -5*y - 22 = 2*m + 1. Let t = q - m. Does 5 divide t?
False
Suppose 3*v + 467 = 4*j, 2*v - 4*v = 2*j - 230. Does 12 divide j?
False
Let t(a) = a**3 - 8*a**2 + 3*a + 3. Let b be t(7). Let n = b - -54. Is 11 a factor of n?
False
Let f(h) = h**2 + 3*h - 4. Is f(4) a multiple of 8?
True
Let p = -295 - -559. Is p a multiple of 13?
False
Let v = 0 - -2. Let k be (v - (-10)/(-4))*-4. Suppose -4 - 4 = -w + r, -4*r = -k*w + 26. Is 3 a factor of w?
True
Let u(b) be the first derivative of -3*b**2/2 + 5*b - 1. Is 11 a factor of u(-5)?
False
Suppose -1224 - 336 = -10*k. Is k a multiple of 12?
True
Let q(x) = -3*x + 21. Is 14 a factor of q(-9)?
False
Suppose 0 = -4*a + 10 + 182. Is a a multiple of 12?
True
Suppose 4*v + 5 = 21. Suppose 5 + v = 3*u. Is u a multiple of 3?
True
Let t = -33 - -50. Let l = 59 - t. Is l a multiple of 14?
True
Is 11 - 1/(36/(-8) - -4) a multiple of 6?
False
Let s = 9 + -4. Suppose -3*q = s*c - 50, -c - q + 5*q = 13. Is c a multiple of 5?
False
Let o = -7 - -7. Does 11 divide 34 - (o - (-2 + 4))?
False
Let g = 3 - 13. Let d be -3 - -1 - g/1. Let a = d + 8. Is a a multiple of 16?
True
Suppose 0*h = -4*a - h + 13, -2*a + 5*h = -1. Suppose -6*c = -a*c - 4*m - 70, 2*c - 2*m - 44 = 0. Does 7 divide c?
False
Let y = -77 + 158. Is y a multiple of 8?
False
Let y = 376 - 112. Is 11 a factor of y?
True
Suppose -2*k - k - 5*j = -4, -3*k + 8 = 4*j. Does 2 divide k?
True
Let r = 132 - 100. Is r a multiple of 32?
True
Let s(d) = d - 3. Let p(v) = 4. Let k = 17 - 24. Let i(a) = k*s(a) - 6*p(a). Does 9 divide i(-3)?
True
Let j(m) = 5*m**2 - 1. Suppose s + 2*s = 3. Does 2 divide j(s)?
True
Suppose -18*o - 72 = -22*o. Is 17 a factor of o?
False
Suppose -13*g = -11*g - 50. Is 8 a factor of g?
False
Let c = -42 + 81. Does 13 divide c?
True
Suppose -55 = 5*s - 5*r, -4*s + 3*r - 2 = 39. Let g = 15 + s. Suppose y - 5*i + g = 0, 31 = 5*y - 5*i + 6. Does 4 divide y?
True
Let p(h) = h**3 + 8. Let r be p(0). Suppose r*y = 3*y + 80. Suppose 3*d = 35 + y. Does 9 divide d?
False
Let q = -11 + 56. Suppose -12 + q = 3*a. Is 10 a factor of a?
False
Let i = 1 + -2. Let y be (-32)/(-6) - i/(-3). Suppose -6*w = y*l - w - 35, l = 4*w - 13. Is 3 a factor of l?
True
Let z(p) = -5 - 2*p + 0 + 1. Let b be z(-3). Suppose -10 - 8 = -b*q. Does 4 divide q?
False
Let a be -2 + 15 + -3 + 1. Let w = a + -5. Is 39/w + 2/4 a multiple of 3?
False
Let c = -159 + 224. Suppose -3*l = -n - c, -4*l + 2*n + 85 = n. Is 13 a factor of l?
False
Suppose 0 = -s + 7 + 58. Does 9 divide s?
False
Let x = -92 - -184. Suppose 6 = 7*o - x. Is 7 a factor of o?
True
Let w be (2 - (-6)/(-4))*0. Let q = w - -5. Is 249/15 - (-2)/q a multiple of 8?
False
Let c be (0 - 0)/(-3) + 19. Suppose -5*b = -2*d + c, 5*d + 4*b + 0*b - 31 = 0. Is d a multiple of 3?
False
Let t = 117 - 67. Suppose -3*j + j + 44 = -2*u, -4*u = -2*j + t. Let o = 39 - j. Is 11 a factor of o?
False
Suppose y = -19 + 55. Suppose t + t - y = 0. Is t a multiple of 12?
False
Suppose 2 = -2*t + 6. Suppose -4*o + 2*o + 8 = -2*b, -t*o + 13 = -b. Is o a multiple of 3?
True
Suppose 0 = p - 4*y + 17, 4*p + 2 = 3*y - 1. Suppose -3*m + 5*d = -46, -m + p*d - 18 = -3*m. Is m a multiple of 6?
True
Suppose 2*s + 156 = 5*s. Let a = s + -36. Is 16 a factor of a?
True
Let o(l) = -l - 3 + 2*l - 2*l + 18. Is o(0) a multiple of 11?
False
Suppose 0*q - 295 = -5*q. Suppose -4*d = -5*r + 118, 0 = 2*r - 3*d - q + 16. Is 6 a factor of r?
False
Let f(w) = 15*w + 27. Is 18 a factor of f(9)?
True
Suppose 0 = -4*x + 2*x + 2. Is x - 3 - 44/(-2) a multiple of 12?
False
Let d(l) be the third derivative of l**4/6 + 4*l**3/3 + l**2. Is 16 a factor of d(10)?
True
Is (12/24)/(1/54) a multiple of 18?
False
Suppose 0 = -5*g - 0*g + 40. Suppose g = 3*d - 55. Is 7 a factor of d?
True
Let w = 42 + -22. Is 19 a factor of w?
False
Let v(t) = t. Let i be v(4). Suppose -2*x = i*g + 2 + 6, 0 = -2*g + 3*x - 12. Is 11 a factor of (g/6 - -1)*52?
False
Suppose 4*t + 14 - 210 = 0. Let a = -3 + t. Is a a multiple of 23?
True
Let p(s) = 165*s + 1. Does 29 divide p(1)?
False
Let i be ((-24)/20)/((-3)/(-10)). Let h = -2 - i. Suppose -3*w = 2*o - 28, 3*w - h*o - 32 = -0*w. Is w a multiple of 10?
True
Suppose 0*a - 5*a = -20. 