770 = 5*m. Let j = 782 - m. Is j a multiple of 19?
True
Suppose -43*r + 5 = -48*r. Let s be (6/(-15))/(r/5) + 0. Suppose -4*l + s*l - 585 = -5*i, -3*i = l - 351. Is i a multiple of 39?
True
Suppose -360*u = -371*u + 46629. Is 11 a factor of u?
False
Suppose -a + 834 = 5*n, -2*a - a = -3*n + 504. Let p = 430 - n. Is p a multiple of 9?
False
Is (-3 + 508/(-16))/(11/(-396)) a multiple of 56?
False
Let w(y) = -y**3 - 22*y**2 + 14*y - 81. Let s be w(-24). Suppose -2*r + 1 = -s. Is r a multiple of 46?
True
Suppose 746*q = 742*q - 2*x + 25446, -2*x = q - 6354. Is 74 a factor of q?
True
Suppose 12 = -g + 5*g - 2*c, -5*g - 3*c + 26 = 0. Suppose -g*a = -3*a - 155. Is a a multiple of 23?
False
Let p(f) = 5*f - 17*f**2 + f**3 + 7*f**2 - 3*f**2 + 5 + 9*f**2. Let r be p(7). Suppose 2*v - r = -2*j + 237, -4*j = -v + 237. Is v a multiple of 13?
False
Let f(m) = m**3 + 47*m**2 - m - 42. Let d be f(-47). Suppose -4*x = -3*c - 132, -x = -4*x - d*c + 99. Is 23 a factor of x?
False
Suppose 156492 = 424*s - 410*s. Is s a multiple of 138?
True
Let i(d) = 5*d**3 - 64*d**2 - 49*d - 60. Let n(s) = -2*s**3 + 32*s**2 + 25*s + 30. Let x(p) = 3*i(p) + 7*n(p). Is 33 a factor of x(-31)?
False
Suppose -1193486 = -258*q - 1990164 + 6658954. Is q a multiple of 110?
False
Let h(k) = 5*k**2 - 3*k - 3. Let x(c) = -162 - 3*c**2 + 5*c + 4*c**2 + 165. Let j be x(-5). Is h(j) a multiple of 30?
False
Let b(l) = -11209*l - 841. Does 72 divide b(-1)?
True
Suppose -5*v + 3 + 10 = -3*m, 0 = v - 5. Let p(k) = k**3 - 3*k**2 - 2*k - 4. Let q be p(m). Suppose 3*f - 138 = -5*o, 4*o - q*f - 58 = 78. Does 6 divide o?
True
Let w = -176 - -174. Does 14 divide 159 + w + -6 + 4 + -2?
False
Suppose -5*c - o + 50 = 0, -4*c - 3*o + 25 + 4 = 0. Suppose c*a - 251 = 1135. Does 7 divide a?
True
Let f = -1777 + 5157. Does 26 divide f?
True
Let y = 208 - 391. Let w = 174 - y. Is w a multiple of 12?
False
Let z(t) = -t - 10. Let k(u) = u + 20. Let m(i) = -4*k(i) - 7*z(i). Let p be m(4). Is 16 a factor of p/(-3) + (-4 - (-1428)/9)?
False
Let v = 1546 + -1541. Suppose -a = -0*a. Suppose a = v*s - 12 - 3. Does 2 divide s?
False
Suppose -2*g = v - 2042, 0 = 4*g - 4*v + 2*v - 4100. Suppose 3*f + 341 = o + 5*f, -3*o + 2*f + g = 0. Does 31 divide o?
True
Suppose 0 + 10 = -u + 4*y, -2*y = -5*u - 32. Let t be 38*((-15)/u + -3). Let x(n) = -n**3 - 18*n**2 + 11*n + 14. Is 34 a factor of x(t)?
False
Is (12/15)/((-15)/(-69600)) a multiple of 86?
False
Let g = -284 + 173. Let d = g - -116. Suppose -4*t = -d*u - 7*t + 752, -3*t + 12 = 0. Is 9 a factor of u?
False
Let j(g) = -37*g + 61. Does 45 divide j(-42)?
False
Suppose -b = 58*t - 55*t - 20012, t = 4*b + 6649. Is t a multiple of 13?
True
Let y(p) = -11*p**3 + 8*p**2 - 23*p - 98. Is y(-8) a multiple of 14?
True
Let g be -5 - 3/(-1) - (-2 - 9). Let s = -68 + 427. Suppose -g*y + s + 190 = 0. Does 13 divide y?
False
Let i(c) = 10*c**3 - 24*c**2 + 259*c - 176. Is i(15) a multiple of 11?
False
Let a = 46890 - 15261. Is a a multiple of 39?
True
Let i = 27 - 12. Suppose -4*z = -z - i, 4*r = -3*z + 43. Suppose -258 = r*v - 636. Does 9 divide v?
True
Suppose -2*v = -2*z + 594, -v - 3 = -4*v. Let l = z - 276. Is 20 a factor of l?
False
Suppose -72 + 75 = d. Suppose d*q + 5*g = -1818, -4*q + 2*q - 1217 = 5*g. Let u = -336 - q. Does 47 divide u?
False
Let t(s) = 3*s**3 + 63*s**2 + 56*s - 30. Let b be t(-20). Let m(v) = 46*v**2 + v. Let z be m(1). Suppose z*k - b*k = -807. Is k a multiple of 25?
False
Does 300 divide (-932204)/(-84) + 42/18?
True
Suppose 3*d - 570 = -w, 6*d + 1 = 5*d. Does 7 divide w?
False
Suppose -26*r = -9*r - 85. Suppose -3*a - 14 = 5*l, -r*l - 20 = -0*l. Suppose -z - 93 = -a*s - 30, s + 4*z - 36 = 0. Does 8 divide s?
True
Let f(m) = 2*m**3 + 2*m**2 + 3*m + 2. Suppose -8*c - 36 = 4. Let s be f(c). Let y = s + 300. Is 29 a factor of y?
True
Let w(p) = -111*p - 483. Is w(-11) a multiple of 9?
True
Let z(p) = 455*p + 16. Let g(i) = 2*i + 1. Let y(m) = 5*g(m) + z(m). Is 11 a factor of y(2)?
False
Is 9 a factor of ((4 + -358)/2)/((-6)/90)?
True
Let v(z) be the third derivative of -z**8/1120 - z**6/240 - z**5/24 - z**4/4 - 7*z**2. Let n(l) be the second derivative of v(l). Is 7 a factor of n(-2)?
True
Is 54 a factor of (235 - (-1 - -1))*(16 + 1309/(-85))?
False
Suppose 6*a - 35 = -11. Suppose 2*p - 3*i - 3 = 0, -5*i - 8 = -3*p - a. Suppose 0*n - 3*n + 4*m = -208, 0 = p*n + 5*m - 226. Is n a multiple of 18?
True
Let l be (-9264)/(-18) - (-16)/12. Suppose -132 = -d + 3*u, -5*d + 170 = -2*u - l. Is d a multiple of 9?
False
Let a be 70/(-15) + 2 - (-2)/(-6). Does 6 divide 2/9 - ((-2149)/9 - a)?
False
Let s(f) = -11*f**3 + 29*f**2 + 84*f + 72. Let a(x) = -8*x**3 + 19*x**2 + 56*x + 48. Let c(k) = -7*a(k) + 5*s(k). Is 2 a factor of c(-9)?
False
Suppose z - a = 3, a = 3*a. Suppose -z*q = -0*q - 297. Let f = -48 + q. Does 13 divide f?
False
Suppose -6*y = -8*y + 8. Let t(v) = v**3 - 6*v**2 + 6*v - 6. Let i be t(y). Let u(h) = -h**2 - 17*h - 10. Is u(i) a multiple of 12?
False
Let y = 38 - -22. Suppose 2*c + 3*c = y. Let w = c - -19. Does 8 divide w?
False
Let r(d) = 2*d + 45. Let q be r(-21). Suppose 0 = -4*c - 20, 4*j + q*c - 2*c = 31. Suppose j*z - 2145 = -4*z. Does 15 divide z?
True
Is 10/6 - 34/408*-11656 a multiple of 203?
False
Let q = 52309 + -34554. Is q a multiple of 42?
False
Let b(t) = -79*t - 1. Let a be b(2). Let y = 130 - a. Is 12 a factor of y?
False
Let l = 2412 + -788. Is 23 a factor of l?
False
Suppose 3*q + 8 = o, 0 = 4*o - 8*o - q - 7. Let n be ((-2 + -1 - -3)/2)/(-1). Is 25 a factor of -43*(o - 0 - n)?
False
Let f = 24298 + -13282. Does 12 divide f?
True
Let o(q) = -6 + 4*q - 13*q - 23*q. Let t = 98 + -101. Is 9 a factor of o(t)?
True
Let u(k) = -2*k + 1. Let j(s) = s**2 + 12*s + 15. Let q be j(-12). Let m = -23 + q. Is u(m) a multiple of 4?
False
Let g be (-1)/((-2)/(-4)) - 1*45. Let l = -43 - g. Suppose 0 = 2*y - 0*y + l*x - 56, 4*y = -5*x + 97. Does 3 divide y?
True
Let q(p) be the first derivative of -9*p**2/2 + 24*p + 29. Let u be q(-9). Suppose -5*b = -5*y - u, 5*b = 4*y + 41 + 69. Is 5 a factor of b?
False
Suppose 0 = h - 2*p - 3845, 0 = 3*h - 7*p + 2*p - 11537. Let g = h - 2481. Does 57 divide g?
True
Let u be 1 + (-3)/((-15)/20). Suppose 3*f - 216 = u*f. Let b = -64 - f. Does 10 divide b?
False
Let u(d) = d**3 + 35*d**2 - d - 77. Let r(h) = 3*h + 2. Let f be r(-12). Is u(f) a multiple of 21?
True
Does 15 divide 1/((-2*2/5706)/((-52)/117))?
False
Let y(v) = -v**2 - 16*v + 7. Suppose -8*g = -25 - 7. Suppose g*d + 51 = -r, -5*d - r - 80 = -3*r. Does 12 divide y(d)?
False
Let z(i) = 3*i**3 - 26*i**2 - 42*i - 4. Is z(16) a multiple of 118?
True
Suppose 11 = 2*m - m - 4*l, 4*l = -12. Let b(q) be the first derivative of 26*q**3/3 + q**2 + 2*q - 12. Does 3 divide b(m)?
False
Let l = -51092 - -89833. Is l a multiple of 19?
True
Let m(u) = 3*u**2 - 136. Does 3 divide m(-40)?
False
Let k be (-1423)/(-2) - 20/(-40). Let h = k - 395. Suppose g - 429 = -3*g + c, -3*g - 4*c = -h. Does 21 divide g?
False
Let h(v) be the second derivative of v**4/12 + 5*v**3/6 - 7*v**2/2 + 3*v + 4. Is 15 a factor of h(-19)?
False
Suppose 2*y + y + 10 = -5*q, -3*y + 25 = -2*q. Suppose 0 = 80*l + 2*l - 492. Is 55 a factor of -4 + y - 548/l*-3?
True
Let u(k) be the second derivative of -k**3/6 + 8*k**2 - 18*k. Let p be u(16). Suppose 4*j - 27 - 237 = p. Is j a multiple of 11?
True
Suppose 2*t - 1 = 3*l, 0*t + t - 1 = 2*l. Let y(q) = -q + 1. Let j be y(l). Is 340/12 + j/(-6) a multiple of 14?
True
Let p(o) = -4*o**2 + 14*o + 22. Let c(t) = 5*t**2 - 14*t - 23. Let s(r) = -5*c(r) - 6*p(r). Let v be s(10). Let q = v + 408. Does 37 divide q?
False
Let r be (1 - 0)/(2/8). Suppose m = -2*m + 5*b + 40, -m - r*b = 15. Suppose -4*h - 2*k = -42 - 422, m*h - 5*k = 550. Is 18 a factor of h?
False
Let u(b) = 4*b**2 + 100*b + 2205. Does 9 divide u(-31)?
False
Let i(z) be the third derivative of -z**6/120 + z**4/24 + 5*z**3/6 - 3*z**2 - 11. Is 2 a factor of i(-3)?
False
Suppose -65*m + 27*m = -25*m - 39533. Is 66 a factor of m?
False
Suppose 158*u - 148*u - 30 = 0. Suppose -m + 2*q = -40, 2*m + u*q + 2 = 82. Does 6 divide m?
False
Suppose -3*g = 0, 7*z + 13*g = 8*z + 8*g - 60. Is 18 a factor of z?
False
Let g = 132 - 120. Suppose -5*u - 1407 = -g*u. Is u a multiple of 10?
False
Let o(v) = 70*v + 2