Does 9 divide (75/(-9))/(q/3)?
False
Let o(m) = 0*m - 2*m + m. Let j be o(3). Is 10 a factor of (-1 - j)*69/6?
False
Suppose 3*i - 110 = -5*c, 4*i - 25 - 19 = -2*c. Let k be 3/((5 + -2)/3). Let z = c - k. Is 11 a factor of z?
False
Does 15 divide -4 + ((-4)/(-4) - -33)?
True
Let p = -2 - -2. Suppose p = -2*z + r + 20, -3*z - 76 = -8*z - 4*r. Suppose 2*a - z = -0*a. Is 4 a factor of a?
False
Suppose 1 = -b - 0. Let d = b + 2. Is 1 + (15 + 1)/d a multiple of 9?
False
Is 21/6 + (-1)/(-2) a multiple of 4?
True
Let r(j) be the third derivative of 7/24*j**4 + 0 - j**2 - 1/6*j**3 + 0*j. Does 6 divide r(1)?
True
Suppose -4*n = -0*n - 128. Does 8 divide n?
True
Let d = 1 - 11. Let r = 18 + d. Is r a multiple of 4?
True
Suppose x - 8 = -3*x. Does 7 divide ((-66)/x)/(-3) - 3?
False
Suppose -4*y - 5*o + 3*o - 30 = 0, -y - 2 = -5*o. Let r = 5 + y. Let f = 10 - r. Does 12 divide f?
True
Suppose 9*q = 4*q + 85. Suppose 5*x - s = 23 + q, 5*x + 4*s = 15. Is 7 a factor of x?
True
Suppose -5*q - 2 = -3*l, -4*q + 3*l + 0*l = 4. Suppose 2*p = q*d - 43 - 23, -4*d = -p - 138. Is d a multiple of 14?
False
Let b(h) = h + 54. Suppose t - 12 = -2*t, -4*z + 2*t - 8 = 0. Let o be b(z). Suppose -3*n = -0*n - o. Is n a multiple of 9?
True
Is 42 a factor of (460/(-6))/((-96)/144)?
False
Let w(s) = s + 30. Let y be w(0). Suppose g - y = -0*g. Is 8 a factor of g?
False
Suppose 0 + 6 = -u. Suppose 4*m = o - 223, 2*o + 1 = o. Is (-9)/u*m/(-6) a multiple of 14?
True
Suppose 10*v + 2*v = 240. Is v a multiple of 10?
True
Suppose 0 = -3*p + 170 - 5. Does 11 divide p?
True
Suppose 5*u - q = 6, -4*q + 9 - 1 = -4*u. Let p be (-720)/(-6) - (u + -2). Does 8 divide p/(-3)*4/(-10)?
True
Let l(z) = -2*z**3 - 7*z**2 + 8*z - 4. Let c(u) = u**3 + 7*u**2 - 7*u + 5. Let t(h) = 3*c(h) + 2*l(h). Is t(6) a multiple of 4?
False
Let o(s) = -s**3 - 3*s**2 + 4*s + 6. Let k be (2 - 0)*8 - 0. Suppose -2*d - k = 2*d. Is 3 a factor of o(d)?
True
Let i = 52 + 98. Is 19 a factor of i?
False
Let z(p) = -11*p**3 + 10*p**2 + 17*p - 2. Let j(v) = -5*v**3 + 5*v**2 + 8*v - 1. Let c(t) = -9*j(t) + 4*z(t). Let h = -11 + 17. Does 5 divide c(h)?
False
Suppose 2*j + 4*q - 194 = -0*j, 5*j - 5*q = 500. Is 11 a factor of j?
True
Let x(m) = -3*m - 4. Let r(g) = 1. Let p(j) = -3*r(j) - x(j). Is 2 a factor of p(2)?
False
Let w be (-3 + (-51)/(-12))*-4. Let q(l) = l**2 + 3*l + 3. Is q(w) a multiple of 13?
True
Let b = -5 + 5. Let k be 4/(b/1 - 2). Let u(a) = -6*a**3 + a**2 + 2*a + 3. Is 13 a factor of u(k)?
False
Let q = 19 + -17. Does 4 divide (-1)/(q - 3)*20?
True
Let k(d) = 33*d**2 - d. Let x = -18 + 10. Let o = x + 9. Is k(o) a multiple of 16?
True
Suppose 2*r + 0 - 6 = 0. Suppose 32 + 7 = 2*j + 3*a, 0 = r*j - a - 64. Is 21 a factor of j?
True
Suppose -5*a = 4*f + 14 - 413, -2*a - 5*f = -146. Does 25 divide a?
False
Suppose 0 = 3*j + 4*o - 14, 3*j + 3*o - 6*o = -21. Let d = j - -7. Does 5 divide d?
True
Let l(b) = 2*b**3 - 3*b**2 + 5*b + 1. Let s(m) = 5*m**3 - 7*m**2 + 11*m + 3. Let k(i) = -7*l(i) + 3*s(i). Let q be (-1 + 0)*3*-1. Is 18 a factor of k(q)?
False
Let s = 72 - 44. Let z(k) = -k + 16. Let y be z(14). Suppose -i - y*r = -2, 3*r + s = 4*i + r. Is i a multiple of 6?
True
Let j(n) = -n**3 - 15*n**2 - 26*n + 12. Is j(-14) a multiple of 20?
True
Let o(y) = y + 2. Suppose k + 8 = 5*k. Let r = k - -1. Does 5 divide o(r)?
True
Let a(y) = y + 4 - 2 - 4 + 0*y + 12*y**2. Is a(-2) a multiple of 22?
True
Suppose -5*f = 5, c + 1 + 2 = -5*f. Suppose -2 = -5*h + 3*w, 7*h + 4*w = 2*h + 9. Let a = h + c. Is 2 a factor of a?
False
Let z(c) = 2*c - 7. Does 9 divide z(8)?
True
Suppose 0 = -u + 5*u + b - 8, 3*b = -3*u - 3. Does 18 divide -2 + (u - 4) - -57?
True
Suppose -v = 3*v - 4. Let k be (v + -3 - 0)*-1. Does 17 divide k/3 - 206/(-6)?
False
Suppose -8*z + 424 = -152. Does 18 divide z?
True
Is 27 a factor of -4 + (-9 - -98) + 4*-1?
True
Suppose l = -4*l - 10. Let g(n) = 2*n**2 + 2*n + 2. Is 5 a factor of g(l)?
False
Let q be 2/((-51)/57 - -1). Suppose -4*w - 37 = q. Let t = w + 53. Is 14 a factor of t?
False
Suppose 2*v + 5*t - 6 = 3*t, 2*t + 6 = 2*v. Suppose -v*y + 28 = y. Is 3 a factor of y?
False
Suppose 0 = -6*q - 5*q + 77. Is 3 a factor of q?
False
Suppose 4*c - 24 = 16. Let w = -2 + c. Is w even?
True
Suppose 3*b + 0*b = -4*k + 874, -5*k = 4*b - 1166. Does 49 divide b?
True
Suppose -67 = -3*c + 26. Is c a multiple of 31?
True
Let i(p) = -p**2 - 10*p - 19. Let j be i(-13). Let x = j - -91. Is x a multiple of 11?
True
Suppose 110 = 5*k - 90. Let s = 61 - k. Is s a multiple of 7?
True
Suppose 0*h + 152 = 2*h + d, -5*d - 395 = -5*h. Is 15 a factor of h?
False
Suppose 5*a = -61 + 511. Is 10 a factor of a?
True
Let a(i) = i**3 + 7*i**2 + 5*i - 7. Is a(-5) a multiple of 7?
False
Suppose -101 - 26 = -x + 5*a, 0 = -2*x + 5*a + 239. Does 13 divide x?
False
Suppose 0 = -z - 3*g + 7*g - 38, 3*z + 3*g = -144. Let i be (-2)/(16/(-1340)*(-15)/6). Let m = z - i. Is 7 a factor of m?
True
Let a(m) be the third derivative of -m**6/30 - m**4/24 + m**3/3 - m**2. Does 18 divide a(-2)?
True
Let n = 13 - -16. Suppose -5*s - z + n = 0, -s - 2*z = -0*z - 4. Does 5 divide s?
False
Does 4 divide (-3)/(-2)*(-32)/(-3)?
True
Suppose k + 2*v - 5*v = 11, -17 = -3*k + v. Suppose -2*m = -t - 7*m + 10, -2*t + 25 = k*m. Does 15 divide t?
True
Suppose -3*v + 6*v + 39 = 3*l, 5*v = -5*l - 55. Does 6 divide (-3)/v - (-43)/4?
False
Suppose 8*s - 192 = 5*s. Is s a multiple of 7?
False
Let h(v) be the first derivative of -v**4/4 - 3*v**3 - 7*v**2 - 18*v + 7. Is 25 a factor of h(-8)?
False
Let n be 237/21 + 2/(-7). Suppose -4*i - 41 - n = 0. Let b = 5 - i. Does 9 divide b?
True
Let o(f) = -22*f - 3. Is o(-2) a multiple of 9?
False
Suppose 0 = -5*o - 2*b + 58, 2*b + 50 = 8*o - 4*o. Let q = o - -6. Does 6 divide q?
True
Let q(c) = -c**3 - 3*c**2 + 5*c. Let f be q(-5). Suppose s - 6*s = f. Is (-68)/s + 6/15 a multiple of 12?
False
Let m be 2/(-3) + (-12)/(-18). Suppose -2*j + 4*b + 18 = 0, 0 = 4*j - m*b + 4*b. Is j even?
False
Suppose 0 = y - 6*y + 20. Suppose y*f + 57 = 157. Does 25 divide f?
True
Let w(k) be the second derivative of -k**5/20 - 5*k**4/6 - 3*k**3/2 + k**2 + k. Let j be w(-9). Suppose a = j + 12. Does 14 divide a?
True
Let f = 43 + -19. Is f a multiple of 9?
False
Let f(h) = -3 + 1 - 4*h - 1 + h. Is 12 a factor of f(-9)?
True
Suppose -2*u + 8 = -0*u - m, 0 = -2*u + 4*m - 4. Let t(b) = -1 + 2*b**2 - 20*b**3 - 5*b**3 - u*b**3. Does 16 divide t(-1)?
True
Suppose 4*m + 0*c = c + 197, 3*c = -4*m + 193. Does 13 divide m?
False
Let k = 727 - 411. Is 11 a factor of k?
False
Suppose -4*o + 122 = 2*c, -2*c = -2*o - 4*c + 56. Is o a multiple of 13?
False
Let w(q) = 15*q - 2. Let o be w(3). Suppose -v - 2*x = 2*v - o, -2*x + 58 = 4*v. Is 5 a factor of v?
True
Let p be (-10 + 3 - -1)/2. Let i(z) = -26*z**2. Let x(n) = 2001*n**2. Let b(q) = p*x(q) - 232*i(q). Does 8 divide b(-1)?
False
Suppose 0 = -5*w + 5*j + 25, -4*j = -7*w + 2*w + 23. Suppose 0 = w*l - 5*l + 6. Does 3 divide l?
True
Let d(z) = -z**3 - 3*z**2 - 3*z - 4. Let r be d(-3). Suppose 3*l = 2*l - 2*m + 13, 0 = r*l + 2*m - 25. Suppose 0 = l*k - 157 + 55. Is k a multiple of 17?
True
Suppose 4 - 6 = -3*w + 2*s, 0 = 5*s - 25. Suppose -4*c = -2*z - 86, 0*z + 88 = w*c - 4*z. Is c a multiple of 7?
True
Let u = 571 - 224. Is 11 a factor of u?
False
Let x be 3*1 + (-584)/(-1). Let s be x/5 + (-4)/10. Is 16 a factor of (3 - 1*s)/(-2)?
False
Let i be (-9)/3*(-6 + -1). Suppose 0 = -2*a - a + 5*t - 8, 5*t = -a + 24. Suppose -a*r + r = -i. Is 7 a factor of r?
True
Let l(o) = -11*o**3 + o**2. Suppose 2*w + 2 = -0*w. Is 3 a factor of l(w)?
True
Let l = 12 - 7. Suppose 10 - 1 = l*o - i, -6 = -2*o + i. Is 3*o/((-3)/(-14)) a multiple of 7?
True
Suppose 7*b = 702 + 670. Is 28 a factor of b?
True
Let f = 33 - -121. Is f a multiple of 9?
False
Let p = 6 - 4. Suppose -p = 2*y + 10. Is (-86)/(-6) - (-2)/y a multiple of 14?
True
Let o(i) = 4*i + 16. Does 3 divide o(11)?
True
Suppose 40 - 5 = 5*m. Let t(x) = -x**3 - 3*x**2 + x + 5. Let f be t(-4). Suppose 4*y - f = m. Is 6 a factor of y?
True
Suppose d + 6*i - 3*i - 15 = 0, -33 = -5*d - i. Suppose 105 = -a + d*a. Does 10 divide a?
False
Let f(p) = -5*p**2 - p - 11. Let x be 6 + (0 - -2) + -2. Let s(g) = 4*g**2 + 10. Let l(u) = x*s(u) + 5*f(u). Is 2 a factor of l(-5)?
False
Let 