f v(16)?
True
Let p(x) = x**3 - 4*x**2 + 10*x - 7. Is p(7) a multiple of 35?
True
Suppose 2*t + 3*c = c + 326, -155 = -t - 3*c. Is 29 a factor of t?
False
Suppose -w + 52 = 2*u - u, 2*w + 5*u - 101 = 0. Suppose -3*t + w = -2*t. Is 22 a factor of t?
False
Suppose -5*p + 3*p + 3*x = -60, 4*p + 5*x = 98. Is 24 a factor of 4/(-18) + 654/p?
True
Let y = 3 + -3. Let k = y - -4. Suppose -k*z + 24 = -0*z. Is z a multiple of 4?
False
Let c(n) be the second derivative of n**6/20 + n**5/60 - n**4/24 + n**3/6 - 2*n. Let x(j) be the second derivative of c(j). Is x(1) a multiple of 8?
False
Let j be 16/2*(12 + -1). Is j/(-3 + 5) - 3 a multiple of 10?
False
Let z = 10 - 5. Does 3 divide z?
False
Does 7 divide (0 - 124/12)*-1*3?
False
Let s(x) = -8*x + 47. Is s(-8) a multiple of 37?
True
Let o(t) = t**2 - 2*t + 2. Let h be o(3). Suppose 14 = 6*q - h*q. Is q a multiple of 6?
False
Let f(b) = b + 4. Let h be f(-6). Let s = h - 2. Is 6 a factor of (-9)/(-6) - 42/s?
True
Suppose 0 = 5*l + 84 - 4. Let k = -10 - l. Is 2 a factor of k?
True
Let y(f) = 9*f**3 + f**2 - 1. Let o = 12 + -11. Does 4 divide y(o)?
False
Suppose 0 = -4*j - 1 - 3. Let d = -1 + j. Does 7 divide d/(-8) - (-27)/4?
True
Let i = -8 - -16. Is i a multiple of 4?
True
Let t(c) = c**2 + 8*c + 9. Is t(-8) a multiple of 8?
False
Suppose -w - 6 = -4*w. Suppose w*s - 3*s = -58. Is s a multiple of 16?
False
Let z = -48 - -81. Is 10 a factor of z?
False
Let o be -2 - 12/(-3 - 0). Let h(i) = o*i + 2*i - i. Does 12 divide h(4)?
True
Suppose -1 = j - 19. Let d = -13 + j. Suppose 0 = d*s, 0 = -4*m + 4*s - 0*s + 20. Is m a multiple of 4?
False
Suppose -y + 4*f = -125, 0 = -5*f - 14 - 6. Is 9 a factor of y?
False
Suppose 5*f = -20 + 50. Suppose 0 = y + 2*k, -y + 0*y + 9 = 5*k. Is (-3)/f*y + -1 a multiple of 2?
True
Let i = 61 + -19. Let p be (-13)/(-4) - 12/48. Suppose -i - 6 = -p*v. Does 16 divide v?
True
Suppose 5*v + 2*i - 106 = 5*i, 0 = 4*v + 5*i - 70. Is v a multiple of 5?
True
Let z(l) = l + 12. Let d be z(-10). Suppose d*b = 4*a + 106, -4*a = -4*b - 5*a + 176. Is 15 a factor of b?
True
Let r(b) = 3 + 11*b + 6 - 3 - 4. Let q be r(-2). Let c = -5 - q. Is 5 a factor of c?
True
Suppose -5*o + 28 = -357. Is 11 a factor of o?
True
Suppose 0 = -f + 3*f - 30. Is f a multiple of 5?
True
Let t(i) = -i**3 + 6*i**2 - 3*i - 7. Let w be t(5). Suppose -o + 168 = w*o. Suppose 0*n - 3*n = -o. Is n a multiple of 7?
True
Let i be (-378)/(-22) - (-6)/(-33). Suppose -q + 34 = -i. Is 15 a factor of q?
False
Suppose -f + 349 = 4*r - 6*f, -263 = -3*r + 4*f. Does 26 divide r?
False
Suppose 0*r = -r + 76. Is 22 a factor of r?
False
Suppose -x + 16 = 3*i + i, -3*i + 13 = x. Is i a multiple of 2?
False
Let p(i) = -i**2 - 6*i + 4. Let k be p(-7). Let t = 5 + k. Suppose t*n - 79 - 19 = 0. Is n a multiple of 20?
False
Let c be (-6)/(-4) - 6/(-4). Let g = 2 + c. Does 5 divide g?
True
Let y = 23 - -1. Does 12 divide y?
True
Let i(r) = r**2 - 2*r - 5. Let k be i(4). Suppose -108 = -k*b - b. Does 12 divide b?
False
Suppose -2*q - 378 = -4*l, 2*q - 4*q + 10 = 0. Let m = -61 + l. Is 9 a factor of m?
True
Let g = 3 - 3. Suppose g*m - 78 = -3*m. Let f = 38 - m. Does 12 divide f?
True
Let m(z) = -z**2 + 11*z - 3. Let q be m(7). Is (30/q)/((-4)/(-50)) a multiple of 15?
True
Let l(a) = 4*a**2 + 4*a - 18. Let k(x) = -9*x**2 - 9*x + 36. Let p(z) = 3*k(z) + 7*l(z). Let g be p(0). Let y = 0 - g. Is 6 a factor of y?
True
Let a be (-338)/(-7) + (-10)/35. Suppose -3*y + a = -117. Suppose 2*w + 3*w - y = 0. Does 11 divide w?
True
Let q(t) = 5*t**2 - 7*t - 7. Is 12 a factor of q(5)?
False
Let t be (-2 - (-1 - 2)) + -5. Let i(u) = -2*u**3 - 6*u**2 - 3*u - 5. Is 14 a factor of i(t)?
False
Let s(m) = -8*m**3 - m**2 + 2*m + 3. Let a be s(-2). Suppose -w - a = -l + 2*w, 2*l = 5*w + 113. Does 22 divide l?
True
Suppose -3*r = -4 - 5. Suppose m + r*m = 108. Does 9 divide m?
True
Suppose -235 = -3*t + 59. Is 32 a factor of t?
False
Let r(x) = -25*x - 3. Is r(-3) a multiple of 15?
False
Suppose -126 = -4*p + 154. Suppose -2*o = -4*o + p. Is o a multiple of 29?
False
Suppose -f + 5*f = 84. Suppose -3*k + c + f = 6*c, 0 = -4*k - c + 11. Is k a multiple of 2?
True
Suppose 3*r = 3*j + 2*j + 412, 2*j - 440 = -3*r. Is 9 a factor of r?
True
Let k(w) be the third derivative of -w**6/120 - w**5/15 + w**4/24 + 2*w**3/3 - 3*w**2. Is 24 a factor of k(-5)?
True
Does 44 divide (18/(-21))/((-2)/616)?
True
Let a = 3 + 1. Suppose a*t - 41 = 23. Is t a multiple of 16?
True
Let q = 3 - 3. Suppose q = -2*f - 0*y - 5*y + 21, 2*f - y - 3 = 0. Is f a multiple of 3?
True
Suppose c = 2*c - u - 41, 2*c + 4*u = 112. Is c a multiple of 16?
False
Let d(l) = l**2 + 19*l - 27. Is d(-21) a multiple of 5?
True
Suppose -67 = -8*v - 19. Is 3 a factor of v?
True
Let j be (-2)/(-5) - 106/(-10). Let m(w) = -w**2 + 13*w - 10. Let s(r) = -2*r**2 + 25*r - 19. Let p(n) = 5*m(n) - 2*s(n). Is 16 a factor of p(j)?
True
Let m(v) = 2*v - 1. Let w(o) be the third derivative of o**4/24 - o**3/3 - o**2. Let s be w(4). Is 2 a factor of m(s)?
False
Suppose 20 = 4*s - 2*n, s = -n - 5 + 16. Suppose -2*u - 5*h = s, 4*u - 2*h - 32 = -10. Suppose 0 = -u*i + 77 - 25. Is 5 a factor of i?
False
Let p = -12 + 10. Is 11 a factor of (2 + p + -1)*-39?
False
Suppose 0 = -3*i + 2*j + 82 + 70, -3*i - 4*j = -128. Is i a multiple of 8?
True
Let b(z) = -7*z**3 + 10*z**2 + 8*z - 8. Let y(x) = -x**3 + x**2 + x - 1. Let m(d) = b(d) - 6*y(d). Let u be (0 - (-1 + 3)) + 6. Is 3 a factor of m(u)?
True
Is ((-98)/(-14) + 3/5)*10 a multiple of 5?
False
Let p(j) = -j + 7. Let h be p(5). Suppose -x = -2*f - 15, -h*x + 0 = -3*f - 25. Is x a multiple of 5?
True
Does 23 divide (-8)/(-2) - (752/(-8) + 6)?
True
Let l = -22 + 40. Suppose -c + l = 2*c. Let m(p) = -p**2 + 7*p + 2. Is 5 a factor of m(c)?
False
Let b be (-35)/(-15) - (-2)/3. Let u(x) = b*x + 6 - 2 + x. Is 13 a factor of u(4)?
False
Suppose 0 = -4*h - 4, 0 = r - 3*h - 10 - 5. Suppose q - r = -3*f - 4, -q + 4*f = -36. Let a = q - 6. Is 7 a factor of a?
True
Let o(d) = -4*d. Let r = 3 + -4. Let j be o(r). Suppose j*n - n = 72. Is 24 a factor of n?
True
Let y(z) = 2*z - 2. Let j(i) = i - 1. Let t(o) = 6*j(o) - 5*y(o). Let x be t(4). Is 5 a factor of 3/x + (-41)/(-4)?
True
Suppose -13 = 4*n - 5*y, 5*y = -0*n - 5*n - 5. Does 21 divide 86/(-4)*n - 1?
True
Let k(s) = -3*s - 3. Let l be k(-7). Let y = l - 30. Is 12 a factor of (-54)/4*32/y?
True
Suppose 7*f - 4*f - 360 = 0. Is 20 a factor of f?
True
Let a = -14 - -20. Is a a multiple of 2?
True
Let c(y) = y**2 - 3*y. Let l be c(-3). Let d = l + -9. Is d a multiple of 6?
False
Let z(u) = -u - 1. Let x(r) = 11*r + 5. Let k(b) = -x(b) - 6*z(b). Is 6 a factor of k(-1)?
True
Does 15 divide (1 - 161)*6*1/(-4)?
True
Suppose 3*h + 2*h = 10. Suppose -3*i - 5*k + 91 = -3*k, -4*k - 34 = -h*i. Is i a multiple of 16?
False
Let r = -58 - -35. Let l = r + 41. Does 18 divide l?
True
Let t be 4/16 - (-359)/4. Let a = t + -54. Is 1 - (1 - (0 + a)) a multiple of 18?
True
Let l(o) = -10*o - 4. Does 13 divide l(-3)?
True
Suppose t + 4 = 3*t. Suppose -5*g = -t*r + 26 + 19, 0 = -4*r + 4*g + 108. Does 15 divide r?
True
Suppose 11*l = 198 + 231. Is l a multiple of 39?
True
Let r = 128 - 88. Is r a multiple of 8?
True
Let f(s) = -15*s + 1. Is f(-3) a multiple of 9?
False
Let v(d) = -d. Let u be v(-2). Is ((-5)/(-2))/(u/4) a multiple of 4?
False
Let k(x) be the second derivative of 7*x**4/12 - x**3/6 - 4*x. Is k(1) a multiple of 5?
False
Is 58 + (0/(3 - 1) - 3) a multiple of 55?
True
Let j = 1 - 11. Let y(u) be the third derivative of u**5/60 + u**4/3 - 4*u**3/3 - u**2. Is y(j) a multiple of 7?
False
Let a be 0 - (-1)/2*6. Does 15 divide (-2)/a - (-137)/3?
True
Suppose 2*y - 38 = 2*f - 3*f, 4*y = 4*f - 92. Does 6 divide f?
False
Suppose 0*j - 5*j = -20. Let x(z) = 3 + 9*z - 2*z**2 + j*z**2 + 0*z**2. Does 13 divide x(-6)?
False
Suppose 0 = -4*d - 5*d + 99. Does 5 divide d?
False
Let d(o) = o**3 + 6*o**2 - 2*o + 19. Does 6 divide d(-5)?
True
Let o(c) = c**2 + 11*c - 14. Let u be o(-12). Is 2 a factor of (-11 + 1/1)/u?
False
Let n(o) = -o**3 + 2*o**2 + 3*o + 4. Is n(3) a multiple of 4?
True
Let j(p) = 73*p**3 - 2*p**2 + 2*p - 1. Is j(1) a multiple of 36?
True
Let t be ((-29)/3)/((-3)/18). Let m = t - 34. Does 13 divide (-2)/(-1*2/m)?
False
Let o be (6/2 - 2) + 4. Suppose 