 i = 17 - 35. Let u(s) = -s**2 - 15*s + 39. Let h be u(i). Does 14 divide q(h)?
True
Does 13 divide (-2)/6 + (-1916782)/(-147)?
True
Let n(i) = 3*i - 1. Let q be n(2). Suppose 0 = -q*h + v - 5, -v + 1 = -4. Suppose -2*m + 20 = -h*m. Does 2 divide m?
True
Suppose w + 21053 = 3*o, -2*o + 6996 = -o + 4*w. Does 179 divide o?
False
Suppose -s - 5011 = 5*p + 3*s, -5*p = -4*s + 4979. Let u = p - -1404. Suppose -5*r + 0*r + u = 0. Does 27 divide r?
True
Let k(t) = 5*t - 127. Let x be -2*(5/(-10) - 1) - -29. Does 3 divide k(x)?
True
Suppose d + 23 = -5*q, -2*d + 28*q = 27*q - 9. Does 21 divide -3*d/21 - 14040/(-42)?
False
Let g(a) = -173*a - 1923. Is 42 a factor of g(-15)?
True
Let n = 5736 - 2996. Suppose -2*x = 3*u - 841 - 253, 0 = -5*x - 5*u + n. Is x a multiple of 55?
True
Is 7 a factor of ((-80)/(-12))/4*3 - -20449?
True
Is ((-972)/10)/(-1*(-12)/(-2360)) a multiple of 9?
True
Suppose g + 3*g - 24 = -2*j, 5*g = -2*j + 28. Let s be 3 - (2 + g/4). Suppose s = -13*o + 14*o - 20. Is 10 a factor of o?
True
Suppose -7677 = -9*a - 0*a. Suppose -856*r + a*r + 246 = 0. Is 17 a factor of r?
False
Let v = 86090 + -50176. Is 46 a factor of v?
False
Let b(j) = 142*j**3 - 2*j**2 - 27*j + 95. Is 18 a factor of b(4)?
False
Let c(m) = -737*m - 1146. Is c(-6) a multiple of 13?
True
Let d = 71 - 70. Let w be (5 + -8)/((-1)/11*d). Suppose 0 = -31*c + w*c - 42. Is c a multiple of 21?
True
Let q(u) = 369*u**2 - 312*u + 64. Does 11 divide q(7)?
True
Let m(g) = -g**2 + 12*g + 4. Let a be (2 + -1)*0 + (-350)/(-7). Suppose -11*i = -a - 82. Is 4 a factor of m(i)?
True
Let x(w) = 6659*w - 226. Is 8 a factor of x(3)?
False
Let a = 61 - 56. Suppose -3*d - 3*i = -24, 2*d - 8*i + a*i = 16. Suppose -3*t = -d*t + 5*q + 250, 3*t - 5*q = 158. Does 15 divide t?
False
Let z(u) = -4*u**2 + 24*u - 6. Let d be z(3). Does 15 divide 32 - d - (-1 - 1)*167?
False
Suppose 78*p - 290 = -31*p + 691. Is p a multiple of 2?
False
Suppose 0 = u + 3*c + 108, 3*u + 5*c - 56 = -376. Let x be (-12)/(-7) - 30/u. Suppose -x*h - 12 - 7 = -j, -3*j = -5*h - 55. Is 5 a factor of j?
True
Does 92 divide ((-135)/(-21) - (-9)/(-21)) + 454?
True
Let v be 18*(-5 + (-186)/(-36)). Suppose v*n - 64 = 20. Is 3 a factor of n?
False
Let n = 2108 - 1207. Does 53 divide n?
True
Suppose 7*v - 6561 = -20*v. Is 28 a factor of (258/(-8))/((v/180)/(-9))?
False
Suppose -28*q + 1254 = -17*q. Suppose 2*n = 2*o - 188, -6*o + 7*o - q = -4*n. Is 19 a factor of o?
False
Let o(q) = q**3 - 21*q**2 + 15*q - 23. Let l be o(20). Let i = l - -6. Let a = i + 187. Is a a multiple of 22?
False
Is -1*(-18)/585*-5 - 433968/(-13) a multiple of 20?
False
Let z(m) = -m**3 + m + 119. Suppose 0 = -4*t + 5*t. Does 10 divide z(t)?
False
Suppose 4*o - 7449 - 3049 = 174. Is 29 a factor of o?
True
Let z be -4 + (-1)/((-1)/3). Is 14 a factor of (z/2)/(23/(-5704))?
False
Suppose 25770 = 7*z - 26764 - 28106. Is 18 a factor of z?
True
Suppose -44413 = -18*d - 15739. Is 5 a factor of d?
False
Let w(k) = -3*k**3 + 2*k**2 + 6*k - 8. Suppose -2*m = -s + 10, -2*m = 2*s + 2*s. Is 16 a factor of w(m)?
True
Let b(t) = -7 + 24 - 10 - 3*t. Let n be b(-5). Is n/(-4 - (-45)/10) a multiple of 11?
True
Let w = 67 + -85. Is (-140)/w - (-8)/36 a multiple of 4?
True
Suppose -334 = -r - 2*w, w - 159 = -2*r + 506. Let g = r + -92. Does 4 divide g?
True
Let v(y) = 169*y - 78. Let d(c) = 85*c - 38. Let a(o) = -5*d(o) + 2*v(o). Is 71 a factor of a(-5)?
False
Suppose -2*w = -911 + 221. Let u = -196 + w. Is 11 a factor of u?
False
Suppose -48*o + 4*o + 12837 = -12507. Is o a multiple of 79?
False
Is 10 a factor of (120/(-108))/((-3)/(-54)*8/(-20))?
True
Suppose 0 = -3*c + 4*p - 127, 143 = -3*c + 6*p - 10*p. Is 14 a factor of (-1180)/(-3) - -10*6/c?
True
Let b(u) = 2*u**2 - 244*u**3 + 2 + 253*u**3 + 4*u - 6*u. Is b(2) a multiple of 4?
False
Suppose 3*t + 2*w = 46, w - 2*w + 53 = 4*t. Is 38 a factor of (-56)/t*39/1*-2?
False
Let w(t) = -1651*t + 279. Is 34 a factor of w(-5)?
True
Let l = 133 + -175. Does 21 divide 49/((l/54)/(-7))?
True
Suppose 0 = 5*d - d + 128*d - 1631256. Does 221 divide d?
False
Suppose 367*z = 7202675 - 4046272 + 10525357. Is 32 a factor of z?
True
Let g(m) = 58*m + 38. Let a be g(-4). Let t = 365 + a. Does 57 divide t?
True
Let k(z) = 11*z**2 + 700*z + 225. Is k(-95) a multiple of 40?
True
Suppose -557 = -11*o + 477. Let m = o + -86. Suppose 0 = m*z - 2*z - 264. Is 25 a factor of z?
False
Suppose 110*m = 112*m - 5*c - 52082, -2*m + 52088 = -2*c. Is m a multiple of 195?
False
Let x be (-423)/(-12) - (-6)/8. Suppose -x = 5*r - 46. Suppose 0 = g - 0*a + a - 31, -r*a = -5*g + 120. Does 19 divide g?
False
Suppose 0 = -70*m + 73*m - 4140. Suppose 676 - m = -4*r. Is r a multiple of 5?
False
Let l be 3*((-358)/30 + (-45)/(-75)). Is 48 a factor of (-10)/(-85) + (-16316)/l?
True
Suppose 0 = 3*q + 2*k - 14, -5*q + 18 = k + k. Let r(b) = -2*b**2 + 2*b**2 + b**3 - 2*b + 2*b**q + 3. Is 7 a factor of r(3)?
True
Let r(j) = -7*j**3 - j**2 - 2. Let z be r(-2). Suppose 0 = q + 3*v + 43, -5*q - 51*v + 53*v - 232 = 0. Let c = z - q. Does 10 divide c?
False
Suppose 25 + 5 = 10*l. Suppose 2*p + 34 = -l*i, -6*i - 15 = -5*i - 3*p. Is 35 a factor of ((-6)/i)/((-3)/12) + 107?
True
Suppose 0 = 5*s - 2*k - 32972, 3*s - 3*k = 1969 + 17816. Is s a multiple of 14?
True
Does 14 divide (-5995752)/(-126) + 14/21?
True
Suppose -30 - 18 = 4*w. Let h be 150 - (w/4 + -1). Suppose -2*x + 126 = -h. Does 28 divide x?
True
Suppose 4*v + 14 = 2. Let q be 48/30*5/(-2). Does 19 divide (-29 + -1 - q)*6/v?
False
Suppose 5 = -r, -424 = -7*i + 3*i + 4*r. Suppose -3*f - 7*v + 139 = -2*v, -2*f + i = 5*v. Does 19 divide f?
True
Let c(w) be the second derivative of w**4/12 + 43*w**3/6 + 81*w**2/2 - 143*w. Does 3 divide c(0)?
True
Let u(d) = d**3 + 14*d**2 - 12*d - 1. Let s be u(-15). Let f = s - -48. Suppose 80 = i + a, 5*i + f*a = 3*a + 370. Does 15 divide i?
True
Let i be (210/8)/3 + 3/12. Suppose 3*q = -0*b - 5*b + 24, -4*b = -q - i. Suppose -5*t = m - 1042, 0 = -q*t + 5*m - 0*m + 642. Does 19 divide t?
True
Let c(w) = 2*w**2 - 38*w - 1096. Does 8 divide c(-71)?
False
Let x = -5 - -10. Suppose x*j = 2*j - 6. Is (-1 - -88) + j + 0 a multiple of 22?
False
Let a(o) be the third derivative of -17/6*o**3 - 3/20*o**5 + 1/120*o**6 + 11/12*o**4 + 0*o + 22*o**2 + 0. Does 12 divide a(7)?
False
Let u(c) = -3*c**3 + 6*c + 4. Let i be u(-2). Suppose -i*l + 1209 = 57. Is 6 a factor of l?
True
Suppose q - 7255 = -z, 697*z - 692*z - 5*q - 36335 = 0. Does 18 divide z?
False
Let d(c) = -4*c - 838. Let x be d(0). Let i = -502 - x. Suppose 0 = -21*g + 9*g + i. Does 4 divide g?
True
Let i be 432 - 3 - 5*14/(-35). Suppose 2*o - 509 = i. Does 47 divide o?
True
Let z be (0 - 4/(-8)) + 198/4. Suppose -2*g + z = -76. Is 21 a factor of g?
True
Let n(x) = 12*x - 109. Let g be n(10). Suppose 795 + 822 = g*l. Does 21 divide l?
True
Let f be 12/(-22) - 108/(-198). Suppose -2*v + 896 - 280 = f. Is v a multiple of 14?
True
Let i = -210 + 336. Let c = -100 + i. Is 4 a factor of c?
False
Suppose 56*s + 72810 = 62*s. Is s a multiple of 13?
False
Let b(k) = -k**3 + 20*k**2 + 39*k + 114. Let h be b(22). Suppose 0 = x + 5*y - 47, 16 - h = -4*y. Is x a multiple of 3?
False
Let q(h) = h - 41. Let z be q(33). Is 47 a factor of (269 - z) + 6 + -1?
True
Suppose -27*g + 24700 = -8*g. Suppose 6*j - 424 = -b + 2*j, 3*b - g = -5*j. Is 4 a factor of b?
True
Let x(n) = -n**3 - 8*n**2 + 2*n + 6. Suppose -40 + 95 = -5*f. Let j be x(f). Suppose 0 = -3*i - 2*p + j, -2*i + p + 248 = -p. Does 27 divide i?
False
Suppose 10*x - 515 = -385. Suppose x*v + 690 = 2939. Is 4 a factor of v?
False
Let v = 5 - 10. Let n = 18 + v. Suppose 3*o - n = -t, -t - 4*o - o = -11. Does 4 divide t?
True
Let z(p) = p**3 + 50*p**2 - 63*p - 132. Let m be z(-51). Suppose 11*y + 13*y = m. Is y a multiple of 10?
True
Let s = 37 + -39. Is 23982/98 - s/7 a multiple of 24?
False
Suppose -60*s + 54*s + 8557 + 12947 = 0. Does 224 divide s?
True
Suppose 25*f + 15 = 28*f. Suppose -w + f*w = 12. Suppose w*x = 4*x + 5*g - 89, g = -5*x + 469. Does 16 divide x?
False
Let n(w) = 14*w - 35. Let h(l) = 27*l - 70. Let d(c) = 6*h(c) - 11*n(c). Suppose 144*r + 102*r - 2820 = 58*r. Is 17 a factor of d(r)?
True
Let x(c) = -c**3 - 84*c**2 + 529*c + 276. Does 15 divide x(-90)?
False
Let t = 35008 - 13088. Is 