se
Let h(o) be the second derivative of 5*o**3/6 + 2*o**2 + 12*o. Let j be h(-4). Is ((-1)/(j/868))/((-1)/(-4)) a multiple of 31?
True
Is 4 a factor of 1 + (-8 - -12) - (-4)/((-8)/(-2902))?
True
Let a = 58 + -56. Let d(g) = -2*g**2 + 4*g - 1. Let y be d(a). Does 16 divide (15*10)/3 + 2/y?
True
Suppose t - 6645 - 1 = -5*v, 3*v - 86398 = -13*t. Is t a multiple of 7?
False
Let r = -34 + 35. Suppose 4 = j - r. Suppose 0 = 2*a - j*a + 621. Is 22 a factor of a?
False
Let t be (-3)/(-2)*1160/15. Let n = 152 - t. Does 3 divide n?
True
Suppose 0 = -75*v + 71*v - p + 7854, 0 = 3*v + 4*p - 5884. Does 21 divide v?
False
Let h(t) = -2*t**2 + 11*t - 41. Let q be h(3). Let p = 387 - q. Is 59 a factor of p?
True
Does 20 divide (-102 - -62)/((-2)/404*1)?
True
Suppose 2*v - 372 = -3*n + n, 3*v - 566 = 5*n. Suppose 11*m = 385 + v. Is 3 a factor of m?
False
Suppose -4*c - 5*a = c - 31880, -a - 12773 = -2*c. Does 24 divide c?
False
Is ((-58)/56 + 24/32)/(5/(-101395)) a multiple of 5?
False
Let h(u) be the third derivative of -u**5/30 + 7*u**4/12 - 34*u**2. Let r be h(7). Let k(b) = 2*b + 68. Is k(r) a multiple of 13?
False
Let s(n) = -15*n + 46. Let c be s(4). Is -1043*((-12)/c)/(-6) a multiple of 13?
False
Let l be (-16)/(-4) - (19 + -23). Suppose 5*h - 622 = -2*r, 9*h - 2*r - 134 = l*h. Is 18 a factor of h?
True
Let u(i) = -719*i + 14. Let a be u(-2). Suppose 0 = z + 2*m - 218, -a = -5*z + 2*m - 410. Is 8 a factor of z?
False
Let o be (165/18 - 2) + (-6)/36. Suppose o*z + 9*z - 6880 = 0. Is 16 a factor of z?
False
Suppose 4*o = 124*j - 126*j + 13616, 5*o - 17020 = -2*j. Is o a multiple of 46?
True
Suppose 2*k = p + 5, -3*p + 40 = 5*k - 0*k. Suppose 0 = -3*v + 4*v + 1, 0 = k*y - v - 1061. Let s = 563 - y. Is 29 a factor of s?
False
Suppose -8*h + 198 = 166. Suppose -h*i - 2392 = 4*g - 8*g, 2*i + 6 = 0. Is g a multiple of 17?
True
Let t be -2 - 0 - 1*(15 + -2). Let p be 2*(-5)/t*-3. Is 3 a factor of 11 - (p - (3 - 7))?
True
Suppose 0 = 6*n + 122 - 38. Is ((-21)/n)/(6/5120) a multiple of 82?
False
Let c(s) = 10*s**2 - s - 10. Let l(r) = 69*r**2 - 6*r - 69. Let f(m) = -27*c(m) + 4*l(m). Let y be f(-4). Suppose 190 = 4*i - y. Is i a multiple of 20?
False
Let q(c) = 7*c + 27. Let o(u) = 2*u**2 - 5*u - 14. Let n be (-4)/(16/4) - (1 - -1). Let s be o(n). Is 20 a factor of q(s)?
True
Let p(h) = -2 - 1 - 3*h**3 - 1645*h + 1652*h + 7*h**2. Does 28 divide p(-2)?
False
Suppose -13*j + 622 + 8612 = -43923. Is 11 a factor of j?
False
Suppose 3*r - 184 = -4*j, -2 = 4*j + 18. Is 4 a factor of 20/(-15) - r/6*-10?
True
Let t = -39 + 41. Suppose t*k - 2*n = n - 10, 3*n + 20 = -4*k. Is (k/(-2))/((-5)/(-10)) a multiple of 5?
True
Is (-17858)/(-12) + 130/(-780) a multiple of 62?
True
Let d(j) = 26 - 25*j + 47 - 44 + 59. Is 23 a factor of d(-7)?
False
Suppose -2*l = -3*n + 7, -2*n - 8 = -6*n + 4*l. Let r be 0 - n/9 - 2/3. Is 15 a factor of r - (-2403)/12 - 6/(-8)?
False
Let o(a) = a**3 + 4*a**2 - 39*a - 36. Let i be o(-8). Suppose 47*n = i*n + 25974. Is 13 a factor of n?
True
Suppose -3*j = s - 526, -j = s + 3*s - 2082. Suppose 5*o - 2*i - 821 - 71 = 0, 5*i = 3*o - s. Is o a multiple of 15?
True
Suppose -47*t = -16*t - 22165. Suppose -12*p + t = -12053. Is 28 a factor of p?
True
Let q = 378 - -66. Let z = 829 - q. Is 11 a factor of z?
True
Let v = 76 + -134. Let r be (13 - 2 - -1)*v/(-8). Suppose -2*n + 19 = -r. Does 20 divide n?
False
Suppose -8*u + 78 - 14 = 0. Let c(x) = 9*x + 60. Is c(u) a multiple of 22?
True
Suppose p - 18928 = o, -5*p - 33163 = 2*o - 127824. Is p a multiple of 320?
False
Let l(f) = -f**3 - 9*f**2 - 9*f + 16. Let z be l(-8). Suppose -7*o = -6*o + z. Is 30 a factor of ((-84)/3)/(6/o)?
False
Let d be (14 - 0) + 0 + 1. Suppose 3 - d = -6*q. Suppose -18 = q*h - 5*h. Is 6 a factor of h?
True
Let b = 211 - -37. Is b a multiple of 8?
True
Let g = 4145 + -3817. Does 5 divide g?
False
Let k(j) be the second derivative of 3*j**5/4 + j**4/3 - 2*j**3/3 + j**2 - 307*j. Let c = 3 - 1. Does 13 divide k(c)?
True
Let d be 93/9*(-9 + 0). Suppose 397 = 4*i - 3*w, 4*i + 95*w = 91*w + 404. Let z = i + d. Is 4 a factor of z?
False
Let i(t) = 6*t + 16. Let g be i(13). Let m = g - 94. Let d(a) = a**3 - a**2 + a + 200. Does 38 divide d(m)?
False
Let s be (-132)/3*11/(-4). Suppose -2*v + 69 = -p, 4*p + 48 = -5*v - 176. Let r = s + p. Is r a multiple of 10?
True
Suppose 0 = -295*p + 288*p + 10430. Is 9 a factor of p?
False
Let f = 2634 + -637. Does 11 divide f?
False
Let t be 84/(8/(30720/18)). Suppose -1228 + t = 39*s. Does 15 divide s?
False
Let d(l) = -l**3 - 145*l**2 + 454*l - 1436. Does 114 divide d(-149)?
True
Let n(m) = 4*m**3 - 15*m**2 - 6*m - 5. Let f(s) = 5*s**3 - 16*s**2 - 7*s - 6. Let w(x) = 5*f(x) - 6*n(x). Is 20 a factor of w(-5)?
True
Is ((-248)/3)/(29/(-87)) a multiple of 2?
True
Let p = 12 + -7. Suppose -p*b - i + 2539 = 0, 2*b - b + 2*i = 506. Is b a multiple of 41?
False
Suppose -x = -24*x - 1679. Let d(j) = 40*j + 2. Let g be d(-2). Let s = x - g. Is s a multiple of 5?
True
Let h = 93 - 104. Let v be (h + 1)/(24/(-336)). Suppose -52*o = -47*o - v. Is 16 a factor of o?
False
Suppose t - 5*v = 6*t - 85, 0 = -4*t - 3*v + 69. Let l = 16 - t. Does 13 divide (0 - (-202)/(-4))*l?
False
Suppose 61 = -c - 3*w, -w + 203 = -5*c - 134. Let u(r) = -r**2 - 14*r + 9. Let m be u(-16). Let k = m - c. Does 14 divide k?
False
Let n(g) = 439*g - 649. Does 44 divide n(11)?
True
Let h be 2 - (7 - 1) - (3 + 1201). Let i = -232 - h. Is 61 a factor of i?
True
Let i(a) = a**3 - 10*a**2 - 13*a - 29. Let p(h) = -2*h**3 + 8*h**2 + 12*h + 29. Let x(y) = -3*i(y) - 2*p(y). Is 3 a factor of x(-13)?
True
Suppose 10*r = 930 + 1810. Does 4 divide r?
False
Let b be -100 - (12/(-14))/(10/(-35)). Let k = b + 170. Does 41 divide k?
False
Let h be ((-319)/22)/((-21)/12 + 2). Does 70 divide (33959/h)/(1/(-2))?
False
Is ((-18032)/(-84))/(-2)*78/(-4) a multiple of 161?
True
Let b = -548 - -550. Suppose 3*p - 2*p - 246 = b*n, -n + 1219 = 5*p. Is 6 a factor of p?
False
Let j(k) = k**2 + k - 5. Suppose 5*n - 6 = -2*t - 30, n + 37 = -5*t. Let z be j(t). Is z + (2 + -6 - -5) a multiple of 5?
False
Suppose 0*t + 117 = t. Let v(b) = -2*b**3 - 72*b**2 + 151*b - 136. Let a be v(-38). Let w = t + a. Is 3 a factor of w?
False
Suppose -97268 = -102*i + 90*i + 23860. Is i a multiple of 11?
False
Let d = -118 + 124. Is 34 a factor of ((-12597)/d)/13*-4?
True
Let d(j) = -j**2 - 14*j - 11. Let p be d(-6). Let z = -33 + p. Suppose 2*b - 163 = g - z, -102 = -b - 4*g. Does 14 divide b?
False
Let q(u) = -12*u + 61. Let w be q(-6). Is 28 a factor of (w*1)/(-8 - (-99)/12)?
True
Suppose 47*u - 50*u = -6162. Let l = -1439 + u. Is 15 a factor of l?
True
Let w = -50251 - -81202. Does 9 divide w?
True
Let h = 22798 - 8833. Does 147 divide h?
True
Suppose -5*r = -4*k + 162, 27 = -r - k - 0*k. Let j(f) = 8*f + 25. Let p be j(-9). Let u = r - p. Is u even?
False
Suppose -4*r + 10 - 2 = 0. Does 5 divide (r + 100)/((-3)/(-8)*4)?
False
Let u = -303 - -294. Let v(n) = 12*n**2 + 30*n + 18. Is v(u) a multiple of 80?
True
Suppose 9*m - 32 = m. Suppose m*q + n = 167, 0 = 2*q + 2*n - 6*n - 70. Is q a multiple of 11?
False
Does 11 divide (13 - 2752)/(9/(-6))?
True
Let b(y) = y**2 - y - 3. Let u be b(-2). Let v be -2 + 4 - 0/(u + -1). Suppose 2*n + 4*j - 188 = 0, -v*j - 47 = -n + 39. Does 18 divide n?
True
Let k = 6341 + -5275. Is k even?
True
Suppose 14*l - 13*l = 0. Suppose l = 5*a + k, -3*a - 6*k = -3*k. Suppose -p + h + 19 = a, p + 3*p + 2*h - 94 = 0. Is 4 a factor of p?
False
Let h(x) = -374*x - 4054. Does 59 divide h(-34)?
False
Suppose 29*g - 1220 = -4*k + 25*g, -3*k + 920 = 4*g. Is k a multiple of 10?
True
Suppose 2*c = -2*c + 5*z + 93, -c + 2*z = -24. Suppose 4*j = k - 76, -c*k + 4*j - 52 = -23*k. Is k a multiple of 16?
True
Let m = -148 - 471. Let j = -432 - m. Is j a multiple of 14?
False
Let d(m) be the first derivative of -m**4/4 - 22*m**3/3 - 20*m**2 - 7*m + 123. Is 7 a factor of d(-21)?
True
Let w = 268 - 285. Let x(q) = -q**2 - 25*q + 115. Does 44 divide x(w)?
False
Let z = -49 - -81. Suppose z = 9*c - 5*c. Suppose 20 + c = s. Is s even?
True
Suppose -58*u - 16*u - 53*u + 6428994 = 0. Is u a multiple of 143?
True
Let i = 665 - 663. Let b(l) be the second derivative of 3*l**4/2 - l**3/6 + 3*l**2/2 + l. Does 13 divide b(i)?
False
Let 