. Is v a multiple of 15?
True
Let i(h) = h**2 - h - 11. Let k be i(0). Let o = k - -16. Is 4 a factor of o?
False
Suppose 0*a - 4*a = -4*l - 24, 3*l + 12 = a. Does 8 divide 5*(-3)/(a/(-2))?
False
Suppose -d + 5*d = -48. Let p = d + 57. Is 19 a factor of p?
False
Let d = -14 - -44. Is 15 a factor of d?
True
Suppose 4*x - 10 = 62. Is 18 a factor of x?
True
Let w = 28 + -8. Does 2 divide w?
True
Let m be (-21)/(-6) - 1/2. Suppose -w + 2*s = 4, -4*w = m*s - 5*s + 4. Suppose w = 5*r - 373 + 103. Is r a multiple of 21?
False
Let t(a) = -a**3 - 4*a**2 - 3*a + 4. Let h be t(-3). Suppose 0 = 7*o - h*o - 192. Is o a multiple of 16?
True
Let f(g) = -g**3 - 2*g**2 - 2*g - 2. Let q be f(-2). Let m be q/(-2) - (-4)/1. Suppose m*c - 4 - 32 = 0. Is c a multiple of 6?
True
Let j be (-52)/(-6) - (-2)/(-3). Let c = 0 + 3. Suppose j = 2*o + 5*v - 47, c*o - 72 = 3*v. Does 9 divide o?
False
Suppose 2*h = 4*x + 94, 2*h - 76 = -2*x - 3*x. Is h a multiple of 4?
False
Suppose -2*u - u - 4*j + 537 = 0, -531 = -3*u - 2*j. Suppose 7*v - u = 2*v. Suppose -5*s + 43 = y - 10, -5*s = -5*y - v. Does 5 divide s?
True
Let p(x) = 6*x**3 - x**2. Let k be p(-1). Let b(t) = t**2 + 6*t + 2. Does 3 divide b(k)?
True
Let m = -78 - -120. Is m a multiple of 6?
True
Let l = 0 + -3. Let u(j) = 2*j**2 + j - 1. Is 14 a factor of u(l)?
True
Let p = -6 - -8. Suppose 12 = p*v + 2*v. Suppose v*k - 2*h = 79, k - h - 13 = -3*h. Does 15 divide k?
False
Let o(h) = 10*h + 4. Let l be o(3). Suppose 5*w + 14 - l = 0. Does 2 divide w?
True
Let b(u) = 4*u + 18. Is 17 a factor of b(7)?
False
Let a(z) = -z + 3*z**3 + 1 - z**2 + 3*z + 0*z**3 + 4*z**3. Is 19 a factor of a(2)?
True
Suppose -l - 5*n = -19, 3 - 21 = -l - 4*n. Suppose 5*s + l = -c, c + 1 - 22 = 2*s. Does 11 divide c?
True
Let n = -4 + 8. Suppose 4*h - 2*d - 168 = 0, 0 = -3*h + n*h - d - 42. Is h a multiple of 17?
False
Let m = -19 + 66. Is m a multiple of 16?
False
Let j = 5 - 29. Let k = j - -8. Let h = k - -30. Is 7 a factor of h?
True
Suppose -5*o - c + 155 = 0, -3*o + o + 2*c + 74 = 0. Suppose -f - 8 = -o. Does 22 divide f?
False
Suppose -f = f - 6. Suppose 0 = 5*l - 5, f*g - l - 1 = 10. Is 3 a factor of g?
False
Let g(u) = -19*u**3 + u**2 - u - 1. Let c = 29 - 21. Suppose -3*f + 4*h + 1 = -c*f, 0 = -2*f - 4*h + 2. Is 10 a factor of g(f)?
True
Let r(p) = -3*p - 3. Let t be r(-3). Let s(g) = 3*g - 8. Is s(t) a multiple of 10?
True
Let f = 3 + 0. Suppose 2*z + 1 = f*z. Let q(v) = 7*v + 1. Is 5 a factor of q(z)?
False
Let r(d) = d**2 - 3*d + 10. Let m be r(10). Suppose -52 = -5*x + o + 155, -2*x + m = o. Is 14 a factor of x?
False
Suppose -4*s + s - 174 = f, -s = 5*f + 884. Let k = -105 - f. Is 24 a factor of k?
True
Let k = 26 - -16. Does 42 divide k?
True
Let w(j) = j + 4. Let i(y) be the first derivative of -y**4/4 + 2*y**3 - 2*y**2 + 5*y + 3. Let s be i(5). Is 4 a factor of w(s)?
False
Suppose 2*w - 137 = -5*l, -l + 67 = -0*w + w. Is w a multiple of 13?
False
Let s(f) = 8*f**2 - 3*f - 8. Let d be s(-4). Let z = -90 + d. Does 14 divide z?
True
Suppose -2*j = -5*l + 914, -6*j + 2*j = -4*l + 724. Is l a multiple of 23?
True
Is (-2)/7 - 3790/(-35) a multiple of 16?
False
Suppose 0 = 2*g + 4*g - 108. Is 5 a factor of g?
False
Suppose 4*t + 0*t = 44. Suppose -2*h - 3 = -t. Does 4 divide h + 2 - (0 - 2)?
True
Suppose -5*u - 148 = -4*v, -5*v - 5*u + 99 + 41 = 0. Does 7 divide v?
False
Let i = 13 - 10. Suppose -o - i*o = -44. Is o a multiple of 3?
False
Let n be -1 - (2 - 57)*1. Let t be (2/2)/((-1)/n). Let c = -22 - t. Does 12 divide c?
False
Suppose -4*s = 2*q - 84, 4*q - 177 = -5*s - 0*s. Is 10 a factor of q?
False
Suppose -6*l + 6 = -3*l. Suppose -4*o = -y - y + 148, -l*y + o = -163. Suppose -3*x - y = -6*x. Does 10 divide x?
False
Let n = 53 - -11. Is n a multiple of 32?
True
Let c(w) = w. Let s be c(5). Suppose 0*p + p - s*a - 17 = 0, 5*p - 181 = a. Let i = p - 17. Does 13 divide i?
False
Let j(y) be the third derivative of y**4/4 + 2*y**3/3 - 3*y**2. Is 6 a factor of j(3)?
False
Suppose -d - 834 = -4*d. Does 30 divide d?
False
Suppose 5*j = -3*d + 57, 8 = 2*j - 2*d - 2. Let g(u) = j*u - 5 + 7*u**2 - u**3 - u**2 + 0. Is g(7) a multiple of 9?
True
Let b = -1 + 5. Let z be 1/(-1)*(1 - b). Suppose 0*x + 2*x - 22 = -2*v, 4*x - z*v = 23. Is 4 a factor of x?
True
Let o(q) = -28*q**3 + q. Let l be o(-2). Let a = l - 158. Is 19 a factor of a?
False
Let z = 452 + -313. Is z a multiple of 25?
False
Let a be -1 + 116/1 + -4. Suppose -3*p + 4*p - 33 = 2*t, 2*t + a = 3*p. Is 13 a factor of p?
True
Suppose 4*w + 74 - 194 = 0. Does 15 divide w?
True
Let u = -8 + 3. Let v be (u/2)/(5/(-10)). Let w(t) = 3*t + 5. Is w(v) a multiple of 10?
True
Let z(p) = -p**3 - 9*p**2 - 11*p - 4. Let r be -16*(2 - 9/6). Let l be z(r). Suppose -3*s = -4*w - l, -5*s + 3*w + 50 = 13. Is 3 a factor of s?
False
Let d(i) = 1 - 5 - 1 + 4*i. Does 9 divide d(6)?
False
Let k(a) = -a**2 - 6*a + 3. Let m be k(-6). Let b = 8 - m. Suppose 0 = 2*q - 5*v - 5 + 2, -5*q + b*v = -45. Does 5 divide q?
False
Suppose -31 = -4*r + 13. Let c = r - -3. Is 5 a factor of c?
False
Let n(s) be the third derivative of s**4/24 - s**3/3 - 2*s**2. Let y be n(-6). Is (7 + 53)*(-6)/y a multiple of 15?
True
Let b be (-2 + 82)*2/2. Suppose 5*i - 3*h - 61 = 79, -4*i = 4*h - b. Is 16 a factor of i?
False
Let f = 22 - 16. Let b(o) be the second derivative of 2*o**3/3 - 3*o**2 + 3*o. Does 18 divide b(f)?
True
Let l = -31 + 27. Let i(m) = -5*m + 5. Does 18 divide i(l)?
False
Suppose 2*m + 5*r = m + 112, m - r - 100 = 0. Does 17 divide m?
True
Let w = 28 + 84. Does 24 divide w?
False
Suppose -4*f + 231 + 672 = o, -2*f + 453 = o. Does 9 divide f?
True
Let v(t) = -t**3 + 6*t**2 - 4*t - 3. Suppose -2 + 0 = 2*y + 4*c, y + c - 2 = 0. Suppose y*f - 20 = 5. Is 2 a factor of v(f)?
True
Let r = -76 + 186. Is r a multiple of 31?
False
Suppose -6*j + 165 = -j - 2*a, 3*a = 2*j - 66. Suppose 5*t = j + 52. Is 10 a factor of t?
False
Let m = 6 + -4. Suppose -t + 5 = -m*t, 2*v = 2*t. Let b = 11 + v. Is 6 a factor of b?
True
Let y(t) be the third derivative of 1/30*t**5 + 0 + 4*t**2 + 1/24*t**4 + 0*t - 1/3*t**3. Is 4 a factor of y(2)?
True
Let f(n) = 3*n + 28. Let m(o) = -2*o - 19. Let q(y) = 5*f(y) + 7*m(y). Let u be q(-5). Suppose u*h + 50 = 6*h - 2*x, 4*h + 3*x - 25 = 0. Is 10 a factor of h?
True
Let q be ((-18)/(-24))/(2/16). Let k be 87/q - (-3)/(-6). Let f = k + -9. Is f a multiple of 3?
False
Let p be 1 + -2 + -1 + 4. Does 3 divide (20/8)/(1/p)?
False
Suppose 0 = -4*c - 0*c - 3*h - 1, 0 = 3*c + h + 2. Is 7 a factor of (-12)/(c - 3/(-12))?
False
Suppose 2*p = 2 + 22. Is 3 a factor of p?
True
Suppose 2*a = -2*a + 92. Is a a multiple of 23?
True
Suppose 0 = 3*z - 23 - 1. Is z a multiple of 8?
True
Suppose -4 = -4*a - 20. Let w be 2/a + (-6)/(-4). Does 12 divide w + (1 - -32)/3?
True
Suppose -2*b - 69 = -3*b. Suppose 3*c = 2*k + 3, -4*c = -7*c + 9. Suppose -2*x + 0*z + b = 3*z, 5*z = k*x - 113. Does 12 divide x?
True
Let u(r) = -r**3 + 16*r**2 - 12*r - 13. Does 16 divide u(15)?
True
Suppose -3*i - 160 = -8*i. Does 16 divide i?
True
Let t be (-1 - 0)*(0 + -10). Suppose 0 = -3*l - 0*y + 4*y + 5, -4*l + 2*y - t = 0. Let p(i) = -i + 3. Is 5 a factor of p(l)?
False
Let l = -15 - -57. Does 13 divide l?
False
Let p = 53 + -13. Suppose s = -2*n + 29 - 1, -s = 5*n - p. Is 10 a factor of s?
True
Suppose -4*p + 675 = -p. Is 11 a factor of ((-1)/(-3))/(3/p)?
False
Suppose 0 = -4*x - 0*x. Suppose -v = 3*z - 19, x = 2*v + 2*v - 5*z - 76. Is v a multiple of 7?
False
Let u(l) be the second derivative of -20*l**3/3 - 3*l. Is u(-1) a multiple of 20?
True
Suppose 2*n = -0*s + 3*s + 28, -3*s = 3*n - 12. Is (0 - -1)/(n/264) a multiple of 11?
True
Let h(g) = -g - 1. Let p(v) = -v**2 - v + 2. Let i(r) = -6*h(r) - p(r). Does 11 divide i(-9)?
True
Suppose 5*u = z - 3*z + 586, 2*z - 238 = -2*u. Is 29 a factor of u?
True
Let h(l) = l**3 + 2. Let y be h(0). Let p(v) = 3*v**3 + 2*v**2 - 2*v + 1. Is 13 a factor of p(y)?
False
Let d(s) = 2*s**2 + 2*s + 21. Does 13 divide d(-5)?
False
Let u be 5 - (-2)/3*-3. Suppose 8*j = u*j + 50. Is 5 a factor of j?
True
Suppose k - 5*r - 17 = -k, 0 = -5*k - 5*r - 10. Let g(v) = 3*v**3 + 2*v**2 - 2*v + 1. Is g(k) a multiple of 4?
True
Suppose -s + 3 = -3. Suppose -4*d - s = -30. Suppose 0 = -2*g + d, 5*w + 3*g - 90 = 2*w. D