 of 27?
True
Suppose -8*w - 17*w + 125 = 0. Let h(n) = -3*n**2 - 4 + 0*n**3 + n**3 + 2*n + 0*n**3. Does 8 divide h(w)?
True
Suppose 12*f + 96*f - 33912 = 0. Does 13 divide f?
False
Suppose k = -3*i - 8, -14 = 5*i + 1. Let f(n) = 221*n + 3. Let p be f(k). Suppose 22*u - 15*u - p = 0. Does 2 divide u?
True
Let c be 2/(-7) - (-720)/315. Suppose 2*o - 17 - 210 = -3*f, -5*o + 539 = -c*f. Does 14 divide o?
False
Let h = -245 + 257. Suppose -3*b = -3*p + 987, h = b + 8. Is 9 a factor of p?
True
Let l be (2 - 0) + 178/2. Let o = -203 + l. Does 22 divide -2 + (1 - o) - 1?
True
Let i(w) = 56 + 56 + 2*w**3 - 89 - 11*w - 8*w**2. Is 15 a factor of i(7)?
True
Let j(f) = -f**3 - 28*f**2 - 75*f + 5. Let m be j(-25). Suppose -6*l = m*n - 2*l - 314, 0 = 4*l - 4. Is n a multiple of 31?
True
Suppose -r = -2*r + 853. Suppose 6*g - r = 77. Is 3 a factor of g?
False
Let y = 20910 + -9822. Is y a multiple of 264?
True
Let t(m) = -m**3 - 16*m**2 + 17*m - 1. Let p be t(-17). Let i be (-4 - 2*-3)/((-1)/p). Suppose i*f - 2*d = f + 66, 0 = -d + 2. Is f a multiple of 35?
True
Suppose -1300130 = -67*s - 58*s - 12*s. Does 13 divide s?
True
Suppose -15*d - 372 = 2103. Let z = -1 - d. Is z a multiple of 6?
False
Let c(n) = 12*n + 13*n + 48*n + 0*n - 53. Let s be c(11). Suppose 250 = -4*w + s. Does 25 divide w?
True
Let r be (-446)/(-7) + (-6)/(-21). Let q be 1 + 6 + (2 - (-1176)/4). Suppose 5*n + 3*x - q = 0, x = -n - 3*x + r. Is n a multiple of 12?
True
Suppose 3*b - 2876 = -b. Let h = 570 - 10. Suppose -5*d = f - b, 3*d + 3*f = 7*d - h. Is 11 a factor of d?
True
Suppose 36*w = 5212 - 1216. Suppose -4*v + 5*s = -w, -2*s + 24 = 3*v - 65. Does 25 divide v?
False
Let i be 34*(-8)/((-64)/28). Suppose 4*d - z + i = 1010, -5*z = 4*d - 921. Is 16 a factor of d?
True
Suppose 0 = 2*n - 80*b + 83*b - 30582, -3*n - 3*b + 45882 = 0. Is n a multiple of 140?
False
Suppose -b + 65760 = 2*p, -3115*b + 131520 = 4*p - 3110*b. Is p a multiple of 20?
True
Does 25 divide (4/(-6))/(41 + -37) - 4742/(-12)?
False
Is 90394/20 + (-204)/(-680) a multiple of 8?
True
Let d(z) be the first derivative of z**4/4 + 10*z**3/3 - 11*z**2/2 + 14*z + 95. Does 12 divide d(-8)?
False
Suppose 2*l - 15*l + 39 = 0. Suppose 0 = b + 4*o - 3*o - 12, -b + 2*o - l = 0. Let i(c) = -c**3 + 7*c**2 + 4*c + 7. Is i(b) a multiple of 7?
True
Let a(o) = o**2 + 1. Suppose -5*l + 16 = 2*b + b, l = -3*b + 8. Let i be a(b). Let d = i - -1. Is 2 a factor of d?
True
Let f = -13305 + 16354. Is 10 a factor of f?
False
Let m(t) = t**2 - 2. Let k be m(8). Let n = 66 - k. Suppose -33 = -x - 3*h, n*x = -5*h + 7*h + 90. Does 8 divide x?
True
Is 79 a factor of 3*(1040/(-650) + (-71818)/(-30))?
False
Let s(x) = -10*x + 900. Is 4 a factor of s(54)?
True
Let v(c) = 8*c**3 - 3*c**2 - 3*c - 1. Let u be v(-1). Let i(d) = -27*d - 2 + 2 + 2 + 0. Does 49 divide i(u)?
True
Let h = 63662 + -44006. Is 104 a factor of h?
True
Suppose 1008*q = 1013*q - 10. Is 452 + 3 - q*-2 a multiple of 9?
True
Let k(m) = -6*m**3 - 5*m**2. Suppose -2*l + 5*a = -28, 3*a = 3*l - 5*l - 4. Suppose q = 3*d + 3, d + q - l = -9. Is k(d) a multiple of 3?
False
Let s = 1077 - 477. Suppose 6*l - s = -180. Is 10 a factor of l?
True
Suppose 98 = -5*c - 2*g, -4*g = -5 + 1. Is 20*(2/c + (-488)/(-80)) a multiple of 8?
True
Let l(u) = 18*u - 127. Let b be l(37). Suppose -2*a + 4*p + b = -185, 4*a - 2*p = 1442. Is 72 a factor of a?
True
Let t = 9195 - 2929. Is t a multiple of 26?
True
Suppose 0 = v - 2, 31*z - 93472 = 27*z + 6*v. Does 10 divide z?
False
Does 104 divide (-68965)/(-39) + 3/(-9)?
True
Let x = 707 - 776. Is 2 a factor of (x/15)/(5/(-25))?
False
Is 104 a factor of (493/2)/((-208)/(-16) - (-516)/(-40))?
False
Let s = 35 - 18. Let y be (-18 + 16 + 156)*4/14. Let i = y - s. Does 17 divide i?
False
Suppose -5*n - 10 = -5. Let c(j) = -4*j**3 + 6*j**2 + 3*j + 3. Let f(x) = x**3 + 1. Let w(y) = n*c(y) - 6*f(y). Is w(-4) a multiple of 5?
True
Let h(x) be the second derivative of 29*x**4/12 - 5*x**3/2 - 71*x. Is 12 a factor of h(3)?
True
Let k = 4344 + -2458. Is k even?
True
Suppose 0*j = j - 2. Suppose 0 = -2*d - j*d - k + 4121, 2*d + 4*k - 2078 = 0. Is d a multiple of 21?
True
Let j = -30457 + 51071. Does 11 divide j?
True
Let c = 137 - 133. Let t = 169 + -1. Suppose -t = c*k - 8*k. Is k a multiple of 14?
True
Is (-8)/((8 - 1038/129)/34) a multiple of 18?
False
Let n(r) = r**2 + 11*r + 13. Let u be n(-12). Is u/5 - 2*-10 a multiple of 5?
True
Is ((-108)/63)/(7 + 72280/(-10325)) a multiple of 130?
False
Let j = 4427 + -371. Is 52 a factor of j?
True
Suppose -2*f - 1551 = -6*f - 5*n, 3*f = 3*n + 1197. Suppose 0 = k - 321 - f. Does 65 divide k?
True
Let m(d) = -3*d**2 + 20*d - 20. Let t(o) = -2*o**2 + 18*o - 21. Let c(f) = 3*m(f) - 4*t(f). Is c(-10) a multiple of 22?
True
Suppose -4 + 76 = 3*f. Suppose 3*g = 15*g - f. Suppose 168 = 2*m - 7*k + g*k, -5*k - 420 = -5*m. Does 21 divide m?
True
Suppose 0 = 3*i + 6*q - 1659, -7*i + 6*i + q = -547. Does 26 divide i?
False
Suppose 3*z + o - 1 = 0, 2*z - z + 5 = -3*o. Let q(g) = 51*g**3 + g**2 + 4*g - 4. Does 13 divide q(z)?
True
Suppose 4*z - 25 = u, 4*u - 2 = 3*z - 37. Suppose 16 = z*h - 104. Does 10 divide (-20)/15*(0 - h)?
False
Is 16 a factor of 10774/4 + (285/(-30))/(-19)?
False
Let y(d) = -d**2 - 10*d - 16. Let r be (2 + 4)/(6/(-8)). Let t be y(r). Suppose t = -0*b - 4*b + 308. Is 16 a factor of b?
False
Let v = 39 - -53. Suppose -4*g - v = -592. Suppose 3*i - g = -2*m - 2*i, -3*m = -2*i - 159. Is 11 a factor of m?
True
Is 5 a factor of ((-5)/7)/((-16)/69472) + 52/91?
False
Suppose 37945 = 5*t + h, 3*t + 5*h - 28659 = -5870. Is 14 a factor of t?
True
Is (4 - 17 - 335/(-25)) + (-105233)/(-5) a multiple of 275?
False
Let y(d) = -d**3 - 7*d**2 + 2*d + 11. Suppose -8*k - 3 = -3. Let c(m) = -4*m - 9. Let a be c(k). Is 39 a factor of y(a)?
False
Suppose -4*o + 2*q + q - 387 = 0, -2*q = o + 83. Let m = o + 245. Is m a multiple of 17?
False
Suppose -7*v - 13*v = -8*v - 32256. Is 12 a factor of v?
True
Let z be (-12798)/(-36) - (-2)/4. Let a(d) = 80*d**2 - z*d + 356*d. Is 16 a factor of a(1)?
True
Let h be 2/(-13) + 0 + (-446)/(-26). Let d = h - -235. Does 9 divide d?
True
Let y = 44 + -42. Let k be (y - 12/9)/((-4)/(-18)). Suppose -4*s - 92 = -4*t - k*s, 69 = 3*t + 3*s. Is 4 a factor of t?
False
Suppose 2*y - 2*b + 15 = 7*y, 0 = 3*b. Suppose -3*p - y*i + 828 + 147 = 0, -2*i = 4*p - 1300. Does 24 divide p?
False
Suppose 2237690 = -164*x + 234*x. Is x a multiple of 152?
False
Is -174*(-13 - (-4616)/(-24)) a multiple of 63?
False
Let u be -1*((-12)/4)/1. Suppose -71 = -n + 8*g - u*g, -136 = -2*n + 4*g. Does 3 divide n?
True
Let y(w) = 91*w - 10. Let x be y(-3). Let o = -48 - x. Suppose -2*s = -q - 46 - 120, -2*q + o = 3*s. Is s a multiple of 18?
False
Let f(c) = 3*c**2 - 5*c + 3. Let n be f(6). Suppose m + 21 + n = 0. Let z = m + 166. Is z a multiple of 16?
True
Let z be -4 - 1 - (-5 - (-210)/5). Let h = -24 - z. Does 3 divide h?
True
Let w = -416 + 2072. Is w a multiple of 18?
True
Let y(q) be the first derivative of -4*q**2 + 22*q - 115. Let m = -30 + 11. Does 29 divide y(m)?
True
Let o(x) = 2*x + 2. Let t be o(0). Suppose -12 = -4*j - t*m, 2*m = j - 6 - 7. Is 6 a factor of (18/j)/(-1 - 11/(-10))?
True
Let d = -812 + 827. Suppose 5054 = -d*n + 53*n. Is n a multiple of 15?
False
Let d(a) = -2*a**2 - 20*a + 3. Let x be d(-10). Suppose -4*r - 16 = 4*f, -3 = -f - 7. Suppose r = x*z + 19 - 40. Is 5 a factor of z?
False
Let b = -73 - -64. Let z(v) = 2*v**3 + 18*v**2 - 2*v + 5. Let r be z(b). Let c = r - -22. Is c a multiple of 3?
True
Suppose 0 = -5*i - 5*p + p - 101, -2*i = 5*p + 37. Suppose -6 + 7 = f. Is 8 a factor of 61/f + i/(-7)?
True
Let c be (210/(-4))/(-5)*(-44)/6. Let o = 643 - c. Does 36 divide o?
True
Does 8 divide 4517 + ((-1)/((-50)/154) - 412/5150)?
True
Let t(s) = s**3 + 14*s**2 - 13*s - 10. Let r be t(-10). Suppose 11*j - 6*j - r = 0. Is 4 a factor of j?
True
Suppose 3*b + 9*g - 127 = 7*g, -5*g + 160 = 4*b. Suppose -7*j - 2*j = -b. Suppose 196 = j*q - 404. Is 40 a factor of q?
True
Is 133 a factor of 6*26/13 + 11426?
True
Let l = -11 - -16. Suppose k - 4 = l*m - 2*m, m - 20 = -5*k. Suppose 0 = -2*w - u + 156, -3*w + 0*u + 229 = k*u. Is w a multiple of 20?
False
Suppose 3167534 + 1487956 = -25*r + 319*r. Is r a multiple of 6?
False
Su