). Let f be -91 - -1 - (-1 - -2). Let t = f - c. Does 15 divide t?
True
Let f(h) be the first derivative of 5*h**5/12 - h**4/24 - h**3/3 + h**2 + 3. Let v(b) be the second derivative of f(b). Does 20 divide v(-2)?
True
Suppose 157*m - 79929 = 1474214. Does 91 divide m?
False
Let c(n) = 2*n**3 + 17*n**2 - 6*n + 16. Let o = 359 + -367. Is c(o) a multiple of 4?
True
Let u be (-7 - (-165)/20)*1*8. Does 23 divide 7632/20 + ((-8)/u)/(-2)?
False
Let r be 6 - (8 - 1) - -1. Suppose -19*h + 24*h = 4*i - 2794, -2*i + 5*h + 1402 = r. Is 12 a factor of i?
True
Let r = -5765 - -10425. Is 12 a factor of r?
False
Let q be (6 + (0 - -1))*5. Suppose 2*k - q + 25 = 0. Suppose k*z + 5*a = 405, 2*z - 2*a = -a + 147. Is 19 a factor of z?
True
Suppose 0 = 2*b - 178 + 208. Is (-148)/((((-20)/b)/4)/(-1)) a multiple of 59?
False
Let q(x) = 10*x**2 + 4*x + 2. Let f be q(-3). Let p = f - 77. Is (-7)/(42/(-135))*(p + -1) a multiple of 9?
True
Suppose 5*g - 97 = -12. Suppose 14*s = g*s - 588. Is s a multiple of 14?
True
Let y be 10/65 + 4/(-78)*-75. Suppose y = -2*g - 5*o + 16, 0 = 2*g + 3*o - 16. Does 3 divide (6 - 3)/12*(1 + g)?
True
Let c be 316/5 + (-10)/50. Suppose -c - 77 = 5*m + 5*s, 2*s + 4 = 0. Let i = -7 - m. Is i a multiple of 5?
False
Let z(n) = 4*n**2 - 3*n - 1. Let l be z(5). Let c = -72 + l. Suppose 3*k + 648 = c*k. Is 36 a factor of k?
True
Let s(l) = 37*l - 616. Is s(45) a multiple of 40?
False
Suppose -3*f = -3*x + 174, -2*f + x = 2*f + 241. Let g = f + 64. Does 36 divide (-3)/g*(-197 + 1)?
False
Is 8/(-2 + 5951/2970) a multiple of 36?
True
Suppose 0 = -6*z + 2*z + 3*w - 2882, -3*z - 4*w = 2149. Let l = z + 1125. Is l a multiple of 58?
True
Let r(w) = w**3 - 83*w**2 + 59*w + 191. Is r(83) a multiple of 16?
True
Let b be (5/(-2))/((-4)/(-8)) + 45. Does 10 divide 3/(-30) - (-34804)/b?
True
Let q(z) = 5. Let r(f) = 5*f - 17. Let b(k) = 14*q(k) - 2*r(k). Does 17 divide b(7)?
True
Suppose 0 = -5*l - 4*n + 480, 134 = 4*l + 3*n - 249. Let d = l + 40. Is d a multiple of 28?
False
Let i(k) = 2*k**2 - 14*k + 3. Let f be i(7). Suppose j = 4*z + 172, 560 = -0*j + f*j - z. Suppose -8*o + j = -68. Does 8 divide o?
True
Suppose 0 = -17*x + 3995 + 6116 + 9932. Is x a multiple of 9?
True
Suppose -12*o = -22*o. Suppose -2*m + 12 - 4 = o, -3*m = 4*d - 936. Does 21 divide d?
True
Let u(a) = a**2 + 17*a + 8. Let z be u(13). Let q = z + 120. Does 37 divide q?
True
Suppose q - 3 = 0, 7*c = 2*c + 4*q + 2783. Let k be 3/(-12) - c/4. Let p = k - -280. Does 28 divide p?
True
Let q be 3/(-1) + 1 - (-8 - -4). Suppose j + q*f = 168, 4*f + 309 = 2*j - f. Is 18 a factor of (50/4)/(9/j)?
False
Is 6/(-9) - (-185074)/123 a multiple of 16?
True
Let p(t) = 77*t**2 - t - 4. Let j be p(2). Suppose 2*m - 4*l - 293 = -m, j = 3*m + 5*l. Does 15 divide m?
False
Let b = -426 + 1185. Suppose -72*m - b = -75*m. Does 13 divide m?
False
Suppose -1380352 = 316*h - 625*h + 245*h. Is h a multiple of 64?
True
Let c = 161 - 164. Does 11 divide c*(-4)/(-36) - 295/(-3)?
False
Let d(z) = -13*z - 49. Let f(j) = -7*j - 25. Let g(p) = 6*d(p) - 11*f(p). Let x be g(-22). Suppose x*y = -15, -330 + 1285 = 5*k + y. Does 12 divide k?
True
Suppose 2*b + 3811 + 1803 = 4*c, 3*b + 1401 = c. Is c a multiple of 40?
False
Suppose -115*i - 197*i + 2544360 = 0. Does 75 divide i?
False
Suppose 6*y - 80 = 4. Suppose 5*k + 5*b + 279 = y, 126 = -2*k + 2*b. Let s = k - -98. Is s a multiple of 14?
False
Suppose 15247077 = 616*s + 4175982 - 12850033. Does 14 divide s?
False
Suppose 38*j - 141225 = -40*j + 373653. Is j a multiple of 7?
True
Let y(f) = 3*f**2 + f - 13. Let i be y(5). Let m(u) = 66 + 0*u**3 - i + u + u**2 + u**3. Is m(3) a multiple of 4?
False
Let i = 20543 + -15660. Is i a multiple of 4?
False
Suppose 2*d = o + 1 + 1, 3 = -o + d. Let z be (9/(-48)*o)/(1/(-4)). Is 53 a factor of -2 - z/(15/1070)?
True
Suppose -181*r + 183*r + 3*a = 54187, 5*r - 2*a = 135420. Does 147 divide r?
False
Let h(o) = o**2 + 17*o + 18. Suppose -3*l - 2*s - 3*s - 73 = 0, 2*l + 27 = s. Let r be h(l). Suppose r*p = 55 + 23. Is 4 a factor of p?
False
Suppose -3*z = -0*z + 18. Does 42 divide (-2)/z + (-11395)/(-15) + -5?
False
Is 893/38 + (-27)/6 + 4 even?
False
Suppose -50*o + 2*i + 286 = -47*o, 2*i = -4*o + 386. Is o a multiple of 3?
True
Let n = -4594 + 14451. Is n a multiple of 21?
False
Suppose 3*g - 4*q + 237 - 969 = 0, 0 = 2*g - 2*q - 486. Suppose -4*d + 2*x = -g, d + x = -4*x + 60. Is d a multiple of 5?
True
Suppose -5*x + i = -26565, 26565 = 5*x - 63*i + 68*i. Is 69 a factor of x?
True
Let j(w) = -w**3 + 10*w**2 - 13*w + 45. Let h be j(9). Suppose 0 = -4*g + 5*g - 26. Let t = h + g. Is 35 a factor of t?
True
Let p be -1 + 1 + 7/(14/(-10)). Is p/(-15)*-37*-27 a multiple of 46?
False
Let u = -1 - -3. Suppose h - 108 = -2*l, -u*h - 3*l + 327 = h. Let x = h - 66. Does 22 divide x?
True
Let o = 34 - 30. Suppose -o*x + 13 = -7. Suppose -l + 28 = -2*u, -2*u - 134 = -4*l - x*u. Is l a multiple of 14?
False
Suppose -2*n + 6 = -5*n, -5*s - 52 = -4*n. Let a(x) = x**2 + 13*x + 19. Let l be a(s). Suppose -l*k + 625 = -306. Is 19 a factor of k?
True
Is (-48054)/(-4) - -2 - (-95)/(-38) a multiple of 58?
False
Suppose 168*g - 34*g - 7055973 + 1136121 = 0. Is g a multiple of 12?
False
Suppose -3*b = -1267 - 158. Suppose -483 = -3*g + 3*n, 3*g - n + 0*n = b. Suppose 9*j = -4 + g. Is j a multiple of 5?
False
Suppose -3*t - 4*q = -0*q - 8651, 14449 = 5*t - q. Is 2 a factor of t?
False
Let d(u) = 2*u - 1. Let i be d(2). Suppose -11 - 445 = -i*y. Suppose -3*g = -5*w + 703 + y, -171 = -w - 5*g. Is 10 a factor of w?
False
Suppose 0 = 4*s + 4*f - 51932, -132*s - 25951 = -134*s + f. Is 21 a factor of s?
True
Suppose -17274 = -25*y + 20*y + x, 3*x + 10374 = 3*y. Is 73 a factor of y?
False
Let w be (-16 - -10)*-6*(1 - 0). Suppose 2*k = -8, -4*b + 8 = -5*k - w. Suppose 5*r = -3*h + 429, 3*r - 5*h - 255 = -b*h. Does 29 divide r?
False
Let l(c) be the first derivative of -27*c**2 - 244*c + 90. Is 13 a factor of l(-5)?
True
Let s(j) = -j**3 - 3*j**2 + j + 3. Let p be s(-3). Suppose -z + 800 = -p*z. Is 20 a factor of 16/(-12) - z/(-6)?
False
Does 23 divide ((-15444)/2288)/(1 - 0 - 923/920)?
True
Suppose 7*b - 4*l + 23685 = 12*b, 5*b + l - 23685 = 0. Is 3 a factor of b?
True
Suppose 0 = 3*v + c - 27622, -14*c + 3 = -11*c. Is v a multiple of 11?
True
Suppose 4*p + 0*t - 4534 = 5*t, -3*p = t - 3410. Does 38 divide p?
False
Let g be -3*12/(-27)*108/(-6). Does 21 divide 2*126*(0 - 6/g)?
True
Let j be 751/(-7) - (5 - 296/56). Let z = j - -187. Is 5 a factor of z + (-4 - (0 + -4)/4)?
False
Let p = 5959 - 4549. Does 17 divide p?
False
Let u(r) = 21*r**3 - 30*r**2 + 40*r - 210. Does 199 divide u(12)?
True
Suppose -5*h - 5*n + 10*n - 1255 = 0, -5*h + 4*n - 1255 = 0. Let j = 172 - h. Is 6 a factor of j?
False
Let l = 176 + -93. Let q = l + -139. Let u = q - -76. Does 4 divide u?
True
Suppose 3*c + 3 + 84 = 0. Let w = 7 + c. Does 6 divide (-1382)/w + -3 + (-4)/(-22)?
True
Suppose 18*v + 929 = 14699. Is 2 a factor of v?
False
Suppose 72622 - 198286 = -44*h. Does 21 divide h?
True
Let t(k) = k**3 + 8*k**2 - 5*k - 34. Let l be t(-8). Does 7 divide (40/l)/((-18)/(-189))?
True
Suppose 0 = -12*d - 12 - 12. Is d - (-233 + (-4 - -7)) a multiple of 15?
False
Let f be 1 + -2 + 16/(5 - 1). Suppose 10*g = f + 17. Is (13/(-2))/(g/(-12)) a multiple of 13?
True
Suppose 62580 = 5*m + 4*c, 7421 + 17594 = 2*m + 5*c. Is 76 a factor of m?
False
Suppose 22*g + 37*g = -28*g + 762903. Is 237 a factor of g?
True
Let i = 159 + -158. Does 15 divide i + 7 - (0 - 7)?
True
Let a(t) = -55*t**2 + 4*t + 13. Let m be a(-2). Let v = m - -254. Does 7 divide v?
False
Let i be (-6)/8 + (-324)/(-48). Suppose 2*n + 304 = i*n. Does 4 divide n?
True
Let v(t) = 5*t**2 + 25*t - 42. Let z be v(14). Suppose 70*l - 77*l + z = 0. Is 4 a factor of l?
True
Let b = -1049 - -1667. Suppose -w - 4*m = -b, -2*w + 1233 = 4*m + m. Does 57 divide w?
False
Let i = 2024 + 141. Suppose -1177 + i = q. Is q a multiple of 52?
True
Let h = -139 - -227. Let d = -58 + h. Is d a multiple of 6?
True
Suppose 0 = 8*s - 28 - 108. Suppose s*l + 4257 = -4685. Let r = -311 - l. Is 49 a factor of r?
False
Is 48 a factor of 55461/35 + (-17)/(-5) + 24/(-6)?
True
Suppose -10*x + 9*x - 4 = 0. Does 20 divide x - -462 - ((-60)/(-5))/(-6)?
True
Let v = 14 + -16