8*g - 2512 = 0. Let c = 449 + g. Is 15 a factor of c?
True
Let i = 4203 - -3357. Does 189 divide i?
True
Is 10 a factor of 138 + -136 + (18356 - -2)?
True
Let r(m) = 3*m**3 - 11*m**2 + 15*m + 4. Let y be (3 + 4)/((3 + -4)*-1). Is r(y) a multiple of 13?
False
Let r(w) = -63*w + 22*w + 24*w - w**2 + 16*w + 250. Let f be r(0). Suppose m + 127 - f = 0. Does 49 divide m?
False
Is (623690/1128 + (-5)/3)*(-256)/(-6) a multiple of 49?
True
Suppose -3*b + x - 3 = -0*x, -5*b = -4*x + 5. Let j be 3 + 3 + (-5 - -2) + b. Suppose -196 = j*o - 5*o + 4*h, 0 = o + 5*h - 78. Is 34 a factor of o?
True
Is -5*683/(-2)*(24/30 - 0) a multiple of 93?
False
Let n = 1209 + 4489. Does 37 divide n?
True
Let t = 39719 - 20459. Is 18 a factor of t?
True
Suppose 39472 = 3*f + c, -1575 = f + c - 14735. Is 26 a factor of f?
True
Let w be ((-4)/12*-48)/(1/1433). Suppose 779*p - 763*p = w. Is p a multiple of 22?
False
Let m = -2550 - -3082. Is m a multiple of 19?
True
Suppose -10*r - 3 = -9*r + 2*v, -2*r + v = -9. Let q = -6 - -9. Suppose -5*d + 44 = -r*m + 261, 0 = -q*m + 4*d + 218. Is m a multiple of 5?
False
Let p(i) = -2678*i - 342. Does 90 divide p(-3)?
False
Suppose 150*x - 183*x = -185625. Is x a multiple of 9?
True
Let x(q) = -4*q. Let g be x(0). Suppose m - 3*m + 8 = g. Does 8 divide 78/m*((-16)/(-6) + -2)?
False
Let s be 3*-199*(-10)/30. Suppose -t + 4*j = -70, -s = 5*t + 4*j - 597. Is 7 a factor of t?
False
Let v(r) = r - 25. Let q = -49 + 49. Let y be v(q). Let x = y + 44. Is x a multiple of 3?
False
Suppose 53*z + i = 56*z - 9798, -3*z + 9762 = 5*i. Is 272 a factor of z?
True
Suppose 12*d = 7*d + 420. Suppose -21*x + 18*x + d = 0. Suppose x*o + 384 = 34*o. Is 16 a factor of o?
True
Let z(i) = 4*i**3 + 4*i**2 - 7*i + 18. Let q be (102/(-10))/(-3) + (-8)/20. Is 22 a factor of z(q)?
False
Is (-754)/26 + 34 + (-13819)/(-1) a multiple of 256?
True
Let y(j) = -j**3 + 11*j**2 + 5*j - 3. Let s be y(7). Suppose 5290 = -s*q + 238*q. Is q a multiple of 31?
False
Let f(v) = -11*v - 30 - 150*v + 13 + 13. Let g be f(1). Let h = -6 - g. Is 33 a factor of h?
False
Let k be 1 + 23/(-12) + (-3)/36. Suppose -t = 2*t + 15. Is 3 a factor of t/(-5) + (-1)/(k/32)?
True
Let c(k) be the second derivative of -k**5/20 - k**4/3 - 3*k**3/2 - 7*k**2/2 - k - 24. Is 22 a factor of c(-6)?
False
Let d(v) = -3*v**3 + 123*v**2 - 83*v - 194. Is 135 a factor of d(29)?
True
Suppose 12830 = -25*t - 6970. Let l = t + 1560. Is 32 a factor of l?
True
Suppose -2*c + 7845 + 7729 = 0. Is c a multiple of 13?
True
Let o be -1 - ((8 - 3) + 243). Let g = -216 - o. Is g a multiple of 2?
False
Let t(i) = i + 83. Let v(b) = -2*b**2 - 52*b - 18. Let j be v(-25). Does 33 divide t(j)?
False
Let p(c) = 68*c**2 - 32*c - 49. Does 16 divide p(9)?
False
Let y = 3656 + -1784. Is 26 a factor of y?
True
Let c = -1744 - -3110. Does 10 divide c?
False
Does 2 divide (-1)/((216/(-4626))/12)?
False
Let b(y) = -403*y - 8203. Does 66 divide b(-31)?
True
Let q = 216 + -220. Does 9 divide 4 + (23 - (-2 - q))?
False
Suppose -17*q + 13*q + 5*s + 13435 = 0, -3*q + s = -10079. Does 15 divide q?
True
Suppose -5 = -k, 5*q + 82*k - 66120 = 85*k. Does 198 divide q?
False
Does 14 divide 321/((-17940)/2024 - (-9 + 0))?
False
Suppose -4*g + 0 = -d - 3, -4*d + 7 = 3*g. Let t be d + (-2 - 12 - -3). Does 8 divide (-4)/t + (-592)/(-20)?
False
Suppose -15*n - p = -18*n + 13404, 0 = 4*n + 2*p - 17892. Is 17 a factor of n?
False
Let v = 11950 + -7988. Is 12 a factor of v?
False
Suppose 11*g + 5*g = 352. Suppose g*u = 1876 + 368. Is 10 a factor of u?
False
Let b(s) be the first derivative of 4*s**3/3 + 7*s**2/2 + s + 5. Let t(o) = 7*o**2 + 15*o + 2. Let q(w) = 5*b(w) - 3*t(w). Is 14 a factor of q(-8)?
False
Let g be (1 + -7)*(-31 + 11). Let z = g - -64. Is z a multiple of 48?
False
Let h be ((-54)/8)/(399/(-72352)). Let f be 4/(-22) - 156/(-11). Suppose -h = -f*s + 2*s. Does 21 divide s?
False
Suppose -4*a = -4*z - 46704, -2*a + 54*z - 59*z = -23352. Is a a multiple of 19?
False
Let f(d) = -13*d + 31. Let t be f(2). Suppose 611 = 2*l - t*g, -l - 2*g + 193 + 99 = 0. Does 70 divide l?
False
Suppose 41*n - 262480 = 22880. Is n a multiple of 8?
True
Suppose 0 = 4*d + 2140*j - 2139*j - 1507, 3*j - 1119 = -3*d. Is 63 a factor of d?
True
Let w(b) = -4 + 2 - 5*b**2 + b + b**2 + 10*b**2. Let c be w(1). Suppose 2*j = c*j - 117. Is 10 a factor of j?
False
Let w(k) be the second derivative of -k**3/3 + 55*k**2/2 - 6*k - 1. Is w(17) a multiple of 2?
False
Let q = -10948 - -19767. Is q a multiple of 89?
False
Suppose -20536 = 14*q - 15*q - 4*i, -3*i = -2*q + 41160. Is 6 a factor of q?
True
Let a(r) = 11784*r - 192. Is a(1) a multiple of 84?
True
Suppose 0 = -58*m + 53*m. Let z be (-8)/(m - -3 - 4). Suppose z*o - 3*o = 285. Is o a multiple of 5?
False
Let d(s) = s**3 + 40*s**2 + 55*s + 26. Is 3 a factor of d(-23)?
False
Suppose -27 = -m - 0*m. Let a = 181 - m. Is a a multiple of 6?
False
Suppose -119243 + 10007 = -4*s + 4*w, -5*s = w - 136581. Is s a multiple of 45?
True
Let q = 63569 - -10958. Is q a multiple of 130?
False
Let o = -55 + 57. Let i be 20/15*3*23/o. Suppose -42*z + i*z = 288. Does 24 divide z?
True
Let p = -143 - -158. Suppose p*u + 185 - 7835 = 0. Is u a multiple of 30?
True
Let x = -1982 - -2174. Is x a multiple of 6?
True
Let v(o) = 4*o**2 + 9*o - 22. Let m(r) = 2*r**3 + 14*r**2 - 8. Let n be m(-7). Is 54 a factor of v(n)?
True
Does 4 divide 27/(-378)*-238 - -5927?
True
Let n = -237 - -570. Let p = n + -21. Let y = -169 + p. Does 13 divide y?
True
Suppose 1301 + 259 = 5*v. Does 4 divide v?
True
Let v(n) be the second derivative of -14*n + 0 - 2*n**2 + 2*n**3 - 1/6*n**4. Does 4 divide v(5)?
False
Let s(v) = -1556*v - 257. Does 8 divide s(-1)?
False
Let w(k) = -485*k + 2962. Does 68 divide w(-26)?
True
Let d(o) be the first derivative of 4*o**3/3 + 17*o**2/2 + 9*o + 142. Let j = -11 + 3. Is 43 a factor of d(j)?
True
Suppose 0 = 3*x - 464 + 299. Suppose -4*w + x*g + 4105 = 50*g, -2*w + g + 2051 = 0. Is w a multiple of 41?
True
Let x = 725 - 510. Let u = 60 + x. Does 43 divide u?
False
Suppose 96 = -2*l + 2*p, -3*l - 4*p - 137 = -0*l. Let k = l + 49. Suppose 0 = 2*u - 3*z - 51, k*u + 3*u + 3*z = 159. Is 15 a factor of u?
True
Suppose 2*p - k = 204, p = -4*p - 3*k + 532. Let b = -40 + p. Does 13 divide b?
False
Suppose -10*k = -11*k + 85. Suppose -17*w - k = -12*w. Let f = 15 - w. Is f a multiple of 4?
True
Suppose -d - 7*r + 24 = -10*r, -5*r = d + 8. Suppose -1248 = -d*k - 14*k. Is k a multiple of 24?
True
Let g be (-33*(-4)/(-8))/((-4)/(-136)). Let b = -286 - g. Is 25 a factor of b?
True
Suppose -w - 10104 = -3*y, 54*y - 51*y = 4*w + 10104. Is y a multiple of 24?
False
Suppose 83027 = -4*a - 4*a + 296347. Does 190 divide a?
False
Let d be 4 + -1 - (-3 + 2). Let a be d/(-14) - (-237)/21. Suppose 3*c + a = 2*l, 0 = -2*c + 4 + 2. Is l a multiple of 8?
False
Suppose 0 = -5*m - i - 155, -4*m - 6*i + 3*i - 113 = 0. Let y = 46 + m. Is 9 a factor of y?
False
Suppose 37*l + 68012 = 4*d + 36*l, 0 = -d + 5*l + 17003. Is 21 a factor of d?
False
Suppose -15*p = 3*p + 90. Let j be (315/p)/((-9)/(-6)). Is (-518)/j - (-2)/(-6) a multiple of 2?
True
Suppose -5*s + 66758 = -0*s - 2*x, -3*s + 40059 = 3*x. Does 14 divide s/80 + (-3 - -4)/10?
False
Is (-24904)/(-9) - (4/36)/1 a multiple of 18?
False
Let r be (-48)/312 + (561/13 - 1). Suppose r*k - 46*k = -2788. Suppose 144 = d - 4*i, -2*d - 3*i = 3*d - k. Does 14 divide d?
True
Suppose -15*d - 6408 = -23*d. Suppose d + 1071 = 13*r. Is r a multiple of 12?
True
Let x(r) = 2*r**3 + 15*r**2 - 9*r - 4. Let g be x(-8). Let b(i) = -6*i**2 + 42*i - 9. Is b(g) a multiple of 21?
True
Suppose -4*r - 4*i + 1816 = -i, -r - 4*i + 454 = 0. Let y = 263 - r. Let o = -41 - y. Is o a multiple of 10?
True
Let j(y) = -y**2 + 3*y - 1. Let b be j(4). Let l(h) be the third derivative of -h**6/120 - h**5/15 - 5*h**4/24 - h**3/3 + 53*h**2 - 2. Is 17 a factor of l(b)?
False
Let l = -50 - -48. Let d be (-4)/(-3) + l - 490/(-6). Let m = d - -92. Does 18 divide m?
False
Is 195 a factor of (-97 + -33)/(1/(-108)*2)?
True
Let f(d) = -d**2 + 5*d + 19. Let q be f(-3). Let g be -3*6*1 + (-3 - q). Is (g/(-5))/((-14)/(-875)) a multiple of 35?
False
Suppose 1794663 = 40*h + 77*h. Is h a multiple of 97?
False
Suppose -50 = 35*o - 40*o. Let p = o + -5. Suppose 