1?
False
Let o = 9 + -5. Suppose 0*m = m + 5*u - 610, -o*m + 2*u = -2484. Does 20 divide m?
True
Let r(w) = 2*w**2 + 10*w - 18. Let l(k) = -5*k**2 - 19*k + 35. Let q(f) = 3*l(f) + 7*r(f). Let p be q(10). Is 9 a factor of (-1 + -7)/(p/(-81))?
True
Let j(z) = 2*z**2 + 20*z - 13. Suppose 0 = -2*x + 4*x + 3*n + 180, 0 = -2*n. Let t be 116/(-10) + 36/x. Is j(t) a multiple of 7?
True
Suppose 22*x = 28*x - 1410. Let y = -113 + x. Does 12 divide y?
False
Let l = -548 - -6577. Is l a multiple of 46?
False
Let q be 704/(-88)*(-2)/4. Suppose 4*v + 1924 = q*c - 2*c, -2*c - 2*v = -1894. Does 28 divide c?
True
Let f = 7447 + 12299. Is f a multiple of 18?
True
Let c(q) = q**3 + 11*q**2 + 20*q - 30. Let p be c(-8). Suppose p*s = 109 + 27. Is s even?
True
Is (5 - 218)/((-111)/5143) even?
False
Suppose 6*q - 1 = 29. Suppose -24*s = -22*s + 8, q*s - 66 = -2*t. Is 19 a factor of t?
False
Suppose 47*k - 48*k - 5750 = -3*b, 7666 = 4*b - 2*k. Is 213 a factor of b?
True
Let n = 6411 + -4251. Suppose 137*c - 145*c = -n. Does 18 divide c?
True
Is 7 + -15 + 1581 - (2 + -7) a multiple of 6?
True
Let c(i) = -i**3 - 11*i**2 + 5. Let u be c(-11). Suppose -3*b - u*r + 256 = 0, -b - r + 166 = b. Is 41 a factor of b?
True
Let x(g) = -2*g - 46 + 19*g - 34*g. Is 5 a factor of x(-3)?
True
Let i(q) = 21*q + 1589. Let u be i(-68). Suppose 0 = 3*o - 5*k - 214, 5*k = 4*o - 5*o + 78. Let w = u - o. Is w a multiple of 44?
True
Let p(m) = -7*m**2 + 279*m - 12. Is 116 a factor of p(8)?
False
Let k = 6100 + -4538. Is 3 a factor of k?
False
Let t(s) = -s**2 + 4911 - 4906 + 3*s**2. Let o = -12 + 8. Does 7 divide t(o)?
False
Let r be (-14)/(-18) - (11 + (-303)/27). Does 11 divide (-4395)/(-20) + ((-5)/(-4) - r)?
True
Suppose 2*t = 6*t - 116. Suppose 21*v + 880 = t*v. Is 7 a factor of v?
False
Is 30 a factor of (9630/4)/((186/310)/((-4)/(-5)))?
True
Let q(p) = 23*p - 9. Let o(u) be the second derivative of u**3/6 - u**2/2 - 4*u. Let x(c) = 4*o(c) - q(c). Is x(-5) a multiple of 25?
True
Let z = -84 - -90. Suppose 0 = 15*l - z*l - 189. Does 3 divide l?
True
Suppose -2*h + 16 = -4*r, -4*r + 3*r + 2 = h. Suppose h*g + 40 = 32. Is -114*(15/g - -5) a multiple of 13?
False
Does 14 divide 595/(-34)*8/20 + 2695?
True
Let p(u) = u + 19. Let v be p(9). Suppose v + 32 = 4*o. Let j(h) = h**2 - 11*h + 8. Is 17 a factor of j(o)?
True
Let u(f) be the third derivative of 19*f**6/120 - f**5/60 + 11*f**4/24 - 3*f**3 - 21*f**2 + 1. Does 30 divide u(3)?
False
Let y(d) = 19*d + 13. Let n = 11 + -9. Suppose -3*h + 17 = 2*a - n*h, 4*a - 5*h = 27. Does 33 divide y(a)?
True
Is 13 a factor of (-6345)/282*3356/(-10)?
False
Let o = 227 + -221. Suppose 2*m - 4*h = 110, o*m + 5*h - 230 = m. Does 6 divide m?
False
Suppose 79*h - 60*h - 57 = 0. Suppose -n = 4*k - 312 + 32, -2*k = h*n - 800. Is 66 a factor of n?
True
Let d(x) = -46*x**2 + 6*x + 24*x**2 + 21*x**2 + 6*x + 19. Let b be d(12). Suppose -3 = -4*q - b, 4*q = 3*m - 82. Does 3 divide m?
False
Is 6 a factor of -3112*154/(-176) - 23?
True
Let o(s) = s**3 + 6*s**2 - 8*s - 27. Let n be o(-8). Let k = 121 + n. Is k/(-80) + (-379)/(-8) a multiple of 18?
False
Let t = 148 + 31. Let o = t + 45. Does 23 divide o?
False
Let f = -10 - -51. Let s = -37 + f. Suppose -4*d + d + 175 = 2*i, -s*d + 4*i = -200. Is d a multiple of 11?
True
Is 5 a factor of 22*19/1672*(-7300)/(-1)?
True
Suppose 4*l = t - 16, 0*l + 5*l + 15 = 0. Suppose t*x = -b + 183 + 93, -5*b = 0. Is x even?
False
Is 303 a factor of ((-56)/(-5))/(25/(946875/50))?
True
Let h = 56803 + -36505. Does 398 divide h?
True
Let k = 44837 + -15794. Does 63 divide k?
True
Suppose 20 = 5*d - x - 20, 2*x + 8 = 2*d. Suppose 3*s = -d*s + 4680. Is 35 a factor of s?
False
Let v(y) be the third derivative of 2*y**5/15 - y**4 + 11*y**3/6 - y**2 + 4*y. Is 13 a factor of v(11)?
True
Let b = 51810 - 29618. Does 146 divide b?
True
Let f(b) = 375*b - 189. Is 9 a factor of f(1)?
False
Let x be 79506/140 - (-3)/30. Is (x + -36)*(-3)/(-4) a multiple of 20?
False
Let m = -1 - -3. Suppose -4*c + 2*y + 215 + 293 = 0, 0 = -2*c - m*y + 266. Let v = c + -65. Does 16 divide v?
True
Let w = -834 - -454. Let a = w - -563. Is 4 a factor of a?
False
Let x be (-1 + 0 - (14 - 16)) + 2. Suppose 4*m - x*m - 218 = 0. Does 13 divide m?
False
Let t = 55 + -54. Suppose -k + 5*q - 1 - t = 0, 1 = q. Does 46 divide k/(-6) + 1060/8?
False
Let q be (-5)/(-3) - 12/(-36). Suppose -25 = -5*w + 4*f + 45, -5*f = -25. Suppose 20 = -5*t, 3*g - w = q*g + t. Does 4 divide g?
False
Let z(q) = 4*q**2 - 74*q - 104. Does 29 divide z(32)?
True
Suppose -60 = b - 4*b - 2*q, -100 = -5*b + 4*q. Let m(y) = 7*y**3 - 2*y**2 - 2*y - 1. Let k be m(3). Let w = b + k. Does 41 divide w?
False
Suppose -949*i - 2*c - 14040 = -952*i, -14040 = -3*i - 2*c. Is i a multiple of 20?
True
Let w(o) = -2*o**3 - o**2 + 29*o + 90. Is w(-3) a multiple of 8?
True
Let c(r) = -2*r**2 + 33*r + 50. Let b(v) = -v**2 + 17*v + 25. Let a(h) = -11*b(h) + 6*c(h). Let j be a(13). Is 1/(2/392) + j a multiple of 15?
True
Let b(k) = -11*k**2 - 9*k + 809 + 3*k**3 - 777 - 4*k**3. Is b(-10) a multiple of 6?
False
Suppose 6*m + 0*m = 18. Suppose r - 500 = m*p, 0 = -6*r + r - 3*p + 2572. Does 51 divide r?
False
Suppose 384*z - 2517732 = 93*z. Is 28 a factor of z?
True
Suppose 0 = -27*a + 21*a + 84. Let m = -14 - a. Let q = 102 + m. Is 6 a factor of q?
False
Is 12 a factor of (-5152)/(-161)*934/4?
False
Let r = -14882 + 29922. Is r a multiple of 16?
True
Let o = 5510 + -3298. Does 93 divide o?
False
Let d(g) = -223*g - 11. Let f(r) = -3120*r - 155. Let j(w) = 85*d(w) - 6*f(w). Let k be j(-3). Suppose 0 = 13*u - 20*u + k. Does 20 divide u?
True
Suppose 0 = -145*b + 231*b - 56244. Is 16 a factor of b?
False
Suppose 0 = r - 23 + 17. Let b(q) = -36*q + 43. Let d be b(r). Let u = d - -326. Does 17 divide u?
True
Suppose -1552 = -a + 2*f + 7295, a - 8862 = -f. Is 17 a factor of a?
True
Let h be 10/5 + -1 - -4. Let g(r) = r**3 + r**2. Let d(x) = -4*x**3 + 3*x**2 + 12*x + 8. Let w(m) = h*g(m) + d(m). Is 2 a factor of w(-5)?
False
Does 7 divide ((-2)/(8/3))/((-12777)/(-1420) + -9)?
False
Let y(z) = 471*z - 710. Is y(29) a multiple of 100?
False
Let j(r) = 42*r**3 - 2*r**2 + 126*r - 755. Is j(6) a multiple of 8?
False
Suppose 0 = 4*m - 93*p + 91*p - 14644, 0 = 4*m + 2*p - 14620. Does 27 divide m?
False
Let k(z) = -69*z + 38. Let b be k(4). Does 4 divide 28/b + (-2178)/(-17)?
True
Let h(o) = -o**3 - 15*o**2 + 4*o + 48. Let r be h(-15). Does 11 divide (-1305)/(-116) - (9/r)/(-3)?
True
Is 26 a factor of -5*26*(-12 + -72)?
True
Suppose 38*m = 25*m - 39. Is (-60)/(-18)*(35 + (m - -4)) a multiple of 10?
True
Let x(w) = -154*w**3 - w**2 - 60*w - 118. Does 6 divide x(-2)?
True
Does 132 divide 6/(-13) + 35786400/676 - (-12)/(-2)?
True
Let x(k) = -6*k**2 - 5*k - 6. Let s be x(-2). Let d be (-1 - (0 + 1)) + (s - -8). Let l(m) = -7*m + 1. Is l(d) a multiple of 37?
False
Let m(v) = 6*v**2 - v. Let p be m(1). Suppose 5 = -8*i + 5*i + 2*k, -4*i + k - p = 0. Does 23 divide (i/3)/(3 + (-8700)/2898)?
True
Is 125 a factor of 32946/8 - (-11)/44*3?
False
Let k(a) = 2*a**3 + 5*a**2 - a + 4. Let n be k(-3). Let h be (n*195/12)/(1/(-16)). Suppose 30*u - h = 26*u. Is 13 a factor of u?
True
Suppose -3*y - v - 2 = -47, 0 = -3*y + 5*v + 45. Let q(z) = 24 - 15 - 8*z - y - 3*z**2 - 3*z**3. Is 26 a factor of q(-4)?
False
Let m = -45 - -43. Is (21/(-6) - -4)*(m + 1034) a multiple of 6?
True
Suppose 21 = 2*w + 4*f - 33, -5*w - 4*f = -159. Let z = w + 64. Is z a multiple of 11?
True
Suppose 2*i - 9 = -4*b + 3, 2*i - 6 = 2*b. Is (-3)/((i + 20/(-8))/(-37)) even?
True
Let d(t) = -t - 27. Let z be d(-21). Suppose 0*n = 3*n + 3. Does 31 divide 33/11*n/(z/230)?
False
Suppose 0 = -2*q - 4*d + 7236, -2*d + 4*d + 4 = 0. Is 43 a factor of q?
False
Let c = 233 + -230. Suppose -c*o = -5*o + 340. Is o a multiple of 37?
False
Suppose -5*z - 3*r = -12841, -24*r + 26*r + 7716 = 3*z. Is z a multiple of 24?
False
Let d be ((-54)/10)/(5/(150/(-9))). Suppose d*t - 381 - 2301 = 0. Suppose -5*i + t = -2*g + 743, 4*g - 3*i - 1160 = 0. Is g a multiple of 47?
False
Let b(g) = 314*g**2 + 186*g + 2341. Is b(-13) a multiple of 89?
False
Let t = 19024 + -9982. Is 20 a factor of t?
False
Suppose 0 = -4*m - m + 90. Let n be 51/(-4) - m/(-24). Let v = 26 + n. Is 2 a factor of v?
True
Suppose -i + 61