 u(h) be the third derivative of 11*h**5/60 - 5*h**4/8 - 4*h**3/3 + 16*h**2 - 2. Does 38 divide u(-4)?
True
Suppose 7*h = 257 - 26. Let i = 28 - h. Does 23 divide 4/(-2) - (i + 1230/(-6))?
False
Let o = 134 - -45. Let h be 36*(-11)/(-33) - 7. Suppose -o = -r - h*d, 5*d + 178 = r + 9*d. Does 55 divide r?
False
Let m(d) = 3*d**2 - 36*d - 290. Let v be m(36). Suppose 4*i - v = -z, 32*i - 27*i - 2890 = 5*z. Is i a multiple of 12?
True
Suppose -x - 2*d = x + 6, x = 3*d + 13. Suppose h + 2 = 0, -5*a + 4*h + h = -5. Does 8 divide x*-14*(a - 2) - 3?
False
Suppose -p + 9*a - 5*a = -1396, -4*a - 2788 = -2*p. Let v(h) = 11*h**2 + 7*h - 6. Let y be v(5). Suppose -y = 4*f - p. Is 14 a factor of f?
False
Let h(g) = g**3 - 3*g**2 + 7*g - 5. Let t be h(3). Does 10 divide ((-2)/(-2))/(t/1616)?
False
Let b(j) = 15*j - 41. Let a be b(3). Does 9 divide (-78936)/(-231) + a/14?
True
Suppose 5*o = -2*z + 19226 - 4606, -o - 4*z + 2906 = 0. Is 100 a factor of o?
False
Suppose 5*r - 5*g - 12725 = 0, -2*r = -11*g + 6*g - 5108. Is r a multiple of 14?
False
Let f(x) = 12*x - 114. Let t be f(9). Does 27 divide ((-6)/4 - 0)*1424/t?
False
Suppose -5*w + 5*h = -37335, 2*h = 2*w - 5*w + 22431. Does 171 divide w?
False
Let w(i) = 26*i**2 + 57*i**3 + 65*i**3 - 23 - 15*i - 121*i**3. Let g be w(-26). Suppose -45 + g = 7*b. Is b a multiple of 23?
True
Let q be (2/(-3))/(88/28380). Let n = 228 + q. Is n a multiple of 2?
False
Suppose -23 = 4*s + 61. Let q be 6/14 - 33/s. Suppose -5*d + 184 = -2*y - q*y, -5*d - 3*y = -177. Is 5 a factor of d?
False
Suppose z + 18 = -5*s, 0 = z - 2*s - 13 + 3. Suppose 4*q = -3*f - 48, -q = 3*q + z*f + 44. Let r = q - -120. Is r a multiple of 35?
False
Let n be -6 - (-6117)/(3 - 0). Let x = n + -1250. Does 43 divide x?
False
Let y(j) = -4*j - 21. Let m be 22/(-4) - (-9)/(-18). Let s(q) = -2*q - 20. Let g be s(m). Does 8 divide y(g)?
False
Suppose -3*o = 5*f - 23881, -8*f + 11*f = -3*o + 23865. Does 4 divide o?
False
Let c = -7849 + 14524. Is c a multiple of 89?
True
Suppose 26*t - 163095 = -17261. Is t a multiple of 32?
False
Suppose 57564 = -390*i + 408*i. Does 6 divide i?
True
Let g(a) = a**2 + 7. Let b(u) = -2*u**2 - u - 15. Let m(w) = 2*b(w) + 5*g(w). Let z be m(-6). Suppose 0 = 4*t - 7 - z. Is t a multiple of 15?
True
Let j = -295 + 291. Is -1 + (-5748)/(-21) - j/14 a multiple of 13?
True
Let k = -4295 + 4558. Is k a multiple of 6?
False
Let j(r) = 11 + r**3 + 2 - 2 + 1 + 2*r - 12*r**2. Let m be j(13). Let z = m - 126. Is z a multiple of 25?
False
Let g(h) = -96*h - 266. Does 13 divide g(-51)?
False
Let l be (2/(-6) + 1)*24/(-4). Is 66 a factor of l*((-6)/27 + 1186/(-9))?
True
Let v(t) = 2*t**3 - 2*t + 4. Let a be v(1). Let o(p) = 23*p**2 - 2*p + 23. Is o(a) a multiple of 25?
False
Let t be (0 + (-3)/(-6))/(4/40). Suppose -t*v + 395 = 60. Suppose -3*j + v = -5. Does 4 divide j?
True
Does 11 divide 33572/22 - (-13 + -2)?
False
Suppose 0*q = 5*d + q + 63, 5*d + 57 = q. Let j be -4 - (-20)/6 - 116/d. Suppose -j*g - g = -470. Does 10 divide g?
False
Let s = 22 + -78. Let r = s + 60. Suppose 0 = 5*p + 2*x - 442, 2*p - r*x + 74 = 3*p. Does 18 divide p?
True
Suppose 285 = -36*a - 219. Is (-12117)/(-49) + 4/a + 5 a multiple of 12?
True
Let w(h) = h**3 + 2*h**2 - 5*h - 4. Let x be w(-2). Suppose 0 = x*k - 120 - 60. Suppose 3 = 3*q + l - 71, l = q - k. Does 13 divide q?
True
Let g = 82 + -79. Suppose -3*o + 972 = 4*c, 2*c + 248 = g*c + 2*o. Does 24 divide c?
True
Let n = 6719 - -4141. Does 53 divide n?
False
Suppose 4*i + 4*j - 8 = 0, 0*j - j + 11 = 4*i. Suppose -5*m = -3*a - 595, -i*m - 106 = -4*m - 2*a. Is m a multiple of 58?
True
Suppose p - 665 = 2*j, 210 + 458 = p - 3*j. Is 4 a factor of p?
False
Let g = 226 + -230. Does 17 divide 6/g*238/(-3)?
True
Suppose 0 = 13*w + 990 - 3668. Suppose 3*y = 0, 3*l + y - w - 4 = 0. Does 28 divide (-72)/(-15)*l/3?
True
Suppose 122 + 298 = 10*d. Is (14/d)/((-1)/(-2097)*3) a multiple of 11?
False
Let j = -15070 - -16464. Is 4 a factor of j?
False
Let h be (-270)/(-216) + ((-86)/(-8) - 2). Suppose -h*n = -15*n + 2695. Does 11 divide n?
True
Let t be (-6)/(-3)*(8 + 2). Let g = 20 - 20. Suppose 0 = -s + 4*d + t, g*s - s - 4*d + 36 = 0. Is s a multiple of 8?
False
Let x = -9355 + 12944. Is x a multiple of 143?
False
Let f = 53 - 49. Suppose 16*x + f*c + 29 = 17*x, 4*c = -4*x + 136. Does 13 divide x?
False
Suppose 8*d - 7*d + 132 = -5*o, -o + 4*d = 18. Is (-65)/o*332/10 a multiple of 13?
False
Suppose 4*p = 5*y - 28, 5 = y - 2*p + p. Let d(l) = 8*l**3 - 12*l**2 - 5*l + 2. Let b be d(3). Suppose b = f - y. Is f a multiple of 19?
False
Let q(h) = 175*h**2 - 10*h + 67. Does 44 divide q(-15)?
False
Let q be 8 - (2 + -11)/(-9). Let m(s) be the third derivative of -s**4/24 + 5*s**3/3 - 3*s**2. Is 2 a factor of m(q)?
False
Let v(z) = -z**2 + 5*z + 4. Suppose q + 4 - 3 = 0. Let u be v(q). Let w(k) = -14*k**3 + 4*k**2 + 6*k + 5. Is 11 a factor of w(u)?
True
Let g(r) = 3 + 2*r + 13*r**3 + r - 37*r**3 - r**2 + 15*r**3. Suppose 2*q - 5 = -t, 0*t + 5*t + 5*q - 10 = 0. Is g(t) a multiple of 2?
True
Let h = -36 + 62. Let n(b) be the second derivative of -b**4/12 + 4*b**3 + 59*b**2/2 + 31*b. Does 7 divide n(h)?
True
Does 24 divide (-44)/(-77)*(-6349)/(-2) - -10?
True
Let i = 126 - 462. Let m be i/(-156) - (-4)/(-26). Is 30 a factor of (-5 + -1)/(m/(-20))?
True
Suppose 1557 = 6*l + 39. Suppose l*t = 268*t - 780. Is 52 a factor of t?
True
Suppose -18 = -49*o + 55*o. Does 8 divide (-300)/o - (4 - 0/(-2))?
True
Suppose -24 = -2*v - 14. Let g be (v/(-15))/(4/(-192)). Let w = g - 5. Is w a multiple of 3?
False
Let h(l) = 16*l + 10. Let p = -18 + 23. Let t be h(p). Suppose -4*j + t = i - 111, 4*j = -2*i + 206. Is 13 a factor of j?
False
Let f be 5*(-4 - (99/(-36))/((-5)/(-8))). Suppose 0 = -4*r - 3*z + 8 + 92, -r - 5*z + 25 = 0. Suppose -18 + 68 = f*a - 2*k, -a = 5*k - r. Is a a multiple of 4?
False
Let r(l) = -5*l + 5 + 3*l + 4*l. Let t be r(4). Suppose -2*n - t = -3*n. Is n a multiple of 13?
True
Let x = -225 + 223. Let r(k) = -6*k**3 - 6*k**2 - 3*k + 1. Is r(x) a multiple of 31?
True
Let a = -39 - -51. Suppose -90*x - a = -87*x. Let l(z) = 2*z**2 + 4*z + 8. Is l(x) a multiple of 12?
True
Suppose -s = 4*x + 11, 7 = 5*s - 18. Is 69 a factor of (-425344)/(-480) + x/30?
False
Let k = 71 - -129. Is k a multiple of 100?
True
Let f(l) = 107*l + 13. Let w be f(2). Suppose -2*a = -w - 119. Is a a multiple of 43?
False
Let v(u) = -298*u**2 - 1 + u**3 + 295*u**2 - 5*u + 2*u. Let s be v(-1). Is s/(16/(-38)) - 2/(-8) a multiple of 3?
False
Let l(i) = 78*i + 205. Is l(1) a multiple of 3?
False
Suppose -2*z + 365 = -599. Suppose -z + 1670 = 36*f. Does 2 divide f?
False
Let o = -781 - -6251. Does 21 divide o?
False
Let n(s) = -2*s - 24. Let c be n(-12). Let o = -12 + 55. Suppose -4*j + 123 - o = c. Does 5 divide j?
True
Let z = 557 + -300. Let y = z + -182. Does 28 divide y?
False
Let o = 43786 - 21237. Is 27 a factor of o?
False
Let t(n) = -3*n - 12. Let y be t(-6). Suppose 0 = s - y*s + 25. Let d = 50 + s. Is d a multiple of 11?
True
Let c(k) = -8*k + 17. Let a be c(0). Is (2 + (-16)/(-7))/(a/119) a multiple of 10?
True
Let i = 448 - 318. Suppose -302 - i = -18*k. Is k a multiple of 2?
True
Let o(f) = f**2 + 4*f - 2. Let u be o(-4). Let t(z) = -z**2 - z + 2. Let h be t(u). Is h - -2*28/2 a multiple of 13?
False
Let t = 49 - 31. Suppose -f - t = -10*f. Is 4 a factor of f/13 - (-2156)/182?
True
Suppose -351*c + 344*c + 46557 = 0. Does 30 divide c?
False
Let a = 43 + -40. Suppose 0*f + g = -3*f - 56, -55 = a*f + 2*g. Let s = 36 + f. Is 3 a factor of s?
False
Let d = -11263 - -16219. Does 59 divide (-2)/(7/(d/(-8)))?
True
Let m = -8 + 11. Suppose -22 = 4*t - 5*d - 78, m*t - 3*d = 39. Does 2 divide (-1 - 1)/(15/t - 2)?
True
Suppose 0 = 2*y + 12 - 6, 4*i - 5*y = 42871. Is i a multiple of 214?
False
Suppose 4*k + 16 = 0, 4*n + 0*n - 4*k - 24 = 0. Suppose 3*t - 147 = 5*b + 192, -b = -n*t + 226. Does 28 divide t?
False
Let g(w) = -53 - 2*w**2 + 38 - 3*w - 6*w**2 - w**3. Does 3 divide g(-8)?
True
Let n(w) = 2297*w**2 + 369*w - 367. Is 19 a factor of n(1)?
True
Let r be -4 + 1 + 155/5. Suppose 0 = -10*h + 148 - r. Suppose 8*k = h*k - 360. Is 35 a factor of k?
False
Suppose 0*n - 8*n + 608 = 0. Suppose -p + n = p. Suppose 25 = 3*c - p. Does 13 divide c?
False
Let y