se
Suppose -682*g + 718*g - 160272 = 0. Does 154 divide g?
False
Let z(j) = -j**3 - j**2 + 2*j + 2. Let y(v) = -v**3 + 7*v**2 + 19*v - 1. Let s be y(9). Suppose -s*t - 28 = -t. Is 14 a factor of z(t)?
True
Suppose -8*s + 5*s - 4*x + 26 = 0, 0 = 2*s - 4*x + 16. Is 47 a factor of (-1087 + s + 4)*-1?
True
Let d(u) = -4*u - 9. Let v be d(-4). Suppose -8*k + 936 = -v*k. Suppose -14*o + 2*o + k = 0. Is o a multiple of 26?
True
Suppose -11*j = 18*j - 22*j - 30002. Is 44 a factor of j?
False
Suppose 6*u = u - 3*i + 66264, i = -3*u + 39756. Is u a multiple of 41?
False
Let y(d) be the first derivative of -d**3/3 - 2*d**2 + 228*d + 49. Is 8 a factor of y(0)?
False
Let o(b) = b**2 + b - 14. Let l be 410/(-30) - 2/6. Does 2 divide o(l)?
True
Let a(j) = 6*j**3 + j**2 + 12*j - 19. Let c be a(4). Suppose 151*y - 154*y + c = 0. Does 13 divide y?
True
Suppose 3*c - 2*h = -7*h - 102, -4*c = -3*h + 165. Let m = -37 - c. Is 5 a factor of 11 + 3*m/(-6)?
True
Suppose -5*m - 3*n - 41 = 0, 3*m - n = 127 - 160. Suppose d = -21 - 43. Is 2/(8/50)*d/m a multiple of 20?
True
Let d be -2 + -2 - (7 + -15). Suppose -5*j + 27 = m, 4*j - 106 - 34 = -d*m. Suppose m = 6*w - 5*w. Is w a multiple of 37?
True
Suppose -18*d - 3072 = -5*b - 21*d, 3*b + 2*d - 1843 = 0. Let s = b + -584. Does 19 divide s?
False
Let k be (-756)/(-1) + 0/9. Suppose 0 = -30*o + 42*o - k. Does 7 divide o?
True
Let g(t) = 169*t**3 - 5*t**2 - 9. Is g(3) a multiple of 9?
True
Suppose -2*a - 3*a + 1854 = -4*z, -742 = -2*a + 2*z. Suppose 5*u - 2*r - 610 = -5*r, 3*u + r - a = 0. Does 21 divide u?
False
Is 2 + (5 + 462)/(15/15) a multiple of 24?
False
Suppose 2*b - 12 = 8*t - 7*t, b = 4*t + 27. Is 11 a factor of 1*11*(-3 - t)*1?
True
Let c(t) = -76*t**2 - 8*t + 3. Let l be c(2). Let f = l - -66. Let h = 521 + f. Is 45 a factor of h?
True
Let c(o) = 18*o + 1344. Is c(4) a multiple of 30?
False
Let t = -20 + 17. Let d be t*8/36*-6. Is -145*(d + 5/(-1)) a multiple of 29?
True
Let k be (6/8 - 5/(-4))*5. Suppose -k*m = -2833 - 5417. Does 55 divide m?
True
Suppose 16 = j + 4*i, -4*j + 3 + 28 = 5*i. Let k be (5 + -3 - 10)/(-4). Suppose 0 = -k*r + o + 450, -2*r - j*o + 470 = -0*o. Does 26 divide r?
False
Suppose i = -2*i - 126. Let f = 99 + i. Does 19 divide f?
True
Suppose 7 = -j + 12. Suppose 4*m + 604 = j*t - 681, 25 = -5*m. Does 23 divide t?
True
Suppose -8 = -0*n - 2*n. Suppose 55 = 4*z - 5*r - 185, 300 = 5*z - n*r. Does 21 divide z + 4 - (-1 + 2)?
True
Suppose -2*k + 79 = -3*k. Suppose -5*c = 2*h + 900, 0 = -h - 78 + 73. Let f = k - c. Does 29 divide f?
False
Let p = -2232 + 4180. Is 9 a factor of p?
False
Let o(s) = 17*s - 16*s + 43*s + 2805 - s**2 - 2641. Does 36 divide o(40)?
True
Suppose 9*d = 43*d - 261358. Does 25 divide d?
False
Suppose -61727 = -44*q + 146062 - 52293. Does 57 divide q?
True
Suppose 4436 = s - 3*v, 4*s - 4*v - 10725 = 7067. Is s a multiple of 17?
True
Let s = -8 + 10. Let h be 39*3/12*4 - s. Let x = 67 + h. Does 15 divide x?
False
Let w = 48316 + -27904. Is 126 a factor of w?
True
Let d = -44 + 47. Suppose -q + d*p - 7*p + 19 = 0, -15 = -q - 3*p. Let f(i) = 3*i**3 - i**2 + 4*i - 5. Is f(q) a multiple of 7?
False
Suppose -6*y = 15*y + 3066. Let i = y + 270. Does 31 divide i?
True
Let h(t) = -441*t**2 + t + 2. Let u(s) = -1323*s**2 + 4*s + 6. Let i(k) = -7*h(k) + 2*u(k). Does 14 divide i(2)?
True
Let f(u) = -118*u - 298. Is f(-16) a multiple of 10?
True
Let f(a) = 18*a**2 - 12*a - 154. Is 154 a factor of f(-11)?
True
Suppose -562 = 4*t - 558. Let i(d) = d - 1. Let m(l) = 207*l - 5. Let s(f) = -6*i(f) - m(f). Does 14 divide s(t)?
True
Let r = 11838 + -1560. Does 18 divide r?
True
Let h be (-2)/(-8) - (0 - 3/(-12)). Suppose 3*z - z - 12 = h. Suppose 5*k - 3*a - 498 = 0, a - 514 = k - z*k. Is k a multiple of 16?
False
Let o = -65 - -11. Let w be (-14)/4*o/63 - 1. Suppose 2*v + 4*b = b + 87, 5*v = -w*b + 223. Is 18 a factor of v?
False
Suppose 2*q + 17*l = 3629, 5*q - 5*l - 14275 + 5060 = 0. Does 23 divide q?
True
Let k be (4/(-14))/(-3 + 120/42). Let d be k/(32/(-12)) - 27/(-4). Suppose -2*l - 4*f = -d*f - 132, -l = 4*f - 61. Does 13 divide l?
True
Let h(f) = 6*f**2 + 3*f + 4 - 9*f**2 - 2*f. Let b be h(-2). Let l = 88 + b. Does 13 divide l?
True
Let c(x) be the third derivative of x**8/720 - x**7/1680 + x**6/360 + 17*x**5/60 - 11*x**2. Let h(f) be the third derivative of c(f). Does 18 divide h(2)?
True
Let q(i) = 77*i**3 - 5*i**2 + 3*i + 2. Let x = 417 - 415. Is q(x) a multiple of 20?
False
Let n(v) = -v**3 - 7*v**2 + 9*v + 11. Let h be n(-8). Suppose -11*g - 2043 = -16*g + h*x, 0 = -4*g + 4*x + 1636. Does 12 divide g?
True
Is 10 a factor of (-13)/(-78)*2 - (-5)/(15/130799)?
True
Suppose u = -3*u - r + 8, -u + 2*r = 7. Let q be -1*u/2 + 18/12. Does 9 divide ((-34)/(-2))/(q - 0/(-2))?
False
Suppose 18*o - 7*o - 209 = 0. Let g = 25 - o. Suppose -2*k + 390 = 3*j, j = -k + g*k - 992. Is 15 a factor of k?
False
Does 8 divide 13 + 1*(-402)/(-6)?
True
Let z(a) = 26*a**3 - 2*a**2 - 7*a + 21. Is z(3) a multiple of 18?
True
Suppose 175 + 239 = 3*i. Suppose -i = -14*q + 11*q. Is 5 a factor of q?
False
Does 7 divide 62931/209 - (-4)/(-38)?
True
Let j = 539 + -951. Let y = 694 + j. Is y a multiple of 33?
False
Let o = -8 - 28. Does 9 divide (-60)/o + (-247)/(-3)?
False
Suppose -5*w + 4*p = 2, -p = 2*w + p - 10. Suppose 0 = 4*x + w*b - 3*b - 2, -4*x - 2*b = 4. Suppose x*i = i - 51. Is i a multiple of 17?
True
Is 3/27 + ((-349540)/(-180) - 12) even?
True
Is 116 + 2090 - (-7 + -1) a multiple of 54?
True
Let u(c) = -3*c**2 + 17*c - 32. Let t(a) = -7*a**2 + 34*a - 65. Let r(f) = -6*t(f) + 13*u(f). Does 16 divide r(7)?
True
Let l(s) = 4*s**2 - s - 2. Let o be 1894/18 - 6/27. Let k be (120/o)/(2/7). Does 15 divide l(k)?
False
Let g(j) be the second derivative of j**4/6 + 5*j**3/3 + 9*j**2/2 + 26*j. Does 10 divide g(4)?
False
Let l(p) = -295*p**3 - 17*p**2 + 5*p + 3. Let n be l(-3). Suppose 29*s - 23*s = n. Is s a multiple of 25?
True
Suppose 0*g + g - 63 = -3*z, 3*g = 2*z - 31. Let l = 6 - 1. Suppose -s = -0*s + l*n - 8, n = -s + z. Is 6 a factor of s?
False
Let h be 6/(-5 - 65/(-15)). Let o(u) = 4*u**2 + 4*u + 12. Is 12 a factor of o(h)?
True
Suppose -4 = -4*u - 16, -k - 2*u + 1807 = 0. Is 3 a factor of k?
False
Suppose -2*i + 5*a = -58, 4*i - 2*i - 74 = a. Let o = i - 36. Suppose -7*s = -o*s - 624. Is s a multiple of 16?
False
Let r(k) = 2*k**3 + 28*k**2 - 15*k - 30. Suppose 24*a + 28 = 22*a. Is r(a) a multiple of 15?
True
Suppose -103 = 3*b + 131. Let o = 206 + b. Does 16 divide o?
True
Let k = 67 + -49. Let x = -10 + k. Suppose -x*b + 684 = -2*b. Is b a multiple of 29?
False
Let b(y) = 3*y**2 - 10 + 3*y**2 - 2*y**3 + 0*y**2 + 9 + 14*y. Is b(4) a multiple of 8?
False
Let a be (3 - 10)*498/(-3). Let m = a - 803. Is m a multiple of 13?
False
Let x(a) = 14*a**2 + 24*a - 5 + 6 - a**3 + 8 + 2 + 7. Is x(14) a multiple of 6?
True
Suppose 5*r + 5*y = 2545, -4*r + 5*y + 2625 - 589 = 0. Suppose -3*p + r = -q - 298, -1086 = -4*p - 2*q. Is p a multiple of 55?
False
Let r(g) be the second derivative of 23*g**4/12 - 2*g**3/3 - 2*g**2 + 3*g - 86. Suppose 1 = -3*y - 2. Is 23 a factor of r(y)?
True
Let d = -14226 + 18354. Is 61 a factor of d?
False
Suppose 151*l - 578100 - 1864697 = -381647. Is l a multiple of 14?
True
Let m = 294 - -1050. Suppose 6*g = 2*g + m. Does 42 divide g?
True
Suppose -4*z + 120 - 12 = 0. Suppose -m = -4*m + z. Suppose -m*h + 782 = -28. Is 10 a factor of h?
True
Suppose -3*q - 353 = 100. Let b = 215 + q. Is b a multiple of 2?
True
Suppose 0*o - o + 2 = 0. Let w be 2/(7/((-196)/(-8))). Suppose 0 = b + o*n - 35, -w*n = -3*b - 3*n + 95. Does 8 divide b?
False
Suppose 366*h + 290955 = 485020 + 531713. Does 22 divide h?
False
Let x(r) = -78*r**3 + r**2 - 185*r - 544. Is 32 a factor of x(-3)?
False
Let b(y) be the third derivative of -14/3*y**3 + 0*y + 11/24*y**4 + 14*y**2 + 0. Does 21 divide b(18)?
False
Let o be 210/(-63)*6/(-2). Let s(p) = p**3 - 10*p**2 - 13*p + 16. Let x be s(11). Is x + 4/2 + o a multiple of 4?
False
Let w(d) = -d**3 + 7*d**2 + 18*d. Let m be w(9). Suppose -2*r - r + 1153 = -k, -2*r + k + 769 = m. Is r a multiple of 13?
False
Suppose 35*g + 1918 = 22*g + 13202. Is g a multiple of 14?
True
Suppose 0 = -3*x - 2*t + 878, -6*x = -11*x + 5*t + 1430. Let g = 318 - x. Is 14 a factor of g?
T