 i*o - 1331. Suppose -2*y - 5*a + w = 0, -1 = a - 6. Is 17 a factor of y?
False
Let o(z) = 15*z**3 - 2*z + 7. Let t(y) = 14*y**3 - y + 6. Let d(b) = -4*o(b) + 5*t(b). Let s be d(-1). Let c = 33 + s. Does 4 divide c?
False
Let x(r) = r**3 + 11*r**2 + 3*r + 15. Let m be x(-11). Let n = 23 + m. Suppose -s + 0*s + 5*g + 205 = 0, s + n*g = 165. Does 18 divide s?
False
Suppose -5*b + 1206 = -4*z, -3*z - 918 = -0*b + 3*b. Let u = -266 - z. Does 12 divide u?
False
Suppose -10976 = -2*m + 1824. Suppose -4*j = -4*s - m, 0 = 3*j - 8*j + 4*s + 8001. Is 16 a factor of j?
False
Suppose 13*t + 1133 = 111789. Does 19 divide t?
True
Let x be 2 + 9/(-4) - 781/(-4). Suppose -3*t - 575 = -1736. Let u = t - x. Does 48 divide u?
True
Does 36 divide 81/(-2)*(54 + -92)?
False
Let d(v) be the second derivative of 22*v**3/3 + 12*v**2 - 2*v + 11. Let l be d(4). Suppose 3*w - 7*w + l = 0. Is 7 a factor of w?
False
Suppose 2*q = -2*s - 2, 5*q = -4*s + 8*q + 3. Suppose s = -6*n + 2322 + 5094. Is n a multiple of 70?
False
Let c(x) = 15*x**2 - 192*x + 81. Is c(18) a multiple of 13?
False
Suppose -4*u - 5*y - 16 = 0, -4*u + 3*y - 15 - 1 = 0. Does 10 divide (-241)/u + (-6)/(-8)?
False
Let a(m) = 10*m**2 - 174*m + 4044. Does 2 divide a(23)?
True
Let x(z) be the third derivative of 1/120*z**6 + 13/24*z**4 + 1/5*z**5 + 0 + 0*z + 8*z**2 + 0*z**3. Is x(-10) a multiple of 15?
False
Let b(a) = 33*a + 613. Is b(-4) a multiple of 2?
False
Let w(m) = -m**2 - m - 1. Let j be w(-2). Let o = 2 + j. Does 18 divide (o + 118/10)/(5/25)?
True
Let o(k) be the first derivative of 42*k + 6 + 1/2*k**2. Does 14 divide o(0)?
True
Let s(y) = -408*y - 864. Is s(-4) a multiple of 24?
True
Let s = -7331 - -15809. Is s a multiple of 9?
True
Let n(y) = -20*y**3 - 11*y**2 + 42*y + 370. Does 17 divide n(-13)?
True
Does 11 divide ((-12181)/39)/((20/5)/(-192))?
False
Let h(y) = 29470*y - 814. Does 36 divide h(1)?
True
Let d(c) be the first derivative of -c**4/4 + c**2 - 26*c + 24. Let q be d(0). Does 13 divide (q/(-3))/(-5*2/(-105))?
True
Let a(k) = -54*k**3 - 2*k**2 + 13*k + 8. Is a(-4) a multiple of 20?
True
Suppose 15*t - 19*t + 4402 = 3*j, 2*j + 4 = 0. Does 29 divide t?
True
Suppose -10*v + 4*v + 570 = 0. Suppose -v*h + 97*h = 228. Does 19 divide h?
True
Let s = 10134 + 2758. Is 19 a factor of s?
False
Suppose -19*t + 113 = -20. Let w(k) = 4*k - 9. Let v be w(6). Let d = t + v. Is d a multiple of 22?
True
Let p(b) = b**2 - 15*b + 3126. Is p(115) a multiple of 71?
True
Suppose 4*n = -4*a + 34590 + 50262, 5*a - 106089 = 3*n. Suppose -a = -15*z + 3*z. Is 23 a factor of z?
False
Suppose 5*z - 18609 = -4*m, z = -11*m + 15*m + 3741. Is 32 a factor of z?
False
Let p(b) = 42*b**2 - 976*b + 31. Does 243 divide p(43)?
True
Suppose 0 = 4*n - 3*n - 60. Suppose 417 = 63*x - n*x. Does 5 divide x?
False
Let t = 33562 - 17354. Is 16 a factor of t?
True
Let c = -10649 + 17769. Suppose -24*l + c = -16*l. Is 18 a factor of l?
False
Let v(r) = -2*r**2 + 10*r - 20. Let h be v(6). Let f = -33 - h. Is (f/2*1)/(64/(-30336)) a multiple of 58?
False
Suppose -301 - 29 = -10*d. Suppose 35*x - 136 = d*x. Let h = x + -14. Does 27 divide h?
True
Let f = 1601 - -4924. Does 45 divide f?
True
Let n be 3/(((-20)/(-12))/(5/3)). Suppose -n*p = -4*p + 135. Is 15 a factor of p?
True
Suppose 5*c = -5*o - 10, 3*o + 3*c + 9 = o. Suppose o*m = 151 - 118. Is 8 a factor of m?
False
Let d(i) = -893*i - 587. Is 7 a factor of d(-5)?
True
Let b = 185 + 7. Suppose 2*d - 3*z - b = -0*d, -5*z + 10 = 0. Does 43 divide d?
False
Let y(s) = -s**3 + 45*s**2 + 965*s - 21. Does 2 divide y(-16)?
False
Let p = 34 + -7. Let c = p + -38. Let a = c + 101. Is a a multiple of 13?
False
Let u = 320 + -521. Let p = u - -353. Suppose 12 - p = -h. Is 38 a factor of h?
False
Let d(b) = -2*b**2 - 270*b + 822. Does 6 divide d(-75)?
True
Let r(b) = -4*b - 124. Let m be r(-32). Let o(j) = j**2 + 16. Is o(m) a multiple of 29?
False
Let c(a) = 5*a**2 - 89*a + 1453. Does 45 divide c(22)?
False
Let o(f) = -f**2 + f + 1. Let k(p) = -4*p**2 - 4*p - 7. Let q(u) = k(u) - 3*o(u). Let s be q(-5). Suppose s*x + 123 = x. Is 22 a factor of x?
False
Suppose -3*c + 8 = -j, c - 4 = 4*c + 5*j. Let p(z) = -c - 5*z + 8 + 3. Is 8 a factor of p(-3)?
True
Let x = -9 + 306. Suppose 3*t = -5*c + 880, t = 3*c - c + x. Is t a multiple of 41?
False
Is 24 a factor of (-134405)/(-70) + 11/(-154)?
True
Let z(g) = -g**2 - 2*g + 3. Let n be z(0). Let p(a) = 7 + n*a + 26*a - 133*a**2 + 139*a**2. Is p(-6) a multiple of 8?
False
Is 70 a factor of 2/(-8) - -161*(-4059)/(-44) - -7?
False
Is (2 - (-72)/24) + 4/(4/261) a multiple of 5?
False
Suppose 0 = 4*a + 26 - 2. Let u be a/(-27) + (-1720)/45. Let g = u + 52. Does 7 divide g?
True
Let b = 67 - 64. Let v(i) = -6*i - 4*i**2 + b - 3 - 1 + i**3. Is v(6) a multiple of 5?
True
Let t(q) = 266*q**2 - 183*q + 6. Does 34 divide t(4)?
False
Suppose -7*c - 4137 = 14*c. Let s = c + 485. Is 36 a factor of s?
True
Let f(s) = -48*s**3 + 1067*s**2 + 14*s - 4 - 1065*s**2 - 16*s. Is 49 a factor of f(-2)?
True
Suppose y + x = 319, 11 = -3*x - 4. Suppose 2*g - 908 = y. Is 14 a factor of g?
True
Let g be (-12)/(-18)*(-3)/1*-30. Suppose -2*t + 7*t - g = 0. Is (-4)/(-6) - (-604)/t a multiple of 26?
False
Suppose 14*j - 74 = 262. Let m = -27 + j. Is 4 a factor of (-5 - (19 + 1))*m?
False
Let k(a) = a**3 + 48*a**2 - 55*a - 525. Is 45 a factor of k(-48)?
True
Let r(q) = 4*q + q**3 + 1321*q**2 - 1326*q**2 + 9 - 6*q. Suppose -k = -3*u + 9 - 0, -3 = 2*k - 3*u. Is r(k) a multiple of 6?
False
Let b be (3384/180)/(4/710). Suppose b = 9*c + 124. Is 77 a factor of c?
False
Suppose -3*b - 42 = -90. Suppose -29*j - b + 1437 = 0. Does 7 divide j?
True
Let d = -52327 - -81052. Does 25 divide d?
True
Does 10 divide 7/1 - (-5)/((-25)/(-43665))?
True
Let j(i) be the third derivative of 0 + 0*i + 2/3*i**3 + 1/12*i**5 - 12*i**2 + 1/6*i**4. Does 3 divide j(-2)?
False
Let c(a) = -539*a + 44. Suppose 0 = -18*w - 20*w - 38. Does 11 divide c(w)?
True
Does 44 divide 1/3 - ((-589008)/432 + (-2)/9)?
True
Let p = -126 + 141. Suppose -p = -3*g, -h = -4*g - 301 - 37. Is 36 a factor of h?
False
Suppose 13*p + 1523 - 6463 = 0. Suppose -60 = 2*u - p. Is 10 a factor of u?
True
Suppose -1807*c = -1789*c - 77112. Does 68 divide c?
True
Let l(b) = b**2 - 18*b + 32. Let k be l(12). Let w(u) = 16*u - 4. Let o be w(5). Let f = k + o. Is 9 a factor of f?
True
Let u be (498/5)/(44/(-110)). Let d = 298 + u. Is 15 a factor of d?
False
Let i(v) = -1622*v + 16. Let j be i(-1). Suppose 8*n - j = 3882. Is 40 a factor of n?
False
Let p = -72 - -77. Suppose -2*h - 4*n = -11 - 17, 0 = -5*h + p*n + 145. Is 6 a factor of h?
True
Suppose 3*l + 174 + 171 = 0. Let g = 175 + l. Suppose g = 2*r + 3*r. Does 12 divide r?
True
Let z = -2285 - -2582. Is 27 a factor of z?
True
Suppose -13*b = 8 + 148. Is 23 a factor of (80/b)/((-316)/(-159) - 2)?
False
Suppose 2*o = -3*p + 776, -1289 = -3*p - 2*p + o. Let y be (37/(-13) - -3) + p/13. Is (15/y)/3 - 503/(-4) a multiple of 34?
False
Suppose 200*k - 516*k + 9106488 = 0. Is 18 a factor of k?
True
Let h(m) = -m**3 - 29*m**2 + 4*m + 98. Let r be h(-29). Is 8 a factor of (-5607)/r - 3/(-6)?
True
Suppose 0 = 2693*t - 2667*t - 34944. Is t a multiple of 2?
True
Suppose 5*w = k + 168794, 0 = 111*w - 118*w - 5*k + 236350. Is w a multiple of 10?
True
Let j(h) be the first derivative of h**3 + 9*h**2/2 + 9*h - 60. Does 18 divide j(5)?
False
Let a(x) = 4*x + 38. Let l be a(5). Suppose 8*v - l + 2242 = 0. Is v*2/(-2) - 3 a multiple of 15?
True
Let o = 524 + -738. Let j = o + 144. Let f = j + 143. Does 10 divide f?
False
Suppose x - 4*o - 12907 + 541 = 0, 0 = 4*x + 3*o - 49616. Does 3 divide x?
False
Suppose 0 = -b + f + 15, -5*f + 2 = -b - 3. Suppose 4*g = -v - b, -3*g - 38 = -4*v - v. Is (g/4)/((-51)/(-60) + -1) a multiple of 7?
False
Let c be (-35626)/(-16) + ((-525)/(-56))/25. Suppose 2*z + 15*z = c. Is z a multiple of 39?
False
Let y(v) = -2. Let p(w) = -w**2 - 55*w + 142. Let i(d) = p(d) + 4*y(d). Is 14 a factor of i(-25)?
False
Let r = 46 + -41. Suppose 0 = 3*z + r*x + 19 - 84, 3*z + x = 49. Suppose z*y - 168 = 8*y. Is 12 a factor of y?
True
Let s(w) = -w**3 + 9*w**2 + 12*w - 23. Let r be s(10). Let v be 1*(r - (-54)/(-3)). Is 19 a factor of (19/3)/(4 - (-77)/v)?
True
Suppose 11*j - 45 = 20*j. Let k(a) = 