400 + 95. Let b = i - -63. Let l = -94 + b. Does 11 divide l?
True
Let l(y) = 723*y**2 + 881*y + 21. Is l(-7) a multiple of 47?
True
Does 22 divide 2503 + -4*1*(130/20)/13?
False
Is -8 - ((-4005)/10)/(3/12) a multiple of 13?
False
Suppose -3*i = m - 6577, -3*i + 5*m + 5666 + 905 = 0. Is ((-3)/6)/((-4)/i) a multiple of 17?
False
Let y(l) = -l**3 - 5*l**2 - 2*l - 1. Let d be y(-5). Let q be -1 + -3 - (-4)/6*(-390)/(-2). Suppose -6*f = -d*f + q. Does 6 divide f?
True
Suppose 3*h - 40 - 260 = 0. Let w = h - -89. Is w a multiple of 20?
False
Let l(b) = 40*b - 74. Let u(o) = o. Let g(j) = l(j) + 4*u(j). Does 6 divide g(7)?
True
Suppose 2*t + 103*z - 16180 = 99*z, 4*t + 5*z - 32375 = 0. Is t a multiple of 9?
True
Suppose -14*a = a + 945. Is 232/((-9)/(9 + a)) a multiple of 29?
True
Suppose 8 = -7*x + 3*x. Let f be 1/((2 - (-13)/(-6))*x). Let p(k) = 11*k + 3. Is p(f) a multiple of 5?
False
Suppose 131 = -3*k + 4*p, 0*k - 3*k + 2*p = 121. Suppose o = 4*d + 240 - 25, 0 = d - 4*o + 65. Let i = k - d. Is 4 a factor of i?
True
Suppose 1893405 = 100*g + 59067 + 74838. Is 45 a factor of g?
True
Let r(u) = 4*u - 66. Let q be r(17). Suppose -2*d + 6 = -0. Suppose -d*v + 53 = -q*v. Does 9 divide v?
False
Suppose 0 = 3*d + 4*q - 11366, 39*d - 42*d = -4*q - 11398. Is d a multiple of 46?
False
Let z be (-4)/(13/(-2) - -3 - -3). Let h = -5 + z. Suppose 5*b - 240 = h*b. Is 30 a factor of b?
True
Let v(i) be the third derivative of i**4/2 - 115*i**3/3 + 106*i**2. Is v(43) a multiple of 26?
True
Let l(c) = 33*c**2 - 12*c + 23. Does 5 divide l(3)?
False
Suppose -5*s = -2*r + 4*r - 170, 0 = r + 5*s - 80. Does 21 divide 1508/18 - (6 - 560/r)?
True
Suppose 0 = 3*p + 5*x - 160, 3*p - 144 = 2*x - 19. Let g = p + -42. Suppose -4*i + 5*l + 308 = -0*i, -g*l = -3*i + 228. Is i a multiple of 12?
True
Suppose -16*p + 467 + 4077 = 0. Is p a multiple of 5?
False
Let d(l) be the first derivative of -l**3/3 + 7*l**2 + 8*l + 45. Is d(10) a multiple of 8?
True
Let i(z) = 7*z**2 + 37*z + 29. Let h be i(-8). Suppose 0 = g + 2*t + 43 - 218, -g + t + h = 0. Is 12 a factor of g?
False
Suppose 21421*l - 519506 = 21368*l. Is l a multiple of 8?
False
Let b(u) = 27*u + 1252. Does 4 divide b(-36)?
True
Suppose 2*t + o - 21354 = 4*o, 2*t = -2*o + 21334. Is 32 a factor of t?
False
Suppose 0*b + 2*b - 5*v + 6 = 0, 5*b = -5*v + 20. Suppose 16 = -4*o - 4, b*o = -5*a + 9740. Is 31 a factor of a?
False
Let v(k) = -112*k - 129. Let a = -159 - -154. Does 40 divide v(a)?
False
Let g be (-1)/7 - (-667)/161. Suppose -440 - 12 = -g*v. Is v a multiple of 62?
False
Let w = -3812 - -18298. Is 9 a factor of w?
False
Let v(t) = -t**2 + 61 + 2 - 27 + 125 - t. Is 46 a factor of v(0)?
False
Suppose 70531 + 101396 = 7*z. Is z a multiple of 64?
False
Let l be 6 + (2 - 3 - 2). Let x(k) = -2*k - 1 + 5*k**3 + 0*k**3 - 4*k**l. Is x(2) a multiple of 2?
False
Suppose 0 = -2*d + 128 + 460. Let l = 510 - d. Let i = -143 + l. Does 10 divide i?
False
Suppose -u + 11241 = f, -20*f - 56181 = -5*u - 19*f. Is u a multiple of 17?
True
Let p be 1/((-1)/(-1))*6. Let w(u) = -u + 11. Let f be w(p). Suppose -106 = -t - 5*j, 0 = -2*t + f*j - j + 198. Does 18 divide t?
False
Let x(l) = -317*l**3 - 7*l**2 + 16*l + 54. Is x(-2) a multiple of 46?
True
Let f be ((-10)/(-5) + -3)*0. Suppose 5*a + 3*q - 47 = f, q + 3 = 2*a - 7. Does 28 divide (a/4)/(11/176)?
True
Let h be (-44)/(-12) - (-2)/(-3). Suppose d + 197 = h*k, -2*d - 325 = -5*k + 3*d. Is k a multiple of 22?
True
Is (-27928)/(-26) - 156/1014 a multiple of 6?
True
Suppose 0 = 2*l - 3*x - 313, 725 = 6*l - l + 4*x. Does 9 divide (95 + -93)*1/(2/l)?
False
Is 64 a factor of 13878/12 + (-6)/4?
False
Suppose -18*p - 1509 = -3*s - 15*p, s = 5*p + 487. Does 19 divide s?
False
Let k(z) = z**2 - 66*z - 5. Let q be k(-7). Suppose -5*s - 5*n + q = -724, -n - 726 = -3*s. Is 27 a factor of s?
True
Let u(h) = 24*h**2 + 74*h - 13. Does 3 divide u(6)?
False
Is (-4)/24*-132438 + -5 a multiple of 36?
True
Let i be (8/(-28)*-3)/(2/(-14)). Let m be (-4)/12 - (-22)/i. Is (m - 26)/(4/(-8)) a multiple of 12?
True
Suppose 178*b + 534672 = 225*b. Does 161 divide b?
False
Let v(b) = 21*b**3 - 23*b**3 + 7*b**2 + 12*b + 6 - 2*b**2. Is 18 a factor of v(-4)?
False
Suppose 72 - 45 = 3*d. Suppose -4*r = -2*f + 776, -5*f - 2*r - 1540 = -d*f. Does 24 divide f?
True
Let b(x) = 6*x + 8. Let h = -161 + 176. Is 14 a factor of b(h)?
True
Let m(p) = -17*p + 1. Let l = -47 + 49. Suppose 2*y = -q - 28, l*y = 5*q - 5 + 1. Does 41 divide m(y)?
True
Let p(o) be the third derivative of -o**4/8 + o**3/3 - 14*o**2. Let z be p(0). Suppose -z*g + g - 3 = -s, 12 = 2*s + 4*g. Does 4 divide s?
True
Suppose 2*n + 4*n - 36 = 0. Suppose -n*w = -w - 735. Is w a multiple of 28?
False
Suppose -982025 = -33*d - 25*d + 591631. Is 204 a factor of d?
True
Suppose 964*s = 863*s + 3357240. Is s a multiple of 24?
True
Suppose 0 = -4*j - 3*a + 41, -2*j + 3*j = -3*a + 8. Is 7/(231/14514) - (-2)/j a multiple of 25?
False
Let u be (-5 + 11)*(-2)/(-4). Is 2 a factor of (u - 0)/((-561)/114 - -5)?
True
Let u(g) = -79*g + 250. Is 20 a factor of u(-11)?
False
Does 11 divide (23841/6 - 5)*2?
False
Let c(l) = 2*l**2 + 36*l + 18. Let h be c(-16). Suppose 0 = -4*t - 4*s - 132, 4*t - 3*s = 7 - 160. Let b = t - h. Is 5 a factor of b?
True
Let p = 86807 + -61208. Is p a multiple of 18?
False
Suppose k = u - 1478, -2968 = -2*u - 38*k + 37*k. Is u a multiple of 54?
False
Let b(a) = 13 - 6*a**2 + a**3 + 2*a - 4*a - 3*a + 0*a. Suppose 4*q + 4*i = 12, -i + 4*i - 17 = -4*q. Does 23 divide b(q)?
False
Suppose 41*k - 31*k = 50. Suppose -93 = -k*u + r + 133, 0 = -5*u + 4*r + 229. Does 9 divide u?
True
Suppose -2*l - 2*p - 582 = 0, 5*p - 300 = l + 9*p. Let w = -272 - l. Is 4 a factor of w?
True
Suppose 0 = -13*i - 1433 - 6679. Let v = i + 769. Does 2 divide v?
False
Suppose -l + 3 = 6, -4*k - l = 715. Let g = 32 - k. Is g a multiple of 15?
True
Let q be 3/(-1) - (-392)/28. Suppose q*n = 3757 + 2711. Is 28 a factor of n?
True
Let c = 218 + -215. Suppose -5*z = -4*n - 735, -c*z - 5*n - 193 + 634 = 0. Is 3 a factor of z?
True
Is 22 a factor of (-661304)/(-34) - 2 - 524/4454?
True
Suppose 47 = -3*g + 59. Suppose -4*x = -4*j - 4 - 76, -8 = -g*j. Is x even?
True
Let a(p) = -20 + 5*p**2 + 22*p + 4*p**2 - 17*p**2 + p**3. Let u be (-2576)/(-414) - (-2)/(-9). Is 8 a factor of a(u)?
True
Let t = -6942 + 7182. Is t a multiple of 10?
True
Let q be 23 + 5*6/10. Suppose j = 5*d + q, -3*j + d + 22 = -0*j. Suppose -j*m + 12*m = 150. Is 25 a factor of m?
True
Let a be ((-12)/36*12)/(1/(-388)). Suppose a - 5032 = -15*w. Does 29 divide w?
True
Let l(x) be the third derivative of 11*x**4/24 + 113*x**3/3 + 23*x**2 - 4*x. Is l(36) a multiple of 48?
False
Let a be 168/((-69)/54 + (-2)/9). Let o = a - -40. Does 10 divide -4*3/(-4) + -6 - o?
False
Let j = 10493 - 4103. Does 30 divide j?
True
Let t(s) = -2*s**3 - 29*s**2 - 12*s + 32. Let p be t(-14). Suppose 2028 = p*u + 3*w, 3*u = 2*w - 5*w + 1524. Is 6 a factor of u?
True
Suppose 1226 = i - 47*g + 51*g, -g + 6092 = 5*i. Is 14 a factor of i?
True
Let q(a) = -a**3 + 5*a**2 + 3*a - 17. Let v be q(5). Let c be (-102)/(-18)*v + (-2)/3. Is (c/(-22))/3 + 3097/209 a multiple of 5?
True
Let p(j) = -j - 5. Let y be p(1). Is (18/27 - 1) + (-1322)/y a multiple of 20?
True
Let o(h) = 4*h**3 + 10*h**2 - 94*h - 14. Does 19 divide o(15)?
True
Let v = 179 - 118. Let o = v - -47. Is 18 a factor of o?
True
Let m = -5346 + 9171. Is m a multiple of 153?
True
Let r = 3101 + -1967. Is r a multiple of 8?
False
Let g(s) = 42. Let j(d) = -d - 42. Let u(t) = -5*g(t) - 4*j(t). Let f be ((-8)/16)/(2/(-76)). Does 8 divide u(f)?
False
Let r(l) = l**3 - 11*l**2 - 6*l + 37. Is r(16) a multiple of 13?
False
Suppose -2*u + 4014 = -11*u. Does 30 divide (-9)/((-18)/8) - u?
True
Let f(d) = -d**3 + 16*d**2 - 18*d + 50. Let v be f(15). Suppose 0 = -v*g + 5*m + 12169 - 4904, -3*m = -2*g + 2910. Does 69 divide g?
True
Suppose 3*p + 5*v = 38277, 4*p + 4*v = 2*v + 51008. Does 11 divide p?
True
Suppose -374 = -2*w - 362. Is (-15)/w + (-6)/12 + 102 a multiple of 11?
True
Let t(i) = 6 + 2 - 22*i + 11. Let y = -19 + 14. Is 43 a factor of t(y)?
True
Let a = 122 - 109. Suppose 10*p - 22310 = -a*p. Is p a multiple of 10?
True
Let a(i) = -1126*i + 2604. Is a(-15) a multiple of 114?
True
Let m = -2861