s 10 a factor of d(2)?
False
Let i(o) = -o**2 + 10*o + 5. Let p be i(10). Suppose -4*s + 8 = 0, p*n - 2*s - 142 = -3*s. Does 14 divide n?
True
Is 190 + 5/(-10)*6 a multiple of 20?
False
Let r = 175 + -125. Is r a multiple of 25?
True
Suppose -r - 75 = -6*r. Is 2 a factor of r?
False
Let y(k) = -6*k - 18. Does 12 divide y(-7)?
True
Let q = 94 + -67. Is 10 a factor of q?
False
Suppose 4*t + 4 = -3*m - 6, -5*m + t + 14 = 0. Suppose 2*w - 4 = -m*w. Is 6 a factor of (-18)/(-3)*(1 + w)?
True
Let d(b) = -b**3 + 15*b**2 - 3*b - 2. Is 19 a factor of d(14)?
True
Suppose 5*q - 51 = c, -2*q + 3*c - 7 = -3*q. Does 6 divide q?
False
Let s(h) = 25*h**2 + 2*h - 2. Let k be s(-2). Suppose k = 5*x - 2*q, 2*x + q = x + 16. Does 9 divide x?
True
Let d(n) = 11*n**2 + 7*n + 9. Is d(-3) a multiple of 12?
False
Let f(g) = 34*g - 3. Let n(u) = u**2 + 8*u - 7. Let k be n(-9). Is 15 a factor of f(k)?
False
Suppose 5*k - 33 - 177 = 0. Is 21 a factor of k?
True
Does 5 divide 24*3*2/6?
False
Suppose q = -3*c - q + 15, -5*q = 2*c - 10. Is 13 a factor of 4/c*6*5?
False
Let d = 3 + 0. Suppose -k + d = -6. Is k a multiple of 4?
False
Let b = 11 + 109. Suppose -l + 43 - b = 0. Let n = -38 - l. Does 14 divide n?
False
Let b(i) = -4*i - 12. Suppose 0 = -4*d - d - 40. Is 11 a factor of b(d)?
False
Let q = 51 - -14. Does 5 divide q?
True
Let y(n) = n**3 + 17*n**2 + 12*n + 20. Is y(-16) a multiple of 14?
True
Suppose -2*v = -5*o + 3 + 14, 3*v = 4*o - 8. Suppose -55 = o*u - 10*u. Is u a multiple of 4?
False
Let b(v) = 2*v**2 + 5*v + 7. Let c be b(-5). Suppose -w + 14 = -4*z, 9 = 4*w - z - c. Does 10 divide w?
True
Is ((-6)/(-5))/((-5)/(-150)) a multiple of 19?
False
Let h = -61 - -21. Let a = -4 - h. Let u = a - 19. Does 10 divide u?
False
Let l(k) = -42*k**3 - k**2 - k + 1. Let d(r) = -42*r**3 - r**2 - r + 1. Let v(h) = 2*d(h) - 3*l(h). Does 11 divide v(1)?
False
Suppose 0 = 3*k - k - 5*r + 42, -2*k = -r + 42. Let n = -8 - k. Does 8 divide n?
False
Suppose k + 5 = -3. Does 13 divide (-28)/3*(k + 5)?
False
Let f = -1 + 2. Let i(j) = 30*j + 62 - 62. Is 10 a factor of i(f)?
True
Let d = -100 + 134. Is d a multiple of 8?
False
Let i(h) = h**2 - 9*h - 4. Let v be i(8). Let g = 15 - v. Is 9 a factor of g?
True
Let d(w) = w + 3. Let l be d(0). Suppose 195 = 2*k + l*k. Is k a multiple of 15?
False
Suppose 134 + 141 = 5*o. Suppose o + 50 = 5*k. Does 11 divide k?
False
Let a(r) = 2*r**2 - 5*r + 10. Is a(12) a multiple of 17?
True
Suppose o + o = 3*k - 8, 2*k + 1 = -5*o. Suppose 5*t - 264 = -2*y, 340 = 3*y - k*t - 75. Suppose 2*i = -2*i - 5*j + y, -4*i = -3*j - 161. Is 14 a factor of i?
False
Suppose 2*f - 215 - 47 = 0. Does 26 divide f?
False
Suppose 4*r + 1 = -27. Let l(d) be the third derivative of -d**6/120 - 2*d**5/15 - d**4/3 - d**2. Is l(r) even?
False
Let p = 6 + -8. Let o be p/(-5) - (-6)/(-15). Suppose 122 = 3*n + 4*b, -5*n + 0*b + 4*b + 150 = o. Does 20 divide n?
False
Let c be (-4)/(-14) - 2/7. Suppose c = 2*l - 77 + 19. Is 14 a factor of l?
False
Let w(t) = -13*t + 10. Is 22 a factor of w(-6)?
True
Suppose -l + 24 = -3. Is 16 a factor of l?
False
Let f(p) = p**2 + 13*p - 30. Is 39 a factor of f(-24)?
True
Let n = 1 + 0. Let l be 68 + (n - (2 - -1)). Suppose -3*f + l = 3*g, -3*g + 79 = 5*f - 23. Is f a multiple of 9?
True
Let g(z) = -3*z**2 + 2*z - 2. Let p be g(3). Let f be (-144)/14 - (-2)/7. Let v = f - p. Is v a multiple of 8?
False
Let a be 1 - (0 + 1 + -2). Suppose -j = -2*j + 70. Suppose -a*v + j = 3*v. Does 5 divide v?
False
Is 4 a factor of (-1242)/(-18) + (-1 + -1)/1?
False
Is 393/12 + 21/(-28) a multiple of 9?
False
Let k(f) = f + 12. Is 4 a factor of k(-7)?
False
Suppose w - 28 = 37. Does 11 divide w?
False
Suppose -3*z + 346 = -z. Suppose -5*q + 117 + z = 0. Is 15 a factor of q?
False
Let f = 19 - 32. Let y = 6 + f. Is (-2)/(-7) - 180/y a multiple of 13?
True
Suppose -4 = -g + 4. Suppose g*n - 180 = 3*n. Is 13 a factor of n?
False
Let k be (0 - 1)*(0 - 3). Suppose 5*u + d - 2*d = 220, 132 = k*u + 5*d. Is u a multiple of 13?
False
Let b be (-1)/((-2)/(-8)) + 12. Does 3 divide (-522)/(-48) + 1/b?
False
Let q = 7 - 1. Suppose 4*r + 74 = q*r. Does 17 divide (4 - 3) + r - 1?
False
Let o(n) = 5*n**2 + 4*n + 9. Is 18 a factor of o(-6)?
False
Let m(u) = 63*u**2 - 4*u + 3. Let j(s) = 32*s**2 - 2*s + 2. Let n(b) = 5*j(b) - 3*m(b). Let i be n(-1). Is i/4*(-6)/9 a multiple of 2?
False
Let r(u) = -12*u + 6. Let q(z) = 11*z - 5. Let m(s) = -3*q(s) - 2*r(s). Does 15 divide m(-4)?
False
Let m(o) = o**3 + 7*o**2 + 6*o. Let f be m(-5). Suppose 3*w = -2*w + f. Suppose 0 = -w*q + 2*q + 26. Is 13 a factor of q?
True
Let r(m) = 20*m**2 + 3*m - 3. Is r(-2) a multiple of 15?
False
Suppose 3*t - 16 = t. Does 12 divide ((-238)/t)/7*-4?
False
Suppose -4*h + 3 = -3*h, 5*h + 57 = 3*w. Is w a multiple of 8?
True
Let h(l) = -l**2 + 8*l + 3. Let i be h(9). Is (-78)/(-4)*(-8)/i a multiple of 11?
False
Let o(k) = 29*k + 12. Is 16 a factor of o(8)?
False
Let y(o) = -o - 5. Let n be y(-6). Suppose -2*v - 6 - n = -i, 0 = -3*i + v + 6. Is i/(-2)*2*-20 a multiple of 18?
False
Let z(v) = 5*v**3 - 2*v**2 - 7*v - 5. Let g(d) = -4*d**3 + 2*d**2 + 6*d + 5. Let u(a) = -4*g(a) - 3*z(a). Is 5 a factor of u(4)?
True
Suppose 52*l = 50*l + 288. Is l a multiple of 12?
True
Suppose -4*j + 180 = -28. Does 26 divide j?
True
Let n(g) = -4*g - 2. Let c be n(-3). Let q = c - 8. Suppose -q*a = 8, -a = j - 2*a - 43. Does 13 divide j?
True
Does 14 divide 44/1 - (-1 + 4)?
False
Let l be (-1976)/(-18) + (-22)/(-99). Let u = l + -77. Is u a multiple of 17?
False
Let q(i) = -i**2 + 17*i + 3. Is 30 a factor of q(11)?
False
Is (-4)/14 - 1*1880/(-14) a multiple of 29?
False
Suppose -5*y + 76 = 2*s - 82, 2*s = 3*y - 98. Does 32 divide y?
True
Is 25 a factor of ((-120)/36)/((-2)/30)?
True
Let z(l) = -11*l - 4. Let s(g) = -23*g - 9. Let f(w) = 4*s(w) - 9*z(w). Let r be f(7). Suppose 4*t - r - 47 = 0. Is 10 a factor of t?
False
Is 31 a factor of (2 - 16/6)/((-9)/837)?
True
Is (-166 + (-1 - 1))*2/(-2) a multiple of 28?
True
Let v be 4/1 + -78 - -4. Let t = v - -98. Is t a multiple of 14?
True
Let m(n) = n**2 - 2*n + 0*n**2 + 2 - 3. Let j be m(3). Is j/4 - (-21)/6 even?
True
Suppose 0 = 5*q - 10, 2*c + 3*q = 5*c - 12. Let w = c + 0. Is 6 a factor of w?
True
Let h be (-4)/(-3)*30/(-4). Let j(b) = -4*b - 1. Does 13 divide j(h)?
True
Let q(b) = b**3 + 8*b**2 + b + 6. Let s(r) = -r**3 - 6*r**2 - 5*r. Let n be s(-5). Suppose -2*w + x - 18 = -x, -2*w + 3*x - 20 = n. Is q(w) a multiple of 16?
True
Suppose 7*y = 3*y + 128. Let g = -8 + y. Does 12 divide g?
True
Suppose 3*q + 15 = -0*q, 2*r = 4*q - 20. Let z = r - -58. Does 11 divide z?
False
Suppose 3*l = -2*l + 3*b + 24, -b - 6 = -l. Suppose l*q = -4*d + 45 + 59, -d = 4. Let r = -25 + q. Is 15 a factor of r?
True
Let t = 61 - 38. Let o = 82 + -20. Suppose t = 5*z - o. Is 9 a factor of z?
False
Let l(u) = -4*u. Let q be l(1). Let p(k) be the first derivative of -k**3/3 - 5*k**2/2 + 4*k - 3. Does 4 divide p(q)?
True
Let b = -2 + 4. Suppose 3*p - 312 = -b*p - 4*n, n + 57 = p. Suppose 5*w = p + 125. Does 14 divide w?
False
Suppose -3*w = -4*w + 123. Is 26 a factor of w?
False
Let z(h) = 10 + h + 2*h**2 + h + 4*h. Does 22 divide z(-7)?
True
Is 5 a factor of (-2)/(-4)*216/9?
False
Let p(m) = -m**2 - 8*m - 6. Let j be p(-6). Suppose -115 = j*r - r. Let g = r - -36. Is 11 a factor of g?
False
Let n be 2*(49/2)/(-1). Let w = n + 35. Let k = w - -30. Is 7 a factor of k?
False
Suppose -3*o = -4*o - 13. Does 3 divide 2/2 + o + 24?
True
Suppose -7*m - 2115 = -12*m. Is 53 a factor of m?
False
Is 7 a factor of (-7301)/298*1*(-4)/1?
True
Let o(m) = -6*m**3 + 2*m**2 - 4*m + 4. Let v be o(2). Let k = v - -89. Does 9 divide k?
True
Let h = 41 + -21. Is 12 a factor of (1 + 3 + h)*2?
True
Let p = -157 + 456. Does 23 divide p?
True
Let l = -12 + 23. Is 11 a factor of l?
True
Let j = -5 - -3. Let n = 0 - j. Let d(c) = 5*c**2 + 3*c - 2. Does 12 divide d(n)?
True
Let m = 151 + 23. Is 40 a factor of m?
False
Suppose 0 = -6*f + f + 200. Suppose -m + 3 = 0, -3*n + 2*m + f + 35 = 0. Does 5 divide n?
False
Let t = 225 + -157. Is t a multiple of 22?
False
Let t = 0 - -2. Suppose -2*k = -q - 24 - 9, t*q + 2 = 0. Does 8 divide k?
True
Let d be (-2984)/(-20) - (-2)/(-10). Suppose 3*z - d + 23 = 0. Is 21 a factor of z?
True
Le