se
Suppose 1 = -3*b - 2. Does 7 divide (b/((-3)/28))/((-2)/(-15))?
True
Let a be (-19)/38 + (9/2 - -1). Suppose -4*o + 358 + 234 = 5*k, -2*k + a*o + 217 = 0. Does 58 divide k?
True
Let o(w) = -w**2 - 5*w + 2. Let t(v) = -3*v**2 - 15*v + 7. Let p(f) = -8*o(f) + 3*t(f). Suppose 0 = -2*c - 2*c - 20. Does 5 divide p(c)?
True
Let h(m) = m**2 + 8*m + 1. Let p be h(-7). Let a(u) be the third derivative of -5*u**4/24 + u**3/3 + u**2. Is 16 a factor of a(p)?
True
Let y(x) = 1 - 2 + 12*x + 0 - 15*x. Let n = 9 - 16. Does 10 divide y(n)?
True
Let h(g) = 223*g**2 + 47*g - 46. Is 7 a factor of h(1)?
True
Let v(g) = 30*g + 39. Does 24 divide v(14)?
False
Let t be 2/(-8)*2/(-4)*8. Is 6 a factor of (18/8)/(t/4)*8?
True
Suppose -2*y = 3*m - 3*y - 167, 3*m - 142 = -4*y. Suppose 9*b = 12*b - m. Is b a multiple of 18?
True
Suppose 2 = 37*v - 39*v, 3*w = 3*v + 519. Does 27 divide w?
False
Let o(c) = 4*c. Let m be o(-2). Let s = -8 - m. Suppose 4*v + 5*t - 164 = s, 0*t - 168 = -5*v + 3*t. Does 12 divide v?
True
Let t(h) = -11*h + 174. Does 5 divide t(-51)?
True
Let j be 13/2 - (-6)/(-4). Suppose -v + 5*r - 18 = 0, j*r = -3*v - 0*r + 6. Is 13 + 4*v/6 a multiple of 11?
True
Suppose 3*x + 2*m + 6 = 0, 4*x - 8*m = -3*m + 15. Let a = -77 + 82. Suppose r - q = 7, -a*q = -x*q. Does 2 divide r?
False
Let c = -1 + -2. Let d be 7 + -5 + c/(-3). Is (3 - 22)/(d/(-6)) a multiple of 12?
False
Let n(j) = 3*j**2 + 116*j - 217. Is n(-49) a multiple of 6?
True
Let f be (3/2)/((-4)/(-48)). Suppose -j - f = -4*z, -3*j - z + 2*z + 1 = 0. Suppose 0 = -4*a + i + 42 - 8, -3*a = j*i - 31. Is 2 a factor of a?
False
Let k = 697 + 601. Does 103 divide k?
False
Is 14 a factor of (-5 - 233)*(-3 - -1)?
True
Let w(n) = -2*n + 7*n**2 + 2*n**2 - 2 - 2*n**2. Suppose -5*m = 5*k + 15, 9*m = 4*k + 5*m - 4. Is w(k) a multiple of 7?
True
Suppose 2*r + 3*f - 6*f + 73 = 0, -2*r = -2*f + 78. Let x = 65 + r. Is x a multiple of 10?
False
Let y be 1/(-4) - 100/(-16). Suppose 2*s + 10 = -y. Let z = s + 19. Is 6 a factor of z?
False
Let l be ((-7)/(-2))/(3 - 14/4). Let s(r) = -r**2 - 18*r - 5. Is 9 a factor of s(l)?
True
Let w(q) = -q**3 - 5*q**2 + 6*q. Let h be w(-6). Let z be 1/(-2)*h/(-3). Does 14 divide 3 - -41 - (z - 2)?
False
Let p = 0 - 2. Does 14 divide (-4328)/(-36) - p/(-9)?
False
Does 4 divide 8/((-352)/(-1708)) - (-4)/22?
False
Suppose 5*o + 4 = -4*x + 7, -o = 3*x - 5. Let g(c) = 35*c**2 - 3*c**2 + 3*c + 6*c**x - 2. Is 11 a factor of g(1)?
False
Let p be ((-41)/(-1))/((-1)/(-3)). Suppose -4*z - 2*a + 140 = 0, 3*z - p = 2*a + a. Does 9 divide z?
False
Let x(u) = 93*u**2 + 3*u - 1. Let r be x(2). Suppose -2*i = -2*a + 272, -5*a + i + r = -303. Is 17 a factor of a?
True
Suppose 0 = 7*x - 110 - 849. Let i = -72 + x. Suppose -a + i - 6 = 0. Is 26 a factor of a?
False
Is 7508/10 + 27/135 a multiple of 101?
False
Let c = -34 + 35. Let k be c/(635/(-320) + 2). Suppose -5*x = -13*x + k. Is x a multiple of 8?
True
Let o = -235 - -290. Is o even?
False
Let s = -15 - -18. Suppose -t + 0*t + 95 = s*x, -4*t + 364 = -4*x. Is 15 a factor of t?
False
Let c(l) = 4*l**3 + l - 1. Let m be c(1). Suppose 235 = m*x - 5*j, -3*j = -5*x + x + 229. Does 17 divide x?
False
Let m be 4 + 24 - -1*4. Let b = 57 - m. Is b a multiple of 8?
False
Let z = 15 + -11. Suppose 0 = -2*f + 3*h - 21, 22 = -5*f + z*h - 13. Let g(k) = k**3 + 4*k**2 + k + 1. Is 2 a factor of g(f)?
False
Suppose -2*x - 5*o = -3*x + 50, -5*x + 3*o + 316 = 0. Does 5 divide x?
True
Suppose -3*h + 6 + 6 = 0, -5*l - 4*h = -16. Suppose 0 = t - l + 2. Is 13 a factor of (-316)/(-8) + t/4?
True
Let k = -137 - -141. Is 17 a factor of (17 - (1 + 3)) + k?
True
Suppose -3*l = 2*l - 10. Let b(m) = 3 + 3 - l - 18*m. Is b(-2) a multiple of 20?
True
Let b = 6 - 3. Suppose -s - 55 = -b*s + 5*y, -4*s = -y - 119. Does 7 divide s/(4/((-8)/(-4)))?
False
Let f = 1153 + -609. Is 30 a factor of f?
False
Let s(z) = -z + 11. Let l be s(12). Let d be (-3)/l + (-175)/(-5). Suppose 158 = 4*m + d. Is 7 a factor of m?
False
Suppose 0 = 7*v - 8033 - 11126. Is v a multiple of 27?
False
Suppose -27*f = -25*f - 14. Suppose -3*o + 385 = b, -2*o + f*o = -b + 645. Does 10 divide o?
True
Is 2/4 - 150255/(-54) a multiple of 11?
True
Suppose 36 = 5*u - 34. Let f = u - 6. Suppose 3*j - 49 = f. Is j a multiple of 5?
False
Suppose 3*n + 2*a - 1344 = n, -5*n + 3374 = -2*a. Is 64 a factor of n?
False
Let r(n) = 2*n**3 + 12*n**2 + 10*n + 2. Let q be r(-5). Is 48/q - (3 + (-36)/6) a multiple of 8?
False
Let c(b) = -1182*b**3 - b**2 - 3*b - 1. Does 26 divide c(-1)?
False
Let s = -4 - -8. Is s*(-5)/10*-20 a multiple of 20?
True
Suppose 11363 + 59589 = 56*h. Is 7 a factor of h?
True
Let l be (-2716)/24 + 2/12. Let f be (-5580)/72 - 2/(-4). Let q = f - l. Is q a multiple of 9?
True
Let w be 0 - -4 - (-868)/7. Suppose 0 = o - 3*o + w. Suppose -2*f = -o - 52. Is f a multiple of 29?
True
Suppose 8*y - 5*y = 192. Let v = -56 + y. Is 4 a factor of v?
True
Let f be 10/35 - ((-3264)/(-7) + 1). Let n = -324 - f. Is 11 a factor of n?
True
Let b(n) = 3*n - 7. Let p be b(3). Suppose -5*g + 317 = -p*z - 115, -4*z - 90 = -g. Is g a multiple of 20?
False
Is 423 + 21/(-3) - 2 a multiple of 9?
True
Let u be 3 - 2 - -38*(0 + 1). Does 22 divide 1690/u - (-2)/3?
True
Suppose 1638 = -3*c + v, 3*c - 4*v = -2*c - 2730. Let p be (-1)/(-3) - c/9. Suppose 0 = -4*x + 8, 0 = 3*r - 2*r - 3*x - p. Is 19 a factor of r?
False
Suppose 0*x + 2*x - 3*u - 21 = 0, -37 = -4*x + 5*u. Let t(v) = -10*v**2 + 13*v**2 - x*v - 3 + v. Is t(-3) a multiple of 15?
True
Let g(l) = -12 - 10*l + 2*l**2 + 18*l + 7*l. Let s = -10 + -1. Is 22 a factor of g(s)?
False
Let f = -17 + 16. Does 14 divide 47/(-1 - (-3 - f))?
False
Suppose 0*t - 3*t + 3 = 0. Let u(c) = 32*c**2 - 2*c + 2. Let l be u(t). Suppose -l = -s - 7. Is 8 a factor of s?
False
Suppose 12 = 6*n - 30. Suppose c - 2 = n. Does 9 divide c?
True
Suppose 0 = -i - j + 93, 3*i - 272 = j - 5. Is 6 a factor of i?
True
Let n = 74 + -50. Suppose 0 = -26*r + n*r + 188. Is r a multiple of 11?
False
Does 5 divide 6440/(20/4) - -2?
True
Let h(g) = g + 4. Let a be h(-6). Let n(u) = -9*u - 5. Does 5 divide n(a)?
False
Let u(f) = -110*f**3 - 2*f**2 + 4*f - 5. Let d be u(2). Let o be d/12 + (-8)/32. Let a = o + 104. Does 6 divide a?
True
Let n(a) be the first derivative of 5*a**4/2 - a**3/3 - 2*a**2 + a + 20. Is n(2) a multiple of 39?
False
Let x(c) = -12 + 6 + 18 - 37*c. Is x(-3) a multiple of 11?
False
Let k = -792 - -1114. Is k a multiple of 46?
True
Suppose 5*k = 4*k + 1. Let d = k + -1. Suppose 11*r - 16*r + 120 = d. Does 12 divide r?
True
Suppose 0 = 5*r - 169 - 156. Let a = -53 - -18. Let v = r + a. Does 15 divide v?
True
Let l(x) be the first derivative of 7*x**4/4 + x**3/3 - x**2 + 2*x - 15. Is l(1) even?
True
Let t(g) = 2*g + 3*g**2 + 83 - 78 + g**3 + 5*g**2. Is 10 a factor of t(-5)?
True
Let u(n) = n**3 - n**2 + 5*n + 3. Let z(m) = 2*m**2 + m + 4. Let f be (-7)/(-21) + (-2)/6. Let s be z(f). Is 13 a factor of u(s)?
False
Let j be 19/3*(0 + 9). Suppose 2*f = -9 + j. Is f a multiple of 11?
False
Let s = 26 - 27. Is 2 a factor of 26 - 23 - (-9 + s)?
False
Let l be (-12)/(-3)*1/2. Suppose z = -l*z + 90. Is 13 a factor of z?
False
Suppose 0 = -10*p + 1161 + 1459. Does 3 divide p?
False
Let c(n) = -n**3 + 2*n**2 - n + 1. Let q be c(4). Let d = -67 - -3. Let a = q - d. Is 29 a factor of a?
True
Suppose r - 505 = -120. Suppose r = 5*c - 375. Is 1/(-3) - c/(-6) a multiple of 15?
False
Let v(t) = -7 - 2 + 6*t - 3 - 3*t. Let o(m) = -m**3 - 4*m**2 - 3*m - 2. Let p be o(-4). Is v(p) a multiple of 5?
False
Does 8 divide -3 + (362436/84 - (-4)/14)?
True
Let t = 15 + -9. Let q(l) = 4*l - 7. Let i be q(t). Let b = 80 - i. Is 9 a factor of b?
True
Let z be 1/4 - 33/(-12). Let c be (-2)/3 + (-16)/(-24). Suppose 2*s + z*s - 255 = c. Does 28 divide s?
False
Let q be (-27)/(-15) - 2/(-10). Suppose w - 4*m - 141 = 0, -q*w = m - 5*m - 270. Suppose -5*o + w - 24 = 0. Is o a multiple of 21?
True
Let v = 2790 - 1718. Is 16 a factor of v?
True
Suppose 0 = -0*v + 2*v - 10. Let r be (-32)/40 - 11/v. Is (r/2)/(9/(-204)) a multiple of 9?
False
Is 21770/98 - 2/14 a multiple of 6?
True
Let p be (-5)/5*2*150/4. Is (5 - 2) + (-3)/9*p a multiple of 4?
True
Let z(u) = -2*u - 16. Suppose o - 9 = -6. Let b(n) = -2*n - 7. Let j be b(o). Does 5 divide