False
Suppose -i - 28 = -109. Is 10 a factor of i?
False
Let o(b) be the first derivative of b**3/3 - 11*b**2/2 - 2*b + 1. Does 20 divide o(14)?
True
Let q = -20 - -63. Let k be (q*-1)/1 + -2. Is 8/(-3)*k/12 a multiple of 10?
True
Suppose -31 = -4*v + b, -2*v = -v - 3*b - 16. Does 2 divide v?
False
Let f(n) = 75*n + 7. Let t be f(7). Suppose -3*x + t = -26. Suppose 2*q + 3*q - 3*s = x, -3*s + 30 = q. Is q a multiple of 11?
False
Let w be 2*(-1 + (-30)/(-4)). Let p(o) = o**3 - 14*o**2 + 17*o + 11. Does 25 divide p(w)?
False
Let b(o) = 5*o**2 + 13*o - 6. Is b(6) a multiple of 9?
True
Let c = -10 - -48. Does 3 divide c?
False
Let c be ((-12)/(-15))/(3/15). Suppose c*s - 2*m = 24, -2*s + 4*m + m + 28 = 0. Does 2 divide s?
True
Let a(q) = q**2 - 8*q + 4. Let u be a(6). Let m(c) = -c**2 - 7*c + 5. Let d be m(u). Is 20 a factor of 123*(-1 + (-4)/d)?
False
Let x be 4 - (2 - 0) - -7. Suppose 2*y + x = 5*y. Suppose -5*o + y*z = -29, -2*o - 5*z + 45 = 3*o. Is o a multiple of 7?
True
Let s = -18 + 138. Suppose -f + s = 4*f. Is 22 a factor of f?
False
Suppose 0 = -12*a + 16*a - 756. Is 11 a factor of a?
False
Let t(r) = -r**2 + 11*r + 12. Is t(10) a multiple of 22?
True
Let b(p) = p**2 - 3*p + 6. Suppose h - 4*n = 6, 5*h + 9 + 33 = -4*n. Let u(q) = -q**3 - 7*q**2 - 6*q + 6. Let y be u(h). Does 8 divide b(y)?
True
Let n(c) = -4*c**2 + c + 1. Let u be n(-2). Let v(s) = 7*s**2 + 4*s - 3. Let a be v(2). Let q = a + u. Does 9 divide q?
False
Suppose -94 + 24 = 3*k + 5*w, 2*w + 85 = -5*k. Let o be (0 + -2)/((-1)/k). Let s = -17 - o. Is 13 a factor of s?
True
Suppose -k - 5*d = 3*k - 76, -2*d + 16 = k. Does 8 divide k?
True
Suppose -3*w = -3*t + w + 11, -5*w + 20 = 0. Suppose 2*r + t = -1. Let k = 17 + r. Is 6 a factor of k?
True
Suppose -2*k - 42 = -8*k. Is 3 a factor of k?
False
Let a(z) = 7*z**2 + 2*z + 1. Let k be a(-1). Let q(y) = y**2 - 8*y + 14. Let c be q(6). Suppose c*w + 2*j = 18, k*j - 2*j = 5*w - 36. Is w a multiple of 3?
False
Let p = -112 + 184. Does 17 divide p?
False
Let m = -30 - 11. Let w = m + 69. Does 13 divide w?
False
Suppose 0 = -5*i - 5*y + 10, 0 = -y - 1. Suppose 3*j + 15 = -i. Does 5 divide (j/(-9))/(1/15)?
True
Let m(a) = 2*a**2 - a - 2. Does 7 divide m(-5)?
False
Suppose 40 = -5*o + 15. Let f(a) = -19*a**2 + 5. Let b(l) = -189*l**2 + 49. Let d(x) = o*b(x) + 49*f(x). Is d(-1) a multiple of 6?
False
Let q be 0 - 1 - (-32)/2. Suppose 3*v - 12 + 2 = 4*z, 0 = -v - z + q. Is 5 a factor of v?
True
Suppose 0 = -3*x + 6, -x + 3 = -4*r + 13. Suppose y = 5*y, r*h - 3*y - 9 = 0. Suppose -h*p + 2*p = -2*s - 20, s + 80 = 3*p. Is 13 a factor of p?
False
Let y = -10 - -11. Let r(o) = 10*o**3 + o**2 + o - 1. Does 8 divide r(y)?
False
Let i be (-1)/((-2)/66*-3). Let y = i - -15. Suppose -12 = -2*b + 2*z, -2*z + y - 2 = 0. Is 4 a factor of b?
False
Suppose 3*v - 5*v = 3*c - 63, 0 = 4*v - c - 161. Is 39 a factor of v?
True
Let q be 1/5 - (-14)/5. Suppose q*r = 31 + 137. Let j = 84 - r. Is j a multiple of 12?
False
Let n(d) = -d**3 + d**2 - d. Let t(m) = 8*m**3 - 7*m**2 + 4*m - 2. Let q = 1 - 2. Let h(g) = q*t(g) - 5*n(g). Is h(-2) a multiple of 13?
False
Let y(n) = 6*n**2 - 6*n + 3. Is 23 a factor of y(5)?
False
Let y = 2855 - 1354. Does 4 divide y/76 + (-2)/(-8)?
True
Is 11 a factor of (-192)/(-2) - 9/(-3)?
True
Let b(v) = -13 + 8*v + 0*v**2 - v**2 + 8. Let r(n) = n**2 + 2. Let z be r(2). Does 2 divide b(z)?
False
Let z(a) = a**3 - 7*a**2 + 8*a + 1. Suppose -2*m + 0*m = 10. Let c = m - -11. Is z(c) a multiple of 13?
True
Let a(q) = 8*q - 9. Let o be a(8). Suppose -4*u + 12 = 0, -5*v - o = -5*u - 380. Does 24 divide v?
False
Let g be (0/(-4))/(-4) - 0. Suppose -2*x + 12 = -g*x. Does 4 divide x?
False
Let n = 1 + -1. Let a be (-3)/(-7) + 128/28 + -5. Suppose n = 2*y - a*y - 78. Does 13 divide y?
True
Suppose 48 = -6*g + 12. Suppose -7 + 177 = 5*j. Let b = g + j. Does 14 divide b?
True
Let d(c) = c**2 - 7*c + 2. Let r be d(7). Suppose -k + 3*v = -16, r*k + 0 = -5*v - 1. Is k a multiple of 7?
True
Suppose -5*j = 0, 3*q - 2*j - 2*j = 138. Suppose 0 = -4*k - 2*n + 4*n + q, 0 = -5*k - 2*n + 62. Does 12 divide k?
True
Suppose 16 = 2*u - 8. Does 12 divide u?
True
Suppose 6*u - 1092 = 474. Is u a multiple of 17?
False
Suppose x - 3 = 2. Suppose x*k - 71 = 29. Is k a multiple of 10?
True
Let b be 2 - (23 - (-1 - -2)). Let r = -10 - b. Let h = r + 6. Is 8 a factor of h?
True
Suppose -194 = -2*p - 0*a - a, -2*p + 4*a = -214. Is 14 a factor of p?
False
Suppose -3*t + 0*t = -54. Suppose 5*l - t = 122. Let u = l + 4. Is u a multiple of 16?
True
Let q = -108 - -164. Does 8 divide q?
True
Let u be ((-4)/2 + -5)*-1. Suppose 5*v - u - 6 = -n, 0 = 2*v - 4*n - 14. Is v a multiple of 2?
False
Let u(b) = 10*b + 10. Is u(5) a multiple of 15?
True
Suppose -4*f = -11 + 27, -2*f = 2*j - 4. Suppose -138 = -4*y + j. Is y a multiple of 18?
True
Suppose 0 = 4*y + 8, -5*f - y - 42 = -0*f. Let x(t) = -2*t - 6. Is x(f) a multiple of 10?
True
Let f(h) = -h**3 + 3*h**2 + 5*h. Let u be f(4). Let b = u + 28. Is 16 a factor of b?
True
Let i = -18 + 24. Does 6 divide i?
True
Let u(q) = 4*q**2 - 4*q - 6. Is 9 a factor of u(-2)?
True
Suppose -3*d - q - 3 - 4 = 0, 3*d - 3 = -3*q. Let r(x) = 3*x**2 + 5*x + 4. Is 8 a factor of r(d)?
True
Suppose -4*d + 4*a + 804 = 0, 0 = d - 6*a + a - 205. Is d a multiple of 25?
True
Suppose -4*k - 18 = -3*f - 2, -20 = 4*k - 2*f. Let h = -185 + 124. Let n = k - h. Does 15 divide n?
False
Let t be 1 + -2 + (-1 - -7). Let x(r) = -r**2 - 2*r - 1. Let u be x(t). Does 9 divide (-640)/u - (-2)/9?
True
Suppose 5*m = 8*m - 909. Is 17 a factor of m?
False
Suppose g - 5*g + 44 = 0. Let c(n) = -n**2 + 7*n + 13. Let w be c(9). Let p = g + w. Is 6 a factor of p?
True
Suppose 706 = 3*m + 2*j, -4*j + 698 = -6*m + 9*m. Is 17 a factor of m?
True
Let w(l) = -14*l**2 - l + 2. Let y be w(-2). Let x(j) = -5*j - 2. Let p be x(4). Let h = p - y. Is 13 a factor of h?
False
Suppose -6*t + 16 = -2*t. Suppose t*z = -2 + 10. Suppose b - z - 17 = 0. Is b a multiple of 7?
False
Suppose 0*p + 192 = 4*p. Suppose 8 = s + 39. Let q = p + s. Is 17 a factor of q?
True
Let i = 1 + 1. Let a be (2/(-6))/(i/(-18)). Suppose 12 = j + a*j. Is j a multiple of 2?
False
Let f(u) = u**2 - 5*u + 6. Let m be 42/10 + 1/(-5). Let l be f(m). Suppose -20 = l*j - 74. Is 14 a factor of j?
False
Let x be 208 + 1 - (3 + -4). Suppose 3*v - v - x = 0. Suppose g = -3*o + 8*o + 15, -2*g - 5*o + v = 0. Is 15 a factor of g?
False
Suppose 3*q - 3*x - 1077 = 0, 2*q - 491 = 5*x + 215. Does 33 divide q?
True
Suppose -5*v + 515 = 5*f, 4*v = -3*f - v + 313. Suppose 1 = 2*l - f. Does 29 divide l?
False
Is 0 - (2 - 5) - -2 even?
False
Is (-848)/(-72) + (-4)/(-18) a multiple of 6?
True
Let c(h) = 0 - 3*h - h + 8 - h**2 - 4*h. Let n be c(-10). Does 13 divide n/4 - (-29 - 0)?
True
Let k(t) = -t**3 - 5*t**2 + 3. Suppose 0 = -3*p + 7*p + 20. Let s be k(p). Suppose -f + 64 = s*f. Is f a multiple of 8?
True
Suppose 0 = 5*p - 13 - 27. Suppose v - p = 2*v. Let o(s) = s**3 + 7*s**2 - 8*s + 10. Is 3 a factor of o(v)?
False
Suppose -4*l + 0*l + 3 = x, -3*x + 3*l = 36. Suppose 0 = -3*t - 12, 2*d + 3 = -4*t - 5. Does 6 divide (-114)/x + d/(-6)?
True
Let v(t) = -3*t + t + 4*t + t**2 + 8. Let q be v(-6). Let m = -8 + q. Does 12 divide m?
True
Let c = 3 - 2. Let k = c - -7. Suppose z = -5*t + 1, -z + 6*t = 4*t - k. Is z a multiple of 6?
True
Suppose 2*o - 237 - 249 = 0. Does 27 divide o?
True
Let w = -55 + 79. Is w a multiple of 6?
True
Let n(z) = -z**3 - 2*z**2 + 2. Suppose -w = 3*w. Let b = -2 + w. Is 2 a factor of n(b)?
True
Let x = 217 - 184. Does 11 divide x?
True
Let w = -48 - -224. Is w a multiple of 42?
False
Suppose 5*k + 0*k - 150 = 0. Is 30 a factor of k?
True
Let p(d) = d**3 + 14*d**2 + 10*d + 4. Let m be p(-12). Suppose 5*x - z = 227, 0*x - 4*x = -4*z - m. Does 11 divide x?
False
Let p(c) = c**2 - 8*c - 7. Let t(q) = -6*q**2 + 40*q + 35. Let l = -5 - -7. Let j(k) = l*t(k) + 11*p(k). Is j(-6) a multiple of 4?
False
Let k(p) = -2*p - 6. Let g = -8 - -4. Let v be k(g). Suppose 0 = -v*h - 2, l - 2*l + h = -12. Does 9 divide l?
False
Suppose 50 = 3*m + 3*u - 112, -m - 2*u + 57 = 0. Is 8 a factor of m?
False
Suppose -2*p + 20 + 256 = 0. Is 23 a factor of p?
True
Let j be (-1)/(-2)*-2 + -137. Is 7 a factor of (j/9)/((-4)/6)?
False
Let x(y) =