 459 - 459. Suppose 5*a + 251 = -w + 812, c = -a - 5*w + 93. Is a a multiple of 7?
False
Let i be 2 + (-2)/(-3)*3. Suppose -w - 1360 = -4*r, i*w = 6*w. Is r a multiple of 10?
True
Suppose -3*x + 5 + 19 = 0. Let l(c) = 132 - 116 + 8*c - 4*c + 9*c. Does 20 divide l(x)?
True
Let f(k) be the second derivative of -k**3/6 + 2*k**2 - 22*k. Let q be f(1). Suppose 0 = q*g - 3*y - 115 - 41, 5*g - 220 = -5*y. Is 12 a factor of g?
True
Let s(z) = -z**2 - 5*z + 17. Let o be s(-7). Suppose -4*k = 2*h - 16, k + o = 6. Suppose h*a - 3*a + 423 = 5*u, -3*a + 93 = u. Does 12 divide u?
True
Let j be (-3 - -1)/((-1 - 1)/188). Let u be (j/16)/((-4)/16). Let x = u + 80. Is x a multiple of 8?
False
Suppose -1048 = 57*m - 61*m. Let v = 99 - m. Let b = v - -338. Does 25 divide b?
True
Let r = -34 + 52. Is 30 a factor of (50/(-3))/(r/(-486))?
True
Is 12/(-14) - (260655/(-28) + 103/412) a multiple of 13?
True
Let p(u) = -256*u - 11. Let b be p(-4). Let v = -581 + b. Does 16 divide v?
True
Let w(k) be the third derivative of -k**6/120 - k**5/30 - k**4/24 + k**3/6 - 28*k**2. Let m be w(0). Does 9 divide 171/38*(m + 1)?
True
Let l be -2 + (-21)/(-12) - (-520)/32. Suppose 51*s - 6300 = l*s. Does 18 divide s?
True
Let s = 21 - 14. Let b be ((-312)/s)/(-1) + 30/70. Is 4 a factor of (-6)/(-5)*1200/b?
True
Let o(y) = 10*y - 41. Let c be o(4). Let q(k) = -k**2 + 10*k + 1. Let m be q(7). Is (m - -2) + (2 - c) a multiple of 9?
True
Let b(l) = -31*l**3 - 2*l**2 - 5*l + 6. Let f be b(1). Is (-1794)/(-8) + -5 + (-184)/f a multiple of 25?
True
Does 8 divide (-2)/(1 + -7 + 6672384/1112112)?
False
Suppose z + 2*h = -3*z - 726, -3*z = -h + 542. Let j = -131 - z. Is 4 a factor of j?
False
Suppose 230*b = 1027048 + 209432. Does 42 divide b?
True
Is ((-15744)/288)/(8/(-726)) a multiple of 14?
False
Suppose 23 = -3*m + 4*m. Suppose 22*r - 25 = m*r. Is (22/3)/(r/(-375)) a multiple of 11?
True
Suppose -4*n - o = -154, -2*n + o + 86 = -3*o. Is 3 a factor of -31 + n + 1*165?
False
Let a = 37 + -34. Suppose 2*y - 334 = -4*c, -a*c - 624 = -9*y + 5*y. Is 11 a factor of y?
False
Let k(r) = 5*r**2 + 107*r + 1. Let b be k(-24). Let u be ((-52)/(-6))/(-2)*42. Let o = b + u. Is o a multiple of 37?
False
Suppose -6*i + i = 580. Let r = i + 260. Is r a multiple of 48?
True
Suppose -3 = -2*r + 5*r. Does 48 divide (-190)/r*(2 + 2)?
False
Suppose -29*o = -11442 - 6132. Suppose -5*v + 7*v = 5*d + o, 4*v - d = 1230. Is v a multiple of 35?
False
Let w = 4318 + -4308. Let y(f) = 3*f**3 + f**2 - f - 1. Let z be y(2). Does 10 divide -58*(z/w - 3)?
False
Let n = 308 + -288. Suppose -2*t - n = -3156. Is t a multiple of 16?
True
Suppose 4*w - 2024 = -y + 10938, 5*w = 2*y - 25885. Is 35 a factor of y?
True
Let h(i) = i**3 - 16*i**2 + 9*i - 14. Let p(f) = f. Let w(g) = -h(g) - 6*p(g). Let k(r) = -4*r - 17. Let j be k(-8). Is 3 a factor of w(j)?
False
Let u be (-4 - 1) + 44 + -4. Suppose -u*i = -43*i + 976. Does 10 divide i?
False
Let z(h) = 5*h**2 - h - h - 4 + 4 - 7. Let c be z(-3). Let d = 55 - c. Does 11 divide d?
True
Let c = -117 + 120. Let i(r) = 232*r + 127. Is i(c) a multiple of 9?
False
Suppose -2*b + 3*b = 10*b. Suppose -4*m = l - 28, b = -0*l - 2*l + 2*m + 16. Suppose -242 = -l*g + 586. Is 24 a factor of g?
False
Let f(q) be the second derivative of q**4/4 - 17*q**3/6 + 22*q**2 + 105*q. Is f(8) a multiple of 50?
True
Let w(u) = -u**2 - 6*u + 5. Let c be w(-6). Let k(d) = 2*d**3 - 53*d**2 + 28*d - 29. Let x be k(26). Suppose x - c = 2*m. Is m even?
False
Suppose k + 34896 = j, -2931*j - 2*k + 34923 = -2930*j. Is 39 a factor of j?
True
Let s = 52715 + -7625. Is s a multiple of 31?
False
Suppose -1019*n = -1004*n - 88170. Is n a multiple of 14?
False
Let q = 65 + -52. Suppose 4*h = -16, 12*s - q*s + 276 = -h. Is s a multiple of 11?
False
Let l = 195 + -379. Let j = 327 + l. Is j a multiple of 15?
False
Suppose 44*c - 303508 - 116479 = -39035. Does 39 divide c?
True
Let r be -3 + (-28)/(-12) + 2456/12. Let i = r - 189. Does 5 divide i?
True
Let q(f) = 57*f**3 + 2*f**2 + 100*f - 488. Is q(5) a multiple of 40?
False
Let n(b) = -2*b**2 + 22*b. Let f = 56 + -52. Suppose 3*y - 4*o = f*y + 3, 5*y + 2*o = 39. Is n(y) a multiple of 4?
True
Suppose 0 = 5*d + 2*n - 93, -2*n - 65 = -4*d + 13. Suppose p - 19 = -d. Is 4 + p - 53*-2 a multiple of 11?
True
Let n = -159 + 186. Suppose 3094 = -20*u + n*u. Is 26 a factor of u?
True
Suppose 0 = 2*l - x + 60, 4*x = 11 - 3. Let r be 7/(-3 - (-20)/5). Let t = r - l. Does 18 divide t?
True
Let b = 48 + -80. Is (-19216)/b - -1*1/(-2) a multiple of 12?
True
Let p be ((-1785)/30)/(1/(-2)). Let j = 147 - p. Is j a multiple of 4?
True
Suppose -13*a + 24 = -19*a. Let b be (0 + a)/((-9)/(-369)). Is 3 - b - (1/1 - 2) a multiple of 13?
False
Let p = -176 + 671. Suppose 8*y - 329 = p. Is 6 a factor of y?
False
Let n be (3 + 2)*((-1 - 2) + 2). Let w be (-9840)/14 - n*3/(-105). Is (-3 - w/3) + 6/9 a multiple of 29?
True
Let v = -7177 + 12821. Is 25 a factor of v?
False
Let h(s) = 10*s**3 - 2*s**2 + 0*s**2 + 9 - 11*s**3. Let p be h(4). Let y = -20 - p. Is 18 a factor of y?
False
Does 6 divide 11925 + ((-24)/(-18))/(16/36)?
True
Suppose -3*j - 3*c + 26497 = -3425, 0 = -5*j + c + 49876. Is 17 a factor of j?
False
Let u(v) = 1. Let n(y) = y**2 - 27*y - 34. Let g(l) = n(l) + 4*u(l). Is 14 a factor of g(29)?
True
Suppose -4*t - 3*x = -35964, -10*t - x = -9*t - 8991. Is t a multiple of 231?
False
Let h(w) = -2*w**3 - 19*w**2 - 4*w - 459. Does 58 divide h(-20)?
False
Let b = -133 - -189. Let r = 55 - b. Does 11 divide (r - -33) + (-4)/(-4)?
True
Suppose 31*h - 623036 = -27*h. Is 75 a factor of h?
False
Let m = 327 - 175. Let d = -306 - -449. Suppose 151*a + d = m*a. Is a a multiple of 21?
False
Let b = 49230 - 34190. Is 64 a factor of b?
True
Let z(u) = 9*u**2 + 2*u - 10*u**2 - 49 - 4. Let c be z(0). Is c/(-3) - (-6)/(-9) a multiple of 2?
False
Is 11 a factor of (-3)/(-7) - ((-135490)/119 + -16)?
True
Let i = -5507 - -5739. Is i a multiple of 29?
True
Let c(o) = 6*o + 33. Let f be c(-5). Suppose -211 = -f*r - 118. Is 2 a factor of r?
False
Let x(r) = -3*r + 18. Let p(m) = -m. Let l(w) = p(w) - x(w). Let t be l(12). Let q(u) = 2*u**2 - 11*u + 13. Is q(t) a multiple of 19?
True
Let c be (-8754)/(-6) - (-2)/6*0. Let t = c + -388. Suppose 19*r = 10*r + t. Is r a multiple of 9?
False
Suppose -5*b + 10 = 0, -5*m - 4*b + 1512 = -3*m. Suppose 2*i = 3*i - 3*l - 158, -4*l = 5*i - m. Is i a multiple of 8?
True
Let y = -26 + 24. Let h be (-5)/(-3)*(y + (-16)/(-5)). Does 3 divide h - 16/(-2) - 4?
True
Let u be (-504)/(-40) + -8 + 6/(-10). Suppose u*d - 188 = -c, 998 - 270 = 4*c + 4*d. Does 49 divide c?
False
Let m(d) = 5*d**3 + 3*d**2 - 5*d + 4. Suppose 13*o = 22*o - 18. Does 2 divide m(o)?
True
Suppose 3688*q - 3661*q = 242757. Is q a multiple of 20?
False
Let c be (20/30)/(3/(-27)). Does 9 divide -8 - c/2 - -57?
False
Let a(f) = 18*f. Let u = -110 + 114. Is 6 a factor of a(u)?
True
Let a = 3518 - 1844. Is a a multiple of 10?
False
Let q(p) = -6*p**3 - 16*p**2 + 3*p - 16. Does 7 divide q(-6)?
True
Suppose -8*t + 16*t = 40. Let u(r) = 23*r - 47. Is u(t) a multiple of 6?
False
Let l be (-4)/((-4)/1) - -3. Suppose -c + 28 = l. Suppose -3 - 3 = 3*x, w - c = -3*x. Is w a multiple of 5?
True
Let d be 4/(-10)*((-156)/8 + 7). Suppose 4*p - 1340 = 3*w, -d*w = 6*p - 3*p - 1005. Is 20 a factor of p?
False
Suppose 835 = 63*i - 62*i + 5*k, -5*i - 2*k + 4221 = 0. Let g = i + -569. Is g a multiple of 15?
False
Suppose -301*d = -298*d - 3. Let u(i) = 296*i + 5. Does 43 divide u(d)?
True
Suppose 5*p - 977108 = -0*p - 17*p. Does 51 divide p?
False
Let i = 22211 - 5987. Does 96 divide i?
True
Let o = -896 - -409. Let s = -66 - o. Is s a multiple of 14?
False
Let t(y) = 9*y**2 + 3*y + 2. Let f be t(-1). Suppose f = -7*b + 43. Suppose b*x - 3*x - 106 = 0. Does 7 divide x?
False
Let a(f) = 2864*f**2 + 383*f - 382. Does 3 divide a(1)?
True
Suppose 317*h - 156*h - 159*h - 21784 = 0. Does 72 divide h?
False
Suppose 3*g - 3 - 3 = 0, -3*x + 124 = -g. Suppose 6*t = 16*t - 360. Let s = x - t. Is 5 a factor of s?
False
Let v(i) = 9*i**2 - 79*i + 122. Does 32 divide v(21)?
True
Let a(o) be the third derivative of -4*o**2 + 0*o - 1/120*o**6 - 14/3*o**3 + 11/60*o**5 + 0 + 17/24*o**4. Is 8 a factor of a(12)?
True
Is ((-243)/(-15))/((-62)/(-12245