Is j(d) a multiple of 2?
True
Let w = 394 - 233. Is 4 a factor of w?
False
Let y be (-198)/2 - 0 - -1. Let d = y - -114. Is 6 a factor of d?
False
Let q(o) = 6*o**2 + 14*o - 4. Does 4 divide q(-4)?
True
Let l(v) = -v**3 + 18*v**2 - 11*v - 37. Let f(o) = 3*o**2 + 2*o + 1. Let q be f(2). Is 12 a factor of l(q)?
False
Let k(w) = 19*w**2 - 19*w + 147. Is k(7) a multiple of 63?
True
Is 55916/20 + (-4 - (-84)/20) a multiple of 78?
False
Let o(b) = 238*b**2 - 51*b + 144. Is o(3) a multiple of 9?
True
Does 48 divide (-1)/6 + 2/(36/4917)?
False
Let q(s) = 7 - s**2 + s - 2*s**3 + 7*s**2 + 3*s**3. Let v be q(-5). Suppose h - 39 + v = 0. Is 3 a factor of h?
True
Let s = -11 + 19. Suppose 0*g + s = 4*g. Is 32/(g/2) - 2 a multiple of 7?
False
Let z(o) be the first derivative of o**3/3 - o**2 - 3*o - 14. Is z(-3) a multiple of 6?
True
Let j = -376 + 648. Suppose -l = a - 59, -2*l = -6*l + 5*a + j. Does 15 divide l?
False
Suppose 0 = -4*q + 2*q. Let r(l) = -l**3 + 5*l**2 + 5. Let w be r(5). Suppose 2*n - 3*y - 47 = q, w*y - 92 = -5*n + 4*y. Is n a multiple of 19?
True
Let t(w) = -11*w + 90. Does 10 divide t(-34)?
False
Suppose 2*n - 2 = -4*t, -14 = -t + 3*n + 4. Suppose 0 = 4*r + 5*p - 5 - 90, -4*r = -t*p - 71. Is 10 a factor of r?
True
Let v(o) = -237*o + 87. Is 18 a factor of v(-7)?
True
Let i be 1 + 4*4/16. Suppose -4*l + s = 2*s - 543, 282 = i*l + 4*s. Does 15 divide l?
True
Let u = -58 - -38. Let g be (5/(-10))/(2/u). Suppose -g*s + 295 + 85 = 0. Is 17 a factor of s?
False
Let g be (4 - 1)/(-3)*-2. Suppose -g*k + 24 = -6*k + 3*u, 0 = -5*k + 3*u - 27. Is 3 a factor of (k/6)/((-5)/70)?
False
Suppose 0 = -21*c + 6555 + 35718. Is c a multiple of 33?
True
Let r(i) be the third derivative of i**2 + 1/30*i**5 - i**3 - 1/4*i**4 + 0*i + 0. Is 15 a factor of r(7)?
False
Is (-8 - (-276)/36) + (-1676)/(-6) a multiple of 14?
False
Let y(k) = k**3 + 9*k**2 + 7*k - 4. Let v be (40/50)/(2/(-20)). Let i be y(v). Suppose 0 = -i*u + z + 139, -4*u + u - 3*z = -93. Does 17 divide u?
True
Let h(r) be the third derivative of 0 + 0*r - 1/120*r**6 - 7*r**2 + 1/6*r**5 - 5/12*r**4 + 13/6*r**3. Is h(9) a multiple of 4?
True
Let z = 16 + 5. Let l = -17 + z. Does 4 divide l?
True
Let j(m) be the third derivative of -m**5/60 + 37*m**4/24 - 7*m**3 - 2*m**2. Is 20 a factor of j(20)?
False
Let n(w) = w**2 + 12*w + 29. Does 9 divide n(-11)?
True
Does 4 divide (148/(-2))/(-6 + (18 - 14))?
False
Let i be ((-355)/(-3))/((-3)/(-63)). Let p be i/55 + (-2)/11. Does 27 divide (-1 - -6)/(3/p)?
False
Let c(l) be the second derivative of l**4/12 - 3*l**3/2 + l**2 + 2*l. Let m(r) = 23*r - 32. Let d be m(2). Is c(d) a multiple of 19?
False
Let f(i) = i + 1. Let x(u) = 8*u**2 - u + 3. Let g(l) = -2*f(l) + x(l). Let p be g(-2). Suppose -p = -2*w + 57. Is w a multiple of 12?
True
Let l(t) = t**2 - t - 1. Let x be l(-1). Let s = x - -1. Suppose -g - s*g = -114. Does 19 divide g?
True
Let z(g) = -8*g + 1. Let l be z(1). Is 27 a factor of 4 + l*2*(-25 + 0)?
False
Let y be 1290/(-9) - 1/(-3). Let m = y + 308. Is m a multiple of 36?
False
Suppose 0 = -4*y + 5*z + 341, 14 = 3*y - 3*z - 241. Is 3 a factor of y?
True
Let m(y) = -21*y + 10. Let q be (((-12)/(-15))/(-2))/(4/120). Is m(q) a multiple of 26?
False
Suppose 2 = -y - y. Is (0 + (-2)/1)*y even?
True
Suppose -102*d = -111*d + 1647. Is 3 a factor of d?
True
Let m be ((-52)/4)/(-2 - -1). Suppose -3*t = 6*t - 1440. Suppose m*h = 8*h + t. Does 16 divide h?
True
Suppose 4*j - 10 = 2*w, -4*j + w - 16 = -9*j. Suppose 0*n + 4*t + 337 = j*n, 2*n - 223 = t. Is n a multiple of 16?
False
Suppose -54*t + 48*t = -366. Is t a multiple of 14?
False
Let u = 27 - -40. Let o = u - 39. Is 8 a factor of o?
False
Is 31 a factor of (120965/(-50))/(-13) + 2/(-20)?
True
Suppose -5*u = -5*i + 70, 5*i + u - 20 = 26. Suppose -2*a - i*a = -2760. Is a a multiple of 10?
True
Is -1 - (-7 + 5) - -329 a multiple of 11?
True
Suppose -7*w = 12*q - 14*q - 1858, -q = -2. Does 5 divide w?
False
Suppose -2*s = -4*p + 3606, 10*p + 4*s = 6*p + 3588. Suppose -720 = -4*x + k, -x + 3*k + p = 4*x. Is 36 a factor of x?
True
Let c = 0 - 0. Suppose -v + 2*v = -3*j - 14, -2*j = v + 10. Is 36 - (c/j - -2) a multiple of 13?
False
Suppose 2*h + 10 = 0, -3*f + 2*h + 1371 = -h. Does 27 divide f?
False
Let r(k) = 16 + 2*k**2 + 8*k + 5*k + 6*k + 3. Does 34 divide r(-16)?
False
Suppose -2*k + 1579 = -s, 15*s - 1588 = -2*k + 13*s. Is 57 a factor of k?
False
Let v(d) = d**3 - 7*d**2 - 14*d + 3. Let r(p) = 2*p**2 + 23*p - 3. Let g be r(-12). Does 39 divide v(g)?
True
Let t(u) = u**3 - 3*u**2 + 5*u + 1. Is t(6) a multiple of 19?
False
Let q = 851 - 638. Is q a multiple of 71?
True
Suppose 7 - 71 = 4*g. Let d = g + 23. Let n = 13 - d. Is n a multiple of 6?
True
Let m(u) = 8*u - 39. Let i be m(13). Suppose 0 = 5*d + 2*l + i - 221, 0 = -4*d - 5*l + 118. Is 4 a factor of d?
True
Is 6 a factor of (12/(-18))/((-8837)/1767 - -5)?
False
Let i be -6 - (-1)/((-4)/(-8)). Let d be (i + (-4 - -2))/(-2). Suppose d*s + 5*j - 49 = 0, s - 4*s + 41 = j. Is 6 a factor of s?
False
Let b(f) = f**3 - 4*f**2 + 4*f + 1. Let x be b(3). Suppose x*r - 52 = 5*t - 134, -3 = r. Is 2 a factor of ((-8)/t)/((-26)/91)?
True
Suppose -3*n + q + 6178 = -3*q, 5*n = 2*q + 10278. Is 61 a factor of n?
False
Is 2/(-6)*112596/(-11) a multiple of 56?
False
Suppose -37*w + 169617 = 70161. Does 24 divide w?
True
Is (-3)/45 + 35598/45 a multiple of 4?
False
Let g(r) = 2*r**2 - 3*r. Let v be g(2). Let k(b) = b**3 + 7*b**2 - 4*b + 5. Let a be k(-7). Suppose -v*o - 1 = -a. Does 8 divide o?
True
Suppose 236 = 3*w - 4*k, -62 = -4*w - 2*k + 282. Let f = -36 + w. Is 24 a factor of f?
True
Let v be -1 - (90/2)/1. Let y = v - -66. Does 2 divide (-2*y/8)/(-1)?
False
Is 2 - -230 - (-19 + 27) a multiple of 32?
True
Let a be (-2)/((12/(-3))/236). Suppose a = 5*k - 4*k. Is 32 a factor of k?
False
Suppose -13356 = -17*z - 36*z. Is 28 a factor of z?
True
Let b(a) = -a**2 - 9*a + 43. Let y be b(-14). Suppose -x - 258 = -7*r + 2*r, -4*x + 164 = 3*r. Let q = y + r. Does 9 divide q?
False
Suppose -4*d - 27 = -k, 2*d + k + 3 = -2*k. Let m be 266/(-18) + d/27. Is 16 a factor of ((-12)/4)/(1/m)?
False
Suppose 3*p = i - 13 - 29, 0 = -5*i + 5*p + 170. Is 3 a factor of i?
True
Suppose w + 2*p = -w + 1576, 0 = -4*w + 4*p + 3152. Let g be -3 - (1 - -6 - 6). Does 13 divide w/20 + g/10?
True
Let j(w) = -4*w**2 - 2*w - 3. Let z(p) = -p**2 - p - 1. Let f(v) = j(v) - 5*z(v). Is f(-5) a multiple of 5?
False
Let d(s) = -4*s - 2. Let i be d(5). Let y = -20 - i. Does 3 divide (-7 - -16)/(y - 1)?
True
Let f(j) be the third derivative of -j**6/120 + j**5/5 + j**4/8 - 6*j**2. Let w be f(12). Suppose 0 = -4*p + 3*t + w, 3*p - 4*t + 0*t = 27. Is 9 a factor of p?
True
Let o = 50 + -34. Suppose 20*a - 288 = o*a. Does 15 divide a?
False
Suppose -3*g - 1 + 13 = 0. Let j = g - 10. Is 6 a factor of (-4)/j - 368/(-24)?
False
Let g(a) = a**2 - 9*a + 11. Let j be g(7). Let m be (-42 + 1)*(-3)/(-3). Let y = j - m. Does 26 divide y?
False
Suppose 0*f + 260 = -f. Let z be (f/(-14))/((-8)/(-56)). Let u = 186 - z. Is u a multiple of 16?
False
Suppose 6*k - 12 = 3*k. Let l = k - 26. Is l*(15/(-6) - -1) a multiple of 11?
True
Suppose 17*m - 2392 - 1161 = 0. Is 33 a factor of m?
False
Suppose -60 = -3*r + 12. Does 32 divide (-18)/r - 379/(-4)?
False
Let p be (22/(-3))/(14/(-42)). Let t = 2 - 0. Suppose f + t*w + 13 = -3*w, -f + 2*w + p = 0. Is f a multiple of 4?
True
Let q(j) = 2*j - 10. Let o be q(7). Suppose 0*n - o*n = -8. Suppose -5*s + n*x + 12 = -58, -2*x = -s + 14. Is s a multiple of 7?
True
Let a(q) = -3*q + 30. Let f be a(12). Let x be -1 + f/9*6. Is -56*((-90)/(-21))/x a multiple of 17?
False
Suppose 5*v = 4*h + 7 - 27, 5*h + v - 25 = 0. Suppose -3*m = -5*c + 345, h*c + 3*m = -2*m + 305. Does 34 divide c?
False
Let k(f) = f**3 + 8*f**2 + 12*f - 4. Let y be k(-6). Is 4 a factor of ((-72)/63)/(y/56)?
True
Suppose 5*n + 4*f - 2107 - 10816 = 0, -2*f = -4*n + 10354. Does 13 divide n?
True
Suppose -2*y = 3*t - 1132, 5*y - 1879 = 3*t + 909. Suppose 3*o - 424 = 4*n, -4*o + 5*n - n = -y. Is 8 a factor of o?
True
Let x(z) = -z**2 - 15*z + 3. Let o(n) = n**2 + 14*n - 3. Let j(m) = 5*o(m) + 4*x(m). Is j(2) a multiple of 6?
False
Suppose 208*m - 202*m = 3024. Is 42 a factor of m?
True
Suppose -g = 4*o - 15, 4*o - 3*g