= -2*v + v - 3*i + 276, 0 = -v - 5*i + 286. Is v a multiple of 29?
True
Let n be ((-2)/(-6))/((-5)/(-45)). Let c(v) = 13*v**2 - 12*v - 6. Let x(h) = -7*h**2 + 6*h + 3. Let p(i) = -6*c(i) - 11*x(i). Is p(n) a multiple of 4?
True
Let t(r) be the third derivative of r**7/504 + r**6/360 + r**5/20 + 5*r**4/24 + 9*r**2. Let p(o) be the second derivative of t(o). Does 13 divide p(-3)?
False
Let k = 1159 - 799. Does 18 divide k?
True
Suppose 2*z + 20 = 2*g, 28 = -4*z - 6*g + 4*g. Is 58 + (6/z)/((-9)/24) a multiple of 10?
True
Let y(w) = 5*w**2 - 3*w + 98. Is 13 a factor of y(18)?
True
Suppose 0 = -b + 3*b - 3*o - 19, 0 = -4*b + 3*o + 29. Suppose 2*f = -b*c + 320, 2*f + 6*c - 338 = 10*c. Is f a multiple of 36?
False
Let a = 1263 + -832. Is 36 a factor of a?
False
Let k = -85 - -85. Suppose 5*x - 531 - 889 = k. Is 11 a factor of x?
False
Suppose -4*l = 4*z - 20, 1 + 11 = 3*l + 2*z. Suppose l*t = -10 + 24. Let r(v) = 4*v. Does 7 divide r(t)?
True
Suppose -29*a + 1218 = -2436. Is 63 a factor of a?
True
Suppose -4*m + 2*r + 64 = 3*r, -5*r = -5*m + 80. Suppose 5*p - 3*d - m = -52, 3*d = 6. Is -4 - p - 46/(-2) a multiple of 20?
False
Suppose -w = 4 + 4. Is (-274)/w*1 + (-8)/32 a multiple of 17?
True
Let g(b) = b - 12. Suppose 0*u + 3*u + 2*m = -2, -m - 1 = 3*u. Let z be g(u). Is (-3)/2*16/z a multiple of 2?
True
Let k(d) = -d - 4. Let h be k(-2). Let l = h - -17. Suppose 2*a - l = 17. Does 7 divide a?
False
Is 5 - 3 - -4 - 1427*-2 a multiple of 52?
True
Suppose -j = -2*j. Suppose 6 = v - 4*n, -7 + j = -v + 5*n. Suppose 0 = -v*b + b + z + 28, 0 = 2*b + 4*z - 50. Is b a multiple of 9?
True
Suppose 8*y - 4*y = -i + 4463, 1121 = y + 2*i. Does 31 divide y?
False
Let q(k) = -28*k - 4. Let x be q(-9). Suppose -3*b = -5*v + 642, -v - 4*b + 5*b + 130 = 0. Let o = x - v. Does 22 divide o?
False
Let w(h) = -h**3 + 11*h**2 - 5*h + 5. Is w(9) even?
True
Let l(s) = 6*s**3 - s**2 - s + 1. Let a be l(1). Suppose -3*i = a*d + 4, d + 1 = i - 3. Suppose 143 = i*c + 25. Does 17 divide c?
False
Is (-2)/(-5) + (-473)/(-5) a multiple of 2?
False
Suppose 0 = 5*q - 3*d - 11349, -4*d - 7755 + 3207 = -2*q. Is 12 a factor of q?
True
Let u = -35 + 41. Suppose 3*w = -u*z + 4*z + 51, -4*z = -3*w - 147. Does 4 divide z?
False
Suppose 0 = 2770*n - 2762*n - 1056. Is 3 a factor of n?
True
Suppose -3*z + 0*z + 5*n + 1511 = 0, -5*z + 3*n = -2545. Is z a multiple of 16?
True
Suppose 3*o + 2*o = -25. Let u be (15 - o)*(-2)/(-4). Suppose -4*i - u = -5*i. Is i a multiple of 5?
True
Suppose 4*g = 3*w - 30, 32 = -8*g + 3*g + w. Is 8 a factor of -2 - (-18 + 2 + g)?
False
Suppose 0 = 4*k + 4, 5*x + 4*k = x + 1068. Suppose 5*j = -2*l - 10 + 339, 4*l = -4*j + x. Does 13 divide j?
True
Let q = 4 - -1. Let d(b) = b**3 - 4*b**2 - 6*b + 3. Let h be d(q). Does 8 divide (-4 + 8)*(-4)/h?
True
Let f(k) be the first derivative of -141*k**4/4 - k**3/3 - k**2 - k - 6. Let w be f(-1). Suppose 6*x = 3*x + w. Is 19 a factor of x?
False
Suppose -72 = 12*j - 18*j. Suppose -24 = -d - 5*f, -j = -0*f + 4*f. Is 9 a factor of d?
False
Let b = -496 + 1477. Is b a multiple of 108?
False
Suppose 4*w - 5*h + 3*h = 456, -2*w = -5*h - 212. Does 10 divide w?
False
Suppose 42*i = 37*i + 5995. Is 109 a factor of i?
True
Suppose 2*j + 26 = 3*j - 5*i, -2*j = 5*i - 7. Let t(c) = c**2 + 6*c - 105. Let d be t(-14). Let s = j - d. Is 3 a factor of s?
False
Let f be (-2 + 3)/(2/(-38)). Let d = -13 - f. Suppose -d*q + q = -25. Is q a multiple of 4?
False
Suppose 3*v - 45 = -2*v - 3*p, -14 = -2*v - 2*p. Is (v/30)/((-791)/(-395) - 2) a multiple of 9?
False
Suppose -5*l + 0*l = -3*g + 496, 2*l + 3*g + 190 = 0. Let j = -51 - l. Is 19 a factor of j?
False
Let g = -49 - -13. Is (-20)/10 - (g + 2) a multiple of 10?
False
Suppose -3*r + 1086 = 3*l, 15*r + l = 17*r - 718. Is r a multiple of 40?
True
Let s = -78 + 87. Is 7 a factor of s?
False
Suppose 0 = 152*c - 132*c - 17280. Does 5 divide c?
False
Suppose -3*n - 11 = -4*n. Let u = 33 + 22. Let l = u - n. Does 11 divide l?
True
Let w(y) = -8*y**3 - y**2 + 1. Let f be w(1). Let g = f + 23. Suppose -n + g - 5 = 0. Does 5 divide n?
True
Suppose -640 = -25*h + 510. Suppose -6*n + 130 = -n. Let z = h - n. Is 10 a factor of z?
True
Does 7 divide 4/((-28)/(-3647)) + -1?
False
Let d(j) = -54*j - 40. Is 7 a factor of d(-4)?
False
Suppose 44*x + 3520 = 52*x. Is 8 a factor of x?
True
Let n = -75 + 139. Suppose -2*q + 0*q + n = 0. Is q a multiple of 6?
False
Suppose 346*n = 341*n + 12330. Is 9 a factor of n?
True
Suppose 0 = -2*r - 4*r + 66. Let k(t) = -t**3 + 12*t**2 - 6*t + 7. Is 9 a factor of k(r)?
False
Let y = -51 + 30. Let a = 11 - -59. Let j = a + y. Does 9 divide j?
False
Suppose -3*x + 0*a + 37 = -a, 2*x + 4*a - 6 = 0. Suppose 0 = -2*b + x + 31. Is b a multiple of 4?
False
Let c = -61 + 28. Does 5 divide (-404)/(-44) - (-6)/c?
False
Let d(f) = 18*f**3 + f**2 + f + 1. Let y(r) = -r**2 - 12*r - 18. Let p be y(-10). Is d(p) a multiple of 21?
False
Let n = 37 + -19. Suppose 5*a = a + z + n, 4*a - 26 = -3*z. Suppose -6 - 19 = -a*l. Does 4 divide l?
False
Let z be (5 + -6)/((-3)/(-114)). Let l = z + 62. Is 24 a factor of l?
True
Let v(r) = 93*r**3 + r**2 - r. Is v(1) a multiple of 3?
True
Does 17 divide (-24)/96 + (-818)/(-8)?
True
Suppose -2*t = o - 734, t - 3*t = -5*o - 746. Is t a multiple of 23?
True
Suppose 0 = 5*k - t - 864, 6 - 11 = -5*t. Let w = k + -88. Does 17 divide w?
True
Let r = 136 + -200. Let l be (7/14)/(2/r). Let p = l - -25. Is p a multiple of 5?
False
Suppose -57*i + 55*i + 1302 = 0. Does 21 divide i?
True
Suppose 22*i - 10*i - 19584 = 0. Does 48 divide i?
True
Let d = -130 - -329. Is 14 a factor of d?
False
Let h be (5 + -5)*3/(-6). Let o(u) = u**3 + 2*u + 50. Does 10 divide o(h)?
True
Let s be ((-38)/(-6))/(9/(101 - -7)). Suppose 0 = -3*z - 5*p - s + 219, 5*z - 3*p = 227. Is z a multiple of 6?
False
Let h(z) = -3 + 0 + 7*z - 1. Let u be h(8). Suppose -d = d - u. Does 13 divide d?
True
Suppose 22 = 4*p - 18. Suppose 0 = -3*g - 2*g - 1130. Does 19 divide g/(-4) - p/(-20)?
True
Let r(f) = -4*f - 8. Let z be r(-4). Suppose -4*c + 4 = z. Let m(a) = -43*a + 2. Does 9 divide m(c)?
True
Let q(p) = -217*p - 13. Is q(-7) a multiple of 11?
False
Suppose 17*h - 6120 = -3*h. Is h a multiple of 9?
True
Suppose -3*l - 4*v - 313 = -1953, 0 = 4*v - 8. Does 34 divide l?
True
Let a = -83 - -90. Let m(t) = -t**3 + 4*t**2 + 4*t - 2. Let s be m(5). Let p = a - s. Is p a multiple of 14?
True
Is (-22)/4*2682/(-99) a multiple of 10?
False
Let w(n) = -n**2 - 6*n + 24. Let y be w(-8). Let i be ((-54)/y)/(9/48). Let h = -18 - i. Is h a multiple of 5?
False
Suppose -6*j + 2*j - 36 = 0. Let r be 6 + 2/(6/j). Suppose r*g - 393 = -4*h, 2*h = -g + 20 + 179. Is 34 a factor of h?
True
Suppose -1587 = -6*v + 1275. Does 53 divide v?
True
Let u(t) = 396*t - 56. Is 13 a factor of u(5)?
True
Suppose 0 = -a + 5. Suppose 0 = -a*c + 2*c + 240. Suppose i - 5*i = -c. Is i a multiple of 12?
False
Suppose 7 = -4*q - 1. Let l(y) = -5*y - 4. Let o(p) = 11*p + 7. Let u(t) = -5*l(t) - 3*o(t). Is u(q) a multiple of 15?
True
Let m be (-7 - 102/(-12))*330. Let a be 0/(3 - 1) + -4. Is 5 a factor of (-1)/a - m/(-36)?
False
Let f be 1506/4 - (-4)/(-8). Let y be f/((-8)/2)*-2. Is (-1)/(((-4)/y)/1) a multiple of 16?
False
Let r(k) = k**3 - 6*k**2 - k + 2. Let g be r(6). Let s(t) = 6*t**2 + 9*t + 3. Is s(g) a multiple of 9?
True
Let o(w) = 19*w - 7 + 49 + 14 - 18. Is o(13) a multiple of 15?
True
Suppose 24 = -5*r + 39. Suppose 2*l + 6 = 0, -4*l + r*l = -3*y + 12. Suppose -2*m - y*m - a + 31 = 0, -a = 2*m - 10. Is 3 a factor of m?
False
Let a(f) = -9*f + 93. Is 9 a factor of a(9)?
False
Let o be 3 + ((-1)/4 - 9/12). Suppose 3*i - 3*c - 231 = 0, -o*i - 5*c + 2*c = -159. Is i a multiple of 18?
False
Let v = 13 - 6. Suppose v - 25 = -6*i. Suppose 2*x = i*t - 61, -5*x = t - 0*t + 8. Does 5 divide t?
False
Is 49 a factor of 12/21 + 6900/28?
False
Let i = 257 - 143. Is i a multiple of 19?
True
Let r = 608 + -229. Let j = r + -151. Is j a multiple of 31?
False
Suppose 5*w - 5*t = 6*w - 21, 3*t - 28 = -2*w. Let x(p) = p**3 - 9*p**2 - 17*p + 25. Does 9 divide x(w)?
False
Let k(v) be the second derivative of -1/10*v**5 + 9/2*v**2 + 4/3*v**4 + 2*v - 11/6*v**3 + 0. Does 10 divide k(7)?
True
Suppose -10*w + 15*w - 4497 = 2*c, w - 4*c = 885. Is 41 a facto