 be ((-52)/(-91))/((-2)/(-14)) + -4. Suppose -5*n + 1404 = 3*g - 73, -4*n + 20 = z. Does 11 divide g?
True
Let t be 0 + 0 - 1/(4/528). Let o = t - -185. Let f = o - 18. Is 7 a factor of f?
True
Let y(s) = -19*s**3 - 12*s**2 + 2*s - 35. Let v be y(-5). Suppose 0 = -4*d - 2*c + 76, 2*d = d - 3*c + 14. Suppose -6*m + d*m = v. Does 32 divide m?
False
Let r(h) be the first derivative of 5*h**2 - 4*h + 381. Let g be (21/6)/((-2)/(-4)). Is r(g) a multiple of 11?
True
Suppose j = 3*c - 2*c - 17, 4*c - j = 53. Let l be (-171)/c*(1 - 1 - 4). Let s = l - 26. Is 2 a factor of s?
False
Let d(l) = 9*l**2 + 12*l - 15. Let n(w) = -3*w - 7. Let b(i) = -i - 2. Let q(o) = -2*b(o) + n(o). Let j be q(-6). Does 8 divide d(j)?
False
Suppose 3*h = 8*h + z - 54, -2*h = -4*z - 4. Suppose 3*m - 5 = -h*v + 5*v, m = -3*v + 7. Is 9 a factor of 160/(-24)*(-6)/v?
False
Let q = 311 - 191. Suppose -q*a + 123*a - 327 = 0. Does 7 divide a?
False
Let m(k) = -8*k + 240. Let u be m(28). Does 12 divide (66/5)/(u/800)?
True
Let s be (-6 - 3367/(-14))*-2. Let c = 196 - s. Is c a multiple of 19?
True
Let z = -351 + 351. Suppose z - 760 = -4*s. Is 5 a factor of s?
True
Suppose -121*r + 422346 = -47739. Is 11 a factor of r?
False
Suppose 12 = -2*v, 5*w - 2*v = 3124 + 8638. Is w a multiple of 58?
False
Let s(v) = -3*v**2 + 2*v - 1. Let q be s(6). Let m = -41 - q. Does 2 divide m?
True
Is 4 a factor of (7147/3 + 1410/94)/((-2)/(-6))?
True
Let z(w) be the second derivative of -w**4/12 + 6*w**3 - 11*w**2/2 - 43*w. Is 13 a factor of z(32)?
True
Suppose -50 = -46*o + 51*o. Is 17 a factor of ((-35)/(-15 - o))/(1/17)?
True
Let d(v) = v**2 - 5*v - 1. Let t be d(6). Suppose t*k + 89 = -4*r, 0 = 2*r - 5*r + 12. Let l = k + 50. Does 7 divide l?
False
Let m = 332 + -172. Let q = 45 - 41. Suppose -m = -5*g + g + f, 120 = 3*g + q*f. Is 13 a factor of g?
False
Is (12/7)/2*(-111552)/(6 - 22) a multiple of 166?
True
Let z be (-1656)/(-33) + 2/(-11). Is 14 a factor of 9760/z + (-1)/5?
False
Let u = 6533 + -3551. Does 42 divide u?
True
Let x(d) = 27*d - 148. Let k be x(20). Suppose -3*n + 385 = -k. Is n a multiple of 52?
False
Suppose 4*f - b - 545 = 0, 0 = -4*b + 6*b - 6. Let g be (-3 - 2)*6/(-30). Let o = f + g. Does 14 divide o?
False
Let c(f) = f**3 - 24*f**2 - 17*f + 94. Is c(25) a multiple of 48?
False
Suppose 3*w + v = 987, -2*v - 2*v = 0. Is 3 a factor of w?
False
Suppose -113 = -l - 120, 4*l - 114212 = -3*n. Is n a multiple of 160?
True
Suppose -121*m + 26331 = -25*m - 6501. Is 58 a factor of m?
False
Let d be 4 - 26/6 - (-339)/(-9). Let x be 4 + d/10 - 33/15. Is (-114)/x - 48/16 a multiple of 6?
True
Suppose 2*j - 4*i = 10584, -5294 = -15*j + 14*j + 4*i. Is 93 a factor of j?
False
Let h(f) = -2*f**3 - 47*f**2 + 26*f + 52. Let b be h(-24). Suppose -u + 254 = 3*s, 952 = b*u + 14*s - 18*s. Is u a multiple of 35?
False
Suppose -2*a + 7 = 3*g, -5*g - 2 = 4*a - 13. Suppose 3*v = 4*b - b + 231, g*b + 67 = v. Is v a multiple of 11?
False
Let i = 4106 + 1354. Does 13 divide i?
True
Let z(r) = r**2 + 4*r - 16. Let i be z(-7). Suppose i*s + 2*g - 65 = 0, 0 = 3*g + 2*g. Let t(f) = -f**2 + 14*f + 3. Is t(s) even?
True
Let w(u) = 4*u**3 - u**2 + 2*u - 3. Let b be w(2). Let p(j) = 3*j - 36. Let y be p(13). Suppose -y*m = -103 - b. Is m a multiple of 22?
True
Is (((-980)/(-50))/(-7))/((9/(-9075))/3) a multiple of 10?
True
Let v(k) = -2*k + 30. Let c be v(15). Suppose 110 = -c*o + 5*o. Let t(n) = 7*n + 83. Is t(o) a multiple of 19?
False
Let c be (-3 + 9)*(9 + 111). Let m = c - 506. Is 16 a factor of m?
False
Is -1*((-49 + 4 - 1) + -7) a multiple of 3?
False
Let x(h) = -h**3 + 8*h**2 + 3*h - 20. Let b(j) = j**3 - 8*j**2 - 8*j - 2. Let y be b(9). Does 17 divide x(y)?
False
Let l = 99368 + -49846. Does 11 divide l?
True
Let a be (-2 - -1) + 35 - 4. Let r = a + -17. Suppose 0 = r*m - 305 - 20. Is m a multiple of 4?
False
Let o = 143 - 59. Suppose 6*z = -6*z - o. Let x(g) = 3*g**2 + 9*g + 17. Is 6 a factor of x(z)?
False
Let b = 2979 - 482. Is 19 a factor of b?
False
Let g(b) = -b**2 + 21*b + 54. Let m be g(17). Suppose -4*f + 382 = -4*x - m, x = 3*f - 380. Does 14 divide f?
False
Suppose 18*l - 124 = 20. Suppose -223 = -l*j + 57. Is j a multiple of 7?
True
Let z(h) = 3*h + 47. Let d be z(-15). Let b be -4717 + (-1)/d + (-18)/(-4). Is (74/(-26) - -3) + b/(-39) a multiple of 11?
True
Let u(n) = 3*n - 47. Let r be u(15). Is (36/(-6))/6 + (-122)/r a multiple of 12?
True
Let p = 6978 + -1651. Is p a multiple of 22?
False
Suppose q + 20400 = 11*q. Suppose -17*v = 7*v - q. Is 8 a factor of v?
False
Let w(f) = -770*f + 102. Is 76 a factor of w(-5)?
True
Let u be (-105)/3 + (-9)/3. Let l = 56 + u. Suppose -32 = -l*a + 16*a. Does 8 divide a?
True
Suppose 17*n = 11435 - 1456. Is 8 a factor of n - ((9 - 7) + 1)?
True
Suppose 0 = -0*f + 5*f - 2*n - 2, -14 = -f - 3*n. Let j(l) = 7 - 4*l**2 - 2*l + 7*l**f - 2*l + 4*l**2. Does 45 divide j(-4)?
True
Let v(t) = -2*t**2 - 14*t - 10. Let o be v(-6). Suppose h - 3*z - 7 = 0, 0*z - o = z. Does 28 divide (92 - -20) + -2 + h?
False
Let l = -174 - -176. Suppose -70 = -l*t + k + 2*k, -132 = -4*t + 2*k. Does 8 divide t?
True
Let r(h) = 2*h**3 - 15*h**2 + 4*h - 52. Suppose -14*j + q = -9*j - 60, 2*j = -5*q + 24. Is 68 a factor of r(j)?
True
Suppose 55 = 5*b + 48*q - 50*q, -2*q = -b + 11. Suppose -8774 = -b*v + 7462. Is v a multiple of 11?
False
Suppose -2*c + 5*f + 172 = 0, -3*f - 2*f = -5*c + 445. Suppose 6*h - c - 569 = 0. Is 11 a factor of h?
True
Suppose 18*t = 23*t + 4*c - 18751, -2*c = -2*t + 7486. Does 72 divide t?
False
Suppose 13 = 2*s + 5. Let w be 1*((-36)/s)/3*-3. Suppose x - 32 - w = -5*q, -4*x + 3*q + 72 = 0. Does 7 divide x?
True
Let s(d) = -d**2 - 19*d + 76. Suppose -4*r - 4*t = 68, 3*t - 53 = 2*r + 3*r. Is 37 a factor of s(r)?
False
Suppose 17*u - 35365 = -6482. Suppose u = 25*a - 8601. Is 29 a factor of a?
False
Suppose 10 = -5*u - m + 53, 5*u - 34 = 2*m. Suppose -3366 = u*l - 26*l. Is 30 a factor of l?
False
Suppose -52*r = -55*r + 138. Suppose 4*v + 1 + r = q, 5*q + v = 214. Is q a multiple of 32?
False
Suppose 348*y - 246 = 342*y. Suppose y*x - 35640 = x. Does 11 divide x?
True
Let q(t) = -10*t - 39. Suppose -4*v - 74 = 34. Let c = v - -20. Does 12 divide q(c)?
False
Suppose -b = 4*q - 16, 4*q - 2*b + 0*b - 16 = 0. Suppose -q*y - 2108 = 144. Let r = -347 - y. Is 54 a factor of r?
True
Suppose 4 = -0*f + 4*f. Let u = 4 + f. Suppose -u - 1 = -3*s, 0 = -r + 4*s + 52. Is r a multiple of 19?
False
Let n(d) = 2*d - 27 + 12 + 2. Let l be n(7). Suppose -3 = 2*b - l, -2*o + 249 = -3*b. Is o a multiple of 24?
False
Let d be -6 + 365 - (18/2)/3. Suppose -7*k = -3*k + d. Does 22 divide -1 - k - (-2 - -2)?
True
Let z = -143 + 142. Is 10 a factor of z/3 + 9763/39?
True
Let u = -49 - -13. Let l(o) = -2*o**3 + o**2 + 7*o - 39. Let h be l(3). Is (h - 2)*(-4 + u/(-10)) a multiple of 17?
False
Let y be 992/48*150/4 - -1. Suppose 4 = -2*t, 4*t + 402 = 5*s - y. Does 13 divide s?
True
Let h be 56/7 + 2*-1. Let c be 22/h - (-22)/(-33). Suppose 5*x + c = 3*a, -4*a - 3*x = -6*x - 15. Is a even?
True
Let t be 0 + (1 - (1 + 0)). Suppose -2*j + 3*u + 158 + 162 = t, 3*j - 491 = -u. Let q = j + -89. Does 6 divide q?
False
Let a be -3 - (0 + (-2 - 3)). Suppose 0 = 4*f - 2*c - 8, a*f + 5*c - 19 = 9. Suppose 0 = 5*s - 0*m - 2*m - 230, 5*s - 220 = f*m. Is s a multiple of 6?
True
Let o(q) = 4*q**2 + q - 1. Let h be (-2 + 1)*3/(-3) + 5. Let b be o(h). Suppose 634 = 9*a - b. Does 15 divide a?
False
Let h(u) be the third derivative of u**8/20160 + u**7/1680 + u**6/36 + 3*u**5/4 + 11*u**2. Let a(i) be the third derivative of h(i). Does 9 divide a(-9)?
False
Suppose -54*x + 791547 + 474591 = 0. Does 36 divide x?
False
Suppose -4*b + 4*q = -12, -5*b - 4*q = q - 5. Suppose -5*n - h + 1955 = 0, 0 = b*h - 3*h - 5. Is n a multiple of 7?
True
Let g(y) = y**3 + 15*y**2 + 13*y - 13. Let n be g(-14). Is 8 a factor of ((-12)/(-36))/(n/627)?
False
Let k be 6*1 - (-90)/(-10). Does 3 divide k/(6/(-8)) + 93?
False
Suppose 0 = 4*k - 4, 3*k + 0*k + 119 = v. Let a = 364 + -435. Let s = v + a. Is 17 a factor of s?
True
Suppose -168*a + 73962 = -165*a. Does 6 divide a?
True
Let w(n) = n**2 + 6*n + 23. Let m be w(-8). Let b = 42 - m. Suppose 3*f - 78 = -3*j, -f = -3*f + b*j + 42. Does 3 divide f?
True
Suppose -203*a - h - 10546