+ u. Does 5 divide (0 - 2)*14/h?
False
Let c(o) = 9 + 4*o - 3*o - 2*o. Is c(-8) a multiple of 5?
False
Let b(t) = 0 + 5 - 12*t - 1. Does 17 divide b(-3)?
False
Let n = -14 + 13. Is 32 + -3 - 4/n a multiple of 12?
False
Suppose -132 = -25*i + 22*i. Is i a multiple of 11?
True
Suppose 16 = 4*k - 0. Suppose 0 = -2*w + 6*w, 5*w = -4*o + 148. Let i = o - k. Does 15 divide i?
False
Let h(v) = v**3 + 0*v - v + 2*v**2 + 6*v**3. Does 4 divide h(1)?
True
Let b = 6 - -59. Does 13 divide b?
True
Suppose 0 = 4*j + 2 - 42. Is j a multiple of 5?
True
Suppose -4*x = -9*x + 45. Is x a multiple of 9?
True
Let b(j) = -j**2 + 8*j - 6. Let x be b(6). Let g = x + -4. Does 4 divide 4 + g + (-2 - 0)?
True
Let k = 426 - 216. Is k a multiple of 30?
True
Let i(x) = 7*x + 1. Let b(l) = 8*l + 1. Let o(j) = 5*b(j) - 6*i(j). Does 3 divide o(-3)?
False
Suppose 3*c - 78 = 3*g + 18, -3*c + 104 = -5*g. Is 4 a factor of c?
True
Is ((-1)/(-2))/((-1701)/(-340) + -5) a multiple of 34?
True
Let q be 1179/54 - 2/(-12). Let z = q + -12. Is z a multiple of 10?
True
Let g = -11 - -9. Let m be 1/(g*(-2)/4). Is 13 - (0 + -2)/m a multiple of 7?
False
Let h(m) = -m**2 + 2*m**3 + 14*m**2 - 11*m + 12 - 3*m**3. Let x be h(12). Let j = x - 13. Is j a multiple of 4?
False
Let t(p) = -p**2 + 10*p + 14. Let z be t(11). Suppose 2*o - 94 = -5*x, 4*x + x + z*o - 91 = 0. Is x a multiple of 5?
True
Suppose 4*y = -y + 40. Let n = 26 - y. Does 6 divide n?
True
Suppose -3*b = 15, 0*d + 116 = d - 4*b. Is 24 a factor of d?
True
Suppose -3*x + 45 = 2*x. Suppose -n = 2*n - x. Suppose 0 = 2*k - 5*k - 2*q + 73, -5*k + n*q + 128 = 0. Does 15 divide k?
False
Suppose -4*f - f = 0. Suppose -5*l - 2*m - m + 33 = f, l + 4*m + 7 = 0. Let d(q) = 2*q - 7. Is d(l) a multiple of 5?
False
Let x(i) = -i - 3. Let v be x(-6). Suppose -v*w = -4*w - 2. Does 6 divide -2*(w/1 + -5)?
False
Let d(x) = -2*x - 1. Let o be d(1). Let j = o - -8. Is 17 a factor of 2/(-5) + 192/j?
False
Suppose 0*t + 8 = 4*t. Let r(z) = z**2 - 3*z - 4 + 0*z**t - 6 + 4. Is r(-5) a multiple of 18?
False
Let o = -23 + 57. Suppose 0 - o = -2*b. Does 11 divide b?
False
Let a(l) = -3*l - 10. Let g be a(-4). Is 21 a factor of (-33)/22 + 129/g?
True
Let l = 284 + -114. Is l a multiple of 34?
True
Let k = -19 - -39. Is -9*(-2 - k/6) a multiple of 16?
True
Suppose 3*j = 5*j - 22. Does 5 divide j?
False
Suppose 6*d - 127 = 17. Does 6 divide d?
True
Let i(c) = c**3 + 7*c**2 + 6*c + 2. Let r be i(-6). Does 17 divide r/6 - 404/(-12)?
True
Let b = -5 + 3. Does 6 divide 1/(b/(-7))*6?
False
Let j(h) = -h**2 - 25*h - 23. Let a be j(-16). Let p = -53 + a. Does 17 divide p?
True
Let p = -7 - -19. Let c(a) = -p*a + 22*a + 14*a. Is 11 a factor of c(1)?
False
Suppose -5*c - 10 = -i + 16, 4*c = -16. Let g(k) = -k**3 + 6*k**2 + 2*k - 8. Is 4 a factor of g(i)?
True
Let u(k) = -k**2 + 10*k + 6. Let w be u(9). Suppose 4*g - 1 = w. Is g a multiple of 4?
True
Let z(k) = -5*k**2 + 4*k + 3. Let w be z(-2). Is (w/20)/((-1)/8) a multiple of 5?
True
Let g = -15 + 63. Is 16 a factor of g?
True
Let l = -18 - -42. Is 11 a factor of l?
False
Suppose -7*o = -4*o. Let p(r) = -3*r - 15. Let b(g) = 16*g + 74. Let h(l) = -2*b(l) - 11*p(l). Is h(o) a multiple of 17?
True
Let s(c) = -236*c. Let t be s(-1). Does 7 divide t/10 + (-6)/10?
False
Suppose j = -0*j - 3, -3*a = 5*j. Suppose 0 = a*r - 3*z - 275, 99 = -4*r + 5*z + 332. Does 23 divide r?
False
Let b(f) = -10*f + 5. Let w be b(-4). Suppose 4*z - 30 - 4 = -2*j, 3*j + 4*z = w. Let o = -7 + j. Does 4 divide o?
True
Suppose 5*d = -4*b + 189, -2*b + 6*b - 149 = 3*d. Suppose 0 = -0*m + m - b. Is m a multiple of 17?
False
Suppose -4*v = 0, -2*t - 5*v + 38 = -0*t. Let h be (1 + -2)*7 - -2. Let a = t + h. Is a a multiple of 9?
False
Let x be 4*(-2)/4*-1. Suppose 0 = x*v - 4*v + 122. Suppose 0 = 5*t - 5*d - v + 6, 35 = 3*t - 2*d. Is t a multiple of 13?
True
Let w = 465 - 332. Is w a multiple of 20?
False
Let b(r) = r**2 - 3*r - 6. Let a be b(5). Suppose -3*p + a*p = 0. Is 6 a factor of 1*(12 + -1 - p)?
False
Let j = -21 + 26. Suppose 0 = 5*q - y - 235 - 114, -5*q = -j*y - 345. Is 14 a factor of q?
True
Let r = -39 - -27. Is 6 a factor of (-212)/r + 1/3?
True
Suppose 2*n + m - 616 = 0, -5*n - 8*m + 3*m = -1530. Is 31 a factor of n?
True
Let c(t) = 2*t - 1. Let n be c(2). Suppose 2*k = -p + 13, 5*p + 4*k = n*k + 38. Does 4 divide (-78)/(-21) + 2/p?
True
Suppose 1 - 11 = -2*p. Let l = p + 0. Is l even?
False
Suppose 0 = 5*g - g - 84. Is g a multiple of 7?
True
Let x(o) be the third derivative of 9*o**5/10 + o**4/12 - o**3/3 + 6*o**2. Does 27 divide x(1)?
True
Let z be (-2)/(-6) - (-438)/(-18). Let d = -9 - z. Does 11 divide d?
False
Let j(l) = -l**3 - 4*l**2 - 2*l + 1. Let x be j(-3). Let c be x + (-2 - (1 - 1)). Let f = 2 - c. Is f a multiple of 3?
True
Let c(x) = -9*x + 2 - x**2 + 4 + 0. Is c(-8) a multiple of 6?
False
Let u(j) = -5 + 4*j**2 + j**3 - 4*j + 3 - 2. Does 6 divide u(-4)?
True
Let i be (15/(-4))/((-4)/32). Suppose -6*r + r + i = 0. Does 5 divide r?
False
Let x(q) = q**3 + 4*q**2 - q - 4. Let s be x(-4). Let w = 4 - s. Does 6 divide w/(-10) - 62/(-5)?
True
Suppose 29*k - 45 = 26*k. Is 4 a factor of k?
False
Let r = 1 + -1. Let d(w) = w**3 - w**2 - 75. Let t be d(r). Let s = t + 105. Does 15 divide s?
True
Is 19 a factor of 87*(1/(-2))/((-8)/16)?
False
Let j(l) = -7*l**3 + 1. Let b be j(-1). Is 2 a factor of b*1 - 0/(-5)?
True
Suppose -c + 7 + 0 = 0. Suppose -c*n = -8*n + 12. Is 10 a factor of n?
False
Does 25 divide (-25)/((-2 + 1)*1)?
True
Let r = 0 + 1. Is 5 a factor of (r - 2)/1 + 12?
False
Suppose -4*k + 8 = 32. Does 2 divide ((-3)/k)/(1/8)?
True
Suppose -q = -0 - 7. Suppose 0 = -6*d + 5*d + 12. Let o = d - q. Is 4 a factor of o?
False
Suppose 9*n - 1405 = 305. Does 19 divide n?
True
Is (-2 - (-84)/8)*6 a multiple of 17?
True
Suppose 9 = -4*c + 29. Suppose -c*k = -6*t + 2*t + 96, 24 = t - 2*k. Does 8 divide t?
True
Suppose -25 = -3*v - 5*h, -3*v = h - 4 - 1. Suppose 3*t + 30 = i, v = -5*i - t - 2*t + 150. Is i a multiple of 10?
True
Let x(r) = 2*r**2 - 3*r + 14. Does 17 divide x(6)?
True
Let v be ((-9)/(-12))/((-2)/(-8)). Suppose v*r + x + 14 = -x, 0 = -2*r - 4*x - 4. Is (-33)/(-9) + (-2)/r a multiple of 2?
True
Let o(x) = -x + 1. Let r(q) = q**2 - 4*q - 6. Let j be r(5). Let n be o(j). Suppose 2*m - 44 = -n*m. Is 3 a factor of m?
False
Suppose i = 738 - 258. Is 22 a factor of (-2)/4*i/(-5)?
False
Let y(q) = 8*q + 8. Does 27 divide y(4)?
False
Suppose 0*h + 8 = h. Let m = h - -28. Does 6 divide m?
True
Let t be (6/8)/(1/12). Let y(l) = l + 2. Let r be y(6). Suppose t = i - r. Is 13 a factor of i?
False
Let s(a) = 38*a**2 + a + 10. Let q(t) = 13*t**2 + 3. Let k(v) = 7*q(v) - 2*s(v). Let m be -1*1*(3 - 4). Is 5 a factor of k(m)?
False
Suppose -2*w - 195 = 4*h - 7*w, 5*h = -5*w - 300. Let l = h - -92. Does 14 divide l?
False
Let g(r) = 4 - r**3 + 5*r - 3*r**2 + 4*r**2 - 3*r. Is g(-3) a multiple of 17?
True
Suppose 0 = 5*q - 4*q - 47. Is 20 a factor of q?
False
Let r = 17 + -5. Is 100/r + 4/6 a multiple of 5?
False
Let u(k) be the second derivative of k**4/3 + k**3/3 + 2*k**2 - 2*k. Is u(-3) a multiple of 17?
True
Let m be 2/(-3) + (-56)/6. Let h = m + 2. Does 13 divide (-3)/12 + (-210)/h?
True
Suppose 4*x - 10 = -x. Suppose -r + 31 = n, x*r + 200 = 5*n + 80. Is 13 a factor of n?
True
Suppose -b + 5 = -19. Does 24 divide b?
True
Suppose 15 = 4*m - 105. Is m a multiple of 15?
True
Let v = 154 - 53. Let a = v - 12. Suppose -2 = -0*x - 2*x, x = 3*d - a. Does 10 divide d?
True
Let f(n) = -n**3 - 2*n + 142. Is 13 a factor of f(0)?
False
Suppose 2*w + 16 = -4*i + 58, -5*w = -i - 138. Let v = w - 13. Is 4 a factor of v?
False
Suppose -3*g - 7 = 4*y, -22 = y - 4*g - 6. Let x be (5/(-3))/(1/(-12)). Let v = x - y. Is 12 a factor of v?
True
Suppose 5*d = 4*k - 113, d + 137 = 5*k - d. Is k a multiple of 4?
False
Suppose -7 = -3*c + 2*u, u + 37 = 5*c + 4*u. Suppose -3*m - 5*b = c, 3*m + 5*b = -m. Does 2 divide m?
False
Let s(z) = -z - 7. Let x be s(-8). Is 5 a factor of x/((-1)/(-8)) - -2?
True
Suppose -4*q + 11 + 9 = 0. Let r = -2 + q. Suppose -76 = -2*a - r*k + 5*k, -2*a + 5*k = -88. Is a a multiple of 11?
False
Let a(z) = -z**3 + 8*z**2. Let t be a(8). Suppose t = -y - 5*d + 58, 2*y = 5*d - 0*d + 41. Does 11 divide y?
True
Is 3/6*6*40 a multiple of 