f m(s)?
False
Let o(j) = -j**3 + 4*j**2 + 2*j - 6. Let z be o(4). Let n be (1/z)/(1/(-6)). Is 8 a factor of 10*(0 + -3)/n?
False
Let w(j) = -23*j + 1. Is w(-1) a multiple of 8?
True
Let z = -2 - 0. Is z/9 - (-706)/18 a multiple of 11?
False
Suppose -2*m - 70 = -4*m. Let n = m - 25. Is n a multiple of 4?
False
Suppose 10 = -n + 4*b, 5*n - 3*b = -0 + 1. Let u(g) = 2*g**3 + g**2 - 2*g - 1. Let p be u(n). Suppose -3*q - 3*m = 2*q - 25, -2*m - p = -3*q. Does 4 divide q?
False
Let j(u) = u**3 - 6*u**2 + 7*u - 2. Is 4 a factor of j(5)?
True
Suppose -2*b + 7*b = 20. Suppose f = -l + 39, 5*l + 165 = 5*f + b*l. Is f a multiple of 7?
False
Let c be -29 - -2*1/1. Let t be (-16)/(-6)*c/(-6). Suppose 107 = 5*y + t. Is 9 a factor of y?
False
Suppose -q - 2 + 9 = 0. Suppose 2*i + 5*n = n - 26, i + n + 13 = 0. Let c = q - i. Is c a multiple of 10?
True
Suppose s - 59 = -21. Is s a multiple of 16?
False
Suppose 3*c - c + 3 = 3*s, 0 = -5*s - 4*c + 5. Let m be s + (-4 + 3 - 0). Suppose m = -z + 4*z - 135. Is z a multiple of 15?
True
Suppose 0 = 5*r - 0*r - 245. Is 24 a factor of r?
False
Let b = -4 + 7. Let d(n) = 5*n**2 - n + 4. Is 12 a factor of d(b)?
False
Suppose 0 = -2*u - u - 6. Is 63 + (-6 - -3 - u) a multiple of 24?
False
Let w be ((-4)/6)/((-4)/18). Suppose -w*h - 72 = 126. Is 14 a factor of (-1)/(-3 + 6)*h?
False
Let z = 6 - 2. Suppose -2*y = u - 16, -3*y - 88 = -z*u + y. Does 12 divide u?
False
Suppose 5*j = o + 373, -7*j = -8*j + 4*o + 86. Is 40 a factor of j?
False
Let i = -12 + 29. Is i a multiple of 3?
False
Suppose 2*b = -0*b. Suppose 0 = 2*u - b - 28. Is u a multiple of 8?
False
Suppose 0 = -x - 3 + 5. Suppose x*v = 21 + 13. Does 7 divide v?
False
Let y = 25 - 2. Does 10 divide y?
False
Let p(f) = f**2 + f - 1. Let q(o) be the third derivative of o**5/60 + o**4/3 + o**3/2 + 2*o**2. Let i(n) = 2*p(n) - q(n). Is 5 a factor of i(8)?
False
Let m be 3/(-6) - (-14)/4. Suppose 0 = -m*z - 3*w + 39, 2*w + 39 = 3*z - 2*w. Is z a multiple of 8?
False
Let m(d) be the second derivative of -d**4/3 - 7*d**3/6 + 3*d**2/2 + d. Let f(c) be the first derivative of m(c). Is 9 a factor of f(-5)?
False
Let x(w) = -w**2 + 9*w + 9. Let c(d) = -d**2 + d. Let o(k) = -2*c(k) + x(k). Is 9 a factor of o(-7)?
True
Let i be 8*(-3 - (-1)/1). Suppose 70 + 70 = -5*u. Let f = i - u. Is f a multiple of 4?
True
Let g(d) be the third derivative of d**4/12 - 8*d**3/3 - d**2. Suppose 0*p + p - 11 = 0. Does 4 divide g(p)?
False
Let d(r) be the third derivative of 11*r**5/30 + r**4/24 - 6*r**2. Is d(1) a multiple of 16?
False
Suppose 2*a + a - 9 = 0. Let n = 8 + 17. Suppose -a*b + 8*b = n. Is b a multiple of 2?
False
Suppose 3*s + s = -4*k + 64, -4 = -k + 2*s. Is k a multiple of 12?
True
Let v = 4 - 5. Does 13 divide 13/((1 - 2)/v)?
True
Suppose 0*w - 25 = -5*w. Suppose o - 21 = -w*n + 14, 0 = o - 3*n - 3. Is 12 a factor of o?
False
Let w = -54 + 94. Does 20 divide w?
True
Is 10 a factor of (13 - -7)*((-15)/2)/(-1)?
True
Does 33 divide (-2 - (-2562)/9) + (-14)/(-42)?
False
Let k(i) = 3*i**3 - 4*i**2 + i - 2. Is 28 a factor of k(4)?
False
Suppose -22 = 5*x + 33. Let w = x - -46. Is w a multiple of 12?
False
Suppose 6 = -2*i + 58. Is i a multiple of 13?
True
Let j(p) = 9*p + 9. Is j(9) a multiple of 18?
True
Let u = 59 - 31. Let k = u - -8. Is 12 a factor of k?
True
Suppose 3*q - 87 = -5*u, 0 = -3*u + q + 21 + 20. Is u a multiple of 10?
False
Suppose 5*o - 2*w = 57, -5*w - 38 = -o - 2*o. Is 11 a factor of o?
True
Let m = -46 - -76. Let y = 47 - m. Is y a multiple of 14?
False
Suppose 14 = -5*d + 34. Suppose 20 = -4*p + d. Is 15 a factor of 17 + -4 - p/2?
True
Let y = 25 - 20. Is y a multiple of 4?
False
Suppose -4*g + 40 = -0*g. Is 2 a factor of g?
True
Suppose 6*z = -y + z - 24, 3*z = 3*y. Is 1 - (4*11)/y a multiple of 3?
True
Let y = -14 + 78. Does 32 divide y?
True
Suppose -8 = 4*m, -m - 1 = o - 2. Suppose 0 = o*u - 5*u - 24. Is 9 a factor of (u/(-18))/(1/57)?
False
Suppose 2*w - 10 = -2*s - 2, -3*w + 16 = 5*s. Suppose -3*t + 244 = -4*r, 105 + 137 = 3*t - s*r. Suppose 5*i - t = -2*k, -59 = -3*i - 2*k + 3*k. Does 6 divide i?
True
Let q = 535 + -301. Is q a multiple of 13?
True
Suppose 4*o - 6*o = -8. Let w = 18 - o. Suppose 4*h + w = 2*g, -3*g - 5*h = -2*g - 28. Does 4 divide g?
False
Suppose -189 = -2*f - f. Suppose t - 2*y + 47 = 0, -3*y = -3*t - y - 137. Let u = f + t. Is u a multiple of 6?
True
Let i be 1 + 16*(-14)/(-4). Let n be i/12 - (-2)/8. Suppose -n*o + q = -64, -4*q + 0*q + 44 = 5*o. Is 5 a factor of o?
False
Suppose -4*r = -7 - 13. Suppose 0 = r*k - 20, -3*f + 0*k + 55 = k. Is 10 a factor of f?
False
Suppose 2*j - 3 = 3. Suppose 0 = -0*b - j*b. Suppose b = -5*c - 80 + 215. Is c a multiple of 10?
False
Let p be (-248)/(-6)*(-24)/(-16). Is (p/(-5))/(6/(-15)) a multiple of 16?
False
Let p = 2 + 1. Suppose 0 = p*o + 2*o - 70. Is o a multiple of 13?
False
Let g(o) = 1 - 4*o + 13*o - 1 - 3. Is g(8) a multiple of 23?
True
Suppose 4*m - 96 = m. Is m a multiple of 16?
True
Suppose -39 = 3*h + 12. Let w = h + 30. Is 8 a factor of w?
False
Is 29 a factor of 1 + (-7)/(21/(-369))?
False
Suppose 26 = 5*q + 1. Suppose -3*d + 0*b + 72 = 2*b, q*d - b = 120. Is d a multiple of 12?
True
Let i = 151 + 77. Is (2/4)/(3/i) a multiple of 19?
True
Let p(d) = -18*d - 4. Is p(-8) a multiple of 28?
True
Let q = -40 + 72. Suppose -4*c - 3*v = v - q, 0 = 3*v - 12. Is 2 a factor of c?
True
Let j be 2/8 - 236/(-16). Let n be 2/6 - 5/j. Suppose n = k - 4 + 1. Is k even?
False
Let v(a) = a**3 + 5*a**2 - 6*a + 4. Let h be v(-6). Let n(g) = g**2 + 8*g + 10. Let i be n(-7). Suppose h*y = i*y + 13. Is 7 a factor of y?
False
Let j = 2 - 1. Let n = j + -2. Let o(a) = -6*a**3 - a**2 - 2*a - 1. Is 5 a factor of o(n)?
False
Let u = 54 - 6. Is 16 a factor of u?
True
Let z = 54 - 12. Is 21 a factor of z?
True
Suppose -4*v + 9 = -a + 2*a, -a = 3*v - 9. Suppose 0 = 5*j + a + 1. Is 17 a factor of (-1 - -1) + (-84)/j?
False
Let i(s) = 2*s**2 + 8*s. Is 7 a factor of i(-5)?
False
Suppose -6*b + 8 = -2*b. Suppose -3*p + b*w = -79 + 4, -2*w + 60 = 2*p. Is p a multiple of 8?
False
Let p be (21 + 1)/(-3 - -1). Let m = p + 46. Suppose 0*y - 109 = -3*y - 4*j, y + j = m. Is 15 a factor of y?
False
Let p = 9 - 18. Let u be (-160)/6 + (-6)/p. Let q = -14 - u. Is q a multiple of 7?
False
Suppose -3*q - 162 = -b, -4*b = -0*b + 5*q - 580. Does 25 divide b?
True
Let c(v) = -6*v**3 - 7*v - 7. Does 45 divide c(-4)?
True
Let w = 128 + -16. Does 31 divide w?
False
Let i(o) = -34*o - 40. Is i(-7) a multiple of 22?
True
Suppose -5*c + 141 + 79 = 0. Does 19 divide c?
False
Let l(k) = k + 8. Let o = -4 + 0. Let c be l(o). Suppose 0 = -v - x + 18, 7 = v + c*x + 1. Is v a multiple of 8?
False
Suppose 4*g + g = 20. Suppose 0 = -g*m + 17 - 5. Is 4 a factor of -3 + 3 + m - -1?
True
Let f(y) be the first derivative of y**4/2 - 4*y**3/3 - 5*y**2/2 + 3*y + 5. Is f(4) a multiple of 12?
False
Let s be (-1251)/(-6) - 3/6. Suppose x - 5*x = -s. Does 20 divide x?
False
Let f(k) = -37*k - 22. Does 7 divide f(-4)?
True
Let i(q) = 2*q - 2. Let d be i(2). Let p = d + -2. Suppose -2*w = 3*l - 24, l - 5*w - 8 = -p*w. Does 8 divide l?
True
Let d = 46 + -37. Is 3 a factor of d?
True
Let p be (-138)/(-33) + 2/(-11). Suppose 0*m - 8 = -p*m, -19 = -3*i - 5*m. Is 7 a factor of 9*((-2)/i + 2)?
False
Suppose v - 7*v = -1632. Is v a multiple of 34?
True
Let w be 3/15 + (-36)/5. Let j = 19 - w. Is j a multiple of 13?
True
Let m = 33 + -23. Is m a multiple of 10?
True
Let a = 2 + 0. Suppose -4*j = -a*j - 6. Does 12 divide j + (-6)/3 - -28?
False
Let v = 143 + -54. Does 23 divide v?
False
Let q(s) = 2*s**2 - 4*s + 4. Is 5 a factor of q(4)?
True
Suppose -2*d - x - 106 = -4*d, -d + 63 = 2*x. Suppose 0 = -3*v + d + 2. Does 5 divide v?
False
Let p = 224 - 54. Does 17 divide p?
True
Let w(m) = -5*m**3 - 4*m**2 - 2*m + 1. Does 29 divide w(-2)?
True
Suppose -v + 5*v - 16 = 0. Suppose 5*i - 4 - 6 = 5*t, 0 = -3*i + v*t + 5. Suppose 0 = -j + i + 34. Does 13 divide j?
False
Let h(y) = 7*y**2 + 4*y - 36. Is h(6) a multiple of 10?
True
Let m(g) = 7*g - 9. Let f(w) = 2*w - 2. Let b(x) = 9*f(x) - 2*m(x). Let q be b(-2). Does 6 divide (-8 + 100)*(-2)/q?
False
Suppose -20*c + 21*c = 252. Does 16 divide c?
False
Suppose l - 2*d = 1, -l = l + d + 8. Let i be (-173)/l - 2/(-6). Let c = i + 