) + 2781/15 + -6?
False
Suppose 2*q - 2 = -4, -4*r + 5*q + 773 = 0. Suppose 11*b - 105 = r. Is 27 a factor of b?
True
Suppose -9*b + 2431 = -449. Let a = b - 195. Does 25 divide a?
True
Is 67 a factor of -11*(-106)/6 + (-88)/(-132)?
False
Let t(d) = -d**2 - d + 2. Let a be t(-4). Let c = -13 - a. Is 11 a factor of c/6*2*-11?
True
Suppose 0 = 4*r, 41*g - 36 = 40*g + 3*r. Is 4 a factor of g?
True
Suppose 61507 + 12070 = 23*s. Is s a multiple of 7?
True
Let t be (-1156)/(-6) - (-36)/(-54). Suppose 3*q - 642 = -t. Suppose 2*v + 3*v - q = 0. Does 6 divide v?
True
Let a(k) = 86*k**3 - k**2 + 1. Is a(1) a multiple of 4?
False
Suppose 18*h = 6075 + 29151. Does 35 divide h?
False
Let n(m) be the first derivative of m**5/30 - 3*m**4/8 + 3*m**2/2 + 5. Let u(p) be the second derivative of n(p). Is 6 a factor of u(6)?
True
Let v = -4 - -340. Is v a multiple of 28?
True
Let q = 2128 + -938. Does 32 divide q?
False
Let c(g) = g - 1. Let l(b) = 6*b - 17. Let f(t) = -5*c(t) + l(t). Let s be f(10). Let v(p) = -5*p**3 + 4*p**2 + 3*p. Is 10 a factor of v(s)?
True
Suppose -27*a = -20*a - 1421. Does 5 divide a?
False
Suppose 0 = -3*s - 0*y - 3*y + 285, -89 = -s + y. Is s a multiple of 4?
True
Suppose o - 2*r - 15 = 0, 6*o = 3*o + 5*r + 46. Suppose -4*t + o = -3*t - 5*z, 2*t + 3*z = 60. Does 9 divide t?
True
Suppose 0 = -y - 31 + 39. Suppose -2*b = -4*b + y, -3*b = -4*r + 280. Does 3 divide r?
False
Let b = 1275 - 289. Is b a multiple of 13?
False
Suppose 9*y - 8 = 19. Suppose y*q + 3*w = 351, 3*q = -q - 2*w + 462. Is 8 a factor of q?
False
Let r = 7187 - 4862. Does 15 divide r?
True
Suppose 2*p + 3*l - 296 = 0, p - 3*p + l + 288 = 0. Is 29 a factor of p?
True
Let o = -758 - -838. Is o a multiple of 64?
False
Let n(s) = s**3 - 26*s**2 - 3*s + 32. Let q be n(26). Let i = q - -150. Is 9 a factor of i?
False
Let d(y) = -y**3 - 3*y**2 - y + 3. Suppose l = 3*l - 8. Suppose l*u = 8*u + 12. Is 3 a factor of d(u)?
True
Let h(w) = w**3 + w - 10. Let b be h(0). Let o(z) = -10*z**2 - 4*z - 18. Let c(q) = 3*q**2 + q - 2. Let y(k) = -3*c(k) - o(k). Is y(b) a multiple of 20?
False
Let o(j) = j**2 + 1. Let z be o(1). Let g be -3 + z - 0 - -1. Is 19 a factor of (-6 - -5) + (20 - g)?
True
Let h(p) = 3*p**3 - 5*p**2 + 12*p - 1. Let q be h(-8). Is q/(-35) + (-1)/(-5) a multiple of 28?
True
Let h = 3 - 2. Suppose -3*y - h = -16. Suppose -4*x + y*o = -98, -4*o - 118 = -3*x - 2*x. Is 11 a factor of x?
True
Suppose -2*z = -6*z + 144. Suppose -3*p + 108 = -4*t, -p = t + 3*t - z. Does 9 divide p?
True
Let o(t) = 7*t + 48. Does 85 divide o(23)?
False
Let x(c) = c - 18. Let b be x(14). Let o(f) be the third derivative of f**5/20 + 5*f**4/24 - f**3/3 - f**2. Does 13 divide o(b)?
True
Let r(n) = -9*n - 11. Let p be r(17). Let q = 318 + p. Is 11 a factor of q?
True
Suppose 6 = -2*c - 0, 5*c + 1007 = 4*x. Does 31 divide x?
True
Does 22 divide 6/(3 - (-2740)/(-916))?
False
Let a = 29 + 7. Is 26 a factor of (3/(-15)*2 - a)*-5?
True
Let p = 242 - 222. Does 3 divide p?
False
Let k(q) = -q - 5. Let w be k(-5). Suppose w = v - 5 - 31. Is v a multiple of 7?
False
Suppose 0 = -v - 5*c + 291, 2*v - c = 276 + 251. Is 19 a factor of v?
True
Let q(c) = 2*c**2 - 8*c - 4. Let l be (9/(-2))/((-6)/8). Is q(l) a multiple of 13?
False
Suppose 72*n - 71*n + m - 1360 = 0, 4*m = 16. Does 6 divide n?
True
Let n be (9/3 - 3) + -231 - -2. Let h = n + 418. Does 34 divide h?
False
Let m = -16 + 17. Let y = 5 - m. Suppose -3*f + y = -80. Is 14 a factor of f?
True
Let v(g) = 2*g**2 - 22*g + 110. Does 2 divide v(15)?
True
Does 25 divide ((-2)/5)/((-4503)/1500 + 3)?
True
Let z = 2417 + -2159. Is z even?
True
Suppose 4*l - 2246 = -2*d, 5*l + 3*d - 2061 = 746. Does 24 divide l?
False
Suppose 0 = 3*x - 6*x. Let h(r) = -r**2 - r + 68. Let u be h(x). Suppose -a = 3*g - 0*a - u, -5*a - 116 = -4*g. Is g a multiple of 15?
False
Let q = -24 - -28. Suppose 552 = 5*h + 2*u + 148, 0 = 3*h - 5*u - 261. Suppose -h = -q*f + 22. Is f a multiple of 7?
False
Let i = 2145 + 627. Is i a multiple of 42?
True
Let a = 1649 - 1361. Is 7 a factor of a?
False
Suppose 4*r + q = 45, -7*r + 5*q = -2*r - 25. Let u be ((-8)/r)/(8/(-1140)). Suppose -4*o + 3*p + u = 0, o + 5 = 5*p + 42. Is 8 a factor of o?
False
Let v(x) be the third derivative of 0 + 2/3*x**3 + 0*x + 7*x**2 - 11/24*x**4 + 1/30*x**5. Is 5 a factor of v(7)?
True
Suppose -3*u + 13 = 49. Does 11 divide (-4216)/(-48) - 2/u?
True
Let w = -1659 + 2499. Does 28 divide w?
True
Let g(r) = 2 + 1 + 4*r**3 - 3*r**2 - r**2. Is 15 a factor of g(3)?
True
Let i(f) = 59*f + 128. Is 13 a factor of i(4)?
True
Let s(m) = -6*m - 118. Does 11 divide s(-27)?
True
Let b = 125 - 121. Is (-8)/(-16)*10*b a multiple of 10?
True
Does 5 divide 149 + 9/(-3) - (4 + -3)?
True
Is 13 a factor of (-20)/(2 - 0)*(-472)/20?
False
Suppose -f - 315 = -5*r - 4*f, 252 = 4*r + 2*f. Let c = r + -60. Is c a multiple of 3?
True
Is (20/(-12))/(-5)*18 a multiple of 3?
True
Suppose -5*s + 7*s - 1646 = 0. Suppose 2*j + 2594 = 2*w, -5*j + 2*w = s + 5656. Does 20 divide j/(-21) + 2/(-3)?
False
Let w(z) = 1 + 1 - 10*z**2 - z**3 + 3*z + 54*z + 1. Is 15 a factor of w(-15)?
False
Let g(k) = -57*k + 32. Does 10 divide g(-14)?
True
Suppose -9*g + 4*g + 4137 = -b, -5*b + 1671 = 2*g. Is 6 a factor of g?
True
Let j = -9810 - -14118. Is j a multiple of 12?
True
Let j(s) = -s**3 - 15*s**2 - 29*s - 15. Let b(c) = 2*c + 7. Let f be b(-10). Is 24 a factor of j(f)?
True
Let t(w) = w**3 + 15*w**2 - 4*w + 8. Is 11 a factor of t(-12)?
False
Let m be (-3 + 3 + 3/1)*18. Suppose -43 = -k + m. Does 18 divide k?
False
Suppose l = -0*l + 19. Suppose -r = 6 + l. Let s = r - -43. Does 18 divide s?
True
Let q(y) = -y**2 + 13*y - 10. Let c be q(11). Suppose c = -5*i + 6*i. Is i even?
True
Let r be (12 + 0)/(-6) + 5 + 2. Suppose 5*t = -4*c - 285 + 969, 0 = r*t + 20. Is c a multiple of 16?
True
Let o be (20/25)/(4/590). Let w = -1 + o. Suppose 5*h + 51 = 2*q, -h + 6*h = 4*q - w. Is q a multiple of 9?
False
Suppose 0 = 2*k + 8 + 4. Is (k/(-2)*-1 - -79)*1 a multiple of 19?
True
Let o(x) be the first derivative of 7*x**4/2 - x**3 - 3*x**2/2 + 6*x + 11. Does 25 divide o(2)?
True
Suppose -j + 5*j - 12 = -3*o, -3*o = -4*j - 12. Suppose 2*a = -5*z + 147, -3*z + j*a + 85 = 2*a. Suppose 2*k - z = 11. Is k a multiple of 14?
False
Suppose -44 = 4*i - 8*i. Let r = 60 + i. Suppose 0*v + r = 4*v - 5*q, v = -2*q + 34. Is 24 a factor of v?
True
Let t = -7 - -6. Let m = 3 - t. Suppose -k = -m*k + 84. Is 12 a factor of k?
False
Suppose 0 = 5*r - 5*i - 22 - 18, 0 = 4*r + 2*i - 2. Is 16 a factor of ((-1)/r*-3)/(2/158)?
False
Suppose -5*c - n = 176, 0*n = 2*c - n + 76. Let k = c - -41. Does 5 divide k?
True
Let x(u) = -u - 87. Let m be x(0). Let j = 34 + m. Let o = j + 109. Does 28 divide o?
True
Let q(v) = 5*v**3 - v**2 - v + 11. Does 9 divide q(5)?
False
Let w(q) = 15*q - 18. Let u(s) = -14*s + 17. Let d(i) = 2*u(i) + 3*w(i). Is 19 a factor of d(9)?
True
Let i(p) = -20*p + 4. Let f be ((2 - -1)/3)/(2/(-8)). Is i(f) a multiple of 12?
True
Is (-211)/(-11) - (-9)/(-495)*10 a multiple of 4?
False
Let m be -14 - (-4)/(-12)*0. Let r(j) = -j - 3. Is r(m) a multiple of 4?
False
Suppose 84*p - 88*p - 4*l = -4784, -3*p + 3604 = -l. Is 30 a factor of p?
True
Let q(u) = 11*u**2 + u. Let n be q(-1). Let z(h) = -h**2 + 9*h + 12. Let a be z(n). Suppose 4*y + 0*y = -a*d + 58, 2*d = -6. Does 6 divide y?
False
Let x = 842 - 319. Is 14 a factor of x?
False
Let r(t) = t - 3. Let u be r(-5). Let v be (u/(-6))/(4/6). Is 11 a factor of 2526/54 + v/9?
False
Suppose -45 = 2*o - 309. Suppose -5*r + o = r. Is r a multiple of 3?
False
Let q = -19 - -22. Suppose 3*n + 6 = -3, -q*n = -5*f + 19. Suppose -5*i + 175 = -3*u, -f*i - u = 14 - 73. Is 8 a factor of i?
True
Let a be 0 - 0*2/(-4). Does 21 divide (-21)/((-2)/(-8)*(a + -4))?
True
Let a be (-75)/((-1)/(-3) + 14/12). Does 31 divide (-5)/(a/8)*(-310)/(-2)?
True
Let k(i) = i**3 - 13*i**2 - 16*i + 20. Let y be k(14). Let f(w) = -15*w + 2. Does 17 divide f(y)?
False
Let s = -162 + 165. Suppose -2*r + 4*n - s*n = -472, -4*n = -r + 250. Does 36 divide r?
False
Suppose -x - 5 = -1. Is 8 a factor of x/(-8)*-75*(-2)/3?
False
Let d(i) = 2*i - 11. Let l(a) = 4*a - 23. Let c(p) = 13*d(p) - 6*l(p). Let u be c(-2). Let x(v) = -2*v - 3. Does 15 divide x(u)?
True
Let w = 155 + -