 divide k(s)?
True
Does 27 divide 1/(-4)*(-117 - -1)?
False
Let v(r) = 3*r**3 - 3*r**2 - r + 2. Does 2 divide v(2)?
True
Let q = -4 - -57. Is q a multiple of 14?
False
Suppose 5*d = -4*f + 24 + 1, -d + 5 = 5*f. Suppose f = t - 5*t + 264. Suppose 4*o + 0*o + 24 = c, -2*c = o - t. Is 16 a factor of c?
True
Suppose 38 = -3*r + 5*r. Is r a multiple of 14?
False
Suppose 16 = 5*b - 3*b. Suppose h - 5 = 0, -n = b*h - 3*h - 57. Is n a multiple of 17?
False
Suppose 5*w = -5, 0 = 3*i - i - 5*w - 307. Let f = -31 + i. Suppose f + 15 = 5*g. Does 9 divide g?
True
Suppose -y + 2*g + 40 = 5*g, 0 = -4*y + 5*g + 109. Let m(t) = 2 - 2*t**2 + y*t**3 + 5*t**3 - 1. Is m(1) a multiple of 14?
False
Let g(w) = -w**3 - 6*w**2 - 5*w + 6. Let m be g(-5). Suppose -m*a + a = -120. Suppose -s - 4*u - 56 = -5*s, s - a = -4*u. Does 9 divide s?
False
Does 26 divide (-7796)/(-30) - 42/(-315)?
True
Let q(r) = -7*r + 15. Let x(t) = -22*t + 46. Let l(d) = -7*q(d) + 2*x(d). Is 27 a factor of l(8)?
True
Suppose k - 88 = -3*k. Is k a multiple of 4?
False
Suppose 4*k + 5*a = 411, k + a - 207 = -k. Does 13 divide k?
True
Let m be ((-8)/(-14))/(6/21). Does 14 divide m/9 - (-914)/18?
False
Suppose 0 = -2*i + 38 + 12. Suppose 2*w - w = i. Is 11 a factor of w?
False
Suppose k - 3*h = 87, -k + 3*h - 489 = -6*k. Is k a multiple of 19?
False
Let z(t) = t**2 - 17. Does 15 divide z(7)?
False
Let b(a) = 14*a**2 - 2*a - 4. Let c be b(-2). Is c/(-12)*-3 - 1 a multiple of 13?
True
Let r(t) = -3*t**3 - 2*t**2 + 1. Let o be r(-1). Suppose -o*y + 66 = y. Does 16 divide y?
False
Let r = -15 - -75. Let z be (-20)/6*r/25. Is z/20 + (-64)/(-10) a multiple of 5?
False
Let m be (-4)/14 + 111/21. Let w(t) = 2*t + 1. Does 4 divide w(m)?
False
Let y = 8 - -15. Let n = y - 4. Is 6 a factor of n?
False
Let z(f) = 23*f + 10. Is z(7) a multiple of 12?
False
Let y be ((-4)/6)/((-4)/30). Suppose 0 = y*x - 3*v - 18, -2*x - 2*x - v + 11 = 0. Suppose -36 = -2*k + 4*q, -x*q - q = -16. Is k a multiple of 10?
False
Suppose 4*t - 12 = t. Suppose 0 = -c + 15 - t. Does 11 divide c?
True
Let w be (7 + -1)/((-3)/(-9)). Suppose x = -6*u + u + 66, -41 = -3*u - 2*x. Let b = w - u. Does 5 divide b?
True
Let j be 6*(1 - (-3)/(-2)). Let c(g) = g**2 - 3*g - 1. Does 15 divide c(j)?
False
Suppose -11*l + 1728 = -7*l. Suppose -5*d - l = -9*d. Is 23 a factor of d?
False
Let i = -13 + 35. Is 5 a factor of i?
False
Let r(w) = w**2 + w + 3. Let m be r(0). Suppose 4*a + 2*o = 262, -4*a + m*o + 143 = -114. Suppose -5 = 2*v - a. Is v a multiple of 15?
True
Let a(q) = -5*q**3 + 9*q**2 - 1. Let h(z) = z**3 - z**2 - z. Let j(x) = -a(x) - 4*h(x). Let y be j(3). Let f = y - -10. Does 2 divide f?
False
Suppose w - d = 6, 2*w - d + 1 - 9 = 0. Suppose u = -w*u + 9. Is 13 a factor of 110/4 + u/(-6)?
False
Suppose h - 240 = -h. Is 15 a factor of h?
True
Let o be ((-72)/(-21))/4*182. Suppose 0*w = -3*w - l + o, -w + l = -48. Is w a multiple of 17?
True
Suppose -r = 2*r - 69. Suppose r = 2*v - v. Is v a multiple of 6?
False
Is 9 a factor of (3 - 0)/(3/26)?
False
Let b(m) = m**2 - 11*m + 26. Is 13 a factor of b(12)?
False
Is 22 a factor of (44/(-24)*-8)/((-3)/(-9))?
True
Does 11 divide (-39*(-2)/(-9))/(2/(-66))?
True
Suppose 0 = -5*d, 0 = -2*q - 0*d - 2*d. Suppose -5*o - 44 = -q*p - p, -2*p - 4*o = -60. Is p a multiple of 17?
True
Is (-5 + 80)/(6/4) a multiple of 10?
True
Suppose -4*s + 235 = -3*p + 56, -5*s + 3*p + 223 = 0. Is 11 a factor of s?
True
Suppose 79 - 82 = -c. Is c even?
False
Let w be (3 + -8)*(-96)/10. Let i = w + -32. Is 8 a factor of i?
True
Let l = -6 + 18. Is l a multiple of 6?
True
Suppose -5*j + 9 + 391 = 0. Is 5 a factor of j?
True
Suppose 2*j + 3*c = 426, -3*c - 20 = 2*c. Does 24 divide j?
False
Let g(r) = -4*r**3 + 5*r + 6. Is 5 a factor of g(-2)?
False
Is -2 + 4 + (-464 + 2)/(-3) a multiple of 26?
True
Let f be 20/(-8)*12/(-10). Suppose -5*c = -x + 18, 0*x - 3*c = 2*x + f. Suppose 0 = 5*j + x*i - 125, -46 - 61 = -4*j - i. Does 14 divide j?
True
Suppose 40 = 3*x - 50. Let m = 9 + -9. Let c = m + x. Is 15 a factor of c?
True
Is 33 + (-2 - -3)*-1 a multiple of 8?
True
Suppose -z - 2*q = 21, z = -2*z + 3*q - 108. Let h = 55 + z. Is h a multiple of 9?
False
Let p = 7 + -11. Let o = 2 - p. Does 4 divide (36/(-10))/(o/(-15))?
False
Suppose -10*c = -15*c - 10. Is 13 a factor of (-6)/(-9)*33 + c?
False
Let b(l) = l + 72. Is 8 a factor of b(0)?
True
Is 7 a factor of (-2)/10 + -4*2947/(-140)?
True
Suppose -241 = -2*q - 15. Is 36 a factor of q?
False
Let h(g) = g**2 + 8*g - 5. Let n be (-6)/(-2 + 5) - -35. Suppose 4*w + d + 44 = 0, 2*d - 5*d = -3*w - n. Does 12 divide h(w)?
False
Suppose -k + y = -6, 4*y + 19 = k + 4. Suppose -5*i + 11 + 125 = k*j, -4*i = 2*j - 108. Does 13 divide i?
True
Suppose 4*g + g - 475 = 0. Is g a multiple of 19?
True
Let h(u) = 3*u**2 - 1. Let x be h(1). Suppose 0 = -x*o + 20 + 56. Suppose -4*p + 3*p = 5*b - o, 3*b - 12 = 0. Is p a multiple of 15?
False
Suppose 0 = -3*k + 147 + 21. Does 28 divide k?
True
Let w = -57 + 90. Suppose -3*v = 5*n - w, 5*n - v - 49 = -0*n. Does 6 divide ((-60)/n)/((-2)/3)?
False
Let c = 2 + 4. Suppose 19 = 3*t + 4*b, 2*t - c = 4*b - 0. Does 5 divide t?
True
Suppose -2*z = -0*z. Let a be 8 + -3 + 1 + z. Suppose -a*l - 4*u = -l - 135, -180 = -5*l + 5*u. Is 12 a factor of l?
False
Let d(g) = -4*g - 5. Let y be (6/(-9))/(2/12). Is 11 a factor of d(y)?
True
Let d be (-4)/((-3)/(15/2)). Let b = -6 + d. Suppose b*i - 61 = -z, z + 3 = -0*z. Is i a multiple of 6?
False
Let c(r) = -r**2 - 10*r - 10. Is c(-8) a multiple of 6?
True
Let x = 1 - 0. Let m be ((-23)/2)/(x/(-2)). Suppose 5*b - m - 52 = 0. Is b a multiple of 12?
False
Let j = -5 + 34. Let n = 46 - j. Is n a multiple of 17?
True
Let w(k) = -k**2 - 5*k - 3. Let m be w(-2). Let n be (-1)/2 - 10/(-4). Suppose n*l - m*l + 26 = 0. Is 12 a factor of l?
False
Suppose -3*l + 115 = 5*b, 0 = 3*b - 3*l - 24 - 21. Is (138/(-15))/((-4)/b) a multiple of 12?
False
Suppose 5*u = 7 + 63. Let j = u - 7. Let w = 41 - j. Does 17 divide w?
True
Suppose 2*r + 3*r - 30 = 0. Let y be (r/15)/(1/790). Is (-2)/3 - y/(-6) a multiple of 21?
False
Let n = -46 - 20. Let h = n - -112. Is 15 a factor of h?
False
Let s(q) = 3*q - 3. Let y be s(3). Suppose 0*u + u - y = -2*o, -2*o = -3*u + 10. Is 4 a factor of -1*(o + (-7 - 2))?
True
Suppose 2*v = 5*t - 134 - 213, -3*v + 12 = 0. Is t a multiple of 11?
False
Suppose 0 = z - 3*s - 55 - 69, -4*s = -4*z + 528. Is 17 a factor of z?
True
Let b(a) = a - 9. Let j be b(7). Suppose -2*i = -0*i - 704. Is 7 a factor of j/3 + i/24?
True
Let a = -186 - -354. Is a a multiple of 24?
True
Let x be ((-9)/(-12))/((-2)/8). Does 14 divide (0 - 3)/x + 27?
True
Is (-14 + -1)*32/(-24) a multiple of 10?
True
Let t be 7*(1 + 0 - 2). Let r = t + 7. Suppose -4 = -2*m - 0*m, -d - 3*m + 45 = r. Is 13 a factor of d?
True
Let w(m) = 4*m + 0*m + 1 + m**3 - 7*m**2 + 1. Let k be w(5). Let a = -12 - k. Is a a multiple of 16?
True
Let m = 317 + -44. Suppose -15 = -2*f + m. Suppose 2*o = -2*o + f. Is 12 a factor of o?
True
Suppose 17 = 3*a - 1. Let s = -2 + a. Suppose 0 = 3*l + 2*q - 41, -s*l + 2*q + 36 = -14. Is 13 a factor of l?
True
Suppose -59 = -4*y - q, -y + 4*q = -2*y + 26. Is 13 a factor of (-166)/(-7) - (-4)/y?
False
Let q = 31 - -1. Does 11 divide q?
False
Does 4 divide -2*(-3)/4 - 539/(-22)?
False
Let a be 2 - (1 - (1 - -1)). Suppose 0 = -u - a*u + 8. Suppose u*s - 7*s + 110 = 0. Is s a multiple of 11?
True
Does 22 divide 3/12 + (-287)/(-4)?
False
Let x = -7 - -10. Suppose -3*y = o - 35, x*y + 3*o = 12 + 27. Is y a multiple of 3?
False
Suppose -14 = -0*z + z. Does 5 divide 38*(-3 - z/4)?
False
Let x(n) = -n - 7*n**2 + 1 + 13*n**2 + 5*n**2 + 1. Is 16 a factor of x(-2)?
True
Let c = 11 - 6. Suppose 4*t + 12 = 0, 0*t = -c*p - 2*t + 204. Does 13 divide p?
False
Suppose 2*o - 200 = 84. Is o a multiple of 22?
False
Let f be (3/6)/(2/(-408)). Is 9 a factor of f/8*32/(-12)?
False
Let k(a) = -a**3 + 2*a**2 + 9*a - 3. Is 5 a factor of k(-3)?
True
Let g be 2 + -1 - (-4 + 2). Suppose -g*a + a = -18. Does 14 divide 1/(a/84)*3?
True
Let l(b) = -b + 8. Let r be l(8). Let o(a) = a**2 + 12. Is o(r) a multiple of 6?
True
Let i be (-36)/(-6)*2/6. Let w(o) = 4*o**2 + o + 1. Let c be w(i). Is (0 + -2 + c)*3 a multiple of 18?
False
Let q(i) = -i - 10. Let w be q(-7). Let