3*b + 326 = -1053 + 35. Is 64 a factor of b?
True
Suppose -589868 = -74*y + 13*y - 73*y. Is y a multiple of 54?
False
Let h be 978*(0 + 16/(-6) + 2). Let q = h - -1002. Is 14 a factor of q?
True
Suppose -33*w + 741 = -444 - 7065. Is w a multiple of 5?
True
Let o(r) = 3*r**2 + 17*r - 1. Let t be o(-7). Suppose -3708 = 9*h - t*h. Is h a multiple of 7?
False
Let d(j) = -8*j + 160. Let m be d(20). Suppose -p - 2*i = -52 - 63, p + 3*i - 116 = m. Is 2 a factor of p?
False
Let d = 229 + -490. Let f = 486 + d. Is f a multiple of 25?
True
Let u be (4/1)/(2 - 1). Let w(s) = -s**3 + 7*s**2 - 19*s - 10. Let z(i) = i**3 - 5*i**2 + 16*i + 6. Let y(d) = 4*w(d) + 5*z(d). Is y(u) a multiple of 30?
False
Let m = -2166 + 2456. Is m a multiple of 8?
False
Let g(w) be the first derivative of -2*w**2 - 40*w + 23. Let d be g(-11). Suppose -3*t + 5*t + 4*b = 26, -d*b = 5*t - 71. Does 5 divide t?
True
Suppose -5*r + 18*r = -1508. Let y = -53 - r. Let a = 187 - y. Is 31 a factor of a?
True
Let x(w) = 4*w**3 - 50*w**2 + 331*w + 30. Is x(10) a multiple of 12?
True
Is 410 + (-12)/6 + -8 + 2 a multiple of 3?
True
Suppose -32*m - 130 - 1726 = 0. Let r = m - -115. Is 9 a factor of r?
False
Let q = -141 + 144. Suppose q*l - 135 - 60 = 0. Does 2 divide l?
False
Let o(l) = -157*l - 110. Let g(n) = 7*n + 23. Let w be g(-4). Is 27 a factor of o(w)?
True
Suppose 6*g + 172 - 208 = 0. Let t(c) = -c**2 + 7*c + 4. Let p be t(7). Suppose 12 = -0*s + 2*s - p*q, -q = -s + g. Is 2 a factor of s?
True
Suppose 222*h + 4255 = 239*h - 131. Is 43 a factor of h?
True
Is 13 a factor of -24 - (-24 + -3) - (-12073 + 1*-2)?
False
Suppose -6*u = -20 + 2. Suppose -3*b - 1 = -5*h, 4*h - 4 = u*b + 2*h. Is 9 a factor of b/(-6)*(47 - 20)?
True
Suppose 3*a + 1 - 7 = 0. Let v be 6/(-2)*(32/3 - a). Let w = v - -73. Is 24 a factor of w?
False
Let s = 21245 + -9407. Is 161 a factor of s?
False
Suppose -19 = -2*k + d, -6 = 2*k + 4*d - 0. Suppose l + 47 = k. Does 10 divide (-3 + (-33)/(-15))*l?
False
Let k(o) = 90*o**3 - 5*o + 48 - 29 - o**2 - 23. Let s be k(-1). Let q = s + 141. Is q a multiple of 10?
False
Suppose 42 = 4*w - 0*x - x, 4*w - 5*x - 50 = 0. Is (-1 - w)/(3/(-36)) a multiple of 15?
False
Does 9 divide (1 - 10) + 1290 + 231?
True
Is ((-120)/135)/(((-24)/(-99))/8)*-483 a multiple of 56?
True
Let h(y) = y**2 - y - 5. Let o(x) = 9*x + 3. Let v(g) = 6*g + 2. Let m(n) = 5*o(n) - 8*v(n). Let r be m(-3). Does 17 divide h(r)?
True
Suppose 9 = -3*v, -2*r = 150*v - 152*v - 7074. Is r a multiple of 57?
True
Let f = 36 + -23. Let x(m) = -f + 32*m - 26 - 26*m. Does 13 divide x(17)?
False
Let d(i) = -64*i + 8248. Is d(-33) a multiple of 3?
False
Let h(d) = -11*d**2 + 9*d - 11. Let r(x) = -2*x - 2. Let z(t) = -t - 1. Let o(q) = 6*r(q) - 13*z(q). Let i(v) = -h(v) - 6*o(v). Is i(4) a multiple of 21?
False
Let u(m) = 37*m**2 + 17*m - 182. Is u(-38) a multiple of 20?
True
Let y = 27 + -4. Suppose 6*a + y = 773. Suppose a = 2*f - 191. Does 23 divide f?
False
Suppose 0 = -5*h - 3*w + 57, 2*h + 2*h - 16 = 5*w. Suppose -4*q + h*q = 15. Suppose q*l = 3*i - 174, 4*l + 46 = 2*i - 64. Does 15 divide i?
False
Let j be (3 + -1)*(-11)/((-55)/10). Suppose -4 = -0*v + 2*v, -j*c = -2*v - 1552. Is 43 a factor of c?
True
Suppose 2*i = -4*m - 184, m - 6*m - 230 = 3*i. Let u = m - -42. Is 21 a factor of (-6)/4*u/6 + 79?
False
Let l(m) = 2*m**3 - 17*m**2 + 9*m - 3. Let r be l(8). Is 11 a factor of (-10)/((-4)/770*r)?
True
Let t = 105 - 101. Let d(q) = 13 + t*q - 37 + 3*q + 13. Is d(8) a multiple of 11?
False
Is (-12)/(-24)*-2145*-6*24/9 a multiple of 220?
True
Let z(p) = 15*p**2 - 6*p + 15. Let h(m) be the second derivative of -2*m**4/3 + m**3/2 - 7*m**2/2 - 17*m. Let x(o) = 11*h(o) + 6*z(o). Is 22 a factor of x(3)?
True
Suppose 134*s - n - 30820 = 129*s, -4*s = -4*n - 24640. Does 18 divide s?
False
Is 19*(-8 + (-244 - -10))*(-6)/4 a multiple of 11?
True
Let z = -4272 - -7630. Is z a multiple of 73?
True
Suppose -512418 - 32295 - 91835 = -74*j. Is j a multiple of 17?
True
Does 35 divide 2455/2*(-12432)/(-740)?
False
Is 96 a factor of 17771 - (-7)/2*176/(-56)?
True
Let j(s) be the first derivative of 101*s**3/3 + 3*s**2/2 - 4*s + 9. Is j(-2) a multiple of 36?
False
Suppose -5*z - 3*v + 299 = -250, -2*z - 5*v + 231 = 0. Suppose -766 = -19*o + z. Is o a multiple of 21?
False
Let a(m) = -293*m - 1862. Does 19 divide a(-7)?
False
Let t(u) = -226*u - 3. Let q(w) = 226*w + 2. Let o(n) = -2*q(n) - 3*t(n). Does 33 divide o(1)?
True
Let l = 83 + -3. Suppose 5*v = -3*v + l. Is 108/1*v/20 a multiple of 27?
True
Let x(j) = j**2 + 2*j. Let a be x(-3). Let t = 3307 + -3169. Suppose a*g = k + 439, g + 0*k - t = 2*k. Is 23 a factor of g?
False
Let x be 6*3/9 - 0. Let c be (0 + x - 1) + (-5 - -6). Does 27 divide 86 - (-5 - (c + -5))/1?
False
Let s = 81 - -25. Suppose 0 = 4*c - c - i - s, -c = -2*i - 37. Suppose 30*t = c*t - 210. Does 7 divide t?
True
Suppose -q - 4*d + 5614 = 0, 4*q - 211*d - 22439 = -210*d. Does 17 divide q?
True
Let p = -113 - -112. Let c(v) = -92*v**3 + 3*v**2 + 6*v + 3. Is 20 a factor of c(p)?
False
Let u(g) = 8*g - 39. Let f be u(6). Let b be 9*(2 + (-15)/f). Suppose -b*h = -4*q - 4*h + 558, -4*q + 562 = -h. Is q a multiple of 10?
True
Let q(f) = 340*f - 44. Let k be q(5). Suppose -5*n + 4981 = k. Does 30 divide n?
False
Suppose -4*j - 884 = -2*w, j = 29*w - 33*w + 1723. Does 2 divide w?
True
Does 70 divide (867*(-17)/(-85))/((-1)/(-65)) + -1?
True
Suppose -90*n = -91*n - 4. Let u(t) = -t**3 + 3*t**2 - 5*t + 4. Does 8 divide u(n)?
True
Let d be (-12)/(-10)*(-50)/(-20). Is 25 a factor of (d/18*-2)/((-5)/1335)?
False
Suppose 5*q - 4*n = 6639, q - 1323 = -0*q - 4*n. Suppose -2*u = -a - 671, 5*a = -2*u + 6*u - q. Does 48 divide u?
False
Suppose 0 = -450*h + 449*h + 8. Does 15 divide (-2 + 4 - -133)/(h/24)?
True
Suppose 234 = b - d - 4*d, 0 = -5*d + 15. Let q = 275 - b. Is 7 a factor of q?
False
Let x be 2/(-8) + (-171)/36. Let h(i) = i**3 + 12*i**2 + 19*i - 9. Let j be h(-10). Does 2 divide -2 - 0 - x - j?
True
Suppose 9647 = 5*u - 3*p, 6*u = 4*u + 3*p + 3866. Is 41 a factor of u?
True
Let i = 11354 - 7742. Does 14 divide i?
True
Suppose 555924 = 85*i - 481756. Is 218 a factor of i?
True
Suppose 5*w + 74 = 94. Suppose 0*a = -2*l + w*a - 260, -133 = l - 5*a. Let g = 252 + l. Is g a multiple of 31?
True
Let a = 165404 - 117308. Is 16 a factor of a?
True
Suppose 0 = -12*r + 47 - 11. Suppose 2*h - r*m = 2*m + 33, -22 = -3*h + 2*m. Suppose 4*j = 3*z + 2*z + 644, 0 = h*j - 3*z - 644. Does 36 divide j?
False
Suppose 4*o = 3*y + 16451, 5*o + 10164 = 3*y + 30727. Does 16 divide o?
True
Let k(s) = -5*s + 71. Let j be k(-29). Let i = j - 56. Is i a multiple of 23?
False
Let y(i) = i**3 - 15*i**2 + 30*i + 8. Let m be y(13). Suppose 59*x + 493 = m*x. Is 15 a factor of x?
False
Suppose -242*o = -262*o + 181620. Is 49 a factor of o?
False
Suppose -2300383 = -66*p + 1464374 - 956259. Does 247 divide p?
False
Let q(h) = -h**3 + 4*h**2 + 7*h - 1. Let y(a) = 15*a + 19. Let s be y(-1). Is 9 a factor of q(s)?
True
Let u = 7 - 4. Let x(z) = 2 + 2065*z + 0*z**2 - 2*z**2 + 4*z**2 - 2063*z + 3*z**2. Does 12 divide x(u)?
False
Let o(n) = n**3 - 8*n**2 + 2*n - 11. Let q be o(8). Suppose 2*g = -q*p - 88, 4*g + g = -5*p - 85. Is p*4/(-10)*330/18 a multiple of 12?
True
Let u(w) = 9*w**2 + 49*w - 54. Is 7 a factor of u(12)?
False
Let q = -278 + 285. Let p(o) = 2*o**3 - 10*o**2 - 8*o - 28. Is p(q) a multiple of 14?
True
Suppose -217*s + 1108039 + 1240961 = -1834109. Does 18 divide s?
False
Let h(s) = -958*s + 1980. Is 77 a factor of h(-7)?
False
Does 21 divide ((-34162)/(-494) - 2/13)*1*91?
True
Let s = 353 + -212. Does 18 divide s - -9*(-3 - -2)/(-3)?
True
Suppose 0 = -2*f + 811 + 29. Let y = f + -376. Is y a multiple of 3?
False
Let s be 0/(-3)*1/3. Suppose s = -3*q + 2 + 4. Suppose 4*h - 192 = -4*i, -q*i + 0*i - h + 93 = 0. Is i a multiple of 9?
True
Suppose 0 = 3*g - h + 1971, -5*g + 0*h + 4*h - 3278 = 0. Let c(t) = 36*t**3 + t**2 + t - 4. Let p be c(-3). Let u = g - p. Is u a multiple of 13?
True
Let b = -4177 - -5619. Is 43 a factor of b?
False
Suppose -94*n + 22518 = -38*n - 10074. Is 3 a factor of n?
True
Let h be -112 + 5 + (4 - 12). Let i = h + 117. Is 17*(-4 + i - -4) a multiple of 8?
False
Let o = -3004 - -6520. Suppose 5*i = 4*f - o, 6479 = 5*f - 4*i