 369. Is 19 a factor of r?
False
Let u(f) = f + 13. Is u(-6) a multiple of 2?
False
Suppose -5*y - 71 = -941. Is 11 a factor of y?
False
Let k = -2 - -9. Suppose 5*j = 4*a - 57, -3*j + 12 = -a - k*j. Is a a multiple of 2?
True
Does 18 divide (0 - 1/(-2))*(17 + 163)?
True
Let o(s) = 27*s**2 - 4*s - 3. Let k(n) = -55*n**2 + 9*n + 7. Let h(a) = 3*k(a) + 7*o(a). Let v be h(-1). Let f = v - 10. Is f a multiple of 15?
True
Let p = 63 + -37. Is 18 a factor of p?
False
Let r(t) = 7*t - 26. Let j(l) = -21*l + 78. Let m(a) = 6*j(a) + 17*r(a). Let v(h) = 10*h - 39. Let x(o) = -7*m(o) - 5*v(o). Is x(8) a multiple of 5?
True
Is 5/50*-2 + 106/5 even?
False
Let s = -90 - -135. Does 16 divide s?
False
Let a be 8/28 - 66/(-14). Is 1 - 5/(a/(-48)) a multiple of 28?
False
Let n be -2 + (173 - (-4 - -3)). Suppose -3*z = 4*d - n, 9*d = 4*d - 2*z + 208. Is 20 a factor of d?
True
Suppose 0 = -4*o - 2 + 10. Suppose 0 = b + 3*c + o - 1, 0 = -4*b + 2*c + 66. Does 14 divide b?
True
Let q(p) = 19*p**2 - 4*p + 4. Does 24 divide q(2)?
True
Suppose -3*n - 3 = 0, 3*y - 25 = 6*y - 5*n. Let m = -1 - y. Is m a multiple of 6?
False
Let b = 13 - -2. Does 5 divide b?
True
Does 6 divide (18 + 14/2)*(-4)/(-10)?
False
Suppose 2 - 17 = -3*p. Let s be (-6 - -2)/2 + 105. Suppose -74 = -4*z + 2*o, p*z = -3*o + 2*o + s. Is z a multiple of 10?
True
Suppose l + 0*l - 5 = 0. Suppose 0 = 5*i + 20, i - 14 + 198 = l*p. Is 9 a factor of p?
True
Let k(m) = m**3 - 3*m**2 + m + 2. Let x be k(3). Suppose 3*n - t - 111 = 0, -2*n - x*t + 63 = -2*t. Does 18 divide n?
True
Suppose 2*i + m + 2*m = 9, -4*m = -i + 21. Suppose -l - i = 8. Let u = 29 + l. Does 6 divide u?
True
Suppose 4*n = 0, 3*h + 4*n = 6 + 3. Suppose h = 2*u - 31. Is u a multiple of 17?
True
Let m be 20/(-6)*84/(-10). Let c(x) = x**2 + x - 4. Let v be c(-5). Let q = m - v. Is 6 a factor of q?
True
Is 16 a factor of -3*13*15/(-9)?
False
Suppose u = -2*x + 12, -30 = -4*x - 6*u + u. Suppose 5*o = 5*w + 105, -2*o = -x*o + 2*w + 64. Is 13 a factor of o?
False
Let m = -19 - 5. Let z = m + 52. Is 15 a factor of z?
False
Let o = -7 + 25. Does 18 divide o?
True
Suppose -4*s + 206 - 38 = 0. Let g = -44 - -47. Suppose -3*y + 12 + 34 = 2*f, -s = -3*y - g*f. Does 14 divide y?
False
Let t = -49 + 269. Does 25 divide t?
False
Let m = -1 + -5. Let k(w) = -6*w**2 - 7*w - 2. Let q be k(m). Does 17 divide (2/4)/((-4)/q)?
False
Suppose 3*d - 200 = 436. Does 53 divide d?
True
Does 7 divide (-7 - -6) + 22 + 0?
True
Let d = 48 - 88. Let z = 90 + d. Is 23 a factor of z?
False
Let i = 31 + 2. Let m = -12 + i. Is m a multiple of 10?
False
Suppose 15 = -4*d + 55. Is d a multiple of 3?
False
Suppose 3*p - c + 4 + 0 = 0, 0 = 5*c + 10. Does 15 divide (-67)/p - 6/4?
False
Let c = 3 - 6. Let s = c - -12. Suppose -2*l = -s - 11. Does 5 divide l?
True
Let x(p) = 6*p + 2. Does 5 divide x(3)?
True
Suppose -4*a - 27 = -5*v, -a - 21 = -3*v + 3*a. Suppose -w - 54 = -v*w. Does 16 divide w?
False
Let w(x) = -2*x - 6. Let j(u) = 6*u. Let g be j(-1). Does 4 divide w(g)?
False
Suppose -2*n = 5*m - 1462, -4*m + 3*m + 3*n = -306. Is 27 a factor of m?
False
Let i(l) be the first derivative of -l**2/2 + 7*l - 1. Is 15 a factor of i(-8)?
True
Suppose 4*k + 7 = 3*w, -3*w = -4*k - 5*w + 18. Let p be (-7 - 3)/((-4)/k). Suppose p*c = c + 164. Is 19 a factor of c?
False
Does 15 divide -6 + 3 + 3 + 77 + -2?
True
Suppose -2*t - 2 = -12. Suppose -t*v + 26 = 3*r, -v - 3*r - 14 = -6*v. Is v a multiple of 4?
True
Let s be (-27)/(-36) - (-1442)/8. Suppose 64 = -3*i + s. Is 13 a factor of i?
True
Suppose -z = 4*k + 3*z - 56, 70 = 4*k - 3*z. Is k a multiple of 14?
False
Suppose 4*f - 16 = -2*o + 3*o, 0 = 2*f - o - 8. Suppose -5*y + 57 = f*b, -4*y + 12 = -8*y. Is 17 a factor of b?
False
Suppose 2*a + 38 = -4*h, 1 = -a - 2. Let r(g) = -3*g + 2. Does 13 divide r(h)?
True
Suppose 2*b - 3*b - 5 = 0, -o - 11 = 3*b. Suppose 2*c - f = 6*c - 130, -5*c - o*f = -168. Does 16 divide c?
True
Suppose 3*y + g - 129 = y, -2*y + 127 = -g. Is 15 a factor of y/4 - (0 + -3)?
False
Let w be (1 + -2 + 3)*-2. Let s(b) = -2*b. Is 6 a factor of s(w)?
False
Does 4 divide 48/(-216) + 146/9?
True
Let d(h) = -14*h**3 + 4*h**2 + 4*h + 3. Is d(-2) a multiple of 21?
False
Let u = 45 - 12. Is u even?
False
Let j be 17 + 1/(-1)*-1. Suppose 4*t = 6*t - 2*p + 18, 5*p + 15 = -t. Let a = t + j. Does 3 divide a?
False
Suppose 0 = -6*u + 2*u + 4. Let w be u + 2/(-2 - -3). Suppose -d = -3, 4*d - 24 + w = -n. Is 8 a factor of n?
False
Let t(r) = 1 + r**2 + 0*r - r + 2*r. Let n = 4 - 7. Does 3 divide t(n)?
False
Let w be (24/15)/((-2)/(-5)). Let y = -6 + w. Let u = 4 - y. Is u a multiple of 3?
True
Suppose 6*q - w = 4*q - 4, w = -3*q + 4. Suppose 2*v - 87 + 37 = 0. Suppose v = k - q*k. Is k a multiple of 12?
False
Let g(i) = -i**2 - 12*i - 22. Does 3 divide g(-9)?
False
Let f(z) be the first derivative of -z**4/4 - 5*z**3/3 + z**2/2 + 7*z - 2. Let m be f(-5). Suppose 0 = x - 2*i - 31, m*x - 30 = x + 3*i. Does 11 divide x?
True
Suppose -5*r + 175 = 3*x, -2*x + x - 5*r + 45 = 0. Is 13 a factor of x?
True
Suppose 6*z = -3*z + 342. Does 30 divide z?
False
Let a be ((-2 - -4) + -1)*-23. Let f = -6 - a. Does 12 divide f?
False
Suppose v = 2*v - 4. Suppose 3*f + 13 = 2*p, 0*f = f + v*p - 19. Does 16 divide (-1 - (3 + 12))/f?
True
Suppose -o = -c + 50, -c = -4*o - 37 - 28. Does 9 divide c?
True
Suppose -r = 3*r - 240. Is 20 a factor of r?
True
Suppose 0*r - 2*r = -2*i - 16, -4*r + i + 23 = 0. Let u(c) be the first derivative of c**4/4 - c**3 - 5*c**2/2 + 2*c + 4. Does 27 divide u(r)?
True
Let f(v) = v**2 + 5*v - 2. Let y be f(-6). Suppose 0*j = 2*j + y*t - 60, 34 = j + t. Does 28 divide j?
False
Let n = 0 + -3. Let m = 21 + n. Is m a multiple of 11?
False
Let m = 11 - 6. Suppose m*x + s = -10, 4*x - 2*s = 3*x - 2. Let f(n) = -2*n**3 - 2*n**2 - 3*n - 2. Does 6 divide f(x)?
True
Suppose -2 = 2*r - 4. Let b be 2*((r - 1) + 1). Let m = b + 1. Does 2 divide m?
False
Suppose 0*u = u. Suppose u = 5*x + 3*a - 44, 0 = x - 0*a + 3*a - 16. Does 5 divide x?
False
Let b(k) = 3*k - 7. Let a(m) = -m**3 - 4*m**2 - 2*m - 3. Let d be a(-4). Let p be b(d). Let w = p - -2. Is 4 a factor of w?
False
Let y(m) = 4*m + m**2 - 8 - 3*m + 2*m + 5*m. Let h be y(-6). Let u = h - -39. Is 16 a factor of u?
False
Suppose 0*p + 4*p = -4*o + 208, 3*o + 12 = 0. Suppose p = -h + 5*h. Does 5 divide h?
False
Let z = -97 - -209. Let b = z - 67. Is 11 a factor of b?
False
Let w = -30 - -165. Suppose 0*t - 5*t + w = 0. Is t a multiple of 10?
False
Does 2 divide -3 + 15*35/15?
True
Let j = -134 - -239. Does 27 divide j?
False
Let n(q) = q + 14*q**2 + 1 + 29*q**2 - 5. Let b be n(-3). Does 16 divide (-1)/(-2) - b/(-8)?
True
Let o = 16 + -7. Is o a multiple of 9?
True
Let k(r) = -r - 3. Let d be k(-9). Let q be 21/(-9) + d/(-9). Let i(z) = -z + 1. Is 4 a factor of i(q)?
True
Suppose 0 = 2*b + 5*c - 369, -496 = -3*b + 6*c - 2*c. Suppose a + 4*l - 25 = -l, -4*l - b = -4*a. Does 19 divide a?
False
Let q be -2 + 2 + -3 + 4. Let j = 10 - q. Does 5 divide j?
False
Suppose n + 2 = 4*u, -n - n = -4*u. Let h(g) = 21*g**3 - g**2 + g. Does 17 divide h(u)?
False
Let j(y) = 9*y**3 + y - 11. Let x(t) = 4*t**3 - 5. Let p(w) = 3*j(w) - 7*x(w). Does 20 divide p(-3)?
True
Let f(c) = -15*c - 11. Let q be f(5). Let s = 146 + q. Does 14 divide s?
False
Let b = 18 - 2. Is 4 a factor of b?
True
Is -3*(-7 - -2) + -3 a multiple of 6?
True
Suppose 28 + 6 = 2*p. Suppose -p = 2*b + 5. Let k = 4 - b. Is k a multiple of 12?
False
Suppose 5*x - 3*p = p + 116, 0 = -2*x - 4*p + 24. Suppose 0 = 5*k - x - 10. Suppose -3*z - 36 = -k*z. Is 12 a factor of z?
True
Is (2/(-3))/2 - 57/(-9) a multiple of 6?
True
Let v(z) = 41*z**3 + 2*z**2 - z - 1. Let s be v(2). Is 11 a factor of (s/(-18))/((-1)/2)?
False
Let b = 265 - 150. Suppose -2*t + 7*t - b = 0. Suppose 5*v + 75 - 190 = -5*k, v = k + t. Is 12 a factor of v?
False
Is 13/2*(1 + 3) a multiple of 6?
False
Is 13 a factor of 1542/10 - (-7)/245*-7?
False
Let s(o) = -7*o**3 - 2*o**2 + o - 2. Suppose 5*v + 1 = -9. Does 10 divide s(v)?
False
Suppose 2*b - 2*l = 32, b + 3*l + 2*l + 2 = 0. Is 4 a factor of b?
False
Let f = 236 - 160. Does 17 divide f?
False
Is 4/12 - ((-2184)/9 - -3) a multiple of 30?
True
Let n = 21 + -15. Is 3 a factor of 34/n - (-4)/(-6)?
False
Let x be 3/(-6)*(0 + 