47 = 0. Let c = -9 - a. Does 13 divide c?
True
Let w(z) be the second derivative of z**5/20 + z**4/2 + z**3/3 - z**2/2 - z. Is w(-5) a multiple of 7?
True
Let b = 28 + -6. Is 5 a factor of b?
False
Is (-9)/(-6)*(-104)/(-4) a multiple of 18?
False
Suppose -12 + 49 = m. Does 6 divide m?
False
Let c(t) = t**3 - 6*t**2 + 7*t + 1. Let j be c(5). Let k = j + -3. Is k a multiple of 4?
True
Suppose 10 = -2*i, 0*v = 2*v - 5*i - 237. Let s = -56 + v. Is 20 a factor of s?
False
Suppose -o - 2*z + 136 = 0, 2*o + z = -3*o + 635. Is 18 a factor of o?
True
Let g(i) = -i**2 - 6*i + 4. Let y be g(-6). Let h(n) = 3*n**3 - 1 - 4*n - 2 - 2*n**2 - y*n**3. Does 5 divide h(-2)?
True
Suppose 2*n = -2*n. Suppose n*v + 10 = 5*v. Suppose -6*c + 44 = -v*c. Is c a multiple of 11?
True
Let l(q) = -q**2 - 12*q - 15. Let s be l(-11). Let x = s + 34. Does 10 divide x?
True
Is -3 - (-39 - -3 - 3) a multiple of 18?
True
Let t = -15 + 25. Is t even?
True
Suppose 5*m + 32 = 2*u, 0 = u - 5*m + 4*m - 16. Is u a multiple of 8?
True
Let c(x) = 3*x**2 + 7*x - 12. Is 10 a factor of c(-5)?
False
Let a = -1 - -5. Suppose -a*s + 0*s = -128. Does 32 divide s?
True
Suppose 5*g + 4 = 3*q, 2*q - 10 = -q - g. Suppose -2*a - 13 = -q*a. Let r = 24 - a. Is 11 a factor of r?
True
Let f(l) = l**2 - l - 8. Suppose 0 = w - 4*i - 5, -5*i - 4 = -6*w + 4*w. Let k be (-1)/w - 17/(-3). Does 11 divide f(k)?
True
Let c = 49 + -21. Suppose -2*p + 4*m + 22 = -18, 5*p = m + 55. Let y = c - p. Is y a multiple of 11?
False
Let o be ((-1)/(-2) - 1)*-2. Suppose 4*b + 25 = -5*h - 25, 4*b - 4*h + 68 = 0. Does 4 divide (-5)/(b/24) - o?
False
Let u = -5 + 8. Let y = 7 - u. Let f(c) = c**3 - 2*c**2 - 5*c - 2. Is f(y) a multiple of 10?
True
Suppose -2*o = 3*o. Suppose p + 4*p = 4*i + 234, 4*p - 4*i - 188 = o. Is p a multiple of 23?
True
Suppose 24*h = 27*h - 111. Is h a multiple of 2?
False
Let g be ((-1)/2)/((-4)/856). Let k = 4 - 2. Suppose 2*c = 4*v + c - g, -k*c = -v + 32. Is 12 a factor of v?
False
Suppose -h = -0*h - 2. Suppose -h*x + 3*x - 32 = 0. Let c = -18 + x. Is 5 a factor of c?
False
Let z = 82 - -35. Does 6 divide z?
False
Let l(n) = 5*n + 3. Let z(k) = -k**3 + 4*k**2 - 3*k + 3. Let t be z(3). Is l(t) a multiple of 6?
True
Let j = 68 + -47. Suppose 4*g = v - 21, 2*v + j = 5*g + 60. Suppose -4*z + v - 5 = 0. Does 3 divide z?
True
Suppose 0 = -11*o + 7*o + 240. Is o a multiple of 9?
False
Let y = -5 - -3. Let k be (y/3)/(4/(-18)). Does 8 divide 8/1 + -2 + k?
False
Let w(o) = 5*o**2 - 7*o. Does 13 divide w(4)?
True
Let j(h) = -12*h - 12. Let i be j(-8). Suppose 5*u - 5*n = -3*n + i, -58 = -3*u + 5*n. Does 7 divide u?
False
Let q(x) = x - 2. Let y be q(4). Suppose -v + 0 - 1 = 3*u, 0 = -2*v - 4*u - y. Let n(j) = 11*j**2 - j. Does 6 divide n(v)?
True
Let y = 26 + 19. Does 10 divide y?
False
Suppose -2*a + j + 135 = 0, 2*j = 5*a + 4*j - 324. Is a a multiple of 17?
False
Suppose 2*y = 26 - 86. Let v be (2 - y) + -2 - 0. Suppose 3*i + 0*i - v = 0. Is i a multiple of 5?
True
Suppose -4*w + 256 = -3*l + 99, 3*l - 163 = -4*w. Suppose 4*v - 22 = -5*c + 13, -4*v - 4*c = -w. Is 11 a factor of v?
False
Let f be 124/7 - 2/(-7). Suppose 0*i + f = 3*i. Suppose 60 = -c + i*c. Is c a multiple of 12?
True
Let d = -160 + 300. Suppose d = -m + 6*m. Is 10 a factor of m?
False
Does 6 divide 3 - (-1 + -11)/4?
True
Let t = -24 + 13. Let k(n) = -n**3 - 12*n**2 - 12*n - 12. Let j be k(t). Is 15 a factor of ((-27)/j)/1 - -3?
True
Suppose 6*k = 5*k + 13. Is 13 a factor of k?
True
Is 2 a factor of 4*1/2 + 1?
False
Suppose b + 11 = 32. Let n(u) = u**2 + 3. Let p be n(0). Suppose p*q - 2*q = b. Is 7 a factor of q?
True
Suppose -83*b + 87*b = 164. Is 4 a factor of b?
False
Let z = 125 - 84. Suppose z = b + 4*y, -4*b - y + 73 = -16. Suppose -s + 10 = -b. Does 12 divide s?
False
Let p(x) = -2*x - 1. Let h be p(3). Let w = 0 - h. Suppose 5*l - w = 73. Is 7 a factor of l?
False
Let k be (5 - 0)*7/5. Let s(x) = x**2 - 6*x + 4. Is 5 a factor of s(k)?
False
Suppose -6*q - 231 = -7*q. Does 21 divide q?
True
Let x(h) = h**2 - 2*h - 3. Let a be x(3). Suppose a = -j + 2*j - 10. Is j a multiple of 5?
True
Let x = -9 - 6. Let u be x/2*(-4)/6. Suppose -u*d + 46 + 14 = 0. Does 12 divide d?
True
Let y(k) = -k**2 - 3*k + 3. Let d be y(-3). Suppose -m + 202 = 3*i, 2*i - 2*m + 128 = 4*i. Suppose 4*n - 71 = d*o, -3*n = 3*o - 0*o - i. Is n a multiple of 10?
True
Suppose -40 = 4*n - 2*m + 10, -70 = 5*n - 5*m. Let d = 18 + n. Is d a multiple of 4?
False
Let q be (60/(-8))/(6/(-8)). Let h be 0 + 1/(2/q). Suppose 209 = h*j - 4*d, 0 = -3*d - 7 + 4. Is 17 a factor of j?
False
Suppose 0*j + 3*j + 12 = 0. Let c = j - -13. Is 5 a factor of c?
False
Suppose 5*b + 0*b - 355 = -5*r, 2*b = 3*r + 167. Does 6 divide b?
False
Let l(t) = -6*t**3 + 5*t**2 + 6*t. Is l(-2) a multiple of 7?
True
Suppose 0*u + 78 = 2*u. Is u a multiple of 7?
False
Let h be (4/(-6))/(12/18). Does 12 divide ((-1)/(-2))/(h/(-24))?
True
Let h(b) = 0*b + 4 + 2*b + 0. Let y be h(-5). Let c(d) = d**3 + 7*d**2 + 4. Is 19 a factor of c(y)?
False
Suppose t + 14 = 24. Is 10 a factor of t?
True
Let z(m) = m**3 - 8*m**2 + 1. Let r be z(9). Does 11 divide 3/(-6) + r/4?
False
Let a(t) = 44*t. Let u be a(5). Suppose 2*k - 3*z = 7*k - u, -3*k + 4*z = -103. Does 18 divide k?
False
Let o = -277 - -186. Let n(v) = -3*v**2 - 3*v + 1. Let x be n(4). Let t = x - o. Does 23 divide t?
False
Suppose 0*x - x + 2*q - 78 = 0, 3*q = x + 80. Let a = -42 - x. Let c = a + -16. Is c a multiple of 8?
True
Let u = 270 - 175. Is 19 a factor of u?
True
Suppose 12*o - 9*o = 99. Is 11 a factor of o?
True
Let j(g) = 3*g**3 - 6*g**2 - 4*g + 3. Does 22 divide j(4)?
False
Let n(k) = -k**3 - k + 10. Suppose 3*m - 6 = m. Let d = m - 3. Does 10 divide n(d)?
True
Let u(v) = -v + 38. Does 5 divide u(12)?
False
Suppose 0 = -0*b + 5*b - 590. Is 15 a factor of b?
False
Suppose 0 = 3*t + 2*f - 270, -5*t + 3*f + 443 = -7. Is 15 a factor of t?
True
Is 5 - (2/4)/((-3)/12) a multiple of 2?
False
Let s(i) = -i**3 - 13*i**2 + i - 47. Is s(-14) a multiple of 15?
True
Suppose -o = -4 - 28. Suppose 2*r - o = -0*r. Does 13 divide r?
False
Suppose -2*c = y + 9, -2*y = 3*y + 25. Let v be 87/9 - c/6. Is 196/v + (-4)/(-10) a multiple of 9?
False
Suppose -3*z + a - 65 = 0, -5*z + a - 93 = 14. Let x = z + 45. Does 12 divide x?
True
Let w be (9/15)/((-1)/(-5)). Suppose -5*z + w*f + 0 - 1 = 0, f = -3. Is 1 + z - (-20)/4 a multiple of 3?
False
Let a = -10 - -45. Is a a multiple of 16?
False
Suppose -3*v + 5*d = 55, 18 - 99 = 5*v - 3*d. Let s = v + 7. Is 2/s + 29/4 a multiple of 3?
False
Let s(w) = w**3 - 5*w**2 + w - 3. Let n be s(5). Suppose 80 = 5*d - n*t - 0*t, -4*t = -d + 16. Is d a multiple of 16?
True
Suppose -165 = -5*q + 2*q. Does 30 divide q?
False
Let a(f) = -28*f + 7. Let l be a(-6). Suppose 5*i + 2*s - l = 0, 4*i + 2*s - 17 = 121. Is 21 a factor of i?
False
Suppose 6*o = 90 + 54. Is 4 a factor of o?
True
Suppose 51 = l - 5*j, -l + j + 50 = 11. Suppose -5*g - 5*i + i + 437 = 0, 435 = 5*g + 5*i. Let q = g - l. Is q a multiple of 20?
False
Let m(q) = q**3 - 3*q**2 - 4*q - 2. Let t be m(4). Let s be t/(-10) + (-2)/10. Suppose -13 = -s*u - u. Is 6 a factor of u?
False
Suppose -5*l + 118 = -132. Is l a multiple of 10?
True
Let x(l) = -1 + 2*l + 0 - 4 - 2. Let a be x(5). Suppose -3*k + 3*r = -54, -a*k = -4*r - 12 - 46. Is 5 a factor of k?
False
Does 20 divide (-12)/(-72) + 1679*3/18?
True
Suppose 3*z + 4*q - 6*q - 638 = 0, -2*q + 658 = 3*z. Does 44 divide z?
False
Let g = -87 - -59. Let f = -17 - g. Does 6 divide f?
False
Let s = -722 - -1206. Does 20 divide s?
False
Suppose 3*o - 83 = 5*n, 2*n - 21 = -o - 3*n. Does 13 divide o?
True
Let f(j) = j**3 + 7*j**2 + 6*j + 3. Is f(-4) a multiple of 7?
False
Does 7 divide 6*(-1)/(-2) + 12?
False
Let k(q) = 2*q**2 + 10*q + 5. Let l be k(-7). Suppose 3*c - 2*c - l = 0. Is c a multiple of 11?
True
Suppose 0 = f - 4 - 10. Suppose 3*b - b = f. Is b a multiple of 7?
True
Let o = 0 + -6. Let f be (16/o)/((-2)/9). Let x = 24 - f. Is 6 a factor of x?
True
Let r = -13 + 17. Suppose -3*g = 2*y - 97, -4*g + 0*y = -r*y - 156. Does 8 divide g?
False
Suppose 10 = -2*u, -u + 6*u = 3*j - 121. Let n(y) = 2*y**2 - 2*y - 1. Let v be n(-1). Suppose -d - v*d = -j. Does 8 divide d?
True
Let z(y) = y**3 + 4*y**2 + 1. Let k(p) = -2*p - 5. Let