 = 1 + h. Is o a multiple of 3?
True
Is (-343)/(-14)*(-24)/(-14) a multiple of 14?
True
Let u = 3 + -3. Suppose u*i = 3*i - 63. Is (-6)/i + (-592)/(-14) a multiple of 16?
False
Suppose -4*q + 3*n + 96 + 7 = 0, -53 = -2*q + 3*n. Is 13 a factor of q?
False
Let o(w) = -w**3 - 4*w**2 - 2*w + 5. Let g be 3 + (2/(-1))/2. Suppose -g*f + 4 = -3*f. Is o(f) a multiple of 13?
True
Let n(k) = k**3 - 12*k**2 + 10*k + 13. Let f be n(11). Suppose f*g = g + 32. Is g a multiple of 20?
False
Suppose 0*r = 4*r - 8. Is 2 a factor of r?
True
Suppose 771 = -2*j + 115. Does 20 divide j/(-14) - (-21)/(-49)?
False
Suppose 0 = -2*u - u + 5*d + 115, -5*u + 3*d + 165 = 0. Is u a multiple of 8?
False
Let y(g) = g**3 - 5*g**2 + 2*g + 4. Let h be y(7). Suppose 4*i + 2*z = 2*i + 72, h = 4*i - 3*z. Does 10 divide i?
False
Suppose -604 + 2132 = 4*q - 4*j, 2*q + 2*j - 776 = 0. Is 56 a factor of q?
False
Suppose 0 = d + 4*d + 25. Is 3 a factor of (0 - -1) + (-45)/d?
False
Let w = 44 + 24. Does 9 divide w?
False
Let j(p) = p + 7. Is 14 a factor of j(7)?
True
Suppose o = -k + 12 + 24, 0 = 4*k - 4*o - 176. Is 31 a factor of k?
False
Let z(y) = y**2 + 2*y - 4. Is z(5) a multiple of 7?
False
Suppose 4*l - 10 = 54. Suppose k - 16 = 5*z + l, -2*k + z = -19. Let o(w) = -w**3 + 8*w**2 - 6*w + 7. Is 14 a factor of o(k)?
True
Let p = 2 + 8. Does 5 divide p?
True
Let t = 28 + -12. Let b be 5*(-2 + (-14)/(-10)). Let d = t - b. Is d a multiple of 14?
False
Let d be 4/(-16) - 450/(-8). Suppose -2*b = -3*y - 4*b + d, 2*y - 52 = -5*b. Is y a multiple of 16?
True
Suppose 3*x = 3*a + 60, -4*x + 2*a + 80 = a. Suppose -2*n + 0*n = -x. Is 5 a factor of n?
True
Does 8 divide 6955/35 + (-9)/(-7) + -1?
False
Suppose c - 3*c - 48 = 0. Suppose 3*s = -0*s - 18. Let j = s - c. Is j a multiple of 16?
False
Let u(h) = -h**3 - h**2 - 3*h + 4. Is u(-5) a multiple of 11?
False
Let z = 247 - 223. Is 12 a factor of z?
True
Suppose -i - 1 + 0 = 0. Does 4 divide (-54)/(-6) + 0/i?
False
Let f(q) = 15*q - 2. Let l be f(5). Let y = l - 18. Let n = -32 + y. Is 9 a factor of n?
False
Let q(o) = o**2 + 5*o + 8. Is q(-5) a multiple of 5?
False
Suppose -2*k - 2*i = -80, k - 4*k - i = -124. Does 7 divide k?
True
Let o(n) = n**3 + 5*n**2 + 3*n + 1. Let w be o(-4). Suppose w*f + 4*c - 198 = 0, c + 50 = 3*f - 79. Does 14 divide f?
True
Suppose -y = -111 + 31. Does 16 divide y?
True
Let v(h) be the first derivative of 2*h - 2 + 3/2*h**2. Is v(4) a multiple of 7?
True
Let u(s) = 10*s**2 - s**3 - 4 - 7*s - 5*s + s. Let m be u(8). Suppose -2*b - 4*l = -m, -3*l = 5*b + 13 - 117. Is b a multiple of 11?
True
Suppose 4*m - 568 = -4*k, 4*m + 5*k - 428 = m. Is m a multiple of 35?
False
Let y(o) = 35*o**3 + 2*o**2 + o - 2. Does 18 divide y(1)?
True
Let m = 15 + 15. Is m a multiple of 10?
True
Let x = 528 + -363. Let i = x + -92. Is i a multiple of 21?
False
Let z = -174 + 261. Does 4 divide z?
False
Suppose 502 = 5*o - 98. Is o a multiple of 30?
True
Suppose 5*l - 136 = -0*l - m, -5*l = 2*m - 137. Is 25 a factor of l?
False
Let t = 328 - 183. Does 34 divide t?
False
Let p be 22/77 + (-68)/(-7). Suppose p*z - 11*z + 69 = 0. Is z a multiple of 23?
True
Suppose 93 = -0*x + 3*x - 3*p, -4*x = 4*p - 84. Is x a multiple of 7?
False
Suppose -11*p + 10*p + 83 = 0. Is p a multiple of 8?
False
Does 5 divide (99/15)/(2/10)?
False
Let d = 5 - 3. Let y be d + 2 + (-2 - -2). Suppose 96 = 3*v + 3*g, -3*g + g = -y. Is v a multiple of 15?
True
Suppose -h + 18 = -8. Let y = h + 19. Let q = y + -32. Is q a multiple of 13?
True
Suppose 3*d = 6 - 0. Suppose d*s - 10 = -5*a, -7 = 5*s - 2*a - 32. Does 5 divide s?
True
Suppose 5*x - 232 = x. Does 22 divide x?
False
Suppose 0 = -5*m - 17 - 8. Let i = 10 + m. Is 2 a factor of i?
False
Suppose t - 3*t + 12 = 0. Does 6 divide t?
True
Let f(w) = w**3 - 4*w**2 + 3*w + 4. Let x be f(3). Does 9 divide (-6)/x - 380/(-8)?
False
Let k be (-10)/4*8/(-10). Is 4 a factor of -16*k*(-2)/8?
True
Suppose -j + 19 = -3*n - 67, 1 = -n. Is j a multiple of 23?
False
Suppose -96 = -6*o + 8*o. Is 5 a factor of -1*3 + o/(-6)?
True
Let u(c) = -c**3 + 7*c**2 - 6*c + 1. Let b be u(6). Is 1*(1 - (b - 31)) a multiple of 10?
False
Let z = -66 - -112. Is 10 a factor of z?
False
Suppose 0 = -4*z + 4*s + 4, 2*s - 3*s - 1 = 0. Let b = 2 - z. Suppose -b*k + 93 = 3*r - 0*r, -2*k + 3*r = -75. Is k a multiple of 12?
False
Let a(i) = 3*i - 2*i - 2 - 3*i + 1 + 40*i**2. Is a(-1) a multiple of 15?
False
Suppose -3*j + 167 = -157. Does 47 divide j?
False
Let m = 201 + -182. Is 2 a factor of m?
False
Let k(d) = 5*d**3 - 7*d**2 + 5*d + 11. Let c(v) = -2*v**3 + 3*v**2 - 4 - v**2 + v - 3*v. Let q(w) = -8*c(w) - 3*k(w). Does 7 divide q(-3)?
True
Let r = 106 + -61. Is 6 a factor of r?
False
Is 2 + (-5)/((-15)/102) a multiple of 9?
True
Suppose -4*w - 3 + 2 = n, 3*w + n + 1 = 0. Suppose w = m + 5*a + 12, -a + 52 = 5*m - 4*a. Does 7 divide m?
False
Let m be -1 + 1 + 3 - 1. Let w(n) = n + 4. Let u(r) = 3*r + 8. Let k(b) = m*u(b) - 5*w(b). Does 2 divide k(8)?
True
Suppose m + 1 = 2. Is 4 a factor of (m - (-2)/4)*10?
False
Let m be 20/(-11) - (-10)/(-55). Is (m/(-6))/(6/666) a multiple of 15?
False
Suppose -5 = -2*u - 3. Does 12 divide 2/(u - (-17)/(-18))?
True
Let m(n) = -7*n + 3. Does 15 divide m(-6)?
True
Let b = -14 - -14. Is 10 a factor of b + -2 + 2 + 32?
False
Let l be (-1 + 1/2)*4. Let d = -2 - l. Suppose -v + 3*n + 2 = d, n = v - n - 4. Is v a multiple of 8?
True
Let o(x) = x**2 - 3*x - 5. Does 12 divide o(-3)?
False
Suppose -6*l = -4*l. Suppose 4*c = -l*c + 80. Is 10 a factor of c?
True
Let k(i) = i**3 - i + 64. Let d be k(0). Let s(n) = -2*n - 3. Let r be s(-3). Suppose -y - d = -r*y. Is y a multiple of 16?
True
Suppose -m - 4*z = 16 - 61, 2*z = -5*m + 135. Let w = m + -10. Does 12 divide w?
False
Suppose 4*h = 2*m + 316, 0 = 5*h + m - 166 - 229. Is 22 a factor of h?
False
Let v = -2 - 0. Let r = v - -14. Suppose -r = -2*i + i. Is 7 a factor of i?
False
Let j(h) be the second derivative of 11/2*h**2 - 1/6*h**3 - 2*h + 0. Does 2 divide j(8)?
False
Suppose -6*v + 195 = -147. Does 13 divide v?
False
Let k(n) = -n**3 + 9*n**2 + 3*n - 10. Is 6 a factor of k(9)?
False
Suppose -6*r = -5*r - 95. Let b = r - 58. Is b a multiple of 11?
False
Let o(z) = -z - 9. Let u be o(-9). Is 4 a factor of u + (-2 - 7*-1)?
False
Suppose 2*s + 3*s = 75. Is 5 a factor of s?
True
Suppose w - 1 = 1. Suppose -w*y - 35 = -7*y. Is 2 a factor of y?
False
Suppose -3*p = -0*p - 15. Is p a multiple of 5?
True
Let j = 5 - 1. Suppose -20 = -2*d + j*g, 5*g + 30 = 5*d - 0*g. Let v = 3 + d. Does 2 divide v?
False
Suppose -4*q + 0*q - 2*t + 300 = 0, 0 = 2*q + 3*t - 142. Is 39 a factor of q?
False
Suppose 6*x - 228 = 2*x. Suppose 4*m + w = 4*w + x, -3*m - 2*w = -47. Is m a multiple of 15?
True
Let z(r) = -77*r + 11. Is z(-3) a multiple of 11?
True
Suppose 2*r + 12 = 5*r. Suppose -r*d = -d - 78. Does 7 divide d?
False
Let y(d) = d**3 + d**2 + 2*d + 18. Is 9 a factor of y(0)?
True
Let q(o) = o**3 - o + 60. Let h(i) = i**3 - 6*i**2 - 6*i - 7. Let x be h(7). Is 15 a factor of q(x)?
True
Let p(c) = 19*c**2 + 6*c - 3. Is 25 a factor of p(-3)?
True
Let b(n) = -n**2 - 7*n + 11. Let g be b(-8). Suppose 50 = 5*a - 5*x, x + 18 = g*a + 4*x. Is 4 a factor of a?
True
Suppose 5 = c - 6*c. Let h be (c*(1 - 1))/(-1). Suppose -4*x = -h*x - 120. Is 18 a factor of x?
False
Let t be (-12)/(-15) - (-3)/15. Let p(z) = -7*z - z + t - 5*z. Does 20 divide p(-3)?
True
Is -14 - -357 - (5 - 1) a multiple of 41?
False
Let o = 40 - -42. Let t(m) = -m**3 - 10*m**2 + 13*m - 17. Let y be t(-12). Suppose o = 2*h - 2*c, 3*h - y = -6*c + c. Does 19 divide h?
False
Let q(s) be the third derivative of 3*s**4/8 + 2*s**3/3 + s**2. Does 17 divide q(6)?
False
Suppose -5*y + 313 = 2*p, -p = -y - 47 - 120. Is p a multiple of 21?
False
Let w be (-30)/(-18) - 4/6. Let l = w - 1. Let s = 4 + l. Is 4 a factor of s?
True
Let p(x) = -2*x - 3. Let u be p(-3). Suppose 0 = 5*h - 4*y - 181, u*y + 190 = 5*h + 8*y. Is 11 a factor of h?
False
Let t(p) = -p**2 + 13*p - 4. Let x be t(6). Suppose -3*j = -5*i + x, -3*i = 3*j - j - 19. Is 16 a factor of 110/i - (-10)/35?
True
Suppose z + 3*z = -72. Does 13 divide (z/(-21))/((-2)/(-56))?
False
Let x be 1/(2/(-16)) - -1. Let o be 2/(-1)*(-3)/6. Let b = o - x. Is 4 a factor of b?
True
Suppose 0 = -3*c + 78 +