True
Suppose -8*g - 5*n + 61 = -4*g, 2*n = -g + 19. Suppose -3 - g = 3*k - 4*w, -4*w - 12 = 0. Is 0 + (-2)/k - (-2403)/36 a multiple of 10?
False
Suppose 0 = 4*y - 4*u + 52, y = -2*y - 5*u - 15. Let r be 1068/16 + (y/(-8))/5. Let z = 82 - r. Is z a multiple of 3?
True
Suppose -3*b + i + 16807 = 0, 5*i = -334 + 359. Is b a multiple of 6?
True
Let t(g) be the first derivative of 11*g**4/2 - 2*g**3 + 7*g**2 + 3*g + 63. Is t(3) a multiple of 27?
False
Let q(j) = 2*j**3 - 7*j**2 - 5*j - 18. Let d(y) = -y**3 - 11*y**2 - 3*y - 27. Let l be d(-11). Does 6 divide q(l)?
True
Suppose -3*y + 52883 - 16684 = 5*n, 4*y = n - 7226. Does 77 divide n?
True
Let b(y) be the third derivative of 35*y**4/24 - y**3/3 - 10*y**2. Let d be b(1). Let x = d - -57. Is x a multiple of 15?
True
Let b(a) = 2*a. Let o be b(11). Suppose -5*d + 675 = -y, -7*d - 5*y + 645 = -2*d. Let p = o + d. Does 42 divide p?
False
Let y(o) be the third derivative of -31*o**4/8 + 77*o**3/6 + 5*o**2 - 2*o. Is 55 a factor of y(-11)?
True
Suppose -4*q = 2*q - 30. Suppose 5*i + 25 = 0, -2*z - 26 = 3*i + q. Is 6/z*(-120)/3 a multiple of 16?
False
Let r(i) = -392*i**2 + 2613*i + 9. Is 33 a factor of r(6)?
False
Is 5 a factor of (204/14)/(174/2030)?
True
Let b = 24770 - 8045. Is b a multiple of 40?
False
Let m be (6/(-18))/((-1)/9). Suppose -2*p - m = -13. Suppose q + 2*t = -2*t + 80, -q + p*t + 35 = 0. Is q a multiple of 10?
True
Let h = -171 - -368. Let b = 384 - h. Is 8 a factor of b?
False
Is ((-1)/(-9) - 107965/495)/(-1 - 1) a multiple of 25?
False
Is 18*((-9)/(-3) - (-136)/(-48)*-134) a multiple of 91?
False
Is (759/(-138))/(7/(-13034)) a multiple of 19?
True
Let c(u) = 9*u**2 - 132*u + 5031. Does 15 divide c(35)?
False
Let c = -242 - -232. Is 33 a factor of 173/5 - (260/(-25) - c)?
False
Let p(q) = 8*q - 10. Suppose 3*k = 12 + 18. Let r be (-255)/k*(-4)/6. Is 14 a factor of p(r)?
True
Let c(t) = -5*t + 212. Let l be c(41). Suppose -l*s = 3*s - 10920. Is s a multiple of 47?
False
Let p(g) = -14*g + 23. Let c be p(3). Let b = c - -115. Suppose b = -12*d + 20*d. Is d a multiple of 2?
True
Is 3 a factor of -169 + 245 - (-7 - 0)?
False
Let t(z) = -2*z**3 - 69*z**2 - 6*z - 622. Is 2 a factor of t(-35)?
False
Let i(b) = 3*b - 2 + 4 + 0*b - 7. Let c be i(4). Suppose -c*t = -5*t - 88. Does 11 divide t?
True
Let n = 5522 - -63184. Is n a multiple of 15?
False
Is (1 - 93148)/((-22 - -10) + 9) a multiple of 11?
False
Suppose -5741 = -2*h - 152*g + 153*g, -3*h - g = -8609. Does 41 divide h?
True
Is 68 a factor of (-116 - -108)*7539/(-4)?
False
Suppose -d + 20 = 2*l, -5*d + 8 + 12 = 0. Suppose -135 = -l*a + 3*a - 2*g, -4*a - 2*g + 108 = 0. Suppose 39 = 2*c - a. Is c a multiple of 11?
True
Let s be (-1 - 3)*(-14)/4. Suppose 0*x = g - 3*x + 4, s = g + 3*x. Is 187/5 - (g - (-46)/(-10)) a multiple of 37?
True
Suppose -70*d + 57*d + 65 = 0. Suppose -d*n + 176 = -1199. Is n a multiple of 25?
True
Let i(t) be the third derivative of t**4/12 + 11*t**3/3 - t**2. Let c be i(-8). Does 9 divide ((-4)/c)/(3/(-324))?
True
Let h be (-4)/(-1) - (4 - (-2 - -8)). Suppose h*q - 7 = 131. Suppose 40 = 24*u - q*u. Is 10 a factor of u?
True
Suppose -155414 = -4*g - 3*r, -48*g + 53*g - 3*r - 194281 = 0. Does 19 divide g?
True
Suppose 4*t + 10 - 38 = 0. Suppose 1155 = -t*l + 4620. Is l a multiple of 11?
True
Suppose -5*l + l - 5*c = -2173, -4*c = 4*l - 2172. Suppose 0 = -5*k + k - s + 430, -l = -5*k + s. Is 10 a factor of k?
False
Let a be (-1)/2*(9 + -13). Suppose -2*o = a*o - 52. Is 2/(-2) - (-6 - o) a multiple of 9?
True
Let t = 18 + -10. Let s = t - -80. Suppose 0 = 4*f - 5*f + s. Is f a multiple of 22?
True
Suppose -n - 730 = -4*t, 18*t - 22*t + 4*n + 736 = 0. Let i = 259 + t. Is i a multiple of 35?
False
Let u = 75 - 70. Suppose 4*m = -u*c - 16 + 155, 3*m - 3 = 0. Is (c/45 - (-1112)/5) + -3 a multiple of 55?
True
Suppose -3*n + 57951 = -3*x, 17*x = -3*n + 15*x + 57976. Does 12 divide n?
False
Let t = 8139 - 5920. Is 7 a factor of t?
True
Suppose 4*b = -3*u - 332, -4*b = 5*u + 343 - 19. Does 7 divide -2*-8*3/(-24)*b?
False
Let y(r) = -5*r**2 + 7*r + 6. Let x be y(4). Let f = 48 + x. Suppose 0 = a + 5*k - 70, -f*a - k = k - 180. Is a a multiple of 24?
False
Suppose -7*h + 3*h + 7273 = z, 0 = 3*z - 15. Suppose g + 2*y - h = 0, -5*g + 4*y = -2*g - 5441. Is 121 a factor of g?
True
Let l be 89490/230 - 8/92. Let u = 687 - l. Does 26 divide u?
False
Let g be 4 + (5 - -1)/(-3) + 3. Suppose 0 = g*x + 4*k - 4830, -803 - 149 = -x + 2*k. Is x a multiple of 34?
False
Let t = 597 + 333. Does 31 divide t?
True
Let l(u) = 32*u - 152. Let z be l(4). Does 13 divide 62230/84 - 4/z?
True
Let v be 28/(-6)*(-12)/14. Suppose 0 = -3*z + 7*z + 3*g - 1963, -v*z + 1964 = 4*g. Is z a multiple of 49?
True
Is 4 a factor of 13165*4/5 - -9?
False
Suppose 2*n + 3 = 23. Let c = 13 + n. Suppose -157 = -12*x + c. Does 5 divide x?
True
Suppose 4*f = 7*j - 6*j - 2363, 0 = -j - 4*f + 2323. Is j a multiple of 16?
False
Let h(s) = -s + 48. Suppose -d - 3*f + f = -13, -d + 18 = -3*f. Let y be h(d). Suppose -y*j + 35*j - 330 = 0. Is 15 a factor of j?
True
Let t(h) = 52*h**2 - 6*h + 5. Let n(k) = -3*k - 2. Let f be n(-1). Let x be t(f). Let m = x + 22. Does 26 divide m?
False
Let w(o) be the first derivative of 23*o**2 + 4*o + 61. Is w(5) a multiple of 13?
True
Let d be 92/8*(-23)/((-184)/96). Let l = d + 719. Does 19 divide l?
False
Let t(r) be the first derivative of -7*r**2 - 24*r - 2. Suppose -156 = -271*h + 310*h. Is t(h) a multiple of 8?
True
Let j be 850/(-15) - (-4 - 28/(-12)). Let y = j - -229. Is y a multiple of 10?
False
Let w(j) = -31*j**3 - 19*j**2 + 16*j + 100. Is 60 a factor of w(-5)?
True
Let m = 21224 - 7449. Does 12 divide m?
False
Suppose -d = 7*d - 88. Suppose -3*u - d*u + 5236 = 0. Is 20 a factor of u?
False
Let n(q) = -13*q - 68*q**2 - 35 + 25*q**2 + 27*q**2 + 19*q**2. Is 15 a factor of n(16)?
True
Let k = -3363 + 1833. Let z = -1082 - k. Is 32 a factor of z?
True
Suppose -5*h + 3*h - 8 = -5*z, 5*z + 3*h = 13. Suppose -z*t + 1054 = 304. Is t a multiple of 63?
False
Does 16 divide (2353/4)/((-3)/(-4)) + 2/3?
False
Suppose 5 = 3*n + 5*m - 103, 180 = 5*n + m. Let v = 403 + n. Is 50 a factor of v?
False
Is (-61718)/(-8) - (4 + (-39)/12) a multiple of 7?
True
Let x = 33374 - 2350. Does 16 divide x?
True
Let t = 76 - 30. Let w = t + -55. Is 588/27 + -3 + (-29)/w a multiple of 8?
False
Let g be (-510)/22 + 18/99. Let z = g + 22. Does 14 divide 0 + z/3 + (-246)/(-9)?
False
Let t = -4881 + 6281. Is 10 a factor of t?
True
Suppose -2*s = 3*m - 1368, 3*s = 5*m - 0*m + 2090. Let k be 10/20*s/3. Let n = -2 + k. Does 17 divide n?
False
Let a = 3 + 5. Let v(w) be the first derivative of -w**4/4 + 8*w**3/3 + w**2 - 12*w + 101. Is v(a) a multiple of 4?
True
Suppose 1454*o = 1452*o + 2*d + 25996, 0 = -5*o - d + 65002. Does 250 divide o?
True
Suppose 4*s - 14080 - 10492 = 4*b, -7 = -b. Does 123 divide s?
True
Suppose -155*d + 157*d - 3330 = 0. Is d a multiple of 9?
True
Suppose -4*p = -2*u - 3*p - 334404, -5*u - 836020 = -5*p. Is 10 a factor of u/(-242) - 1/(-11)?
False
Let t be (5/5)/(3/(-225)). Let p = t - -82. Does 6 divide 200/p + (-20)/35?
False
Suppose 5*r - 17 = -2. Let y be (207/(-12))/(-3) - r/4. Suppose -2*w - y*i + 172 + 116 = 0, -i = w - 144. Is w a multiple of 9?
True
Is (-2)/(-3) + ((-58577000)/75)/(-38) a multiple of 43?
True
Suppose 0 = -3*c + 2*c - 4*c. Suppose -2*l + x + 233 = c, 3*x + 119 = 9*l - 8*l. Is l a multiple of 3?
False
Suppose -145407 - 53177 = -13*l - 1400. Is l a multiple of 48?
True
Let j(g) = 24*g - 45. Let y(r) = -5*r + 9. Let p(b) = 4*j(b) + 21*y(b). Let i be p(-10). Is 12 a factor of (-1076)/(-18) - (-22)/i?
True
Let v = 99211 - 56779. Is v a multiple of 208?
True
Let q = 3180 - 4634. Let d = q - -2423. Is 57 a factor of d?
True
Let s(r) = 74*r**3 - 18*r**2 + 11*r + 161. Is 57 a factor of s(7)?
True
Suppose 5*v + z = 5365, -v + z = -653 - 414. Is 5 a factor of v?
False
Let q(b) be the third derivative of -b**5/60 - 3*b**4/4 - 7*b**3/3 - 30*b**2. Let w = 64 - 79. Is q(w) even?
False
Is ((-372)/30)/((-10)/1600) a multiple of 14?
False
Suppose w = -5*l + 75, -6*l - 2*w = -11*l + 90. Suppose -l = -5*b + 5*p + 19, 0 = 4*p. Is b a multiple of 4?
False
Let d be (6/45*-5)/(1/(-6)). Suppose -4*o - 17*f + 988 = -13*f, d*o = -3*f + 991. 