 159 - 172. Does 49 divide v(m)?
False
Let r = -14579 + 35956. Is r a multiple of 56?
False
Suppose 475*v - 9518728 = 14*v. Is v a multiple of 29?
True
Suppose 5522 + 622 = r - 4*b, 3*b = 9. Is r a multiple of 162?
True
Suppose 0 = -2369*r + 2335*r + 403648. Is 28 a factor of r?
True
Let o be (6/(-10))/(9/(-135)). Suppose 3*j + o*k = 5*k + 480, -2*j + 2*k = -334. Is j a multiple of 41?
True
Let i(n) be the second derivative of -17*n**4/12 + n**3/2 - 7*n**2/2 + 11*n. Let v(p) be the first derivative of i(p). Is 14 a factor of v(-3)?
False
Does 6 divide (-86500)/(-36) - (-17)/((-1836)/(-24))?
False
Let c = -3469 - -3785. Does 7 divide c?
False
Suppose 0 = 105*z - 84*z - 22218. Is 46 a factor of z?
True
Suppose 2*p = 5*i + 14871, -12647 = -p + 3*i - 5213. Is p a multiple of 110?
False
Let x be (9/4)/(6 - (-84)/(-16)). Suppose x*s = 5*s, -s = -3*r + 1950. Does 25 divide r?
True
Suppose 5*m - 133224 - 37666 = -5*f, 0 = -3*m - 2*f + 102535. Is m a multiple of 144?
False
Let r(d) = -2*d**3 - 4*d**2 + 18*d - 14. Let q be r(-8). Let x = -561 + q. Is x a multiple of 7?
True
Let d(z) = 13*z + 6. Let v = -81 - -126. Let t = 51 - v. Is d(t) a multiple of 8?
False
Is -1 + (667240/(-10))/(-14) a multiple of 6?
False
Let o(h) = 9*h**2 - 139*h - 9. Let r be o(13). Let g = r - -581. Does 11 divide g?
True
Suppose 14*c - 90474 + 16204 = 0. Does 5 divide c?
True
Let s(b) = -5*b - 20. Let i be s(-6). Let h(y) = y**2 + 16*y - 123. Is 7 a factor of h(i)?
False
Let a be (-4 - -1 - -135) + (0 - 1). Suppose a = -4*i - 121. Does 21 divide i/5*30/(-9)?
True
Suppose -3*w = -4*a - 8304, 5*a = 48*w - 52*w + 11072. Does 8 divide w?
True
Suppose -4*n = 4*a - 3092, 49*a + 3084 = 4*n + 51*a. Does 105 divide n?
False
Suppose 14*y = -4*y + 162. Suppose 0 = y*i - 6*i - 1188. Is i a multiple of 10?
False
Let j be 11610/324*(7 - 1). Suppose -n + 259 - 88 = 3*t, 0 = -4*t + 3*n + j. Does 4 divide t?
True
Let x = 1375 - -7474. Is x a multiple of 7?
False
Let n = -383 + 388. Suppose m - 7*q = -3*q + 9, n*m + 5*q = 170. Is 16 a factor of m?
False
Let u(d) = -27*d + 496. Let z be u(18). Let l be ((-23)/(-1))/((-2)/(-176)). Suppose -z*v = -l - 176. Is v a multiple of 46?
False
Let b be ((-4)/(-6))/(2/(-246)). Let h be (-1 - (-10)/2)*(-4250)/340. Let f = h - b. Is f a multiple of 16?
True
Suppose d + 62 = 66. Suppose -2*x = -4*l + 114 + 142, -d*l + 4 = 0. Let s = 277 + x. Is s a multiple of 20?
False
Let y(u) = u**3 + 6*u**2 + 7*u + 3. Let b(i) = i**3 + 7*i**2 + 7*i + 3. Let p(x) = 2*b(x) - 3*y(x). Let m be p(-6). Suppose 4*c - m = 25. Is c a multiple of 7?
False
Suppose -m + 3*a + 843 = -a, -5*a + 4315 = 5*m. Does 3 divide m?
False
Let q(l) = -l**3 + 13*l**2 + l - 11. Let m be q(13). Is 16 a factor of (-3700)/(-30) + m + 8/(-6)?
False
Suppose -10*q + 35 = -15. Suppose -2*z = q*f - 52, 2*z - 15 = 2*f + 51. Is 18 a factor of z?
False
Let x(s) = -s**3 + 10*s**2 + 11*s + 5. Let t be x(11). Suppose -13*w - 60 = t. Let c(l) = -2*l**3 - 5*l**2 - 3*l. Is 40 a factor of c(w)?
False
Let v = 27 + -78. Let t = v - -55. Suppose -y - 3*f + 0*f + 146 = 0, t*y + 3*f - 548 = 0. Is 11 a factor of y?
False
Let i(z) = z**2 - 26*z + 2. Let t be i(26). Suppose 7*k - 11*k + t*g = -58, -g + 73 = 4*k. Is 3 a factor of k?
False
Let q(v) be the first derivative of -v**4/4 + 16*v**3/3 - 43*v**2/2 - 6*v + 115. Is 12 a factor of q(10)?
False
Let q = -59 - -63. Suppose 2*i + q = 4*i. Suppose -h + p + 130 = -p, -i*h + 263 = -p. Is h a multiple of 33?
True
Let o be -3*5/75*-125. Suppose 23*t + 928 = o*t. Is 53 a factor of t?
False
Let o(a) = 3585*a + 3574. Is 136 a factor of o(2)?
True
Suppose 11*i = 24*i - 10101. Is (2*44/(-12))/((-14)/i) a multiple of 11?
True
Does 70 divide ((-7)/(70/(-96739)) - 6/(-60)) + 8?
False
Let z(n) = 5*n. Let d(h) = -9*h - 235. Let g(i) = d(i) + 4*z(i). Does 34 divide g(43)?
True
Let s(c) = -4*c**3 + 34*c**2 - 22*c + 3. Let r(n) = 2*n**3 - 17*n**2 + 11*n - 1. Let f(j) = -13*r(j) - 6*s(j). Does 24 divide f(7)?
False
Let x be -3 + (2 + -1)*5. Suppose c - f - 5 = 2, 18 = 2*c - 4*f. Suppose -x*z + 5*d + 75 = 0, -z - z - c*d + 65 = 0. Is 5 a factor of z?
True
Let v = -9871 + 13831. Is 24 a factor of v?
True
Let y be 1/(-3)*(-3 - 0). Suppose 0 = 5*o - 45. Is (2 + y)*168/o a multiple of 41?
False
Let o = 924 + -414. Suppose -19*j = -20*j + 2, 2*u = -4*j + o. Does 4 divide u?
False
Let o(f) = 9*f**3 - 6*f**2 - 12*f + 44. Let l be o(7). Suppose 0 = 25*q - 4947 - l. Is q a multiple of 7?
True
Let p = -11743 - -15274. Is 3 a factor of p?
True
Suppose 0 = 3*x + b - 1121, 5*x + 793 = -3*b + 2656. Suppose x*z + 2436 = 381*z. Is z a multiple of 14?
True
Let a(q) = 401*q + 6. Let i be a(5). Suppose -2159 = -6*v + i. Does 6 divide ((-6)/(-7))/(5 - v/140)?
True
Does 242 divide 111662880/2171 - (0 - (-4)/(-26))?
False
Suppose -10 = -4*a + 6. Suppose -2*v - n + 663 = 257, -a*n - 386 = -2*v. Suppose -5*p = -f - v, 10 = 2*p + 2*f - 68. Is 40 a factor of p?
True
Let o be (-9)/(-2)*(3 + (-207)/81). Suppose -7*s + 30 = 4*n - 6*s, -10 = -o*n - 3*s. Is 4 a factor of n?
True
Suppose -24*b = 30*b - 18*b - 62352. Is 138 a factor of b?
False
Suppose 88*c - 4078 = 29*c + 201537. Is 9 a factor of c?
False
Let p = 9375 - 8495. Is 8 a factor of p?
True
Let g(w) = 226*w + 20. Let l(o) = -2. Let n(u) = -g(u) + 3*l(u). Is n(-5) a multiple of 16?
True
Let p(b) = 18*b**2 + 31*b - 191. Is 2 a factor of p(7)?
True
Let i(h) = -12*h + 45. Let p be i(10). Is 6 a factor of 50/p - 292/(-6)?
True
Is (-9116)/53*(226/8)/((-1)/3) a multiple of 100?
False
Let w(c) = 5*c**2 - 2. Let l be w(-1). Suppose 18 = 5*x - m, 4*x - l*m = -4*m + 9. Suppose 5*n - 247 = -x*d, -3*d + n = 3*n - 250. Is d a multiple of 28?
True
Suppose 8044 + 4676 = -10*h. Let k = -406 - h. Is k a multiple of 13?
False
Let v(w) = -15*w - 133. Let d be v(-9). Suppose r = 4*l + 734, -5*r - d*l + 3565 = -l. Is r a multiple of 51?
True
Let i(u) = 358*u - 1928. Is i(20) a multiple of 22?
False
Suppose 4*x - 3*w = 2781, -x + 275 = w - 422. Let o = -302 + x. Does 48 divide o?
False
Let n = 18 + -21. Let t be (-15)/(-5) - ((-6)/n + -1). Let j(l) = 26*l**2 - 5*l + 1. Does 7 divide j(t)?
False
Let a = 9279 - 3851. Is a a multiple of 23?
True
Let d = 814 - 1812. Let g = -602 - d. Is g a multiple of 9?
True
Let a = 964 - -844. Does 15 divide a?
False
Let a = 5863 + -1469. Is 8 a factor of a?
False
Suppose -613874 - 1091830 = -284*v. Is 39 a factor of v?
True
Let y be 4290/25 + 2 + (-2)/(-5). Suppose -4*m = -306 - y. Is m a multiple of 6?
True
Suppose -3*q + 4*q = 0. Suppose q = 4*t - 7 - 9. Is 16 a factor of (-4)/t - 294/(-6)?
True
Let m(b) = b**3 + 11*b**2 + 32*b - 38. Let n be m(26). Suppose 34*j - n = -0*j. Does 11 divide j?
True
Let d be (-9)/15 + (-39463)/(-155). Let j = d + -93. Does 26 divide j?
False
Let g(q) be the second derivative of q**5/20 - 13*q**4/4 + 25*q**3/3 + 57*q**2/2 + 14*q. Is g(38) a multiple of 19?
True
Let b(x) = -2988*x + 204. Is 147 a factor of b(-6)?
False
Suppose -5*s - 4*d = -11, -4*s = -0*d + 2*d - 10. Let u(l) = 21*l**2 - 13*l + 2. Does 11 divide u(s)?
False
Let i = -4848 - -9574. Is 34 a factor of i?
True
Let z be (2/(-2))/((-3)/1350). Suppose -z + 1638 = 9*j. Does 33 divide j?
True
Suppose 0 = 42*q - 44*q - 5*t + 1127, 0 = -5*q - 3*t + 2770. Is q a multiple of 5?
False
Let b = -176 + 178. Is (b/3)/(-5*(-7)/2520) a multiple of 4?
True
Is 3*(0 + (-175661)/(-51)) a multiple of 31?
False
Let h(u) = u**2 + 5*u + 4. Let y be h(-12). Suppose w = 3*w + y. Let k = w - -105. Does 15 divide k?
False
Let g be (-9)/12*(3 + -2 - 5). Suppose -2*p = 2*p - n - 301, -g*n = 2*p - 133. Suppose 4*t = 2*t - 2*w + p, -2*t + 2*w = -70. Does 17 divide t?
False
Let a = 18838 - 12938. Is 6 a factor of a?
False
Is ((-288)/(-216))/((-8)/(-30)) - (0 + -362) even?
False
Let h(k) = 10*k**2 - 188*k + 3980. Is 3 a factor of h(21)?
False
Let f(y) be the second derivative of y**5/60 - y**4/12 - 3*y**3/2 + y**2/2 + 2*y. Let g(q) be the first derivative of f(q). Does 2 divide g(6)?
False
Suppose -5*f = 7*j - 166812, -30*f - 2*j + 33366 = -29*f. Is 51 a factor of f?
True
Let f(y) = -22*y**3 + y**2 + 9*y + 56. Is 28 a factor of f(-8)?
True
Let p be 1 - -1 - (-26 - 0). Is 6 a factor of ((-1)/(9/(-57)))/(p/84)?
False
Let h(w) = -2*w**2 - 14*w - 8. Let j be h(-5). Let a(o) = -o + 15. Let g be 