3*(-30)/o?
False
Suppose -4*y + 4*q = -56216, 6*q + 5 = 7*q. Is y a multiple of 37?
False
Let a(h) = 16*h**2 + 4*h + 9. Suppose -l + 188 = 192. Does 10 divide a(l)?
False
Let v = 81 - 80. Let c be 7/(v/(2 + -1)). Suppose 0 = 2*d + 2*i - 166, 4*d + 4*i + 214 = c*d. Does 29 divide d?
False
Suppose 9*x = 11*x. Let l be x*2/(-4) - -6. Is ((-8)/l)/(4/(-144)) a multiple of 6?
True
Let u(i) = 87*i**2 - 7*i - 307. Is u(-10) a multiple of 273?
True
Suppose 6*z + 79 = -497. Is z/(-15) + (-3)/(-5) a multiple of 2?
False
Let q = -177 - -184. Suppose q*d = -129 + 2551. Is d a multiple of 11?
False
Is (6 + (-12)/15)/((-1)/(-30)) a multiple of 9?
False
Let i(w) = -11*w - 12. Suppose 5*c + 92 - 2 = 0. Let f be i(c). Suppose 3*l = -3*j + f, -3*l = -0*j + 4*j - 188. Is l a multiple of 15?
True
Suppose 0 = -2*j + 9*j - 21. Suppose s = j*w + 6*s - 222, s = 0. Is 5 a factor of w?
False
Let a = -12095 - -21668. Does 143 divide a?
False
Let c(b) be the second derivative of -4*b**3/3 + 39*b**2/2 + 55*b. Is c(-17) a multiple of 20?
False
Suppose 70*h - 14 = 77*h. Is 24 a factor of (3 + h)/((-1)/(-152))?
False
Suppose -4*i = -15*i + 143. Suppose i*g - 2120 = 1936. Is 26 a factor of g?
True
Let y(f) = 3*f**2 - 54*f + 100. Is 7 a factor of y(25)?
False
Suppose -18*t + 6456 = 26*t - 6216. Does 5 divide t?
False
Let k(v) be the third derivative of -v**6/24 - v**4/24 + v**3/2 - v**2 - 18. Is k(-3) a multiple of 47?
True
Suppose 5*a - 418 = -2*t + 8175, 5*t + 2*a - 21472 = 0. Is 15 a factor of t?
False
Suppose -4*u + 6 = 2*f, -87 = 2*u - f - 80. Let v(s) = 101*s**3 - 5*s**2. Let m(h) = 102*h**3 - 4*h**2. Let g(z) = -3*m(z) + 2*v(z). Is 36 a factor of g(u)?
False
Let l(g) = 66*g - 72. Let a be l(2). Suppose -5*n = -2*t + a, -4 + 40 = t - n. Is 8 a factor of t?
True
Let h = -13 - -45. Let d(u) = -u**3 + 33*u**2 - 27*u + 104. Does 44 divide d(h)?
True
Is (10/10)/((-4)/(-76204)) - (2 + -1) a multiple of 127?
True
Let u(a) be the second derivative of a**4/12 - 7*a**3/6 - 3*a**2/2 + 4*a + 2. Suppose 6*z - 55 = z. Does 5 divide u(z)?
False
Suppose -3*s - 18 = -f, -f - 5*s - 16 = -2. Suppose -12 = 2*b - f. Let j(n) = -2*n**3 - n**2 + 3*n + 2. Does 19 divide j(b)?
True
Let b = 534 + -239. Is b - (-8)/(3 + (-3)/3) a multiple of 14?
False
Suppose 0 = 3*b + 5*h - 25921, 53*b - h = 58*b - 43165. Is 52 a factor of b?
True
Let o be 18351/9 - (0 - -3). Suppose 3*x + 3*d = x + o, -2*x + 2028 = -d. Suppose -16*s + 9*s = -x. Is 7 a factor of s?
False
Let l = -869 - -1393. Suppose -12*p - l = -16*p. Let b = -61 + p. Is b a multiple of 14?
True
Let g = 280 - 278. Suppose -151 = -3*c + a, g*c + 5*a = -0*c + 129. Is 13 a factor of c?
True
Let p be (585/(-2))/(-9)*4/2. Let l = 138 - p. Suppose -5*t + 5*a = -360, -2*a - l = -t - 0*t. Does 11 divide t?
False
Suppose 3*w = -b + 141 + 28, -2*w - 4 = 0. Let z = b + -94. Is z a multiple of 9?
True
Suppose -5366*z - 48 = -5382*z. Is z a multiple of 3?
True
Let c(z) be the first derivative of 32*z**3/3 + 5*z**2/2 + 3*z - 15. Let m be c(-1). Does 19 divide ((-456)/10)/(m/(-75))?
True
Is ((-28)/70)/(8/(-99880)) a multiple of 11?
True
Suppose -126*t = -121*t + s - 182739, 3*t - 3*s - 109629 = 0. Does 25 divide t?
False
Let d(w) = -408*w - 7283. Is d(-54) a multiple of 11?
False
Let m = -1213 - -3648. Is 173 a factor of m?
False
Let u(g) = -146*g - 253. Does 25 divide u(-68)?
True
Let v = -276 + 219. Let j = -192 - -106. Let n = v - j. Does 8 divide n?
False
Let p = -51 + 60. Suppose -3*k + d = 2*k - p, 0 = -k + 2*d + 9. Is (k + 10/(-6))*-9*25 a multiple of 13?
False
Let x be -1 + 0 - 247/(-19). Suppose x*g - 771 = 189. Is 16 a factor of g?
True
Suppose -10*z - 84 = -3*z. Is z/(-174) - 12524/(-58) a multiple of 27?
True
Let u be 1892/24 + 4/24. Suppose 3*i + 23 = 4*s, -4*i = -s + 6 + 16. Suppose 25 = -s*l + u. Does 9 divide l?
True
Let q(r) = 71*r - 3. Let p be 58/10 - -2*2/20. Let o(i) = -i - 1. Let a(h) = p*o(h) - q(h). Is 30 a factor of a(-1)?
False
Let s = 3 - 1. Suppose 5*n + 4*g = 29 + 2, -s*g = -4*n + 4. Let y(l) = 20*l**2 + 2*l - 9. Does 48 divide y(n)?
False
Let g(v) = -221*v - 595. Is g(-8) a multiple of 6?
False
Let y(s) = s**2 + 3*s - 10. Let o be y(-5). Suppose -7*g + 0*g - 98 = o. Let c = g + 29. Is 5 a factor of c?
True
Suppose 11*x - 28*x + 3196 = 0. Let p = -167 + x. Is p a multiple of 4?
False
Let p(q) = 4*q**3 + 215*q**2 - 74*q - 126. Is 16 a factor of p(-54)?
False
Let g be ((-46095)/35)/(3/4). Let d = -1180 - g. Is 13 a factor of d?
False
Suppose -5*k + 703 = -3*t, 4*t + 928 = 3*k - k. Let s = -8 - t. Is 51 a factor of s?
False
Let v(c) = 75*c + 5. Let a be 9/2 + (-2)/(-4). Does 8 divide v(a)?
False
Let n(i) = 366*i**2 - i - 4. Let b be n(-2). Suppose 5*z = -3*d + 736, -4*d - 3*z = -b + 488. Is d a multiple of 12?
False
Let r(f) = 6*f**2 - 2*f**2 + 3*f**2 - 23*f**3 + 21*f - 23. Let y(l) = 11*l**3 - 3*l**2 - 10*l + 11. Let h(g) = 4*r(g) + 9*y(g). Does 15 divide h(2)?
False
Let p(u) = 2*u + 48. Let j be p(-25). Does 9 divide 1/(-4)*j*(-2 + 110)?
True
Let b = 1144 + 1362. Suppose -4*v + 3333 = -u, 3*v - 23*u = -21*u + b. Is v a multiple of 35?
False
Is 99 a factor of (-341)/31*11988/((-24)/4)?
True
Suppose 0 = 3*g + 85 - 2857. Suppose 0 = 5*b + 3*r - 2010, 4*r + 311 = 3*b - g. Does 9 divide b?
True
Let y be ((-297)/(-12))/9 - (-6)/(-8). Let k be y/6 - 90/27. Let m(q) = 13*q**2 - q + 10. Is m(k) a multiple of 13?
True
Let f(s) = 288*s + 44. Let j(x) = 6*x. Let r(l) = f(l) + 3*j(l). Is r(3) a multiple of 37?
True
Let b(n) = -19*n + 1259. Is b(-99) a multiple of 79?
False
Does 18 divide (-4)/18 + (0 - 812/(-9))?
True
Suppose -54 = -2*m - 60. Does 24 divide 155*(m/2)/((-3)/18)?
False
Let b = 89379 + -56560. Does 12 divide b?
False
Let n(q) = q**3 + 13*q**2 + 9*q - 26. Let h be n(-12). Let m be h/2 + (-3)/(-3). Suppose m*s - 5*s - 198 = 0. Is s a multiple of 39?
False
Let g = -3238 - -3240. Let o(x) = x**3 - x**2 + 2*x + 1. Let u be o(2). Suppose -5*i + u = -1, -g*i - 951 = -5*p. Does 12 divide p?
False
Suppose 4*p - 4*h + 4 - 20 = 0, -2*h = 0. Is 16 a factor of 10738/70 - p/10?
False
Let p be 1*16/(-20) - (-236)/20. Suppose 5*f = 5*d + 3130, -p*f + d = -12*f + 634. Is f a multiple of 21?
True
Let t(x) = -3*x + 41. Let c be t(13). Suppose 72 = 2*g + c*h, 8*g + h = 11*g - 116. Is 3 a factor of g?
False
Suppose 0 = k - 3*i - 5, -4*i = -5*k + i - 25. Let t(f) be the third derivative of -5*f**4/6 + 31*f**3/6 - 99*f**2 - 5*f. Is t(k) a multiple of 33?
True
Let s be ((-38)/57)/(6/4383). Let w = s + 544. Does 2 divide w?
False
Let v(s) = -s + 5. Let f be v(2). Suppose -2*n - f*p + 170 = 0, -10*p + 12*p - 84 = -n. Is 22 a factor of n?
True
Let i(h) = -17*h**2 + 50*h - 51. Let t(l) = -6*l**2 + 17*l - 17. Let q(c) = 4*i(c) - 11*t(c). Let k be q(4). Suppose -k*v + 14 + 58 = 0. Does 12 divide v?
True
Let l(d) be the third derivative of d**4/12 + 8*d**3/3 + 20*d**2. Let t be l(-6). Suppose 5*a + f = 330, -a - 2*f + 335 = t*a. Does 25 divide a?
False
Let c be (-139)/7*-199 + 150/350. Suppose c = 7*s + 1558. Does 8 divide s?
False
Let d = -849 + 4517. Suppose -d = 16*w - 23*w. Is w a multiple of 32?
False
Let h be 2/3 - 0 - (-553)/3. Let j = h + -159. Is 3 a factor of j?
False
Let z(t) = -t**2 + 5*t + 8. Let p(w) = 2*w**2 + 2*w - 11. Let m be p(-5). Suppose -m + 11 = -6*k. Is z(k) a multiple of 14?
True
Let h = -2624 - -4024. Suppose -39*c - h = -44*c. Let r = c + -142. Is 46 a factor of r?
True
Let y(v) = 3*v**2 + 14*v. Let i be y(-5). Suppose 0 = -0*w + i*w - 615. Let o = 179 - w. Does 3 divide o?
False
Let d(j) be the second derivative of -j**5/20 - 3*j**4/4 + 2*j**3 + 3*j**2 - 9*j. Let y be d(-11). Let s = y - -17. Is 14 a factor of s?
False
Suppose b + 12377 = 2*w - 32310, -b - 111710 = -5*w. Is w a multiple of 13?
False
Let l = 26 + -18. Suppose 0 = 7*n - l*n + 36. Suppose -12*r - n = -15*r. Is r a multiple of 4?
True
Let o be 14/(((-15)/14)/(-15)). Let s = o + -88. Is s a multiple of 12?
True
Is 93 a factor of 3/39 + (-2167541)/(-689)?
False
Suppose 0 = 24*p - 15*p - 62577. Does 11 divide 6*-1*p/(-102)?
False
Let t(g) = -12*g - 7. Let w be t(-5). Suppose -43 + w = 2*d. Suppose d*y = 816 + 219. Does 23 divide y?
True
Let z = -14255 - -26938. Is z a multiple of 17?
False
Let c be 6/78 + (-2128)/(-52). Let f = c - -24. Is f a multiple of 45?
False
Let d