ltiple of 9?
False
Suppose 4*p + 4*s - 84 = 0, -5*p + 105 = 2*s - 3. Does 7 divide p?
False
Let r(f) = -f**3 + 7*f**2 - 4*f - 6. Let l be (-6)/27 + 94/18. Is r(l) a multiple of 19?
False
Suppose -82 - 86 = -3*p. Let i = p - 30. Is 14 a factor of i?
False
Let f(q) = -q**2 + 20*q - 4. Is 12 a factor of f(16)?
True
Let i(n) = 6*n + 7. Let j = -7 - -7. Let m be (5 + -4)*(6 + j). Does 17 divide i(m)?
False
Let y(q) = -18*q - 1. Let o be y(2). Is 19 a factor of (2 + -2 - o) + 1?
True
Suppose 31 + 9 = 5*z. Suppose 0 = d + d - z. Suppose -w + 31 = 5*x, 4*w + d*x - 42 = 34. Is w a multiple of 10?
False
Let v(b) = -b**2 - b. Let y be v(0). Is 6 a factor of (-17)/(-1)*(y + 1)?
False
Let u be (-1)/(3/6*-2). Let o(x) = -x - 4*x + 5*x**3 + 5*x. Does 2 divide o(u)?
False
Suppose -2*k - 2 = 3*i - 14, -3*i = -5*k + 9. Suppose k = -4*s + 15. Suppose h = o - 5*o + 20, 0 = s*o - 2*h - 15. Does 5 divide o?
True
Let a be 1/(13/834) - 54/351. Let x(r) = r**2 + 7*r + 9. Let p be x(7). Let w = p - a. Is w a multiple of 17?
False
Let n be (2/4)/((-4)/264). Let h = -18 - n. Suppose 2*v + 2*j = 24, -v - v + h = -j. Does 9 divide v?
True
Is 29 a factor of (-4)/(-10) - (-2165)/25?
True
Let j = 7 - 3. Suppose 0 = j*r + 4*p + 136, r - 3*p = 2*p - 64. Let c = 63 + r. Is c a multiple of 8?
True
Let f = 5 - 11. Let h(v) = v**2 + v - 173 + 2*v + 169. Does 13 divide h(f)?
False
Does 23 divide 3047/66 - (-2)/(-12)?
True
Let v = 15 + -18. Does 20 divide 14/((6/v)/(-4))?
False
Suppose -25*a + 87 = -24*a. Is a a multiple of 26?
False
Let o(w) = -w**3 + 9*w**2 - 4*w - 10. Let d be o(8). Is (-12)/(-66) + 1558/d a multiple of 26?
False
Let i(q) = -q**2 + 5*q - 1. Let c be i(2). Let f be 2/c - 78/(-30). Suppose -3*x - w + 49 = 0, f*x - w + 0 - 41 = 0. Does 8 divide x?
False
Does 13 divide (-600)/9*60/(-25)?
False
Let x(r) be the second derivative of -r**5/20 - r**4/3 + 4*r**3/3 - r**2 + 2*r. Is x(-6) a multiple of 11?
True
Suppose d - 2 = -0. Let z(o) = -4 + 3*o**2 - d*o + o**2 - 3*o**2. Is z(-4) a multiple of 10?
True
Let g = 210 + -163. Does 5 divide g?
False
Let j be (-60)/(-14) - 4/14. Suppose -2*n - 2*n + 48 = -2*l, 0 = 3*n + 2*l - 50. Is 10 a factor of j/n - (-124)/7?
False
Is ((-450)/125)/(6/(-500)) a multiple of 20?
True
Suppose 4*k - 3*k = 5. Let q(w) = w**3 - 5*w**2 - 2*w - 4. Let g(y) = y**3 - 5*y**2 - 3*y - 3. Let i(c) = -3*g(c) + 2*q(c). Does 11 divide i(k)?
False
Let x(u) = -u**2 - 4*u - 6. Let m be x(-4). Let j(s) = s**3 + 8*s**2 + 8*s - 4. Let q be j(m). Suppose 4*f = -4*r + q, -2*f = r - 3 - 3. Does 4 divide r?
True
Suppose 111*x = 105*x + 132. Does 22 divide x?
True
Let w(k) be the first derivative of k**3/3 + 4*k**2 + 6*k + 3. Let l be w(-6). Is 16 a factor of 18*2/(-9)*l?
False
Let p(d) = -3*d**3 - 14*d**2 - 13*d - 8. Let o(w) = w**3 + 7*w**2 + 7*w + 4. Let n be 12/3*(-15)/(-12). Let b(u) = n*o(u) + 2*p(u). Is 6 a factor of b(8)?
True
Let b = 70 + -43. Let v = b + -12. Does 15 divide v?
True
Suppose 5*b - 2*b = -y + 184, -2*b = -10. Is 26 a factor of y?
False
Suppose b = 5*c + 61, 0 = -3*b + 3*c - 0*c + 171. Is b a multiple of 11?
False
Let a(b) = b + 15. Is a(7) a multiple of 4?
False
Suppose 5*w = 3*a + 354, 5*a - 81 - 180 = -4*w. Suppose 6*n - w = 3*n. Is n a multiple of 12?
False
Suppose -32 = z - 5*z. Does 37 divide z/1*(-333)/(-36)?
True
Suppose -3*v - 600 = -13*v. Is 7 a factor of v?
False
Let u(n) = 5*n**2 - 4*n - 2. Let q = -7 + 11. Is 16 a factor of u(q)?
False
Let r be -1 - 2 - (-25 + -2). Let d = r - -26. Is 24 a factor of d?
False
Let o(i) = -i**3 + 7*i**2 - 6*i + 2. Let k be o(6). Suppose 4*g - 45 = -2*c + 13, k*g = 4*c + 4. Suppose s + 0*s - g = 0. Is s a multiple of 12?
True
Suppose 60 = -4*d + 9*d. Suppose 26 = 3*p + 2*o, p = -3*p + 3*o + d. Does 3 divide p?
True
Let u be 37/7 + 4/(-14). Suppose -z = 4*g - 0 - 2, 10 = -g + u*z. Is 5 a factor of 4/(12/21) + g?
False
Let y = 12 - 11. Does 6 divide ((-2)/2)/(y/(-12))?
True
Let p = 3 - -33. Is p a multiple of 9?
True
Suppose 3*v - 2 = 5*y + 13, 2*y = 4*v + 8. Let a(u) = -u**2 - 15*u - 15. Is 15 a factor of a(y)?
False
Let o(r) = 2*r + r**3 - 5*r**2 - 2*r**3 - 1 - 6*r. Let p be o(-4). Is (2/(-5))/(p/50) a multiple of 11?
False
Suppose -w = v - 98, 0 = -5*v - 4*w + 596 - 108. Suppose -r = 2*r - v. Is r a multiple of 15?
False
Does 41 divide (-1435)/10*(-16)/28?
True
Does 16 divide (22120/(-36))/(-7) - (-4)/18?
False
Let b(a) = a**2 + 2*a. Is b(-17) a multiple of 45?
False
Let k(s) = -3*s**2 + 2*s + 6*s**3 - 7*s**3 + 8*s**2 + 1. Does 5 divide k(5)?
False
Suppose 0 = 3*i + 15 + 15. Does 8 divide (-12)/i*90/12?
False
Let y be -2 - (-1 + 0) - -4. Suppose 0 = 2*h + y*h + 4*m - 481, -5*m = 2*h - 189. Let c = -62 + h. Is 14 a factor of c?
False
Let k be 10 + (1 - 0)/(-1). Is 183/k + 2/(-6) a multiple of 8?
False
Let v = -10 - -14. Suppose -3*j - 12 = -2*l, -2*l = -v*j - j - 4. Does 11 divide l?
False
Let v(p) = -p**3 - 6*p**2 - 11*p - 26. Is 20 a factor of v(-6)?
True
Suppose -2*u + 36 = 4*k, -u - 17 = 2*k - 7*k. Does 2 divide u?
True
Suppose -m = -3*m + 14. Is 2 a factor of m?
False
Suppose -2*r = 3*o + 2 - 4, 4*o = -16. Let j = 19 + r. Does 15 divide j?
False
Let r be 14 - (0 + 0)/1. Is r*(60/21 + -2) a multiple of 6?
True
Suppose -w - 2*f = -18, 0*w - 2*w + 35 = 5*f. Does 10 divide w?
True
Suppose 2*k + 56 = 144. Let x = -15 + k. Does 16 divide x?
False
Suppose -2 = -3*v + 4*v, -992 = 3*i - 2*v. Let x = -197 - i. Suppose x = 5*h - 105. Does 16 divide h?
True
Let t be (-6)/(-21) + (-2)/7. Suppose 0 = 3*h - t*h + 42. Does 15 divide (-90)/4*h/21?
True
Let r = 100 - 31. Is 18 a factor of r?
False
Let t(q) = -q**3 + 6*q**2 + q - 4. Let i be t(3). Suppose -3*u + i = -u - 3*w, 0 = -4*w. Is u a multiple of 9?
False
Let a(j) = -9*j + 1. Is 20 a factor of a(-8)?
False
Let b be ((-4)/6)/(10/(-375)). Let q = -9 + b. Is q a multiple of 8?
True
Let r(m) = m**2 - m + 9. Let d be r(-9). Let q = d + -32. Is 20 a factor of q?
False
Suppose -2*x + 3*s + 0 + 11 = 0, -4*x = -5*s - 21. Suppose -x*p = k - 103, -21 = -p - 0*p - 5*k. Is 13 a factor of p?
True
Suppose -5*i + 2*i = -96. Let c = 73 - i. Is c a multiple of 13?
False
Let q = 49 - 23. Is 3 a factor of q?
False
Let w be (-2)/4 - (-15)/2. Let d = w - 3. Suppose 0*z + 3*z = d*v - 103, 0 = z - 3. Is v a multiple of 13?
False
Is 5/((-2)/(-32)*2) a multiple of 10?
True
Suppose 5*k = -3*g + 133, 6*g - 127 = 3*g - 2*k. Is 5 a factor of g/4 + 1/(-4)?
True
Let i be 0 - (3 + -7 - -2). Suppose i*b + 15 = 7*b. Is b a multiple of 3?
True
Is 37 a factor of 39/(-9) - -5 - (-966)/9?
False
Let n be 127 + 1 + -1 + 1. Suppose 0 = 4*j + 12 + n. Let w = 50 + j. Is 6 a factor of w?
False
Let w(u) = -u + 12. Let j be w(9). Suppose g = -i + 8 - j, 0 = 2*i + 4*g - 14. Is i a multiple of 3?
True
Suppose 7 = -h + 2*z, 2*h - 2*z + 3 + 7 = 0. Let u be 1*6/(-9)*h. Suppose -5 = -k, -2*k - u*k = -3*c - 2. Is c a multiple of 5?
False
Suppose 10*y + 410 = 3040. Is y a multiple of 9?
False
Let x(h) = h**3 - h**2 - h + 5. Let v be x(0). Suppose -3*k + 3*a + 33 = 0, -v*k - 2*a + 18 = -3*k. Is k a multiple of 8?
False
Let w(c) = c**3 + 3*c**2 - 4*c - 3. Does 2 divide w(-3)?
False
Let h(v) = 4*v - 20. Is 18 a factor of h(14)?
True
Suppose -11*c + 14*c - 72 = 0. Does 17 divide c?
False
Let k = -8 - -12. Suppose 0*y - k*y + 5*s + 13 = 0, -3*y = 4*s - 33. Is y a multiple of 5?
False
Let b be (-4)/(-6)*3 + -2. Suppose -3*r - 8 + 236 = b. Suppose x = 3*n - r, -5*n = -0*n - x - 128. Is n a multiple of 13?
True
Let y(s) = -6*s**3 + 2*s**2 + 4*s + 2. Let z be y(-2). Suppose 2*r + z = 7*r. Is r a multiple of 4?
False
Let o(v) = 2*v**3 - 7*v + 6. Does 33 divide o(3)?
False
Let x(a) = a**2 + a. Let j be x(2). Suppose -j*z = -z. Is z*1/(-3) + 12 a multiple of 12?
True
Let l be 8 - (1 + -2 + 0). Let m be 6/l + 30/9. Does 4 divide (-2)/m + 27/6?
True
Let a = 107 + -51. Is a a multiple of 14?
True
Let l(c) = -c + 2. Suppose -w - 5 = 2*u + 1, 5*w - 3*u = 9. Let k be l(w). Suppose -k*g + 5*n - 22 = -100, 52 = g + 4*n. Does 12 divide g?
False
Let y(w) = -w**3 + 19*w**2 - 16*w + 26. Is 13 a factor of y(18)?
False
Suppose 3*z + 1 = 34. Let x = -2 + z. Is 4 a factor of x?
False
Let n = 236 + -116. Is 15 a factor of n?
True
Let f = 3 + -9. Is (-12)/7*(f + -1) a multiple of 5?
False
Is 9/(468/(-8)) + (-626)/(-13) a multiple of 5?
F