 (-10241)/343 + (-285655)/(-7) a multiple of 166?
False
Suppose -29*y = -4709 + 852. Let c = -60 + -49. Let i = c + y. Does 6 divide i?
True
Let b(o) = -114*o - 14. Let f(m) = -116*m - 15. Let q(t) = -5*b(t) + 4*f(t). Let n be q(-3). Does 14 divide ((n/(-5))/2)/((-2)/(-10))?
True
Let y(g) = -51*g + 66*g + 77550 - 77541. Suppose c = -3*z - 5, -3*c + 17 = -z - 8. Does 19 divide y(c)?
True
Is ((-1368)/120)/(18/(-12330)) a multiple of 4?
False
Suppose -b - 55 = -3*q + 966, q - 362 = -4*b. Is q - ((-1)/3)/(19/171) a multiple of 17?
False
Let m(t) = 35*t**2 - 5*t + 37. Is 3 a factor of m(-5)?
False
Let j(l) = -25*l + 896. Let h(k) = -11*k + 449. Let r(v) = 11*h(v) - 6*j(v). Does 2 divide r(24)?
False
Suppose -1380*k = -1398*k + 725814. Is 12 a factor of k?
False
Is 13 a factor of ((-111)/2)/(1 - 2)*20?
False
Suppose j + 2 - 3 = 0, 0 = -4*c - 3*j + 59. Let g = -59 + c. Is (-6564)/g - (-12)/90 - 4 a multiple of 26?
False
Let f(o) = -o**3 - 21*o**2 + 31 - 28*o + 76*o**2 - 3*o**3 + 2*o**3. Is f(27) a multiple of 3?
False
Let q = 663 - -20064. Does 163 divide q?
False
Suppose 5084 = z - 5*m + 523, -4*m - 4 = 0. Suppose -12*g + 16*g + 3652 = 4*h, 5*h - 2*g = z. Is 91 a factor of h?
True
Let i(g) = -g**2 - 2*g - 1. Let u be i(-1). Let b(x) = 3*x**2 + 25*x - 45. Let q(d) = -d**2 - 9*d + 15. Let a(h) = -3*b(h) - 8*q(h). Does 5 divide a(u)?
True
Suppose 4*c - 6*c - s = -109, -4*c - 5*s + 209 = 0. Suppose -82 = c*q - 58*q. Is q a multiple of 5?
False
Let p(y) = y**2 + 28*y + 27. Let i be p(-1). Suppose -2*d - 2*k + 110 = 0, i = -4*k - 18 + 30. Is d a multiple of 11?
False
Let k = -177 + 174. Is (2 - -57) + k + 0 even?
True
Let c(m) = m**3 - 17*m + 10*m**2 - 12 - 16*m**2 + m**2. Suppose 7*z = -z + 64. Does 11 divide c(z)?
True
Let c(z) = z**2 + z - 14. Let k be c(-5). Suppose -818 = -b + r, -2*r = k - 12. Is b a multiple of 77?
False
Let s = 75 - 66. Suppose -s = -d + 3*v + 2, 0 = -d + 2*v + 9. Suppose -2*w + d*w + 889 = 5*k, -3*k + 543 = -5*w. Is k a multiple of 15?
False
Suppose 2421*x - 2412*x - 10323 = 0. Is x a multiple of 16?
False
Suppose 0 = -r + 2*w + 348, 7*r + 4*w - 342 = 6*r. Suppose -r*p + 353*p = 819. Does 8 divide p?
False
Suppose -5*d + 3628 + 1652 = 0. Let g = d + -217. Does 8 divide g?
False
Let b(m) = -m - 2. Let z(w) = 6*w + 74. Let t(d) = 3*b(d) + z(d). Is 11 a factor of t(4)?
False
Let v = 45 + -120. Let t = -70 - v. Does 2 divide t?
False
Let g = -240 + 242. Does 50 divide (4/(16/1764))/(3/g)?
False
Let u be (444/5)/(-1 - (-21)/15). Suppose -u = -7*y + 429. Is y a multiple of 31?
True
Suppose 5*a - 13*d + 17*d = 158150, 0 = a - 2*d - 31616. Is 326 a factor of a?
False
Suppose 32*r + 2*f + 165482 = 39*r, -5*r + 4*f + 118204 = 0. Does 30 divide r?
True
Let a(r) = r**2 + 8*r - 7. Let c be a(-9). Suppose c*k + 0 - 18 = -2*b, 0 = 3*b + 4*k - 30. Suppose -b*o + 35 + 145 = 0. Is 5 a factor of o?
True
Is 4917 + (-1 + -8 - -6) + 0 a multiple of 6?
True
Let b = 7650 + -2627. Does 26 divide b?
False
Let r(l) = -l - 17. Let m be r(-23). Suppose 25*q - m = 26*q. Let c(b) = -23*b + 44. Does 14 divide c(q)?
True
Suppose 0 = 5*z - 490 - 60. Suppose 114*j = z*j + 372. Let l = 170 - j. Is l a multiple of 7?
True
Let w(c) = 12*c + 6. Let v be w(-2). Let y be (-722)/(-171) - (-4)/v. Suppose -2*m + 373 = 5*t, -5*t + y*m + 0*m + 379 = 0. Does 15 divide t?
True
Let k be (18/24)/(12/64). Suppose 0 = -3*s, 2*s = z - k*z + 540. Is 45 a factor of z?
True
Let o(q) be the third derivative of -q**7/840 + q**6/40 - q**5/24 + 5*q**4/24 - q**3 + 18*q**2. Let h(g) be the first derivative of o(g). Does 5 divide h(5)?
True
Let i(c) be the second derivative of c**6/720 + 9*c**5/40 - 4*c**4/3 - 8*c. Let p(u) be the third derivative of i(u). Is 5 a factor of p(-12)?
True
Suppose 0 = -2*u + 5*q + 1325, -134*u + 135*u + 3*q = 646. Suppose 2*m + u = -3*b + 2297, -4*b = 4*m - 3284. Does 54 divide m?
False
Let v = 366 + -364. Is 13 a factor of (-414 - 28)/(0 - v)?
True
Let c(x) be the second derivative of -x**5/2 - x**4/12 + x**3/2 - 4*x**2 - 34*x. Let j be c(-5). Suppose -98 = -10*n + j. Is n a multiple of 13?
True
Suppose k = 15*t - 16*t + 1738, 5*k = 5*t - 8660. Suppose 0 = 3*q + d - 1037, -5*q + 2*d = 5*d - t. Is 4 a factor of q?
True
Let j(t) = 3*t - 10 - 7*t**2 + 2*t - 7*t**2 + 15*t**2. Does 20 divide j(5)?
True
Suppose 29*w - 28125 = 7081. Is (w/2)/1 + (-1 - -2) a multiple of 12?
False
Let y(o) = -195*o + 15. Let g be y(-5). Suppose 0 = -2*w + 5*v + g, 5*w = -7*v + 4*v + 2506. Is w a multiple of 20?
True
Let q(h) = 11*h + h**2 - 5*h + 0 - 3 - 7. Let o be q(-8). Is 374/o - 4 - (-4)/6 a multiple of 11?
False
Suppose -40*s = 30*s - 49*s - 1337280. Is s a multiple of 64?
True
Let l be (33 + -118)*((-14)/10 - -1). Suppose 0 = 19*y - l*y + 780. Does 13 divide y?
True
Is 4 a factor of (-158)/(-237) + (-10004)/(-6)?
True
Let m be ((-2)/(-6))/(-3 - (-56)/18). Suppose -l + 26 = q, 0*q - m*q = -5*l + 114. Is l a multiple of 6?
True
Let y(o) be the second derivative of -25*o + 0 - 2/3*o**3 - 3*o**2. Is y(-3) even?
True
Let p(b) = 2*b**3 - b**2 - 5*b + 2. Let k be p(2). Suppose 0 = -3*v + 6, -k*w + v = -w - 277. Let g = w - 25. Does 17 divide g?
True
Let n(q) = q**2 + 16*q + 27. Let g be n(-12). Let m = 141 + g. Is 30 a factor of m?
True
Does 8 divide (-97)/(-194)*(0 + 4038)?
False
Let n = -153 + 101. Let q = n + 20. Let w = q - -42. Does 9 divide w?
False
Let l be 116/10 + 9/((-180)/(-8)). Suppose 912 + 2664 = l*h. Is 10 a factor of h?
False
Suppose 2*u = v, 2*u + 2*v = -3*v + 24. Suppose u*h - 429 = 1671. Is h a multiple of 75?
True
Let i = -9456 - -14216. Is i a multiple of 68?
True
Suppose -19*p = -760 - 171. Suppose 2*m - 52 = 2*d - 0, -2*m - d + p = 0. Does 25 divide m?
True
Let z be -4 - (-1)/(0 + 3/36). Suppose -13*t + z*t = -8360. Suppose 0 = 5*k + 3*u - t, 4*k = 5*k - 5*u - 312. Is 47 a factor of k?
False
Is 41 a factor of (5 - 3)*(-1 - (-6)/8*4566)?
True
Let n = -9 + -9. Let h be (4/n)/(-1) - (-25069)/387. Is 22 a factor of h + 22/26 + 4/26?
True
Let q(j) = 2*j**3 - j**2 + 3*j - 3. Let i be q(2). Suppose -i = -8*l + 5*l. Suppose -120 = -2*p + 4*d + 4, -3*d = -l*p + 282. Is p a multiple of 9?
True
Let a = -10051 - -15519. Does 7 divide a?
False
Let i = -104 - 264. Let z = -118 - i. Is z a multiple of 14?
False
Let o(n) = 8*n**2 - 10*n - 17. Let u be o(13). Suppose 15*m + u = 5165. Is 11 a factor of m?
True
Let f be (-51)/42*-2 - (-9)/(-21). Suppose f*t + 3*u - 831 = 0, -u + 2080 = 5*t + 4*u. Is 64 a factor of t?
False
Suppose -a = 5, 3*a + 19 - 7 = y. Let m be (-5 - -4)*0 + y. Let q = m + 8. Does 2 divide q?
False
Let b = 139 + -278. Let a = b + 286. Does 11 divide a?
False
Let g(p) be the first derivative of 2*p**5/15 - p**4/2 + 5*p**3/6 + 5*p**2/2 + 23. Let i(z) be the second derivative of g(z). Is 31 a factor of i(5)?
False
Let v = 4816 - -2234. Does 94 divide v?
True
Suppose 11*j - 1421 = -1520. Let u(f) = 36 - 5 + 16 - 5*f. Is 17 a factor of u(j)?
False
Suppose -6*p - 13*p = 0. Suppose p = 70*j - 48*j - 3872. Does 22 divide j?
True
Let p = 20813 - 20810. Let x be (1 - 118/2)/(-2). Suppose 4*m - x = -3*a + 696, p*a + 15 = 0. Is m a multiple of 30?
False
Let j be (3*32/(-120))/(2/(-10)). Suppose 2*t + 5*i = 658, -5*i + 6*i = -j. Is 14 a factor of t?
False
Let s(g) = 19*g**2 + 23*g - 118. Let l be s(6). Suppose 11*w = 99 + l. Is 73 a factor of w?
True
Let m(w) = -2*w**2 - 11*w - 20. Suppose 0 = -4*f, -2*a + 5*f - 16 = 4*f. Let q be m(a). Is ((-160)/q)/(4/18) even?
True
Let j = -9120 + 15444. Is j a multiple of 17?
True
Let h = 33950 + -18690. Is h a multiple of 14?
True
Let r(q) = 2*q**2 - 5*q + 5. Let z be r(2). Suppose 190 = z*a - 446. Does 36 divide a?
False
Let c(z) = -z + 6. Let h be c(1). Let k be (65/(-15))/((-2)/42). Suppose -h*y + 621 - k = 0. Is 13 a factor of y?
False
Suppose 42*l - 16*l - 212415 = 11*l. Is l a multiple of 51?
False
Let v(f) = -f + 19. Let l be v(17). Suppose l*c - 8 + 38 = 0. Does 10 divide -3*(290/c + -1)?
False
Let z = -6312 + 10579. Is 28 a factor of z?
False
Let u = 840 + 5409. Is 10 a factor of u?
False
Let x(s) = -3. Let f(m) = -2*m**2 + 56*m + 13. Let c(k) = f(k) - 6*x(k). Is c(26) a multiple of 15?
True
Let r = 301 + 113. Does 10 divide (-36)/r + (-2141)/(-23)?
False
Suppose -2*i - 2*j + 56 = 0, -4*i + 4*j + 109 = 5*j. Is 17 a factor 