e
Suppose -19*j = 23*j + 54*j - 36480. Is j a multiple of 26?
False
Suppose -5778 - 121920 - 30774 = -18*c. Does 35 divide c?
False
Is (-416)/(25/((-14875)/34)) a multiple of 20?
True
Suppose 10387 = 12*l - 4577. Is 29 a factor of l?
True
Suppose -f = 2*f - 3675. Suppose -f = 15*z - 10735. Is z a multiple of 12?
False
Suppose -5*o + 3*x + 1433 = -3458, -3*x = o - 989. Suppose 0 = -2*c - 5*q + o, 21*q - 18*q - 488 = -c. Is c a multiple of 10?
True
Let b = -30835 - -43299. Does 13 divide b?
False
Suppose 32266 - 3191 + 36493 = 16*i. Does 16 divide i?
False
Let i be 51678/275 + (-4)/(-50). Let n = 218 - i. Is n a multiple of 26?
False
Let h(u) = -3*u**3 - 2*u**2 - 9*u + 8. Let g be h(-6). Suppose 645*y = g*y + 1036. Does 10 divide y?
False
Let s(t) = -3*t + 65. Let a = -93 - -115. Let k be s(a). Is (k + 0 + 0)/((-54)/1890) a multiple of 5?
True
Suppose -18370874 = -258*s - 5700236. Is s a multiple of 20?
False
Let s be (5121 - (-8)/(-2))*-1. Let i be (s/(-15) - 14/105)*1. Suppose -3*g + 66 = a, -5*a - 4*g + i = -0*a. Is a a multiple of 30?
False
Suppose -19*k + 43224 = -131709. Does 33 divide k?
True
Suppose -b = 16*c - 18*c - 1189, 2*c = -4*b + 4766. Does 6 divide b?
False
Is (14904/(-10))/((-3102)/110 - -28) a multiple of 6?
True
Suppose 0 = -a + 5*c - 12 + 27, 0 = 3*a + 5*c + 15. Suppose 2*l = -16 - a. Is 2 a factor of (0 - -10) + (l - -5)?
False
Suppose 3*d - 44850 = -7401. Is 57 a factor of d?
True
Let r(o) = -o**3 - 4*o**2 + 2*o - 11. Let t be r(-5). Let m be (2 - 1)/(t/(-28)). Is (-20)/(-5) + m - -31 a multiple of 14?
True
Let u be (-697 - -6)/(2 - 1). Let c = 1130 + u. Does 32 divide c?
False
Suppose 13*t - 55 = 2*t. Suppose 3*c = -t*v + 158, -2*c + 100 = 2*v + 36. Is v a multiple of 13?
False
Let x(i) = -12408*i + 1031. Is 18 a factor of x(-3)?
False
Suppose 0 = 4*l + l + 2*k + 610, 5*l = -3*k - 615. Let u = l + 188. Is u even?
True
Suppose 4268*x + 10842 = 4270*x. Does 50 divide x?
False
Let w = -774 + 1715. Is w a multiple of 47?
False
Let p = -62 + 61. Is 55 a factor of -11*(-10 - (-2 - 2) - p)?
True
Let o(l) = -294*l + 421. Is o(-20) a multiple of 17?
False
Let g = 11481 + -10921. Is g a multiple of 20?
True
Suppose -7*r + 496 = r. Let o = -43 + r. Suppose -21*z + 160 = -o*z. Is 10 a factor of z?
True
Suppose 78*w - 454450 = 17*w. Does 11 divide w?
False
Suppose -4*q - 31 - 105 = 4*t, 3*t = 2*q - 82. Does 18 divide t/(-135) - 45705/(-27)?
False
Let m = 3994 + -1379. Is m a multiple of 51?
False
Suppose 5891 = 7*g - 113277. Is 45 a factor of g?
False
Does 27 divide -24 + (19 - -1) + 2974?
True
Let k(m) = 4*m**3 + 186*m**2 + 107*m - 55. Does 140 divide k(-45)?
True
Let l(f) = -f**3 - 5*f**2 - 1. Let x be l(-5). Let g be 18/((x + 2)/(126/7)). Suppose u - 3*n + 4*n - 167 = 0, 2*u - g = -4*n. Does 46 divide u?
False
Let p be (4 + -3)/(5/80). Does 3 divide (0 - 2) + 8/(p/162)?
False
Suppose r + 4*g = -3*r - 1296, 3*g = 5*r + 1612. Let i = 5 - r. Does 82 divide i?
True
Suppose 41580*l - 41559*l = 44730. Is 5 a factor of l?
True
Let x(a) = a**2 + 33*a + 18. Let i be x(-32). Let r be (-70 + 11 + -5)*i/(-8). Let l = r + 135. Is l a multiple of 12?
False
Let q(t) = 100*t + 375. Let l be q(-14). Let w = 343 - l. Does 23 divide w?
False
Let d(c) = c**3 - 14*c**2 + 17*c - 27. Let j(t) = 14*t**2 + 23 - 5*t + 4 - 12*t - t**3. Let z(x) = 5*d(x) + 6*j(x). Is z(12) a multiple of 22?
False
Suppose 107 = 5*z - 4*i + 5*i, z + 2*i = 16. Suppose 55*t - 9306 = z*t. Does 59 divide t?
False
Let s(t) = t**3 + 16*t**2 - 4*t - 7. Let r be s(-11). Let g = 1097 - r. Is 56 a factor of g?
False
Suppose 3*m = j - 16, 5*j + 6*m - 5*m = 48. Let s(l) = l**2 + 7*l - 95. Does 2 divide s(j)?
False
Let d = 436 - 126. Suppose 5*q - 2*f - 535 = -0*q, f = -3*q + d. Is 15 a factor of q?
True
Let f(k) = k**2 - 9*k + 14. Let g be f(6). Let v be 2*g*(-94)/16. Suppose -1 = -2*t + v. Does 4 divide t?
True
Let o(r) be the third derivative of -15*r**4/8 - r**3/6 - 2*r**2. Suppose 0 = 21*a + 25*a + 138. Is o(a) a multiple of 15?
False
Is -6 - (0 + -6221)*(-10 + 11) a multiple of 26?
False
Let z = 5 - 329. Let h = z - -522. Let x = h - 128. Is 10 a factor of x?
True
Let a(t) = 10*t**3. Let d be a(1). Suppose 3*z + d = 67. Is z even?
False
Suppose 12*n + 6199 = 29959. Is 132 a factor of n?
True
Suppose -6*t - 3*c = -2*t - 73, -2*c = -2*t + 26. Let w(g) = g**2 - 6*g - 6. Let o be w(-5). Let r = o - t. Is 6 a factor of r?
False
Suppose 0 = -o - 52 + 382. Let x be (-10)/(-35) + o/21. Let s = x - -1. Does 4 divide s?
False
Suppose 0 = -2349*z + 2335*z + 7350. Is z a multiple of 21?
True
Let k(h) = -h**3 + 41*h**2 - 44*h + 19. Let w be k(40). Let m = 157 + w. Is m a multiple of 16?
True
Suppose 53*i + 38619 = 57*i - f, 28924 = 3*i + 5*f. Is i a multiple of 180?
False
Suppose -306*g + 63441 + 171261 = 0. Is g a multiple of 303?
False
Let v(i) = i**3 + 5*i**2 + 8*i + 22. Let k be v(-3). Let r(q) = 61*q - 103. Does 33 divide r(k)?
False
Does 5 divide (-34 + -9)/(11/(-1430))?
True
Let q(o) = -o**3 - 14*o**2 - 15*o - 18. Let p(y) = 0 - 8 - y**2 - 8*y - 14 + 2*y**2. Let u be p(9). Is q(u) a multiple of 6?
False
Let w = 795 + -247. Suppose -332 = -20*a + w. Is 29 a factor of a?
False
Let x(o) = -11 - 64*o - 1 + 24*o**2 + o**3 - 21. Is 99 a factor of x(-26)?
False
Suppose t - 5 = -2*w, 48*t - 49*t + 4*w = 19. Is (1 + -10 + 1)/(t/45) a multiple of 12?
True
Let k(r) = 2*r**3 - 21*r**2 + 39*r - 60. Is k(17) a multiple of 20?
True
Let u(f) = -5*f**3 - 55*f**2 - 41*f + 123. Let w(g) = 2*g**3 + 18*g**2 + 14*g - 41. Let h(o) = -3*u(o) - 8*w(o). Is h(21) a multiple of 55?
False
Suppose 8*d = 13*d. Suppose -j = 2*l - 1950, -4*l - 3*j + 3898 = -d*l. Is 26 a factor of (-1)/(2*(-4)/l)?
False
Suppose -2780 = -2*p + 3*a, -7*a + 8296 = 6*p - 5*a. Does 5 divide p?
False
Suppose -22*h - 213108 = -50*h. Does 177 divide h?
True
Let w(a) = a + 81. Let i be (54/(-8))/((-9)/(-24)). Is 11 a factor of w(i)?
False
Suppose -4*q - y = 2525, -4*q + 4*y - 1240 = -2*q. Let k = -86 + 90. Does 35 divide (0 - k)/(-4*(-3)/q)?
True
Is 96 a factor of (-7)/(-14 - 0) - (-78861)/2 - -6?
False
Suppose -5*q = 4*k - 270, 32 + 44 = k - 3*q. Let a = -459 + k. Let n = -239 - a. Does 15 divide n?
True
Let b(v) = 16*v - 82. Let a = 48 + -38. Is b(a) a multiple of 13?
True
Suppose 0 = -13*k + 94696 + 78932. Is 14 a factor of k?
True
Let b be (-3 + 3)*(-9)/18. Suppose b = -6*l - 6*l - 1308. Let o = -34 - l. Is 15 a factor of o?
True
Suppose 3*f - 4 = f. Let i(d) = 10 + 7*d**f - 107*d + 101*d - d**3 - d**3 + d**3. Does 15 divide i(5)?
True
Let m = -9 + 7. Let b(t) = -135*t + 10. Is b(m) a multiple of 14?
True
Let s be (-3*(0 + 1))/(39/(-884)). Let p = s + -27. Let x = 57 - p. Does 6 divide x?
False
Suppose -2134 = -h - 10*h. Let w = h - 152. Does 3 divide w?
True
Let h = -287 + 294. Let n be 1/(-3) - (-901)/3. Suppose n = -q + h*q. Is 38 a factor of q?
False
Let z be 12/8 + (-154)/(-4). Let g = z + 38. Suppose f - g = -f - 4*h, 5*h - 15 = 0. Is 2 a factor of f?
False
Is (-225)/4*(-2328)/97 a multiple of 16?
False
Let v be 2/(12 + -2)*25 - -232. Suppose -v + 1148 = j. Is 52 a factor of j?
False
Let n = 849 + -846. Let r(i) = 14*i - 2. Let u(a) = a + 1. Let k(w) = 3*r(w) - 3*u(w). Does 22 divide k(n)?
False
Let w = -17699 + 29665. Is w a multiple of 48?
False
Let b(d) = d - 1. Let n(c) = c**2 + 20*c + 28. Suppose i + 14 = 12. Let u(v) = i*b(v) - n(v). Does 17 divide u(-13)?
False
Suppose -10*z + 8*z + 3 = f, z + 3 = f. Suppose z = 6*t + 3*t - 2655. Does 41 divide t?
False
Let b(z) = 15*z**2 + 3*z - 3. Let d be b(1). Let v(k) = k + 35. Let q be v(d). Suppose -3*f - q = -8*f. Is f even?
True
Let o(l) be the third derivative of -7/8*l**4 + 0*l + 0 + 5/6*l**3 + 17*l**2. Is o(-3) a multiple of 34?
True
Suppose -2089*z = -2072*z - 85. Suppose 0 = 2*h - h. Suppose l + z*v - 151 - 54 = h, 5*l + 5*v = 925. Is 20 a factor of l?
True
Let a be (-20768)/(-77) + 8/28. Suppose -5*n + 11*n = a. Is 7 a factor of n?
False
Let x(g) = g**2 + 3*g - 9. Let y be x(-5). Let q(i) = i**2 + 3*i - 2. Let j be q(y). Suppose 2*c = -5*l + 890, -j*l + 4*c = -l - 200. Is 12 a factor of l?
True
Let s = -39 + 45. Suppose 3*a - 4*u - 97 = 0, -3*a + s*a + 3*u = 111. Does 28 divide a?
False
Let u = 43210 + -7994. Does 248 divide u?
True
Let y(c) = 402*c**2 + 4*c - 5. Is 5 a factor of 