 -r - 5. Let i be y(-12). Is (4/10)/(i/945) a multiple of 27?
True
Let b(f) = 27*f - 37. Let s be b(8). Let l = s + -34. Is 29 a factor of l?
True
Suppose 3*x + 4*h = -2*x + 167, 171 = 5*x + 2*h. Is (-62)/(-5) + (-14)/x a multiple of 9?
False
Let x = -9 - -13. Suppose 6*v - 122 = x*v. Suppose 0 = -2*n - 13 + v. Is 6 a factor of n?
True
Let c(x) = 27*x**2 - 31*x + 214. Is 77 a factor of c(8)?
True
Is 1213/3 - -2 - 2/(-3) a multiple of 32?
False
Let b(m) = -2*m - 19. Let v be b(-7). Let y(f) = -f**3 + 7*f**2 + 13*f + 3. Is y(v) a multiple of 18?
False
Let s(n) = -23*n + 5. Let q be s(-5). Let x be ((-16)/10)/((-6)/q). Does 22 divide (-8 + -4)*x/(-6)?
False
Let r(x) = 55*x**3 + 11*x**2 - 28*x + 4. Does 12 divide r(2)?
True
Let k(z) = -4*z + 1. Let v be k(-1). Suppose 0 = -v*j + 281 + 34. Is 9 a factor of j?
True
Let v(d) be the second derivative of d**4/2 + 7*d**3/6 - 26*d. Does 24 divide v(-5)?
False
Does 27 divide (-12)/234 + (-104269)/(-429)?
True
Let m(u) = 7*u**2 + 2*u - 124. Is 36 a factor of m(-17)?
False
Let b(f) = -f**2 + 16*f + 36. Is b(15) a multiple of 3?
True
Let q(g) be the third derivative of g**6/120 + 7*g**5/60 + g**4/24 + g**3/2 - 2*g**2. Let o(m) = m**3 - 9*m**2 - 10*m - 3. Let k be o(10). Does 18 divide q(k)?
True
Let v be (-3)/((-6)/155)*(0 - -2). Suppose 0*j + v = 5*j. Is 14 a factor of j?
False
Let m = 619 + -379. Suppose -13*a = -18*a + m. Does 8 divide a?
True
Let h = 1371 + -840. Is 61 a factor of h?
False
Is 54/(-567) + 4622/21 a multiple of 44?
True
Is (0 - -4) + 11/22*2712 a multiple of 80?
True
Let t(f) = 14*f**3 - f + 1. Let m be t(1). Suppose 3*w + 4*k - 30 = 0, -5*w + 96 - m = -4*k. Is w a multiple of 9?
False
Let g = 2271 + -1198. Is g a multiple of 29?
True
Suppose i - 4*i = 306. Let k = i - -176. Is 25 a factor of k?
False
Let b(g) = g**2 - 9*g + 8. Let o be b(8). Let t be o/(-2 + (2 - 2)). Suppose -52 = -a - m - t*m, -5*a - m = -244. Does 12 divide a?
True
Suppose -662 = -5*x + 708. Let h = 402 - x. Is 32 a factor of h?
True
Suppose 0 = -64*u + 7*u + 169803. Is u a multiple of 15?
False
Let p = 280 - 170. Suppose 3*a = -2*x + p, -2*x - 42 = -a - 16. Does 12 divide a?
False
Let j(v) = 125*v. Let z be j(-4). Let w = z - -945. Suppose p = -4*p + 3*l + w, 445 = 5*p + 5*l. Is 21 a factor of p?
False
Suppose 0 = -14*f + 278 + 2018. Is 43 a factor of f?
False
Suppose -u = 2 + 1, -u = 2*q - 5. Let h(y) = -y**3 - 4*y**2 - 7*y - 9. Let x be h(-3). Suppose -q*t - t + 116 = x*o, t = -o + 24. Is t a multiple of 22?
True
Let l(r) = r**2 + 8*r - 7. Let f be l(-9). Suppose 62 + 28 = f*g. Is 4 a factor of g?
False
Suppose 14*n = 35096 + 11580. Is n a multiple of 34?
False
Let f = -8 - -74. Let a = f + -32. Is a a multiple of 10?
False
Let l = 33 + -5. Suppose 23*b - l*b + 155 = 0. Is 11 a factor of b?
False
Let n = 10 + 53. Does 9 divide n?
True
Suppose -4 = -3*z - 16. Does 50 divide z/22 - 14567/(-77)?
False
Let x(f) = -f**3 + 11*f**2 - 17*f - 16. Suppose -5*m + 30 = 2*t, -7 + 3 = 2*m + 4*t. Does 9 divide x(m)?
False
Suppose -20*b + 13662 = 13*b. Does 18 divide b?
True
Let y = -95 + 85. Is y - -11 - (4/2 + -19) even?
True
Suppose -3*j + 0 - 6 = 0. Let a be j - (-8 - 2)*1. Suppose -p + 5 = -a. Is 13 a factor of p?
True
Let b(z) = 13*z + 6. Let x be b(-6). Let m = -24 - x. Is 6 a factor of m?
True
Let v(a) = -3*a**2 + 6*a + 4. Let t(p) = 6*p**2 - 12*p - 7. Let x(m) = -6*t(m) - 13*v(m). Is 10 a factor of x(-4)?
False
Suppose 3*o - 338 = -i, 0*o = o - 3*i - 96. Does 32 divide o?
False
Let b be -5 - (-357)/49 - (-4)/(-14). Suppose -4*u + u + 340 = -b*o, -u = -5*o - 96. Is u a multiple of 10?
False
Suppose 9*c = 44532 - 7938. Does 20 divide c?
False
Suppose 4*n - 7*b - 2800 = -9*b, -690 = -n + 2*b. Does 33 divide n?
False
Let i be ((-16)/(-10))/((-4)/(-10)). Suppose -4*y = i*x - 240 - 184, 4*y - 451 = 5*x. Is 22 a factor of y?
False
Let f be 8/3*(-3)/(-2). Let t be 130/(-4)*(322/(-35) - -6). Suppose t = 2*i + f*l, 4*i - 2*i - 118 = 3*l. Does 14 divide i?
True
Let r(y) = -2*y**2 + 3*y - 2*y**2 + 0*y**2 + 3*y**2 + 59. Is r(0) a multiple of 14?
False
Let h = 44 + -39. Suppose -4*p = 0, -h*k + 2*p = -401 - 154. Is k a multiple of 29?
False
Suppose 0 = 20*k - 24*k + 660. Is 5 a factor of k?
True
Let r(t) = -4 - 2 + 5 + t - 4. Let a be r(-6). Let w(b) = -b + 11. Is 12 a factor of w(a)?
False
Does 10 divide (-1)/(-7 - (-2442)/349)?
False
Let g(o) = -o**3 + o + 7. Is 7 a factor of g(-6)?
True
Let i = -46 + 50. Suppose i*l - 206 = s, s - 5*s = -4*l + 200. Does 6 divide l?
False
Let w = -5 - -13. Is 1470/w + (-8)/(-32) a multiple of 46?
True
Let f(s) be the second derivative of s**4/6 - 10*s**3/3 + 18*s**2 - 7*s. Is 24 a factor of f(15)?
False
Let l = 2522 - 1469. Does 13 divide l?
True
Suppose -14*i - 4022 = -15460. Does 19 divide i?
True
Let f = 5 - 2. Let k(i) be the third derivative of i**6/60 + i**5/60 - i**4/8 - i**3/3 + 10*i**2. Is k(f) a multiple of 13?
True
Let s = 423 + -238. Suppose 0 = a - 6*a + 3*z + s, 0 = -2*a - z + 63. Suppose 0*v + 2*v - 4*i = a, 0 = 2*v + 3*i - 13. Does 11 divide v?
True
Let h = 45 - -162. Let p = -144 + h. Is p a multiple of 9?
True
Let j(d) = -2*d**2 + 23*d - 15. Is j(10) a multiple of 15?
True
Let z(f) = -f**3 - 9*f**2 - 9*f - 3. Let q be z(-8). Let w(t) be the first derivative of t**3/3 - t**2 - 5*t + 7. Is 10 a factor of w(q)?
True
Let p = -1 - -4. Suppose -2*k + 0*k = p*l + 254, 3*l + 251 = k. Let n = l + 126. Is n a multiple of 11?
False
Let q be (-25)/4 - 3/(-12). Let a(o) = -o**2 + 3*o - 8. Let k(l) = -2*l**2 + 3*l - 8. Let j(h) = 3*a(h) - 2*k(h). Is 5 a factor of j(q)?
True
Suppose -4*f = 2*f. Suppose f = -7*m + 42 + 21. Is 2 a factor of m?
False
Does 41 divide (-20847)/(-30) + 10*(-9)/(-900)?
False
Let l(s) be the second derivative of s**3/2 + 39*s**2/2 + 15*s. Is l(-12) a multiple of 2?
False
Let o be (-24771)/(-15) + (-6)/15. Suppose 8*s = o + 69. Is 43 a factor of s?
True
Let y = 384 + -552. Let g be 1/(-5) - y/40. Suppose 4*o - 3*x - 272 = 0, -164 = -3*o + g*x + 33. Is 21 a factor of o?
False
Does 32 divide ((-520)/195)/((-3)/99)?
False
Suppose -5*t + 26 = -3*t. Suppose 0 = -49*h + 54*h + 40. Let a = h + t. Is a a multiple of 5?
True
Let f(p) = -p**2 + 10*p + 15. Is f(6) a multiple of 3?
True
Suppose -4*j = o - 7, 4*o + 5*j - 7 = 21. Suppose 204 = -o*g + 10*g. Is 17 a factor of g?
True
Let q = -12 - -23. Suppose 6*y - q - 703 = 0. Is y a multiple of 14?
False
Let g = 4 + 19. Let j = 135 - g. Does 28 divide j?
True
Suppose 2*s + 13 = 49. Suppose -p - 5*p = -s. Suppose 0 = p*m - 12, -i + m - 3 + 41 = 0. Does 30 divide i?
False
Let h be (6/10)/((0 + -3)/(-15)). Suppose 0 = -0*d - h*d + 132. Does 22 divide d?
True
Suppose -14*v + 1390 = -1130. Does 15 divide v?
True
Suppose -83 = -3*a + 2*m + 134, -2*m = 5*a - 351. Let y = 19 + a. Is 18 a factor of y?
True
Let f(m) = 4*m + 582. Is 55 a factor of f(-63)?
True
Suppose 0*x + 1640 = -2*x. Let a be x/30*6/(-4). Is 15 a factor of (-2 - 6/(-1)) + a?
True
Suppose 4*s - 3*d - 5718 = 0, 0 = 2*s + 3*d - 7*d - 2864. Is 68 a factor of s?
True
Let w be 1*((49 - 4) + 2). Suppose -9*u + 245 = w. Does 7 divide u?
False
Is 22 a factor of (2/6)/(12/8460)?
False
Suppose u + 34 = 38. Suppose -m + u*k + 10 + 109 = 0, -357 = -3*m + 2*k. Is 17 a factor of m?
True
Let h(b) = 0 - 2*b - 6 + b + 4. Let q be h(-6). Does 6 divide (42/q - -3)*2?
False
Let h(x) = -x**2 - 8*x - 16. Let n(w) = -w**2 - 8*w - 17. Let r(s) = -7*h(s) + 6*n(s). Does 2 divide r(-10)?
True
Let k be (-36)/(-3)*(-2 + (2 - -1)). Is 938/k + 1/(-6) a multiple of 39?
True
Suppose 5*z - 8 - 34 = -p, -5*z + 74 = 2*p. Suppose -2*q = -6*q + p. Is q a multiple of 7?
False
Suppose 14 = -2*z - 5*t + 5, 0 = -2*t - 6. Suppose z*l = c - l + 26, -2*l - 32 = 4*c. Let a = c + 65. Is a a multiple of 14?
False
Let t = 28 + -13. Suppose -11*f + t*f - 224 = 0. Does 10 divide f?
False
Suppose 2*j = f - 7, -2*j + 2 = 4*f + 4. Let r(o) = -4*o**3 - 3*o**2 - 4*o - 6. Is r(j) a multiple of 11?
False
Suppose 260*a = 256*a + 652. Is a a multiple of 7?
False
Let c(g) = -2*g**3 - 5*g**2 - 6*g - 9. Is 58 a factor of c(-6)?
False
Suppose 0 = 7*d - 598 + 346. Does 18 divide d?
True
Let n = 120 + -61. Does 21 divide n?
False
Let p = 44 + -32. Is 14 a factor of 6/p + 278/4?
True
Suppose -76*j = -88*j + 52896. Is j a multiple of 79?
Fal