e b?
False
Does 41 divide 1030959/1539 + 2/18?
False
Let g(k) be the third derivative of 1/6*k**5 + 0 - 2/3*k**3 + 15*k**2 - 1/120*k**6 + 0*k - 1/24*k**4. Does 12 divide g(9)?
False
Let t be ((-90)/(-4))/(-8 + 1912/240). Let m = -238 - t. Is 53 a factor of m?
False
Suppose -y - 6*m = -4001 - 11227, -4*y - 2*m = -60802. Is y a multiple of 29?
False
Suppose 9*z + 4*g - 7166 = 12421, 4*z - g = 8697. Is z a multiple of 133?
False
Let f(r) = r**2 + 32*r - 8. Let n be f(-34). Suppose -3*i + 3*x = -n, 2 = x - 1. Is 7 a factor of i?
False
Suppose 0 = 5*b + 5*m - 20270, -482*m + 1 = -481*m. Is b a multiple of 9?
False
Let d(c) be the third derivative of c**4/2 - 5*c**3/3 + 734*c**2. Suppose 0*p + 3*p = -5*l, 0 = -4*l - 4*p - 8. Is d(l) a multiple of 8?
False
Let i(p) = -p**3 + 8*p**2 - 3*p - 6. Let z(c) = c**2 - 5*c + 3. Let k be z(5). Let v be i(k). Is 21 a factor of v*((-3)/(-2) + 1)?
False
Let g(j) = j**2 + 6*j + 55. Let s be g(-7). Let a = 108 + 44. Let u = a - s. Is 6 a factor of u?
True
Suppose 0 = g - 3*p - 14 - 4, p + 28 = 4*g. Is 4 a factor of g/(126/(-784) + (-2)/(-7))?
True
Suppose 9*d - 22 - 5 = 0. Suppose d*s - 10 = z + 32, 5*s - 87 = -4*z. Is s a multiple of 5?
True
Let z(r) = -65*r**3 + 5*r**2 + r + 59. Is 159 a factor of z(-7)?
False
Let g(v) = -v + 108. Suppose -97 - 134 = -21*p. Is g(p) a multiple of 4?
False
Let v(x) = x**2 - 5*x + 1. Let w(r) = r**3 + 16*r**2 - r - 11. Let p be w(-16). Let f be v(p). Suppose 0 = 4*m - 45 + f. Is 3 a factor of m?
False
Let i(t) = -1256*t - 1551. Is i(-9) a multiple of 71?
False
Let v(p) = 5*p**2 + 15*p - 10. Let r be v(-16). Suppose -3*d + r = 94. Suppose g - d = -3*g - 3*s, -2*g + 4*s = -134. Is g a multiple of 15?
True
Suppose -3*x + 10938 = 5*q, -2*x - 8103 = -5*q + 2805. Is q a multiple of 8?
True
Let y(j) = j + 0*j - 5*j - 2*j**3 - 3 - 2*j**2. Let n(p) = -33*p - 267. Let b be n(-8). Is 9 a factor of y(b)?
True
Let c(l) = -11*l**3 - 22*l**2 - 14*l - 44. Let n(t) = -7*t**3 - 15*t**2 - 9*t - 29. Let o = 32 - 37. Let w(q) = o*c(q) + 8*n(q). Does 3 divide w(-10)?
False
Suppose -3*u = -g - 57, -3*u + 63 = 2*g - 5*g. Suppose -581 = -2*p + u*l - 15*l, -4*l + 12 = 0. Is p a multiple of 28?
False
Suppose -742*f - 3248 = -746*f. Suppose -237*a + f = -235*a. Is a a multiple of 14?
True
Suppose -4*n + 3*q = -5*n - 583, -5*n + 2*q - 2830 = 0. Let k = -334 - n. Does 18 divide k?
True
Suppose -g = 2*a - 11728, 2*a = -0*a - 3*g + 11736. Suppose 6*d = a + 654. Is d a multiple of 48?
False
Is (46/299)/(-1) - (-2027904)/52 a multiple of 17?
True
Let h be (-6)/(3/2 + 0 + -3). Suppose 0 = -h*a - 5*x - 468, 3*a = 2*x - 5*x - 354. Let w = 186 + a. Is 16 a factor of w?
True
Let s be (0/(-6))/(2 + 0). Suppose 5*f + 4*m + 5 = s, f + 2*m + 7 = -0*m. Suppose -3*n - 70 = -4*n - f*w, -w - 2 = 0. Is n a multiple of 19?
True
Is 174 a factor of 36570/1 + (-10)/6*(-495)/275?
False
Let f(d) = -d + 4. Let a be f(3). Let r be ((-9)/3 - a - -2) + 137. Let l = -34 + r. Is 15 a factor of l?
False
Suppose -5*p - 987 - 348 = 0. Let g = p - -456. Does 27 divide g?
True
Suppose 11 = 5*r - i, -8*i + 20 = -3*i. Suppose -r*f + 292 + 11 = 0. Suppose 0 = 3*u - g - f, -u - u + 5*g + 63 = 0. Is u a multiple of 3?
False
Let l = -69 + 69. Suppose l = 3*g + g - 1584. Suppose g = -0*k + 4*k. Does 17 divide k?
False
Let i(f) = -f**3 - 8*f**2 - 8*f - 5. Let g = -85 + 78. Let x be i(g). Suppose x*u - 163 = 225. Is u a multiple of 12?
False
Let i = 50 + -20. Suppose -i = -11*k + 5*k. Suppose 5*o + 0*z = z + 91, -77 = -4*o + k*z. Does 18 divide o?
True
Suppose -83*x = w - 78*x - 4330, 8660 = 2*w - 4*x. Does 32 divide w?
False
Is 80 a factor of 15 - 378/27 - (-1 + 1 - 27150)?
False
Let c(q) = 31*q - 4. Let l be c(14). Let r be (-10)/(-30) - (-550)/6. Suppose 0 = -5*d + 5*m + l, -82 = -2*d + 3*m + r. Is 14 a factor of d?
True
Let q(b) = 11*b**2 - 39*b - 52. Let n be q(7). Let d(i) = -i**3 + 8*i**2 - 4*i - 5. Let l be d(5). Suppose -l + n = 2*s. Is s a multiple of 9?
False
Let y be (-18)/24*(-3)/((-18)/(-16)). Let m be (-1)/(4/(-62))*y. Suppose 27*a + 188 = m*a. Is 10 a factor of a?
False
Suppose 4*y - 2*z - 2510 = 7006, y - 2*z - 2370 = 0. Is y a multiple of 25?
False
Suppose -7*u = 4*u - 44. Suppose 0 = -u*z + 5*z + 2*j - 262, 0 = -2*z - 2*j + 520. Does 43 divide z?
True
Let g(j) = -3*j**2 + 28 - 44 + 12 - 11*j + 2*j**3 - 4*j**2. Let c(h) = -h. Let i be c(-6). Does 35 divide g(i)?
False
Let u = -378 - -384. Does 11 divide 1*u/(-12)*-110?
True
Let v = -1021 - -4063. Does 78 divide v?
True
Let d be (-2)/7 + 208/91. Let s(v) = 3*v**d + 5*v + 165 - 158 - 2*v**2. Is s(6) a multiple of 32?
False
Suppose -3*b + 2 + 7 = 0. Suppose 0 = b*c - 2*t - 132, 0*t - 44 = -c + t. Suppose -42*x - 4 = -c*x. Does 2 divide x?
True
Let r = 160 + -169. Is 12 a factor of 483 - (r/(-36) - (-15)/4)?
False
Let i = -200 - -450. Suppose 0 = -2*t + q + i, 12*q = -2*t + 10*q + 250. Is 8 a factor of t?
False
Let z be 14/4*(480/(-28))/(-5). Is (201 - 2) + z/(-3) a multiple of 39?
True
Let c(t) = -2*t - 4. Let j be c(-2). Suppose -5*p + 0*p + 2220 = j. Is p a multiple of 12?
True
Suppose -76*n + 84*n = 24. Let i(r) = 7*r**3 - 4*r**2 - 2*r + 8. Let s(o) = o**3 - o + 1. Let k(a) = i(a) - 3*s(a). Does 16 divide k(n)?
True
Let w be 5 + 2 + -752 + 2. Let z = -329 - w. Is z a multiple of 46?
True
Suppose u + 12 = -5*l - 6, -u + 14 = -3*l. Suppose -4*m + 2*p + 214 = 0, 4*m - 274 = p - 63. Suppose t + x - 20 = -x, u*t - 2*x = m. Is 8 a factor of t?
True
Is 17 a factor of ((-15382)/10)/(118/(-1180))?
False
Let x(k) = -552*k + 24. Is 48 a factor of x(-19)?
True
Suppose 3*r = 4*q - 6*q + 65, 0 = 5*r - 5*q - 100. Suppose -5*h - r = -2*j + 75, -h = -4*j + 192. Is j a multiple of 16?
True
Let w(j) = 61*j**2 - 127*j - 943. Is 34 a factor of w(-8)?
False
Let a(s) = -s**2 + 31*s - 53. Let n be a(29). Suppose 709 - 184 = n*u. Is u a multiple of 8?
False
Suppose 2*u = -d + 664, -2412 = -5*d + 4*u + 978. Is d/24 + (-16)/192 a multiple of 14?
True
Suppose 69*n - 766379 = -20*n. Is 21 a factor of n?
False
Let i be (1214/(-8) - -1)*20/(-5). Suppose -5*g + 337 = -i. Does 11 divide -1*g*(-9)/12?
False
Let r = 20256 - 9323. Does 113 divide r?
False
Suppose -11*o = -299 - 361. Suppose 3*d = 4*t - 703, o*t - 64*t = 5*d - 695. Is t a multiple of 16?
False
Suppose 3*b + 93 = 5*t, -2*t + 43 = -4*b + 3. Let c(p) = p + 25. Is c(t) a multiple of 8?
False
Let j = 136 - 129. Does 3 divide (-4)/j + (-806)/(-14)?
True
Let d(c) = c**3 + 2*c**2 - 3*c + 17. Let b be d(-4). Is 11 a factor of (-506)/(b/(-9)*-6)?
True
Let z = -19365 - -32243. Is z a multiple of 137?
True
Let h(c) = -c**2 - 1. Let a(t) = -2*t**3 - 4*t**2 + 7*t - 2. Let j(x) = -a(x) + 3*h(x). Does 3 divide j(3)?
False
Suppose -4*m + 3*l = 31 + 152, -5 = -l. Suppose 5*z = -362 - 168. Let v = m - z. Is v a multiple of 10?
False
Suppose -8143 = 17*r - 14773. Is r a multiple of 2?
True
Suppose i - 3*q - 2*q = 2472, 3*i - q = 7374. Suppose 14*v = 5*v + i. Does 13 divide v?
True
Let o = -3086 + 3209. Is o a multiple of 123?
True
Suppose 0 = -544*n + 628*n - 916272. Does 101 divide n?
True
Let z(d) = -d**3 - 21*d**2 + 22*d + 23. Let n be z(-22). Suppose -n*r + 11466 = -5*r. Is r a multiple of 40?
False
Let l(b) = b**2 - 2*b - 200. Let f be l(0). Let z = -158 - f. Does 7 divide z?
True
Suppose 3*s = -26*b + 30*b + 21908, 29189 = 4*s - b. Does 38 divide s?
True
Suppose -12 = 13*a - 15*a, 59688 = 4*o + 8*a. Is o a multiple of 70?
True
Let a = 36 + -66. Let w be (-1)/3 - (-20)/a. Is 19 a factor of w*-1*(-1 + 108)?
False
Let p(l) = -l**2 - 11*l**3 - 386*l - 1 + 387*l + 7 + 0*l**2. Is 4 a factor of p(-2)?
True
Suppose 0 = -49*w + 531623 - 49120. Does 162 divide w?
False
Suppose -5*x + x = -5*t - 33914, 4*x + 4*t - 33896 = 0. Is x a multiple of 26?
True
Suppose 4*c - 6*c - 4*g + 24 = 0, 3*c + g = 36. Let k(d) = 44*d - 15 + 48 - c - 11. Does 14 divide k(3)?
False
Let s(t) be the third derivative of 49*t**5/60 + 13*t**4/24 + 11*t**2 - 4. Does 28 divide s(-2)?
False
Let i = 52 + -43. Suppose -i*g = -550 - 278. Does 34 divide 65 - (4/14 + g/(-28))?
True
Let k(u) = u**3 - 5*u**2 - u + 2. Suppose p - 2*h = 7, 2*p - 3*p = -5*h - 10. Let d be k(p). Does 32 divide (4 + (-16)/6)/(d/(-432))?
True
Let k = -33340 - -48378. Does 206 divide k?
True
Let w(x) = 3*x**3 - 6*x**2 + 33*x - 12. Is 1