ide s?
True
Let a be 1 + (2 - 0) + -4. Let c be ((-6)/(-15))/(a/(-10)). Is 13 a factor of 52/c*(-1)/(-1)?
True
Does 9 divide -3 - (0 + 2 - 14)?
True
Suppose 139 + 92 = 7*o. Is o a multiple of 33?
True
Let k(v) be the third derivative of -v**6/120 + v**5/60 + v**4/24 + v**3/2 + v**2. Does 2 divide k(0)?
False
Let t(r) = r**3 + 9*r**2 + r - 19. Is t(-7) a multiple of 18?
True
Let g(k) = 2*k + 10. Let j be g(-8). Let u(c) = c**3 + 7*c**2 + c - 2. Does 18 divide u(j)?
False
Let g(v) = 4*v**2 + 6*v - 5. Let h be g(-5). Suppose -5*o = -u - h - 41, 130 = 5*o + 5*u. Is o a multiple of 11?
True
Suppose -z + 238 = z - 4*c, -2*z - c = -233. Is 13 a factor of z?
True
Let a = -45 + -69. Let j be a/(-3)*2*1. Let f = j + -38. Is f a multiple of 13?
False
Let u be 2 + -1 + 4 + -5. Does 11 divide (-22)/(-4)*6 + u?
True
Let a = 7 - 22. Let y = 31 + a. Is 8 a factor of y?
True
Let i(g) = 2*g**2 - 5*g. Let a be i(4). Suppose -3*x + 6 = -a. Let d(m) = m**2 - 3*m + 6. Does 9 divide d(x)?
False
Is -1*30/6 - -66 a multiple of 14?
False
Suppose -5*w - g = -7, -3*w - 4*g - 9 = -3. Suppose -5*s = 2*h - 0*h - 83, -w*h = -4*s - 92. Suppose 2*k - h + 12 = 0. Does 12 divide k?
False
Suppose 5*b + 11 - 31 = 0, 3*f - 4*b - 53 = 0. Suppose -3*n + f = -0*l + 2*l, l - 2*n = 22. Is l a multiple of 4?
True
Let s be ((-12)/(-16))/(2/8). Suppose -s*q - 2 = 16. Let g = q - -14. Is g a multiple of 8?
True
Let a(q) = -2*q**2 - 5*q + 3. Let m be a(-6). Let r = -1 - m. Let o = r + -20. Is 9 a factor of o?
True
Does 15 divide 15/((2 - (-226)/(-114))*3)?
True
Suppose 1 = -5*q - 4. Is q + -1 - -49 - 1 a multiple of 15?
False
Let v be (-20)/(-4) - (3 - 0). Suppose 0 = 4*y - 5*d - 226, 0*y + v*d - 158 = -3*y. Is y a multiple of 11?
False
Let j = 27 + -51. Is 17 a factor of (-1)/(-4) + (-1122)/j?
False
Suppose -a + 2*m + 436 = 2*a, 2*a - m - 292 = 0. Is a a multiple of 13?
False
Suppose 0 = -5*f + 30 - 10. Suppose 33 = -3*b + f*b. Is b a multiple of 18?
False
Suppose -4*b + 15 = -b. Let g = 7 - b. Suppose -20 - 16 = -g*x. Is 8 a factor of x?
False
Let d = -93 + 191. Is 7 a factor of d?
True
Suppose 3*p - 6 = 3. Let m be 21 + 0*2/(-10). Let n = m - p. Is n a multiple of 11?
False
Is 9 a factor of 10/(1*(-4)/(-18))?
True
Let d = 85 + -70. Does 10 divide d?
False
Suppose 3*j - 44 - 40 = 0. Is 3 a factor of j?
False
Let a = -156 - -250. Does 15 divide a?
False
Let c(g) be the third derivative of -g**8/20160 - g**7/560 - g**6/360 + g**5/30 - g**2. Let y(w) be the third derivative of c(w). Is 9 a factor of y(-4)?
True
Suppose 5 = 2*j - 3. Suppose -r + 5*r = j. Suppose 15 = 2*n - r. Is n a multiple of 3?
False
Let j(p) = -3*p + 12. Let h be j(8). Let s = 4 - h. Suppose i + 7 = 2*b - s, 20 = 4*i. Does 11 divide b?
False
Let a = -7 + 6. Let g be 5/(5/3) + a. Suppose -20 = -c + g*u + 15, -u = -2*c + 79. Does 15 divide c?
False
Let k(w) = -w**3 + 4*w**2 + 3*w - 6. Is k(4) a multiple of 3?
True
Let f(x) = -3*x**3 + 4*x**2 - 4. Does 12 divide f(-2)?
True
Let d = 12 - 8. Let z be (0/(-7))/(1*-3). Suppose -4*n = d*c - 116, 0*c + 4*c - 5*n - 71 = z. Is 24 a factor of c?
True
Is 18 a factor of -72*(20/8 + -4)?
True
Let h = -41 + 61. Suppose l = 6*l - 3*z + h, -l - 4 = -5*z. Is (-12)/9*6/l even?
True
Suppose -2*o + 7 = -25. Suppose -o = -7*i + 3*i. Suppose 3*j - 2*t = -5*t + 21, i*j - 30 = -2*t. Is 4 a factor of j?
True
Let y be (-80)/30*39/2. Let r = 79 + y. Does 8 divide r?
False
Let n = -114 - -235. Suppose n = 5*g + 31. Does 16 divide g?
False
Suppose 0 = 2*k + 6*k - 768. Does 21 divide k?
False
Let z(q) be the second derivative of -3*q**5/10 + q**4/4 + q**2/2 + q. Let r(l) = l**3 - l**2 - l - 1. Let y(x) = -r(x) - z(x). Is y(2) a multiple of 17?
True
Let b be 2 + 40 + 1/(-1). Let f = -17 + b. Is f a multiple of 13?
False
Suppose 3 = 2*q - 5. Suppose y + 0*y = q. Suppose y*u = 7*u - 81. Is u a multiple of 11?
False
Let f(x) = x**2 - 7*x - 9. Let k be f(8). Is (-11 - 1)/(k - 0) a multiple of 6?
True
Suppose -3*t - 15 = 0, -6*w + 4*t = -4*w - 48. Is w a multiple of 7?
True
Let l(i) = -18*i + 4. Let t be l(-3). Let d = t - 2. Is d a multiple of 18?
False
Suppose m - 3*m + 24 = 0. Does 3 divide m?
True
Suppose 4*x - x - 4*n - 19 = 0, -2*x + 3*n + 13 = 0. Is x even?
False
Let x(p) = 5*p + 5. Let f(t) = 10*t + 10. Let b(z) = 2*f(z) - 5*x(z). Is 8 a factor of b(-5)?
False
Let r(o) = o**2 - 4*o - 3. Let g be r(5). Let w(i) = -2*i**2 - 1 + 16*i**g - i + 0*i. Is 7 a factor of w(-1)?
True
Let h(w) = -5*w + 4*w + 3*w + 4*w - 5. Does 18 divide h(8)?
False
Let q be 2*((-6)/(-2) + -1). Suppose -2*t + 2 = -q, -4*h = -3*t - 15. Is h a multiple of 4?
False
Let h(o) = 2*o + 3. Let q be h(6). Let f be 294/q - 4/(-10). Let p = f - 13. Is 7 a factor of p?
True
Let f = 5 - 11. Let v = f - -33. Does 9 divide v?
True
Let l(g) be the third derivative of -1/6*g**3 + 0*g + 0 + 2*g**2 - 31/24*g**4. Is 10 a factor of l(-1)?
True
Let s(r) = -r**2 + 4*r - 2. Let a be s(6). Let x = 40 + a. Is x a multiple of 13?
True
Suppose 5*b + d - 5 = 7, 3*d = -4*b + 3. Suppose 0 = 4*n + 4*r - 5*r - 104, -4*n + b*r = -112. Suppose 4*c = 3*k - 21 - n, 11 = k + 3*c. Is 7 a factor of k?
True
Let l(x) = -4*x**3 + 2*x**2 + x + 2. Does 8 divide l(-2)?
True
Let u = -4 - -8. Is u a multiple of 4?
True
Let w be 2/(-4)*(-6 + 2). Let s = -17 + 55. Suppose 2*m + 2*i + w*i = s, 3*m - 56 = -5*i. Is 17 a factor of m?
True
Let r be 4/16 - (-14)/8. Suppose -4*f - d = -5*f + 30, 0 = -r*f - 4*d + 48. Is 14 a factor of f?
True
Let v(c) = -c**2 + c - 1. Let m(g) = 2*g**2 + 10*g - 1. Let j(d) = m(d) + v(d). Is j(-12) a multiple of 4?
False
Let x(b) = 2*b**2 - 7*b - 15. Does 33 divide x(-5)?
False
Let t(r) be the second derivative of 1/6*r**3 + 0 - 2*r - 1/12*r**4 + 13/2*r**2. Is t(0) a multiple of 10?
False
Suppose q + 3*q - 20 = 0. Suppose 2*d = -s + 31, 0*d - 85 = -5*d + q*s. Does 8 divide d?
True
Let i(f) = 5*f + 7. Suppose -v = -5*v + 36. Does 20 divide i(v)?
False
Let x(t) = t**3 + 2*t**2 + 130. Does 26 divide x(0)?
True
Suppose -5*u + u + 8 = 0. Suppose 0 = -k + 5*d + 3, 2*k - 1 = 3*d + u*d. Is 4*(-9)/3*k a multiple of 12?
True
Let z(x) = -68*x - 2. Is z(-1) a multiple of 22?
True
Suppose 40 = 8*u - 3*u. Suppose 14 = 5*a - 3*g, 0 = 3*a - u*a + 5*g + 20. Does 11 divide -11*a*(-2 - -1)?
True
Let u = -160 - -251. Suppose 4*t + a - 32 - u = 0, -4*a + 162 = 5*t. Is (-1 - 0)/((-1)/t) a multiple of 15?
True
Let s = 10 + -4. Is 2 a factor of s?
True
Let y(s) = s**2 - 7. Does 6 divide y(-7)?
True
Suppose 0 = -z - 4 + 28. Is z a multiple of 24?
True
Does 25 divide 3/(((-54)/75)/(-6))?
True
Suppose 7 = 2*a - 15. Let f(q) be the second derivative of -q**5/20 + 5*q**4/6 + 2*q**3 + 11*q**2/2 + 3*q. Does 11 divide f(a)?
True
Is -3 + ((-8)/2 - -51) a multiple of 22?
True
Let h(g) = 23*g**2 + g. Suppose -4*l + 3 = -l. Is 7 a factor of h(l)?
False
Suppose 5*l + 2 = 22. Let s be l/1 + -2 - -1. Let n(a) = 6*a + 4. Is n(s) a multiple of 11?
True
Let l be -3 + 142 + 2/2. Suppose -5*w + l = -i, 0 = 3*i - i. Does 14 divide w?
True
Suppose 2238 = 4*i + 578. Does 18 divide i?
False
Let p(x) = -10*x**2 - 2*x - 1. Let n be p(-2). Let q = n + 75. Is q a multiple of 14?
False
Suppose u - 5*s = -36 + 14, 5*u = s - 230. Let v = -26 - u. Suppose 2*y + k = 6*k + 33, -y - 2*k + v = 0. Is y a multiple of 13?
False
Let v = -10 + 12. Suppose -i - 4*o = -16, 5*i + 5*o = v*o + 165. Is 18 a factor of i?
True
Suppose 30*p - 28*p = 164. Let z(w) = -w + 6. Let y be z(3). Does 13 divide p/4 - y/2?
False
Is ((-16)/3)/((-28)/126) a multiple of 6?
True
Is 16 a factor of ((-128)/(-12))/((-2)/(-3))?
True
Let g(y) = -6*y**2 + 4*y + 5. Let l(c) = c**2 - c. Let o(v) = -g(v) - 5*l(v). Let n = -8 + 3. Is o(n) a multiple of 10?
False
Let w = 15 + 12. Suppose -4*d + w = -69. Is d a multiple of 8?
True
Let q be (-1)/5 - 136/(-5). Let v = q + 37. Is v a multiple of 16?
True
Let p(s) = s**2 + 7*s - 1. Let k be p(-8). Let h(t) = 2*t - 5. Is h(k) a multiple of 3?
True
Let n(s) = -s**2 + 62. Is 17 a factor of n(0)?
False
Suppose -5*w - l = -3, -2*w - 3*l + 9 = w. Suppose 4*y = 3*j - 32, -j + 4*y + 18 + 6 = w. Does 4 divide 60/(-9)*(-6)/j?
False
Let x(j) = -14*j + 2. Let k be x(-2). Suppose -v = -k - 11. Does 14 divide v?
False
Let i(a) = a**3 + a**2 + a - 1. Let c be i(0). Let u(f) = -41*f - 3. Does 16 divide u(c)?
False
Let