+ 5*t = 8. Does 19 divide ((-4)/x)/((-10)/225)?
False
Suppose 4*w + 104 = 5*w. Is w a multiple of 13?
True
Let v = 66 + -44. Let g = -3 + v. Let c = g + 3. Does 11 divide c?
True
Let u(h) = 8*h**2 + 11*h - 8. Is u(-3) a multiple of 9?
False
Suppose 8*n + 4221 = 15*n. Does 6 divide n?
False
Let k(s) = -21*s - 15. Let t(b) = -11*b - 8. Let o(w) = 4*k(w) - 7*t(w). Let r be o(-2). Suppose -3*c + r = -20. Is c a multiple of 5?
True
Let d(h) = h**2 + 2*h. Let n be d(-2). Let o(b) be the third derivative of -b**6/120 + b**5/60 + b**4/24 + 5*b**3 - 7*b**2. Is 10 a factor of o(n)?
True
Let s(h) = h**2 - 9*h + 6. Let y be 80/(3 - -2) + -5. Is 7 a factor of s(y)?
True
Let j be -1 + (1 - 2 - 13). Let c = j - -24. Is 3 a factor of c?
True
Let j(t) = 5*t + 44. Let d be j(-8). Suppose 910 = 11*m - d*m. Is m a multiple of 17?
False
Let t be ((-105)/12)/((-3)/(-60)). Let d be (-2)/6 - t/21. Suppose -m = -25 + d. Is 6 a factor of m?
False
Suppose 0*k = -4*k. Suppose k*u + 8 = 4*u. Suppose y + 5*i = -u + 115, y = -2*i + 101. Does 28 divide y?
False
Is 8/(80/(-90)) + 832 a multiple of 5?
False
Let c(a) = 4*a**3 + a - 1. Let o be ((-7)/(-21))/(1/3). Let k be c(o). Is (3 + -2)*(k + 1) even?
False
Let h(a) = -13*a + 17. Let k be h(-10). Is 6 a factor of (1 - (-1 - k)/2) + 3?
True
Suppose -2*g + 5*m + 525 = 2*g, 4*m = g - 123. Let y = 200 - g. Does 13 divide y?
True
Let x = 107 + -42. Let f = 109 - x. Is f a multiple of 11?
True
Let v(p) = -p**3 + 14*p**2 - 26*p + 14. Let c be v(12). Let y(l) = -8*l - 28. Is 8 a factor of y(c)?
False
Suppose 2*d + h = 3333 - 668, -4*d + 5300 = -4*h. Does 10 divide d?
True
Let x be -2*1/(6/(-15)) - -1. Let h(b) = -b**3 + 6 + 5*b**2 + 0*b**2 + 0*b**3 + 3*b**2 - 3*b. Does 20 divide h(x)?
True
Suppose -352 = -t + 101. Is t a multiple of 27?
False
Let r(v) = v**3 + 9*v**2 + 7*v - 4. Let d = 1 + -9. Let m be r(d). Let l = 58 - m. Is l a multiple of 9?
True
Let w be (-640)/(-140) - (-3)/7. Suppose 5*q + 20 = 0, 2*o + w*q = 56 - 8. Is 17 a factor of o?
True
Let x(r) = -r**3 - 8*r**2 + 15*r + 14. Let j be x(-10). Let y = j - 33. Does 4 divide y?
False
Let q = 1115 + -379. Is 16 a factor of q?
True
Suppose -2*g + 66 + 50 = 0. Is g even?
True
Let t = 671 - 507. Is t a multiple of 19?
False
Let r = 1902 + -1196. Is r a multiple of 29?
False
Let k be 447/(-5)*5/(-1). Suppose -4*w + k = 107. Let g = w + -19. Is 22 a factor of g?
True
Let c = -42 + 26. Let d = c - -34. Is 4 a factor of d?
False
Let u(t) = t**3 + 32*t**2 + 170*t + 7. Is u(-25) a multiple of 46?
False
Suppose -u - 5*f = 4*u - 945, 5*f + 195 = u. Suppose -4*b - 34 = -u. Is b a multiple of 39?
True
Suppose 2*c + 231 = -5*s, -s - 621 = 5*c - 3*s. Let j = -74 - c. Is 23 a factor of j?
False
Let h(y) = -y**3 + 27*y**2 + 5*y - 18. Is h(25) a multiple of 30?
False
Let c(y) be the third derivative of 23*y**4/24 - 11*y**3/6 + y**2. Let w be c(7). Let f = w - 62. Is 22 a factor of f?
True
Suppose 4*p + 455 = 9*p. Let j = -25 + p. Is j a multiple of 11?
True
Does 4 divide 151 + (7 - 4) + 2 + -4?
True
Let i(c) = c**3 - 9*c**2 - 9*c + 4. Is i(14) a multiple of 39?
True
Suppose -16*a + 526 = -706. Is a a multiple of 52?
False
Let f(t) = t**3 - 8*t**2 - 10*t + 12. Let d be f(9). Let c(w) = w**3 - 5*w + 6. Let q be c(d). Let i = q + -6. Is i a multiple of 3?
True
Is 10/15*(-8)/(80/(-1965)) a multiple of 2?
False
Let a = -133 - -141. Let u(p) = 3*p + 36. Is 20 a factor of u(a)?
True
Suppose -1165 - 140 = -5*x. Does 15 divide x?
False
Suppose 3*m + 12 = 0, 5*s = 2*s - 3*m - 45. Let x be 64/s + (-2)/11. Let o(r) = -r**3 - 4*r**2 + 2*r - 5. Is 31 a factor of o(x)?
False
Suppose 7 = 4*x + 15. Is (50/(-3))/x*(4 + 14) a multiple of 30?
True
Suppose -a = -0*a - 190. Suppose 0 = 2*k - 2, 2*k + a = 4*y. Does 16 divide y?
True
Let g(r) = -147*r + 768. Is g(-9) a multiple of 14?
False
Let o(k) = -k**3 + 5*k + 260. Does 52 divide o(0)?
True
Does 9 divide (26/6)/(-13) + 22415/15?
True
Let z = 78 + -76. Suppose 0 = 4*g + z*y - 546, 4*g - y - 260 - 295 = 0. Does 13 divide g?
False
Let v be 0 - (-667 - 4 - 1). Suppose 3*f - v = 2*i, 4*f - 583 - 313 = -2*i. Suppose 3*n - 3*d = -49 + 214, 4*n - f = 5*d. Does 17 divide n?
True
Suppose -74*h + 71*h + 1728 = 0. Is h a multiple of 16?
True
Suppose 0 = 3*h - 4*k - 8838, 2956 = -3*h + 4*h + 2*k. Is 25 a factor of h?
True
Let d be ((-3)/(-2))/(4/8). Suppose 3*j - 311 = t, 0*j = d*j + 4*t - 316. Does 26 divide j?
True
Suppose -9*n + 6*n + 3*m + 1023 = 0, -4*m - 344 = -n. Is n a multiple of 17?
True
Let w(o) = o**3 - 5*o**2 + 3*o. Let b be w(3). Let y = 30 + b. Is 3 a factor of y?
True
Let w(y) = -y**3 - 9*y**2 - 10*y - 10. Let k be w(-8). Is 8 a factor of -4*3/k*-4?
True
Suppose 0 = 5*a - 4*h + 6*h - 202, -3*a + h = -130. Is 14 a factor of a?
True
Let z = -2 + 4. Suppose w = 1 + z. Suppose 6*d - w*d = 54. Is d a multiple of 15?
False
Suppose 0 = -2*k + 4*f + 10, 2*k + 3*f - 4*f - 1 = 0. Let q(r) = -153*r - 2. Does 37 divide q(k)?
False
Let y be (-616)/(-18) + (-6)/27. Suppose 7*v + y = 2*m + 2*v, 3*m + 5*v - 51 = 0. Is 2 a factor of m?
False
Let t = -28 - -16. Let q(b) = b**3 + 15*b**2 + 29*b - 11. Is q(t) a multiple of 6?
False
Let i be (2/(-1) + 1)*97. Let w = i + 59. Let o = 56 + w. Is o a multiple of 9?
True
Let v be -1 - (8/2 - 10). Suppose v*a = h - 0*h - 104, 0 = a. Is h a multiple of 15?
False
Is 32 a factor of (0 - -1)/(6713/(-2240) + 3)?
True
Suppose -2*f = -2*r + 452, 0 = 3*r + 4*f - 543 - 149. Does 3 divide r?
True
Let t(r) be the second derivative of r**6/120 - r**3/6 - r**2/2 + 7*r. Let a(d) be the first derivative of t(d). Is 13 a factor of a(3)?
True
Let r(g) = g**2 - 4*g - 3. Let d be r(5). Let i(v) = 54*v - 10. Is i(d) a multiple of 9?
False
Let x(a) = -a**3 + 7*a**2 + 8*a + 16. Let k(q) = -q**3 + 7*q**2 + 8*q + 15. Let h(r) = 5*k(r) - 4*x(r). Is 5 a factor of h(8)?
False
Let r be (-12)/78 - 4/(-26). Suppose -2*t = -0*t - 2. Suppose n - 34 - t = r. Is 7 a factor of n?
True
Let d be ((-6)/(-4))/(9/18). Suppose -1 = -d*p + 2. Is 210/40*p*4 a multiple of 7?
True
Let m(h) = -21*h - 194. Is m(-32) a multiple of 17?
False
Let b(j) be the third derivative of j**6/120 + 7*j**5/60 + j**4/4 - j**3 - 15*j**2. Let x(h) = h**2 - 6*h - 5. Let d be x(6). Is 7 a factor of b(d)?
True
Let v(z) = -1097*z**2 - 3*z + 5. Let p be v(2). Is 14 a factor of ((-2)/6)/(11/p)?
False
Let g(q) = q - 21. Let z be g(5). Does 10 divide (168/z)/(6/(-8))?
False
Let b = -1737 - -1930. Is b a multiple of 19?
False
Suppose 22*c - 3255 - 2839 = 0. Is c a multiple of 58?
False
Suppose 4*u - 56 = -3*g - g, 2*u - 19 = -5*g. Let y = 19 - u. Does 11 divide (-4)/(-2)*52/y?
False
Suppose a + 4 = -2*z - 8, z - 3 = -5*a. Let w(h) = h**2 + 9*h + 5. Let s be w(z). Is 21 a factor of s/2*56/(-6)?
True
Let b(w) = -9*w**3 - 15*w + 30. Is b(-6) a multiple of 76?
False
Suppose 0 = -4*s + s + 24. Let f be 12/s*8/3. Suppose 278 = 2*y + 3*y + 2*i, 0 = f*y - 3*i - 204. Is y a multiple of 18?
True
Let m be 4*1 + (-12 - -1). Let p = m - -27. Is p a multiple of 9?
False
Suppose -5*q + 233 = w, 0 = 4*w + 54*q - 49*q - 902. Is w a multiple of 22?
False
Suppose -364 = 4*k - 1744. Does 69 divide k?
True
Suppose -n + 12*t - 14*t + 792 = 0, n + 4*t - 792 = 0. Is 14 a factor of n?
False
Let i(v) be the third derivative of 2*v**3 - 2*v**2 + 0 - 7/12*v**4 - 1/60*v**5 + 0*v. Does 14 divide i(-9)?
False
Suppose -5*x = h + 2, 5*x = -2*h - 2*h + 22. Suppose -36 = -4*m + h. Does 3 divide m?
False
Is 14/119 - (13071/(-17) + 1) a multiple of 11?
False
Does 66 divide ((-26)/(-2))/((171/(-522))/(-19))?
False
Let v(z) = 2*z**3 - 14*z**2 + 14*z - 11. Is 24 a factor of v(9)?
False
Suppose 26*f + 116 = 24*f. Suppose 17 = 4*c - 343. Let y = c + f. Is 16 a factor of y?
True
Let t be (-1)/(-2 - (-4 - -1)). Let v be 5 + 2 + t + -4. Let u = v - -12. Does 4 divide u?
False
Let y = -355 - -559. Is 13 a factor of y?
False
Suppose 11614 = 15*v - 25616. Does 47 divide v?
False
Let j be -20*4/16*2. Let w be j/(-60) - (-58)/12. Suppose l - 3*x - 5 = -4*l, -25 = -w*l - x. Is l a multiple of 2?
True
Let j = 43 - 39. Suppose -j*f + 3*s = s - 58, 3*f - 4*s = 51. Does 4 divide f?
False
Let y(m) = -26*m - 8. Let v be y(-5). Suppose -31 - v = -h. Let t = h - 81. Does 24 divide t?
True
Let n = 56 - 30. Let t = n - 22. Suppose 2*z - t*z = -92. Is z a multipl