 Does 24 divide i?
True
Let x be (18/(-5) - -2)*5/(-2). Suppose 3*i = -0*i + q + 13, 4*q + 4 = -x*i. Suppose -i*n - b = -4*b - 228, 10 = -5*b. Does 24 divide n?
False
Let m(y) = -3*y**3 + 149*y**2 - 36*y + 652. Is m(44) a multiple of 20?
True
Is 75705/24 - 12/32 a multiple of 121?
False
Let o(y) = -514*y - 2846. Is 19 a factor of o(-15)?
True
Let t be 6/45 - (-8 - (-1169)/105). Let a(u) = 27*u**2 - 5*u + 9. Is a(t) a multiple of 12?
False
Let n be (0 + -2 + 4)/(34/(-595)). Let a = n - -84. Does 9 divide a?
False
Let t = 1110 - -7108. Is 133 a factor of t?
False
Suppose 0 = -41*k + 56*k - 232560. Is k a multiple of 141?
False
Suppose 31*n - 19*n - 420 = 0. Suppose 1405 + n = 5*j. Does 32 divide j?
True
Suppose 2*c + 0*c - 3*g = -351, g + 168 = -c. Let r = c + 510. Does 36 divide r?
False
Let w(v) = -4*v**3 + 9*v**2 - 58*v - 23. Is w(-15) a multiple of 218?
False
Let b = -757 + 1125. Let x be (b/12)/(2/6). Does 2 divide (-3)/9 - x/(-6)?
False
Let x = -84 + 200. Suppose 3*f = 4*z + 365, x - 456 = -3*f - z. Let i = -50 + f. Is 13 a factor of i?
True
Suppose 0*f = -6*f + 6. Let u(o) = -2*o + 3. Let j be u(f). Suppose -84 = -c + j. Does 18 divide c?
False
Let u(v) = 6*v**2 - 2*v + 27. Let c be u(-9). Suppose -3*m + c + 489 = 0. Does 26 divide m?
False
Let g(m) = 4*m**2 - 23*m - 1. Let l be g(6). Suppose -3*z + 2474 = l*q - 2173, 2*z - 2788 = -3*q. Is 15 a factor of q?
True
Suppose -7575 = 30*r - 25515. Is 13 a factor of r?
True
Let h = 108 + -114. Is 21 a factor of 1486/h*27/(-9)?
False
Let q be 710 - (0 + 0)/(-27 + 30). Suppose 5394 = 7*o - q. Does 36 divide o?
False
Suppose -17*b - 69*b + 125130 = 0. Does 3 divide b?
True
Suppose 0 = 3*g + g + 2132. Let z = -357 - -40. Let y = z - g. Is y a multiple of 12?
True
Is 188 a factor of (2*1457)/(24/96)?
True
Let v(h) be the first derivative of -h**4/4 - h**3 + 11*h**2/2 + 8*h - 33. Let c be v(-5). Suppose 3*k - 2*g - 118 = 0, 3*g + 157 = k + c*k. Does 8 divide k?
True
Suppose -131 + 77 = -9*f. Let c(p) = 5*p**3 - 5*p**2 - 2*p - 18. Is c(f) a multiple of 58?
True
Is 73 a factor of (-5807109)/(-189) + 5/9?
False
Let d(v) = -4520*v + 9970. Is d(-4) a multiple of 245?
False
Suppose -1140 = -s + 5*s. Let z = 510 + s. Is 9 a factor of z?
True
Is 3 a factor of (-41)/(6396/(-48)) - 82598/(-13)?
True
Let r(x) = x**3 - 7*x**2 + 2*x + 28. Let f be r(6). Suppose -3*y - y - 3*v + 84 = 0, v = f*y - 68. Is 9 a factor of y?
True
Let k(d) = 2*d**2 + 72*d - 13896. Is 7 a factor of k(-140)?
False
Let w(s) = -3*s**3 + s**2 + s - 13. Let d be (-3)/(-7) - (-31)/(-7). Does 9 divide w(d)?
False
Let b = 212 + -210. Is 121/((-9 + 7)*(-1)/b) a multiple of 20?
False
Let a(t) = -9*t + 3. Let k be (-12)/36*(-2 + 20). Does 30 divide a(k)?
False
Suppose 48*s - 47791 - 53537 = 0. Suppose 4*o - s + 571 = 0. Is o a multiple of 7?
True
Suppose 0 = -74*s + 13*s + 229970. Is s a multiple of 65?
True
Suppose -127*b + 58472 = 4*b - 36896. Is 56 a factor of b?
True
Let c(u) = 14*u + 67. Let j be 114/(-15)*15/(-6)*1. Is 9 a factor of c(j)?
True
Let f be 3/90*3 - 123711/210. Let p = f - -652. Does 21 divide p?
True
Suppose 68*l + 60*l = 237696. Does 13 divide l?
False
Let l(k) = 2*k**3 + 3*k**2 + k - 5. Let u be l(4). Let j(p) = 135*p - 812. Let t be j(7). Suppose 2*h = u + t. Does 22 divide h?
True
Suppose -12*d + 16 = -32. Suppose 3*a - 967 = 4*k + 19, -1283 = -d*a - k. Does 14 divide a?
True
Suppose -117*w - 110*w + 2632715 - 372703 = 0. Is w a multiple of 131?
True
Is 3 a factor of 114/190*(-21677)/(-3) - (-4)/(-10)?
True
Is 8 a factor of 325/(-130)*(-3608)/10?
False
Let n(p) = 13*p**2 - 2*p - 1. Let c(g) = -g**2 - 19*g + 19. Suppose -5*m - 39 - 61 = 0. Let i be c(m). Is n(i) a multiple of 14?
True
Let b(a) = -37*a**3 - 5*a**2 + 5*a. Let h be b(2). Does 92 divide 3 + (h + -2)/(-1) + 0?
False
Let l(p) = -20 - 11 + 7*p**2 + 30. Let z be l(8). Let a = -309 + z. Is a a multiple of 31?
False
Let i(y) = -y**2 + 8*y - 12. Let n be i(5). Suppose 3*f + 5 = 2*c, -n*c - 2 = -f - 13. Suppose 4*q = c*k + 128, -6*q - 2*k = -3*q - 86. Is 9 a factor of q?
False
Let c(d) = -1 + 29*d**2 + 36*d**2 + 3*d + 5*d**3 - 66*d**2. Is c(4) a multiple of 21?
True
Suppose s - 2*x + 324 - 1895 = 0, 2*x = -s + 1591. Let r = s - 657. Does 30 divide r?
False
Suppose 13*u + 21*u - 23460 = 0. Is u a multiple of 10?
True
Let d = -171 - -187. Is 33 a factor of (4/d*6)/(2/132)?
True
Let g = -892 + 865. Is 29 a factor of 3*(-5742)/g*2?
True
Let p be (1253 - (16 + -8)) + 5. Suppose 1090 = 6*y - p. Is y a multiple of 43?
False
Let k(n) = 36*n**2 - 14*n + 274. Does 18 divide k(12)?
False
Suppose 306 + 139 = 5*c - 5*m, -5*c + 415 = m. Let f(u) = c*u - 173 + 350 - 174. Does 19 divide f(2)?
True
Suppose -232 = -4*p - s + 515, 5*p + 2*s - 930 = 0. Suppose 2*j + g = -2*g + 60, 0 = 5*j - 2*g - p. Is 5 a factor of j?
False
Let v = 212 + -215. Does 50 divide (-3 + v)*(6 + -59)?
False
Let d be (-1)/((-2)/(-5))*126/(-105). Let f be (2 + (-498)/15)/(d/(-30)). Suppose -220 = -3*n - 5*g, 0 = 4*n - 0*n + 2*g - f. Is 8 a factor of n?
True
Let g = -525 + 1469. Let y = 1692 - g. Is 34 a factor of y?
True
Let n = -16338 + 17373. Does 5 divide n?
True
Let k = 131 - 110. Is 34 a factor of -102*((-490)/k)/7?
True
Is 6/(-4) + (-100)/(-200) + 39511 - 2 a multiple of 63?
False
Suppose 81513 = 796*q - 769*q. Does 103 divide q?
False
Let f = 643 - 456. Let j = -116 + f. Is 12 a factor of j?
False
Suppose 89*n - 62*n - 31049 - 29242 = 0. Does 4 divide n?
False
Let r = -16 - -16. Suppose 4*p - n + 1282 = r, -9*p + 5*p + 3*n = 1286. Is 16 a factor of 0 - (-1)/((-5)/p)?
True
Let b(n) = 3*n**2 + 80 + 0*n**2 + 11*n**2 + 0*n**2 - n**3 - 13*n - 26. Is b(10) a multiple of 27?
True
Let t be (-6)/(((-1)/6)/(-1)). Let n = t + 42. Suppose -n*x + 405 = -3*x. Is 15 a factor of x?
True
Is 4 a factor of 0 - 1/((2/(-6))/(30570/45))?
False
Suppose 7305 = 2*y - 5*c, 10*c - 14*c - 7306 = -2*y. Is y a multiple of 11?
False
Suppose 3*w + 21 = 3*r, -4*r - 3*w + 11 + 17 = 0. Suppose -r*b + 10*b = 15. Suppose b*p - 976 = -u, -539 = -3*p - 2*u + 41. Is p a multiple of 14?
True
Let v(t) = 356*t**2 - 12*t + 1. Let s = 379 - 380. Is 41 a factor of v(s)?
True
Is 29 a factor of (1 + -6327)*(-131)/524*18?
False
Let m be ((3 - 3) + 1 - 1) + 1087. Suppose p + 169 - 443 = -b, -b = 4*p - m. Is p a multiple of 13?
False
Let l = 455 - 265. Let y = 214 - l. Is y a multiple of 4?
True
Let b(c) = c**3 + 4*c**2 - 22*c. Let y be b(-7). Let k(m) = m**3 - 4*m**2 + m - 14. Is k(y) a multiple of 14?
True
Is (-23804)/(-4) + 69 + -65 a multiple of 3?
True
Let g = 16 + 177. Let r = g + -95. Does 28 divide 336/98*r/4?
True
Suppose 18*v - 73704 = -72*v - 21*v. Is v a multiple of 16?
False
Suppose -3*c = -25*c + 3542. Suppose 3*l = 2*s - 861, 3*s + 4*l - c = 1156. Does 15 divide s?
True
Let l = 4583 - 4589. Let a(z) = -2 + 3*z**2 + 0 + 1 - 2*z. Is 17 a factor of a(l)?
True
Suppose 22577 = -15*u + 41717. Is 116 a factor of u?
True
Let a(b) = -357*b**3 + 2*b - 1. Let k be a(1). Let i = 500 + k. Does 8 divide i?
True
Let o be 6/9*6/2. Suppose 0*j + 3640 = 7*j. Suppose 0*v + o*v = j. Is 26 a factor of v?
True
Suppose 2*r = 59 - 65, -13839 = -3*d + 3*r. Does 19 divide d?
False
Let a be 6/10 - 17070/(-50). Let k(x) = x**2 - 223. Let b be k(0). Let t = b + a. Is t a multiple of 17?
True
Let x = -1796 - -924. Let i = x + 1571. Does 37 divide i?
False
Let r(s) = -s**3 + 6*s**2 + 20*s - 28. Let l be r(8). Suppose 0 = -2*o + 8, -l*o = z + 502 - 1714. Does 23 divide z?
True
Suppose 35*u - 6 = 33*u. Let p(n) = -2*n**2 - 3*n**3 + 4*n**3 - 5*n + n**u - n**3 + 10. Is 11 a factor of p(4)?
True
Let j = -776 + 973. Suppose -204*u + j*u = -8330. Does 34 divide u?
True
Let g = -5 + 53. Let a = -78 + g. Is 20 a factor of (-1428)/a - 6/(-15)?
False
Suppose o + 0*o = -3*a + 42, 0 = 2*o + 2*a - 80. Suppose 0 = -5*x - o + 869. Suppose 0 = 5*r + x - 586. Is r a multiple of 14?
True
Let h(f) = -2*f**3 + 68*f**2 + f - 34. Let i be h(34). Suppose i = -3*a - 9, t - 5*a = -69 + 981. Is 26 a factor of t?
False
Let z be (-658)/(-16) - 14/112. Suppose -3*i + 2 + 37 = 0. Let k = z + i. Is 10 a factor of k?
False
Let s = -311 - -287. Is 1083/s*2*8/(-2) a multiple of 8?
False
Suppose -4*c + 18 = -254. Does 11 divide (8 - 7 - 6)*c/(-10)?
False
Let a = -276 + 276. Suppose a = -5*h + 48 + 4217. Is