k). Does 13 divide -2*2*1*v?
False
Let k = 95 - 65. Is 10 a factor of k?
True
Is 128*4/(-14)*(-35)/20 a multiple of 13?
False
Let p(j) be the first derivative of -j**4/4 + 2*j**3 - j**2/2 + 6*j + 1. Let i be p(6). Suppose i*r - 3*r + 42 = 0. Is 7 a factor of r?
True
Let s(k) = 4*k**3 - 3*k**2 + 1. Suppose 0 = n - 3*q + 9, -4*q + 6 = -3*n - 1. Suppose 0 = i + 1 - n. Is 12 a factor of s(i)?
False
Suppose 440 = -14*u + 18*u. Is 20 a factor of u?
False
Let o(h) be the second derivative of h**3/6 - 3*h**2/2 + 3*h. Is o(6) a multiple of 2?
False
Suppose -2*d - 1 + 8 = 5*z, -d = -4*z - 23. Is d a multiple of 2?
False
Let f be (7/2)/(14/476). Let w = 183 - f. Does 16 divide w?
True
Does 17 divide ((-62)/3)/((-2)/6)?
False
Let n(g) be the second derivative of g**4/12 - 2*g**3/3 - 2*g**2 + 4*g. Is 14 a factor of n(8)?
True
Let t = -175 - -272. Suppose t = 2*g + 23. Is 12 a factor of g?
False
Suppose 3*p - 5*p + 146 = 0. Is 19 a factor of p?
False
Suppose -9 - 7 = -4*i. Let o = 3 + -1. Suppose -4*p + i*l = -72, -p + o*l - 27 = -2*p. Does 11 divide p?
False
Suppose 0*z - 5*z - 3*p + 510 = 0, -3*p = 2*z - 195. Suppose 27 = 5*i + 7. Suppose -i*q = q - z. Is 6 a factor of q?
False
Suppose 2*j - 6*j = -196. Is j a multiple of 16?
False
Let n(d) = d**2 + d - 6. Let a be n(0). Let u = a - -6. Suppose u = -3*i - i + 24. Is 3 a factor of i?
True
Suppose -2*t - 8 = -0*t. Let f(a) = 2*a**2 - 4*a - 6. Does 21 divide f(t)?
True
Suppose a + 3*a - 8 = 0. Is (6 + -7)/(a/(-22)) a multiple of 11?
True
Let s(c) be the third derivative of -c**6/120 + c**5/6 - 11*c**4/24 + c**3/3 - c**2. Does 21 divide s(8)?
True
Let o = -32 + 120. Does 4 divide o?
True
Suppose -2*g + 144 = 2*g. Is g a multiple of 9?
True
Suppose -5*y = 5*p + 30, 4*p - 5*y = -p. Let g = p - -28. Does 5 divide g?
True
Suppose 0 = 4*w - 0*w - 8. Suppose 5*i - n - w*n - 113 = 0, 5*i - 129 = -n. Is i a multiple of 25?
True
Suppose 3*n - 15 + 6 = 0. Is n even?
False
Let n(f) be the second derivative of 0 - 2*f - 1/2*f**2 + 4*f**3. Does 13 divide n(2)?
False
Let x(l) be the second derivative of l**5/20 + 5*l**4/6 + 3*l**3/2 - 3*l. Let h be x(-9). Suppose 4*s - 44 - 60 = h. Does 13 divide s?
True
Let m(i) be the second derivative of i**5/30 + i**4/12 - i**3/6 + i**2 + 2*i. Let x(j) be the first derivative of m(j). Does 11 divide x(-3)?
True
Let d = 74 + -52. Does 2 divide d?
True
Suppose -4*w = 14 + 118. Let x = -19 - w. Is 4 a factor of x?
False
Let y(c) = c**2 + 3*c. Suppose 2 + 0 = 2*p + 4*o, 0 = -2*p - o - 4. Let a be y(p). Suppose a = 5*d - 6*d + 19. Does 11 divide d?
False
Suppose -51 = -3*t + 48. Let x = t + 26. Is x a multiple of 22?
False
Suppose 0 = -5*m - 5 - 0. Does 18 divide (57/12)/(m/(-4))?
False
Let u(m) = -m**2 + 8*m + 4. Let i be u(6). Suppose -i = -4*q, 2*w + 113 = -5*q + 313. Is 30 a factor of w?
True
Suppose -4*m + 10 = -d - d, 3*m = -4*d + 2. Suppose 0*b = 5*b + 3*n - 221, -2*b + m*n = -82. Does 16 divide b?
False
Let l = -8 - -31. Suppose 25 = 4*r - 3*r - 3*b, l = 3*r + 4*b. Is r a multiple of 7?
False
Let t(c) = c**2 + 44. Let p be t(0). Suppose -2*g - 2*g + p = 0. Is 6 a factor of g?
False
Suppose y = -4*y. Suppose y = -g - 2 - 11. Does 14 divide g/((-12)/9 - -1)?
False
Let i = -3 - -7. Suppose -i*p - 160 = -0. Does 12 divide ((-24)/(-10))/((-4)/p)?
True
Let l(d) = 125*d**2 - 4*d - 4. Is l(-1) a multiple of 19?
False
Does 10 divide -2 + 9/(36/248)?
True
Suppose 11 = -3*t + 4*j, -t = 3*j - 1 - 4. Let h be (-1)/t - (3 + -2). Suppose h = l + 3*l - 80. Does 10 divide l?
True
Suppose -2*o + 5*q + 1 + 36 = 0, 4*o - 80 = 4*q. Let b = 49 - o. Is 14 a factor of b?
True
Let m = -6 - -6. Let i = m + 5. Does 10 divide (6 + -1)/(i/10)?
True
Let h = -3 - -109. Let p = h - -84. Suppose 7*n - p = 2*n - x, 114 = 3*n + 3*x. Is n a multiple of 13?
False
Let f = -36 - -38. Let k = -11 - -15. Is 16 + f - (k - 1) a multiple of 8?
False
Let f be (-3)/2 + (-222)/(-12). Let a = f - 4. Is 10 a factor of a?
False
Let c(g) be the second derivative of -g**3/6 + 10*g**2 - 4*g. Does 10 divide c(0)?
True
Let v be (-128)/(-6) + 4/6. Suppose -2*s + v = -h - 44, 5*s - 3*h = 166. Is 10 a factor of s?
False
Let y(i) = i**2 + 8*i + 3. Let x be y(-8). Suppose -2*o - g - g = -52, -4*g = -x*o + 64. Suppose 3 + o = 3*d. Does 9 divide d?
True
Let y be 0/(1 + (-4)/2). Suppose f + 3*c + 34 = y, 4 + 1 = -c. Let q = 37 + f. Does 7 divide q?
False
Let w(j) = j**3 + 1 - 15*j**3 + 0*j**3 - j**2. Suppose -p = -4*q - q - 4, -5*p - 7 = 2*q. Is 8 a factor of w(p)?
False
Let v = 36 - 23. Suppose 0 = -0*r + 2*r - 4. Suppose -r*a + 17 = -v. Is 12 a factor of a?
False
Let a be (-6)/(-10) + (-84)/(-10). Suppose -2*s + a = s. Does 3 divide s?
True
Suppose x - 32 - 53 = -2*s, 5*s - 4*x = 245. Is s a multiple of 15?
True
Suppose 996 = 5*t + 4*u, -t + 399 = t + u. Is t a multiple of 25?
True
Suppose -7*b + 3*b = 76. Let c = -15 - b. Is 4 a factor of c?
True
Let j = -107 - -161. Let w = -32 + j. Is w a multiple of 11?
True
Suppose 4*j - 72 = -2*i, -i + 4*i - j = 108. Is i a multiple of 12?
True
Suppose 78 = 3*i + 3*o - 63, 0 = -5*i - 2*o + 244. Is 25 a factor of i?
True
Suppose -8*q = -21*q + 949. Is 7 a factor of q?
False
Is 10 + (6/(-4))/(30/40) a multiple of 4?
True
Let k be (15/(-6))/((-2)/4). Suppose -4*w - q = 2*q + 10, -2*q + 1 = -k*w. Let f = w - -8. Is 7 a factor of f?
True
Is -458*3/(-4)*(-8)/(-12) a multiple of 15?
False
Let o = -56 + 208. Does 18 divide o?
False
Let f(s) = -s. Let c be f(0). Let v = c + 13. Is 7 a factor of v?
False
Let i(y) = -9*y + 3. Let z be i(-2). Suppose -4*t = d - 9, -4*t - 3*d = -6*d - z. Is 3 a factor of t?
True
Let y(n) = 3*n - 4 + 5*n - 4*n. Does 8 divide y(5)?
True
Suppose 2*y - 4*p - 114 = 0, -5*y - 5*p - 62 + 347 = 0. Does 15 divide y?
False
Let j be -16*(-2)/(2/1). Suppose j = -a + 5*a + 2*h, -2*a + 4*h = 12. Suppose 38 = 3*x - 2*q - 18, 10 = a*q. Is 11 a factor of x?
True
Suppose -j + 23 = 3. Suppose 0*v + 4*v - j = 0, -2*o - v = 69. Is o/(-3) - (-2)/(-6) a multiple of 6?
True
Does 11 divide 1449/12 - (-4)/16?
True
Let m(c) = 2*c**3 - c**2 - c. Let s be m(-1). Suppose 4*t - 2 + 26 = 0. Is 2 a factor of (8 + s)/(t/(-3))?
False
Let n = 6 - -161. Is 43 a factor of n?
False
Let t = 28 + -5. Does 5 divide t?
False
Suppose -3*x = -3*a + 72, 0 = 4*a + 5*x - 14 - 37. Suppose 0 = 2*b + 3*b + 25, -i - 3*b = a. Is 13 a factor of (i/(-6))/(2/114)?
False
Let u(g) be the first derivative of g**3/3 - 5*g**2/2 + 5*g + 1. Let l be u(4). Does 16 divide ((-1)/3)/(l/(-111))?
False
Let b be -1 - -1 - (-2 - 0). Suppose -b*u = 3*u - 80. Does 16 divide u?
True
Let w(a) = 3*a - 2*a + a**2 - 2 + 3. Let m(u) = 1. Let h(l) = -6*m(l) + w(l). Is h(5) a multiple of 25?
True
Suppose 0 = 4*y - 7 - 5. Let d be -5 - y*(-1 - 0). Does 10 divide 2*(11 + d + 1)?
True
Suppose -700 = 3*p - 23*p. Is p a multiple of 6?
False
Let f be 1*-34*1/2. Let l = f + 32. Does 5 divide l?
True
Suppose 2*t - 5*m - 17 = 0, 3*t = 5*t - 3*m - 7. Let r be t/2 + 2 + 27. Let f = r - 4. Does 12 divide f?
False
Let v(g) = -2*g**3 - 5*g**2 - 6*g - 2. Let m(p) = p**3 - p**2 - p. Let u(r) = m(r) + v(r). Let w be u(-5). Is w*((-10)/(-8) - -1) a multiple of 9?
True
Suppose 3*q - 2*q = 9. Is q a multiple of 5?
False
Suppose -3*d + 56 = -2*d. Is 8 a factor of d?
True
Suppose -3*f + 5*s + 76 = 0, -2*f + 0*s + 56 = 2*s. Is 9 a factor of f?
True
Suppose 2*w - 38 = -2*r, -5*r - 4*w + 2*w = -86. Is r a multiple of 14?
False
Suppose 0 = -2*f + 6*f - 4*k - 8, 0 = f - 2*k. Suppose -175 = -3*r - f*u, -3*r = -0*u + u - 181. Is 22 a factor of r?
False
Let r = -16 - -37. Does 12 divide r?
False
Is 13 a factor of 5*5 + (-9)/(-9)?
True
Let c be (-7 + -5)*(-8)/(-6). Let b = c + 40. Is 8 a factor of b?
True
Suppose -5*f + 2*y = -0*y + 122, 3*f + 5*y = -98. Let i = f - -51. Is i a multiple of 9?
False
Suppose 2*h - 2*t + 9 = -h, 3*t + 4 = h. Let g(n) = n + 7. Let k be g(h). Suppose 54 = 4*m + 2*c - 5*c, 32 = k*m + c. Is m a multiple of 15?
True
Let r = -254 - -361. Is r a multiple of 15?
False
Is 9 a factor of 1 - 392/((-20)/5)?
True
Let p(m) be the second derivative of m**5/20 + m**4/4 - m**3/3 - m. Is 16 a factor of p(2)?
True
Suppose -3*i + i = 10, 0 = 2*y - 5*i - 81. Suppose 0 = -2*m + y. Does 8 divide m?
False
Suppose i = n - 1, 3*n = -4*i - 2 - 2. Suppose 5*r = -n*r - 5*u, -u = 1. Is 