e 5*n - 3*z - 145254 + 30617 = 0, 0 = -5*n - z + 114661. Is n a multiple of 134?
False
Let s(h) = -234*h - 16919. Is s(-93) a multiple of 7?
False
Let q(d) = d**2 - 12*d + 13. Let i be 4784/120 + (-2)/(-15). Suppose 1 = -k - 3, 4*u = -5*k + i. Does 29 divide q(u)?
True
Let z = 1554 + 3343. Suppose -16*f = -z - 19391. Is 13 a factor of f?
False
Let h(d) = -2 + 6*d**2 + 8*d**2 - 220*d + 230*d. Is h(-6) a multiple of 20?
False
Let j be ((-5)/3)/((-25)/30). Is 860 + (j/(-3) - 4/3) a multiple of 22?
True
Let t(o) = 2*o**3 - 23*o**2 - 41*o + 53. Let b(n) = n**3 - 12*n**2 - 21*n + 26. Let s(i) = -5*b(i) + 2*t(i). Is 8 a factor of s(15)?
True
Let h(n) = 38*n - 8. Let u(q) = 20. Let m(w) = -9. Let l(k) = -9*m(k) - 4*u(k). Let t(p) = -2*h(p) - 28*l(p). Is t(-3) a multiple of 29?
False
Let k be 6/2 - 6 - 14/(-1). Let v = -7 - k. Let g = v - -36. Does 9 divide g?
True
Let r be (-5676)/(-559) + ((-6)/(-13))/(-3). Does 19 divide (1 + (-8 - -3)/r)*1118?
False
Let y = -8 - -8. Let t be 1/4 - (-2)/56*-7. Suppose -4*p - f - f + 174 = y, t = 2*p + 3*f - 85. Is 22 a factor of p?
True
Suppose -60*z = -61*z. Does 22 divide (-22 + z)*15/(-6)*2?
True
Let q = 413 - 418. Is (1 - 5)/((q + 3)/154) a multiple of 11?
True
Let n = -246 + 372. Suppose -n*v = -127*v + 198. Does 20 divide v?
False
Is 22 a factor of (214280/140)/(10/70)?
True
Let a = 23796 + -16132. Is 16 a factor of a?
True
Let h = 73 - -3101. Is h a multiple of 69?
True
Let q(x) = 7*x + 58. Let v be q(-8). Does 8 divide v + (-3 - 10/3*-15)?
False
Let l = 0 + 50. Let f be (-4 - -24)/(-2) - (-6)/(-6). Let u = l + f. Is 13 a factor of u?
True
Let n(i) = -i**2 + 4*i + 3. Let o be n(4). Suppose 2*t + o*t = 45. Is (t/3 - (5 + -36)) + -1 a multiple of 6?
False
Let c(y) be the third derivative of -y**4/6 + 37*y**3/6 + y**2 - 30*y. Is 13 a factor of c(6)?
True
Is (-1287)/78*((-3190)/6 - 3) a multiple of 11?
True
Let j = 48 + -48. Suppose j = -3*k - 0 + 6. Suppose -216 = -a - a + 4*g, -a = k*g - 88. Is 15 a factor of a?
False
Suppose 5*g - 21 + 6 = 0. Suppose g*x - d = 147, -2*d + d + 196 = 4*x. Does 9 divide x?
False
Let p(n) = -n**2 - 4*n - 6. Let m be p(0). Is 114 + m + 5 + -1 a multiple of 7?
True
Let j(d) = 43 - 4234*d + 4229*d + 16 + 53. Does 6 divide j(14)?
True
Suppose -3*s + f = -7662 + 1920, 0 = 2*f. Is 11 a factor of s?
True
Let d(q) = q**2 - 13*q + 22. Let k be d(15). Let y = -49 + k. Suppose 350 = y*s + 35. Is 21 a factor of s?
True
Is 93 a factor of 0/39 + 806407/63 + (-1)/9?
False
Let k(s) be the first derivative of -7*s**4/4 + 4*s**3/3 + 7*s**2/2 + 7*s - 1. Let f(i) = i**3 - 3*i**2 - 45*i + 38. Let m be f(8). Is 6 a factor of k(m)?
False
Let h = -179 - -668. Let b = h - 190. Is 35 a factor of b?
False
Let t(r) = 1752*r - 13312. Does 32 divide t(16)?
True
Let k be 6/(-18) - ((-60)/9)/5. Let c(x) = x**3 + 7*x**2 - 9*x - 5. Let v be c(-8). Suppose -2*w = v*q - 4, -5*w + k = 4*q + 5. Is q a multiple of 3?
False
Suppose 161 = 8*h - 79. Is (-2)/(-3) + 14410/h a multiple of 37?
True
Let r(i) = -41*i + 383. Does 15 divide r(-14)?
False
Is 52 a factor of (2/3)/(9*(-13)/(-9554922))?
True
Suppose 1372 = -9*i + 373. Let c = i - -115. Suppose 3*x = -4*g + 7*x + 424, c*x + 16 = 0. Is g a multiple of 51?
True
Suppose o = -o + 16799 - 4191. Does 32 divide o?
True
Suppose 118*r - 121*r = -15. Suppose -r*b = b - 354. Does 2 divide b?
False
Suppose 4*p - 5*t - 2977 - 11728 = 0, -5*t = -p + 3665. Is 92 a factor of p?
True
Suppose -108*t + 478499 + 3572149 = 0. Is 97 a factor of t?
False
Let g(m) be the second derivative of -m**3/6 + 2*m**2 + 15*m. Let c be g(-7). Suppose -6*j = -c*j + 120. Does 2 divide j?
True
Let m(j) = j**3 - 29*j**2 - 61*j + 697. Does 16 divide m(33)?
True
Suppose 0 = -4*a + 12 + 4. Suppose -3*o - 14 = -5*z, a*z + 3*o = z + 18. Suppose 8 = 4*t, -2*s + z*t - 7*t + 44 = 0. Does 9 divide s?
False
Suppose -3*f - 2*x = -3, 6*x - 5*x = -4*f + 9. Suppose -5 = 5*a + f*q - 0*q, 3*a + 2*q + 4 = 0. Suppose -2*g - 10 = 0, -o = a*o + 5*g - 35. Does 10 divide o?
True
Let b = 2428 + 11252. Does 8 divide b?
True
Let y(n) = n**2 + 135*n + 2728. Is 91 a factor of y(0)?
False
Let r(o) = o**3 + 26*o**2 + 58*o - 8. Let v be r(-17). Let t = v + -1145. Is 33 a factor of t?
True
Let n = -3238 - -4118. Is 7 a factor of n?
False
Suppose k = -6*k - 2*k + 92376. Does 17 divide k?
False
Let r(w) = -20 - 29 + 14*w + 23. Let t be (7 - (2 - 0))/1. Does 20 divide r(t)?
False
Suppose -5*h + 321 = 296. Suppose -4*y = h*j - 395, 35*j + 245 = 38*j + 4*y. Is 5 a factor of j?
True
Let r be 2*-2*12/(-16) + 1. Let u be (6/2 - r)*(-1 - -1). Does 36 divide 103*(u + -1)/(18/(-18))?
False
Suppose -n - 21 = -2*m, n = m - 0*m - 9. Suppose d + m = 8. Is 7 a factor of d - (-6)/((-18)/(-105))?
False
Suppose -3*y - 3 - 3 = 3*t, 0 = t - 3*y - 14. Let g be (-4)/18 + ((-372)/27 - -6). Is 1*g/t*-11 a multiple of 22?
True
Let y(o) be the third derivative of -o**6/20 + o**4/12 + o**3/6 - 14*o**2. Let l be y(-1). Suppose 90 = l*c - 105. Is c a multiple of 13?
True
Let h(n) = -2*n**2 + 13*n - 2. Let m be h(10). Suppose -143 + 98 = -3*u. Does 6 divide (u/(-10))/(3/m)?
True
Suppose 5*c - 5 = 4*c, d = 5*c - 44. Let g(p) = 3*p + 61. Let m be g(d). Suppose 6*l + 6 = m*l, s = l + 13. Is s a multiple of 5?
True
Let y = -408 - -403. Let t(h) be the second derivative of -h**5/10 - 2*h**4/3 - 3*h**3/2 - 3*h**2/2 - 8*h. Does 8 divide t(y)?
False
Let j be 10/(-3)*(1 + (-10 - 0)). Suppose j = 5*l - 2*y, 4*y + 24 = 8*l - 4*l. Suppose 3*z + 4*v - 101 = 0, -3*z = -l*z + 2*v + 71. Does 7 divide z?
False
Let d be 1*(2460/5 + 1). Let l = -353 + d. Is 6 a factor of l?
False
Suppose 2715*d + 19361 = 2709*d + 64589. Does 27 divide d?
False
Let g be 2*(4 - (-5 + 3)/(-4)). Let i be -8 + (-24)/g - (-6)/14. Let d(o) = o**3 + 10*o**2 - 17*o + 24. Is d(i) a multiple of 9?
True
Let n(x) = -x + 10. Let j be n(4). Let z be (-2)/(-6) + (-20)/j + 53. Let w = 60 - z. Is w a multiple of 5?
True
Suppose -4*b = -38*b + 10710. Does 31 divide 283095/b + (-2)/(-7)?
True
Let z = -2012 + 4792. Suppose z = -159*m + 161*m. Is 10 a factor of m?
True
Is 36 a factor of ((-2)/(-6))/(165 + -156 + (-122525)/13614)?
False
Suppose -4*n + 6*n - x = 1079, 2*n = -3*x + 1083. Is n a multiple of 18?
True
Let w(b) = 101*b**2 + 122*b + 680. Is 32 a factor of w(-6)?
True
Suppose 4*j + 4*g = 6260, -7*j + 4703 = -4*j + 5*g. Does 11 divide j?
False
Let x be 3054/4 + 215/86. Let s = x - 615. Is s a multiple of 3?
False
Let m be -1 + 621/36 - (-2)/(-8). Suppose 1257 + 471 = m*f. Does 2 divide f?
True
Does 10 divide 747/1245 - 72104/(-10)?
False
Let c = -2788 + 2792. Suppose i = -2*i + 6. Suppose 26 = y - 4*d, i*y + 14 = -c*d + 42. Does 6 divide y?
True
Suppose -2*v + 26113 = 3*v - 140027. Is v a multiple of 78?
True
Suppose -5*k - 3*h + 0*h - 31 = 0, 0 = 3*h - 9. Let p = k - 7. Let w = p + 23. Is w even?
True
Suppose -2*c = -8, -5*b - 3*c - 3 - 5 = 0. Is 17 a factor of (266/b)/((-54)/48 + 1)?
False
Let t(l) = -28*l - 274. Let b be t(-10). Let d = 13 + -9. Suppose 0 = -x + 1, g + d*x = b*g - 321. Does 13 divide g?
True
Is 1 + 5245 + (-22)/44*16 a multiple of 54?
True
Let x be 18/(-30) + 23/5. Suppose -4*g = x*g - 880. Is 22 a factor of g?
True
Let n be 4 + ((-8)/(-36) - 69830/(-45)). Suppose -n + 4400 = 4*i. Is 24 a factor of i?
False
Let j(m) = 8*m**2 + 18*m + 195. Is j(28) a multiple of 22?
False
Suppose 330595 = -53*a + 90*a. Does 62 divide a?
False
Let t = -626 + 625. Does 13 divide (-55848)/(-117) + t/3 + 4?
True
Suppose -28*o + 1485 = -25*o. Suppose -3*z - w = -381, 4*z - 5*w - o = -2*w. Is z a multiple of 31?
False
Let d(g) = 122*g**3 - 2*g**2 - 2*g - 1. Let v(x) = -5*x + 7. Let c be v(1). Is d(c) a multiple of 9?
True
Suppose -8*c + 203 = -589. Is 9 a factor of 10*(-68)/(-3) - 165/c?
True
Suppose 0 = 278*z - 250*z - 356636. Does 12 divide z?
False
Let y be (2 + (-106)/8)*(-40)/(-15). Let o be 2/5 - 6738/y. Suppose o = 88*h - 83*h. Does 16 divide h?
False
Suppose -2*b - 32 - 20 = -k, -2*k + 96 = 4*b. Suppose 0 = -3*g + 341 - 23. Let x = g - k. Is 23 a factor of x?
False
Suppose -7*w - 256 = -9*w. Suppose -5*r - w = l, 271 = l - 3*l - 5*r. Let u = -68 - l. Is 22 a factor of u?
False
Let w(r) be the third derivative of r**5/20 + 13*r**4/12 + 15*r**3 + 2*r**2 + 25*r. Is w(-13) a multiple of 60?
False
Let w = -1478 +