94. Let i = s + 493. Is 16 a factor of i?
False
Suppose 1011 - 4293 = -3*v + 84. Is v a multiple of 77?
False
Does 216 divide (-441)/(-56) + -8 + 439125/40?
False
Let y be (-5)/(-30) - 1607/(-6). Suppose -w = -344 + y. Does 19 divide w?
True
Let g = 21016 + -18869. Does 7 divide g?
False
Suppose -n = 6*n + 350. Let f = n + 6. Let z = f + 182. Does 46 divide z?
True
Suppose -18*r - 120 = 6*r. Let l(c) = -139*c - 37. Is 56 a factor of l(r)?
False
Let p = 11147 + -7835. Does 10 divide p?
False
Suppose 2*i = c + 291 + 2129, 0 = 3*i - 2*c - 3629. Is 40 a factor of i?
False
Suppose -30*f = -8*f + 66. Does 10 divide (-3)/((-5562)/(-1860) + f)?
True
Let x(r) = 1330*r**2 - 100*r + 10. Does 253 divide x(-4)?
False
Suppose 0*y = -3*y + 2*y. Suppose 4 = -y*k + 2*k. Suppose -b = -3*x + k*x - 72, -148 = -2*b + x. Is 19 a factor of b?
True
Suppose -4*p = -5*x + 6311 + 2929, 4*x - 7392 = -p. Let j = x + -1064. Is j a multiple of 14?
True
Let m be (-32)/2 + (-76)/(-19). Does 17 divide (-2446)/m + 11/66?
True
Let w = -305 - -471. Suppose 47*d = -76*d - 4059. Let p = w - d. Is 9 a factor of p?
False
Let x(c) = 18*c**3 - 25*c + 29. Is x(7) a multiple of 25?
False
Let w = 33 + -31. Let c(t) = -7*t + 12*t - 9 - 7*t**2 - w + t**3. Is c(8) a multiple of 11?
False
Let c = 45 + -42. Suppose 28 - 16 = -c*i. Let q = i - -28. Does 8 divide q?
True
Let i(o) be the first derivative of -o**6/6 + o**4/12 - o**3/6 + 7*o**2 + 22. Let x(b) be the second derivative of i(b). Is 27 a factor of x(-2)?
False
Suppose 2*o - 380 = 8*d, -4*o + 26*d + 860 = 30*d. Does 7 divide o?
True
Let n(r) = -8*r**3 - 4*r**2 - 7*r - 15. Let j = 9 + -13. Is 13 a factor of n(j)?
False
Suppose -158*p - 95*p = -7634781. Is 61 a factor of p?
False
Let v = 291 + -217. Suppose 64*r = v*r - 130. Is 13 a factor of r?
True
Suppose 59*f = 8*f + 2652. Is 3 a factor of f?
False
Let o(d) = d**2 + 4*d - 19. Let q be o(-7). Suppose -q*h + 273 = 55. Is h a multiple of 4?
False
Suppose -8*o - 768 = -56*o. Does 35 divide 11/(((-21)/(-98))/(o - 1))?
True
Let g(r) = 14*r**2 - 137*r - 1174. Is 32 a factor of g(-10)?
False
Let s(n) = -2980*n - 2700. Does 12 divide s(-6)?
True
Let c(u) = u**2 + 26*u + 73. Let b be c(-23). Let i(p) be the third derivative of p**6/60 - p**5/30 - p**4/12 - 4*p**3/3 + 2*p**2. Does 12 divide i(b)?
False
Suppose 14*u = 13*u + 2*b + 13414, b - 53638 = -4*u. Is 90 a factor of u?
True
Suppose -154*j - 5302225 - 6270191 = -516*j. Is j a multiple of 18?
True
Let u(m) = 7*m + 108. Let o be u(-15). Suppose 53*b + 3*w + 717 = 54*b, -o = -3*w. Is 9 a factor of b?
True
Does 15 divide 2/8*(-8)/6 - (-95584)/12?
True
Suppose -4*y + 36 = -4. Let j = y + -6. Suppose -j*b - 82 = -m, 2*b - b = 2*m - 143. Is m a multiple of 14?
True
Let f(h) = 3*h - 19. Let c be f(11). Let l = -15 + c. Is 177 - -1 - (l - (4 + -4)) a multiple of 13?
False
Does 13 divide ((-7725)/(-4))/((-294)/(-392))?
False
Let m = 181 + -183. Is 6/m - (-316 - (9 - 1)) a multiple of 40?
False
Suppose 343*h - 318*h - 10676 = 3949. Does 35 divide h?
False
Suppose 48*j - 55*j = 7. Is j - (-9122)/18 - (-2)/9 a multiple of 11?
True
Let w = -9 + 24. Let q = 1 + w. Suppose -q*o - 30 = -17*o. Is 30 a factor of o?
True
Let t(l) = -14*l - 382. Let r(o) = -7*o - 191. Let h(q) = -5*r(q) + 3*t(q). Is 14 a factor of h(-32)?
False
Let g be (-6)/(-21) - (-135109)/91. Let b = 2253 - g. Is b a multiple of 12?
True
Let a(j) = -j**2 - 130*j + 222. Does 37 divide a(0)?
True
Let q be 1 + 2/(-8)*(-4 - 40). Suppose -2*c = -q*c + 540. Is c a multiple of 9?
True
Suppose 0 = -55*a + 113494 + 32751. Is 3 a factor of a?
False
Let j(o) = -7*o**3 + 6*o**2 - 6*o - 9. Let a be j(-9). Suppose 0 = 53*c - 59*c + a. Does 8 divide c?
False
Suppose -10*i = -34 + 234. Suppose -w = -4*m + 7106, 5334 = m + 2*m - 3*w. Does 17 divide 3/15 + (-4 - m/i)?
True
Suppose 0*s - 5*j + 98 = 3*s, 4*s - 125 = -j. Suppose 0 = -i + 3*f + 25, f + s = 3*i + 3*f. Suppose 7*w + i = 279. Is 18 a factor of w?
False
Let z = 21 - 7. Let o be 1/(-4) - 207/36. Let p = z - o. Is p a multiple of 14?
False
Let m be (-8)/4 + 36/4. Suppose 7*j = -m*j. Suppose -i + 3*a + 175 = -58, 2*i + 2*a - 466 = j. Is i a multiple of 15?
False
Suppose 3*g + 3*i + 30 = 135, i - 95 = -3*g. Let x(d) = d - 16. Let r be x(8). Is 2 a factor of (r/(-10))/(12/g)?
True
Let z be (29/58)/((-2)/(-12)). Suppose -5*w = -b + 472, 4*w - 109 = z*b - 1569. Does 12 divide b?
True
Let p(v) = 3*v**3 - 65*v**2 + 29*v + 203. Is 11 a factor of p(27)?
True
Let j = 58347 - 47097. Is 150 a factor of j?
True
Let d = 39 + -23. Suppose 2*m - 18 = 4*i, -3*m - 3*i - d = -5*m. Suppose 0 = 3*q - 4*y - m, -4*q + y - 7 = -6*q. Does 2 divide q?
False
Suppose -6*o + 5746 = 2*g, -g = -15*o + 14*o - 2897. Is 105 a factor of g?
False
Let m(s) = -13*s - 61. Let q(c) = -38*c - 186. Let t(f) = -10*m(f) + 3*q(f). Does 14 divide t(8)?
False
Let o = -3 - -3. Suppose y = -3*i + 671, 5*y - y + 1090 = 5*i. Suppose a - 74 = -3*p, 3*p - i = -3*a - o*p. Does 37 divide a?
True
Let q = -27 + 101. Suppose -k - 5*i + q + 21 = 0, -2*k + 225 = 3*i. Does 12 divide k?
True
Let z(m) = -23*m**2 - 4*m + 10. Let v(w) = 8*w**2 + w - 3. Let i(d) = -17*v(d) - 6*z(d). Let l be i(6). Does 6 divide (-7)/l*-10 + 542/6?
False
Let x(r) = 113*r + 619. Does 19 divide x(11)?
True
Let h = 4065 - 3009. Is 2 a factor of h?
True
Let m be -1*9/((-27)/6). Suppose 34 = m*b - 18. Suppose -b = -5*h - 4*s, 0*h - 5*s = -4*h + 29. Is 5 a factor of h?
False
Suppose -151*s + 170*s - 568100 = 0. Does 23 divide s?
True
Let j(b) = 11*b**2 - 2*b + 122. Let c be j(-10). Suppose -c = -22*k + 16*k. Is 49 a factor of k?
False
Suppose 0 = -10*t + 8*t. Suppose -o - 3*o = t. Suppose -5*v + 191 + 64 = o. Is 9 a factor of v?
False
Let k(j) = 6*j - 8. Let h be k(2). Let w be h/6 + (-91)/(-21). Suppose w*b + 131 = 546. Is 15 a factor of b?
False
Is ((2556/27)/((-10)/(-120)))/(3/21) a multiple of 53?
False
Let k = 14 + -227. Let g = k - -587. Does 22 divide g?
True
Let r(i) = 3*i**2 + 7*i + 10. Let x be r(6). Suppose 0 = -7*b + 3*b + x. Suppose 4*t - 83 = -3*m, 3*t - 2*m + b = 5*t. Does 4 divide t?
False
Let l(y) = 89*y**3 - 22*y**2 + 69*y + 5. Does 9 divide l(4)?
True
Suppose 11*o - 64177 = 60717. Does 7 divide o?
True
Suppose -9*x - 3*x - 113911 = -356035. Is 324 a factor of x?
False
Let s(n) = 79*n**2 + 25*n + 91. Suppose 3*f + 24 = -3*m, -5 = 5*m - 4*f - 1. Is s(m) a multiple of 25?
False
Let g = 43 + -37. Does 2 divide (90/(-12) + g)*-16?
True
Suppose -28464 = -17*f + 13696. Suppose 6*g = g + f. Does 14 divide g?
False
Let d = -17 - -202. Let q = 199 + d. Is q a multiple of 71?
False
Let w(z) = 131*z**3 + 8*z**2 + 16*z - 57. Does 16 divide w(3)?
True
Suppose -12 = 18*s - 22*s. Suppose 6*g - 554 = g - s*k, 0 = -g - 4*k + 121. Let p = g - -11. Does 40 divide p?
True
Let a(o) = 7*o + 247. Let l be a(-29). Suppose 0 = -26*u + l*u - 21870. Is u a multiple of 15?
True
Let q(f) = -1207*f**3 + 12*f**2 - 4*f - 141. Does 242 divide q(-4)?
False
Is ((198/9)/(4/(-16)))/(36/(-17334)) a multiple of 321?
True
Let k(n) = -n**3 + 10*n**2 + 6*n - 51. Let x be k(10). Suppose 24 = 11*w - x. Is w a multiple of 2?
False
Let q(c) = -c**3 - c**2 - 3*c. Let m be q(-2). Suppose 0 = -14*d + m*d + 360. Does 9 divide d?
True
Suppose 4*z + 550 = 570. Suppose 3*o - o - 669 = -z*d, 536 = 4*d + 2*o. Is d a multiple of 24?
False
Let j = -539 - -545. Let s(k) = 3*k**3 - 7*k**2 - 18*k - 3. Does 15 divide s(j)?
True
Let f(m) = -3*m**2 + 2*m + 2. Let b(k) = -11*k**2 + k + 33. Let n(l) = b(l) - 4*f(l). Suppose -32 = -h - 3*h. Is n(h) a multiple of 11?
True
Let r = -36 - -40. Suppose -r*v - 13 - 3 = 0, 2*v = 3*n - 587. Let m = -48 + n. Is 29 a factor of m?
True
Let h(t) = -93*t - 1500. Is h(-62) a multiple of 27?
True
Let h(y) = -y**2 + 10*y + 91. Let q be h(16). Is 1462/1 + (q - -7) a multiple of 37?
False
Let r(z) = 7*z**2 + 272*z + 30. Is 28 a factor of r(19)?
False
Let a = -349 - -350. Is (-47 + 6)*-1 - a a multiple of 4?
True
Is 112 a factor of (-181446)/(-90) - 2/30?
True
Let y(b) = -1755*b**2 - 14*b + 13. Let k be y(1). Let v = k - -2907. Does 83 divide v?
False
Suppose 540*s = 509*s + 1747315. Does 171 divide s?
False
Does 19 divide (((-520)/(-39))/(-8))/((-3)/684)?
True
Suppose 4*m - 134 = -2*s, -17*m + 169 = 3*s - 19*m. Suppose s*n = 48*n + 6864. Is n a mult