53*s - 428720. Is s a multiple of 52?
False
Suppose -164*t - 66456 = -190*t. Does 71 divide t?
True
Let x(z) = -14*z**3 - 2*z + 12. Let i(a) = -15*a**3 - a**2 - 2*a + 11. Let y(t) = 7*i(t) - 6*x(t). Is 25 a factor of y(-3)?
False
Suppose 2*c - 37 = 2*w - 15, 0 = 4*w + 5*c + 26. Let h be (-2)/(9/(-3) + 182/62). Let q = h + w. Is 9 a factor of q?
False
Suppose -13 + 3 = -2*h. Suppose -4*y - 2*l = y + 336, h*l = -y - 81. Let p = -48 - y. Does 9 divide p?
True
Let t(x) = 2*x**2 + 7*x - 5. Let l(h) = h + 2*h**2 + 273 + 5*h - 279. Let z(p) = -4*l(p) + 5*t(p). Is z(-8) a multiple of 13?
True
Let n(d) = d**2 - 26*d + 21. Let f be n(25). Let l(m) = -2*m**3 - 2*m**2 + 5*m + 15. Is 15 a factor of l(f)?
False
Suppose 712350 - 245390 = 65*t. Is t a multiple of 13?
False
Let s be 8/3 + 2/6. Suppose 0 = s*l - l + 3*o - 14, 0 = -4*o - 8. Suppose l = -d + 45. Is d a multiple of 7?
True
Let w(k) = -k**3 + 46*k**2 + 48*k - 21. Let c be w(47). Does 8 divide c/(-247) + (-9736)/(-76)?
True
Suppose 51*x = -0*x + 408. Suppose 29 = -3*t + 8. Is 14 a factor of (-586)/t - x/(-28)?
True
Let h be 26/7 + (-6)/(-21). Suppose -h*t = -2*t - 326. Suppose 2*g + 5*b = 153, -4*b - b - t = -2*g. Is 13 a factor of g?
False
Suppose 0 = 17*z + 625 - 234. Let w(n) = -14*n - 22. Does 12 divide w(z)?
True
Suppose -y + i = -0*i - 2, y + i - 6 = 0. Suppose 0*a = -y*g - 5*a + 364, 3*g - 4*a = 304. Is 4 a factor of g?
True
Let c be 88/28 - 1/7. Suppose -7*y + 5 = -2*y, c*u + 4*y = 277. Does 5 divide u?
False
Suppose -81 = -4*s + 271. Let u = s - 73. Suppose u*v - 13*v = 396. Does 33 divide v?
True
Suppose 2*y = 148*g - 147*g - 10302, 0 = 2*g - 2*y - 20606. Does 116 divide g?
False
Is 9 a factor of (2/5)/(287/11368275) - 2/7?
False
Let h = 475 - 219. Let q = 54 + -175. Let y = h + q. Does 9 divide y?
True
Let r = -282 - -282. Suppose -5*f - 3*m = -1822, -f + 363 = -r*m + 2*m. Is 10 a factor of f?
False
Suppose -5*o + 13 = -2*g - 15, o - 3*g = 3. Suppose o*s - 346 = 86. Suppose 4*v = 7*v - s. Is 12 a factor of v?
True
Let v(b) = b**3 + 8*b**2 + 5*b - 3. Let o be v(-5). Let k = o + -45. Suppose 62 = k*a + 2*h, -2*a = 3*a + 2*h - 170. Is 6 a factor of a?
True
Suppose -61305 = -7*k + 33517. Does 18 divide k?
False
Let h(v) = -12301*v + 4. Let n be h(-1). Suppose n - 4355 = 10*s. Suppose 5*d + 532 = 5*k - 278, 2*d + s = 5*k. Does 17 divide k?
False
Let v = 80892 + -32591. Does 138 divide v?
False
Let q be ((-7)/(-7))/(4*(-4)/(-16736)). Let m = q - 648. Does 15 divide m?
False
Let o be -5*(-4)/5 - 0. Suppose 0 = -o*m - 16, -3*m - 1270 = -3*s + 1160. Does 26 divide s?
True
Suppose -7*w + 16 = -110. Let g = -21 + w. Let t(m) = -25*m. Is 7 a factor of t(g)?
False
Let k(h) = -5*h - 100. Let f be k(21). Let w = f + 468. Is w a multiple of 9?
False
Let i(u) = u**3 + 27*u**2 - 59*u - 26. Let n be i(-29). Suppose 0 = n*q, 0 = -3*w - q - q + 696. Is w a multiple of 29?
True
Suppose -297 = 2*b + 323. Let n = b - -375. Does 29 divide n?
False
Let r(b) = -b**2 - b + 4. Let h be r(-2). Suppose 4*t - 30 = -h*t. Suppose -t*f + 34 = q, 3*q + q + 5*f = 166. Does 11 divide q?
True
Suppose -4*y + 8 = 5*x, 2*y = -3*x + 4 - 2. Let a be (-2)/y + (-19980)/140. Let z = -115 - a. Is z a multiple of 14?
True
Suppose -4*y = 2*c - 9256 - 5016, 5*y = 5*c - 35620. Is c a multiple of 12?
True
Suppose 1239*o - 1231*o = 24. Suppose -4*t - 31 = -171. Suppose 2*v + 5 = 5*u, -8*v = -o*v - 3*u - t. Is 3 a factor of v?
False
Let f(o) = 5303*o - 811. Does 17 divide f(1)?
False
Suppose 11*q - 19*q = 43*q - 155295. Is q a multiple of 3?
True
Suppose -31077 = -5*f + 11*l - 7*l, 4*l = 2*f - 12426. Does 16 divide f?
False
Let m be ((-1188)/(-90))/(4/(-20)). Does 11 divide (23/3)/((-2)/m)?
True
Let s(i) = 4*i**2 + 2*i. Let u(x) = -2*x**2 + 94*x - x**3 - 192*x + 2 + 95*x. Let r be u(-2). Is s(r) a multiple of 17?
True
Suppose 0 = 2*t + 3*x - 12, -12 = 14*t - 18*t - 3*x. Suppose 3*o - 144 - 120 = t. Is o a multiple of 6?
False
Let i = 5083 + -3403. Is i a multiple of 35?
True
Suppose 136 = 5*i + 3*k, -23*i + 25*i - 46 = 3*k. Does 13 divide i?
True
Let f = -14526 - -30917. Is 97 a factor of f?
False
Let m = 55218 + -24208. Is 14 a factor of m/49 + 3/21?
False
Suppose -8*b = -2*c - 5*b + 10, 10 = 2*c - 4*b. Suppose c*z - 5253 = 1122. Is z a multiple of 37?
False
Suppose -27103 = 62*n - 67775. Is 24 a factor of n?
False
Let u = 3740 + -825. Is u a multiple of 4?
False
Let h be 4/10 + 1/((-25)/(-190)). Suppose u = h*u - 1393. Is u a multiple of 33?
False
Suppose 43*s = 39*s - 148. Let j(a) = a**2 + 35*a + 73. Does 14 divide j(s)?
False
Is 3 + 13*(-4)/20 + 1647184/440 a multiple of 18?
True
Suppose -10 = -443*b + 441*b. Suppose b*g = -4*t + 1476, -4*t + 2*g + 0*g = -1504. Is t a multiple of 32?
False
Suppose -4*a - 3*r + 2 = -2, 4*r - 10 = -3*a. Let w(u) = -32*u**3 + 3*u**2 + 2*u - 1. Is w(a) a multiple of 8?
False
Let x(d) = 10*d**3 - 19*d**2 - 58*d - 19. Is x(13) a multiple of 17?
True
Suppose 5*a + 0 = -3*t - 57, -67 = 5*t - a. Let f be (-11 - t) + 3 + 0. Suppose 0 = f*g - 2*g - 64. Is 8 a factor of g?
True
Suppose 2727 + 39997 = 4*d. Is d a multiple of 24?
False
Let p(n) = -4*n + 16 + 11 + 0*n + 3. Let d be p(12). Let x = d + 55. Is x a multiple of 5?
False
Suppose 7*f + 972 = 5039. Let r = f + -403. Suppose 3*j - r = -3*y + 5*y, 2*j - 3*y = 127. Does 4 divide j?
True
Suppose -369*r + 796272 = -263*r. Does 4 divide r?
True
Suppose 91*u + 934264 = -98*u + 9493696. Is 204 a factor of u?
True
Let l = 3287 - -1809. Is l a multiple of 28?
True
Let j(o) = -o**3 + 16*o**2 + 38*o - 21. Let l be j(18). Suppose -t + l = -5. Let i(n) = n - 7. Does 7 divide i(t)?
False
Suppose 4 = w - 5. Is (-2304)/w*1/(-2)*1 a multiple of 25?
False
Suppose -50 = j - 3*j. Let x = -1861 - -1846. Let h = j + x. Does 4 divide h?
False
Suppose -r - 82 = 101. Let b = r - -298. Does 12 divide b?
False
Let c(i) = -i**3 + 5*i**2 - 3*i + 19. Let l be c(5). Suppose 55 = k + l*r, 2*k + 3*r - 147 = -k. Is 3 a factor of k?
False
Let t be 3/(-12) + 57/(-12). Let i be (6/(-4))/(t/(-4 + 14)). Suppose -5*l + i*d = -597, -3*l - d - 2*d = -363. Is l a multiple of 12?
True
Let m = 5723 + -2490. Is m a multiple of 13?
False
Suppose 189 = j - 3*h, 1485*h - 1488*h = 5*j - 891. Does 60 divide j?
True
Let l be 27218/93*6/4. Let q = l + -307. Does 44 divide q?
True
Is (-1781 + -4)/((-159)/2862) a multiple of 15?
True
Let x(q) = -281*q**3 + 5*q**2 + 12*q + 34. Is 12 a factor of x(-4)?
False
Let p = 4 - -417. Let j = p + -262. Is 39 a factor of (4/(-6))/((-1)/j)?
False
Suppose 24500 = 243*y - 236*y. Is 65 a factor of y?
False
Let j(r) = 95*r**2 - 3*r + 136. Is j(8) a multiple of 86?
True
Let o be 1/(((-3)/(-8))/(81/(-18))). Let k be -3*3/o + (-505)/(-4). Suppose 3*w - k = -7. Does 10 divide w?
True
Suppose 47*f - 3007 = 3667. Does 13 divide f?
False
Let j(a) = -a**2 - 20*a + 30. Suppose -5*h = -4*h + 3*h. Suppose -x + 2*i + 2 - 18 = h, -12 = x - 4*i. Is 15 a factor of j(x)?
True
Let p = -66 - -97. Let x = -38 + p. Is 2 a factor of 1 + 6 + x + 12*1?
True
Suppose -2*d = -4, 2*q - 258 + 34 = 3*d. Suppose q*s - 30 = 113*s. Does 8 divide s?
False
Let b = 44 + -41. Suppose -b*d + 669 = 5*p, 5*d + 497 + 148 = 5*p. Is (-3)/((-2 + 266/p)/(-1)) a multiple of 33?
True
Suppose -y + a = -429, y + y - a - 854 = 0. Suppose 4*m = y + 191. Is m a multiple of 11?
True
Suppose 4*d + 4 = 28. Suppose 2*p - z - 156 = 0, -5*z = -340*p + 338*p + 156. Suppose -d*t + p = -3*t. Is t a multiple of 2?
True
Suppose 8*n = 11*n + 3. Let g(s) = 411*s**2 + 4*s + 1. Is 34 a factor of g(n)?
True
Let s(t) = -32*t + 4. Let z be s(-4). Suppose -z = -4*d - 0. Is d a multiple of 2?
False
Is (6 + 2059/(-2)*8)/(-1) a multiple of 9?
False
Let d(u) = u**2 - 6*u - 379. Is 10 a factor of d(-53)?
False
Suppose -67 = -2*v - 3. Suppose -5*i = -v - 388. Does 12 divide i?
True
Suppose 4*x - 48 = -o - 2, -x = -3*o + 112. Suppose -2*i + o - 4 = 0. Does 17 divide i?
True
Suppose -4*d + 117938 = 2*x, x - 58941 = 80*d - 78*d. Does 13 divide x?
True
Let b(u) = -12*u**3 + 2*u**2 + 23*u - 25. Let a(m) = 14*m**3 - m**2 - 24*m + 26. Let w(n) = -3*a(n) - 4*b(n). Is w(6) a multiple of 10?
False
Let o = -10962 + 16098. Does 107 divide o?
True
Let u = -14 + 20. Let m be u/(-14) - (-585)/91. Is -2*(-1 + (-3)/m) even?
False
Suppose 4*u = -28 - 52. Let r = -20 + 