6))/(2/12). Let n be ((-13)/39)/((-1)/z). Is n/(-8) - 1308/(-48) a multiple of 9?
True
Suppose -o - 40 = 16. Suppose -7*x + 113 = -510. Let k = o + x. Is k a multiple of 11?
True
Let f = -20 - -19. Does 30 divide f/(((-3)/(-9))/(142/(-3)))?
False
Let o(v) = 1452*v**3 + 2*v**2 - 4*v + 2. Does 12 divide o(1)?
True
Let u(s) = 23*s - 2. Let n(c) = -2*c - 2. Let d be n(-2). Let f be u(d). Let j = -25 + f. Is 10 a factor of j?
False
Let r(a) = -a**3 + 8*a**2 + a - 5. Let k be r(8). Suppose -b = k*s - 15, -4*b + 2*s = 3*s - 49. Let p(i) = -i + 28. Does 8 divide p(b)?
True
Suppose 109*u - 4522 = 102*u. Is u a multiple of 38?
True
Suppose 3*v = -v. Suppose v*x + 3*x = 204. Is 14 a factor of -4*4/(-16) + x?
False
Let y be (-12648)/(-32) + (-3)/(-4). Suppose 5*h - 273 - 126 = -k, 5*h + 4*k = y. Is 20 a factor of h?
True
Let c(w) = w**3 + 7*w**2 + 5*w - 1. Let s be c(-6). Let v(y) = y**3 - 4*y**2 - 4*y. Let h be v(s). Suppose -h*f + 126 + 4 = 0. Does 21 divide f?
False
Suppose -2*a - 4*r + 1 - 5 = 0, -2*a = -4*r + 36. Is 4 a factor of (-32)/4*35/a?
True
Suppose -682 = -9*m + 686. Does 19 divide m?
True
Suppose -g = 5*a - 580, g + 3*a + 2251 = 5*g. Suppose -5*u + g = -q, 3*u - 5*q = 5*u - 253. Does 20 divide u?
False
Suppose -4*a = -2*w + 32, -a - 2*a = -4*w + 44. Let y be (-2)/4*(-4 - w). Let b(o) = 2*o + 7. Is 11 a factor of b(y)?
False
Let m be 1/((0 + -3)/9). Let z be ((-2)/m)/(6/(-36)). Is -19*2/z*2 a multiple of 14?
False
Let z(u) = -6*u + 49. Let n be z(9). Let l(h) be the second derivative of -3*h**3/2 - 7*h**2/2 + h. Does 10 divide l(n)?
False
Let x(v) = 5*v - 4*v + 12*v. Let t be (1/2)/(1/6). Does 10 divide x(t)?
False
Suppose 761*w = 768*w - 19292. Does 52 divide w?
True
Let z(i) = -i - 7. Let k be z(-9). Let w be (k + (-1)/2)*40. Suppose -4*h + w = h. Is 4 a factor of h?
True
Let x(p) = 26*p**2 + p - 39. Does 36 divide x(6)?
False
Let k be (13 - 7) + 10/(-2). Let c(h) = 2*h**2 + 2*h + 1. Let j be c(-1). Is 10 a factor of (1 + j)/(k/19)?
False
Let k = -7 + 11. Let c(l) = -22*l + k*l - 18*l**2 + l**3 + 1 + 2. Is 5 a factor of c(19)?
False
Suppose 4*u = 2*r + 8, -4*u - 3*r = -6*r - 4. Suppose 0 = u*s + s. Suppose -3*h = -s*h - 21. Is h a multiple of 3?
False
Let y(g) be the third derivative of -g**6/120 + g**5/12 + g**4/8 + 5*g**3/6 + g**2. Let v(c) = 4*c - 76. Let d be v(20). Is y(d) a multiple of 11?
True
Let u be (-6)/(-33) + (-46)/11. Does 7 divide (-3 - u)*-4 - -18?
True
Suppose -r = -6 + 7. Let k be r/((-339)/(-114) + -3). Suppose 3*y = 13 + k. Is y a multiple of 17?
True
Suppose -k = -203 - 1127. Is 95 a factor of k?
True
Let w(b) = 318*b - 1. Let a be w(1). Suppose -4*p = -3*r - 0*r - 589, -3*r + a = 2*p. Does 19 divide (-2)/(-4) - p/(-2)?
True
Let k = 2386 + -1162. Does 18 divide k?
True
Let c(b) = -3*b**2 + 17*b + 11. Let z be c(8). Does 6 divide 6/27 + (-530)/z?
True
Let x(t) = 64*t - 2. Let k be x(-1). Let i(s) = -24*s. Let f be i(4). Let q = k - f. Is 10 a factor of q?
True
Does 10 divide 8260/25 + -3*(-2)/(-15)?
True
Let r be (-2)/4*(-18)/3. Suppose r = 4*h - 1. Is 11 a factor of (h/(-4))/((-5)/220)?
True
Suppose 5*s - 12 - 13 = 0. Suppose 4*u = -s*q - 8580, -5*q + 5*u = -4*q + 1716. Is 2/7 - q/21 a multiple of 35?
False
Let q(s) = 3*s**3 + s**2 - 14*s + 15. Is 15 a factor of q(5)?
True
Suppose -n = 5*m - 6445, 109*m - n = 104*m + 6455. Is 10 a factor of m?
True
Suppose 0 = 8*r - 5*r - 18. Let n(s) = s**2 - 4*s - 10. Let j be n(r). Suppose -2*c + 107 = 3*b, 4*b - j*c - 3*c - 135 = 0. Is b a multiple of 7?
True
Is 38 a factor of 2/(-10) - ((-5144)/10)/2?
False
Suppose 4*d + p - 21 = 0, 24 + 3 = 5*d + p. Suppose -2*w - 2 = -d. Suppose -u + 2*q + w*q + 28 = 0, -2*u - 3*q + 78 = 0. Is u a multiple of 9?
True
Let w(r) = 42*r**2 + 15*r + 11. Is w(-5) a multiple of 23?
False
Let o(d) = -127*d - 391. Does 9 divide o(-4)?
True
Let h be ((-34)/3)/(28/(-42)). Suppose 95 = 8*r - h. Is 14 a factor of r?
True
Let p(m) = m - 7. Let u be p(10). Suppose 7*l - 1300 = u*l. Suppose -4*w - 2*r = -201 - 109, -4*w = -r - l. Does 20 divide w?
True
Let c(s) = 3*s + 6. Let v be c(0). Suppose -q = -4*q + v. Suppose -q*g = -5*h - 115, 2*h + 0 = 2. Does 12 divide g?
True
Suppose -1650 = 309*i - 314*i. Is i a multiple of 30?
True
Suppose 23*n - 82485 = -24*n. Is 23 a factor of n?
False
Let s(t) = 7 - 195*t - 14 + 8. Is 26 a factor of s(-1)?
False
Suppose 244 = 2*o - 326. Is o a multiple of 57?
True
Let j(g) = -35*g + 61. Let o(r) = -34*r + 62. Let p(s) = 5*j(s) - 6*o(s). Is p(8) a multiple of 22?
False
Let y(u) = -12*u - 140. Is 7 a factor of y(-13)?
False
Let m = 47 + 392. Is 28 a factor of m?
False
Let b(a) = 2*a**3 + 2*a**2 - a - 1. Let o be b(1). Suppose 8*y + 3*q - 164 = 6*y, 3*y - o*q - 233 = 0. Is 20 a factor of y?
False
Is 6 a factor of (-3160)/(-12) + 6/(-18)?
False
Suppose -k + x + 40 = -4*k, -x - 12 = k. Let d(f) = -f**3 - 15*f**2 - 19*f + 8. Is 21 a factor of d(k)?
False
Is 7 a factor of (3235/(-6))/(-1) - 2/12?
True
Let v be 3/5 - 24/40. Suppose v = y - 6*y + 560. Suppose 2*w - 2*s - 36 = 32, 2*s = -3*w + y. Does 12 divide w?
True
Let b be (-2)/(-3) + 280/30. Suppose -3*u + 12 = 3*t, -5*u = -t + 6 + b. Does 6 divide t?
True
Let q be (-2 + 9/3)/((-3)/(-78)). Let v(o) = o**3 - 26*o**2 + 8*o - 21. Does 12 divide v(q)?
False
Let y = 3566 - 1712. Does 29 divide y?
False
Let m = -18 - -22. Suppose -2*z = -2*u, -4 = 4*z + m. Let h(a) = -27*a - 4. Is h(u) a multiple of 10?
True
Suppose 3*b - 8046 = -5*m - 3, -5*b = -5. Is 12 a factor of m?
True
Let c be 408/238*(0 - 49/(-2)). Suppose 110 = 3*h - k, -5*k + 74 + c = 3*h. Is h a multiple of 11?
False
Suppose 0 = -2*z + 6, -5*s = -3*z + z - 214. Suppose 5 = -v - s. Let w = v - -92. Is w a multiple of 28?
False
Is (-220)/(-8)*52/10 a multiple of 11?
True
Let w = -17 - 35. Let r = 20 + -14. Is 23 a factor of (w + 0)/(r/(-9))?
False
Let b(x) = 277*x + 8. Let u be b(4). Does 11 divide -1 - (2*1)/((-24)/u)?
False
Let w(b) = -3*b - 45. Let h be (-95)/5 + (3 + 0 - 5). Does 9 divide w(h)?
True
Let i = -1793 - -2475. Is i a multiple of 16?
False
Let q be (1*-1)/((-5)/810*3). Suppose -5*d + 4*s + 20 = 0, -4*d + 5*s = -9 - 7. Suppose x + q = d*x. Is 18 a factor of x?
True
Let t(g) = 3*g + 18. Let u be t(-8). Let l(w) = 3*w**2 + 9*w - 4. Let z(b) = 4*b**2 + 10*b - 5. Let d(q) = u*l(q) + 5*z(q). Is 15 a factor of d(-2)?
True
Let m(x) = 64*x - 168. Is m(8) a multiple of 16?
False
Suppose r + 11*s - 241 = 9*s, 4*s - 243 = -r. Is r a multiple of 14?
False
Suppose 0 = 2*u + 2. Let m be (-1)/u - (-8)/2. Suppose -54 - 36 = -m*r. Is r a multiple of 18?
True
Let p(z) = -8*z - 396. Does 3 divide p(-52)?
False
Let l(m) be the first derivative of -m**4/12 + 2*m**3 + 2*m**2 + m + 6. Let a(j) be the first derivative of l(j). Does 5 divide a(11)?
True
Let s = 23 - 43. Is 24 a factor of ((-3)/18*s + -3)*177?
False
Suppose -3*u + 696 = 4*s - 2*u, -16 = -4*u. Suppose 4*k + 5*j - 285 = -k, j = -3*k + s. Suppose w = -w + k. Is 10 a factor of w?
False
Let x = 72 - 62. Is 5 a factor of x?
True
Let i(z) = 216*z**2 + 3*z - 9. Is i(-5) a multiple of 168?
True
Let w(g) = g**2 + 14*g + 21. Let k be w(-18). Is 6 a factor of 1/(3/(k + -3))?
True
Let m(u) = -u - 2. Let g be m(-5). Let p = 88 - g. Let t = 141 - p. Is t a multiple of 28?
True
Let q = -37 - -39. Let f(w) = 3*w**3 + 2. Does 16 divide f(q)?
False
Let q(k) = k**2 + k - 4. Let o be q(2). Let u(c) = 2*c + o*c**2 - 9 - c + 3*c + 0*c**2. Is 17 a factor of u(4)?
False
Let i = 101 + 187. Is i a multiple of 56?
False
Let a = -211 - -1317. Is 14 a factor of a?
True
Suppose -120*l = -116*l - 4864. Is l a multiple of 34?
False
Let f = -1725 + 2734. Suppose -3*a = 5*q - f, 4*a + 108 = q - 80. Is 25 a factor of q?
True
Let c(w) = -239*w**2 + 4*w + 3. Let l be c(-1). Is l/(-1*(-9)/(-6)) a multiple of 40?
True
Let r = 341 - -859. Does 50 divide r?
True
Let r = 3199 - 2049. Is 50 a factor of r?
True
Let s be -48*(-2)/(8/2). Suppose -2*f = -3*j - j - s, -2*j - 2 = 0. Suppose -m + f = 2*w + 2*m, -4*w + m + 34 = 0. Does 4 divide w?
True
Is 12 a factor of (207/(-575)*-10)/((-3)/(-1450))?
True
Let v(q) = -10*q**2 - 7*q + 5. Let m be v(4). Let s be ((-2)/(-3))/(44/(-7128)). Let g = s - m. Does 31 divide g?
False
Let y(b) = 8*b**3 + b**2 - b + 1. Suppose 2*t + 2 = 4*t. Let d be y(t). Let f(c) = c**2 - 7*c + 4