e
Let n(b) = 4 + 12 + 2 - 31*b + 28*b. Let x be n(6). Suppose x*a + 4*f + 100 = 3*a, -3*f = 5*a - 128. Is 7 a factor of a?
True
Let o(k) = -k**2 + 64*k + 146. Is 3 a factor of o(37)?
False
Is 203/1 - (10 + -18 + 1) a multiple of 21?
True
Suppose -r + 2407 = 3*i + i, -2*i + 2*r + 1196 = 0. Suppose -5*h + 329 + i = 0. Is 13 a factor of h?
False
Let r be 9 + -3 + -1 - -6. Let w be (2 + -1)*-1*-1. Suppose -w + r = j. Is j even?
True
Let o(x) = -x**2 + 57*x - 32. Is o(37) a multiple of 13?
False
Suppose 111*k + 29*k - 1055040 = 0. Does 48 divide k?
True
Let z = 7 + -7. Suppose 2*l - 6 = -z. Suppose 0 = 3*m - l, -5*d + 2*m + 146 + 27 = 0. Is d a multiple of 35?
True
Let c(v) = v - 20 - 3*v**3 - v**2 - 9*v**2 + 7 + 4*v**3. Let s be c(10). Does 4 divide (s + 65/20)/(1/116)?
False
Let x(b) = -10*b**2 + 155*b - 2. Is x(15) a multiple of 73?
True
Suppose -4*h - 20 = -2*o, -o = 3*h + 2*o + 6. Suppose 0 = -5*z - 24 + 244. Does 6 divide z + (h - -4)/5?
False
Let b(x) = x**3 - x**2 - x + 3. Suppose 4*v = 8, 3*l + 3*v - 4 = 2. Let d be b(l). Suppose -d = 4*c - 59. Is c a multiple of 3?
False
Let b = 820 + -970. Is (-10 - b/18)/((-1)/210) a multiple of 35?
True
Suppose -263 = 4*c - 5*m, 4*c + 257 = 6*m - 3*m. Let b = c - -103. Let s = 65 - b. Is 3 a factor of s?
True
Let k(c) = 24*c**3 - 18*c + 83. Does 17 divide k(4)?
True
Let k be (-25)/(-10)*(2 + 0). Suppose -f - 7 = -r - 0*f, 5*f - k = 0. Does 10 divide r/(-2 - (-60)/25)?
True
Let l be 10/((-50)/(-65)) - 241. Suppose -2*n + 660 = -32. Let y = l + n. Does 17 divide y?
False
Let q be 0*(4/(-2) - (-30)/18). Suppose 2*y + 5 = -z - 0, 4*y + 5*z + 25 = q. Suppose 5*n - n + d - 1092 = 0, y = -3*n - 3*d + 828. Is 17 a factor of n?
True
Let f = 44 - 40. Suppose 22 = 5*u - s, 0 = -3*u + 3*s - f*s + 10. Let r = u + 74. Is 26 a factor of r?
True
Let l(w) = w + 8. Let y be l(-10). Let v be 1/(y*(-4)/(-144)). Let o = v + 29. Is o a multiple of 3?
False
Suppose -18*y = -13*y + d - 3, -4*y - 15 = -5*d. Let b(h) be the third derivative of -h**4/24 + 13*h**3/3 - 4*h**2. Is 13 a factor of b(y)?
True
Let v(t) = -t**3 - 25*t**2 - 13*t + 58. Does 38 divide v(-28)?
True
Suppose -3*w = -3*l - 31602, -4*w - 4*l = -17293 - 24851. Is w a multiple of 81?
False
Let s(i) = 363*i - 1839. Is 8 a factor of s(13)?
True
Let r = 86 - 333. Let l = r - -320. Is 12 a factor of l?
False
Suppose 45*s = 4*k + 48*s - 15300, -3*k - 5*s + 11486 = 0. Is 9 a factor of k?
False
Let w(g) = 5*g**2 - 7*g - 7. Suppose 5*c + 5*o + 40 = 0, c - 3*c + 2*o = 8. Is w(c) a multiple of 43?
True
Let z = -647 - -1699. Is z a multiple of 3?
False
Let r = 17132 + -16292. Does 15 divide r?
True
Let j = 47 - 44. Let w be 3/(-9) - (-13)/j. Suppose -a + t + 77 = 0, -a + 0*a + 68 = -w*t. Is a a multiple of 22?
False
Suppose 0 = -2*d - 4*g + 3*g + 53, -3*d - 4*g = -72. Suppose -u + d = 4*s, -u = -3*s + s + 8. Does 13 divide 1/(-3) + 470/s?
True
Let u(o) = 37*o + 27. Let q be u(-3). Let j = q - -128. Is j a multiple of 2?
True
Let l = 16 + -389. Let z = 773 + l. Is 40 a factor of z?
True
Let r(h) = -6*h - 6 + 19*h - 14*h. Let x be r(-11). Suppose x*y + w - 205 = 0, -8*w - 151 = -3*y - 3*w. Is 3 a factor of y?
True
Let q(d) = -244*d + 61. Let k(x) = -162*x + 41. Let i(a) = -8*k(a) + 5*q(a). Let p be i(6). Let r = p - 204. Is r a multiple of 16?
False
Let o(z) = -z**2 + 15*z + 9. Let y be 4 - (-8)/(0 + -4). Suppose -2*r = y*g - g - 33, -5*r - g + 78 = 0. Is o(r) a multiple of 8?
False
Suppose 5*x - 30 = -8*a + 7*a, -4*a + 35 = 3*x. Suppose -273 = a*k + 8*k. Let v(l) = -l**3 - 22*l**2 - 27*l + 39. Is 19 a factor of v(k)?
False
Let b be 1/(-2) - (-45)/10. Suppose 122 + 50 = b*v. Suppose 159 = 5*d - 2*a - 62, -d + v = -a. Is d a multiple of 15?
True
Let c = 35 + -32. Suppose c*z - 6 = -0*z. Suppose 0 = -t + 2*s - 5*s + 195, z*t = 3*s + 363. Is 15 a factor of t?
False
Let y(b) = -15*b + 64 + 52*b + 190*b - 4*b. Is y(2) a multiple of 15?
True
Let u = -12940 - -23540. Is u a multiple of 40?
True
Let p(u) = 2*u - 1138 + 1177 - 4*u. Is 19 a factor of p(-9)?
True
Let y(o) be the first derivative of 14*o - 26 + 8/3*o**3 - 1/4*o**4 + 4*o**2. Is 13 a factor of y(8)?
True
Let q(a) = -a**2 - 7*a + 37. Let g be q(-10). Is 20 a factor of (2 - 7)*(-497)/g?
False
Let x(t) = -t + 13. Let i be x(13). Suppose -6*d - 3*d + 54 = i. Suppose p - 841 = -d*f + 2*f, 199 = f - 2*p. Does 19 divide f?
True
Suppose 9*a = 5*a + 24. Suppose a*r = 3*r + 216. Is r a multiple of 8?
True
Suppose -4*n - 81 = -9*n - 4*k, 0 = -3*n + 5*k + 19. Suppose n*h = -0*h + 52. Suppose 188 = h*y + 5*w, 6*y - w - 47 = 5*y. Is y a multiple of 5?
False
Is 763152/128 - 58 - (0 - 2/(-16)) a multiple of 12?
True
Let y(j) be the third derivative of -491*j**6/120 - j**5/30 - j**4/12 - j**3/6 + 17*j**2 + 3. Does 49 divide y(-1)?
True
Let g = 4491 + -6369. Suppose -3*i - 4 = -19. Does 7 divide i/3 - 1 - g/18?
True
Let t = -18 - 61. Let f = t - -89. Let i(a) = a**2 - 10*a + 33. Is i(f) a multiple of 26?
False
Suppose 25 = 2*a + 3*a. Suppose 4*u - 4*r = -7*r + 272, -5*u + 371 = -4*r. Suppose -a*k = -u - 89. Does 9 divide k?
False
Let l = -93 - -86. Let p(q) = -q**2 - 5*q + 13. Let z be p(l). Is -1*(z + -1 - -2) + 135 a multiple of 27?
True
Is 16112/265*(303 + 7) a multiple of 31?
True
Let o be (-3)/6 + 486/12 + 7. Suppose 225 = 16*s - o. Is 6 a factor of s?
False
Let q = 13781 + -12572. Does 13 divide q?
True
Let b = -2675 - -3979. Is b a multiple of 8?
True
Suppose -895 - 5703 = -b. Is b a multiple of 59?
False
Let f = 32873 + -32816. Is f a multiple of 2?
False
Let u be ((-2)/(-7) + (-16)/7)*-14. Let w(t) = -2*t - 2 - 5*t + u*t**2 + 5*t. Is w(-1) a multiple of 6?
False
Let i = -17 - -19. Suppose 0 = -t + 4*q + 28, -40 = -5*t + i*t + q. Does 12 divide t?
True
Let d be (30/(-200) + (-2)/8)*-5. Let z be (16/(-28))/(24/14 - d). Suppose 4*a - 496 = -g, -5*a = -a - z*g - 508. Does 25 divide a?
True
Is 11 a factor of (-4)/(-9) - (-308)/(-198)*-3394?
True
Let q(u) = -u**3 - 10*u**2 + 19*u - 25. Let p be q(-12). Let i = p + 140. Is i a multiple of 31?
False
Does 16 divide -3 + (-24 - -11) + 19834?
False
Suppose 0 = -132*f + 1196098 + 492446. Does 3 divide f?
True
Let a(v) be the second derivative of -7*v**3 - 40*v**2 + 10*v - 1. Is a(-4) a multiple of 22?
True
Let m(z) = -134*z**3 - 2*z**2 - 3*z - 2. Let r be m(-1). Let l = 85 + r. Is l a multiple of 9?
False
Suppose 2*u = 81 - 25. Suppose -26 = j - u. Suppose 0 = -j*b - 6 + 54. Does 8 divide b?
True
Suppose 15*a = 539 + 8551. Is 14 a factor of a?
False
Let a be ((5 - 14) + 6)/(6/(-236)). Suppose -105*t + a*t = 949. Does 4 divide t?
False
Let x be ((-18)/(-5))/(539/35 - 15). Let b(u) = u**2 + 7*u - 6. Is 3 a factor of b(x)?
True
Suppose -53*a + 1487488 = 56*a - 1366132. Is 220 a factor of a?
True
Let j(a) = -a**3 + 9*a**2 - 9*a + 6. Let y be j(8). Let o be 8/y*(-65)/4. Let u = o + -48. Is u a multiple of 4?
False
Let o be (-13)/((-78)/(-12)) + 14. Suppose 6*u = o*u - 510. Does 16 divide u?
False
Let q be 74/185 + (-2 - 23/(-5)). Suppose 3*c - q*g - 2406 = 0, 30*g - 29*g = -2. Is c a multiple of 25?
True
Let k = 123 - 123. Suppose 7*g - 984 = 4*g. Suppose 7*v - g - 302 = k. Does 15 divide v?
True
Let q(h) = h + 14. Let i be q(-10). Is -8 + 644 - 8 - (1 + i) a multiple of 86?
False
Let d = -1109 + 15613. Does 7 divide d?
True
Suppose -3*a + 11 = -j, -a + 4*j - 3*j + 7 = 0. Let z be (-5)/(-2*4/(-8)*-1). Suppose z*f + 215 = 4*p, -a*p - 2*f - f = -135. Does 14 divide p?
False
Let k be -3*303/(-90) - (-10)/(-100). Is 53 a factor of (64 + 201)*14/k?
True
Let p(v) = 5149*v**2 + 94*v - 93. Is p(1) a multiple of 25?
True
Suppose w + 25*q = 29*q + 7678, -5*q = -35. Is w a multiple of 24?
False
Suppose 5*x = -m - 34, -23 = m + 3*x + 3. Let i = 12 + m. Is (-94)/i + (-9)/(-9) a multiple of 6?
True
Suppose -4 + 16 = 2*f. Let v(y) = 12 + 9*y + 2 - 7*y + 10*y. Does 43 divide v(f)?
True
Suppose 11*x - 52 - 47 = 0. Suppose 10*h - 135 = x*h. Suppose -2*b + h + 153 = 0. Is b a multiple of 36?
True
Suppose 3*i - 5*j - 6091 = 0, -77*j + 78*j = -4*i + 8152. Suppose i = 5*p - 2678. Is p a multiple of 41?
True
Let u(m) be the first derivative of -m**4/4 + 19*m**3/3 + 41*m**2/2 - 30*m - 19. Is 15 a factor of u(20)?
True
Suppose -3 = -2*f + 23. Let z(m) = -4*m**2 - 15*m + 13. Let v(i) = -5*i**2 - 15*i + 14. Let p(a) = 5