t) = -4*t**3 + 4*t**2 + 11*t - 14. Let d(r) = 3*r**3 - 3*r**2 - 10*r + 13. Let h(p) = -5*d(p) - 4*j(p). Does 9 divide h(4)?
True
Let x = 32 - 38. Let q(w) = 2*w**2 + 11*w - 4. Let m be q(x). Suppose v - 94 = -2*a - 12, -a - m*v = -38. Is a a multiple of 15?
False
Let c = 50543 - 22983. Is c a multiple of 265?
True
Suppose -4*r + y = -10689, 5*r = -15*y + 12*y + 13374. Is 33 a factor of r?
True
Suppose 4*o + 2*x + 9 = -11, 0 = 3*o + 2*x + 14. Let s(m) = 8*m**2 - 12*m - 35. Is s(o) a multiple of 37?
False
Suppose 19*l - 17*l = 38. Suppose l*j - 788 = 17*j. Let b = j - 196. Is 25 a factor of b?
False
Suppose -2*x = 5*b - 1047, b + 629 = 4*b + 2*x. Let s = b + -147. Suppose 0 = -p - 16 + s. Does 23 divide p?
True
Suppose -99*a - 123*a + 5726156 + 2038738 = 0. Is a a multiple of 23?
False
Suppose -281*l = -276*l - 25. Suppose -2*x + 5*n + 1108 + 777 = 0, 950 = x + l*n. Does 45 divide x?
True
Let l(s) = -s**3 + s**2 + 6*s - 6. Let o be l(3). Let c be (5*o)/(15/20). Let b = c - -78. Is b a multiple of 38?
True
Let c(o) = 2*o**2 - 7*o - 19. Let g(v) = v**2 - 18*v + 10. Let i be g(18). Let k be c(i). Suppose -7*m + k - 27 = 0. Is 10 a factor of m?
False
Suppose 18*t - 61049 = -23249. Is 14 a factor of t?
True
Let r(x) = -x + 13. Let p be r(8). Suppose -u - 2*f = -178, u - p*f - 181 = 18. Is u a multiple of 9?
False
Suppose 7*r - 2507 = 506 + 4967. Is r a multiple of 30?
True
Let i be (159/(-4))/((-12)/48) + 4. Suppose -u + 367 = -3*r, -i = -u + 4*r + 201. Is u a multiple of 47?
True
Let a(j) = -274*j - 8978. Let n be a(-33). Let l = -126 + 242. Let d = n + l. Does 9 divide d?
True
Suppose 7*y = -y - 8. Let a(j) = -331*j**3 - j**2 - j - 1. Is a(y) a multiple of 33?
True
Suppose 0 = 33*c - 114041 - 266311 - 455703. Does 16 divide c?
False
Let k(b) = b**3 + 4*b**2 + 4*b + 4. Let c be k(-3). Let l be (c - 0)/((2 + -3)/(-5)). Suppose -5*f - l*f = -240. Is f a multiple of 4?
True
Let p = -13 - -44. Let a be (-3 + (0 + 0 - -3))/3. Suppose a = -4*r + 339 - p. Is 11 a factor of r?
True
Suppose -70*z + 314344 = -21376. Does 11 divide z?
True
Let i(b) be the third derivative of b**5/60 - 5*b**4/8 + 37*b**3/6 + 108*b**2. Is i(-11) a multiple of 12?
False
Suppose 0 = -5*u + 2*l + 8, 2 = 3*l - 1. Does 4 divide (10/u + -37)*-1?
True
Let m(l) = 15*l**2 - 123*l + 190. Is 16 a factor of m(14)?
True
Let q(s) = 2*s + 1. Let o(g) = -185*g + 34. Let f(t) = -o(t) - 2*q(t). Does 13 divide f(3)?
True
Let j = 682 - 420. Suppose g = -5*u - 1406, u + 2*g + j = -3*g. Let p = u + 668. Does 43 divide p?
False
Suppose -5*k - 9328 = -7*k + 4*q, 5*q = k - 4652. Is 8 a factor of k?
True
Let h = -59 + 93. Let p = 40 - h. Is 13 a factor of (2/(-1) - -43)/(p/18)?
False
Suppose -2*y + 61 + 107 = 0. Suppose -2*k + 5*a + 91 + y = 0, -12 = 4*a. Suppose m - 3*x + 3 = x, 0 = 5*m - x - k. Is m a multiple of 2?
False
Let d = 61403 - 29851. Is d a multiple of 17?
True
Let b = 2890 + -130. Is 12 a factor of b?
True
Let r(k) = 2*k**2 + 2*k - 7. Let w be r(-4). Suppose 2*z = -w*z - 171. Does 51 divide (z/(-1))/((-9)/(-102))?
True
Is (468/351)/(-4*(-2)/5154) a multiple of 59?
False
Suppose -18*t + 8350 = -139606 + 34538. Is 25 a factor of t?
False
Let y(s) = 2*s**3 + 3*s**2 + 3*s - 7. Let b be y(4). Let h = b - -36. Is 35 a factor of h?
False
Suppose -9592 = -6*i - 16*i. Let n = 946 - i. Is n a multiple of 34?
True
Suppose 3*k = -3*r - 15 - 36, 93 = -5*r - 3*k. Is 36 a factor of r/(20/112 - (-2)/(-7))?
False
Let p(d) = 338*d**2 + 28*d + 2. Let o be p(3). Suppose 9*s = -14*s + o. Does 24 divide s?
False
Suppose 7 = i - 2*j, 5*j - 7 = -3*i + 4*j. Suppose o - 11 = -4*h, -i*h - 12*o + 21 = -7*o. Suppose 5*w = -g + 281, -h*g + 15 + 211 = 4*w. Is w a multiple of 28?
True
Suppose -j - 7*j - 16 = 0. Let q = 39 + j. Suppose 204 = 40*v - q*v. Is v a multiple of 34?
True
Is (((-1512)/(-980))/(6/(-20)))/((-14)/13769) a multiple of 8?
False
Let b(m) = -4*m**3 - 89*m**2 + 30*m - 86. Is b(-30) a multiple of 62?
False
Let f = 9 - 6. Let g(u) = 58*u**2 + 6*u - 5*u - 48*u**2 - 8. Does 17 divide g(f)?
True
Suppose 71*r - 590348 - 184396 = 240627. Is r a multiple of 9?
True
Let v = 4649 - 489. Is v a multiple of 5?
True
Let o be 4/(-10) + 12/5. Let p be (-231 - -33)*2/(-6)*1. Let w = p - o. Is w a multiple of 25?
False
Suppose 8*t = 6*q + 12*t - 7408, -t = -3*q + 3692. Does 8 divide q?
True
Let g(k) = -k**3 - 59*k**2 + 77*k - 386. Does 44 divide g(-61)?
False
Let c = 15 + -7. Suppose d = 5*d - c. Suppose 3*n - 60 = d*f, -2*n = -2*f + f - 41. Does 14 divide n?
False
Suppose 963 = 2*c + 6*b - 10773, c - 5896 = 4*b. Is 35 a factor of c?
True
Suppose 15*u - 11 = 14*u. Suppose -8009 = -u*n - 1299. Is 48 a factor of n?
False
Suppose 107*q - 1346408 = -38*q - 143198. Is 18 a factor of q?
True
Is (-10 - 60384/8)*(-2)/(-8)*-6 a multiple of 152?
False
Let s(u) = 27*u - 13. Suppose 0 = 2*v + 6, 5*v = -4*k + 20 - 3. Does 12 divide s(k)?
False
Suppose 5*c - 8 = i, 2*c + 2 + 4 = 5*i. Suppose 2*r + i = 0, -r - 2*r = -4*f + 1155. Suppose 2*b - 5*s - 144 = 0, -7*s + 2*s - f = -4*b. Is 12 a factor of b?
True
Suppose 2 = -b, -c = -0*c + b - 2. Suppose -1880 = -4*d - c*m, 0 = 17*d - 22*d - 2*m + 2359. Is 11 a factor of d?
True
Let q be 63676/24 + (-5)/30. Suppose -14*p + q = -7*p. Is p a multiple of 20?
False
Let v(g) = -g**2 + 6*g + 2. Let c be v(6). Suppose -17*j - 6135 = -5*q - 14*j, -q + c*j = -1220. Is q a multiple of 15?
True
Let d(z) = 12*z**3 + z**2 - 1. Let c be d(-1). Let s be -2 - ((-674)/(-1) + -5 + 8). Does 8 divide ((-10)/c)/(-5) + s/(-42)?
True
Let n(z) = 20*z**2 + 12*z - 96. Let m be n(12). Suppose -39*s + m = -35*s. Is s a multiple of 61?
True
Let o = -33 + 59. Does 13 divide (2*o)/((-64)/(-160))?
True
Suppose -4*a = -3*a + 23. Let h = a - -24. Is 2 a factor of h - (-2 - -4)*-1?
False
Let y(a) = -a**3 + 14*a**2 + 2*a - 25. Let i be y(14). Let d be 2/i + ((-236)/(-6) - -2). Let c = d - -18. Is 10 a factor of c?
True
Let u(d) = -d - 11. Let b(p) = -2*p - 10. Let m be ((-1)/3)/((-13)/(-195)). Let g(x) = m*u(x) + 4*b(x). Does 11 divide g(0)?
False
Suppose 3*i - 6*i = 4*g + 171, 3*g = 0. Let x = i + 105. Suppose -30 = -x*m + 45*m. Is 4 a factor of m?
False
Let n = -4498 + 7898. Is n a multiple of 68?
True
Suppose 32 = 5*t + 17. Suppose t*k - 43 = 2*y, -6*y + 8*y = 2. Suppose -k*m - 5*m = -2200. Is m a multiple of 22?
True
Let y(h) = h**2 - 3*h - 8. Let c be -2*(-2)/(-4)*-3. Suppose c*t = 18 - 36. Is 8 a factor of y(t)?
False
Let n(r) be the third derivative of r**5/12 - 11*r**4/24 - 5*r**3/6 - 170*r**2. Does 90 divide n(-15)?
False
Let m(n) = -2*n + 0 - 993*n**3 + 994*n**3 + 12*n**2 + 2. Is m(-10) a multiple of 9?
False
Let u(w) = -w**3 - 10*w**2 + 12*w + 23. Let p be u(-11). Suppose 2*h - p = 4*a, -3*h + 4*h - a - 7 = 0. Suppose 5*v = h*v - 576. Is v a multiple of 24?
True
Let n(p) be the third derivative of p**6/120 - p**5/60 - 3*p**4/8 - 5*p**3/6 + 18*p**2. Let o be (2 - 1)/(-1)*(-7 + 2). Is 25 a factor of n(o)?
True
Let f(v) be the first derivative of 8 + 10/3*v**3 + 6*v + v**2. Is f(-3) a multiple of 18?
True
Let m be 1/(-10) - (-5949)/90. Let y = -34 + 50. Does 11 divide 4/((y/m)/4)?
True
Let o = -301 - -442. Let k(d) = -2*d**3 - 5*d**2 + 8*d - 3. Let j be k(3). Let m = j + o. Does 16 divide m?
False
Is 18 a factor of 44/6*309 + 67/(-67)?
False
Let c(x) = x + 3. Let a be c(-1). Let t be (-1)/((12/48)/(174/(-8))). Suppose 0 = -4*n + 3*r + 280, 0 = -5*n - a*r + t + 263. Is n a multiple of 10?
True
Let f = -160 + 72. Is 23 a factor of f/(-24)*-3*23/(-1)?
True
Suppose 2*w - 4*q + 101 = 383, -5*w + 672 = q. Does 15 divide w?
True
Let j = -446 + 449. Is -3 - (-656)/(11 - j) a multiple of 21?
False
Suppose -6*v + 115 = -239. Suppose 0*q + 4*q + 4*s - 204 = 0, -q = 3*s - v. Does 47 divide q?
True
Let m(o) = 3*o**2 - 6*o - 6. Let b be m(-4). Let h(x) = -x**3 - 38*x**2 + 77*x - 171. Let p be h(-40). Let d = b + p. Is 5 a factor of d?
True
Let f be 2/((-12440)/(-6215) - 2). Suppose 3*w - f + 118 = 0. Is 23 a factor of w?
False
Let a be (26536/(-62))/((-9)/4 + 2). Suppose 2*r - r - j = 432, 4*r + 4*j - a = 0. Is 43 a factor of r?
True
Is 34 a factor of -13*(-48)/(-36)*-1422?
False
Let k(h) = 3*h**3 - 2*h**2 - 4. Let y(i) = i**3 - 8*i**2 - 3*i + 26. Let d be y(8). Let g be k(d). Is 17 a factor of g/42 - (-1984)/14?
False
Suppose 5*