d. Does 12 divide d?
True
Is 12 a factor of (-73)/(-2) - (-2)/(-4)?
True
Suppose -p + 2*p = 0. Let k = p - -7. Let l = k + 22. Does 21 divide l?
False
Let p(w) = 9 - 32 + 15*w + 12 - w**2. Does 9 divide p(10)?
False
Let n(p) = -p + 8. Let t be n(6). Suppose 51 = t*k + 19. Suppose 2*g = x + k, g + 5*x = 2*g + 1. Does 9 divide g?
True
Let o = -20 - -120. Does 25 divide o?
True
Let a(c) = c**2 + c + 4. Let q be a(0). Let y(h) = -3*h + 6. Let m be y(q). Let j(k) = -k + 3. Does 9 divide j(m)?
True
Let g = 64 - 27. Let k = -1 + g. Is 6 a factor of k?
True
Suppose -4*l = -3*u + 69, 4*l = 8*l + 5*u + 77. Let h = 56 + l. Is 16 a factor of h?
False
Is (-38*(20/(-8))/(-5))/(-1) a multiple of 11?
False
Suppose 3*i - 2 - 1 = 0. Let x be (-4)/1 + i + 8. Suppose x*k + 180 = 5*n, 41 + 87 = 3*n + 2*k. Does 20 divide n?
True
Let w = -5 - -9. Suppose -w*f + 14 = -26. Does 5 divide f?
True
Let u(k) be the second derivative of 0 + k**2 + 1/6*k**3 + 1/6*k**4 - 4*k. Is 8 a factor of u(-4)?
False
Let u(y) = -123*y**3 - 4*y - 11. Let r(w) = -61*w**3 - 2*w - 5. Let t(h) = 9*r(h) - 4*u(h). Does 14 divide t(-1)?
False
Let x(m) = 4*m**2 + m - 1. Is 11 a factor of x(2)?
False
Let r = 13 - 9. Suppose -15 = -r*h - h. Suppose 0 = 5*k - h*k - 68. Is k a multiple of 19?
False
Is 14 a factor of (-777)/(-28) + 2/8?
True
Let y(l) = -2*l**2 + 2*l + 3. Let t(g) = -g**3 - 3*g**2 + 4*g - 3. Let q be t(-4). Let f be y(q). Let k = f + 38. Is 7 a factor of k?
False
Let b(c) = -c**2 - 2*c + 6. Let l be b(-5). Let f = 39 + l. Is f a multiple of 11?
False
Let j(y) = -y**3 - 3*y**2 + 2*y + 4. Let l be j(-3). Is 7 a factor of (-4)/l*45/6?
False
Let m be ((-2)/(-6))/(3/27). Let i be (m/5)/(1/(-5)). Let y(p) = -9*p + 2. Does 15 divide y(i)?
False
Suppose -2*v - 2*z = 2*z - 98, 3*z = v - 59. Is 14 a factor of v?
False
Let u = -45 - -63. Let d be (4/(-12))/((-1)/30). Let c = u - d. Is c a multiple of 8?
True
Does 4 divide -1 + (-3 - (3 - 60))?
False
Let b(d) = d**3 - 3*d**2 + 2*d + 2. Let o be b(3). Let t(w) be the second derivative of w**4/12 - 7*w**3/6 + 9*w**2/2 - w. Is 17 a factor of t(o)?
True
Suppose 5*m + 111 = p, 2*p = m + 12 + 165. Is 23 a factor of p?
False
Let p = 5 - -2. Let u = -5 + p. Suppose 4*f + 5*y = 8*y + 68, u*f + 5*y = 8. Is f a multiple of 9?
False
Let i(r) = r**3 - 5*r**2 - 15*r + 8. Let l(n) = -n**3 + 5*n**2 + 14*n - 8. Let a(b) = 6*i(b) + 7*l(b). Let v be a(6). Let m = 9 - v. Does 5 divide m?
True
Let d = -137 - -85. Let q be (-8)/(-10)*55/(-2). Let s = q - d. Does 15 divide s?
True
Suppose -6*u - o = -2*u + 18, 0 = 3*o + 6. Does 12 divide 16*-6*u/16?
True
Suppose -66 = -6*c + 480. Is 9 a factor of c?
False
Suppose i - 4*f + 13 = 0, -f - 1 - 10 = -5*i. Let s(n) = -2 + 2 + 1 + 3*n - n**3 - i*n**2 - 5. Does 12 divide s(-5)?
False
Let r(o) = -o**3 - 4*o**2 + 4*o + 3. Let t be r(-5). Is 13 a factor of -2*2/t*-50?
False
Let i(j) = j**3 - 7*j**2 + 7*j - 8. Let x be i(6). Is 21 a factor of (-472)/(-4)*x/(-4)?
False
Let k = 9 + -5. Does 2 divide k?
True
Let z(y) = y**3 - 2*y**2 - y - 3. Let d = 4 - 1. Let p be z(d). Suppose 0 = 3*b - p*w - 48, -w + 43 = 4*b - 6. Is b a multiple of 13?
True
Let h(t) = -16*t. Let w be h(-4). Suppose -3*r = -r - 8. Suppose -3*d + r*z = d - w, -4*d = 3*z - 36. Does 6 divide d?
True
Let l = 157 + 3. Does 7 divide l?
False
Let f be (-8)/4*14/(-4). Let v = f + -13. Let y(m) = -3*m - 6. Does 4 divide y(v)?
True
Let p(y) = -5*y**2 - 2*y + 8*y + 4*y**2 + 3*y**2. Suppose 3*f - 1 + 16 = -3*l, 20 = -3*l + 2*f. Does 18 divide p(l)?
True
Suppose -33 + 21 = 4*i. Does 33 divide i*7/(84/(-152))?
False
Suppose -5*z - 16 = -7*z. Is z + -6 - -8*1 a multiple of 5?
True
Suppose 0 = -2*z + h + 20, -5*z + 5*h + 40 = -10. Is (-2)/z - (-48)/15 a multiple of 3?
True
Suppose 0 = -3*d + d. Suppose d*n = 5*n - 10. Is 2 a factor of n?
True
Does 4 divide (-30)/(-75) + (-88)/(-5)?
False
Let f(n) = n + 6. Let y be f(-10). Let s = y - 0. Is 11 a factor of s/14 + (-316)/(-28)?
True
Let d(c) = -c**2 - 1. Let y(a) = -a**3 + 3*a**2 - a + 7. Let v be (6/18)/(1/9). Let x(w) = v*d(w) + y(w). Is x(0) a multiple of 3?
False
Let f be (0 - 2/2)*-5. Suppose -3*i = 2*i - f. Suppose i = -5*d + 91. Does 9 divide d?
True
Suppose -25 = -f + 15. Does 5 divide f?
True
Let m(u) = -9*u**3 - 5*u**2 - u + 1. Let g(t) = 17*t**3 + 9*t**2 + 3*t - 1. Let z(j) = -3*g(j) - 5*m(j). Suppose 2*c - 8 = 6*c. Is 16 a factor of z(c)?
False
Let w(s) = -11*s**3 - 29*s**2 + 16*s - 37. Let t(g) = 5*g**3 + 14*g**2 - 8*g + 18. Let j(o) = -13*t(o) - 6*w(o). Is j(8) a multiple of 16?
False
Is 9 a factor of ((-12)/(-9))/((-6)/(-126))?
False
Suppose 4*i = -28 - 116. Is 3 a factor of (2/(-4))/(3/i)?
True
Let r(s) = s**2 + s - 2. Let g be r(-3). Suppose -20 + 0 = -g*h. Suppose 175 = h*n - 0*n. Is n a multiple of 16?
False
Let g = -7 + 5. Is 10 a factor of 2/g + 9 + 2?
True
Suppose 4*m = 4*b - 4, 11 = 4*b - b - m. Is b a multiple of 5?
True
Suppose -4*m + 141 = 53. Is 18 a factor of m?
False
Let o(f) = -f**2 + 6*f - 1. Let n be 6 - (-3)/(-3)*1. Let u be o(n). Let q = u - 2. Does 2 divide q?
True
Let g(d) = d**2 - d. Let u be g(0). Suppose 7*l - 8*l + 3 = u. Does 3 divide l?
True
Suppose 0 = f - 76 + 36. Is 12 a factor of f?
False
Let a = 0 + -4. Let w = 0 - a. Suppose k - 2*y = w, -3*k + 3*y + 13 + 11 = 0. Is 6 a factor of k?
True
Is 40 a factor of 1/((-3)/(-1) - 2390/800)?
True
Let b = 163 - 83. Does 20 divide b?
True
Let f = -3 + 0. Is (f - (-33 - 1)) + -3 a multiple of 28?
True
Suppose 3*w + h - 270 = 0, 2*w + 5*h = -3*w + 440. Does 13 divide w?
True
Let w(j) = 18*j**2 + 2*j - 1. Suppose 3*q = 7*q - 5*u + 6, 15 = 5*q + 5*u. Does 5 divide w(q)?
False
Suppose 0*l - 3 = -l. Is 2 + -4 + 3*l a multiple of 3?
False
Suppose 0*x - 41 = -2*r - x, -5*r = -5*x - 80. Is 18 a factor of r?
False
Let u(b) = -2*b**2 + 3*b + 4. Let v be u(3). Let t = v - -7. Suppose 0 = -3*a + 3*d - 8*d + 35, -22 = -2*a - t*d. Is 4 a factor of a?
False
Let k(x) = -8*x + 40. Is 6 a factor of k(-10)?
True
Suppose -5*z - 3 + 53 = 4*j, 4*z - 2*j - 66 = 0. Is z a multiple of 10?
False
Let f = -132 + 222. Does 18 divide f?
True
Let w(b) = 65*b. Is 27 a factor of w(2)?
False
Is 5 a factor of 177/12 + (-6)/(-24)?
True
Suppose -2*i = 2*u - 4*u + 6, 10 = 2*u - i. Suppose -d = u - 16. Does 4 divide d?
False
Let h be (0/(-2 - 1))/2. Suppose 27 = -h*x + 3*x. Does 8 divide x?
False
Let l = 23 - 16. Suppose l*x = 6*x + 50. Does 25 divide x?
True
Suppose 2 = -b + 5. Suppose -40 = -b*k - k. Is k a multiple of 10?
True
Suppose 2*h = -3*n + 9, 5*h - 5*n + 0 = 60. Is 3 a factor of h?
True
Suppose -2*z = -5*x + 8 + 3, 0 = -3*x + 2*z + 5. Let v be 4/(8/(-14))*x. Is 11 a factor of v/24*2*-8?
False
Let x(w) = -5*w**3 + 2*w**2 + 4*w + 1. Let c = -6 + 9. Let g be x(c). Let o = -68 - g. Does 18 divide o?
True
Let p(y) = 2*y**2 - y + 3. Let d be p(3). Suppose -t + d = t. Is 3 a factor of t?
True
Let o(q) be the third derivative of q**7/1260 - q**5/24 - q**4/24 + q**2. Let w(p) be the second derivative of o(p). Does 13 divide w(-4)?
False
Suppose 2*s + 14 = -40. Let w = 119 - 167. Let k = s - w. Is 11 a factor of k?
False
Let v(y) be the third derivative of 4*y**2 + 0 + 0*y + 1/24*y**4 - 1/3*y**3 + 1/60*y**5. Is v(-5) a multiple of 9?
True
Let c = 29 - 3. Suppose 2*o - c + 0 = 0. Suppose 0*a = a - o. Does 4 divide a?
False
Let l = -10 - -14. Let p = 2 - l. Does 4 divide 5 + (p - -2) - -2?
False
Let k(j) = 3*j**2 + 3. Does 6 divide k(3)?
True
Suppose n = -2*n. Let d(p) = -p**3 + 2*p**2 + p + 4. Let f be d(3). Does 5 divide (n + f)/((-4)/12)?
False
Let h(x) = -x**3 - 11*x**2 - 15*x + 9. Is 58 a factor of h(-11)?
True
Let v(p) = p**3 - 8*p**2 + 6*p - 4. Let m be v(7). Let r = 7 - m. Does 8 divide r?
False
Let k = -14 + 42. Does 21 divide k?
False
Let m be (3 + -6)*(0 + -1). Suppose 3*g - 4*o + 48 = 179, g - 61 = -m*o. Is g a multiple of 18?
False
Suppose -3*g + 10 = 1. Let b(i) = i**2 - i + 2. Does 4 divide b(g)?
True
Suppose 0*c - 24 = -5*l - 3*c, 2*c - 18 = -4*l. Suppose -d + 0*o + 19 = -o, -5*d - l*o + 71 = 0. Suppose -5*t + 14 = -d. Is 6 a factor of t?
True
Let r(m) = m**2 + 7*m - 6. Let l be r(-6). Is 16 a factor of (-134)/(-8) + l/16?
True
Let m be (-84)/39 - 2/(-13). Let w(u) = 2*u**2 - 3*u - 3. Is 11 a factor of w(m)?
True
Suppose 0 = g + 5 - 2. Let b(p) = -p**3 - 2*p**2 + p + 1