tiple of 8?
False
Let r(y) = 2*y**2 + y - 13. Does 13 divide r(6)?
True
Suppose -2*f = 2, 0*p + 2*p - 2*f - 178 = 0. Is p a multiple of 11?
True
Let y = -13 + -34. Let u = 90 + y. Does 11 divide u?
False
Let t(j) be the first derivative of j**5/15 - j**4/8 + j**3/2 - 2*j**2 + 3. Let o(l) be the second derivative of t(l). Does 10 divide o(3)?
True
Let v = 20 - 11. Does 9 divide v?
True
Let b(r) = r + 1 + r - 5. Let u = 22 - 15. Does 4 divide b(u)?
False
Let y be -3 + (58 - (-6)/(-2)). Suppose 4*k + y = -0*k. Let n = -4 - k. Is 7 a factor of n?
False
Does 14 divide (-2 + 67)*-1*-1?
False
Suppose 4*n - 8*n - 39 = -5*i, 0 = 4*i + 3*n - 56. Is i even?
False
Suppose n - 55 = -5*x, -5*x - 2*n = -3*n - 65. Does 8 divide x?
False
Let j be (2 - (-2)/(-3))*27. Suppose -2 + j = r. Suppose -l = l - r. Is l a multiple of 17?
True
Let s = 13 - 10. Suppose -5*z = -h + 12, -3*h + 112 = s*z + z. Does 16 divide h?
True
Suppose 2*z - 155 = -a, 0 = 3*a + z - 306 - 159. Let l = a + -101. Is 11 a factor of l?
False
Suppose -4*i - 4 = -0. Let z be i/(-4) - 82/8. Is 2/z + 224/20 a multiple of 4?
False
Suppose 8*z - 3*z - 35 = 0. Suppose 2*n = -x + z*n + 20, n - 4 = 0. Suppose 5*k - 2*v = 32, -4*k - 4*v = -2*v - x. Does 5 divide k?
False
Suppose 0 = 2*h - 7*h - 40. Let c(w) = 4*w**2 + 8*w + 1 + 11 - 3*w**2 + 0*w**2. Is c(h) a multiple of 6?
True
Let z(k) be the first derivative of -k**3/3 + 7*k**2 - 2*k - 2. Is z(13) a multiple of 5?
False
Let h(o) = -5*o**2 - 5*o. Let y(m) = -m**2 - 1. Let t = 11 + -8. Let z(l) = t*y(l) - h(l). Is 4 a factor of z(-4)?
False
Let r(n) = -n**3 - 24*n**2 - 26*n - 9. Is r(-23) a multiple of 10?
True
Let i be (-1)/(3/(-15)*1). Suppose 126 - 36 = i*o. Is 18 a factor of o?
True
Suppose 2*r - 6*r + 56 = 0. Let y(k) = k**2 - 3*k + 2. Let g be y(4). Does 17 divide (105/r)/(1/g)?
False
Suppose 0 = 3*t - 31 - 23. Suppose 0*h - 42 = -4*k - 2*h, 2*k = -2*h + t. Is k a multiple of 9?
False
Suppose 2 = 2*x - 3*x. Let r = 0 - x. Suppose 69 = r*o + 9. Is 12 a factor of o?
False
Suppose 2*k = -3*k - 5*a + 440, 3*k = 4*a + 229. Is 35 a factor of k?
False
Suppose -4*m = -8*m + 20. Is 2 a factor of m?
False
Let a(k) = k**3 - 9*k**2 + 10*k - 12. Let u(p) = p**3 - 9*p**2 + 10*p - 13. Let m(x) = -5*a(x) + 4*u(x). Is m(7) a multiple of 12?
True
Let n = 23 - 16. Suppose -n + 2 = -a. Suppose 0*c = 5*c - 3*t - 62, 34 = 3*c - a*t. Is 8 a factor of c?
False
Is 14 a factor of ((-82)/(-3))/(12/18)?
False
Suppose i - 16 - 23 = 0. Is i a multiple of 20?
False
Suppose -4*h = -2*m - 6 - 26, 5*h = -2*m + 49. Suppose h*x - 4*x + 1 = 2*d, -2*d = 5*x - 11. Suppose 3*j - 2*j = d. Does 3 divide j?
True
Let w = 13 + -9. Suppose -8*g = -4*g - w*d - 36, 2*g - 4*d = 12. Is g a multiple of 12?
True
Let m = 2 - -1. Let g be 2 + -3 + m*-1. Let l = 4 - g. Is l a multiple of 8?
True
Is 6 a factor of 1/((-12)/(-206)) - 13/78?
False
Suppose 7*n - 62 = 5*n. Suppose -5*o + n = w, -3*o + 0*o + 12 = 0. Is 4 a factor of w?
False
Suppose -2*a + 4*r = 6, 0 = -2*a - 2*a - r - 12. Let f(i) = 3*i**2 + 4*i + 3. Is 9 a factor of f(a)?
True
Let d(y) = -9*y + 20. Does 22 divide d(-10)?
True
Is 23 - 0 - (7 + -4) a multiple of 11?
False
Is 5 a factor of 4/((-16)/(-12)) + 40?
False
Let y = 15 - 11. Suppose 0*w - y*w + 64 = 0. Is w a multiple of 16?
True
Let p(c) = c**3 + 5*c**2 - 2*c - 7. Let k be p(-5). Suppose k = -m + 4*m. Does 13 divide 26/m - (5 - 5)?
True
Suppose -o - 3*b + 141 = 0, -4*b - 352 = -3*o + 123. Is 51 a factor of o?
True
Let v(o) = o**2 + 2*o. Let y be v(-2). Suppose -3*a = -j - 268, a + y*a = 3*j + 100. Let x = -63 + a. Does 14 divide x?
False
Let d be (-7)/(-28) - (-34)/(-8). Let b(y) = y + 4. Let u be b(d). Suppose -f - f + 94 = u. Does 16 divide f?
False
Let m = 59 - 35. Is m/(-16)*(-28)/3 a multiple of 5?
False
Suppose 0 = -m - 5*u + 20, -u - 40 = -0*m - 2*m. Suppose 2*d = 3*o + 25, 2 + m = -4*o - 3*d. Let v = o + 19. Is v a multiple of 12?
True
Suppose 0 = 2*g - 0*g - 52. Suppose -5*v + 41 = 5*q - 3*v, -5*v + 1 = -2*q. Suppose -3*x = -q - g. Is 5 a factor of x?
False
Let f(q) = q**3 - 5*q**2 - 5*q - 6. Let j be f(6). Suppose j = -x - 4*x - 5. Is 13 a factor of (-26)/(x + (1 - 1))?
True
Suppose -12 = -3*o - 39. Let r be ((-123)/o)/((-2)/6). Let p = -9 - r. Does 16 divide p?
True
Let j = 5 - 4. Let k = 4 + j. Is k even?
False
Suppose 3*s + 1 = 2*c, -5*c - 2*s - 4 - 3 = 0. Let y = c + 16. Does 15 divide y?
True
Suppose -3*i + 6 = 2*t, 5*t + i = -2*i + 15. Let y(u) = 23*u - 4. Is 21 a factor of y(t)?
False
Let h(r) = 117 - 6*r - 117. Is h(-1) a multiple of 2?
True
Suppose -3*l + 43 = 7. Does 3 divide l?
True
Let r(u) = 22*u - 1. Let n be r(1). Is 20 a factor of (-6)/n - 562/(-7)?
True
Let l(u) = 2*u + 7. Let s be l(-5). Is -1 - (18/s - 2) a multiple of 5?
False
Suppose -4*u - 12 = -2*b, u + 17 = -2*b - b. Let k(i) = -2*i**3 - 7*i**2 - 4*i - 7. Let z be k(u). Is z/6 + 2/6 a multiple of 15?
True
Let i = -16 + 29. Does 9 divide i?
False
Let n = -3 - -5. Does 18 divide (-3)/(-3) + 37 - n?
True
Let q(o) = -o**3 + 7*o**2 - o + 10. Let y be q(7). Suppose y*b = 4*b. Let z = 19 + b. Is z a multiple of 12?
False
Let p = -7 - -12. Suppose -5*z + 300 = 2*o + 96, -p*o = 4*z - 170. Does 20 divide z?
True
Let h(s) = -25*s. Let o be h(-2). Let z = o + -36. Does 7 divide z?
True
Suppose 3*r + z = 40 + 2, 5*r = -2*z + 69. Suppose -u = 1 - r. Does 14 divide u?
True
Suppose 0*s + 5*s = 0. Is -1 - (-3 + s + -15) a multiple of 11?
False
Suppose -23 - 184 = -y. Does 23 divide y?
True
Suppose -j = 4 - 1. Let i(a) = -a**3 - 2*a**2 + 4*a + 2. Let h be i(j). Is 1*(h + 53 - 2) a multiple of 18?
False
Suppose -2*s + 5*o + 5 = 2*s, 0 = -2*o - 2. Suppose -i + 5*i - 104 = s. Let h = i + -18. Does 4 divide h?
True
Let i(g) = -g**3 + 9*g**2 + 4*g - 9. Is 10 a factor of i(9)?
False
Let m = 45 - 43. Is m even?
True
Suppose 1 = 2*r - 7. Suppose 18 = o + 3*t, 0 = r*t - 1 - 3. Is 14 a factor of o?
False
Let s be 8/(-3)*(-2 - 1). Let b(c) be the third derivative of c**6/120 - 7*c**5/60 - c**4/4 - c**3 - 2*c**2. Is 10 a factor of b(s)?
True
Let b = 32 + -20. Let d be -4*1/1 - 2*1. Let j = d + b. Does 3 divide j?
True
Let t(c) = -8*c + 0*c**3 + 0 + c**3 + 5*c**2 - 9 + 0. Let y be t(-6). Suppose 0*l - y*b + 63 = 2*l, -3*l - 2*b + 92 = 0. Is 15 a factor of l?
True
Let s be (-5)/5 - 1*-7. Suppose 0 = 4*m - 6 - s. Suppose -114 = -6*u + m*u. Is u a multiple of 19?
True
Suppose 3*u + 260 = 2*c, -c - 5*u = -56 - 48. Is c a multiple of 22?
False
Is (244/8)/(2/4) a multiple of 16?
False
Let t be ((-27)/6)/((-2)/52). Let s = t - 39. Suppose -2*l - s = -5*l. Does 9 divide l?
False
Let h(s) = -s**2 - 3*s + 2. Let p be h(-3). Let b(q) = -10*q + q**2 + 2 - 2*q**2 - q**3 - 3*q**p - 5*q**2. Does 6 divide b(-8)?
True
Let c(x) = 2*x + 1 - x + 0 + x**2. Does 10 divide c(-5)?
False
Let k(t) = 2*t**2 - t + 2. Let u be k(-4). Suppose d - 3*d = -u. Is d a multiple of 6?
False
Suppose g = 5*g + 40. Let s = 5 + 9. Does 9 divide g/35 + 214/s?
False
Let z(u) = 2*u**2 + 9*u - 1. Let k be z(-5). Suppose -k*q + 33 = -63. Is 8 a factor of q?
True
Suppose 198 = 6*m - 3*m. Is 11 a factor of m?
True
Suppose 4*q = 4*b - 84, 0*q - 2*q = -2. Does 11 divide b?
True
Is (-6)/(2 - 760/375) a multiple of 25?
True
Let y = -52 + 108. Is y a multiple of 8?
True
Does 13 divide 27 - (8/4)/2?
True
Let p(a) = -12*a - 6. Let u(q) = -q + 1. Let n(y) = -p(y) - 6*u(y). Let r(h) = -h**3 + 4*h**2 - h + 5. Let x be r(4). Is 9 a factor of n(x)?
True
Let q(z) = -8*z + 32. Is 16 a factor of q(-6)?
True
Let p(n) = -n**2 - 4*n - 2. Let d be p(-6). Suppose -r + 0*g = 5*g + 6, -2*g - 12 = -2*r. Let w = r - d. Is w a multiple of 12?
False
Suppose 3*o - 379 - 65 = 0. Does 10 divide o?
False
Suppose -r + 4*c = -8, -2*c + 32 = 4*r - 3*c. Let s be r/(-3)*15/2. Let w = s - -32. Does 10 divide w?
False
Let w be 3/(-12) - 9/(-4). Suppose a = 2*j - 201, -3*j + 470 = w*j + 4*a. Is j a multiple of 16?
False
Is -2 - ((5 - 3) + -40) a multiple of 12?
True
Let b = -3 - -7. Suppose 4*s = u - 92, s = -u - b - 14. Let v = s + 45. Is 13 a factor of v?
False
Let w = -32 + 73. Suppose -w = -2*g - 3. Suppose 2*z - 55 + g = 0. Does 6 divide z?
True
Suppose 0 = u - 2*u + 9. Let o be (-3)/u + (-46)/6. Let x = 20 + o. Does 11 divide x?
False
Suppose 5*b - 143 = 4*b. Is 13 a factor of b?
True
Suppose 25 = 2*c