le of 26?
True
Let y be 2/(-7) + 1864/56. Let s = 70 - y. Is s a multiple of 23?
False
Let f(s) = s**3 - 7*s**2 + 6*s + 5. Let u be f(6). Suppose u*g - 3*o - 197 = -0*g, 5*g + 2*o - 177 = 0. Does 12 divide g?
False
Let g(v) = v**3 + 8*v**2 - 9*v + 6. Let t be g(-8). Suppose -t = -4*n + 2. Is n a multiple of 10?
True
Suppose 15 = 3*b - 0, 2*p = 4*b - 2. Is p a multiple of 9?
True
Let m = -38 - -71. Is 11 a factor of m?
True
Let y(l) be the first derivative of l**3/3 + 4*l**2 + 10*l - 4. Is 3 a factor of y(-7)?
True
Suppose 5*y - 316 = 4*g, y - 4*g = 5*y - 260. Let w = y + -39. Is w a multiple of 7?
False
Let u be (72/45)/(1/25). Suppose 0 = 3*p + p - u. Does 5 divide p?
True
Let f be 28/(-20) - 4/(-10). Does 9 divide -1*f/2*36?
True
Let y = 2 + 2. Suppose -8 = -y*l + 56. Is l a multiple of 8?
True
Let z(f) = 2*f**3 - 3*f**2 - f + 4. Suppose 5*x - 9 = 2*x. Let y be z(x). Let n = y - 14. Does 14 divide n?
True
Let w = 12 - 13. Is 10 a factor of (w - -4) + 38 + -1?
True
Let x be (16/(-2))/(-4) + -1. Suppose 2*a + 5 = 2*h - 23, -h - x = 4*a. Does 5 divide h?
False
Let z = -90 - -160. Does 18 divide z?
False
Let o = -1 + 6. Let l = 9 - o. Suppose -4*j = -16, -3*m + l*j + 21 = -23. Is m a multiple of 10?
True
Suppose 28 = -4*z - 4*n, 4*z + 19 = n + 4*n. Is z/(-15) + (-1016)/(-10) a multiple of 35?
False
Let g(j) = j**3 - 3*j**2 - j + 2. Let q be g(4). Suppose q*p - 13*p = 2. Is p a multiple of 2?
True
Let q be ((-14)/7)/(6/(-51)). Suppose -1 = -2*n + q. Is 2 a factor of n?
False
Let s(a) = 44*a - 16. Does 58 divide s(3)?
True
Let b(l) = l**2 - 4*l. Let c be b(5). Suppose 2*i + c - 131 = 0. Does 21 divide i?
True
Let u(p) = p**3 + 3*p**2 + 5. Let q be u(-4). Let c = q - -23. Is 6 a factor of c?
True
Let l(x) = x - 35. Let w be l(0). Let a = w + 59. Is 11 a factor of a?
False
Let r(c) = 22*c. Let f(u) = u**2 - u - 4. Let a be f(3). Is r(a) a multiple of 10?
False
Suppose 13*o - 5*o = 224. Does 6 divide o?
False
Let f(v) = -5*v**2 + 5*v + 5. Let r(k) = -k**3 + k**2 - k - 1. Let z(q) = f(q) + r(q). Is z(-5) a multiple of 3?
True
Suppose 2*h - 16 = 2*i, i + h + 10 = -0*i. Let j be 184/3 + (-6)/i. Suppose -2*s - 2*w + j = 0, 5*w = -s + 23 - 8. Is s a multiple of 16?
False
Let z be (9 + -2)*12/(-14). Let j(p) be the first derivative of -p**4/4 - 4*p**3/3 + p**2 - 2*p - 11. Is 22 a factor of j(z)?
False
Suppose -5*b + 30 = 2*p, 0*p - 4*p = -b - 16. Suppose 0 = g - 2*y - 9, -3*y = -b*g - 6*y - 19. Does 3 divide (3 + (g - 1))*7?
False
Let w(a) = 8*a + a**2 - 12 + 20 - 13. Is 25 a factor of w(7)?
True
Let p(u) = -u - 2. Let w be p(-5). Suppose w*c = -c + 100. Is c a multiple of 15?
False
Suppose -3*y - 490 = -8*y. Suppose p = 4*p - 2*x - y, -3*p = -4*x - 88. Does 18 divide p?
True
Let l be (4/(-4))/(1/(-5)). Suppose 0 = -l*b + 64 + 21. Let z = -12 + b. Is z a multiple of 3?
False
Suppose 2 = -2*c - g - 7, -5*c + g - 5 = 0. Let m(p) = 13*p**2 + p + 2. Is 13 a factor of m(c)?
True
Let j be (-4)/6*(11 + 1). Let c be (j/10)/(4/(-10)). Is 15 a factor of (c/(-4))/((-4)/240)?
True
Is 15 a factor of (-8)/(-12) + (-665)/(-15)?
True
Let u = 14 + -5. Suppose 2*b + 2*o + 10 = 0, 6*o = 4*b + 2*o + 28. Let n = b + u. Is n a multiple of 3?
True
Suppose l = -3*l + 376. Is 36 a factor of l?
False
Suppose -29 - 51 = -2*r. Is r a multiple of 10?
True
Let s(c) = -c**3 - 3*c**2 - 4. Is 3 a factor of s(-4)?
True
Suppose 0 = -0*n - 2*n + 12. Suppose 3*g - n = 0, -3*g + 2 = -2*a - 0. Suppose 0*i + a*i - 72 = 0. Does 13 divide i?
False
Let l(y) = y**2 - 4*y. Let g be l(6). Suppose 0 = 3*p + 3 - g. Suppose p*a = -a + 16. Is a even?
True
Let z be (1/3)/((-4)/(-36)). Is ((-160)/(-12))/(z/9) a multiple of 12?
False
Suppose m = 2*m + 4. Let b be ((-10)/m)/((-2)/28). Let o = 57 + b. Is o a multiple of 11?
True
Suppose k - 102 = 5*z - 509, -5*k = 3*z - 233. Does 17 divide z?
False
Let b be (-288)/(-45) - 4/10. Let f(c) be the second derivative of c**3/6 + 2*c**2 + c. Is 10 a factor of f(b)?
True
Is 9/(-2)*20/(-15) a multiple of 3?
True
Let r(m) = m**2 - 5*m + 17. Does 27 divide r(12)?
False
Suppose -t - 5*w + 9 = 0, 9*w - 4*w = 5. Suppose 2*g - 16 = -0*g - t*a, 5*g - 40 = -5*a. Suppose -4*q + 64 - g = 0. Does 14 divide q?
True
Let k = 100 - 59. Does 41 divide k?
True
Suppose -3*b + 2*b + 105 = 0. Does 35 divide b?
True
Suppose m = -r + 169, -3*r + r + 330 = -2*m. Is 19 a factor of r?
False
Suppose 3*k - 4*k = -172. Suppose 0 = 5*u - 3*c - k, -4 = u - 3*c - 36. Is 19 a factor of u?
False
Let g be (1 - -2)/(3/3). Suppose -8*b + 15 = -3*b. Does 8 divide (-2 + g/b)*-8?
True
Let v(a) = 2*a**2 - a - 4. Let u be -1 - (-2)/((-6)/(-3)). Suppose 5*b - 11 = g - u, 5*g = -2*b + 26. Does 11 divide v(g)?
False
Suppose 3*t = -3*t. Suppose t = -5*q + 52 + 63. Is 14 a factor of q?
False
Suppose 0 = -0*k + 2*k + 2*y - 8, 10 = 5*y. Suppose 3*h = -k*m - m - 57, 5*m + h + 103 = 0. Let r = -15 - m. Is 3 a factor of r?
True
Let y = 6 - 7. Let k(x) = -43*x + 1. Does 14 divide k(y)?
False
Let h(g) be the third derivative of g**4/24 + 43*g**3/3 - 5*g**2. Does 22 divide h(0)?
False
Let f = -4 - -16. Is f a multiple of 6?
True
Suppose -c - y = 3*y + 15, 5*c = 4*y + 21. Let f(r) = 3 - 2 - 3*r + 10*r**2 + c + 1. Is 20 a factor of f(2)?
False
Let p(y) = 2*y - 3. Let d be (-6)/(-27) - (-248)/18. Is 22 a factor of p(d)?
False
Let n = 210 - 110. Suppose 0 = 4*w - 9*w + n. Is w a multiple of 12?
False
Let j be ((-63)/(-14))/((-6)/8). Let i(t) = -t**2 - 7*t - 6. Let n be i(j). Is 6 a factor of (4 + -5)*(-12 - n)?
True
Suppose 0 = -2*b - 4*y + 8, 3*b + 2*y = -y + 9. Let o be 3 + -1 + -1 + b. Is o - (-2)/((-2)/(-3)) even?
True
Suppose 9 = 5*x - 6. Suppose -10 = -2*w, x*f + 2*f - 25 = 4*w. Is f a multiple of 3?
True
Let k = -5 - -8. Let i = -8 - k. Does 6 divide i*(-2 - 2/(-2))?
False
Suppose -4 = 4*k - 20. Suppose r = -k*r + 130. Is 15 a factor of r?
False
Suppose 30 = 2*r - 2*j, -2*j + 15 - 3 = r. Let v = r - 9. Suppose -2*l + v = -13. Is 4 a factor of l?
False
Suppose -2*h - 50 + 428 = 0. Suppose -b = 2*b - h. Does 21 divide b?
True
Suppose 3*m - 4 = -22. Let d = 10 + m. Is d a multiple of 2?
True
Let q = -23 + 77. Suppose -4*k + k = -q. Suppose -3*y + 12 = -k. Does 10 divide y?
True
Suppose -k - 19 = 2*j, 4*k + 16 = -0*j - 2*j. Is 0 + 1 + (1 - j) a multiple of 4?
True
Let r(w) = w**2 + 8*w - 9. Is 12 a factor of r(3)?
True
Let t(o) = 10*o**2 + o + 4. Let w be t(3). Suppose -u = -2*q + 6*q - 149, 5*u - w = -2*q. Does 12 divide (-4)/(-18) - (-1576)/q?
False
Suppose 0 = 5*o - 52 - 13. Let y(w) = -w + 1. Let n be y(2). Is 10 a factor of o/(-2)*n*2?
False
Let l be ((-6)/(-8))/(1/(-24)). Let r be 2/(-9) + (-76)/l. Suppose -r*j + j = 5*p - 37, -3*j = -2*p - 44. Does 7 divide j?
True
Does 12 divide ((-7)/(-3))/((-8)/(-288))?
True
Suppose -3*b = -4*h - 79, -5*h - 80 = -2*b - b. Is b a multiple of 13?
False
Let i = -50 + 85. Does 11 divide i + 1 + 0 - -1?
False
Suppose -4*r + 0*x - 3*x = 20, -5*r + 2 = -3*x. Let o be (-30)/(-4)*(0 - r). Does 3 divide (-1)/(2 - 33/o)?
False
Let u = -3 + 3. Suppose a = -u*a + 7. Let d(b) = b - 5. Is 2 a factor of d(a)?
True
Is 8 a factor of 36/9 - (-1 - 17)?
False
Suppose -g = -4*g + 114. Suppose 0*b - 2*b + g = 0. Is b a multiple of 4?
False
Does 19 divide -46*(6 + -4 - 4)?
False
Suppose 14*b - 14 = 7*b. Let v(s) = 4*s**2 - 3*s - 4. Let f(z) = -3*z**2 + 3*z + 3. Let q(t) = 6*f(t) + 5*v(t). Does 6 divide q(b)?
True
Is 30 a factor of (-19)/(-57) - (-266)/3?
False
Is (41/2)/((-19)/(-38)) a multiple of 11?
False
Let q(h) = 2*h - 10. Let z be q(7). Suppose -120 = -2*l + z*u, -4*l + 280 = 5*u - 25. Is 26 a factor of l?
False
Suppose -16 - 14 = -5*y. Is 66*-1*(-8)/y a multiple of 22?
True
Let b(c) = -3*c - 1. Let z be b(-1). Let t = 5 + z. Is 6 a factor of t?
False
Suppose -43*w + 38*w = -1775. Does 10 divide w?
False
Suppose o + 2 = -2, 5*y + o = 86. Is 29 a factor of (-4)/y - 524/(-9)?
True
Let r = -41 - -59. Let h = r - -78. Suppose 3*j + s - h = 0, s = j + 3*s - 32. Is j a multiple of 15?
False
Suppose r - 240 = -11. Let v = r + -400. Is 11 a factor of (v/(-6))/3*2?
False
Does 12 divide 48 - (-5 - (-5 - -2))?
False
Let a(u) = -u**3 - 5*u**2 + 3. Let c be a(-5). Suppose 5*j = c*j + 460. Suppose 5*i + v - 5*v = j, -3*v = 5*i - 195. Is 21 a factor of i?
True
Suppose 58 = y - 2*v - 77, 4*y + 5*v = 488. Is 