se -g = -0*h - 3*h. Does 23 divide h?
True
Let r = -102 + 88. Let c = 18 + r. Is c a multiple of 2?
True
Suppose 19*y = -8*y + 67014. Does 73 divide y?
True
Suppose -p - a = -46 - 62, -3*a + 114 = p. Let x = -62 + p. Suppose 134 = 3*j - x. Is 15 a factor of j?
False
Let a = 11 + -13. Let l be (-1)/a - (-1)/2. Let u(o) = 35*o**2 + 1. Is u(l) a multiple of 18?
True
Let n = 23 + -23. Let u be (0 - -25) + 2 - 1. Suppose -u = -n*v - 2*v. Does 9 divide v?
False
Let i be 3*5*4/3. Suppose t = 3*a + 17, 3*t - 1 = 3*a + i. Suppose -4*n = -8, -3*v = -t*v - 4*n - 5. Does 7 divide v?
False
Let x = 1007 + -515. Does 31 divide x?
False
Let v be ((-2090)/(-2))/((-2)/(-4)). Suppose -v = 3*p + 1294. Is 14 a factor of 4/18 + p/(-27)?
True
Suppose y - 462 = a, 3*y + 1846 = 7*y - 3*a. Is y a multiple of 20?
True
Let x(h) be the first derivative of -h**3/3 + 5*h**2 - 2*h - 19. Let l(w) = w**2 + 4*w + 6. Let t be l(-4). Does 10 divide x(t)?
False
Let i(l) = -147*l**2 - 4*l - 3. Let w be i(-1). Does 37 divide (w*1)/((-8 + -2)/5)?
False
Let z = 1621 - 653. Is z a multiple of 25?
False
Let g(c) = c**3 + 9*c**2 - 2*c + 4. Is 11 a factor of g(-9)?
True
Suppose -5*v + 2*q + 1092 = 0, -2*v + 472 = q + 28. Does 22 divide v?
True
Let f(c) = -5*c**2 + 20*c - 8. Let x(a) = -14*a**2 + 59*a - 25. Let p(o) = 17*f(o) - 6*x(o). Does 9 divide p(-13)?
True
Let v = 756 + -319. Does 19 divide v?
True
Let u be -3*4/(-16)*-4. Let o be 0 - (1 - -44)/u. Suppose -r + o + 17 = 0. Is r a multiple of 6?
False
Let i be 8 - (0 - (-3 - 1)). Let x(p) = -8 - 4*p - p + i*p - 5*p. Is x(-11) a multiple of 13?
False
Suppose 4*k + 3 = 103. Suppose 0 = 2*t + 4*s - 48, 6*s - 3*s - k = -t. Is 22 a factor of t?
True
Let h = 209 - 4. Is h a multiple of 5?
True
Suppose 0 = -258*l + 277*l - 20881. Is l a multiple of 157?
True
Suppose -a + 5*p = -1203, -2*p + 2327 = 3*a - 1231. Is 54 a factor of a?
True
Let h(i) = 6*i**2 - 7*i - 4. Is h(-14) a multiple of 7?
False
Let k(u) = 47*u**2 - 10*u + 15. Is 57 a factor of k(-6)?
True
Let p be (-4)/(-26) - (-630)/130. Suppose p*q + 2*s + s - 293 = 0, -5*q + 4*s + 321 = 0. Suppose -4*z - z + 178 = -w, q = 2*z + 3*w. Is 8 a factor of z?
False
Let a(g) = g**2 - 8*g - 19. Let i be a(10). Is 12/(2/(16*i/2)) a multiple of 12?
True
Suppose 0 = -5*k - 4*c + 23 + 1668, 0 = 2*k + 4*c - 686. Suppose -2*l = -k + 95. Is l a multiple of 16?
False
Let a = -1020 + 1188. Is 24 a factor of a?
True
Suppose -l + 25 = -2*n, 4*n - 2*n + 149 = 5*l. Suppose 0 = -4*w + 159 - l. Is w a multiple of 16?
True
Let q(l) = 26*l**3 - 67*l**3 + 2*l - l. Is 31 a factor of q(-1)?
False
Let f(b) = 15*b**2 - 28*b + 2. Does 18 divide f(9)?
False
Let m be (2/6)/((-6)/(-90)). Suppose 0 = -m*h - 55 + 465. Does 24 divide h?
False
Let u be -11 - -14 - (-1 - (0 - 21)). Let j = 4 + -3. Is 8 a factor of -1*u/1 - j?
True
Let p(j) = 237*j - 6. Is p(8) a multiple of 54?
True
Let z(j) = 2*j**2 + 27*j + 143. Does 13 divide z(-7)?
True
Let b = -150 + 185. Is b a multiple of 7?
True
Let b be (3 - 0)/((-1)/2). Let y be (-94)/b - (-6)/18. Is ((-1)/(-2))/(4/y) a multiple of 2?
True
Let q = 1969 + -1722. Does 5 divide q?
False
Is 6 a factor of (-11316)/(-36) + -9 - 1/3?
False
Let j(v) = 2*v**3 - v**2. Let f be j(2). Let u = f + -9. Suppose 96 - 312 = -u*o. Does 23 divide o?
False
Let d(c) = -c**3 - 22*c**2 - 68*c + 18. Is 4 a factor of d(-20)?
False
Suppose -2*w + 2989 = 2*w + 5*z, 0 = -2*w - 4*z + 1502. Does 31 divide w?
False
Let f be 10*2*1/(-5). Let h(w) = -w**3 - 3*w**2 + 3*w - 1. Let u be h(f). Suppose n - u*n + 96 = 0. Is n a multiple of 16?
True
Suppose 0 = 2*m - 314 - 184. Let v = m + -94. Is v a multiple of 31?
True
Let y be 2*(17 - (-4 + 4)). Suppose 0 = -2*r + y + 50. Is 6 a factor of r?
True
Is 19 a factor of (-111153)/(-316)*((-16)/(-6) - 0)?
False
Let h = 60 + -40. Let o = 12 - h. Let g = -2 - o. Does 2 divide g?
True
Suppose -2*t = 3*f - 1327, 705 = t + 3*f + 43. Is 27 a factor of t?
False
Let c(o) = 3*o**2 - 2*o - 3. Let f be c(5). Let p = f + -110. Let z = p + 93. Is 7 a factor of z?
False
Let v(z) = 0*z + z + 2 - 2*z + 12*z**3. Does 13 divide v(1)?
True
Let c = -31 + 34. Suppose -4*y = c*a + a + 20, -3*y + 2*a + 10 = 0. Suppose y = 2*v + 4, 290 = 5*z + 4*v - 77. Is 25 a factor of z?
True
Let l(a) = -a**2 + 17*a - 32. Let i be l(15). Is 9 a factor of ((-59)/i - -2)/(3/6)?
True
Let i be (15/2 + -3)*-4. Let n be ((-12)/i)/((-4)/(-162)). Is 6/n + (-1452)/(-27) a multiple of 18?
True
Let q(t) = t**3 - 3*t**2 + t + 2. Let i be q(2). Suppose -6*o + 3 = v - o, i = -4*v - 5*o + 42. Suppose 12*c + 57 = v*c. Is 10 a factor of c?
False
Let t be 12/(-10)*(-120)/16. Let r = t + 63. Does 17 divide r?
False
Let k(p) = 2*p**3 + 16*p**2 - 5*p - 3. Let o(l) = 7*l**3 + 2 - 8*l**3 + 3*l + 0*l**3 - 8*l**2. Let z(v) = 3*k(v) + 5*o(v). Is 13 a factor of z(-5)?
False
Let i be (1/2)/(5/20). Is ((-160)/100)/(i/(-70)) a multiple of 14?
True
Suppose 4*f - 2*f = 0, 428 = 4*v - 3*f. Is 2 a factor of v?
False
Let h = 33 - 53. Does 10 divide h/60 - 151/(-3)?
True
Suppose 4*d + 2*d = 0. Let n = d - -3. Let i(g) = 2*g**2 - 2*g - 6. Does 6 divide i(n)?
True
Let x = -3 + 8. Let k(p) = -39*p**3 + p**2 + 2*p + 1. Let s be k(-1). Suppose -2*v = -s + x. Is 17 a factor of v?
True
Let o(y) = -17*y + 19. Is o(-4) a multiple of 19?
False
Let n = -6 - -15. Let j be 742/(-91) + (-4)/(-26). Let i = n - j. Does 17 divide i?
True
Let k(s) = 111*s**2 - 5*s - 16. Does 12 divide k(-2)?
False
Let p = -10 + 16. Let k = 55 - p. Is k a multiple of 12?
False
Let c(t) be the third derivative of t**5/30 + t**4/4 - 4*t**3 + 39*t**2. Is c(-9) a multiple of 12?
True
Suppose 0 = 2*p + 2*p - 8768. Suppose -t = -4*u - 56, -5*u - 1 = 4. Does 14 divide p/t + (-2)/13?
True
Let r(t) = -3*t**2 - t - 2. Let s be r(-1). Let q be -3 - (3 + -7) - s. Suppose 4*o = q*y + 2 - 75, 0 = y + 4*o - 5. Is 13 a factor of y?
True
Let q(r) = r**3 - 5*r**2 + 8*r - 7. Let l = 35 - 20. Suppose 0 = -3*a - 0*a + l. Does 16 divide q(a)?
False
Suppose 15 = 9*m - 10*m. Is m/(-6)*44/10 a multiple of 5?
False
Suppose 0 = 5*n - 4*c - 34, -1 = n - 4*c - 11. Let y = n - 2. Suppose -114 = -5*o + 3*f, f - 72 = -y*o - 3*f. Is 5 a factor of o?
False
Suppose 4 = y - l, -l = 5*y - 0*l - 14. Suppose y*k - 5*h - 41 = 0, 6*h - 4*h = -8. Is k a multiple of 2?
False
Does 8 divide -182*12/9*(-46 + 43)?
True
Suppose -3*n - 5*y = -227, 2*y - 369 = -5*n + 3*y. Does 4 divide n?
False
Suppose 31*m = 100802 + 80734. Is m a multiple of 24?
True
Let o = -96 - -138. Suppose t - 114 = -o. Does 12 divide t?
True
Let q(b) = -555*b - 24. Is 26 a factor of q(-1)?
False
Let d(s) = 152*s**2 + 44*s + 214. Does 48 divide d(-5)?
False
Let w = -1778 - -3458. Is w a multiple of 15?
True
Suppose 232 = 47*s - 51*s. Is 4 a factor of (-37 + (-2)/(-2))/(-59 - s)?
True
Let n(a) = a**2 - 7. Suppose 2*m + 10 = 4. Let u be n(m). Suppose -3*i - l - u*l = -15, -4*l + 13 = 3*i. Is i a multiple of 4?
False
Let z(p) = -p**3 + 20*p**2 - 22*p + 16. Does 14 divide z(18)?
False
Suppose 91 = -5*p + 4*k, 4*p - 4*k - k + 71 = 0. Let i = 20 - p. Does 11 divide i?
False
Let y be (-4 - (-114)/(-4)) + (-1)/(-2). Let r = y + 164. Is r a multiple of 12?
True
Let a = 6123 - 3895. Is 40 a factor of a?
False
Suppose -34 + 2096 = j. Is j a multiple of 17?
False
Let j(t) = 6*t + 345. Does 6 divide j(0)?
False
Suppose 2*u - 8 = -h, -3*h - 3*u = 2*u - 21. Suppose -5*f - 58 = -3*t, 3*f - 75 = -5*t - 1. Suppose -h*w + t = -w. Does 8 divide w?
True
Let j be (-10)/(-4)*24/30. Let d(k) = 40 - k**2 - 11 - k**3 + 3*k**j - 3*k**2. Does 9 divide d(0)?
False
Let v(h) = h**2 + 5*h - 8. Let z be v(-6). Let a(b) = b**3 + 2*b**2 + 6*b - 3. Let y be a(-3). Is ((-24)/y)/(z/(-65)) a multiple of 13?
True
Let w = -1634 + 2833. Does 29 divide w?
False
Let o(g) = -65*g - 7 + 4 + 1. Is o(-1) a multiple of 7?
True
Let u be (5 - -4) + 2*-1. Let s(v) = -v**2 + 7*v + 9. Let c be s(u). Does 6 divide c/(-12) + (-86)/(-8)?
False
Suppose -2*w - 6 = 0, -4*n - 49 - 220 = -5*w. Let p = 25 - n. Is p a multiple of 37?
False
Let d be (-6)/(6/3) - 14. Let w = d - -74. Suppose -15 = -4*j + w. Is 18 a factor of j?
True
Suppose -5*m + 0*m = -210. Suppose 0 = -8*s + 6*s + m. Is 6/(-14) + 114/s a multiple of 3?
False
Let f(k) = -k**2 - 24*k + 5. Let u(d) = -2*d**2 - 5. Let b be u(-3). Is 14 a factor of f(b)?
