e
Let m(n) = -89*n**3. Does 35 divide m(-2)?
False
Is 23/(2093/41510) + 2/(-13) a multiple of 57?
True
Suppose -57 - 258 = -2*m + v, -5*m + 805 = v. Is 9 a factor of m?
False
Suppose 4*y + 38 = 3*v, -v - 2*y = 3*y - 19. Let t be 12/(-20)*(v + 1). Does 12 divide t + 49 - (2 + 0)?
False
Let u be 2/4*(-1 - -15). Let p = u + -9. Let b = 3 - p. Does 5 divide b?
True
Let k(l) = l**3 + 6*l**2 - 7*l - 5. Let d be k(-7). Let f(c) = -c - 4. Let z be f(d). Suppose 0 = 2*a - z - 29. Is 10 a factor of a?
False
Suppose 5*u + 183 = 3*w - 255, -w = 5*u + 434. Suppose -416*i = -418*i - 4. Does 11 divide (u + 5)*1/i?
False
Suppose 7*v = 6*v + 948. Does 27 divide v?
False
Let y(g) = -56*g - 40. Is y(-8) a multiple of 14?
False
Let p(w) = 1 - 3 + 5*w**2 + 11*w + 8 - 6*w**2. Does 4 divide p(10)?
True
Is 44 a factor of (-654)/4*(-250)/75?
False
Let f(d) = -5*d**2 + 57*d - 11. Let y be f(9). Suppose -l = -3*j - y, 2*j - 6*j = -3*l + 296. Is l a multiple of 20?
True
Let b be 5*7/((-140)/(-8)). Suppose 0 = b*d - d - 375. Suppose 0 = 2*f + 3*f - d. Is f a multiple of 25?
True
Let n(i) be the third derivative of -i**6/60 + i**4/8 + i**3/3 - 6*i**2. Let g be n(3). Let b = -20 - g. Does 8 divide b?
False
Let u(f) = -2*f + 16. Let k be u(6). Suppose 7 = -3*t - k*c, -4 = -2*c - 12. Suppose -2*y - a = -183, -y + t*a = 4*y - 452. Is 13 a factor of y?
True
Let u = 456 + 361. Does 32 divide u?
False
Suppose -2010 = -3*z - 2*k, -4*z + z = 4*k - 2010. Is 16 a factor of z?
False
Suppose 0*m - 4*x + 4589 = 3*m, -3062 = -2*m - 2*x. Does 41 divide m*(-20)/(-125) + (-4)/(-10)?
True
Let r be 24/(-6)*1*-4. Suppose -o = o + 3*p - 113, 4*p = 5*o - 340. Let j = o - r. Does 24 divide j?
True
Let p(q) = 3*q**2 - q**3 + 2 - 1 + 3*q + 0 + 3. Let n be p(4). Suppose n*x - x + 72 = 0. Is 24 a factor of x?
True
Suppose 367*j - 351*j - 37376 = 0. Is 136 a factor of j?
False
Let y be ((-2)/3)/(10/(-45)). Suppose 3*p - 23 = -2*j + 11, 2*p - 61 = -y*j. Does 23 divide j?
True
Suppose 0 = v - 4, -5*h = -v - 961 + 225. Is h a multiple of 17?
False
Suppose -3*m + 465 = -0*m - 3*d, d - 781 = -5*m. Suppose m = 27*r - 24*r. Is r a multiple of 27?
False
Suppose 0 = -j + 4 - 1. Suppose 3*u = -0*u + j. Is (1 - 0)*(u + 22) a multiple of 5?
False
Let p(q) = q - 2. Let n be p(5). Let m(h) = 0*h - n*h - 9*h - 7*h + 7. Does 32 divide m(-3)?
True
Let c(h) = -h**3 + 5*h**2 + 7*h + 2. Let a be c(5). Suppose 0 = 62*r - 57*r + 95. Let f = a + r. Is f a multiple of 9?
True
Suppose 6*z - 2897 = 709. Does 15 divide z?
False
Let k(o) = o**3 + 12*o**2 + 11*o + 14. Suppose -3*m - 5 - 25 = 0. Does 13 divide k(m)?
True
Let s be (75/(-3) - -1) + 2. Let b be s/(-6) - 3/(-9). Suppose 19 = b*o - 13. Does 2 divide o?
True
Let s(t) = 78*t - 10. Let b(l) = l. Let h(o) = 4*b(o) + s(o). Is h(3) a multiple of 40?
False
Suppose 16*t - 4 = 14*t. Suppose -g = t*z - z - 1, -15 = -5*g + 5*z. Suppose w + 74 = 2*w - g*l, 2*w - 140 = 2*l. Is 22 a factor of w?
True
Suppose 55*u = 33*u + 5588. Is u a multiple of 21?
False
Let o(g) be the third derivative of g**6/120 - g**5/5 + 7*g**4/12 - 3*g**3/2 + 2*g**2. Suppose -1 + 0 = w, -4*t + w = -45. Does 6 divide o(t)?
True
Suppose -16*l + 3128 = -18088. Is l a multiple of 13?
True
Let r(m) = -5*m**3 - 14*m**2 + 10*m + 4. Let c(y) = -y**3 + y + 1. Let u(a) = 6*c(a) - r(a). Does 17 divide u(13)?
True
Suppose i + 466 = 2*z, -i + 938 = 4*z - 0*z. Is 19 a factor of z?
False
Suppose 18*w = -3*w + 4053. Is 5 a factor of w?
False
Does 19 divide 340 - (8 + (-2 - 8))?
True
Is 131 a factor of ((-1115)/(-20))/(9/360)?
False
Let t = -2143 + 3249. Does 79 divide t?
True
Let g(n) = 3*n**2 + 12*n + 1515. Is 12 a factor of g(0)?
False
Let t(i) = i**2 - 8*i - 12. Let w be t(8). Does 18 divide (1/2)/((w/(-3))/1984)?
False
Let v be 539 - (4 - 8) - -1 - 3. Suppose l - 682 = -5*q + v, 5*l = -q + 235. Is q a multiple of 18?
False
Suppose 273 = 12*t + 9*t. Suppose 3*s + 8 = -s. Let q = t - s. Is q a multiple of 12?
False
Suppose 0 = 29*h - 24*h + 5. Does 20 divide ((h - -2)/(-1))/(11/(-660))?
True
Suppose -4*v + 261 + 147 = 0. Suppose z - v = 39. Does 18 divide z?
False
Let n = 21 - 19. Suppose 2*b - b - 309 = -4*v, -n*v - b = -153. Does 13 divide v?
True
Let g(r) = 2*r**2 + 5*r + 10. Let l be g(-10). Suppose h = 4*z - l, z - 6 = -3*h + 21. Is 13 a factor of z?
True
Let f = 14 - 9. Let v(i) = 61*i + 10. Let j be v(f). Suppose -5*x - 4*b + j = 0, 0*x - 3*b - 44 = -x. Is x a multiple of 13?
False
Does 30 divide 1778/7 + -1 + 4?
False
Is 4 a factor of (3 + (136 - -3))*(0 + 4)?
True
Is 46 a factor of (168/(-20))/((-30)/1100)?
False
Let f = 5640 + -3596. Does 73 divide f?
True
Let c be (-1 - (0 - 4))*1. Is 3 a factor of (-13 - 0)/(-2*c/6)?
False
Let q(p) = 9*p**2 + 21*p + 32. Is 27 a factor of q(-3)?
False
Suppose -12*s + 9*s - 57 = 0. Let d = s - -22. Suppose -58 = -5*t - d. Is t a multiple of 11?
True
Is (-244 - -246) + 2019/1 a multiple of 40?
False
Suppose -z - 2*b = -0*b - 4, 3*z - 4*b = 2. Suppose -4*p - 40 = 4*s, 3 + 4 = -s - z*p. Let f = s + 19. Is 2 a factor of f?
True
Suppose 94*u - 97*u - 3 = 0. Is 6*6/72*(u - -223) a multiple of 23?
False
Suppose 0 = -2*b - 212 - 70. Let t = b - -215. Is 16 a factor of t?
False
Let l(c) be the second derivative of c**5/20 + 2*c**4/3 - c**3/2 + c**2/2 + 3*c. Let q be l(-7). Suppose -3*n + q = 5. Does 8 divide n?
False
Suppose 0 = w + 1 + 2. Let g be 3 + (w - (0 + -2)). Is 69/(g + 2/(-4)) a multiple of 21?
False
Is 90 a factor of ((-30)/(-40)*-4)/((-3)/1214)?
False
Does 13 divide 1272/2 - ((3 - 0) + -8)?
False
Let a be 3/(-27)*3*12. Is 0 - a - (-1 + -3) even?
True
Suppose -y + 40 = -4*p + p, -2*y = -8. Let m be -11 + p/(-5 - -1). Let h(k) = k**3 + 9*k**2 + 4*k - 8. Is h(m) a multiple of 6?
True
Let j(w) = -8*w**3 + 21*w**2 - 10*w - 21. Is j(-7) a multiple of 14?
True
Suppose 4*v + 5*x + 9 = 0, v - 1 + 4 = -2*x. Let d = 2 - 1. Is 29 + 0/d + v a multiple of 7?
True
Let c(v) = 46*v + 1. Suppose 0 = 3*b + 5*t - 26, -3*b = -4*t + 3*t - 2. Let u be c(b). Let j = u - 60. Is 27 a factor of j?
False
Let a = -425 - -677. Does 63 divide a?
True
Let b = 9 + -15. Does 13 divide ((-78)/(-5))/(b/(-15))?
True
Let w(d) = 275*d**2. Let q be w(-1). Let k = -159 + q. Is 14 a factor of k?
False
Let b(p) = p**2 + 12*p + 9. Let m be b(-8). Let q be (-2 - -729*3)*-1. Is (4/5)/(m/q) a multiple of 10?
False
Suppose 18*d - 17*d + 33 = 0. Let t = d - -59. Is 13 a factor of t?
True
Suppose p + 14 = 5*g - 10, 29 = 4*p + 5*g. Let u be (-6)/(-4)*(-48)/(-18). Suppose -p = n - u. Is n a multiple of 2?
False
Let b = -504 - -1144. Is 4 a factor of b?
True
Let l(i) = 7*i - 3. Let y be l(2). Does 16 divide (-1 + -1)/((55/(-160))/y)?
True
Suppose -2*g = -m - 10, -g + 25 = 4*g. Suppose -4*c - c - 10 = 0, m = 3*o - 2*c - 76. Is 12 a factor of (48/(-10))/(o/(-180))?
True
Let h(w) = -w + 6. Let r be h(6). Is r + (-139)/(-2) - (-3)/6 a multiple of 14?
True
Let d(h) = 2*h**3 - 4*h**2 + 3*h + 5. Let a be d(-3). Let z = a - -383. Does 13 divide z?
False
Let y(j) = -j**2 - j + 18. Let p be y(0). Suppose 114 = 4*x + p. Suppose -14 - x = -c. Is 16 a factor of c?
False
Suppose -3*l - 3*i = -267, 0 = -l + 7*i - 6*i + 79. Does 10 divide l?
False
Let q = 2142 + -1395. Does 19 divide q?
False
Let p(g) = g**2 - 2*g - 1. Let b be p(3). Let h be ((-2)/(-3))/(2/9). Suppose 110 = h*k + b*t - 18, -4*k + t = -189. Is k a multiple of 14?
False
Suppose 4*b + 2*a - 4 - 18 = 0, 2*b = a + 9. Suppose -p = -3 + 1. Is (2/b)/(p/130) a multiple of 14?
False
Suppose 15 = 3*h + 5*z - 0, -12 = 3*h - 4*z. Let c = 11 - h. Suppose k - 31 = -c. Does 5 divide k?
True
Suppose 15*v = 10*v + 45. Let r = v + 6. Let t = 14 + r. Is 8 a factor of t?
False
Let h = 4215 + -2172. Is 76 a factor of h?
False
Let z(c) = -c**3 + 3*c**2 + 4*c + 8. Let d be z(6). Let j = d + 126. Suppose m - j = -0. Is 25 a factor of m?
True
Let a(p) = -p**3 - 11*p**2 - 55*p - 39. Is 34 a factor of a(-13)?
False
Let n(v) = -v**2 - 25*v - 30. Let q = -64 - -41. Is 8 a factor of n(q)?
True
Suppose -4 - 11 = -3*i. Suppose -i*r - 40 + 250 = 0. Let q = r - 2. Is 20 a factor of q?
True
Let j = -170 - -368. Is j a multiple of 10?
False
Let l(q) = 34*q**3 + q - 1. Let z be ((-2)/8)/((-4)/(16/1)). Is 2 a factor of l(z)?
True
Suppose -11*i = -1139 + 61. Is i a multiple of 49?
True
Let z = -808 + 1356. Sup