z**3 + 12*z**2 + 24*z - 73. Suppose 8*y = 22 + 82. Is s(y) a multiple of 5?
True
Suppose 90*i + 40 = 85*i. Is 10 a factor of i - -10 - 417/(-3)?
False
Let i(w) = w - 1. Let m(r) = r + 5. Let u(c) = 2*i(c) - m(c). Let v be u(8). Is 8 a factor of (v - 0/(-3)) + 42 + -1?
False
Let i(y) be the first derivative of 5*y**2/2 + 20*y - 154. Let b = 15 - 10. Does 37 divide i(b)?
False
Let z be 135*2*18/15. Suppose 2*a = -68 + z. Suppose -4*d + 32 = t, -t + a = 3*t + d. Does 8 divide t?
True
Suppose 65*p - 63*p - 12187 = -l, -5*p = -2*l - 30454. Does 43 divide p?
False
Suppose -85*t - 9*t = -17*t - 2390619. Does 11 divide t?
False
Let l = -43 - -46. Suppose -l*w + 3*b = -2*b + 26, 5*w = 3*b - 22. Is 7 a factor of (-2 - 4)*(w - 34/4)?
True
Suppose 0 = -5*p + 20, 2491 = 3*i + p - 8988. Is i a multiple of 5?
True
Let v = -12783 - -20043. Is v a multiple of 22?
True
Suppose -5*y + 5*k - 35 = 10, 0 = 4*k. Let b = y - -165. Is 6 a factor of b?
True
Let m = 249 - 102. Suppose 90 = 2*b - 4*v, 0*b + 4*b + 3*v - m = 0. Does 2 divide b?
False
Suppose -4600 - 12194 = -5*d + 17911. Is 87 a factor of d?
False
Let n be (204/(-170))/((-6)/6680). Suppose 0 = -651*p + 643*p + n. Is p a multiple of 2?
False
Suppose o + p - 39033 = 0, 18*p - 19*p + 156147 = 4*o. Is o a multiple of 99?
False
Suppose 17*q = 12*q + 75. Suppose z = 4*z - q. Suppose 2*r - 230 = -2*f, -3*f = -z*r + 572 - 5. Is r a multiple of 19?
True
Let s(w) = -w**3 + 19*w**2 - w + 21. Let g be s(19). Suppose 17 = 3*d - g*m, 2*d - 4*m - 1 = 7*d. Does 3 divide d?
True
Suppose -s = 24 - 60. Suppose -t - t = -2*u + 26, 2*t = 3*u - s. Is (-18)/(-15)*(-2 - (-245)/u) a multiple of 9?
True
Let g(z) = z - 55. Suppose 8 - 160 = -8*h. Let j be g(h). Let q = j + 84. Does 8 divide q?
True
Suppose 0 = 17*m - 3*d + 5*d - 6455, 0 = -2*m - 4*d + 782. Is 138 a factor of m?
False
Suppose 21261 = -836*z + 893*z. Is z a multiple of 2?
False
Suppose h - l = -h - 9461, 23651 = -5*h + 3*l. Let a be h/(-9) + 2/9. Suppose 5*q - 2*q = 2*d + 542, 3*q + 2*d = a. Is q a multiple of 27?
False
Let v(r) = -r**2 + 33*r + 1114. Does 98 divide v(51)?
True
Suppose -3*m + 91 = 44*q - 39*q, -5*m - 3*q = -173. Let o = 47 + m. Is o a multiple of 27?
False
Let s = -194 - -195. Let b(t) = 494*t**3 - 6*t**2 + 7*t - 3. Does 6 divide b(s)?
True
Let n(t) be the second derivative of t**6/144 + t**5/60 - 5*t**4/6 + 15*t. Let z(u) be the third derivative of n(u). Is 19 a factor of z(11)?
True
Let g be (4 + -406)/(-6)*1. Suppose 64*m - g*m + 24 = 0. Does 6 divide m?
False
Let v(p) = 13*p + 3435. Is v(81) a multiple of 24?
True
Suppose 8*a - 3*a + q = 3252, -q = -3*a + 1956. Let c = a - 309. Is 12 a factor of c?
False
Let c be 1/3*3 - (2 + -2). Let i be c*2/(-6) + 1045/57. Let f(x) = 2*x + 40. Does 19 divide f(i)?
True
Let y = 10101 + -7147. Is 14 a factor of y?
True
Let o = 27227 - 22653. Does 9 divide o?
False
Let n(h) = 3*h**2 - 14*h + 16. Let l be n(4). Suppose -189 = -l*a - 5. Is a a multiple of 3?
False
Let i = 346 + -258. Suppose -n = -3*w - i, -2*n - w + 170 = -4*w. Is n a multiple of 13?
False
Suppose -2116 - 135476 = -4*x + 4*i, -5*x + 171958 = -i. Is 95 a factor of x?
True
Suppose 1565*q - 261 = 1556*q. Suppose 2*f = 4*a - 224, 0*a - a = -3*f - 61. Suppose a = 5*z - 3*v, 4*v - q = -z + v. Is z a multiple of 3?
False
Suppose 12340*x = 12356*x - 577120. Is 10 a factor of x?
True
Let q(z) = 8*z - 6. Let t be q(1). Let o be 1/((-5)/(-5)) - 1. Suppose -3*s - 4*p = -o*p - 27, -p + 23 = t*s. Does 13 divide s?
True
Let o = -10 - -14. Suppose -o*a - 1892 = -4*t, 4*t - 2*a - 1893 = a. Is t a multiple of 10?
False
Let a = -231 + 236. Suppose 0 = 3*t - a*q - 2478, 4*q + 828 = t + 3*q. Does 59 divide t?
False
Let k(j) = -2*j**3 + 74*j**2 - 150*j - 30. Is 35 a factor of k(27)?
True
Let t(b) = 12 + 4*b - 8*b + 22. Let m be t(8). Suppose -3*a = x - 75, -m*x - 4*a - 170 = -4*x. Is 24 a factor of x?
False
Suppose 5*o = 178*c - 179*c + 15061, -2*o + 60154 = 4*c. Is 7 a factor of c?
True
Let q(j) = -9*j + 106. Let u be q(12). Is -1 - (5/u)/((-12)/(-2904)) a multiple of 34?
False
Suppose -4*y + 1160 = 3*x - 3209, -2*x + y = -2931. Does 19 divide x?
True
Let l = 10576 - 8165. Is l a multiple of 4?
False
Suppose 8*v - 103 = 65. Is 7 a factor of 34/(((-6)/36)/(v/(-9)))?
True
Let q(a) = 2*a**3 + 26*a**2 - 26*a + 66. Let z be q(18). Suppose 2406 = -20*v + z. Does 16 divide v?
True
Suppose 0 = 7116*n - 7127*n + 297. Is 9 a factor of n?
True
Suppose 5*t + 2*j - 1870 = 0, 3*t - 1238 + 130 = -4*j. Suppose -2*z + 8*r = 3*r - 746, -r - t = -z. Is z a multiple of 22?
False
Let o = -13935 + 36038. Is 178 a factor of o?
False
Let r be ((-1)/2 + 14/16)*8. Is 18 a factor of 59432/114 + 2/r?
True
Let n = -94 - -96. Let k be -78*(0 - 2)*1/n. Suppose -k - 1 = -z. Is 10 a factor of z?
False
Let s = 6570 + -4512. Does 59 divide s?
False
Suppose -2*g + 11*v - 1792 = 15*v, 0 = v + 2. Let d = -557 - g. Is d a multiple of 4?
False
Does 37 divide -3 - 21/((-294)/31640)?
True
Does 13 divide ((-30)/(-35))/(68/(-119))*-15382?
False
Let h be -2*(0 - 1) + (-32 - 481). Let w = h - 994. Is 37 a factor of 0 + w/(-15) + (-1)/3?
False
Does 22 divide -7 + 104961*2/6?
True
Let n = -27 + 69. Let q be n + (0 + 0 - 12/(-12)). Let z = 49 - q. Does 2 divide z?
True
Suppose 3*a = r - 80, 32 = 2*r + 5*a - 84. Suppose -3*o + 58 = -3*k - r, 4*k - 16 = 0. Is 13 a factor of o?
False
Suppose 0 = x + 5*b - 59 - 9, 0 = -2*x - 4*b + 154. Let d = -70 + x. Let j = d - -11. Does 3 divide j?
True
Let k(y) = y**3 - 11*y**2 + 17*y + 4. Let c be k(9). Let j = c + -54. Let d = -21 - j. Does 19 divide d?
True
Suppose -7*j + 3*b = -38550 - 20084, -j + 4*b + 8387 = 0. Does 125 divide j?
True
Suppose -174 = 6*d + 792. Let s = d - -492. Is 13 a factor of s?
False
Suppose 40 + 26 = 3*x. Let n = x + -16. Does 3 divide (n/4)/(45/240)?
False
Let n(l) = 445*l**2 + 879*l + 7. Does 81 divide n(-6)?
False
Does 10 divide 105*((-2)/(-6))/(12/384)?
True
Suppose 5*b + 20 = 0, 0 = -5*j + 2*b + 18. Suppose 4*o - 1963 = p, -j*p + 4*p = 2. Is o a multiple of 39?
False
Let b = 450 - 116. Let u = 464 - b. Does 13 divide u?
True
Let d(v) = -4*v - 51. Let r be d(-24). Let j be 28 + (6/(-10) - 18/r). Suppose -5*x - j = -8*x. Is 9 a factor of x?
True
Let o = -6926 + 12994. Does 54 divide o?
False
Is (-171)/((248/64)/(-31)) a multiple of 61?
False
Let f(o) = o**3 + 16*o**2 + 10*o - 16. Let k be f(-16). Let t = 188 - k. Is t a multiple of 34?
False
Let h(n) = 92*n - 1. Suppose -u = 2*y + y + 17, 4*y + u + 23 = 0. Let d be -1*(y/(-2) + -7 + 3). Is 7 a factor of h(d)?
True
Let m(t) = 25 - 137*t + 34 + 6*t - 24. Let g be m(-5). Suppose -3*w + g = 4*v + 2*w, -2*w = -2*v + 354. Is 25 a factor of v?
True
Let z = -2590 - -2590. Let d(g) = -g + 4. Let n be d(4). Suppose -3*m - a + 193 = n, z = 3*m - 3*a - 114 - 99. Is m a multiple of 22?
True
Let r(a) = a**3 - 6*a**2 + 8*a - 12. Let b be r(5). Suppose 5*q = b*f - 1330, f - 4*q + 1752 = 5*f. Is f a multiple of 40?
True
Let g be ((-9)/5)/(28/(-140)). Is 8 a factor of (-8)/(-4*g/576)?
True
Let r(y) = 3*y**3 - 15*y**2 - 7*y - 6. Let a be r(7). Let q = 567 - a. Does 7 divide q?
False
Is 34 a factor of (1/6)/(16/(-10664544)*-11)?
False
Suppose -1609967 = 9*n - 68*n - 306893. Does 245 divide n?
False
Suppose -28*g + 48*g - 23*g + 7959 = 0. Does 7 divide g?
True
Is 7 a factor of 7/(-35) + 43704/45 + 2?
True
Let f = -4665 - -32082. Is 175 a factor of f?
False
Let m = 1576 + 3831. Is 112 a factor of m?
False
Let n = -25803 + 37109. Is n a multiple of 14?
False
Let b = 69 + -66. Suppose -5*k - 2280 = 3*g, -326 + 1694 = -b*k + 2*g. Is 19 a factor of (1/3)/((-1)/k)?
True
Let l be ((-1000)/(-120))/((-20)/24). Let p be (-205 - (0 + 0)) + -1. Is p/l + 2/5 a multiple of 3?
True
Let y(l) = 279*l**2 + 163*l - 806. Does 12 divide y(5)?
True
Let n(u) = -u**3 - 74 + 19*u + 0*u**3 + 12*u**2 + 31 + 15. Is 70 a factor of n(7)?
True
Let i(b) = 2*b**3 + 14*b**2 - 11*b + 2. Let j be 8/(-48) + (-1257)/18. Let y = j - -63. Does 10 divide i(y)?
False
Let g = -227 - -247. Suppose 2*d + 21*b - g*b = 136, 0 = -d + 3*b + 54. Does 22 divide d?
True
Let u = 424 + -408. Is 20 a factor of (-1)/2 + 908/u*6?
True
Let m(i) = 228*i**2 - 342*i - 19. Is m(9) a multiple of 124?
False
Does 25 divide (-18)/6 + -1221*(-22 - -4)?
True
Let y(n) = -29*n - 2888. I