). Suppose k = -3*j + 301, 0 = -i*k + 5*j + 757 - 122. Is k a multiple of 20?
False
Let c(i) = -1317*i**3 - 3*i**2 + 26*i + 53. Does 82 divide c(-2)?
False
Let n(o) = o**3 + 24*o**2 + 24*o + 111. Suppose -2*j + 4*p - 20 = 38, 5*j + 4*p = -103. Is n(j) a multiple of 11?
True
Suppose 1905*j - 20160 = 1895*j. Is 32 a factor of j?
True
Suppose -3*x - 5 = -5*v, -4*x - x = 5*v - 5. Let q be 91 + 1 + (12/4 - x). Suppose 371 = 4*a + q. Is a a multiple of 23?
True
Suppose 59 = 3*f + k, -3*k - 2*k = -2*f + 11. Let b be (-339)/f - (-1)/(-6). Let a = 67 + b. Is 13 a factor of a?
False
Let s = -57 + 60. Suppose -s*h + 3*j = 2*h + 2659, 0 = 3*h - 3*j + 1593. Is 38 a factor of h/(-26)*(2/1 + 8)?
False
Let j(u) = 310*u**2 - 4. Let r = 647 - 646. Is 18 a factor of j(r)?
True
Let t(v) = v**2 + 13*v + 28. Let b be t(-10). Does 11 divide 558/(-30)*(-18 + b)?
False
Let x = -35 + 59. Let y = -22 + x. Does 7 divide y/(-3) - (130/(-3))/5?
False
Suppose 15 = 2*b + 33. Let l be (12 + -2)*b/6. Does 16 divide (-1190)/l - 2/(-3)?
True
Let m(o) = -o**3 - 21*o**2 + 3. Let b be m(-21). Is 697/7 + b/7 a multiple of 4?
True
Let a(o) = 2*o**2 + 22*o - 86. Let p(x) = -3*x + 9. Let h be p(1). Does 2 divide a(h)?
True
Is 339/((-5)/((-3450)/45)) a multiple of 23?
True
Let l be (-134)/(-2) + (3 - 2). Suppose v - 3*c + 0*c - l = 0, 5*v - 316 = 3*c. Does 31 divide v?
True
Suppose 101 = 5*p - 2*o, -2*o + 3*o - 86 = -4*p. Let b be (-70)/p*(-111)/(-2). Does 23 divide -2 + (-28)/(-16) + b/(-4)?
True
Let g(m) = -16*m**2 + 0*m**3 + 31*m**2 - 17*m + 7 + m**3. Let o be g(-16). Let i = 12 + o. Is i a multiple of 9?
False
Let j = 10262 + -7165. Is 4 a factor of j?
False
Let v(k) = -k**2 + 2. Let z(h) = -7*h**2 + 7*h - 11. Let p(t) = 2*v(t) - z(t). Is p(5) a multiple of 5?
True
Let a = 1854 + -288. Suppose -5*r + f = -1697, -a + 209 = -4*r + f. Is r a multiple of 27?
False
Suppose -15 = 5*f, 17262 = 5*r - 2*f - 28809. Does 52 divide r?
False
Suppose 5*g = -1747 + 4667. Let c = g - 497. Is c a multiple of 53?
False
Let y = -131 - -136. Suppose 625 = 5*l + y*w, -5*w - 335 = -8*l + 5*l. Is l a multiple of 20?
True
Let u = -24273 - -30827. Is u a multiple of 43?
False
Is (-8570)/20*80/(-4) a multiple of 30?
False
Let l be (-60)/(-16)*((-48)/(-9))/(-1). Let d = 101 + l. Does 31 divide d?
False
Suppose 4*o + 3*l = 4390, 9*o - 14*o + l = -5478. Is o a multiple of 29?
False
Let l = 7719 + -4801. Does 217 divide l?
False
Is 63 a factor of ((-15)/(90/(-4)))/((-3)/(-12024))?
False
Let u be (-390)/(-20)*80/3. Suppose 0*k + u = -4*k. Is (-4)/(-26) - 12460/k a multiple of 24?
True
Suppose 17106 = 5*l - m, 3925 = 2*l - 5*m - 2899. Is 29 a factor of l?
True
Let x be (-214)/(-10) + (-308)/220. Suppose b - 5 = -5*k, -17*b + x*b - 3*k = 15. Does 4 divide b?
False
Let n = -63229 + 136949. Is n a multiple of 19?
True
Let z(n) = 7*n**2 - 4*n - 27. Let v(k) = -13*k**2 + 8*k + 54. Let c(r) = -6*v(r) - 11*z(r). Let x be c(8). Suppose -x*f - 79 + 354 = 0. Is 11 a factor of f?
True
Suppose 1072 + 2367 = 2*q + 3*u, -3*u = q - 1715. Does 8 divide q?
False
Suppose y + 143148 = 30*y - 44830. Is y a multiple of 7?
True
Let b be ((-179)/3)/(30/(-180)). Let y be (b - (4 + -9)) + 4. Let d = y + -157. Is 14 a factor of d?
True
Suppose 0 = 4*m - 2*o - 18, 2*m - 9*o - 6 = -11*o. Let k be (26/m)/((-8)/(-80)) - 4. Let h = 71 - k. Does 2 divide h?
True
Suppose 4*m = -3*b - 148, 0 = -3*b + 2*m - 127 - 51. Is 67*6 - (59 + b) a multiple of 19?
True
Let w(q) = 45 + 44 - q**2 - 69 - 8*q. Let m be w(-10). Suppose -2*i + m*i + 40 = 0. Is 5 a factor of i?
True
Let x(i) = -12*i**3 - 7*i**2 - 9*i + 16. Let v be x(-4). Does 59 divide ((-18)/12)/((-1)/v)?
True
Suppose -5*t + 6145 = 5*x, -3*x + 4920 = -20*t + 24*t. Does 75 divide t?
False
Let x(m) = -m**3 - 36*m**2 - 299*m - 17. Does 10 divide x(-28)?
False
Let t(v) = -14*v**2 - 19*v - 33. Let b be t(-11). Let q = b + 2693. Does 14 divide q?
False
Does 22 divide (-55470)/258*((-1 - 45) + 1 + 1)?
True
Suppose k = 5*c - 543, 0 = 4*c - 3*k + k - 438. Suppose 0 = 15*b - 687 - c. Let x = 91 + b. Is x a multiple of 24?
True
Let o be 2/(-11) + (-237)/(-33). Suppose 4*x + 30*r - 2792 = 32*r, -2*x = -4*r - 1408. Suppose p = -o*p + x. Is 8 a factor of p?
False
Let v = -4779 + 8684. Is v a multiple of 71?
True
Let p be 30/135 - 43/(-9). Suppose p*h - 1775 = 5*w, -160 = -h + 5*w + 187. Does 15 divide h?
False
Suppose 6*o - 2468 = 11098. Does 45 divide o?
False
Suppose 19*j - 241 = -8620. Let w = j + 761. Is 20 a factor of w?
True
Let w = -7139 - -15326. Is 64 a factor of w?
False
Let v(y) = 2*y**2 + 11 + y**3 + 0*y**2 + 6*y**2. Is v(-7) a multiple of 5?
True
Does 18 divide 12881 - ((-8)/2)/(4/(-8))?
False
Suppose 786 = -6*m + 12*m. Let r = m + 160. Suppose 2*h + r - 691 = 0. Does 40 divide h?
True
Suppose -4*v = 4*a - 69400, -387 + 393 = 2*a. Does 21 divide v?
False
Let o be (5/(-20) - -1)*(-1 - -5). Suppose -6*b + o*b + 462 = 0. Let j = b + -88. Is 11 a factor of j?
True
Let y = 80 + -82. Let q be 22/4 - 5/20*y. Is ((-234)/(-4))/(3/q) a multiple of 9?
True
Suppose 24*s = 43581 + 40361 + 138106. Is 12 a factor of s?
True
Let h be (-4)/(-8) - (-1 + (-20)/8). Suppose -22 = 2*w - h. Let g = 141 - w. Does 25 divide g?
True
Suppose -v - 4*o + 25624 = 0, -361*o + 366*o + 35 = 0. Is v a multiple of 18?
False
Let i be (-21)/2*112/14. Let p be (-48)/i*(-42)/(-4). Suppose 858 = 5*n + p*n. Is 6 a factor of n?
True
Suppose 2*n + 19 = -3*y + 1, -n = -3*y. Does 17 divide (n - -8 - 10)*-17?
True
Suppose -4*s - 800 = -4*f - f, 2*s - 5*f = -390. Let p = s - -235. Is 4 a factor of p?
False
Let s(l) = -l - 4. Let g be s(-3). Let x be -1 - ((-1 - g)/(-1) - 194). Let m = x + -106. Is 6 a factor of m?
False
Suppose q - 68 = 4*b, 4*q - 47 = 4*b + 273. Let p(l) = -11*l - 39. Let n be p(-4). Suppose -o = 5*i - q, -38 = 3*i - n*i + 4*o. Is 4 a factor of i?
False
Let m = 2751 + -2211. Is 20 a factor of m?
True
Let t(h) = h**2 + 57*h - 153. Does 11 divide t(36)?
False
Let o = -5625 - -15315. Does 15 divide o?
True
Suppose 44*u - 46*u = -2*v + 1754, 2*v + u - 1748 = 0. Is v a multiple of 13?
False
Is 28 a factor of 8 + ((-338268)/126)/((-1)/3)?
False
Suppose v + 3*z = -4*v + 2269, -4*v + 5*z = -1830. Let s = v + 209. Does 15 divide s?
False
Let b(l) = -l**3 + l**2 + 47*l + 4. Let h(f) = -f**2 - 7*f - 8. Let s be h(-4). Does 16 divide b(s)?
True
Let a(h) = 2*h - 2. Let q(w) = -w**2 - 46*w - 80. Let k(j) = 6*a(j) + q(j). Does 4 divide k(-10)?
True
Let v = 75 - 69. Suppose 3*b + v*b = 99. Suppose 0*l - b*l = -165. Does 5 divide l?
True
Let v(r) = -3*r + 9. Let z be v(-1). Suppose b + z = 12. Suppose 7*k - 232 + 29 = b. Does 21 divide k?
False
Let y = -22019 - -35201. Does 19 divide y?
False
Let q(g) = -g**3 - 16*g**2 - 3*g - 14. Let v = 43 + -45. Let m = v - 14. Is q(m) a multiple of 9?
False
Suppose 24*a = 22*a. Suppose -3*u + 111 + 249 = a. Is u a multiple of 8?
True
Let z(q) = -6*q**2 + 14*q**2 + 13*q + 37*q**3 - 70*q**3. Does 45 divide z(-2)?
True
Suppose 2*b = 2*x - 73230, -3*x - 8*b + 109810 = -6*b. Does 256 divide x?
True
Is 31 a factor of 4311 + 193/(-386) + -1*(-3)/2?
False
Suppose -5*i - 25*x = -27*x - 32458, 2*i - 12968 = -3*x. Is 22 a factor of i?
True
Suppose -2*z - 1 = l - 13, -3*l - 4*z + 28 = 0. Let g(m) = m**2 - 11*m - 2. Let y be g(12). Let v = y - l. Is v a multiple of 6?
True
Suppose w - 26 = -4*m - 2, 5*m = -4*w + 41. Suppose -5*o + 30 = m*b, 22 = 5*o - b + 2*b. Let s(u) = 4*u + 12. Is s(o) a multiple of 14?
True
Let p = -60 - -76. Suppose -375 = b - p*b. Does 5 divide b?
True
Suppose 1202 = 4*v + 2*y, -3*v + 378 = -4*y - 540. Is v a multiple of 3?
False
Let j(o) = -o**3 + 16*o**2 + 8*o - 29. Does 24 divide j(-17)?
False
Let i(a) = 2*a**3 - 116*a**2 - 114*a + 107. Suppose -3*j - 15*j + 1062 = 0. Is i(j) a multiple of 49?
True
Let n be ((-27)/(-9))/(1 - -2 - 4). Is (n + -41)*36/(-6) a multiple of 9?
False
Suppose -2*u + 6 = 0, u + 227 = -3*p - 427. Let v = 756 - p. Is 15 a factor of v?
True
Let h(r) = -r**2 + 13*r - 10. Let k(c) = 4*c**2 + 5*c - 1. Let g be k(-2). Let m be (4/6)/(g*(-2)/(-135)). Is 13 a factor of h(m)?
True
Let a(m) = 6 - 25*m**2 + 12*m**2 - 70*m - m**3 + 86*m. Does 24 divide a(-15)?
True
Let o(c) = -c**3 - 10*c**2 + 2*c + 29. Let k be o(-10). Suppose -k*m - 348 = -5*a - 6*m, 0 = a - 5*m - 52. Is a a