r of (2*-2)/(-3 - o/84)?
True
Let k(v) = v**2 + 71*v + 274. Is 60 a factor of k(45)?
False
Let b = -350 + 398. Is 12 a factor of (81*-1)/(12*(-3)/b)?
True
Suppose -z - 15908 + 124265 = 4*q, -4*q - 2*z + 108354 = 0. Is 86 a factor of q?
True
Let a = -3908 + 2219. Is ((-62)/(-93))/(a/(-1683) - 1) a multiple of 11?
True
Let n(i) = -4*i**2 + 20*i - 4. Let b be n(8). Let w = 171 + b. Let h = w - 40. Is h a multiple of 4?
False
Suppose 4*b + 10*b = -14*b + 64960. Is b a multiple of 20?
True
Let k(p) = -2*p**2 - 3*p - 6. Let l be k(-7). Let t = l - -160. Suppose 128 = 2*c + c + 4*i, 2*c - t = -i. Is 18 a factor of c?
True
Let u(c) = 5*c**2 + 7*c - 4. Let a be u(-2). Suppose 4*n - 358 = -a*r, 2*n = -2*r + 156 + 26. Is n a multiple of 11?
True
Let l be (-1 - 0) + (7 - -32). Suppose -l + 43 = q. Suppose q*d - 2*p = -4*p + 354, 0 = 3*d - 5*p - 231. Does 24 divide d?
True
Let a be (9/4)/((-288)/(-6144)). Suppose a*x - 31*x - 1003 = 0. Is 3 a factor of x?
False
Let d = 145 - 139. Suppose 9*g = d*g + 837. Let h = g + -185. Is h a multiple of 10?
False
Suppose -9 = -3*d, 5*b + 4*d - 504 = 4*b. Let w = 216 - b. Let f = -172 - w. Is f a multiple of 26?
True
Suppose -5*j - 4*m = -32, 0 = j - 5*m + 9*m. Suppose j*p + 1080 = 14*p. Suppose 0 = 4*q, -3*u + 0*q + p = 3*q. Does 6 divide u?
True
Is (-16)/(-6) - 378482/(-78) a multiple of 86?
False
Let d = -7355 + 19812. Is d a multiple of 129?
False
Let g be ((-180)/22 - 28/(-154))/(-2). Suppose -967 - 273 = -g*x. Does 31 divide x?
True
Let s be 1*(3 + -5 - 35). Let j(r) = 64*r**2 - 5*r + 6. Let l be j(1). Let t = l + s. Is 12 a factor of t?
False
Is 7 a factor of 8209 - 1 - (-240)/(25 - 55)?
False
Let s be -2 - (-2234)/(-10) - (-38)/95. Let p = s + 350. Is 57 a factor of p?
False
Suppose 9*g - 10709 = 26542. Is g a multiple of 4?
False
Let s be (2/(-4))/((-5)/(-240)*6). Let h be (1 - s) + (-6)/(-4)*-2. Is 13 a factor of -3 + h + 1*-3 + 56?
True
Let q = -13361 + 67052. Is 8 a factor of q?
False
Let q(c) = -2*c**2 + 13*c - 12. Let m(t) = -4*t**2 + 27*t - 23. Let s be -6 + (-20)/(-3) - 14/(-6). Let w(p) = s*m(p) - 7*q(p). Is 5 a factor of w(10)?
True
Suppose -s = -4*s + 5*b + 7, 5*s + 5*b - 25 = 0. Suppose 7*x = s*x + 48. Suppose 12*g = x*g - 156. Is g a multiple of 8?
False
Is -10036*(-25)/170 - (-24)/204 a multiple of 22?
False
Let i(g) = -g**3 - 9*g**2 - g - 2. Let x be i(-9). Let o(c) = 10 - x - 3*c - 17*c. Is o(-5) a multiple of 34?
False
Let b(i) = -2*i**2 + 6*i + 32. Let f be b(11). Let c = 1 + 2. Is 16 a factor of -2 - f - (-6)/c?
True
Is (1/((-4)/8))/(28/(-5376)) a multiple of 12?
True
Suppose 4*v + 23369 + 8601 = 3*j, -2*v = -3*j + 31966. Suppose -j = 23*m - 37*m. Does 92 divide m?
False
Let j(s) = -9*s**2 - 8*s + 9. Let p be j(-9). Does 15 divide (p/(-14))/(112/392)?
False
Suppose -v + 4*v = 84. Suppose 4*z + m - 5*m = v, 2*m = 4*z - 24. Is 6 a factor of 314/z - (-4)/20?
False
Let r(m) be the second derivative of 11*m**3/3 - 34*m**2 - 6*m. Does 5 divide r(4)?
True
Suppose 58043 - 10856 = 9*l. Is l a multiple of 14?
False
Suppose -9*c + 61*c - 209264 = -36*c. Is 41 a factor of c?
True
Let d = 56484 - 38123. Is d a multiple of 43?
True
Let b be ((-2)/6)/((-1)/15). Suppose w + m + 4*m = -52, -2*w - 134 = -b*m. Let g = 66 + w. Is g a multiple of 4?
True
Suppose 3*f = 5*v + 16, v + 3*v - 4*f + 16 = 0. Is (v/4)/((-2)/1940) a multiple of 35?
False
Does 20 divide 480488/52 + -2*10/130?
True
Let b(r) be the third derivative of -r**6/120 + 2*r**5/15 - r**4/8 - 8*r**3/3 - 101*r**2. Does 8 divide b(4)?
False
Suppose -31*s + 101245 + 591853 = 0. Is 202 a factor of s?
False
Suppose -3*i + 219 = 2*r, 0*i = r + 5*i - 99. Suppose r = 12*w - 10*w. Is w a multiple of 3?
True
Suppose -11*l = -9*l + 670. Let v = l - -631. Is 7 a factor of v?
False
Suppose 3*i + 2*a = -0*i + 14, -i = -4*a - 14. Let c(r) = r**3 - 4*r**2 + 2*r - 13. Is 61 a factor of c(i)?
False
Let l(x) = 116*x**2 + 154*x - 616. Does 2 divide l(5)?
True
Let r(b) be the first derivative of b**3/3 + 3*b**2 + 15*b + 2. Let l be (1 - 5) + (-210)/30. Is 11 a factor of r(l)?
False
Let m be (4/8)/((-1)/(-6)). Is ((m - 1)*197)/2 a multiple of 16?
False
Suppose -44*q = 4*q - 965667 + 131043. Is q a multiple of 63?
True
Let v be ((180/(-25))/12)/(2/(-10)). Suppose k = -4*x + 365, k + v*x - 1757 = -4*k. Does 20 divide k?
False
Suppose -41310 - 64229 = -53*h + 22933. Is 12 a factor of h?
True
Let p(g) = g**3 + g**2 - 3*g + 10. Let y be p(3). Suppose -2*v - 5*t + 11 = y, 0 = 3*v + 5*t + 29. Is 10 a factor of (2 - 2) + (117 - v)/4?
True
Let y = 206 - 200. Suppose 2*d - 3*t = 1051, y*t - t - 5 = 0. Is d a multiple of 22?
False
Suppose 0 = -29*d - 84540 + 480042. Suppose 21*v = d + 13389. Is 39 a factor of v?
True
Suppose 3*j - 2*g = 585, 59 = j - 5*g - 110. Is 36 a factor of j?
False
Let f = 97 - 91. Suppose -3*w = -f, 2*n + 3*n - 3*w = -21. Does 7 divide (n + 10)/((-3)/(-51))?
True
Suppose -4*f - w + 40090 = 0, -3*f + 1067*w = 1071*w - 30048. Does 28 divide f?
True
Suppose 75462 + 228677 - 87299 = 30*f. Is f a multiple of 35?
False
Suppose 0*l = -16*l + 112. Suppose -2*b = -l*b + 700. Does 8 divide b?
False
Suppose -6*s = -2*s - 4*j - 11320, 5*s - 14166 = -3*j. Suppose -2*u - 638 = 2*r - 2054, -s = -4*u - r. Is u a multiple of 49?
False
Suppose -5*w + q + q + 22498 = 0, -4*w + 17999 = -q. Is 13 a factor of w?
False
Let l(y) = -5610*y - 759. Does 11 divide l(-1)?
True
Let p(j) = -j**3 - j**2 - j - 1. Let c be p(-2). Suppose -4*w + 2*g = -2648, 4*w - g + c*g = 2660. Does 39 divide w?
True
Suppose -8*w - 3*c = -4*w - 18, -5*c + 14 = 4*w. Suppose h - 1044 = -3*d, 0 = h - w*h. Does 58 divide d?
True
Let r(l) = -l**3 - 11*l**2 - 13*l + 29. Let a be r(-7). Let w = a - -161. Does 9 divide w?
False
Let u = -80 - -84. Suppose r + u*k - 605 = 0, -4*k + 163 - 2683 = -4*r. Suppose 3*m + 916 + r = 5*l, -4*m + 1562 = 5*l. Does 16 divide l?
False
Let a(h) = 3*h**3 - 69*h**2 + 26*h - 338. Is 20 a factor of a(23)?
True
Suppose 6*u - 68 - 16 = 0. Suppose u*f = 1106 + 742. Is f a multiple of 12?
True
Let h(v) = 337*v**2 - 86*v - 569. Is 30 a factor of h(-6)?
False
Let x be 12/2 + (1 - 4) - 0. Let h(y) = 2*y**3 - 4*y**2 + 10*y - 12. Is 3 a factor of h(x)?
True
Let u be (1/2)/((-7)/3402). Let h = -171 - u. Is 4 a factor of h?
True
Is (-192179)/(-208) - (-1)/16 a multiple of 5?
False
Suppose 4*l = 5*a - 22748, -l - 9101 = 23*a - 25*a. Is a a multiple of 8?
True
Let l(u) = 8*u**3 + 23*u**2 - 5*u + 1. Let s be l(-3). Suppose -s*v + 1902 = -1164. Is 10 a factor of v?
False
Suppose 3*u - 9 = 12. Suppose -u*o = -64 - 1196. Suppose 7*b - 93 = o. Is b a multiple of 5?
False
Is 2/8 + (-420)/80 + 1077 a multiple of 8?
True
Does 6 divide (-507596)/(-54) - (720/243)/(-40)?
False
Let g(j) be the first derivative of -363*j**2/2 + 11*j - 53. Does 14 divide g(-1)?
False
Let m(g) = -g**2 + 10*g - 16. Let y be m(3). Suppose -645 = -4*f - y*n, -3*n - 285 = -2*f + 2*n. Is f a multiple of 13?
False
Let a be 1/(2/12*2). Let w(n) = 80*n - 36. Let t(j) = 41*j - 19. Let d(o) = -5*t(o) + 3*w(o). Is 19 a factor of d(a)?
False
Let r(l) = -l**3 - 31*l**2 - 38*l + 41. Let b be r(-31). Suppose 407 = 4*y - 3*y + u, -b = -3*y - u. Is 8 a factor of y?
False
Suppose -4*d + 6*d = -2*y + 1704, 4242 = 5*d - y. Let j = -471 + d. Is j a multiple of 9?
True
Let m be (2/6)/(2/258). Suppose 9*j + 26*j + 665 = 0. Let r = m - j. Is r a multiple of 5?
False
Suppose 0 = 5*x - 838 - 122. Let u = x - 124. Suppose -9*l + u - 14 = 0. Is 2 a factor of l?
True
Does 5 divide (-528)/108 + 6 - (-1366623)/81?
False
Suppose -8*a = -6*a - 4*u + 2804, 4*a = -3*u - 5553. Let k = -864 - a. Does 6 divide k?
True
Let t(d) be the first derivative of -d**3/3 + 45*d**2/2 - 21*d + 104. Does 13 divide t(15)?
True
Let z be 1/(2/(-4)*(-4)/8). Suppose 2*v + 136 = u, -402 = -3*u - z*v + 8*v. Is u a multiple of 10?
True
Suppose -t - l + 11082 = 0, 16130 = 4*t + 2*l - 28194. Does 155 divide t?
False
Suppose -80850 = 229*j - 278*j. Is 33 a factor of j?
True
Let y = 130 - 96. Suppose -2*c + 378 = y. Is 7 a factor of c?
False
Let t(b) = 5933*b + 693. Is t(2) a multiple of 10?
False
Suppose -14*h - 314 + 1896 = 0. Let v = 135 - h. Is v a multiple of 11?
True
Let c(s) = -s + 8. Let v be c(6). Suppose 0 = 4*g - v - 6. Suppose -g*m - 7*m = -675. Is 15 a factor of m?
True
Supp