e
Suppose 4679*u - 4680*u - 90237 = -2*j, j = -4*u + 45105. Does 27 divide j?
True
Suppose 40 = 4*u + 80. Let m(j) = -3*j**3 - 21*j**2 - 24*j. Is m(u) a multiple of 76?
True
Suppose 106*l - 105*l - 830 = -t, -834 = -t - 3*l. Does 12 divide t?
True
Suppose -19*v = -34*v + 45. Suppose -57*h + 61*h - 197 = -x, v*x - 619 = -5*h. Is 11 a factor of x?
False
Let z be 1978/4 + (9/6)/(-3). Suppose -50*m + 48*m = -z. Does 11 divide m?
False
Let l(p) = -5396*p**3 - 2*p**2 - 27*p - 26. Let n be l(-1). Suppose n = 20*j - 805. Is j a multiple of 31?
True
Suppose -4*g + 18330 = -b, -g - 12*b + 4573 = -17*b. Is 15 a factor of g?
False
Let c(o) = o**3 - 4*o**2 + 5*o - 2. Let d be c(3). Suppose 7*a - 18 = -d. Suppose 2*f - 336 = -2*z, 0*f = -z + a*f + 156. Is 17 a factor of z?
False
Let c(b) = 9*b**2 - 9*b + 15. Let l be c(6). Suppose t - 286 = -d + 4*d, -5*t - 394 = 4*d. Let i = d + l. Is i a multiple of 24?
False
Suppose 9*p + 89 = 368. Suppose p*f - 1200 = 27*f. Suppose f = 3*c - q, 3*c = -0*c - 5*q + 318. Does 10 divide c?
False
Let v(p) = -2*p - 25. Let r be v(-14). Let x be 129 - (-1 - -5 - r). Is (-4)/2 - x/(-4) a multiple of 10?
True
Let i be (-4)/(-6) + 10592/24. Let l be (-4)/(12/102 - 86/i). Let p = l - -45. Does 6 divide p?
False
Let m be (7/(-14))/(0 - 2/16). Let l(q) = 3*q**2 + 11 + 2 - 7*q + 2. Is l(m) a multiple of 5?
True
Let k(y) = -191*y - 385. Does 20 divide k(-8)?
False
Suppose -5*k + 3*s = -16, 2*s + 10 - 1 = 3*k. Does 10 divide 2/k - (-2132)/20?
False
Is 67 a factor of 5320981/92 + (-3)/4 - (-8 + 4)?
False
Suppose -z + 192 - 535 = 0. Let x = -206 - z. Is x a multiple of 24?
False
Let m(z) = z**2 + 26*z - 7315. Is 23 a factor of m(-108)?
True
Does 8 divide (-72632)/(-18) - ((-2)/6 + (-472)/(-1062))?
False
Let w(d) = -283*d + 539. Does 49 divide w(0)?
True
Suppose -227 = -4*o + 81. Suppose -v - o = -89. Does 4 divide v?
True
Let k(p) = 7*p**2 - 4*p + 21. Let i be k(5). Let j = i - 80. Is j a multiple of 8?
True
Let r = 12863 + -9134. Does 5 divide r?
False
Suppose -w - 14 = -q, w - 4*q = 6*w + 115. Let f = w - 19. Let i = f + 51. Is 3 a factor of i?
False
Suppose 5*f = 2*i + 632, -2*i - 380 = -3*f - 0*i. Is 7/(f/2568)*3 a multiple of 8?
False
Is 53 a factor of (-4)/(-14) + (2 - (-263240)/56)?
False
Let r be (6/(-9))/((8/12)/(-1)). Is 28 a factor of 7*(25 - -6 - r)?
False
Let y(q) = 4*q - 15. Let z(n) = -5. Let j(o) = -1. Let h(c) = -6*j(c) + z(c). Let g(u) = -4*h(u) - y(u). Is g(-17) a multiple of 9?
False
Let p = -54095 + 91814. Is 9 a factor of p?
True
Suppose -16*g + 18*g = 4. Let z be (g + (-6)/5)*5. Suppose -3*h = -z*m - 158, 2*m - 188 - 58 = -5*h. Is 22 a factor of h?
False
Let y be (5 - 10)/(-5) + 4. Suppose -s = -y - 0. Suppose -5*v = -s*d - 445, 262 = 3*v + 2*d - 4*d. Is 6 a factor of v?
True
Let a(t) = 6*t**3 + 17*t**2 + 40*t - 486. Is a(12) a multiple of 6?
True
Let b = 655 + -266. Let h be -1 + (1 - 0)/1. Suppose p - 128 = 2*z, h = 2*p + p - z - b. Is 24 a factor of p?
False
Let l = 3092 + -2883. Is l a multiple of 6?
False
Let c(i) = -27*i + 3*i**2 - 87 + 23 + 9*i**2 - 5*i**2. Let j(t) = 8*t**2 - 28*t - 65. Let b(g) = 7*c(g) - 6*j(g). Does 12 divide b(26)?
True
Suppose 96*u - 299141 = 1394875. Is u a multiple of 275?
False
Let w(c) = c**3 + 6*c**2 - 4*c + 19. Let b be w(-7). Is 129/b*72/(-27) a multiple of 12?
False
Suppose 0*s + 2*s = 10. Let t = s - 5. Suppose t = -2*n + 4*i + 180, -i = -4*n + i + 378. Does 17 divide n?
False
Let x(j) = -j**3 + 19*j**2 - 51*j + 5. Let t = 4 + -2. Suppose -t*h - s + 15 = -13, -3*s - 66 = -4*h. Is 28 a factor of x(h)?
True
Let n(u) = 554*u**2 - 132*u + 11. Is n(3) a multiple of 43?
True
Let w = -171 + 174. Suppose w*v + b - 853 = 189, -10 = 5*b. Is 47 a factor of v?
False
Let d(t) = -6*t + 7. Let a be d(2). Let p be -1 + (-62 - a/1). Does 29 divide p/((-8)/5 - 12/30)?
True
Let t(n) = -3*n + n + 7 + 3*n + 5. Let b be t(-9). Suppose 3 - 37 = -3*f + 5*j, b*j + 15 = 0. Is 3 a factor of f?
True
Does 14 divide ((-40)/8 - -2398) + 1/1?
True
Suppose 0 = -3*k - 11*f + 14*f + 9, 4*k + 6 = -2*f. Suppose k = -2*s + 4*w + 3626, -8388 = -4*s - 5*w - 1201. Is s a multiple of 18?
False
Let d be (3/(-6) + -2)*-614. Suppose 0 = -67*u + 72*u - d. Is u a multiple of 17?
False
Let l(u) = -2*u**2 + 2*u + 19. Suppose 0 - 6 = o. Let j be l(o). Let c = j + 149. Does 18 divide c?
False
Let w be 917 + 14/((-126)/(-27)). Let n = w - 376. Is n a multiple of 17?
True
Let h(c) = -3*c + 61. Let o be h(9). Suppose 432 = o*m - 32*m. Does 24 divide m?
True
Let n be ((-78)/65)/(6/160). Let i = n + 131. Let j = i - 46. Does 7 divide j?
False
Let w = -838 + 558. Let r be w/(-36) + -4 - (-2)/9. Suppose 4*c + 548 = 5*s, 0 = -3*s + 2*c - r*c + 342. Does 28 divide s?
True
Let o(q) = 2*q + 11 - 3 - 3. Let k be o(-1). Suppose -4*m + 54 + 113 = 5*z, -z + 29 = k*m. Is z a multiple of 13?
False
Suppose -35746 = -35*m + 17691 + 27413. Is 77 a factor of m?
True
Suppose -5*g + 4*q + 41 = 0, 4*q - 2 = -5*g + 7. Suppose -g*s - 63 = 47. Let f = s - -66. Is 6 a factor of f?
False
Let r(y) = 5*y**2 + 13*y - 2. Let k be 18/(-10)*65/(-39). Is r(k) a multiple of 3?
False
Let z = 9917 + -9271. Is 8 a factor of z?
False
Suppose -6*p + 887 = 2*g - p, 5*g - 2290 = 2*p. Let m = -215 + g. Does 14 divide m?
False
Let t(y) = 5*y**3 - 2*y**2 - 7*y + 30. Let k(o) = 5*o**3 - o**2 - 6*o + 30. Let m(h) = -3*k(h) + 4*t(h). Is m(5) a multiple of 30?
True
Suppose 0 = -2*m - 3*r + 31602, -5*m - 64*r + 65*r + 78971 = 0. Is m a multiple of 13?
True
Let b(j) = 121*j - 16. Let t(q) = -q + 1. Let z(n) = -b(n) - 2*t(n). Does 14 divide z(-6)?
True
Suppose 30*z - 32*z = 0. Suppose z = -11*t + 1728 + 1418. Is t a multiple of 26?
True
Let s(k) = 10*k - 27. Let d(v) = 80 + 45 - 18 - 41*v. Let y(c) = 2*d(c) + 9*s(c). Is 11 a factor of y(10)?
False
Let n = 20155 + -19915. Is 6 a factor of n?
True
Suppose -17 + 132 = 5*o. Let k(s) = -s**2 + 29*s - 1. Is 22 a factor of k(o)?
False
Does 126 divide 189*(4355/39 + 19)?
True
Suppose 60*c + 98272 = -48*c + 124*c. Is 37 a factor of c?
True
Suppose -5*a + 5*g + 305 = 0, a - 96 = -3*g - 27. Let k be ((-12)/42)/((-3)/a). Suppose k*i - 375 = -135. Is 10 a factor of i?
True
Let s(l) = 2*l**2 + 20*l + 45. Let f be s(-6). Does 13 divide (393 - (f + 6)) + 6?
False
Let i be (-30)/2 + 8 - -75. Let v = i - -277. Is 75 a factor of v?
False
Let u(a) be the third derivative of a**5/15 + 3*a**4/8 - 41*a**3/6 - 43*a**2 - a. Suppose -5*h - 17 = -2*y - 5, -3*h + 12 = 2*y. Does 12 divide u(y)?
False
Let h(r) = 15*r + 20. Let s be h(5). Let m(y) = -4*y + 12. Let p be m(-9). Suppose -91*w + s*w = p. Does 3 divide w?
True
Let i(q) = 1783*q**2 + 12*q - 41. Is i(4) a multiple of 65?
True
Let d(f) = f**2 - 12*f + 25. Let h be d(10). Is 18 a factor of 14/((-8)/14*h/(-30))?
False
Suppose 16*d + 324 = 10*d. Let w = d - -60. Suppose 26 = 2*k - w. Is k a multiple of 8?
True
Let n = 2697 - -96. Suppose -3*h + n = 9*g - 12*g, 5*h - 4667 = 2*g. Is 11 a factor of h?
True
Suppose -4*p = 3*f - 29, -2*f = 3*p - 9 - 13. Does 19 divide (-2)/p - 39105/(-132)?
False
Let n(j) = 126*j**2 - 13*j - 26. Let f be n(-2). Suppose 21*l + f = 28*l. Is 9 a factor of l?
True
Let o(f) = -11*f. Let w be o(-1). Let q = w + -18. Let j = q - -24. Is 2 a factor of j?
False
Let z = -13 + 14. Let q(m) be the first derivative of 29*m**3/3 - 2*m**2 + 3*m + 89. Is q(z) a multiple of 7?
True
Let w = -314 + 425. Let g = w + 106. Is g a multiple of 20?
False
Suppose 41*l = 3*l - 988. Suppose 0*k = 4*k - 376. Is k/4 + (-39)/l a multiple of 6?
False
Let b = 509 + -694. Is 9 a factor of b/(-222) + 1826/12?
True
Let a(x) = -42*x**2 + 284*x + 3. Is a(3) even?
False
Let f(l) = 5*l**3 + 2*l**2 - 2*l + 1. Let c be f(1). Suppose -u - 3*g + 102 = -c*g, -4*g + 328 = 4*u. Is 7 a factor of u?
False
Suppose 0 = 9*d - 2712 + 363. Let s = d + -201. Is s a multiple of 23?
False
Let a be (-3)/((-147)/(-14))*-7. Suppose -a*y = 16*y - 648. Does 2 divide y?
True
Is (((-116)/(-42) - 3)*5448)/((-2)/7) a multiple of 10?
True
Suppose -580 = -2*m - 38*g + 36*g, 5*m - 1466 = -g. Is m a multiple of 2?
True
Let u(m) = 7*m**2 + 2*m - 2. Let q be u(1). Let r(a) = 3*a - 23. Let b be r(q). Does 18 divide ((0 - -5) + b)*19 - 3?
True
Let o(l) = -l**2 - 18*l + 45. Let c be o(-20). Suppose c*v + 2*s - 24 = 0, 6*s - 3*s = -9. Does 19 di