x be w(5). Let g = 23 + -16. Does 6 divide 2/g + x/14?
True
Let v(g) = 12*g + 8. Is v(3) a multiple of 5?
False
Suppose 2*s + 0 + 12 = 0. Let k = s + 7. Is ((-6)/(-3) - k) + 7 a multiple of 5?
False
Let k(o) = o**2 - 5*o - 49. Is 7 a factor of k(12)?
True
Let b(l) = -l**2 + 6*l + 8. Let w be b(8). Let x = w - -5. Let o = x - -9. Does 5 divide o?
False
Suppose -12 = 2*v - 4*v. Let t(r) = 5*r + 3. Let i be t(v). Let k = i - 11. Is 11 a factor of k?
True
Does 4 divide (-1)/(3 + 25/(-8))?
True
Let j be 0 + -1 + (-1 - -4). Suppose 4*g - y - 5 = 0, 5*g - 3*y + 1 = j. Suppose g*a - 36 = -2*a. Is a a multiple of 5?
False
Suppose -r + 83 = h, 0 = -h - 2*h - 2*r + 251. Does 5 divide h?
True
Suppose 0 = 2*r - 2*o - 64, -4*r + 8 = -3*r + 5*o. Is 15 a factor of r?
False
Let m be ((6*-1)/1)/(-1). Let p(d) = d**3 - 7*d**2 + 6*d + 12. Let k(v) = v**3 - 7*v**2 + 6*v + 13. Let i(l) = -4*k(l) + 5*p(l). Is i(m) a multiple of 5?
False
Suppose 0 = -4*a + 2 + 6. Is 6 a factor of 4 + (3 - (a - 1))?
True
Suppose 4*d + 32 = 96. Is d a multiple of 7?
False
Let a(o) = 2*o**2 + o + o + 6 - 5. Is 13 a factor of a(-4)?
False
Let z = -125 + 270. Is z a multiple of 29?
True
Let t = 2 + 0. Suppose -w - 5*r = 0, 5*w + t*r - 21 = -2*r. Suppose 3*j = 3*n - 54, n + w*j - 4*j = 20. Is n a multiple of 19?
True
Let c = -11 + 14. Suppose 4*f - c*f - 16 = 0. Is 8 a factor of f?
True
Suppose -5*b + 486 + 357 = -3*f, 3*f + 339 = 2*b. Is b a multiple of 27?
False
Let r be -3*(16/6)/(-4). Let x be (-776)/(-12) + r/(-3). Suppose -2*l + x = -10. Is l a multiple of 15?
False
Suppose 4*t + 5*j = 263 + 110, -95 = -t - 3*j. Does 46 divide t?
True
Let o(s) = -7 - 2*s**2 + 11*s + s**2 + 5. Let t = -17 - -26. Does 16 divide o(t)?
True
Suppose 23 + 19 = j. Is 2 a factor of j?
True
Let w be (19 - -1)*1/(-2). Let g(a) = -a**2 - 9*a + 14. Let f be g(w). Suppose -21 = f*q - 7*q. Is 4 a factor of q?
False
Let q be (-1)/1*(2 - -4). Let j(i) = 4 - 3 + 3*i + 2*i**2 + 6*i. Does 7 divide j(q)?
False
Let o = -127 + 257. Does 26 divide o?
True
Suppose -4*l - 2 = 22. Let i be 2/l + (-80)/(-6). Suppose -j + i = -2. Does 6 divide j?
False
Let z be (-2 - -27)*24/15. Suppose 6*o = 2*o + z. Does 10 divide o?
True
Let z(h) = 4*h - 4. Let b = -6 - -8. Let i(a) = -3*a + 3. Let w(l) = b*z(l) + 3*i(l). Is 2 a factor of w(-1)?
True
Is 22 a factor of (-42 + -2)/(16/(-24))?
True
Let w be 9/12 - (-34)/8. Suppose i = w, 5*o = -4*i + 6*i + 105. Is o a multiple of 7?
False
Let y = 94 - 59. Is y a multiple of 7?
True
Let a = -4 - -5. Let n be -1 - -2 - -1 - a. Let x = 6 + n. Does 3 divide x?
False
Suppose 10*a = 9*a + 174. Is 19 a factor of a?
False
Let t = -3 - -3. Let w = 1 + t. Is (5 - -8)/(w/2) a multiple of 7?
False
Suppose z + 9 = -2*p, 0 = -5*z + 2*z + 3*p. Does 9 divide 38 - (z + (0 - -6))?
False
Let n be (-44)/(-20) + (-3)/15. Is (1 - -5) + -2 + n a multiple of 3?
True
Is 12 a factor of 508/14 - (-8)/(-28)?
True
Let t be 3/2*32/6. Suppose 30 = -6*w + t*w. Does 10 divide w?
False
Suppose -5*b + 36 = -19. Suppose -3*c + b = -2*k - 1, -5*k = 15. Suppose -4*o + c*o + 64 = 0. Is 16 a factor of o?
True
Does 9 divide ((-360)/(-16))/(1/(-6))*-1?
True
Suppose -5*o = -305 - 75. Does 19 divide o?
True
Let d(o) = -o - 2. Let s be d(-7). Suppose -s*y = -4*u - u, 2*u + 2 = y. Does 5 divide (y - 0)*55/(-10)?
False
Let b(c) = -c**3 + 4*c**2 + 3*c + 4. Is b(4) a multiple of 7?
False
Let z(j) be the first derivative of j**4/4 + j**3/3 - j**2 + 3*j - 2. Is z(2) a multiple of 3?
False
Let x(k) = 2*k**3 - 12*k**2 + 18*k + 7. Does 18 divide x(6)?
False
Let d(o) = -o - 2. Let s be d(-4). Suppose r - 46 = -s*n, 4*r - 238 + 29 = -3*n. Does 28 divide r?
True
Let o = -25 + 71. Is o a multiple of 23?
True
Let u(v) = v + 7. Let j be u(-9). Let w be 4/j - (35 - 0). Let g = w + 52. Does 11 divide g?
False
Let k(b) = -b + 1. Let q be k(4). Let g(v) = -7*v + 4. Does 20 divide g(q)?
False
Suppose 2*c = -2*c - o + 81, -85 = -5*c + 2*o. Suppose -c + 3 = -4*m. Is 3 a factor of m?
False
Suppose y - 6 = -y. Suppose -y*o + 80 = 5*k, -4*o - o + 5*k = -80. Does 11 divide o?
False
Does 26 divide 4/(-30) - 3124/(-30)?
True
Let z = -51 - -171. Does 20 divide z?
True
Let k = 112 + -64. Is k a multiple of 6?
True
Suppose -3*n + 2*z = -7 - 3, -2*n - 6 = 5*z. Suppose -2 = -n*d + 18. Is d even?
True
Let y(s) = s**3 + 4*s**2 - 1. Let x be y(-3). Let u = x + 0. Does 8 divide u?
True
Suppose 0 = w - 1 - 4. Suppose -82 = -w*z - 32. Does 5 divide z?
True
Let b be (3 - 27/12)*4. Suppose -6*c + b*c = -66. Is 13 a factor of c?
False
Suppose 272 = 4*d - 4*x + 28, 3*d + 4*x = 197. Is d a multiple of 11?
False
Suppose -4*n - 390 = 5*x - 0*n, 138 = -2*x + 2*n. Let i = 107 + x. Is i a multiple of 12?
False
Let s be 4/10 - (-33)/5. Suppose 0*w - 2*x = -w - s, -3*w + 4*x = 15. Is 5 a factor of 0*(2 + w) + 10?
True
Let v = -163 - -403. Is 24 a factor of v?
True
Let w(i) = 2*i + 3. Let q be w(-3). Let d = q + 3. Suppose 3*f + 5*n - 73 = d, 4*f - 35 = 3*f + n. Does 17 divide f?
False
Suppose 0 = 5*i - 4*y + 73 - 272, -4*i - y = -176. Does 21 divide i?
False
Let b(z) = z**3 - 6*z**2 - 5*z - 1. Let a(y) = -y**3 + 6*y**2 + 5*y. Let c be (-4 - -6)/((-4)/(-10)). Let f(d) = c*a(d) + 6*b(d). Is 4 a factor of f(7)?
True
Let p(v) be the third derivative of v**6/120 - v**5/15 + v**4/6 + v**3/3 + 5*v**2. Does 9 divide p(4)?
True
Suppose 472 + 228 = 5*v. Suppose -4*i + v = i. Is 14 a factor of i?
True
Suppose 0 = -4*t - w + 110, -4*w = 5*t - 35 - 108. Suppose -5*p + 193 = -t. Does 22 divide p?
True
Suppose 0 = 5*g + 5*t + 50, -16 = 5*g - g - 4*t. Let q = -5 - g. Suppose -z - 2*z - q*x + 56 = 0, 0 = 5*z + 3*x - 93. Is z a multiple of 10?
False
Let m(u) = u**2 + u. Let n be m(-1). Suppose -4*j + 279 - 87 = n. Suppose s - 3*s = -j. Does 12 divide s?
True
Let p be 2*((-2505)/6)/5. Let y = p + 269. Suppose -4*f = -6 - y. Does 9 divide f?
True
Let i = 17 - 5. Suppose -6*o - i = -10*o. Does 2 divide o?
False
Let o = 471 - 331. Suppose 4*w - o = -w. Let v = w + -19. Does 6 divide v?
False
Let g(x) = 8*x - 6. Does 12 divide g(8)?
False
Is 2 a factor of -2 - (-13 + 4 + 1)?
True
Suppose 2*g - 47 = 177. Is 22 a factor of g?
False
Let k(n) = -11*n**3 - 2*n**2 - n. Let f be k(-1). Suppose -h + 3*h - f = 0, p - 57 = -3*h. Does 21 divide p?
True
Suppose 2 = v + 5, -2*t - 3*v - 29 = 0. Let f(c) = c**3 + 9*c**2 - 11*c + 5. Does 6 divide f(t)?
False
Suppose -q = -3*u + 6 - 3, -u = 4*q - 14. Suppose -2*z + 148 = 5*a - q*z, 4*a + 2*z - 124 = 0. Is a a multiple of 16?
False
Suppose c - 4 = -1. Suppose r + 4 = c*r. Suppose -r*l - h = -21, 0 = 4*l - 3*h + 2*h - 57. Is 9 a factor of l?
False
Suppose -3*p - 4*m + 526 = 0, -871 = -5*p - 4*m + 3*m. Is p a multiple of 29?
True
Let s(z) = -z**3 - 5*z**2 - 3*z + 1. Does 11 divide s(-6)?
True
Let a be (-2)/(-4) - (-14)/4. Is 13 a factor of (-2)/(a/(-34)) - 1?
False
Let l = 34 + -27. Is l even?
False
Is 7 a factor of 0 + 74/2 + -2?
True
Let u be (2 + 2 + -5)*-2. Suppose p - 3*c = 7, 5*p + u*c + c = 125. Is p a multiple of 7?
False
Suppose 2*x + 54 = 2*j - 54, -4*j = -3*x - 212. Let v = j - 34. Does 8 divide v?
True
Let t = 77 + -60. Is t a multiple of 9?
False
Suppose 4*o - 13 = -i, 7*o + 19 = 4*o + 5*i. Suppose 2*f = o*m - 3*m + 13, -5*m + 4*f = -9. Is m a multiple of 3?
False
Let k be (-1 + 2)*(5 - 0). Let l = 94 - 27. Suppose 2*m = -5*y + 63 + l, 52 = 2*y + k*m. Is y a multiple of 14?
False
Let f be 1/(-3) - (-5)/(-3). Is -2 + (16 - (f + 1)) a multiple of 5?
True
Suppose -3*b = -4*k - 11, 0 = k - b + 2. Let h(s) = -s + 2. Let f be h(k). Let r = 8 + f. Is 4 a factor of r?
False
Let t(q) be the third derivative of q**7/280 - q**6/720 + q**4/24 + 2*q**2. Let r(v) be the second derivative of t(v). Is r(-1) a multiple of 5?
True
Suppose 0 = 3*l + 4*a - 572, -2*a = -2*l - a + 374. Does 12 divide l?
False
Suppose -7 = -2*m - 3. Suppose -2*q = m*v - 4, 0 = q + q + v - 2. Suppose 4*c - 106 + 10 = q. Is 11 a factor of c?
False
Let a(f) = 4*f - 15. Does 11 divide a(12)?
True
Let w(l) = 19*l + 14. Is 12 a factor of w(8)?
False
Suppose 0 = -11*m + 78 - 12. Is 2 a factor of m?
True
Let o be 1/(2 + -3) + 5. Suppose n - o*n = -183. Does 14 divide n?
False
Let l = 85 - 37. Does 16 divide l?
True
Let q = 2 - -3. Suppose -3*u = 4*k - 8*u - 133, -k + q*u + 52 = 0. Is 14 a factor of k?
False
Su