ose 0 = 35*r - 69346 - 120879. Is 69 a factor of r?
False
Let w = 1693 - 1089. Let z = w + -189. Does 19 divide z?
False
Suppose -6*u = -7*u. Suppose u = -3*m - 10 + 1. Is (m - -1) + (7 - -6) a multiple of 3?
False
Let j(y) = -327*y - 1802. Does 7 divide j(-16)?
True
Let d(k) = 1288*k**3 + 4*k**2 - 15*k + 16. Is 30 a factor of d(3)?
False
Let c be 16*(45/(-12) - 0 - -4). Suppose 4*u + 3*d - 1434 = 0, c*u - 2*d = -353 + 1797. Does 30 divide u?
True
Let o = 33053 + -30529. Is o a multiple of 8?
False
Suppose 2*f = -0*f + 44. Suppose -4*t - w = w + 112, -t = -w + f. Does 14 divide (-6)/(12/t) - -2?
False
Let v(h) = -2*h + 267. Let q be v(15). Let m = q + -147. Is m a multiple of 15?
True
Suppose 0 = 8*b + 2*b - 170. Let g = 19 - b. Is 49 a factor of 2*(147/g - -2)?
False
Suppose p - 5*n - 14745 = 0, 5*n - 14335 - 59480 = -5*p. Does 45 divide p?
True
Suppose 0 = -3*q + 2*g + 291, -2*q + 50*g - 48*g = -192. Is 33 a factor of q?
True
Suppose 0*f - 312 = -3*f. Suppose -3*m + f = -4*s, 5*m - 77 = s + 102. Suppose -m = 108*v - 110*v. Is 18 a factor of v?
True
Let x be (-59)/(-2)*(2 + 0). Let q be -1 - (1 + (4 - 8)). Does 16 divide (-1 - (-6)/q) + x?
False
Suppose -2*y + 4394 = 2*a, -43*y + 40*y = a - 6601. Suppose -27*i + y = -22*i - s, 3*s - 450 = -i. Does 49 divide i?
True
Suppose 51*i - 17*i - 8296 = 0. Suppose -g + 5 = 0, 4*v + 2*g - i = 2*v. Does 13 divide v?
True
Suppose 3*m = -2*k + 1, -5*m - 3*k + 11 = -2*k. Let s be (15 - 7)/(-2)*16/(-1). Suppose m*b - s = 287. Is b a multiple of 40?
False
Let a = 311 - 75. Let p = a - 215. Does 21 divide p?
True
Suppose 978 = 2204*y - 2198*y. Suppose -2*c + 556 = -3*j + y, 2*j + 592 = 3*c. Is 26 a factor of c?
False
Suppose 159*l - 3233168 - 35576 - 1683629 = 0. Is l a multiple of 26?
False
Suppose 39*o + 2050 = 44*o. Suppose 4*g - 14*g = -o. Is g a multiple of 3?
False
Is 21 a factor of (-3225)/(-1720)*4/3 - (-4573)/2?
True
Let x = -25 - 9. Let t = 34 + x. Suppose -445 = -5*j - 0*n - n, t = -5*n. Is j a multiple of 10?
False
Suppose 76*f = 73*f + 1698. Let g = f - 302. Is g a multiple of 15?
False
Let d(n) = -170 + 181 + 3*n**2 + 3*n - 9*n. Let t be d(8). Suppose 5*l - 2*k - 710 = -0*k, -l + 3*k = -t. Does 20 divide l?
True
Let h(v) = 82*v - 2980. Is 22 a factor of h(68)?
True
Suppose 0 = 22*l - 30*l. Suppose l = 19*d - 12*d + 1764. Let n = 353 + d. Does 15 divide n?
False
Suppose -42364 = 52*u - 66*u. Is u a multiple of 89?
True
Let i(b) = 1 + 2*b**2 + b + 0*b + 12*b**2. Suppose -14*o = -6 + 20. Is 3 a factor of i(o)?
False
Let m = -3770 - -4140. Is m even?
True
Let j(l) = 24757*l**2 + 13*l - 16. Is 57 a factor of j(1)?
False
Let f(o) = 2*o**3 - 131*o**2 - 26*o - 108. Is 12 a factor of f(66)?
True
Suppose 0 = 3*p - 3, 495 = 5*x + 2*p - 2232. Suppose 1922 - x = 9*v. Is v a multiple of 9?
True
Let b be (0 - -1)/(53/(-42877)). Let j = b - -824. Is j a multiple of 3?
True
Let r = -17 - -12. Let i = 47 + r. Let u = i - -198. Is 30 a factor of u?
True
Let o(z) = 5*z + 43. Let t be o(-6). Let q(y) = y**2 - 15*y + 31. Let h be q(t). Suppose x + 44 = h*x. Is x a multiple of 3?
False
Let n(v) = 152*v + 12008. Is n(-49) a multiple of 48?
True
Suppose 0 = 49*s - 25*s - 193920. Is 16 a factor of s?
True
Let s = 83 + -368. Let l = 423 - s. Is l a multiple of 42?
False
Let o be (825/44)/(6/176). Suppose -x - 5*m - o = -6*x, -2*m = 6. Is (-1)/(2 - 215/x) a multiple of 16?
False
Suppose 158170 - 1184074 = -44*h. Does 174 divide h?
True
Suppose -159 = 4*k + 9. Let g be (-2)/(-4 + (-165)/k). Is 40 a factor of g*5 - (0/2 + -3)?
False
Suppose 5*v = -30, 5*t - 2604 = -5*v + 1911. Does 7 divide t?
False
Let b(h) be the third derivative of -1/8*h**4 + 0 + 1/3*h**3 - 15*h**2 + 0*h + 1/30*h**5 + 19/20*h**6. Is b(1) a multiple of 16?
False
Suppose 3*a + 174 = g, 2*g - 4*a - 352 = -0*a. Let m be (-15504)/g - (-2)/15. Let t = m + 177. Is t a multiple of 41?
False
Let c = 6252 + -4236. Is 4 a factor of c?
True
Let i = 77 - 70. Suppose 0 = i*t + 2169 + 323. Let k = -243 - t. Is 12 a factor of k?
False
Let k(f) = -28*f**2 - 9*f - 10. Let r be k(-5). Let d = -513 - r. Is d a multiple of 8?
True
Is 5 a factor of (-4975)/15*(-1)/(25/30)?
False
Suppose -10*i - 5*z = -8*i - 4737, -i + 2364 = 4*z. Does 6 divide i?
True
Suppose 328*g - 2714704 = -660319 + 746735. Does 61 divide g?
True
Let t = -303 + 394. Suppose 3*h = 4*a - 280 - t, 294 = 3*a + 3*h. Does 5 divide a?
True
Let l = -7234 + 10879. Is 135 a factor of l?
True
Let y = -61 - -94. Suppose 0 = 2*b - 3*k - 105 - 17, b - 5*k = 68. Let t = b + y. Does 13 divide t?
True
Let b be 4*12/16 + (1 - -676). Suppose 0 = -3*u + b + 631. Is u a multiple of 23?
True
Suppose 0 = -65*r + 277557 + 12018. Is 21 a factor of r?
False
Let t(i) = -i**2 - 6*i - 1. Let g be t(-5). Let d(r) be the first derivative of -3*r**2/2 + 14*r - 17. Is d(g) a multiple of 2?
True
Let k(c) = -c**3 - 8*c**2 - 8*c - 5. Let z be k(-7). Suppose -4*w + z*w = 0. Does 8 divide (-54)/(-2 + w) - -4?
False
Let a be 2*(-3)/10 - 29623/(-55). Let o = 734 - a. Does 16 divide o?
False
Let m(w) = -47*w**3 + 19*w**2 + 29*w + 11. Let h be m(-1). Let u = 1 + -1. Suppose -5*b + 5*r + 220 = u, -r + 4*r - h = -b. Does 9 divide b?
True
Let y = -222 + 208. Does 36 divide (-2372)/(-22) + y/(-77)?
True
Let v(y) = y**3 - 27*y**2 + 2*y + 65. Let b be v(27). Is ((-2)/3 - (-5)/(-15)) + b a multiple of 3?
False
Suppose 26*t - 33*t - 56 = 0. Let j be (-170)/8 + (-2)/(-8). Let c = t - j. Does 9 divide c?
False
Suppose -3*y - 3*m + 16 = -2*y, 0 = -y - 5*m + 24. Suppose 5*n + 4*d = 355, 2*n - y*d + 2*d = 124. Does 16 divide n?
False
Let r(s) = -5*s**3 + 4*s**2 + s + 6. Is 6 a factor of r(-5)?
True
Suppose -6 = -57*a + 54*a. Suppose -a*k + 8*k = 0. Suppose u - 3 + 2 = k, 3*u + 417 = 4*d. Is d a multiple of 21?
True
Suppose 4*v + 1 = -15, 0 = -3*i + 5*v + 197. Let q = 62 - i. Suppose 0 = 4*a - q*y - 449, 2*a + y + 9 = 246. Is 24 a factor of a?
False
Let w be (-512)/(-8) - (-2 + (5 - 2)). Suppose 60*y - w*y + 15 = 0. Is 10 a factor of (-31)/(-3)*y - 3/(-9)?
False
Let z(y) = -143*y**2 - 14*y + 23 + 68*y**2 + 71*y**2 + y**3. Does 6 divide z(7)?
True
Let f(w) = 3*w**2 - 2*w - 5. Let r be f(2). Suppose 6*k + 3*p = 7*k - 288, r*p = 2*k - 561. Does 9 divide k?
False
Suppose 8*k - 7*k + 5*s = 23699, -2*s - 71046 = -3*k. Does 23 divide k?
False
Let r = -66334 - -102246. Does 268 divide r?
True
Let z(r) = -r**3 + 22*r**2 - 8*r - 45. Is z(-15) a multiple of 144?
False
Let n(g) = 159*g**2 + 14*g + 16. Let l be n(-2). Suppose 623*w + 1680 = l*w. Is w a multiple of 40?
True
Is 8 a factor of (45 - -3)*472/12?
True
Let j(x) = x**2 + 3*x + 15. Let z be j(5). Let b = z - -80. Does 45 divide b?
True
Suppose 45*p = 53468 + 450982. Does 41 divide p?
False
Suppose -26*x - 3*b = -22*x - 4878, 1229 = x - 4*b. Is x a multiple of 111?
True
Let m = 46783 - 32807. Suppose -m = -36*a + 18604. Does 14 divide a?
False
Suppose -4*j + 9*j - 10 = 0. Suppose 8 = -2*o, -j*f + 4*o = -181 - 311. Is 17 a factor of f?
True
Suppose -709 + 2217 = 5*t - t. Is t a multiple of 9?
False
Let k = -245 + 717. Is k a multiple of 59?
True
Is -271*(-11 - (-5 + 3)) a multiple of 54?
False
Suppose 3*d + 33 - 21 = 0, d = v + 8. Does 58 divide v/40 - 67887/(-90)?
True
Does 31 divide 1 - 5 - (12 + -1167 + 4)?
True
Let d(z) = -206*z**3 + 34*z**2 + 73*z - 64. Does 44 divide d(-5)?
False
Let u(c) = -c + 3. Let p be u(3). Let l be -4*(3 - 5) - (p - -3). Suppose -l*m - 4*j = -270, 1 = 3*m - 3*j - 134. Is m a multiple of 11?
False
Does 233 divide 3/(-5) - ((-1292798)/130 + -12)?
False
Suppose -19536 = 54*i - 766032. Does 64 divide i?
True
Let a = 4567 + -4218. Is a even?
False
Let b(v) = -v**3 - 6*v**2 + 5*v + 5. Let f = 12 - 19. Let m be b(f). Let k = m + -10. Is 3 a factor of k?
True
Is -6 + 135/18 - 1/(8/(-12980)) a multiple of 14?
True
Is 22/(-88) + (-73625)/(-20) a multiple of 9?
True
Suppose 36 = 4*n + j, 7*n - 42 = 2*n - 2*j. Suppose 2*s = -2 + n. Suppose s*v = 5*h - 0*h + 453, 3*v + 4*h = 332. Does 23 divide v?
False
Let a(m) = -m**2 + 30*m - 13. Let g be a(16). Let j = 326 - g. Does 5 divide j?
True
Suppose -4*v = 5*i + 1642, -v - i = 92 + 318. Let o = 422 + v. Does 2 divide o?
True
Let y(x) = x**3 + 7*x**2 + 2*x + 22. Let a be y(-7). Is 48 a factor of (2/a)/((-8)/(-53952)*6)?
False
Let x(k) = k**2 + 12*k + 1