 y(f) a multiple of 10?
False
Let a = -135 - -312. Suppose -5*h = -622 + a. Let m = h - 53. Does 16 divide m?
False
Suppose 3*b - 5*b + 11 = -5*t, 0 = -3*t - 9. Let a(q) be the third derivative of -q**4/4 + q**3/3 - 2*q**2. Is a(b) a multiple of 14?
True
Suppose s = -2*s. Suppose h = 5*d - 5, -3*h - h + 20 = s. Let i = 11 - d. Is i a multiple of 9?
True
Let t = 608 + -279. Suppose 2*h + 74 = u, -t = -4*u + 3*h - 6*h. Suppose u = 4*x - 4*y, 3*x - y = 4*y + 60. Does 11 divide x?
False
Does 20 divide (-400 - 0)*(-8)/4?
True
Is ((-3)/(-5))/((6 - 10)/(-1780)) a multiple of 20?
False
Suppose -4*n + 1702 = -4*d + 6*d, 3*n = -d + 1277. Does 71 divide n?
True
Let p = 289 + 235. Suppose 0*t + 4*y + p = 2*t, -4*y = -t + 266. Is 43 a factor of t?
True
Let o be 9/(-21) - 155/(-35). Suppose 3*w = -z + 173, 2*z = -3*w + o*z + 167. Does 19 divide w?
True
Let v = 1665 + -866. Is v a multiple of 47?
True
Let x(z) = 5*z**3 - 19*z**2 + 7*z + 49. Is 19 a factor of x(8)?
False
Suppose 5*i = i + 240. Let d be (i/(-40))/((-1)/2). Suppose 4*p - 491 = 4*a - 183, 3*a = d. Does 26 divide p?
True
Let j(c) = -2*c**3 - 3*c**2 + 8*c + 5. Let z be ((-6)/(-15))/(1/(-10)). Is j(z) a multiple of 28?
False
Suppose 2*j + 6*o = 2*o + 496, 3*o = -4*j + 987. Is 6 a factor of j?
True
Let p(x) = 6*x**2 - 11*x + 19. Let l be p(8). Suppose 4*v + 60 = 5*h - l, 147 = 2*h - v. Does 22 divide h?
False
Let y(a) = a + 10. Let r be y(-4). Suppose 3*h = r*h + 60. Is 18 a factor of (-8)/h - (-264)/15?
True
Let t = -4 - -4. Let r be 66/(-4)*(-10 + 8). Suppose t*m + r = m. Is 11 a factor of m?
True
Let b(s) = -7*s**2 + 6*s + 14. Let m be b(6). Let x = m + 358. Suppose -3*t - x = -6*t. Is 12 a factor of t?
False
Let p = 1798 + 398. Is 9 a factor of p?
True
Suppose 2*v = -7 - 5. Let h(k) = 16*k + 12. Let o be h(v). Let u = 144 + o. Is 30 a factor of u?
True
Let b = -2241 - -2685. Does 12 divide b?
True
Suppose 36*c - 276 = 32*c. Suppose 0 = -8*l + c - 21. Is 4 a factor of l?
False
Let j = 187 + -134. Suppose 0 = -j*f + 56*f - 45. Is 3 a factor of f?
True
Suppose -9*a = 591 - 114. Let i = -41 - a. Is i a multiple of 4?
True
Let r(m) = 26*m + 36. Let u(k) = 53*k + 72. Let o(a) = -5*r(a) + 3*u(a). Does 30 divide o(6)?
True
Let m(o) = 10*o**2 + 7*o + 43. Is 6 a factor of m(-5)?
True
Let w(u) be the first derivative of 4 + 7/3*u**3 - 2*u**2 - 3*u. Is w(-3) a multiple of 24?
True
Let j be (-1 - 1)*(-20)/5. Let q(v) = 23*v - 6. Let p be q(j). Suppose -p = -6*d + 56. Is d a multiple of 11?
False
Let b(f) = f - 10. Let h be b(13). Suppose 2*a + 81 = h*a. Is 9 a factor of a?
True
Let s be -3*-1*(-2)/(-3). Does 21 divide (79 + s)/(18/24)?
False
Let r(l) = 4*l**2 + 5*l + 7. Let m be r(-7). Suppose -k + m = 2*k. Suppose 2*x + k = 4*x. Does 12 divide x?
False
Let j(i) = 4 - 1 + 13 - i + 0. Is j(6) a multiple of 6?
False
Let k be (-8)/(-16) + (-222)/(-4). Does 13 divide (26/(-4))/((-2)/k)?
True
Let q be 131*2 + (2 - -1). Suppose 5*x - q = -4*l - 0*l, 0 = -x + 1. Is l a multiple of 13?
True
Is 1 + 39/(((-84)/128)/(-7)) a multiple of 39?
False
Suppose -4*u + 12 = -2*u + g, 0 = -2*u - 2*g + 16. Suppose 3*x + 0*v = -u*v + 290, -v = -3*x + 310. Is 14 a factor of x?
False
Let t(c) = -c**3 - 4*c**2 + 9*c + 9. Suppose 2*a - a + 5*q = -19, 0 = -4*a + q + 8. Suppose -a + 13 = -2*m. Is 12 a factor of t(m)?
False
Let t(s) = s - 1. Let y be t(5). Let j(v) = 30*v**3 - 5 + y + 1. Is j(1) a multiple of 18?
False
Let i(g) = g**3 + 5*g**2 + 4*g + 3. Let k be i(-4). Let c(n) = -8*n**3 + 15*n + 9*n**2 - 2 + 15 + 9*n**3 + k*n**2. Is 30 a factor of c(-10)?
False
Let g(d) = 555*d + 6. Is g(1) a multiple of 40?
False
Let w = 8 - 24. Let p = 45 + w. Is p a multiple of 29?
True
Suppose 0 = m - 7 + 2. Suppose 0 = 4*c - 3*p - 279, -5*c - p + 363 = -0*p. Suppose -t - c = -m*t. Does 6 divide t?
True
Let g = 129 - 53. Let z = g - 44. Suppose 0*u + z = 2*u. Is 16 a factor of u?
True
Suppose -16*f = -21*f + 10. Let l(x) = 2*x**f + 8*x + 10*x - x**3 - 16*x + 8. Does 32 divide l(-4)?
True
Suppose 4*a - 9 = 2*l + l, 0 = 4*a + 4*l + 12. Suppose 8*m - 369 - 15 = a. Is m a multiple of 12?
True
Suppose -2*n + 1305 = 3*z, -z - 1745 = -5*z - n. Does 11 divide z?
False
Let u = 11 + -9. Suppose d - u - 25 = 0. Does 11 divide d?
False
Suppose 12*a - 9*a + 342 = 0. Let z = 129 + a. Is 15 a factor of z?
True
Let h = -2305 + 4352. Does 23 divide h?
True
Suppose -6*o - 9 + 6447 = 0. Is 29 a factor of o?
True
Let j(q) = -q**3 - 3*q**2 + 6*q + 52. Does 3 divide j(-5)?
True
Let y(i) = -i**3 + 11*i**2 + 2*i. Let q be y(11). Does 29 divide 4/q + -2 + 11564/44?
True
Let w be 9*11*8/6. Let o = w + -93. Is 11 a factor of o?
False
Let c(t) = 15*t**3 + 2*t**2 - 4*t + 3. Suppose 0 = -31*k + 22*k + 9. Does 16 divide c(k)?
True
Let f(y) = 9*y**2 - 4*y + 9. Let i(q) = -26*q**2 + 13*q - 26. Let n(k) = -17*f(k) - 6*i(k). Is n(7) a multiple of 16?
True
Let j = 1282 + -1121. Is j even?
False
Let i = -1717 - -2949. Is 44 a factor of i?
True
Let f = 284 + -153. Is f a multiple of 20?
False
Let u = 16 - 20. Let g be ((-12)/u - 4)*-3. Suppose x - 4*y = 22, -g*y = 2*x + 2*x - 69. Is x a multiple of 9?
True
Let x(f) = 5*f - 40. Does 3 divide x(17)?
True
Let b(p) be the first derivative of -p**4/6 - 2*p**3 + p**2/2 - 3. Let l(x) be the second derivative of b(x). Is 10 a factor of l(-6)?
False
Let f(w) = 3*w**2 - 30*w + 37. Is f(19) a multiple of 22?
True
Let c = 256 - 379. Let n = c - -205. Is n a multiple of 14?
False
Suppose 0 = d - 5*k - 291, d - 3*k + 7*k = 255. Does 7 divide d?
False
Let v(m) = 28*m**2 + 17*m - 2. Let q(p) = -2*p**2 - 11*p - 14. Let a be q(-4). Does 29 divide v(a)?
False
Let d = 65 - -50. Suppose 27*s = 24*s + 6. Suppose -d - 105 = -5*q - 5*z, 0 = -s*q - 4*z + 90. Does 9 divide q?
False
Is (7 - (-104)/(-4))*48/(-2) a multiple of 6?
True
Let t = 138 + -134. Let p(l) = -l**3 + 9*l**2 - 6*l + 4. Let s be p(8). Suppose u + 3*r = -t*u + s, -4*r - 55 = -5*u. Is u a multiple of 3?
False
Let y = 116 + -118. Is ((-42)/3)/y + (-2)/1 a multiple of 3?
False
Let p(n) = 43*n**2 + n**3 - 9 - 4*n - 37*n**2 - 4*n. Let v be p(-7). Does 3 divide 5 + 3 + v - -1?
False
Suppose -5*w + 1121 = -s, -3*w + 7*s - 107 + 786 = 0. Is 7 a factor of w?
True
Let a(c) = c - 9. Let b be a(5). Let u be 2 + -3 + b + 137. Let s = u + -60. Is s a multiple of 18?
True
Suppose -2 = 2*n, -16*h + 103 = -14*h - 3*n. Does 2 divide h?
True
Suppose 10*d = 5*d + 200. Suppose 6*p - d = p. Is 2 + p/2 + -2 a multiple of 4?
True
Let h(c) be the second derivative of 143*c**4/12 + c**3/3 - 3*c**2/2 + 34*c. Is h(1) a multiple of 37?
False
Is 8/12 + (-4 - 18561/(-9)) a multiple of 19?
False
Let r(s) = s**3 + 11*s**2 - s + 2. Suppose -h + 8*h + 77 = 0. Is 13 a factor of r(h)?
True
Let x(q) = q**2 + 6*q + 7. Let t(z) = -z**2 + 6*z - 9. Let l be t(6). Does 11 divide x(l)?
False
Let j = 80 + -36. Does 2 divide j?
True
Suppose 22 = 2*d - 3*l, 4*d = -2*l - 0 + 12. Suppose 0 = 4*h - 0*q - 5*q - 355, d*h = -4*q + 413. Is h a multiple of 17?
True
Let z = 20 + -15. Suppose -662 = -z*h + 163. Suppose 4*s + s = h. Is s a multiple of 11?
True
Let n(u) = u**3 - 21*u**2 - 16*u + 50. Is 26 a factor of n(22)?
True
Suppose 0 = -153*d + 159*d - 678. Does 84 divide d?
False
Let l(m) = 16*m + 9. Let a be l(6). Suppose 2*x = x + a. Suppose 7*w - 2*w - x = 0. Is w a multiple of 5?
False
Let f(a) = -a + 13. Suppose -4*g + 6 = -10. Suppose 37 = g*n - 4*j + 1, 5*j = -3*n + 11. Does 2 divide f(n)?
True
Suppose h - 5*h = -540. Suppose -h = q - 4*q. Is q a multiple of 10?
False
Let w be (2 + 7 - 3)*4/3. Suppose -900 = -w*u - 7*u. Is u a multiple of 6?
True
Suppose -5 = -d - 2. Let l(r) = 6*r + 6 + 7*r - 5*r**d + 6*r**3 - 6*r + 9*r**2. Does 20 divide l(-7)?
False
Suppose u - 24 = -3. Is (-14)/u + 83/3 even?
False
Suppose -9*l + 1784 - 209 = 0. Does 25 divide l?
True
Suppose -z = -5*m + 25, 0*m = -4*m + 2*z + 14. Is 30 a factor of (m/(-4))/((-1)/108)?
False
Let p(h) = 7*h**3 - 28*h**2 + 8*h - 5. Does 4 divide p(7)?
True
Suppose w = 2*w - 32. Suppose y - 13 = -3. Is (-2)/y + w/10 a multiple of 3?
True
Suppose -34272 = 13*i - 81*i. Is 12 a factor of i?
True
Let w(s) = -s**2 - 5*s - 4. Let k be w(-3). Suppose -2*g + 8 = 5*o, -g + 0*o + 4 = -k*o. Suppose g*h + 60 = 180. Does 10 divide h?
True
Let o = 46 - 75. Let a = 57 + o. Is a a multiple of 14?
Tr