
False
Let h(r) = -r**2 - 13*r + 7. Let f be h(-7). Suppose 5*m = f + 16. Does 13 divide m?
True
Let y(m) = m**3 + 2*m**2 - 2*m + 2. Let q(s) = -4*s**3 - 9*s**2 + 9*s - 9. Let c(g) = 4*q(g) + 18*y(g). Is c(2) a multiple of 5?
False
Let z = -26 - -14. Let l be z/(-4)*(-1 + 2). Suppose 8 = l*v + 2. Is v even?
True
Suppose 3*s - 2*s = 13. Is (s*-4)/(-5 - -3) a multiple of 13?
True
Suppose -4*v - 3*v = -119. Is v even?
False
Suppose 2 = -f + 4*y + 4, 0 = -f - 2*y + 2. Suppose 0 = 5*l - f*m + 4*m - 93, l - 1 = 4*m. Is l a multiple of 13?
False
Let b(c) = 2 + 0 + 3*c - 2*c**2 + 3*c**2. Let z be b(-2). Suppose y - 2*o - 4 = z, y - o = 2*o. Is y a multiple of 6?
True
Let k(o) = -o**2 + 5*o + 6. Suppose 2*x = -2*m + m + 11, 0 = 5*m + 3*x - 34. Is 3 a factor of k(m)?
True
Is 19 a factor of (-8)/(-4) - (-131 - 0)*1?
True
Let c(r) = r**3 - 6*r**2 + r - 3. Let s be c(6). Suppose 0*p + s*p + 53 = 2*b, -3*b + 47 = 2*p. Is 3 a factor of b?
False
Let b = -54 - -90. Does 12 divide b?
True
Let m = -8 + 48. Does 20 divide m?
True
Suppose -5*z - 26 + 86 = 0. Suppose -d - 3*t - z = 0, d - 8 = -3*t + 4*t. Suppose -l + 29 = -d. Is 14 a factor of l?
False
Is 22 a factor of (-4)/(2*3/(-66))?
True
Let o = -2388 + 188. Is 4 a factor of (-2)/11 + o/(-121)?
False
Suppose 0 = 4*h + 4*l - 64, 3*l = -6 + 3. Suppose 0 = -w + h + 8. Suppose -2*a + w = -a. Does 16 divide a?
False
Let h = -6 + 10. Suppose -j - u + 26 = 0, -h*j + 2*j + 52 = -2*u. Is 13 a factor of j?
True
Suppose 0 = -0*x - x + 115. Suppose -3*c + x = 2*c. Does 23 divide c?
True
Let b be (-6)/3 + 3 + -10. Let h = 3 - b. Is h a multiple of 12?
True
Does 6 divide 24/(-18)*(-189)/6?
True
Let r = -18 + 11. Suppose -z + 6*z - 85 = 0. Let k = z + r. Does 10 divide k?
True
Suppose 5*a = -5*u - 10, 5*u + 4*a + 9 = 1. Suppose 0*n - n + 22 = u. Is 11 a factor of n?
True
Let q be (-2 - -2) + 1 - 5. Is 23 a factor of ((-18)/q)/(2/16)?
False
Suppose -3*g = -4*x - 271, -g + 3*x = -111 + 19. Let y = g - 35. Is 18 a factor of y?
True
Suppose 7*p - 4 = 3*p. Let t = 1 - p. Suppose -3*a - 3*s + 56 = a, t = -2*a - s + 30. Does 17 divide a?
True
Suppose 5*q - 2 = 4*t + 132, -5*t - 100 = -4*q. Let a = q + -9. Does 9 divide a?
False
Let s(o) = o**3 - 9*o**2 + 7*o + 9. Let w be s(8). Let h = w + 2. Does 14 divide (-246)/(-9) - (-2)/h?
True
Suppose -6*s = -9*s + 321. Is 16 a factor of s?
False
Let m = 113 + -61. Is m a multiple of 3?
False
Let r = 136 + -3. Is 19 a factor of r?
True
Let b = 29 + -15. Is 7 a factor of b?
True
Let i = 14 - 9. Suppose 3*y + 22 = -5*f, -2*y - 26 = i*f + 2*y. Does 9 divide ((-2)/(-3))/(f/(-93))?
False
Suppose 0*i + 12 = 4*i. Is 68 + (i - 0) + -1 a multiple of 15?
False
Let c(g) = 3 + 2*g**2 + 0 - 14*g + 4*g. Is 12 a factor of c(7)?
False
Suppose -5*r = -0*a + 2*a - 231, -3*r = a - 117. Is 18 a factor of a?
True
Suppose 0 = -23*j + 678 + 2266. Is j a multiple of 15?
False
Suppose -z - 128 = -5*z. Is z a multiple of 14?
False
Suppose 2*y = 223 + 77. Suppose -4*n - n - 10 = 0, 3*i - y = 3*n. Is i a multiple of 24?
True
Let f(p) = -2*p**3 - p. Let c be f(-1). Let h = c - 3. Let a(n) = -n + 16. Does 10 divide a(h)?
False
Let i(d) be the third derivative of -d**6/120 - 11*d**5/60 - d**4/24 - 4*d**3/3 - 2*d**2. Let h be i(-11). Suppose h + 13 = b. Is b a multiple of 8?
True
Suppose 2*b = 2*q + 14, -q + 2*b = -6*q. Let s be 6/(-18) + q/(-6). Suppose s = -5*f + 64 + 26. Does 12 divide f?
False
Is 12 a factor of 86/7 - (-24)/(-84)?
True
Let b = 20 - -33. Let y = b - 33. Let t = -4 + y. Is t a multiple of 16?
True
Suppose 20 = 4*h + h. Suppose 2*j + 20 = h*j. Is 4 a factor of 46/j + (-2)/(-5)?
False
Suppose -3*b = -3*k - 78, 2*b = 5*k - 2*k + 50. Is b a multiple of 14?
True
Let w = 115 - 13. Is 35 a factor of w?
False
Let k(y) be the first derivative of 2*y**2 - 8*y + 1/3*y**3 - 1. Is 4 a factor of k(-6)?
True
Suppose -2160 = -9*m - m. Is m a multiple of 54?
True
Let l(m) = 2*m**2 + 7. Is 22 a factor of l(-5)?
False
Suppose 5*m + 4*v = 336, -3*v - v + 208 = 3*m. Is 16 a factor of m?
True
Let p(j) = j**3 + 6*j**2 - 2*j - 1. Let q be p(-5). Let u be 6*10*1/(-3). Let w = u + q. Is w a multiple of 7?
True
Suppose -5*z + 280 = 5*j, 0*z - 300 = -5*z + 5*j. Is 11 a factor of z?
False
Let s(y) = -4*y - 4. Suppose -4*t = 6*c - c - 12, -5*t + 2*c = 18. Is 4 a factor of s(t)?
True
Suppose 203 = 3*k - 232. Suppose 3*h + 290 = 5*h - m, 5*m - k = -h. Suppose y + h = 6*y. Is 11 a factor of y?
False
Let v(x) = -2*x**3 - 5*x**2 + 2. Is v(-4) a multiple of 14?
False
Let m be -2*4/16*-2. Let l = m - -34. Does 5 divide l?
True
Does 4 divide (9/2)/(12/64)?
True
Is (8 + (-105)/(-6))/(1/8) a multiple of 17?
True
Let p = 4 - 4. Let d(u) = 2*u + p*u + 2*u - 4 + 3. Is 4 a factor of d(2)?
False
Let g be (-2 - -2)/(5 + -3). Suppose 6*w - w = g. Is (w - -2)/((-6)/(-15)) a multiple of 2?
False
Suppose 2*z - 110 = -5*i + 3*i, 0 = 4*i - 3*z - 199. Does 26 divide i?
True
Suppose 5*z - 48 = -z. Suppose -4*s - 95 = -5*r - 36, -3*s - 2*r - 73 = 0. Does 10 divide (s/(-4))/(2/z)?
False
Let b be 6/(-9) - (-148)/6. Suppose 0*n + 2*n = b. Is n a multiple of 7?
False
Let i = -3 + 12. Is i a multiple of 3?
True
Suppose -2*q + 3 = -3*q. Let h(n) = -2*n + 6. Is 6 a factor of h(q)?
True
Suppose -8*k = -1279 - 2689. Is k a multiple of 31?
True
Let w = 2 - -1. Suppose 81 = 3*c - w. Is 19 a factor of c?
False
Suppose 0 = -16*g + 22*g - 258. Does 3 divide g?
False
Let o(c) = -30*c**3 - c**2 - c. Suppose -1 - 2 = 3*x. Let f be o(x). Suppose -3*q + 66 + f = 0. Is 15 a factor of q?
False
Let r(d) = 4*d**2 + 4*d + 2. Let c be r(-2). Suppose -b + 12 = -c. Does 22 divide b?
True
Let n(w) = -6*w**3 - w - 2. Is n(-2) a multiple of 12?
True
Is (-4)/(-30) - 13752/(-135) a multiple of 28?
False
Let f(s) = s**2 - s - 1. Let q(a) = 22*a**2 - 7*a - 4. Let l(b) = -5*f(b) + q(b). Is l(1) a multiple of 8?
True
Suppose 0 = -5*v - b + 1299, -5*b - 472 = 4*v - 1507. Is v a multiple of 7?
False
Let r be (10/15)/((-2)/(-9)). Suppose -2*x = -4*q + 22, q = -0*q - r. Is (x - -2)*(-16)/10 a multiple of 12?
True
Suppose 6*y = -5*d + 2*y + 11, 5*y = 3*d - 14. Suppose -2*g = d*g + 45. Let l = 2 - g. Does 8 divide l?
False
Suppose 2*w + 4*r = w - 20, 5*w = -4*r - 164. Let l be (w/15)/(3/(-80)). Suppose 3*j + l = 4*y, 4*y - 64 = -0*j - 2*j. Is 12 a factor of y?
False
Let w(p) = p + 10. Let u be w(-8). Does 6 divide (-7 - u)*(-10)/3?
True
Suppose -3*v + 27 = 6. Let x(y) = 11 + 0*y**2 + y**2 - 2 - 6*y - 12. Does 4 divide x(v)?
True
Let h(b) be the first derivative of -b**2 - 7*b - 3. Let v be h(-5). Is v/(-2) + 126/4 a multiple of 15?
True
Suppose -2*s - 42 + 342 = 0. Suppose -4*k + s = 30. Is 13 a factor of k?
False
Let y(w) = -w**3 - 8*w**2 - 4*w - 3. Is y(-8) a multiple of 16?
False
Suppose 4*r - 252 = 84. Does 14 divide r?
True
Suppose -13*d + 8*d + 1370 = 0. Is d a multiple of 24?
False
Suppose 0 = 2*n + 5 - 13. Suppose n*f = 3*f + 15. Suppose k - f = -2*k. Is k even?
False
Let t(w) = w**2 + 6*w + 4. Suppose -2*i = -5*i - 24. Is t(i) a multiple of 12?
False
Is 20 a factor of 99*(3 - (1 - -3))/(-3)?
False
Let x(s) = s**3 + 11*s**2 - 7*s + 2. Let v be x(-11). Let u = v - 26. Is u a multiple of 18?
False
Let o = 1 - 3. Does 2 divide (-10)/(0/1 + o)?
False
Suppose 2*d + 2*z = -0*z - 26, -d - 22 = 4*z. Let f(x) = x**2 + 7*x - 6. Is f(d) a multiple of 11?
False
Let q(i) be the first derivative of -i**4/4 - 8*i**3/3 - 9*i**2/2 + 4*i - 2. Is 14 a factor of q(-7)?
False
Suppose 5*w = -4*m + 331, -m = w + 8 - 92. Is 17 a factor of m?
False
Suppose -96 = -p + 5*t - 2*t, -2*p + 4*t = -192. Is p a multiple of 34?
False
Let r(w) = 6*w**3 - 2*w**2 + 4*w - 3. Let z be r(-4). Let m be 2/(-8) + z/(-12). Suppose 5*t - 2*a = 157, -4*t - a - m + 159 = 0. Is 11 a factor of t?
False
Let k(i) = -i**3 - 1. Let c(g) = 6*g**3 - 7*g**2 + 5*g + 5. Suppose 3*z + z + 6 = 2*d, 4*z = -3*d - 1. Let q(w) = z*c(w) - 5*k(w). Is q(6) a multiple of 6?
True
Let w(t) = 0*t**2 - t**2 - 3*t + 4*t**2 + 0 + 4. Is w(3) a multiple of 12?
False
Let y = 27 + -38. Let i = 44 + y. Let k = i + -23. Does 10 divide k?
True
Let y = 39 - 28. Is 4 a factor of y?
False
Let i be 0 - 2*-2*1. Let h = i - 2. Suppose 3*v - 32 = -5*y, -y - 18 = -h*v + 12. Is 9 a factor of v?
False
Let c(y) = -y**2 - 4*y - 3. Let w(g) = g**2 + 6*g + 2. Let b be w(-5). Let 