= a - 3. Is 10 a factor of k(14)?
False
Suppose 3*t - t - 14 = 0. Is t a multiple of 7?
True
Let w = 27 - -34. Is w a multiple of 11?
False
Let n be 2*(9/(-2))/3. Let s(l) = 36*l - 2. Let w be s(n). Let a = -77 - w. Does 12 divide a?
False
Suppose 4*z - 526 = -5*r, -5*r - 2*z = -4*r - 110. Is 6 a factor of r?
True
Let f = 23 - 12. Is f a multiple of 3?
False
Let w(t) = -2*t + 2. Let y be w(4). Let q(h) = h**3 + 7*h**2 - 7*h - 9. Is q(y) a multiple of 15?
False
Suppose -8*l + 160 = -3*l. Does 8 divide l?
True
Let t(y) = -y**3 + 4*y**2 - 2*y - 2. Let b be t(2). Suppose -63 = b*j - 5*j. Is j a multiple of 11?
False
Let k(j) = -2*j + 3. Let y(t) = -2*t + 3. Let w be y(3). Does 9 divide k(w)?
True
Suppose 5*z = 264 + 1171. Is 41 a factor of z?
True
Let r = 52 + -30. Let d = 3 + r. Does 25 divide d?
True
Suppose 49 = -3*n + 4*n. Does 12 divide n?
False
Let p = 36 + 21. Let g = p - 22. Does 14 divide g?
False
Suppose -7 - 1 = 4*n. Let h = 5 + n. Is h a multiple of 2?
False
Let d(w) = w + 14. Let x be d(-11). Suppose -4*v = -12, -x*y + 5*v = 2*v - 63. Is 6 a factor of y?
True
Suppose -9 = -i + 19. Is i a multiple of 14?
True
Is 4 a factor of (5/(50/(-405)))/((-9)/24)?
True
Let u(z) = 15*z + 42. Is 21 a factor of u(7)?
True
Suppose 12*h = 10*h + 102. Is 17 a factor of h?
True
Let q(v) be the first derivative of -1 + 1/4*v**4 - 1/3*v**3 - 2*v + v**2. Is 3 a factor of q(2)?
True
Let l be 3/(-5) + 36/10. Let u(v) = -v**3 - 4*v**2. Let n be u(-4). Suppose 36 = l*c - n*c. Does 4 divide c?
True
Suppose -g = 3*g - 40. Suppose -z - 4*z - g = 0. Let n = z + 5. Is 3 a factor of n?
True
Suppose -11*l = -890 - 452. Does 16 divide l?
False
Is (1*2 - (-8 - -11))*-61 a multiple of 17?
False
Suppose 0 = 5*t - 105 - 100. Suppose -t + 1 = -2*j. Is j a multiple of 10?
True
Let m(u) = 2*u + 1. Let y be m(5). Let z = -8 + y. Let c(s) = -s**3 + 3*s**2 + 3*s + 4. Does 13 divide c(z)?
True
Let j(i) = 4*i - 32. Let f be j(8). Let u(p) = 11 + 2*p - 2*p + p. Is u(f) a multiple of 10?
False
Let q(v) = 5*v**2 - 5*v + 3. Suppose -5*k - 2 = -4*g, 0 = 2*g + 3*k - 20 + 8. Let l be 3*(-1 - -5 - g). Does 12 divide q(l)?
False
Let k be (-2)/4 + 27/6. Suppose -g - 5*x + 29 = 0, 0*g - 3*g + k*x = 8. Suppose -5*q = -g - 16. Is 4 a factor of q?
True
Let g(s) = -4*s + 13. Let k be g(-10). Suppose -k + 157 = 4*a. Is 26 a factor of a?
True
Let p be 6/(-8) - (-63)/(-28). Is 13 a factor of (-2 - (-6 - p)) + 52?
False
Let j = -13 - -257. Suppose 2*m = -2*m + j. Is 13 a factor of m?
False
Let t(q) = -q**2 - 10*q - 9. Let f be t(-9). Let v(s) = -2*s + f + 1 - s**3 - 1 - 4*s**2. Does 8 divide v(-4)?
True
Suppose 2 = z - 1. Suppose 5 = 4*q - z. Is 7 a factor of q/(3/(54/4))?
False
Let u(k) = -k - 3. Let n be u(-7). Suppose n*i - 36 = -3*p, 0 = p - 5*i - 0*i - 12. Does 6 divide p?
True
Let s(f) = 2*f + 18. Let g be s(-12). Is (26 + 2)*(g - -7) a multiple of 10?
False
Is (-1 - 0) + 2 + 43 a multiple of 17?
False
Let n(q) = q**2 - 23*q - 9. Does 15 divide n(24)?
True
Suppose -4*f + 67 - 7 = 0. Let z = f + -11. Suppose -30 = -p - z*p. Is p even?
True
Does 8 divide (-1 - (-6)/9) + (-361)/(-3)?
True
Suppose 12 = 3*t + t. Suppose -t*q - 2*q + 35 = 0. Is q a multiple of 5?
False
Let x = 51 - 20. Does 12 divide x?
False
Let f = -1 - -4. Suppose -u + 240 = f*u. Does 20 divide u?
True
Let h(c) = c**2 + c + 23. Let x be h(0). Let t = 33 - x. Let a = -7 + t. Does 3 divide a?
True
Let z(f) = -f**2 - 10*f. Suppose -m - 24 = 3*m. Is z(m) a multiple of 13?
False
Suppose -3*c = -f - 463, -600 = -4*c - 0*f - 3*f. Is c a multiple of 23?
False
Let j = 73 - 39. Suppose -74 = -4*i + j. Is 6/i + 615/27 a multiple of 10?
False
Suppose -434 = -4*f + 7*o - 6*o, -4*f - 4*o = -444. Is f a multiple of 16?
False
Suppose 8 = 4*n, -5*u + n + 49 = -29. Let z = -13 + u. Does 3 divide z?
True
Let u = -87 + 143. Is 15 a factor of u?
False
Suppose -2*g - 4*a = -6*g - 276, g + 4*a + 44 = 0. Let i = g + 90. Is i a multiple of 8?
False
Let o(g) = 4*g + 72. Is 4 a factor of o(0)?
True
Let s(x) = -2*x**3 - 2*x**2 - 3*x + 3. Suppose 0 = 3*t - 1 - 8. Suppose -3 = t*k + 6. Is 16 a factor of s(k)?
True
Suppose -a - 3*h = -3*a - 44, 0 = -2*h + 8. Let n(u) = -12*u**2 + u. Let l be n(1). Let m = l - a. Does 5 divide m?
True
Suppose -44*j = -47*j + 27. Is j a multiple of 4?
False
Let w(p) = 2*p**2 + 7*p + 2. Suppose 0 = 5*r + 5 + 20. Does 8 divide w(r)?
False
Does 13 divide 3/(3/(-2)) + 28?
True
Suppose -5*m + m + 172 = 0. Is 10 a factor of m?
False
Suppose -3*p + 68 = -7*p. Suppose -3*h + 34 = 2*w - 21, -115 = -4*w - 5*h. Let q = p + w. Is q a multiple of 9?
True
Let i = -2 + 7. Let a = 2 + i. Suppose a = -3*f + 97. Is f a multiple of 17?
False
Let s = 64 + -43. Is s a multiple of 7?
True
Suppose -5*s - 5*v = -187 - 258, 0 = 3*s - 4*v - 239. Does 6 divide s?
False
Let p(j) = 2*j + 14. Is 7 a factor of p(7)?
True
Suppose -7*g = -8*g - 5*q + 261, 0 = 5*g + q - 1305. Is g a multiple of 14?
False
Let q be -1 - -1 - (-2 - 8). Suppose 0 = 3*h - 5*h + q. Let w = 2 + h. Is w a multiple of 3?
False
Suppose -3*r - 2*f + 12 = 2*r, -2*f = 4*r - 10. Suppose -j = -2*s + 20 + 27, -r*s + 62 = 2*j. Does 13 divide s?
True
Let c(v) = -v**2 - 9*v + 4. Suppose 4 = 2*d - 16. Suppose -3*p - d = -p. Does 13 divide c(p)?
False
Let y = -17 + 39. Suppose -y = -5*g - 2*r, -g + 5*g + r = 17. Does 4 divide g?
True
Suppose -v + 56 = -106. Does 27 divide v?
True
Let r be 15 - (1 + 1)/(-2). Let f(k) = -k**2 - 7*k - 10. Let l be f(-4). Suppose r = -l*b + 3*b. Does 8 divide b?
True
Let t(z) = z**3 + 5*z**2 - 13*z + 8. Let f be t(-7). Let l = 16 - f. Does 13 divide l?
False
Let i = 268 + -135. Let q = i + -89. Does 11 divide q?
True
Suppose 0 = -0*j - 2*j - x + 246, 0 = 3*x + 12. Is j a multiple of 49?
False
Suppose -5*f + 5*u = -30 - 125, -3*u - 64 = -2*f. Is f a multiple of 2?
False
Let g be 1/(((-12)/45)/(-4)). Suppose 40 = 5*n - g. Suppose 3*z = 29 - n. Does 6 divide z?
True
Suppose -11*c = -2*c - 1782. Does 18 divide c?
True
Suppose 5*h - 37 = -4*j, -3*j - 4*h + 29 = -0*j. Suppose y + 0 = j. Let i = y + -1. Is i a multiple of 2?
True
Let a(m) = 18*m + 30. Is 12 a factor of a(9)?
True
Does 15 divide 892/12 - ((-16)/(-12))/(-2)?
True
Suppose -w + 4 = w. Suppose -w*t + 32 + 62 = 0. Is 17 a factor of t?
False
Suppose 4*y = 3 + 5. Suppose -5*v - d + 82 = 0, -d + 22 = y*v - 6*d. Does 8 divide v?
True
Let k be -2*(335/2)/(-5). Let b = k - 18. Is b a multiple of 16?
False
Suppose 4*h = -4 - 8, 2*h = 3*a - 9. Let o be (128 - 1) + a*2. Suppose -3*t - o = -5*m, 5*m = -5*t + 140 - 35. Does 8 divide m?
True
Let v = 4 + 0. Suppose 17 = v*x - 95. Let n = x + 4. Is 16 a factor of n?
True
Suppose 4*t - 52 = -2*p, p - 20 - 7 = -t. Is 4 a factor of p?
True
Let p(n) be the second derivative of -5*n**3/6 + 3*n**2/2 + 8*n. Does 6 divide p(-3)?
True
Suppose 5*v = -v + 66. Is v even?
False
Does 11 divide (-50)/125 - (-364)/10?
False
Suppose r - 16 = -3. Is r a multiple of 4?
False
Is 119 + ((16 + -4)/(-3) - 0) a multiple of 17?
False
Suppose 2*n + 5*d = -1, n - 6 + 1 = 3*d. Suppose -4*b = -n*l + 22, -b - b = 0. Is l a multiple of 11?
True
Let c be -2 + 2 + (-1 - -5). Suppose 2*x - 3*x + 13 = 5*b, -c*b = -5*x + 181. Does 11 divide x?
True
Let o(b) = 2*b**2 - 11*b + 8. Let w be o(7). Let j = 45 - w. Let n = 26 - j. Does 6 divide n?
False
Let y(t) be the third derivative of t**5/15 + 7*t**4/24 + 3*t**3/2 - 4*t**2. Is y(-6) a multiple of 37?
True
Suppose 2*r + b - 4*b - 41 = 0, r = -2*b + 3. Does 3 divide r?
False
Let l = -230 - -333. Is 19 a factor of l?
False
Let a = -40 + 55. Does 2 divide a?
False
Let m be (6/6)/(2/4). Suppose 5*w - 5*a = 140, -3*a = 5*w - m*w - 108. Does 16 divide w?
True
Let f(m) = 3*m**2 - 8*m + 7. Let w be f(5). Is 18 a factor of (-2)/(-7) - (-2256)/w?
True
Let z(m) = 12*m - 4*m + 10 - 2. Is z(4) a multiple of 10?
True
Let l(d) = 4*d**2 - 2*d + 12. Is l(-5) a multiple of 16?
False
Let l(i) = i**3 - 15*i**2 + 7*i - 29. Does 20 divide l(15)?
False
Suppose 3*s - 3*m - 1137 = 2*m, -3*m = s - 379. Is s a multiple of 13?
False
Let d(g) = 5*g**3 - 10*g**2 + 8. Let n(r) = 6*r**3 - 10*r**2 + 7. Let h(s) = 5*d(s) - 4*n(s). Let a be h(10). Let f = a - -6. Is f a multiple of 18?
True
Let d = 70 + -42. Let t = d - 11. Is t a multiple of 5?
False
Suppose 4*f - f = -p + 36, -2*p + 5*f = -28. I