uppose 0 = -y + 2*f + 17, z*y = 6*y - 4*f - 56. Let p = y + -6. Is 2 a factor of p?
False
Let b be -4 - (-2)/((-8)/20). Let c be -4*2 + 18/b. Does 33 divide c/25 - 497/(-5)?
True
Let x(m) = 2*m - 1. Let w be x(-3). Let a be -30 + 1 - -3*(-2)/(-3). Let o = w - a. Does 8 divide o?
False
Let h = -159 + 260. Let t = h + -47. Is t a multiple of 9?
True
Let w(i) = 5*i - 4 - 4*i + 1. Let x be w(3). Suppose c = -5*t + 2*c + 26, 2*t + 4*c - 28 = x. Is t a multiple of 3?
True
Let c(k) = 2*k**2 - 12*k + 16. Is c(-8) a multiple of 30?
True
Is ((-332)/(-12))/(13/975) a multiple of 27?
False
Suppose -4*m + 127 = -473. Is m a multiple of 10?
True
Suppose 11 = 4*k - g, -30 - 6 = -4*k - 4*g. Suppose 5*q - 113 - 132 = -k*z, 0 = 2*z - 3*q - 117. Does 6 divide z?
True
Let s(t) = 3*t**2 + 5*t - 8. Let j be (9 - 3)/3 + 1. Let w be 9/j + 3 + -3. Is s(w) a multiple of 17?
True
Is -2*(-2662 - (5 - 8)) a multiple of 36?
False
Suppose 4*f + 1580 = 2*j, 5*j - 2*f - 3998 = -4*f. Is j a multiple of 19?
True
Let y(n) = -n**2 - n - 1. Let u(s) = 3*s**2 + 19*s - 20. Let w(h) = -u(h) - 2*y(h). Does 2 divide w(-17)?
True
Suppose -i + 3*q + 160 = 0, q = -9*i + 8*i + 176. Does 4 divide i?
True
Suppose -12*i = -17*i + 45. Is i a multiple of 2?
False
Let t(x) = 2*x + 15. Let l be t(-5). Suppose c - l*y - 118 = 0, -349 = -3*c + 3*y - 19. Is 18 a factor of c?
True
Is 240 - (66/(-3))/11 a multiple of 11?
True
Let u(r) = 2*r**2 + 23*r + 2. Let n(g) = -g. Let b(j) = 4*n(j) - u(j). Is b(-12) a multiple of 6?
False
Suppose 3*x + a = -32, 4*a + 25 = 5. Let v be x - (-6)/(-2) - 1. Let r = -4 - v. Is 2 a factor of r?
False
Suppose -6*f + 4*f - 8 = 0. Let t = f + 17. Does 13 divide t?
True
Suppose 0 = u + b - 6*b - 24, 4*u - 114 = 2*b. Let p = -24 + u. Suppose 6*j - p*j - 94 = 0. Is 25 a factor of j?
False
Let i(o) = -o**3 + 7*o**2 + 11*o - 13. Let q be i(8). Suppose q*t - 736 = 3*t. Is 14 a factor of t?
False
Let n(a) = -a**2 + 9*a + 2. Let l be n(9). Suppose w + 9 - 40 = 5*g, l*w = -2*g + 62. Let z = w + -11. Is z a multiple of 10?
True
Suppose -f - f + 142 = 2*a, -3*a - 2*f = -212. Let u = a + -28. Does 14 divide u?
True
Let h(c) = -5*c + 3*c + 14*c - c**2 - 11. Let q be h(9). Is 18 a factor of (-8)/10*(-360)/q?
True
Let h(f) = -11*f + 11*f + 2 + 12 - 2*f. Is h(-21) a multiple of 28?
True
Suppose 2*n + 2*p - 734 = 0, 3*n - 12*p + 11*p - 1121 = 0. Is 6 a factor of n?
True
Is 11 a factor of (327*4/48)/((-1)/(-20))?
False
Let u(b) = -14 + 16*b - 3 + 14*b**2 + 5 - b**3. Let i be u(15). Suppose 0 = v - i*v + 50. Is 8 a factor of v?
False
Suppose 3*z - 855 = -3*o, -4*z + 1134 = 2*o - 4*o. Is z a multiple of 16?
False
Suppose 1774 = 2*a + n - 2255, 3*n = -2*a + 4023. Is a a multiple of 18?
True
Let y(k) be the second derivative of -11*k**3/6 + 7*k**2/2 - 6*k. Let s be y(-7). Let n = s + -33. Does 17 divide n?
True
Suppose k - 4*w = -26, -6*k = -k - 2*w + 202. Let f = k - -72. Is f a multiple of 4?
False
Suppose 5*h = j - 80, -3*j - 3*h + 7*h = -295. Let b(w) = -3*w**2 + 15*w - 3. Let v be b(7). Let c = j + v. Does 20 divide c?
True
Is ((-1890)/(-18))/((-25)/10 - -3) a multiple of 21?
True
Suppose 616 = 3*o - 464. Is 12 a factor of o?
True
Let g(m) = 9*m + 553. Is 15 a factor of g(-51)?
False
Let x = -75 + 146. Is 3 a factor of x?
False
Is 1344/126*(-1590)/(-4) a multiple of 24?
False
Let a = -1793 + 2993. Does 25 divide a?
True
Suppose 4*r = -2*j + 2422, 4*j + 0*j = -20. Does 66 divide r?
False
Let s(q) = -q**3 + q**2 - q - 4. Let m be s(0). Let r = 0 - m. Suppose 0*p + 5*w + 26 = 4*p, -r*p - 5*w + 6 = 0. Is 3 a factor of p?
False
Let r(z) = 7*z + 11. Let y be r(-6). Let t(h) = -4*h - 13. Let m be t(11). Let x = y - m. Is x a multiple of 6?
False
Is 20 a factor of (-8)/(((-2)/10)/(64/10))?
False
Let f = -123 - -122. Does 12 divide (f - 3 - 80)*9/(-4)?
False
Let n = 15 - -37. Suppose 2*d + n = 3*d. Does 13 divide d?
True
Suppose -k + 15 = -0*y - y, -5*y - 85 = -3*k. Let c be 32/y*525/(-10). Let i = 165 - c. Does 20 divide i?
False
Suppose b - 3 = -12. Is 240/b*(-36)/10 a multiple of 24?
True
Let n be (2/(-3))/((-2)/(-9)). Let z be 1*n - (-14 + 6). Suppose -z*y + 2*y + 96 = 0. Is 18 a factor of y?
False
Let t = -6 - -69. Suppose -4*v = 327 - 891. Suppose 4*z - t = v. Is 17 a factor of z?
True
Let t = 16 - 16. Let q be 1*t/(4 - 1). Suppose 4*v - 33 - 19 = q. Is 4 a factor of v?
False
Let g(h) = 68*h**2 - 15*h - 17. Is 57 a factor of g(-2)?
True
Suppose 6*b - 9 = 3*b. Suppose -5*m = -2*r - 30, b*m - 4*r - 37 + 5 = 0. Does 2 divide (-9 - -8)/((-2)/m)?
True
Let x = -26 + 32. Suppose 2*w - x*w + 28 = 0. Let h = w + 21. Is h a multiple of 14?
True
Let m(n) = -71*n**2 + 2*n. Let r be m(-1). Let x = -18 - r. Is x a multiple of 8?
False
Suppose -52*c + 46*c = -30. Suppose -4*y = s - 1174, 6*s + 1478 = c*y + 2*s. Is y a multiple of 31?
False
Suppose 3*t - 3 = 0, -3*g = -6*t + 2*t + 4. Suppose -5*i + 34 + 136 = g. Is i a multiple of 17?
True
Let t(p) = -p - 2. Let v be t(-6). Suppose 0*x = v*x - 348. Suppose -x = -q + 14. Is 13 a factor of q?
False
Let m(t) = t**2 + 10*t + 7. Let a be m(-7). Let d = a + 24. Let o = 7 + d. Is 17 a factor of o?
True
Let k be 4/14 + (-36)/(-21). Suppose 5*a + 5*w - 1540 = 0, 0 = -5*a + 12*w - 7*w + 1540. Suppose -2*q = k*q - a. Is 20 a factor of q?
False
Let y = -80 + 82. Suppose -5*i - 5*k + 2*k = -428, y*i - k - 180 = 0. Is 11 a factor of i?
True
Suppose -j = -2*j. Suppose -4*p - 2*c + 82 = j, 5*p - 8*c + 3*c = 95. Is 5 a factor of p?
True
Suppose -4*o = -86 + 94. Is (-62)/(3/9*o) a multiple of 22?
False
Let u = -32 - -37. Does 2 divide u?
False
Suppose -30*n + 34*n - 2112 = 0. Is n a multiple of 24?
True
Let i(w) = 2*w**2 - 11*w - 6. Let a(c) = c**2 - 10*c - 7. Let s(r) = 3*a(r) - 2*i(r). Let f be 5*((-27)/(-15) - 3). Is s(f) a multiple of 2?
False
Let z = 1798 - 1150. Is z a multiple of 18?
True
Let h = 21 - 19. Suppose 19 = h*l - 1. Does 25 divide 27/18*l*5?
True
Let m = 59 - 47. Let x be (9/4)/(2/8). Suppose -m = -3*w + x. Is 2 a factor of w?
False
Let j = 708 + -405. Let g = j + -163. Is g a multiple of 23?
False
Let s = -108 - -73. Let k be -82 - ((0 - -2) + -5). Let l = s - k. Is 9 a factor of l?
False
Let y(g) = g**3 - 5*g**2 + 4*g + 4. Let u be y(5). Suppose 9 = -5*i + u. Suppose n = -n - 3*o + 1, 7 = 2*n - i*o. Is 2 a factor of n?
True
Let n(c) be the second derivative of c**5/20 + 7*c**4/12 + c. Let y(q) = q**2 - 14*q + 7. Let f be y(13). Is 18 a factor of n(f)?
True
Suppose 0 = -w + 5 - 0, v = 2*w + 522. Is v a multiple of 38?
True
Suppose -41*g - 1155 = -44*g. Is 35 a factor of g?
True
Suppose -z + 1546 = 1418. Is z a multiple of 16?
True
Let v be -42*(3/2 - 2). Let n = 58 - v. Does 8 divide n?
False
Suppose 56*w + 8284 - 53196 = 0. Is 65 a factor of w?
False
Let f(u) = -182*u - 6. Is f(-1) a multiple of 42?
False
Let j(n) = 3*n + 15. Let b be j(-13). Is 9*4/b*-28 a multiple of 20?
False
Suppose 2*q = -2*q + 40. Suppose 2*f = q + 4. Let s = f + 21. Does 6 divide s?
False
Is ((-17)/(-34))/((-1)/(-7174))*1 a multiple of 9?
False
Let m(t) = 2*t - 12. Suppose 14*a - 10*a = 28. Let r be m(a). Suppose 62 = r*j - j. Is 18 a factor of j?
False
Suppose 0 = -10*y + 812 + 78. Does 2 divide y?
False
Suppose -3638 - 952 = -9*y. Does 30 divide y?
True
Suppose 3257 = 5*i - 3188. Is 57 a factor of i?
False
Suppose 151*v = 170*v - 14896. Does 14 divide v?
True
Suppose 470 + 83 = -5*l + 2*o, -2*l = -4*o + 218. Let y = -57 - l. Does 8 divide y?
False
Let l = -26 - -25. Does 8 divide 124 - (-2 + (-2)/(-1)*l)?
True
Suppose 0 = 2*h - 14 + 4. Suppose 5*o - 330 = -y, -2*y - h*o = 2*y - 1320. Suppose -3*q = 2*q - y. Does 22 divide q?
True
Suppose -5*d + d = -500. Suppose 6*q = q + d. Is 6 a factor of q?
False
Suppose 317 + 418 = 3*o. Let k(b) = -b**2 + 6*b - 3. Let t be k(4). Suppose 0*m = t*m - o. Is 8 a factor of m?
False
Let q(i) = 2*i**2 + 13*i + 9. Let v be q(-5). Let k(x) = 2*x**2 + 7*x - 1. Is k(v) a multiple of 13?
False
Let g = -6 + -219. Let a = g + 334. Is a a multiple of 19?
False
Suppose 0 = l + 7 - 1. Let k(t) be the first derivative of t**4/4 + 2*t**3 - 3*t**2/2 - 2*t + 52. Does 8 divide k(l)?
True
Let k(n) = 6*n**3 - 4*n**2 - 25*n + 88. Is k(4) a multiple of 11?
True
Suppose -2*j - 4*i = 488, -2*j + 4*i = j + 702. Let r = j - -355. Is r a multiple of 25?
False
Let b(z