3?
True
Suppose 4*c - 5980 = 4*h, 2*c = -2*c - 4*h + 5964. Is c a multiple of 6?
False
Suppose -2*p = 5*g - 395, -3*g + 215 + 6 = -2*p. Let b(o) = 5*o - 87. Let t be b(11). Let s = g + t. Is 9 a factor of s?
True
Let l be (-1*(-15)/20)/((-2)/(-160)). Let b = 75 - l. Let w = b + 25. Does 6 divide w?
False
Let k be 45952/(-80) - -5 - 4/(-10). Let z = k - -935. Does 27 divide z?
False
Let t = 5219 + -4317. Does 41 divide t?
True
Let i = 99 - 84. Suppose i = 18*s - 13*s. Is s a multiple of 3?
True
Suppose -75*w = -26*w - 218785. Is w a multiple of 18?
False
Let x(w) = 5*w**3 + 33*w**2 + 3*w + 6. Is x(4) a multiple of 8?
False
Suppose -c = 33*v - 36*v + 9026, -2*c - 10 = 0. Is v a multiple of 31?
True
Suppose -16*s - 94 = -110. Let x(v) = 214*v + 22. Is x(s) a multiple of 11?
False
Suppose -2*a = 2*q + 28, -4*a - 23*q - 46 = -21*q. Let f(p) = 2*p**2 - 5*p - 66. Is 8 a factor of f(a)?
False
Suppose -7*f - 2*f = -387. Suppose -f*r = -41*r - 16. Suppose 0 = r*m - 55 - 153. Is m a multiple of 22?
False
Suppose 27*k + 69797 = 34*k. Is k a multiple of 13?
True
Let f = -14 - -10. Let l(i) = 235*i + 8*i**2 - 10 + 237*i - i**2 - 480*i. Is l(f) a multiple of 25?
False
Let h(l) = l**2 + 17*l + 85. Let g be h(-8). Suppose -9*n = -g*n - 3*r + 3093, -r = 3*n - 2326. Is n a multiple of 12?
False
Let f be (252/(-70))/((-3)/10). Does 23 divide f/32 + 1837/8?
True
Let p(i) = -i**2 + 12*i. Let d = 52 + -55. Let g(y) = -y**3 - 2*y**2 + 2. Let c be g(d). Is 4 a factor of p(c)?
False
Let a(x) = -x**3 - 14*x**2 - 12*x + 17. Let b be a(-13). Suppose -y + 3*u + 14 = -2, -2*y = -b*u - 42. Does 2 divide y?
False
Let a = -1927 + 2353. Is 8 a factor of a?
False
Let o(v) = -3*v**3 + 8*v**2 - 14*v + 15. Let a be o(-11). Let b = a + -7184. Is 35 a factor of (4/3)/(-4 - b/513)?
False
Let y(a) = a**3 - 16*a**2 - 16*a - 15. Let g be y(17). Let w(h) = 2 + h**g - 28*h**3 + 9*h**3 + 0*h + 18*h**3 - 4*h. Is w(0) even?
True
Suppose -5*v = -w - w + 522, v = 3*w - 107. Let t be (-2 - v)/((-10)/(-25)). Suppose -10*g - t = -15*g. Does 21 divide g?
False
Suppose 0 = 5*t - 10. Suppose 186 = 5*r - 3*q, -4*q + 7*q = t*r - 69. Suppose 2*x - 151 = r. Is x a multiple of 17?
False
Let f = 86 + -79. Let v be ((-34)/1)/(f/(-42)). Suppose v = 12*d - 8*d. Is d a multiple of 17?
True
Suppose -63*y + 186904 = -20*y - 143852. Is 6 a factor of y?
True
Suppose -4*p = -p - 285. Let a = p - 13. Does 11 divide a?
False
Let k = -239 + 244. Let l(w) = w**3 - 2*w**2 + 12*w - 74. Is 2 a factor of l(k)?
False
Suppose -4*b = -3*u + 5672, 5*u = -b - 2*b + 9492. Does 17 divide u?
False
Let c(y) = -4*y + 43. Let n be -4*-2*9/12 + 4. Let f be c(n). Suppose -28 = -f*m + 2. Is m a multiple of 5?
True
Suppose -2*c + 38 = -50. Let r = 99 + c. Suppose 0 = 5*f - r - 152. Is f a multiple of 13?
False
Is 1*40536*(31 + (-728)/24) a multiple of 4?
True
Suppose 14*x + 2266 - 7054 = 0. Suppose -2*b + 4*t + x = 0, 2*b = 4*b + 2*t - 360. Is 9 a factor of b?
False
Suppose o = -4*y + 26322, 0 = 736*y - 734*y - o - 13152. Does 3 divide y?
True
Let h be -83*8/(-20) - (-2)/(-10). Suppose f - 13 - h = 0. Let l = f + -19. Does 9 divide l?
True
Let x(n) = 726*n**3 - 3*n**2 + 14*n - 10. Does 18 divide x(2)?
True
Let q = 11 - 11. Suppose 5*n + 526 = j, n + q*n - 1498 = -3*j. Suppose -5*o = 2*y - 6*y - 852, y = -3*o + j. Does 42 divide o?
True
Suppose 61*y + 177087 - 139288 = 1018069. Does 5 divide y?
True
Let m = 2612 + -1089. Is m a multiple of 116?
False
Let s = -34 + -38. Let z = s + 165. Is z a multiple of 18?
False
Suppose l - 16 = 2*i - 71, -5*l - 4*i - 205 = 0. Let g = l - -35. Is 4/g + (-174)/(-10) a multiple of 5?
False
Suppose -143*h + 5091250 = 107*h. Does 121 divide h?
False
Let o(f) = 2*f**3 + 44*f**2 - 136*f + 145. Is o(15) a multiple of 13?
True
Suppose 27*a = 53*a - 8424. Is a a multiple of 18?
True
Let q(l) = 34*l - 83*l + 2 + 31*l. Does 11 divide q(-8)?
False
Suppose 11*t - 21*t + 26*t = 47360. Is t a multiple of 18?
False
Suppose 3*g + g + 3600 = 0. Suppose 0*i = n + 2*i + 21, 4*n - 4*i + 108 = 0. Is ((-1*1)/(-2))/(n/g) a multiple of 6?
True
Let s(z) = -336*z + 3096. Is s(-6) a multiple of 27?
False
Let a(c) = 3*c**2 - c - 7. Let k be (1 + -11)*9/(-45). Let r(m) = m**2 + m - 1. Let d(n) = k*r(n) - a(n). Is d(3) a multiple of 3?
False
Let i(d) = 10*d - 28. Let s = 126 - 48. Let j = 84 - s. Does 28 divide i(j)?
False
Let u(a) = -15*a**3 + 12*a**3 - 13*a**2 + 0*a**2 + a - 13*a + 4. Let m(q) = -13*q**3 - 52*q**2 - 49*q + 15. Let c(g) = -2*m(g) + 9*u(g). Does 11 divide c(-13)?
False
Suppose -133 - 59 = 12*q. Let v(g) be the third derivative of -g**6/120 - g**5/4 + 2*g**4/3 + 7*g**3/2 + 5*g**2. Is 2 a factor of v(q)?
False
Suppose t + 2 = 0, -2*t = -5*q + q + 40. Suppose -5*y = -q*y - 64. Let b = y - -30. Is b a multiple of 14?
True
Let v(a) = 675*a**2 - 6*a - 45. Is v(-3) a multiple of 27?
True
Let h be (-2)/((-24)/250) + 9/54. Is (-3 + h/2)*76/3 a multiple of 10?
True
Suppose 5*k + 5 = -4*a + 4*k, -2*a = 2*k + 10. Suppose a = -3*m - 7*m + 1170. Is 9 a factor of m?
True
Let x = 52 - 48. Suppose -f - x*w = -272, 2*f + w - 529 = -4*w. Suppose 6*g - f = -g. Is g a multiple of 6?
True
Suppose -2*w - 2*z - 51209 = -7*w, -3*z = 3*w - 30738. Is 110 a factor of w?
False
Suppose -3*q = k - 21719 - 7977, -9896 = -q - k. Is 100 a factor of q?
True
Let i(g) = 3*g**2 - 20*g - 23. Let h(v) = -v**2 + 5*v + 6. Let x(f) = -9*h(f) - 2*i(f). Let y be (-105)/(-12) - (-1)/4. Is x(y) a multiple of 10?
True
Let w(z) be the third derivative of z**5/30 - z**4/24 - z**3/2 + 11*z**2. Let m be w(2). Suppose m*k = 2*k + 7. Is 2 a factor of k?
False
Let f(w) = -w + 12. Let c be f(-4). Let t = c - 32. Let j(i) = -i**3 - 14*i**2 + 23*i - 9. Is j(t) a multiple of 17?
False
Suppose -11*d + 6*d - 10 = 0. Let b be (d - -1)/((-2)/36) + 2. Let h = b - -46. Is h a multiple of 8?
False
Let g(m) = -3*m**2 + 2*m - 6. Suppose -3*i + 30 = -0. Let k be g(i). Let u = -166 - k. Is u a multiple of 12?
True
Let f be 6472/(16/4) + (-14 - -10). Is 8 a factor of (-7)/(-14) - f/(-4)?
False
Let c(q) be the second derivative of -q**6/90 + q**5/20 + 5*q**4/12 - 2*q. Let l(x) be the third derivative of c(x). Does 30 divide l(-3)?
True
Let s be (-6)/8 + 6/(-24). Let w(r) = -434*r - 7. Is w(s) a multiple of 24?
False
Let a be ((-1520)/(-32))/((-2)/4). Let h = a + 599. Is 9 a factor of h?
True
Let h be (-1)/2*-2 + 4. Suppose 0 = -18*d + 12*d + 12. Suppose 4*v = h*q - 204, -2*q + 81 = d*v - 3*v. Does 10 divide q?
True
Suppose -3*x = 5*x - 4*x - 42428. Does 3 divide x?
False
Suppose -3*f - 219 = -213. Is 6 a factor of (-186)/(-5)*(f + 2 - -10)?
True
Let l(b) = -b**3 - b**2 - 8*b + 7. Let j(r) = 4*r - 13. Let u(h) = -h + 3. Let d(k) = 2*j(k) + 9*u(k). Let i be d(5). Does 13 divide l(i)?
False
Let w(c) = 30*c**2 + 15*c + 395. Is 24 a factor of w(18)?
False
Let u be 0 + (10 - -1)*-1. Let c be (-4 + u/(-4))*-4. Suppose -399 = -c*d + 231. Is 21 a factor of d?
True
Suppose 0 = -4*h - 44 - 332. Let v = h + 81. Is 2 a factor of v/4*(-7 - -3)?
False
Suppose -19*r + 25817 = -8*r. Is r a multiple of 4?
False
Suppose -3*p - 9*d + 2138 + 11776 = 0, 18630 = 4*p - d. Does 16 divide p?
True
Let q be (-3)/((-4)/(-2) + (-77)/35). Suppose 3215 = 19*p - q. Does 4 divide p?
False
Let q = 18802 - 18399. Is 2 a factor of q?
False
Let l = 12 + -9. Suppose c - 89 - 101 = -3*i, 542 = l*c - 5*i. Suppose 351 = 2*d + 3*s - c, 0 = -d + 3*s + 263. Does 11 divide d?
False
Let f be -3*2 + (1 - (-15)/5). Is (f + 574/4)/((-1)/(-2)) a multiple of 16?
False
Let f(t) = -t**2 + 23*t + 2. Let w be f(24). Let r = -15 + w. Let a = 3 - r. Does 10 divide a?
True
Let v be (-3)/(-2) + 73/2. Let s = 7 + v. Suppose -2*y + 5*m + 68 = -s, 4*m = y - 58. Does 36 divide y?
False
Let q(z) = -11*z**2 - z - 2. Let l be q(-1). Let u be (-198)/(-3)*(-6)/l. Let x = u - 17. Is 16 a factor of x?
True
Suppose 0 = a - 56 + 51. Is 86 a factor of a + (-1995)/(-6) - 1/2?
False
Suppose -2*r + 4*k = -14617 - 5037, -3*r = -3*k - 29508. Is 55 a factor of r?
True
Let o = -2534 + 2914. Is o a multiple of 5?
True
Let w = 22201 - 9804. Is 105 a factor of w?
False
Let z(x) = x**2 + 203*x + 1085. Is 60 a factor of z(70)?
False
Let i(u) be the first derivative of u**3/3 - 4*u - 3. Let s be i(12). Let y = 220 - s. Does 16 divide y?
True
Suppose 4*p = -4*q + 24, -