 f(v) = -v**3 + 6*v - 4. Let j be f(-6). Let o = j + -106. Does 18 divide o?
False
Suppose -4*z = -8*z. Suppose 0 = -d + 2*a + 8, 4*d + 0*a - a - 32 = z. Does 4 divide d?
True
Let n be 2 + -4 - (0 - 0). Does 11 divide ((-21)/(-28))/(n/(-48))?
False
Let o(n) = -2*n - 17. Let w(s) = s + 17. Let q(a) = 3*o(a) + 2*w(a). Does 12 divide q(-12)?
False
Let g be 4/(-10) + (-1272)/(-30). Let y = 69 - g. Suppose 4*s = 103 - y. Does 10 divide s?
False
Let a = 11 + -7. Suppose -a*q + 0*q + 120 = 0. Is 15 a factor of q?
True
Suppose -5*i - 16 = -q, 6 + 2 = -4*i. Is 3 a factor of q?
True
Suppose -4 = -4*q + 4. Let h be 6*((-5)/q + 2). Is (-57)/h - (-3 + 1) a multiple of 9?
False
Let y(q) = -q**3 + 7*q**2 + 9*q - 7. Is 6 a factor of y(6)?
False
Let x = -9 + 17. Let t = 8 - 4. Is t/16 - (-214)/x a multiple of 15?
False
Let h be (-8)/(-28) - 678/21. Let t = h + 100. Is 18 a factor of t?
False
Suppose 2*i - 140 = -5*i. Does 4 divide i?
True
Let y(k) = -2*k + 3. Is 9 a factor of y(-10)?
False
Let l = 11 + 9. Does 20 divide l?
True
Suppose -3*k = -12, 67 = 5*h + 2*k + 9. Is h a multiple of 5?
True
Suppose 0 = 3*z + 2*z. Suppose -v + 12 = p, p + 4*v = -z*p. Is 8 a factor of p?
True
Let i(r) be the third derivative of -r**6/120 + r**5/10 + 5*r**4/24 + 5*r**3/6 + r**2. Let l be i(7). Is (-321)/l + (-2)/(-6) a multiple of 13?
False
Suppose -2*d - 4 = -4*z - 0*d, 0 = -2*z - d + 2. Let c = 26 - 14. Does 6 divide (-2 + z)/((-2)/c)?
True
Let l = -5 + 10. Suppose 0*w - 65 = -l*w. Is w a multiple of 10?
False
Let j(f) = -f**2 - 6*f - 3. Let a be j(-2). Let w = 3 + a. Is w a multiple of 5?
False
Let c(b) = -3*b - 3*b + 3*b + b - 9. Does 3 divide c(-7)?
False
Suppose -y = -5*y - 96. Is (-1)/(-4) + (-90)/y even?
True
Suppose -3*y = 5*v - 167, 2*y + 5*v = 31 + 82. Is y a multiple of 11?
False
Let g(t) be the third derivative of t**6/120 + t**5/30 + t**4/24 + 2*t**3/3 - t**2. Let w be g(-4). Is (-2)/2 + 1 - w a multiple of 18?
False
Let v be (-18)/12*44/(-6). Suppose -v = j + 3*s, -3*j + 15 = -6*j - 3*s. Is 1/(3/j)*-6 a multiple of 3?
False
Let p = 3 + -3. Suppose p = -o - 0 - 1. Is 17 a factor of -17*(4 - 2)*o?
True
Let b(k) = -k**3 - k**2 + 1. Let x be b(1). Is 15 a factor of x/(-1 + 30/31)?
False
Let o(i) = i + 8. Let w be o(-4). Is 10 a factor of (20/14)/(w/28)?
True
Suppose 3*h + 5*a - 8 = 293, 0 = 4*h - 5*a - 343. Is h a multiple of 25?
False
Suppose -2*j = -5*j - 48. Let p = j + 30. Does 7 divide p?
True
Suppose 2*i + 32 = 5*t + 3*i, -14 = -2*t - i. Suppose -5*q + 16 = t. Suppose -130 = -5*n - 2*c, 0 = q*n + c - 6*c - 23. Is 13 a factor of n?
False
Let k be 2/((-4)/(-18))*1. Is k/(-4)*(1 - 5) a multiple of 3?
True
Suppose i - 156 = -2*i - 3*d, 16 = -4*d. Is i a multiple of 14?
True
Let v = 7 + -2. Suppose v*f = 2*c - 4, -4*c + 2 = f - 6. Suppose -c*q + 24 = 3*n + n, 4*n + 16 = 0. Does 11 divide q?
False
Let r = -12 - -98. Does 27 divide r?
False
Suppose -t = -3*p - 2*p + 14, 13 = 3*p + 4*t. Suppose -4*u = p*z - 57, 2*z + 6 - 27 = 3*u. Suppose -j + 12 = -2*s + 3, 0 = -j - s + z. Is 5 a factor of j?
False
Suppose -2*g = -5*g + 3. Does 2 divide (-1)/((g + -4)/24)?
True
Let r = 108 - 51. Suppose -5*k = -73 - r. Is k a multiple of 12?
False
Let f(h) = -4 + 2*h + 4*h + 5*h**2 - 3*h. Is f(-3) a multiple of 10?
False
Let j = -7 + 13. Let a be (1/1)/2*j. Is 13 a factor of 47*(-2 + 5)/a?
False
Let c(j) = -j - 10. Let g be c(-12). Suppose -w + 57 = g. Is 9 a factor of w?
False
Let b(j) be the first derivative of 0*j - j**2 - 1/4*j**4 - 1 + 2*j**3. Is b(5) a multiple of 15?
True
Suppose -4*h = 3*n + 99, 53 = -5*h + 4*n - 94. Let k be (-544)/(-18) + 6/h. Suppose 3*g - k = 12. Does 9 divide g?
False
Let s = -9 - -4. Let f = -1 - s. Suppose -f*t - t = -55. Is t a multiple of 6?
False
Is 759/9 - (-14)/21 a multiple of 39?
False
Suppose 7*t - 3*t = 232. Is t a multiple of 29?
True
Let o be -3 + 9 + -3 + -73. Is o/(-10) + 2/(-2) a multiple of 2?
True
Suppose 0 = -t - 3*d + 405, 5*t - 4*d = -d + 2007. Is 4/(-22) + t/33 a multiple of 11?
False
Suppose 10*j - 4*z = 5*j + 31, 0 = -5*j - 2*z + 7. Is 3 a factor of j?
True
Suppose 4*q = -5*r + 3, q - 3*q - 12 = -2*r. Suppose -3*m + 39 + r = 0. Does 14 divide m?
True
Let g(b) = -b**3 - 8*b**2 - 9*b - 4. Let h be g(-7). Let v(w) = -w**3 + 11*w**2 - 8*w + 4. Is v(h) a multiple of 8?
True
Suppose 4*a = -3*j - 3, 0 = 2*j - 5*a - 0*a - 21. Does 3 divide j?
True
Let d = 16 - 8. Is 8 a factor of d?
True
Let d be (-3)/((0 - 2) + 1). Suppose -d*n = -5*n + 4. Is 22 - -1 - (n + -1) a multiple of 11?
True
Suppose 2*j - 4*j = -8. Suppose j - 7 = -3*x. Let w = 5 - x. Is w a multiple of 4?
True
Is 67 + 1*3/(-3 - 0) a multiple of 33?
True
Let m be 1/3 - 386/(-3). Let u be 76/(-6)*(-13 - -19). Let s = u + m. Is 21 a factor of s?
False
Is 7 a factor of (115/46)/(2/(112/2))?
True
Let b be 1 + -1 + 6 + -13. Is 5 a factor of (-2 + 0)/(b/28)?
False
Suppose 2*w + 799 = 5*n, -534 = -2*n + 5*w - 206. Does 34 divide n?
False
Let j(q) = 11*q**3 - 27*q**2 - 18*q - 11. Let u(w) = -4*w**3 + 9*w**2 + 6*w + 4. Let n(d) = -3*j(d) - 8*u(d). Is n(9) a multiple of 28?
False
Suppose 3*n = 4*h + 68, -5*n - 3*h + 72 = 7. Suppose -12*b + n*b - 80 = 0. Is 7 a factor of b?
False
Suppose -284 = -5*o + 4*h, 4*h - 1 = 15. Is o a multiple of 12?
True
Let d(q) = -q**3 - 5*q**2 + 8*q - 3. Is 29 a factor of d(-7)?
False
Let b be 2*-1 - 0 - -32. Let r be 0/3 + -1 + b. Does 16 divide (-2 - -4) + r + 1?
True
Suppose -5*r - 17 = -2. Let w = r - -6. Suppose i + 36 = 2*t + 5*i, -5*t - w*i = -125. Is t a multiple of 14?
True
Let u = -19 + 22. Let n(l) be the third derivative of l**5/30 - l**4/12 + l**3/3 + l**2. Is 7 a factor of n(u)?
True
Let z(x) = -2 + 2*x + 26*x**3 + 3 + 7*x**3 - 2. Is z(1) a multiple of 17?
True
Suppose -54 = i - 4*i. Let v = i + -6. Is 3 a factor of v?
True
Suppose 0*y + y + 3*h + 2 = 0, 5*y - 4*h = 47. Suppose -b + y = -0. Is b even?
False
Suppose c + 2*c = 6. Suppose -l = -2*g - 5 - 8, c*g - 32 = -4*l. Does 9 divide l?
True
Let g = 41 + -80. Let h = 69 + g. Does 11 divide h?
False
Suppose 0 = -n - 0*n. Suppose -3*q = -3*s - 105, 202 = 5*q - n*q + 4*s. Is 17 a factor of q?
False
Let t = -6 - -15. Let u = 1 - t. Does 13 divide (13/4)/((-2)/u)?
True
Let p be -1 - -3 - (5 - 5). Let i = 0 + 0. Suppose p*c + c - 129 = i. Is 22 a factor of c?
False
Suppose 0 = -u + 7 - 3. Let i(l) be the second derivative of -l**4/12 + 7*l**3/6 + l. Is i(u) a multiple of 6?
True
Let c(b) = -11*b + 1. Let f(z) = z**2 + 7*z + 8. Let p be f(-7). Suppose -5*v + p = 2*n, -n + 3 = 2*n + 3*v. Does 12 divide c(n)?
True
Let s be (0 + -1)*32/(-4). Suppose s = -5*g - 4*p, -4*p + 5*p + 2 = -5*g. Suppose g*d - 5*d = -3*l - 82, -6 = d + 5*l. Does 7 divide d?
True
Let h = -16 - -18. Suppose 48 = h*j - 4*o, -5*j + 135 = -8*o + 3*o. Is 14 a factor of j?
False
Suppose 5*o = -3*l + 191, -4*o + 4*l + 138 = -l. Is 37 a factor of o?
True
Let n(r) be the third derivative of r**5/30 - 5*r**4/12 + r**3/3 + 2*r**2. Does 25 divide n(8)?
True
Let s = -182 - -428. Let o = -17 - -32. Is 4/(-10) + s/o a multiple of 8?
True
Suppose -2*i - 3*t + 4*t + 7 = 0, 4*i + 3*t - 9 = 0. Suppose g + 26 = i*g. Let u = 34 - g. Does 10 divide u?
False
Let a(h) = -2*h - 16. Let j be a(-9). Suppose 385 = 5*b + j*b. Is b a multiple of 16?
False
Let y = -76 + 46. Is y/8*(-16)/6 a multiple of 5?
True
Does 4 divide -2 + 0 + 23 + 11?
True
Let x(w) = 4*w**2 + 4*w - 31. Is x(-7) a multiple of 20?
False
Let q = -168 - -179. Is 2 a factor of q?
False
Let x(t) = t**3 + 5*t - 6. Let g be x(3). Does 21 divide 0*1/(-3) + g?
False
Let i(g) = 7*g**2 + 13. Is i(-4) a multiple of 12?
False
Suppose -164 + 16 = -2*q. Is q a multiple of 4?
False
Let b(n) = -12*n**3 - n**2 - n. Let p(c) = -c**2 + 8*c - 1. Let g be p(8). Let s be b(g). Suppose f - s = 7. Is f a multiple of 12?
False
Suppose 22*z - 27*z = -1575. Does 20 divide z?
False
Let d be (1122/(-77))/((-2)/(-14)). Let n = d + 166. Is n a multiple of 13?
False
Let t(a) = a**3 - 3*a + 1. Let d be t(2). Let q(g) = g + 2. Let c be q(d). Let m = 1 + c. Is m a multiple of 5?
False
Let q be 6/39 - (-2812)/(-26). Let u = q - -195. Is 15 a factor of u?
False
Let j = -4 + 22. Does 3 divide j?
True
Let m = 0 + 0. Let k be (2 - -3) + 1*-1. Suppose 2*p - k*p + 18 = m. Does 9 divide p?
True
Is 4 a factor of ((-14)/2)/((-7)/