) a multiple of 4?
True
Suppose 291*o - 290*o - 105 = 0. Does 3 divide o?
True
Is 27 a factor of -2 + -4 + (-11649)/(-11)?
True
Is -10*(-15032)/40 + (-2)/(-2) a multiple of 38?
False
Let i = -65 - -144. Let o(d) = d + 10. Let f be o(-6). Is i - (-1 - -1)/f a multiple of 18?
False
Let q(i) = 3*i + 11. Let b be q(-5). Let h be (0*b/16)/1. Let s(v) = -v**3 - v**2 + 45. Does 9 divide s(h)?
True
Is 2 a factor of 369/6*2/(-9)*-15?
False
Suppose 0*n - 4*n = -4*y + 8, 2*y - 3*n = 8. Let l be y + -38 + (4 - 2). Let u = -6 - l. Does 16 divide u?
True
Suppose 804 - 93 = 3*o. Is 10 a factor of o?
False
Let t be ((-2)/4)/((-2)/84). Suppose v = -4*c - 17, -2 = -2*c + v - 9. Is 13 a factor of (18/c)/(t/(-112))?
False
Let j = -82 + 85. Suppose 3*f - 8*l = -j*l + 705, -3*l = 5*f - 1141. Is 17 a factor of f?
False
Suppose 2*r = 27*r - 9300. Is r a multiple of 19?
False
Let p(o) = -2*o - 3. Let b be p(-3). Does 28 divide (-1)/(b + -2) - (-154 - 0)?
False
Suppose j = -2*m + 6, -5*m = -3*j - 4 + 11. Let w(a) = 40*a + 9. Let g be w(j). Let c = g + -121. Is c a multiple of 12?
True
Suppose -2*c + 2*r + 115 + 35 = 0, 0 = -3*c + 5*r + 229. Suppose 3*v + c = -y, -184 + 60 = 4*v - 4*y. Let s = 57 + v. Is 10 a factor of s?
False
Let r = 4821 - 2553. Is r a multiple of 14?
True
Suppose -6*j + 116 = -352. Does 5 divide j?
False
Let c(x) = x + 21. Let p be c(-18). Let o = -3 + 3. Suppose -v = 3*l - p*v - 81, o = -3*l + 3*v + 78. Does 29 divide l?
True
Suppose -4*m = 3*k - 2768, 0 = -6*k + 3*k + 4*m + 2776. Is 14 a factor of k?
True
Does 48 divide 4/50 - 32394/(-75)?
True
Let b = 97 + -94. Let u(k) = 4*k**3 + 5*k**2 - 7*k + 1. Is u(b) a multiple of 7?
True
Suppose 4*g + 9 = -g + 2*f, -2*g - 2*f = -2. Does 44 divide -1 - (-1 - -4) - (-223 + g)?
True
Let i(s) = s**2 + 9*s - 7. Let c(q) = -5*q + 10. Let w = 22 - 18. Let m be c(w). Is i(m) a multiple of 2?
False
Is 1221/2 - (117/(-18) + 5) a multiple of 6?
True
Suppose 0 = 14*f - 11*f + 246. Does 27 divide (-1 - (f + -2))/(8/16)?
False
Let x = -6 - -26. Suppose 0*j - 30 = -5*j - v, -5*j + v + x = 0. Suppose 0 = -0*c + 3*c + j*w - 203, 2*c = 5*w + 127. Is 22 a factor of c?
True
Suppose 1286 = 3*j + 446. Is j a multiple of 7?
True
Is (-4)/14 - ((-12890)/35 + 4) a multiple of 13?
True
Let c(p) = -p + 1. Let u = -11 - -16. Let z = -1 - u. Does 3 divide c(z)?
False
Is (-862)/(-8) + (-13 - 1)/(-56) a multiple of 12?
True
Let d = -27 - -31. Suppose d*k - 32 = 92. Let i = 55 - k. Does 8 divide i?
True
Let x be 6/9 + ((-1)/(-3) - 0). Is 3*8/12 + 106/x a multiple of 27?
True
Suppose -2*h = -h + v - 7, 4*h - 4*v = -12. Suppose -h*b - 1 = -9. Is b a multiple of 3?
False
Let x(j) = -3*j**2 - 3*j - 8. Let z(c) = 3*c**2 + 3*c + 7. Let r(o) = 3*x(o) + 4*z(o). Is r(-4) a multiple of 8?
True
Let l(k) = 66*k**2 + 12*k + 3*k**2 - 12*k. Is 12 a factor of l(-1)?
False
Let r = 2152 + -997. Does 55 divide r?
True
Suppose 15 = -3*f - 3*j, -4*f + 2*j = -3*j + 11. Is (-1 - -1 - f) + 36 a multiple of 8?
True
Suppose -q - 2*q = -4*o + 583, 4*o + q = 595. Is 21 a factor of o?
False
Let q(v) = -v**3 + 15*v**2 + 11*v - 51. Is q(7) a multiple of 10?
False
Suppose -2*x - 5*m - 33 = 0, -2*x - 5*m + 62 = -5*x. Let o = x + 23. Suppose 13 - 49 = -o*c. Is c a multiple of 3?
True
Suppose -2*p = 2*p + 20. Is 4 a factor of 15/(-2)*36/p?
False
Suppose 8 = -0*j + 4*j. Suppose 5*h - 4*c - 220 = 0, j*h + 2*c - 62 - 26 = 0. Is h a multiple of 11?
True
Let q(p) = p**3 + 8*p - 4. Let a(c) = -3*c**3 - 23*c + 12. Let y(t) = 6*a(t) + 17*q(t). Is y(-5) a multiple of 12?
False
Let l = 144 - 122. Let v(q) = 12*q + 3. Let f be v(3). Let w = f - l. Is w a multiple of 17?
True
Let b(w) = 282*w + 54. Is b(2) a multiple of 30?
False
Let n(m) = 26*m + 4. Let l be n(-2). Let b = 30 - l. Suppose -3*r + r = -6, 3*r = 3*v - b. Is 9 a factor of v?
False
Suppose w = -w. Suppose 2*t = 2*c + 6, 3 = -w*t - 2*t - c. Suppose -2*p + 33 = 3*z, -2*p + z + 29 = -t. Is 15 a factor of p?
True
Let p(k) = k**2 - 17*k + 29. Let n be p(13). Let b = 30 + n. Is b a multiple of 7?
True
Does 35 divide (-1290)/(-3) - (-8)/(-8)?
False
Let w = -387 + 260. Let m = -71 - w. Is 19 a factor of m?
False
Let m = -1579 + 1925. Is 62 a factor of m?
False
Let y be (1*-16)/(2/(-6)). Is 27 a factor of y/60 - (-1242)/10?
False
Let j = -3 - -7. Suppose -3*b + 5*o = -302, -j*o + 293 = 4*b - b. Is b a multiple of 33?
True
Let m(y) = 10*y - 15. Does 13 divide m(15)?
False
Suppose 0 = -3*r + 8*r - 2*n - 4629, 3*r = -n + 2773. Is r a multiple of 44?
False
Let p(y) = -14*y**2 + 10*y + 4. Let m(q) = -5*q**2 + 3*q + 1. Let l(w) = 8*m(w) - 3*p(w). Is l(7) a multiple of 11?
False
Let q(p) = -p**3 + 2*p**2 - 5*p - 3. Does 10 divide q(-4)?
False
Suppose -4*x + 381 = g, -3*g + 3*x + 132 = -981. Does 4 divide g?
False
Suppose 9*n = -59 - 22. Does 39 divide (-1 - 118)*-1 + (-11 - n)?
True
Does 9 divide ((-1040)/56 - 6)*(0 - 7)?
False
Let b(x) = -16*x - 81. Is b(-17) a multiple of 39?
False
Let q(i) = -2*i**3 + 44*i**2 + 9*i + 22. Is 12 a factor of q(22)?
False
Let v(z) = 4*z**3 + 4*z**2 - 3*z + 4. Let t = -46 + 49. Does 15 divide v(t)?
False
Let d be (-4)/(-10) - 84/(-15). Suppose d = x + 2. Suppose b - x = 1. Does 5 divide b?
True
Let j(t) = 11*t**3 - 2*t**2 - 6*t + 19. Does 9 divide j(5)?
True
Suppose 0 = -d + 5*a + 24, 5*d + 4*a = 5*a + 96. Is d a multiple of 9?
False
Let n(s) = 5*s - 4 + 2*s + 2. Is 15 a factor of n(11)?
True
Let u(t) be the first derivative of t**6/20 - t**5/120 - t**4/12 + 5*t**3/3 + 1. Let i(m) be the third derivative of u(m). Does 3 divide i(-1)?
False
Let l(k) = k**3 - 5*k**2 + 3*k + 4. Let g be l(4). Let w be (0 - g) + 7/7. Is 19 a factor of (w - (3 + -3))*38?
True
Let j(w) = 2*w - 5 + 2*w**2 + 2 + 3*w. Let d be j(-6). Suppose -5*n = -8*n + d. Is 3 a factor of n?
False
Let t = 8 - -78. Let m = t + -60. Is m a multiple of 6?
False
Let i be (152/(-13))/2 - (-2)/(-13). Is (-1826)/(-10) - -1*i/(-15) a multiple of 42?
False
Let d(a) = 19 - 9 + 25*a**2 - 12 + a. Does 18 divide d(-2)?
False
Let l = -26 - -30. Let h = 200 + l. Does 17 divide h?
True
Let i(n) = 3*n**2 - 2*n + 3. Let s be i(-5). Let c = -71 - -71. Suppose c = -2*l + s - 34. Does 9 divide l?
True
Let k(n) = -110*n + 204*n - 8 - 137*n. Is 24 a factor of k(-8)?
True
Suppose 377 = 3*d + 125. Let f = d + -64. Is f a multiple of 9?
False
Suppose -4*v + 5*n + 1392 = 0, -4*v + 1392 = 12*n - 13*n. Does 12 divide v?
True
Let r(a) = -6*a - 9. Let x be r(5). Let u = 28 + x. Let f = 0 - u. Does 5 divide f?
False
Let s = 8 - 6. Let w(d) = d - d**2 + s*d + 4*d**2 - d. Is 14 a factor of w(3)?
False
Suppose 12 = -5*u - 8. Let b be ((-14)/6)/(u/132). Let z = b - 21. Does 20 divide z?
False
Suppose -2*f + 3*m + 165 = 0, -m = -3*f - 0*m + 258. Let g be (10/15)/(2/141). Let k = f - g. Is 15 a factor of k?
False
Let o = -25 - -1. Let a = 34 + o. Does 7 divide a?
False
Let c(n) = n - 13. Let m be c(11). Does 17 divide -1 + 42 + 3 + m?
False
Suppose -j = 5*r - 560, j + r + 120 = 696. Is j a multiple of 10?
True
Let f = 40 - 36. Suppose -f*d - 2090 = -14*d. Is 19 a factor of d?
True
Let t(y) = y**3 + 7*y**2 - 3*y - 2. Let u be t(-4). Suppose 2*r = 5*v + u, -4*v + 2 + 38 = 2*r. Is (r + -2)/(4 + -3) a multiple of 11?
True
Let k = 22 - 18. Let d(f) = 6*f**2 - 4*f - 2. Does 9 divide d(k)?
False
Let r be (24/(-21))/(2/(-7)). Suppose r*s - 3*s = -107. Let f = s - -192. Is 31 a factor of f?
False
Suppose 5 = x - 0*x. Suppose x*l + 0*l - 2*h - 52 = 0, 3*l + 2*h = 28. Is l a multiple of 9?
False
Does 45 divide 1161 + 45/((-81)/9)?
False
Suppose -6*f = -903 - 1275. Does 17 divide f?
False
Let n(y) = 7*y + 15. Let c be n(4). Let i = c - 30. Is i a multiple of 4?
False
Let t = 118 - 54. Let n be t - (-5 + 1 + 2). Suppose 14*h - 16*h + n = 0. Does 11 divide h?
True
Suppose -11*z + 12*z = 92. Let r = z + -78. Is r a multiple of 5?
False
Let p(q) = 178*q - 94. Is 92 a factor of p(15)?
True
Let p(h) = h**3 - 2*h**2 + 5*h - 15. Suppose 3*s - 5 = 2*t, 5 = -3*s + 2*t + 2*t. Is 16 a factor of p(s)?
False
Let u be (-6)/(-4)*(-8)/3. Is (-7)/14 - ((-186)/u)/(-1) a multiple of 8?
False
Let c = -110 + 519. Is c a multiple of 30?
False
Let c be 1 + 36 - (2 + -3). Let f(h) = 29*h**2 + 28*h + 1. Let n be f(-1). Suppose 0 = n*r - 26 - c. Is 8 a factor of r?
True
Let k be (-11)/(-55) + 19/5. Suppose 3*f - 33 