/(-2))/(39/208). Suppose -j*q = -27*q - 3796. Is 35 a factor of q?
False
Let h(j) = 0*j + 7*j - 2*j**2 + 7*j**2. Let y(u) = 4*u + 5. Let i be y(-2). Is h(i) a multiple of 5?
False
Let v be 25/10*18/15. Let i = 36 + v. Does 39 divide i?
True
Let w(c) = 17*c. Let v be w(-3). Let j = v - -119. Suppose 5*z - 550 = 4*y, 42 = z + 2*y - j. Is 11 a factor of z?
True
Suppose 33*q - 28*q + 20 = 0. Let a = -8 - q. Is 8 a factor of a/(-22) + 2190/55?
True
Suppose 0 = -18*g - 18*g + 37*g - 6096. Is g a multiple of 3?
True
Suppose 1233 + 1391 = 2*r. Is r a multiple of 40?
False
Suppose -2*c + 190 = 14. Let p = 365 + c. Does 32 divide p?
False
Suppose 3*l + 4*b + 0*b = -7, -2*b = -4*l - 2. Let r be (-12)/4 - (l + -3). Is 36 a factor of (((-2)/(-4))/r)/(3/432)?
True
Let h(f) be the third derivative of 13*f**6/24 - f**5/60 - f**4/8 - f**3/3 - 15*f**2. Let q be h(-1). Does 7 divide (-7124)/q + 2/5?
False
Suppose 203 = 5*i - 17. Suppose -38 = 3*a + 25. Let u = i + a. Does 5 divide u?
False
Let b be 3 + (1 - (0 + 1)). Let f(r) = 9*r**3 - 3*r**2 - 9*r + 5. Let z(i) = -7*i**3 + 2*i**2 + 8*i - 3. Let s(m) = -3*f(m) - 4*z(m). Is 3 a factor of s(b)?
True
Suppose 0 = -5*k + 3*k. Suppose -3*c + 188 + 16 = k. Suppose r + l = c, -4*r + 37 = -5*l - 235. Does 15 divide r?
False
Suppose -1769 - 2671 = -12*a. Suppose 3*d - d + l = 157, -a = -5*d + 2*l. Suppose 0 = -7*c - 20 + d. Does 4 divide c?
True
Is (-4)/(-12) + (-147145)/(-30)*(-15 + 17) a multiple of 327?
True
Suppose -30*a + 36571 = 13171. Does 6 divide a?
True
Let f(m) = 77*m**3 - 1 - 1 - 8*m - 8*m**2 + 19*m - 72*m**3. Is f(5) a multiple of 54?
False
Let g be 48/2*2/4. Suppose 4*k + 2860 = 17*s - g*s, 0 = 5*s - k - 2860. Is 52 a factor of s?
True
Suppose -5*z = 578 - 358. Is 37 a factor of (4213/z)/((-1)/4)?
False
Let i(a) = -332*a + 312. Does 18 divide i(-24)?
True
Suppose 262*k - 260*k = -h + 30095, k = h + 15052. Does 4 divide k?
False
Is 10 + 0 + -19 - -24345 a multiple of 9?
True
Let p = 9 - 5. Suppose 0 = -2*u - 3*c + 8 - 44, 84 = -3*u + 3*c. Is (-24)/(-30)*p/(u/(-135)) a multiple of 6?
True
Let s(h) = -7*h - 60. Let n be s(-9). Suppose -n*y - r + 551 = 0, y - 4*r - 27 = 161. Does 46 divide y?
True
Let c(q) = q**2 + 2*q + 49. Let j(b) = 2*b**3 + b**2 - b - 4. Let i be j(-2). Let y be i - ((-49)/14 + (-2)/4). Is 17 a factor of c(y)?
False
Let y be (1/(-1))/((-13)/13). Let a(i) = -130*i**3 - i**2 - i + 1. Let d be a(y). Let z = -59 - d. Is 18 a factor of z?
True
Suppose 5*k = 13*k + 64. Does 27 divide (89 - (-2 - k)) + -2?
True
Suppose 8*s - 13537 = 13120 - 8617. Does 9 divide s?
False
Suppose 0 = -4*i + 5*r - 53, 3*i + 15 = -2*i - 4*r. Is i/(-3) + 6760/60 a multiple of 44?
False
Let v = 30 + -30. Suppose 2*l - 44 = -v*l. Does 22 divide (-5670)/(-33) + 4/l?
False
Let c(s) = 26*s**2 + 48*s - 89*s - 6*s**2 + 43*s. Is 21 a factor of c(2)?
True
Let t(s) = s**3 + 44*s**2 - 111*s + 228. Is t(-36) a multiple of 96?
True
Let r(w) = 4*w**2 + 2*w - 105. Let v be r(-12). Suppose v - 2827 = -7*n. Is 34 a factor of n?
True
Suppose 0 = -d + 3*d - 4, 2*d = 3*g - 23. Suppose g*w + 2*w = 264. Suppose -3*c + w = -66. Is 3 a factor of c?
True
Let s(j) = j**3 - 4*j**2 + 8*j + 34. Let o be s(10). Suppose 3*f + 9*p - 8*p - o = 0, 5*f - 1204 = 3*p. Does 16 divide f?
False
Suppose k + 51*k - 1192 - 3592 = 0. Is k even?
True
Let m = -3321 - -26025. Does 12 divide m?
True
Let a = 27534 - 13524. Does 73 divide a?
False
Suppose -4*d = -2*f + 9626, 6*f = 7*f + 2*d - 4829. Is f a multiple of 51?
False
Suppose 5*z - 4*k = 28162 + 39970, -5*k = -z + 13639. Is 262 a factor of z?
True
Let z be 35*(-9)/(-126)*44/5. Suppose -4*b - 46 + 6 = 2*p, -4*p + 3*b = 47. Is 21 a factor of (-1466)/p - z/(-77)?
True
Let x be ((-54)/45)/((-6)/20) - 4. Suppose -12*c + 13*c - 464 = x. Suppose 13*i + c = 17*i. Does 9 divide i?
False
Is 37 a factor of (-1724)/(5 - ((-6 - 0) + (-312)/(-28)))?
False
Let g = 24 - 19. Suppose g*c - n = -427, 15 = 3*n + 24. Let p = c - -110. Does 2 divide p?
True
Let p = 17875 + -4435. Does 32 divide p?
True
Let g = 21351 - 8859. Is 36 a factor of g?
True
Let o(b) = -7*b - 35. Let w = 110 + -108. Let c(v) = -v**2 - 4*v + 6. Let q be c(w). Is o(q) a multiple of 6?
False
Suppose -4*h + 11618 - 2256 = 5*l, -5*l + 9341 = -3*h. Does 34 divide l?
True
Suppose -g = -5*j, 0 = 2*g - j - 2 + 11. Let c(w) = -w**2 - 8*w - 7. Let d be c(g). Suppose 453 = -d*x + 11*x. Is 22 a factor of x?
False
Suppose 18 = -3*c + 4*g, -3*g = 51*c - 56*c - 30. Is 6 a factor of (0 - c) + (-8215)/(-31)?
False
Let g(t) = t**2 + 16*t - 25. Let p be g(-11). Let r = 87 + p. Suppose -s = r*y - 5*y - 82, 0 = -2*y + 2*s + 82. Is y even?
False
Does 11 divide (-93275)/910*(-4)/3*(-363)/(-5)?
True
Suppose -3*f - 10*f = 1417. Let j = -61 - f. Does 8 divide j?
True
Suppose -11*n - 1352 = -3970. Let d = -82 + n. Is 6 a factor of d?
True
Is (-4)/2 + 5 + 31490/(-15)*-6 a multiple of 13?
False
Let y(a) = 2*a**2 + 5*a - 64. Let c be y(8). Let g = c - -175. Is g a multiple of 5?
False
Let w(q) = q**3 - 8*q**2 + 17*q. Let t be w(9). Let d = 15 + t. Is d a multiple of 25?
False
Is 264257/14 + ((-52)/8 - -7) a multiple of 237?
False
Let d = 413 + -414. Does 11 divide (-5 + 6)*331 - (2 + d)?
True
Let x be (2 + 0)*(-10)/4. Let p(m) = 8*m - 21. Let y(j) = 24*j - 66. Let d(n) = 8*p(n) - 3*y(n). Is 14 a factor of d(x)?
True
Let f(s) = 2157*s**2 + 732*s - 732. Does 39 divide f(1)?
False
Suppose -3*i = -2*w + 5218, -2*i + 7801 = -19*w + 22*w. Is w a multiple of 7?
False
Let t(f) = -f**3 + 13*f**2 - 19*f - 35. Let p be t(11). Is 80 a factor of (1586/(-39))/(p/69)?
False
Let n = 9 + -8. Suppose -g + n = -5*m - 269, 0 = 4*g - 3*m - 1029. Is 15 a factor of g?
True
Suppose 0 = -4*d + 2267 + 5262 + 1979. Does 46 divide d?
False
Let p(n) = 33*n**2 - 53*n + 96. Let f(l) = 22*l**2 - 35*l + 64. Let g(z) = 8*f(z) - 5*p(z). Does 49 divide g(7)?
False
Let w(u) = -u**3 + u**2 - 5*u - 2. Let l be w(0). Let k(o) = -16*o**3 - 4*o**2 - 5*o - 5. Is k(l) a multiple of 13?
True
Let v(z) = z**2 + 5*z - 1. Let d be v(-6). Suppose -176 - 249 = -17*r. Suppose 4*o = d*j - 101 - 79, j - 3*o = r. Does 20 divide j?
True
Let k(d) = 13*d - 153. Let v be k(18). Let y = -33 + v. Is y a multiple of 2?
True
Let q(g) = 10*g - 2. Suppose 0*s - 5*m + 83 = -4*s, -5*s - 2*m - 79 = 0. Let f(r) = -r**2 - 16*r + 22. Let c be f(s). Is q(c) a multiple of 3?
True
Let q = -97 - -96. Is 9 a factor of 255 - (9/(-27))/(q/(-15))?
False
Let l(j) = -j**2 + 9*j - 7. Let h(w) = w**2 - 8*w + 7. Let a(x) = 6*h(x) + 5*l(x). Suppose 6 = -3*q - 6. Is a(q) a multiple of 9?
False
Let l(c) = -92*c + 6. Let m be l(-5). Let n(g) = -27*g + 207. Let d be n(20). Let r = d + m. Is r a multiple of 14?
False
Does 177 divide ((-46728)/154)/((-2)/49)?
True
Suppose -2*z - 53452 = -r, 13*z - 12*z + 160326 = 3*r. Is r a multiple of 167?
True
Is (9824 - -2) + 1457/282 + (-2)/12 a multiple of 113?
True
Let v(z) = 125*z**2 + 92*z - 18. Is 150 a factor of v(18)?
False
Let c = -67 + 67. Let j(l) = 8*l + 192. Let m be j(c). Is 16 a factor of m/(-15)*(-3 + -12)?
True
Suppose 11865 = -125*p + 132*p. Suppose 5*d - 3*f - p = 0, 7*d = 6*d + 5*f + 317. Does 6 divide d?
True
Let c be (-41)/(3/18 + 12/(-18)). Let v = -26 + c. Suppose -k + 309 = v. Is 44 a factor of k?
False
Suppose -26468 - 36907 = -55*d + 50*d. Is 165 a factor of d?
False
Let y be 581 + 6 - (-1 - 2). Let s = y + -532. Does 29 divide s?
True
Suppose -z - 426 = -430. Suppose 0 = -2*q + 9*l - 14*l + 1003, -5*l = -z*q + 2021. Is 29 a factor of q?
False
Suppose -3*u = -u + 4*c - 16, 3*u - 46 = 5*c. Let k = -7 + u. Does 2 divide k?
False
Let z(g) = g**2 - 2*g - 9. Let i be z(5). Suppose 3*k - 324 = -i*k. Does 3 divide k?
True
Let w be (-1736)/(-14)*(-1 + (-9)/(-6)). Suppose 2*g - w = 50. Does 3 divide g?
False
Suppose 0 = -9*l + 5*l + 536. Suppose 5*n - 1544 = -l. Does 13 divide n?
False
Let p(k) = 8*k**2 + 49*k + 193. Let q be p(-11). Let t(j) = j**3 + j**2 - j + 379. Let x be t(0). Let o = q - x. Is 23 a factor of o?
False
Suppose -5*s = -3*z + 248 + 169, 5*s - 775 = -5*z. Does 2 divide z?
False
Let w be (-17 + 16)/(2/(-10)). Suppose 0 = r - 3*j - 13, j = -r + w*r - 8. Suppose -151 = -4*i + r. Is i a multiple of 19?
True
Let z(i) = -i**3 - 12*i**2 - i. Let h be z(-12). Let f be (-2*h/10)/(10/(-75)). Suppose -f*x + 22