True
Suppose -826 = j - 8*j. Does 14 divide j?
False
Let x = 86 + -16. Is 21 a factor of x?
False
Is (24/3)/(2 + -1) a multiple of 4?
True
Suppose 216 = 4*s + w, -5*s - w = -62 - 209. Does 14 divide s?
False
Suppose f - 171 = -2*n, 2*f + 429 = 5*n + 6*f. Suppose x + 2*v - 4 - 40 = 0, -v = 2*x - n. Suppose -2*k + 4*j + 0*j = -76, x = k - j. Is k a multiple of 16?
False
Suppose 0 = -f + 2*f. Suppose 3*u - 8*u + 430 = f. Suppose -14 = 4*s - u. Is 8 a factor of s?
False
Is 28 a factor of 2*(15 + -1)*2?
True
Suppose -4*i + 9*i - 180 = 0. Is i a multiple of 6?
True
Let l = 8 - 0. Suppose -3*v = -l*v - 10. Does 12 divide v*((-174)/(-4))/(-3)?
False
Is 57099/273 + 4/(-26) a multiple of 19?
True
Let x(g) = -20*g + 10. Let o be x(-8). Suppose -2*k + 78 = 2*b, 3*b - 4*k - o = -60. Suppose -3*p + 172 = l, 3*p = 3*l + 154 + b. Is p a multiple of 27?
False
Let s(j) = -2*j - 4. Let q be s(-4). Suppose 4*h = -3*l - q + 46, 3*l + 2*h = 48. Is l a multiple of 10?
False
Suppose -3*z = -11 - 4. Is z a multiple of 5?
True
Let u = 60 - 43. Is 5 a factor of u?
False
Suppose -j = -t - 3*t + 10, 5*j + 2*t - 16 = 0. Is 24 a factor of j/5 + (-354)/(-15)?
True
Suppose 3*j + 13 = 76. Let f = 29 - j. Is 3 a factor of f?
False
Suppose -2 = -r - 0*r. Suppose -z - 1 = -r*t, 3*t = -2*t. Let a = z - -37. Is a a multiple of 14?
False
Suppose 5*b = 2*c + 984, -402 = -10*b + 8*b - 2*c. Does 11 divide b?
True
Is 6 a factor of 1 - 1 - (-1 + -41)?
True
Suppose 4*s - 92 = 12. Let y = s - 16. Does 5 divide y?
True
Let l(s) = -s**2 + 13*s + 9. Let u be ((-32)/10)/(4/(-40)). Suppose -4*n + 4*b + u = 0, 2*n + 3*b = -b + 40. Is 15 a factor of l(n)?
False
Let a(g) = 20*g**2 + g. Does 10 divide a(1)?
False
Let n(o) = -o**2 + o + 4. Suppose 13 + 3 = 4*f. Let y be n(f). Is (15/(-2))/(6/y) a multiple of 5?
True
Let t be (-1010)/(-26) - 12/(-78). Is (t/12)/((-2)/(-8)) a multiple of 4?
False
Let l be (-56)/(-10) - 21/35. Let v = l + -1. Is 2 a factor of v?
True
Let b(y) be the third derivative of y**5/60 - 11*y**4/24 + 10*y**3/3 - y**2. Does 3 divide b(10)?
False
Let p(f) = f**3 - 4*f**2 - 7*f + 17. Is 23 a factor of p(7)?
True
Let u be (-1)/3 + (-48)/(-9). Suppose 0 = 4*l - u*q - 119, 0 = -3*l + 2*l - 2*q + 20. Does 13 divide l?
True
Let l = 318 - 165. Is l a multiple of 9?
True
Suppose -d - 302 = -5*h, 7*h = 9*h + d - 118. Is 4 a factor of h?
True
Let p = -2 + -1. Is 4 a factor of (1/p)/((-5)/135)?
False
Suppose 29*h = 31*h - 242. Does 11 divide h?
True
Suppose -24*f = -15*f - 585. Is 11 a factor of f?
False
Let h = 22 + -4. Is h a multiple of 3?
True
Let a(s) = s**3 + 7*s**2 - 10*s - 10. Let k be (-6 - 5) + 0 + 3. Let z be a(k). Is 7 + -5 + z/2 a multiple of 3?
False
Let k = -6 - -11. Suppose k*m = m + 64. Is m a multiple of 8?
True
Let d(l) = 5*l**2 - l - 30. Is d(-6) a multiple of 26?
True
Let v(k) = -k + 9. Suppose 5*x = 2*x + 21. Let r be v(x). Suppose 9 = r*p - 17. Is 13 a factor of p?
True
Suppose 22 = 5*u - 8. Suppose 0 = -u*z + z + 125. Is z a multiple of 13?
False
Suppose -r + 92 = 3*r. Suppose -19 = -2*y + r. Let a = -15 + y. Does 6 divide a?
True
Let o be 4/6 + (-14)/21. Let k = -2 - o. Let y(j) = -2*j**3 + 2*j**2 + 2*j - 2. Does 18 divide y(k)?
True
Let c(t) = t**2 - 1. Let i be c(-2). Suppose -3*u = -5*p - 65, u - 4*p - 92 = -i*u. Is u a multiple of 9?
False
Suppose 3*c + r - 63 = 0, -3*c - r + 2*r = -57. Suppose 0 = -2*l - c + 74. Does 9 divide l?
True
Let i = 74 - -26. Is i a multiple of 50?
True
Let j(o) = o + 2. Let g be j(5). Let b(z) = -z**3 + 8*z**2 - 4*z + 1. Does 11 divide b(g)?
True
Let c be ((-3)/(-2) + -2)*0. Suppose c = 2*o - 4*h - 86, -2*o + 0*h + 50 = 5*h. Does 9 divide o?
False
Suppose -5*m + 234 = -a + 41, 2*a = -6. Suppose r + 3*r - 5*j + 40 = 0, 0 = -r + j - 9. Let b = m + r. Is b a multiple of 18?
False
Let a = -7 + 7. Suppose -5*o + 75 = -a*o. Does 15 divide o?
True
Does 12 divide 36*((-4)/6)/(-1)?
True
Suppose -4*m = 1 - 17. Suppose 4*o - 107 = g, 1 - 88 = -m*o + 5*g. Is o a multiple of 14?
True
Suppose 0 = 10*j - 449 - 381. Is j a multiple of 6?
False
Let s(m) = m**2 + 11. Let f be -3*(-1)/(4 + -3). Suppose -4*t = f*r + 9, 0*r = -3*t + 2*r + 6. Does 4 divide s(t)?
False
Suppose 5*n = 4*n + 2. Suppose 3*p + 3*c - 33 = 0, 0*c = p - c - 15. Suppose 5 + p = n*r - 4*t, -3*t = -r + 8. Is r a multiple of 11?
True
Let h be (-7)/((-7)/102) - 1. Let c = -65 + h. Is 13 a factor of c?
False
Suppose 9 + 9 = -3*s. Let k = s + 14. Is 4 a factor of k?
True
Let n be 46/(-5) + (-4)/(-20). Let h = n - -27. Suppose -j = -4*y + 90 - h, -j = 4. Does 12 divide y?
False
Let x = -131 + 184. Is 14 a factor of x?
False
Let q(u) be the third derivative of u**6/120 + u**5/40 - u**4/24 - u**3/3 + 3*u**2. Let r(b) be the first derivative of q(b). Is r(-3) a multiple of 17?
True
Let v(g) = g**2 + 9*g - 29. Is 8 a factor of v(-15)?
False
Let o = -92 - -145. Is 5 a factor of o?
False
Suppose -4*i + 5*f = -32 - 16, 0 = -3*i + f + 25. Let c(h) = h + 7. Is 7 a factor of c(i)?
True
Suppose -135 = -3*v + 3*m, m - 224 = -3*v - 69. Suppose 0 = w + 11 - v. Does 32 divide w?
False
Let j(a) = -a**3 + 3*a**2 + 7*a - 6. Is j(-6) a multiple of 46?
True
Let i be -36 - 0 - (-3 - 0). Let k = i - -75. Is 14 a factor of k?
True
Let b = -64 + 92. Does 3 divide b?
False
Let f be 21/(-14) + (-74)/(-4). Suppose 3*q - f = -8. Is (-33)/2*(-4)/q a multiple of 22?
True
Let p be (-2)/3 - 38/(-3). Let b = 31 - p. Is 10 a factor of b?
False
Let f = 17 - 15. Suppose 5*g - 7 = 2*w + 5, -5*w = f*g - 28. Is g a multiple of 4?
True
Suppose 30 + 3 = 3*q. Let a be 1/(-2) + 154/4. Let y = a - q. Does 9 divide y?
True
Let d(s) = 4*s - 4. Let v(c) = -c**3 + 9*c**2 + c + 4. Let h be v(9). Does 13 divide d(h)?
False
Suppose 4*i + 58 - 170 = -o, -115 = -5*i + 5*o. Is 21 a factor of i?
False
Suppose 3*j + h - 72 = 0, -j - h + 28 = -2*h. Let d = 71 - j. Is d a multiple of 23?
True
Let z = 2 - -3. Is 5 a factor of z?
True
Let t = -23 - -67. Suppose t = 3*i + l, 2*i + 2*l - 19 = 5. Does 7 divide i?
False
Let y = 7 + -4. Suppose c = -d - 1, -y*d + 0*d - 2*c = 3. Is 19 a factor of 47 + (6/3)/d?
False
Let a(l) = -2*l**3 - 2*l**2 + l + 2. Let n = 0 + -2. Let p be a(n). Suppose -5*f + p + 7 = 0. Does 3 divide f?
True
Suppose 2*v + 7*h = 2*h + 13, -2*v + 9 = h. Let j be 1 + v - (1 + -1). Suppose 3*w = -w + 4*m + 44, -j*m + 9 = 3*w. Is 8 a factor of w?
True
Let q = -13 + 47. Is 18 a factor of q?
False
Is 7 a factor of (1*-6)/3 + 13?
False
Let q be 10/2 - (2 - 0). Suppose q*v + 2*o - 5 = 0, v + 1 = 3*o - 12. Does 4 divide (8/(-5))/(v/5)?
True
Let v(k) = 11*k + 7. Let r(h) = h + 1. Let m(n) = 4*r(n) - v(n). Let w be m(-2). Does 20 divide 442/w - 4/22?
True
Let i(f) = -24*f + 4. Let s be i(-3). Let z be ((-132)/(-4))/((-6)/8). Let r = s + z. Is 12 a factor of r?
False
Suppose 2*s - 6 = 4. Let n = -3 + s. Suppose n*x - 2 = 2, -3*l = -5*x - 44. Does 18 divide l?
True
Let p(w) = -25*w**2 + 3. Let l be p(3). Let a = -159 - l. Is 22 a factor of a?
False
Let t be ((-4)/(-6))/((-4)/(-30)). Suppose -4*b + 127 - 498 = -t*r, -79 = -r - 4*b. Is 25 a factor of r?
True
Let q(u) = u**2 - 5*u + 2. Does 13 divide q(8)?
True
Is 62 a factor of ((-3322)/33)/(4/(-18))?
False
Let c be (-3 - (-21)/3) + 36. Suppose -4 = f, -l + f + c = l. Does 10 divide l?
False
Let f = 1 + -4. Let o = 4 - -20. Does 9 divide (o - f)*(-1)/(-1)?
True
Let y = 53 + -17. Is 9 a factor of y?
True
Suppose 1071 = 13*l - 125. Is l a multiple of 23?
True
Suppose 9 = 5*o + 29, -491 = -3*i - o. Is i a multiple of 26?
False
Is 9 a factor of ((-130)/40)/(2/(-24))?
False
Let f = 2 + 11. Is 7 a factor of f*(-2 - -3) + 1?
True
Let b = -10 + 12. Is 18 a factor of (-1)/(b/96*-1)?
False
Suppose 0 = 4*c + 17 + 15. Does 17 divide (92/c)/((-2)/8)?
False
Suppose -2*d + 3*o - 2 = -3*d, 4*d = 2*o - 6. Is 4 a factor of d*((-3)/1 + -16)?
False
Let x = 18 - -3. Let p(s) = -s**3 + 7*s**2 + 3*s. Let m be p(7). Let y = x + m. Does 15 divide y?
False
Let h(q) = q**2 - 8*q. Suppose -3*o + 6*d = 3*d - 21, 5*d = -o + 13. Let t be h(o). Does 18 divide t + 37 - (2 - 2)?
False
Does 14 divide (-1 + -1)/(5/(45*-3))?
False
Let p be (-10)/6 - 1/3. Let c be 2 - (p - (0 - 3)). Suppose -2*h = 3*d - 30, 2*d - c = -4*h + 51. Is h a multiple of 5?
False
Suppose 0 = 5*j + 6 - 1, 2*u - 2*j = 8. Is (-3)/2*(-110)/u a multiple of 18?