. Let v = 116 + c. Is 2 a factor of v?
True
Let o = -27 - -15. Suppose -b + 25 = -5*g, 5*g - 2*g + 28 = -2*b. Let a = g - o. Is 6 a factor of a?
True
Suppose 0 = -5*w - 0*w + k + 7, 0 = -w + 3*k - 7. Let m be w/9 - (-210)/27. Suppose -m*u - 29 = -9*u. Is 14 a factor of u?
False
Does 27 divide (-54)/21 + 2 - 141230/(-70)?
False
Suppose -18 = -3*l - 0. Let c(f) = f**3 - 6*f**2 - f + 11. Let r be c(l). Suppose 57 = 2*w - r*v, -3*w - 5*v + 37 + 61 = 0. Is 9 a factor of w?
False
Let d(o) = -11*o**3 - o**2 - 2*o - 9. Let j be ((-14)/2)/(-14) + (-10)/4. Is d(j) a multiple of 5?
False
Let s = 964 + -273. Is s a multiple of 56?
False
Let k = -29 + 45. Is 23 a factor of (-414)/(-12)*k/6?
True
Suppose -195 - 15 = -5*d. Let g = -6 + d. Is g a multiple of 9?
True
Suppose -64 = 11*m - 15*m. Is (-703)/(-5) - m/(-40) a multiple of 13?
False
Suppose -5*z + 3*z = -k - 506, -254 = -z + k. Is 18 a factor of z?
True
Suppose 3*y + 0*y = -69. Let l = y + 17. Does 2 divide (5/4)/(l/(-24))?
False
Let y = -114 + 78. Does 3 divide (54/y)/((-2)/4)?
True
Let n(p) = -p**3 - 3*p**2 - 3*p - 3. Let c be (-2)/((2/3)/1). Let y be n(c). Does 23 divide 46*(1 - 3/y)?
True
Suppose -37 = 5*z - 12. Let x(f) = -17*f + 5. Does 15 divide x(z)?
True
Let v = -25 + 15. Let d = v + 13. Suppose 0*u = -d*u + 51. Is u a multiple of 4?
False
Let t be ((-2)/(-6))/(2/1650). Suppose 3*l + t = 911. Is 31 a factor of l?
False
Suppose 3*i - w = 339, i - 17*w - 106 = -19*w. Is i a multiple of 20?
False
Suppose 30*v - 33137 = 17*v. Is 43 a factor of v?
False
Suppose 15*x + 231 - 23391 = 0. Is 24 a factor of x?
False
Let d be (10/(-11))/5 + 84/(-22). Let g(w) = -8*w - 8. Is g(d) a multiple of 24?
True
Let k = 242 + -196. Is k a multiple of 2?
True
Suppose 0 = 5*p + 20, 42 = -2*d + p - 4*p. Let q be (-741)/d + 6/10. Is (-2)/(-10) + 140/q a multiple of 2?
False
Suppose s = -4*j + 1149, -16*j + 13*j - 5*s = -849. Does 12 divide j?
True
Suppose -1348 = -3*g + 3*a - 52, -5*a = -4*g + 1723. Is g a multiple of 44?
False
Let l(m) = -m**2 - 10*m + 6. Suppose d - 120 = -4*d. Suppose d = -5*z - 6. Does 15 divide l(z)?
True
Let w(q) = -q**2 - 9*q - 12. Let j be w(-8). Let x be (-2)/j + (-1)/2. Is 10 a factor of ((-21)/12 + x)*-12?
False
Suppose -2764 + 11872 = 11*x. Is 77 a factor of x?
False
Is 21 a factor of ((-9)/(-12))/(15/14660)?
False
Suppose 374 = 21*o - 613. Does 3 divide o?
False
Suppose 3*c - 2*n + 121 = 0, -7*n - 49 = 2*c - 2*n. Let q = c + 37. Suppose -5*s + 2*s + 15 = q. Is s a multiple of 5?
True
Suppose 2*h = -0*h + q + 31, -5*q + 100 = 5*h. Suppose 11*y - h*y + 144 = 0. Is 4 a factor of y?
True
Let u(r) = -6*r + 12. Is u(-3) a multiple of 15?
True
Suppose -2719 = -27*i + 116. Does 6 divide i?
False
Suppose 6*s = -1617 + 6063. Is s a multiple of 3?
True
Suppose -5*x - 1008 = 4*x. Let c = x - -203. Is 7 a factor of c?
True
Suppose 7*y - 829 = 4*y - 4*d, 0 = -2*y - 3*d + 553. Is 11 a factor of y?
True
Let r be -47 - (1/(-3))/((-3)/(-18)). Let x = r - -70. Is 3 a factor of x?
False
Let h be 0/5 - (2 - 12). Suppose 2*x - 5 = -2*r - 1, 0 = -5*r - 3*x + h. Let j(b) = 26*b - 5. Is 9 a factor of j(r)?
False
Let o = 117 - 77. Let b(m) = -m**2 - 7*m + 44. Let l be b(4). Suppose -y + o + 43 = l. Does 29 divide y?
False
Let l(g) = 47 + 41 + 44 + 16*g - 133. Suppose -5*a = -2*d - 3*d + 15, a = -5*d + 21. Is l(a) a multiple of 5?
True
Let o(j) = -j + 3. Let c be o(6). Let b = 10 - c. Is b a multiple of 13?
True
Let q(m) = -m + 2*m + 0*m + 25. Let w be 90/27*(0 + 12/(-5)). Does 7 divide q(w)?
False
Let r(z) = 5*z + 1. Let g(s) = 31*s + 6. Let n(h) = -6*g(h) + 39*r(h). Let v = 4 + 0. Is 12 a factor of n(v)?
False
Let c be (-8)/(-10) - (-543)/15. Suppose -158 - c = -5*m. Is 13 a factor of m?
True
Let k(h) = -2*h**2 + 35*h + 19. Is k(17) a multiple of 12?
True
Let y = 47 - 46. Is 4 - 1*(0 - y) a multiple of 5?
True
Suppose -573*b + 995 = -568*b. Is 4 a factor of b?
False
Suppose -4*r - 3*v = -67 - 177, 2*r + v = 120. Suppose 3*w + 37 = 5*w + 3*c, 4*c = 2*w - r. Let u = w - 8. Does 15 divide u?
True
Let t(y) = -5*y + 38*y - 13 + 0. Does 28 divide t(4)?
False
Suppose -14 + 230 = r. Suppose 2*h = 8*h - r. Is 12 a factor of h?
True
Let f = 14 - 11. Let a(y) = -6*y + 8*y**2 + y**3 - 3*y**2 - f - 4. Is 11 a factor of a(-5)?
False
Suppose 3*d + 5*f = -4, -d = 2*d - 5*f - 46. Suppose -d*u - 126 = -10*u. Suppose 0*b - u = -2*b. Is 9 a factor of b?
False
Suppose k = 3*k + 444. Let c be (k/(-4))/((-2)/(-4)). Suppose -2*z - j = 4*j - 49, -3*z + c = -5*j. Does 32 divide z?
True
Let i = -20 - 15. Is (12/15)/((-7)/i) even?
True
Let a = 49 - 29. Suppose 0 = -0*v - 5*v + a. Suppose 0 = -i + 3*r + 2*r + 13, 0 = v*i - 2*r - 16. Is 2 a factor of i?
False
Let b(c) = c**2 + 3 - 4*c - 6*c**2 + 4*c**2. Let k be b(-3). Suppose k*h - h = 480. Is 32 a factor of h?
True
Let v(i) = 22*i + 6. Let g be v(-4). Let q = -74 - g. Is 2 a factor of q?
True
Let l(o) = o**3 - 3*o**2 - 4*o + 5. Let g be l(4). Suppose 3*c = 2*k, -g*c = 3*k + 2*k - 25. Suppose -9 = -3*f + c*f. Is 3 a factor of f?
True
Suppose -4 = 2*j, -4*g + 0*j + 1250 = -5*j. Is g a multiple of 21?
False
Let j(p) = 4 + 3 - 12*p - p**2 + 0. Let i(z) = -z + 7. Let w be i(13). Does 12 divide j(w)?
False
Suppose 3*z - 4*z - 12 = -4*o, 9 = 3*o - 5*z. Suppose -o*x - 132 = -7*x. Is x a multiple of 8?
False
Let w = 13 - 93. Let k = w + 123. Is k a multiple of 14?
False
Suppose 14*b = 30*b - 256. Does 5 divide b?
False
Suppose -3*f - f - 108 = -3*l, -4*f - 2*l = 128. Let g = f - -92. Let j = g + -32. Is 25 a factor of j?
False
Let b(k) = -3*k - 10. Let q be b(-4). Suppose 138 = 3*l + 3*i, 5*l + 3*i - q*i = 222. Does 11 divide l?
True
Let f(y) = 9*y**3 + y**2 - 12*y + 126. Is f(6) a multiple of 5?
False
Let q(h) = 96*h**2 + 61*h + 32. Is 27 a factor of q(-6)?
False
Suppose -4*p = p. Suppose x - 2*g = 2*g + 25, p = -4*x - 2*g + 28. Is 3 a factor of x?
True
Let x(u) = -2*u - 12. Let p be x(-8). Suppose a = c - 5, 2*c - 10 = -p*a + 3*a. Suppose 0 = -c*n - 3*g + 105, 2*g = -0*g. Is 16 a factor of n?
False
Let x(b) be the second derivative of 0*b**2 + 0 - 3*b + 9/2*b**3. Is 5 a factor of x(1)?
False
Let o = 2151 - 899. Is o a multiple of 42?
False
Let a(d) = -113 + d**2 + 2*d + 117 + 2*d. Does 8 divide a(-7)?
False
Suppose -3*t - 18 - 72 = 3*z, 0 = -z - 2. Let v = 32 + t. Is 3 a factor of v?
False
Let j(r) = r + 2. Let t be j(3). Suppose p - 6*p + t*w = -275, 0 = 2*p - w - 105. Is 9 a factor of p?
False
Suppose 8*t - 4*t - 1964 = 3*b, 3*t = b + 663. Is 32/6*(-5)/(80/b) a multiple of 27?
True
Suppose -2*l - 5*o = 10, -o - 14 = 2*l - 4*l. Suppose l*j - 59 = 4*j. Does 20 divide j?
False
Let d(r) = -4*r - 6. Let s(a) = a**3 + 14*a**2 + 13*a - 3. Let z be s(-13). Is d(z) a multiple of 2?
True
Let a(d) = 2*d + 2. Let z be a(-11). Is 226/4 + z/8 + 1 a multiple of 11?
True
Let t(d) = d**2 + 20*d - 114. Does 33 divide t(-36)?
True
Suppose 0 = 10*q - 693 - 307. Is 10 a factor of q?
True
Let u(b) = b**2 + 22*b + 101. Does 2 divide u(-21)?
True
Let f = 723 - 552. Is f a multiple of 57?
True
Let i(h) = 2 - 21*h - 3*h + 0*h. Does 13 divide i(-1)?
True
Let s(m) = -63*m - 1. Let b be s(-1). Let k = 19 - b. Let c = k - -96. Is c a multiple of 20?
False
Let b = 13 + -11. Suppose -1 = -5*o + 5*n - 21, -3*n + 2 = b*o. Is 66 - (-1 - 0 - o) a multiple of 26?
False
Let n(g) = 8 - g + 0*g**2 + 0 - g**2 + 7. Is 4 a factor of n(0)?
False
Let a(p) = p**3 + 14*p**2 + 7*p + 7. Let j be a(-12). Let k = j + -127. Let w = k + -60. Is w a multiple of 7?
False
Let i be (-2)/(-7) + (-2340)/(-91). Let y = i + -23. Let n = y - -5. Does 8 divide n?
True
Suppose 9*p = 2*p + 1232. Is p a multiple of 18?
False
Let j be (3 - (-63)/(-12))*8. Let t(m) = m**3 + 19*m**2 + 18*m + 11. Is t(j) a multiple of 2?
False
Let f = -19 + 11. Let h(r) = -r - 5. Let d be h(f). Suppose d*i - 40 = 53. Is i a multiple of 27?
False
Let l(f) = 4*f - 80. Let n be l(21). Suppose n*x = -4*x + 2016. Does 12 divide x?
True
Let h = -35 + 39. Suppose -4*g + h*z - 110 = -466, 2*g - 178 = -2*z. Does 10 divide g?
False
Suppose 0*n + 3*n = -186. Let c = -10 - n. Is c a multiple of 11?
False
Suppose -2*t = -q + 47, 7*t + 175 = 4*q + 12*t. Is 10 a factor of q?
False
Suppose -56*f + 1 = -55*f. Is 135/((-5)/f)*-2 a multiple of 6?
True
Let h(x) = -249 + 28*x + 106 + 107. Is 10 a