e
Let l be (5/10)/(3/25320). Does 27 divide (-2)/(-9) + l/45?
False
Let f = 15 - 19. Let h be 88/(-2)*4/f. Suppose 0 = -2*m + 58 + h. Is 17 a factor of m?
True
Let b = 13 + -25. Is (-340)/b + 2/3 a multiple of 10?
False
Let i be (-2 - -1 - 1)*50/(-10). Suppose 4*b = -i*b + 1120. Is b a multiple of 7?
False
Let n(d) = 4*d**3 - 82*d**2 + 43*d - 22. Is n(21) a multiple of 13?
False
Let v be 0/(-2) + (3 - -2). Let r be 2/(-9) + 984/54. Suppose v*p - 12 - r = 0. Does 3 divide p?
True
Let b(o) be the second derivative of o**3/6 - 2*o**2 - 2*o. Let a be b(6). Suppose -3*r = -4*r + a. Does 2 divide r?
True
Let c(t) = -2*t**3 - 34*t**2 + 20*t - 72. Does 6 divide c(-18)?
True
Let m(y) = 2*y**3 - 5*y**2 + 6*y - 6. Let u = 12 - 9. Is m(u) a multiple of 15?
False
Let z be (-2)/8 - 755/4. Is 24 a factor of (-15)/(-20) - z/4?
True
Let h(m) = 2 - 1 - 2 + 40*m**2. Suppose 4*a - 5*y = 11, -6*y = -a - 2*y + 11. Does 13 divide h(a)?
True
Suppose 279 - 1529 = -5*u. Is 25 a factor of u?
True
Suppose 40 = 3*i - 254. Suppose 0 = -5*m + 182 + i. Does 10 divide m?
False
Let b(s) = s**2 + s - 1. Let h(v) = -6*v + 3. Let d(g) = 4*b(g) + h(g). Suppose 0 = -0*m - 2*m + 2, -4*m - 6 = -5*z. Does 4 divide d(z)?
False
Suppose -8 = -6*z + 16. Suppose -2*q + 0*q = 5*b + 362, 5*q = -z*b - 922. Let n = -105 - q. Does 34 divide n?
False
Let a = -15 - -17. Let f = 5 + a. Let p(x) = x**3 - 8*x**2 + 9*x - 4. Is p(f) a multiple of 10?
True
Let r be -2 + (0 - 2) - -10. Does 9 divide (-43)/(-1) + r + -4?
True
Let y(d) = 3*d - 32. Let b be y(8). Is 0 - 62*-1*b/(-16) a multiple of 10?
False
Let w = -18 + 58. Suppose 4*j - 396 = -4*s, s - w - 65 = -3*j. Does 16 divide s?
True
Let k(u) = -u**3 - u**2 + u + 1. Let r be k(-4). Suppose -2*x - 1375 = -1517. Let c = x - r. Does 26 divide c?
True
Let c(r) = 6*r**2 - 21*r - 7. Let m be c(6). Suppose -45 = -7*a + 2*a - 5*f, -f = -2*a + 6. Suppose -a*j + m = -172. Does 19 divide j?
False
Let x(d) = -3*d + 9. Suppose 0 = -4*b + 36. Let h be x(b). Is 94/3 + 6/h a multiple of 17?
False
Suppose 3 = 4*r - 1, 0 = -3*w - 3*r + 3810. Is w a multiple of 27?
True
Let u be (2 + 0)*(-35)/10. Does 12 divide (-8)/(-3)*(-63)/u?
True
Let b be (5/(-2))/(11/198). Let j be 4/(-5)*1*b. Suppose 24 = 5*c - j. Is 3 a factor of c?
True
Suppose 2*s - 7*s = 2*b - 480, 4*s + b - 384 = 0. Does 8 divide s?
True
Let d be 6/1*2/6. Suppose 0 = 9*w - 13 - 23. Suppose d*b = w*b - m - 67, 3*b - 118 = -2*m. Does 18 divide b?
True
Suppose -12*n + 7285 = -7*n. Is 47 a factor of n?
True
Suppose 2*r + 5*v - 111 = 0, -4*r + 9*r + 4*v - 303 = 0. Suppose -5*t - h - 19 = -r, -4*t + 3*h + 20 = 0. Is 144/27*30/t a multiple of 20?
True
Suppose 289 - 85 = 2*m. Suppose 5*v = 3 + m. Is 8 a factor of v?
False
Let t(r) = r**2 + 12*r - 17. Let b(w) = -3*w - 19. Let k be b(-9). Is t(k) a multiple of 43?
False
Let k(w) = -w**3 + 16*w - 16*w**2 - 10*w + 31 - 7 + 13*w. Let f be k(-17). Let c(y) = y**3 + 11*y**2 + 8*y + 4. Does 12 divide c(f)?
True
Does 39 divide 98406/36 - 21/6?
True
Let n(m) = -m**3 + 16 + 4*m**2 - 3*m**2 + 10*m + 10*m**2. Let u be n(12). Is 3 a factor of ((-6)/(-4))/((-4)/u)?
True
Suppose 0 = 2*f - 3*y - 1747, -7*f - y - 4400 = -12*f. Does 26 divide f?
False
Let g = -418 - -766. Does 12 divide g?
True
Suppose -3*p + 226 = -8*p + 3*d, d = 4*p + 178. Let s = 32 - p. Is 18 a factor of s?
False
Let o = -279 - -2287. Is 74 a factor of o?
False
Let v = 14 - 12. Let w = 6 - v. Suppose -2*c = -6*c - b + 99, 5*c = -w*b + 132. Is 10 a factor of c?
False
Let z be 22*((-5)/(-20))/(2/(-8)). Let v = z - -85. Is v a multiple of 21?
True
Let t = 1176 - -184. Is t a multiple of 64?
False
Suppose 3*j = -o + 5*o - 19, -j = -5*o + 21. Suppose -o*c = -50 - 106. Let a = 12 + c. Is a a multiple of 13?
False
Is (0 - -54) + 24/4 a multiple of 30?
True
Suppose -81*v = -77*v - 1580. Is 5 a factor of v?
True
Let p = 2148 + -899. Is p a multiple of 25?
False
Let w be -3 + 9 + -1 + 0. Suppose -4*v + 14 = u, -w*u + 2*v = -7 + 3. Suppose u*n - 2 = -0, 2*t = 4*n + 10. Is 4 a factor of t?
False
Suppose -3*b - b = -16. Let o be ((-3)/6 - -3)*76. Suppose -b*w + o = -2*f, -5*w + 89 + 146 = -3*f. Is 25 a factor of w?
True
Suppose 2*m - 4*u + 11 = -m, 2*u = -4*m + 22. Suppose -m*l + 221 = -19. Is l a multiple of 16?
True
Let b(l) be the third derivative of -l**4/12 - l**3/2 - 2*l**2. Let a be b(-2). Suppose a + 10 = z. Is z a multiple of 5?
False
Suppose -4*a + 1059 = -1601. Does 7 divide a?
True
Does 49 divide 3/((810/4900)/27)?
True
Suppose 10 = r + 4. Suppose r*x - 296 = 4*x. Is x a multiple of 37?
True
Let u = -36 + 41. Suppose u*j - 720 = -10*j. Is 7 a factor of j?
False
Let q = -70 + 212. Is 8 a factor of q?
False
Suppose -u + 3 = -0. Let j be (-8 + 2)/(u/(-2)). Suppose j*m - 70 = 102. Is m a multiple of 14?
False
Let b = -47 - -77. Suppose -b = -5*s - 10. Is 30 a factor of s*((-75)/(-10) + 0)?
True
Let v(l) = 8*l + 85. Does 4 divide v(-2)?
False
Suppose -802 = 12*g - 3862. Does 5 divide g?
True
Let p(s) = s**3 - s**2 - s. Let w be p(2). Let a(u) = 10*u**3 + u**2 + 2*u. Let f be a(w). Suppose -f = 3*m - 7*m. Is m a multiple of 5?
False
Let q be 2 + 4/(8/6). Let x(b) = -2*b. Let a be x(-5). Suppose -q*m = -a*m + 135. Is 8 a factor of m?
False
Suppose -f - 1 + 4 = 0. Suppose -2*d - 18 = -4*x - 0*x, f*x = -3*d + 27. Suppose -5*y + 205 = -3*b + x*b, y - 59 = 3*b. Is 11 a factor of y?
True
Suppose -4*k + 812 = 4*b - 5*b, 0 = -3*k - 4*b + 628. Is 12 a factor of k?
True
Let l(x) = -3*x**3 + 25*x**2 + 15*x - 28. Let z(c) = 4*c**3 - 38*c**2 - 23*c + 42. Let v(i) = -7*l(i) - 5*z(i). Is v(-14) a multiple of 5?
False
Let g = 374 - -67. Suppose 267 = 3*v - 3*w, g + 4 = 5*v + 2*w. Is 31 a factor of v?
False
Let k(o) be the second derivative of o**5/60 + o**3/3 + 8*o. Let q(f) be the second derivative of k(f). Is q(6) a multiple of 3?
True
Is -15*14/280 + (-246)/(-8) a multiple of 17?
False
Suppose -3*o + 2*o + 88 = 3*g, 2*g = 5*o + 36. Is g a multiple of 6?
False
Let u(x) = 5*x**3 + 5*x**2 - 5*x + 2. Let d be u(3). Suppose 4*k = i + 19, -i - 30 + 7 = -5*k. Is d/3 + i/(-9) a multiple of 14?
True
Is (-105)/9*522/(-10) a multiple of 34?
False
Let z = -191 - -431. Suppose -25*l = -26*l + z. Does 20 divide l?
True
Let u(l) = 3*l**2 + 6*l + 2. Let k be u(-2). Suppose 3*i = k*i + 48. Does 13 divide i?
False
Is 21 a factor of (-114)/(-152) - 4698/(-8)?
True
Let n(x) = -73*x - 76. Does 15 divide n(-7)?
True
Let f(w) = -w**3 - 2*w**2 + w + 2. Let i be f(-2). Let z be 2/5*(i - 10). Is 77 + (-4 - -3) - z a multiple of 11?
False
Let w(l) = 2*l**2 - 5*l + 6. Is w(-14) a multiple of 26?
True
Let f(i) = 2*i + 5. Let r(x) be the first derivative of -7*x**4/4 - 2*x**3/3 + x - 4. Let w be r(-1). Is f(w) a multiple of 17?
True
Suppose -10*p + 18954 = 16*p. Is p a multiple of 14?
False
Let j(t) = 0*t + 2 - 4*t - 2*t - 3. Let c be j(-1). Suppose c = y, o + o - 5*y = -3. Does 4 divide o?
False
Let z(v) = -14*v + 21. Is z(-21) a multiple of 27?
False
Let f(a) = -224*a**2 - 2*a + 1. Let o be f(1). Let k be (o/(-36))/((-1)/(-4)). Let g = 44 - k. Is 10 a factor of g?
False
Let l = 496 + 260. Is 36 a factor of l?
True
Suppose 5*k = -3*x - 39, -x + 4 = -0*x - 4*k. Let o be (12/16)/((-2)/x). Suppose u - 5 = -r, 75 = 5*r - 2*u - o*u. Is r a multiple of 10?
True
Suppose 0 = 2*v + 4*w + 24, 5*v + w + 8 = -16. Let p(q) = q**2 + 4*q - 5. Let x be p(v). Does 20 divide (x/(-3))/((-2)/(-48))?
True
Let i(p) = 3358*p**2 + 8*p + 10. Is 8 a factor of i(-1)?
True
Let x(h) = -37*h + 60. Is x(-10) a multiple of 18?
False
Suppose 12 = 4*k + 3*i - 19, k + 2*i = 14. Suppose -4*b = 2*r + 12, -3*r = -2*r - 3*b - 9. Suppose r*p + 240 = k*x + p, -x = p - 57. Does 14 divide x?
False
Let r be 2/20 - (-1279)/10. Let t = -58 + r. Does 35 divide t?
True
Suppose -4*j + 5 + 3 = 0. Suppose -j*m + 18 = -3*m. Does 8 divide (m/(-5) + -2)*20?
True
Let g = -95 + 100. Let r = 62 - g. Does 6 divide r?
False
Let n(h) = -22*h + 15. Let p be n(-9). Suppose -3*q + p = -z, -4*q + 3*z - 8*z = -265. Suppose -q = -5*g + 60. Does 11 divide g?
False
Suppose 4 = b + 2*y + 12, -2*y = -4*b + 8. Let z be (4 + b)*1 - 2. Suppose 0 = t - 6 - z. Does 8 divide t?
True
Let f(q) = -q**3 - q**2 - 3*q + 138. Is 23 a factor of f(0)?
True
Suppose -920 = -11*y - 370. Is y a multiple of 25?
True
Let j(d) = -d**2 + 10*d -