oes 5 divide (-32)/18 + 2 + s/(-9)?
False
Let d be (-60)/(-25) - (-6)/(-15). Does 3 divide -4 - (-16)/d - -1?
False
Let t(m) = -2*m - 32. Let p be t(-4). Let d = 98 + p. Does 12 divide d?
False
Suppose -4*b - 169 = 4*k - 1221, -2*k + 10 = 0. Is b a multiple of 18?
False
Suppose 5*h = 6*h - 12. Let z = h - 6. Does 10 divide 3 + 52*3/z?
False
Let k be (-87)/(-1) + 2/(-1). Let a = 116 - 74. Let g = k - a. Is g a multiple of 14?
False
Suppose -25*j + 3 = -24*j. Suppose x + j*h - 161 = 0, 4*h = -11 + 31. Is 13 a factor of x?
False
Suppose -17*j + 2503 = -3719. Does 13 divide j?
False
Let j(d) = -6*d**3 + 3*d**2 - 2*d + 4. Let p be j(2). Let i = p + 51. Is 5 a factor of i?
True
Let m(j) = -4*j**3 - 14*j**2 - j + 9. Let c(x) = 3*x**3 + 14*x**2 - 9. Let d(k) = -5*c(k) - 4*m(k). Let o be d(7). Is 14 a factor of o/(-15)*20/6?
False
Suppose 5*n - 2266 = 2*w + 3856, 0 = 2*w + 2. Suppose -12*d = -3*d - n. Is d a multiple of 8?
True
Let w = -31 - -40. Let i(d) = d + 27. Does 36 divide i(w)?
True
Let o(b) = b**3 - 2*b**2 + 95. Suppose 5*a + 2*m = -2*m + 12, -3*a - 2*m = -6. Is o(a) a multiple of 19?
True
Let g(d) = 1 + 8*d + 4*d - 4*d. Let o = -8 - -12. Does 11 divide g(o)?
True
Suppose 20*w - 22*w = -304. Suppose -14*i + 30 + w = 0. Is 3 a factor of i?
False
Let d = -454 - -662. Is d a multiple of 26?
True
Suppose -3*w + 7*a = 9*a - 458, -5*a = 4*w - 606. Does 9 divide w?
False
Let h = 1528 - 964. Does 47 divide h?
True
Let h be ((-6)/18)/((-1)/3). Suppose -4*p + 17 = -j, 4*j - 3 = -2*p + h. Suppose -4*g = 4*r - 120, 5*r = p*g - 0*g - 84. Does 9 divide g?
False
Let q = -428 - -2038. Is 35 a factor of q?
True
Let c(z) = 579*z**3 + 2*z**2 - 2. Is 13 a factor of c(1)?
False
Let s(k) = k**3 - 33*k**2 + 77*k - 54. Is s(32) a multiple of 11?
True
Let b = -1767 + 2533. Is 56 a factor of b?
False
Let u(n) = -n**3 + 9*n**2 + 3. Let y be (4/2 + -1)*9. Let t be u(y). Suppose -3*a + 15 = 3*b, -b - 14 = -3*a - t*b. Is a a multiple of 2?
True
Let v(x) = -x**2 + 11*x + 3. Let r = 10 + -4. Is 5 a factor of v(r)?
False
Let i(d) = -10*d - 28. Let c be i(8). Is c/90*(-5)/6*8 a multiple of 4?
True
Suppose 3*c = 4*t + 2, 4*c + 4 = -5*t + 17. Let a(n) = -3*n - 3 + 17 + 0*n**3 - n**3 + 6*n**c - 8. Is a(5) a multiple of 16?
True
Let p = -218 + 332. Is p a multiple of 11?
False
Suppose 0 = 5*n + 5*x, -n = -2*n + 2*x. Suppose n*i = i + 2*z - 126, -5*i + 2*z = -606. Is 23 a factor of i?
False
Let b(y) = 3*y**2 + y**3 + 12*y + 10*y + 5 - 28*y + 0*y**3. Does 2 divide b(-4)?
False
Let t(f) = -25*f**3 - f**2 - f. Let x(g) = g - 10. Let i be x(9). Let j be t(i). Let h = j - 13. Is 6 a factor of h?
True
Let g(i) = i**2 - 6*i + 7. Let p be g(2). Suppose -124 = -5*v - 4. Is (p - 0)*(-6 - v) a multiple of 18?
False
Suppose -4*l + 13 = -3. Let t(r) = 2*r + 13. Is t(l) a multiple of 7?
True
Suppose 0 = -5*z + 4*z - 132. Let o = z - -234. Suppose 57 = 3*q - o. Does 16 divide q?
False
Is 21 a factor of (85 - -7)*((1 - -5) + -5)?
False
Let k(a) = -a**2 + 24*a + 23. Does 7 divide k(15)?
False
Let p(a) = 12*a**2 - 10*a - 20. Is p(-4) a multiple of 4?
True
Let u be 4*((-274)/(-4) + 2). Let g = -118 + u. Is 7 a factor of g?
False
Suppose -u + 5*w = -40, u - 13 = -0*u - 4*w. Let z = -9 + u. Suppose -z = 4*k, 3*m - k = -m + 116. Is 14 a factor of m?
True
Let j be 6/3*6/4. Suppose 4*u = 2*b + 16, -u - j*b = -3*u + 12. Suppose -u*q + 360 - 90 = 0. Is q a multiple of 15?
True
Let w = 21 + 303. Is 54 a factor of w?
True
Let a be 9/(-6)*(-6)/9. Let q be 52*a - (-3 + 7). Let f = -28 + q. Does 5 divide f?
True
Let u(p) = 155*p - 3. Let c be u(2). Suppose -s - g - 99 = 0, 5*g = -4*s + s - c. Let d = 152 + s. Is d a multiple of 7?
False
Let o(v) be the second derivative of v**4/12 - v**3/2 + 5*v**2 + 28*v. Is o(5) a multiple of 5?
True
Let m = -3436 - -4853. Does 39 divide m?
False
Suppose 0 = 5*z - 15, 5*m + 0*z - 7 = z. Is 7 a factor of m - (-2 - 0 - 31)?
True
Suppose 4 = -h - 3*x, -4*x = -h + 12 + 12. Does 2 divide h?
True
Let f be (-2)/(-8) - 0 - 165/(-44). Suppose f*a + 23 = v + 3*a, -2*a = -4*v + 88. Does 7 divide v?
True
Suppose -23*u - 6*u + 5945 = 0. Is u a multiple of 46?
False
Does 45 divide ((-10800)/18)/((-6)/9 + 0)?
True
Let w = -16 + 18. Suppose 0 = -4*n - w*q + q - 242, -3*q = 6. Let o = n - -84. Is 8 a factor of o?
True
Let v be 2/(-4 - -6) + 4. Suppose 0 = v*w - 638 - 752. Suppose g = 5, -3*z + 2*g + w = z. Is 12 a factor of z?
True
Suppose -5*s = -101 + 6. Let h = -22 + s. Is 21 a factor of -21*h*(-3)/(-9)?
True
Let q(u) = -3*u - 7. Let r be q(-3). Suppose -r*h - a + 2*a = -204, -a + 204 = 2*h. Is 34 a factor of h?
True
Suppose 2*b + 0*b + 3*i = 862, 0 = -b - 2*i + 432. Suppose 6*q - b = -38. Is q a multiple of 17?
False
Suppose -14*z = -18*z + 980. Suppose 5*n - 165 = z. Is 15 a factor of n?
False
Suppose -18 = -5*k + a, 3*k + 3*a - 6 = -2*k. Does 19 divide 1/(k - (-1784)/(-596)) + 3?
True
Let j(g) = g**3 + 2*g**2 + g - 13. Let b be j(-8). Is 7 a factor of (-2)/(-4) - b/10?
False
Let n(r) = -r**2 - 10*r - 8. Let p be n(-8). Let z = -1 - p. Does 3 divide (-56)/z + 2/(-9)?
True
Let v(q) = 167*q - 1229. Does 108 divide v(19)?
True
Let v(w) = w**3 - 14*w**2 - 7*w - 32. Let n(m) = 2*m - 33. Let l be n(24). Is v(l) a multiple of 22?
True
Let m(g) = g**3 - 5*g**2 - 9*g - 16. Does 11 divide m(12)?
False
Suppose 0 = -5*r - 5*r + 2250. Suppose -737 = -16*p - r. Is 16 a factor of p?
True
Let f = 540 - 111. Does 43 divide f?
False
Let s = -101 + 78. Does 6 divide -1 - (s + (-3 + 0 - 0))?
False
Let w(j) = -21*j - 14. Let c be w(-4). Suppose -4*x = 2*v - 72, 2*v - c = -4*x + x. Is 16 a factor of v?
True
Suppose -11*v + 4*v = 0. Suppose v = 5*h - h - 76. Does 4 divide h?
False
Let n be (-7)/(28/6)*-2. Suppose 56 = -n*q + 5*q. Does 7 divide q?
True
Let j(r) = 33*r - 93. Is 56 a factor of j(13)?
True
Let o(s) = -2*s**2 - 57*s + 83. Let v be o(-30). Let z(b) be the third derivative of -b**4/3 - 11*b**3/6 - b**2. Does 11 divide z(v)?
False
Let b be (-2)/(-17) - (-1518)/391. Suppose 0 = h + 4*p - 96, 3*h + 120 = b*h - 2*p. Is 7 a factor of h?
True
Let a = 29 + -27. Let d be a/(-10) + 3945/(-25). Let p = d - -263. Does 35 divide p?
True
Let y(w) = -w**3 - 3*w**2 + 9*w + 2. Let u be y(-6). Let q = u + 88. Is 48 a factor of q?
True
Suppose -14*a + 4*a = 590. Let p = 81 + a. Is 16 a factor of p?
False
Let w = 10 + -11. Let o be (-3 - (1 + -3))*w. Does 14 divide 164/8*2/o?
False
Let q be 0/(-4)*2/2. Suppose 0*y = y - f - 1, -3*y + 5*f - 7 = q. Does 7 divide (-1)/y - 338/(-12)?
True
Let m = 21 - 14. Let r(c) = -c**3 + 3 - m*c**2 + 4*c - 3*c**3 - 4 + 5*c**3. Is r(7) a multiple of 18?
False
Let c = 2217 - 929. Does 46 divide c?
True
Let o(z) = -z**2 + 5*z + 2. Let n be o(5). Is ((-4)/4)/(231/(-114) + n) a multiple of 19?
True
Suppose 6*o + 2*o - 12328 = 0. Is o a multiple of 23?
True
Let o = -14 - -9. Let c be (-1)/2 - o/2. Suppose 3*i + 3*w - 367 = -c*i, 71 = i + 3*w. Is i a multiple of 15?
False
Let c be 0 - 1*(2 + -10). Let g = -5 + c. Suppose -g*v + 52 = -2*m, -5*m = -v - 0*v. Is 5 a factor of v?
True
Let z = -677 - -1603. Is z a multiple of 39?
False
Let b be 10*6/(-45)*-3. Suppose -b*s - s = -110. Does 9 divide (-11)/(s/(-36)) - -1?
False
Let v be 0 + (-23 - (-12)/(-3)). Is (v/12)/((-5)/40) a multiple of 3?
True
Let v be (-39)/(-6) + -5 + 222/4. Let a = 72 - v. Does 15 divide a?
True
Suppose 0 = 2*v + 5*c - 11, 4*v - 23 - 12 = 3*c. Is 4 a factor of (v/6)/((-3)/(-18))?
True
Let f(n) = -n**2 - 9*n - 8. Let b be f(-8). Suppose -5*t - 160 + 665 = b. Does 40 divide t?
False
Suppose -2*i + 45 = 7*i. Suppose -552 = -3*p - o + 5*o, -i*p + 915 = -5*o. Is p a multiple of 18?
True
Let a = -16 + 21. Let l(b) = -b**3 + 7*b**2 - 8. Does 7 divide l(a)?
True
Suppose -13*i + 1196 = -1846. Is 39 a factor of i?
True
Suppose -8*f + 312 = 4*f. Does 13 divide f?
True
Suppose 6*y = -3*x + 5*y + 5742, 5*y + 1914 = x. Is x a multiple of 6?
True
Suppose -6*i + 7*i - 1 = 0. Is 7 a factor of (-3*i)/(3/(-31))?
False
Let n(g) = 17*g**2 + 2*g - 2. Let j be 2/(-4) - 36/(-24). Does 8 divide n(j)?
False
Let q = 802 + -1144. Let j be ((-6)/(-9))/((-6)/q). Let a = j - 12. Does 8 divide a?
False
Suppose 5*l + 23*b - 28*b = 90, 3*b = -2*l + 26. Let h(x) be the third derivative of x**6/120 - x**5/4 - 5*x**4/8 + x**3 - 2*x**2. Does 7 divide h(l)?
F