e
Is 3 a factor of (-5213 + (-4)/(-2))*(-16 - (-760)/57)?
True
Let v(d) = 3*d**3 + 3*d**2 - 17*d + 7. Is 144 a factor of v(11)?
True
Let b(q) = -9*q - 103. Let h be b(-12). Suppose m - 45 = -h*z, 4 = 3*z - 5. Is m a multiple of 18?
False
Let n(q) = -20*q**3 - 61*q**2 - 85*q - 127. Is 17 a factor of n(-10)?
False
Does 61 divide ((-488)/(-12))/((-166)/(-32121))?
True
Suppose -3*q - 3307 = -i - 139, -5*i = 3*q - 15894. Does 7 divide i?
False
Suppose 69*u - 40460 = 59*u. Is 7 a factor of u?
True
Let t be ((-5)/10)/(2/136). Is 71 a factor of t/(17/(7242/(-12)))?
True
Is 15 a factor of (-13 - (-16 - 42))/((-3)/(-50))?
True
Is 10 a factor of ((-66)/154)/(1/750)*(-8 - -1)?
True
Suppose -3*d - 44 = -26. Let w(t) = -3*t**3 - 10*t**2 + 8*t - 2. Does 17 divide w(d)?
True
Let m = 618 - -75. Is 11 a factor of m?
True
Let g = -544 + 1075. Let u = g + -171. Suppose 5*o - u = -4*t, 4*o = 2*t - 5*t + 271. Does 16 divide t?
False
Suppose -3*l - 2*l + 3310 = 0. Suppose 9*t - 12 = -4*c + 11*t, 4*c + t = 24. Suppose w - 5*w = x - 140, c*x = -w + l. Is 12 a factor of x?
True
Let j = 29678 - 21891. Does 136 divide j?
False
Suppose -2*g - 167 = -3*m, 142 = 2*m + 3*g + 9. Suppose -7*w + m = -3322. Does 23 divide w?
True
Suppose -4*k = 5*j - 1145, j - 229 = 7*k - 6*k. Let q = -344 + j. Let h = q - -129. Does 14 divide h?
True
Suppose 180*r - 182*r = -6036. Is r a multiple of 14?
False
Suppose 328*p - 329*p = -1. Is ((-238)/28)/((-123)/120 + p) a multiple of 32?
False
Let y(z) be the third derivative of 7*z**5/30 + 11*z**4/24 + 10*z**3 + 147*z**2. Is y(-4) a multiple of 30?
True
Let j = 5363 + -2477. Is 11 a factor of j?
False
Let v be -33 - (2 - ((-6)/3 + 7)). Let z = 32 + v. Suppose z*r + 54 = 5*r. Is r a multiple of 9?
True
Suppose -p + 0 = 3*q - 5, -5*q + 15 = 5*p. Suppose -18 = -p*i - 0. Let u = i + -7. Does 2 divide u?
True
Suppose -5*c = v - 11946, -6*c + v - 643 = -14976. Is 21 a factor of c?
False
Suppose a - 1 = -4, 2*y - 3957 = 9*a. Does 27 divide y?
False
Suppose -81*o - 45211 + 2278867 = 0. Is 59 a factor of o?
False
Let a = -198 + 220. Suppose -n + r = -0*r - a, 0 = -2*r - 4. Is 11 a factor of n?
False
Let z(p) = 32*p**2 - 24*p - 232. Does 58 divide z(35)?
False
Suppose -86197 = -14*l - 5305. Is l a multiple of 27?
True
Let a(l) = l**2 - 17*l - 10. Let z be a(17). Is (-6305)/(-194)*(-392)/z a multiple of 47?
False
Let b(j) = 3*j - 35. Let x be b(13). Suppose 144 = t + 12*h - 13*h, -5*h = -x*t + 578. Is 35 a factor of t?
False
Let i(v) = 1342*v**2 - 41*v - 2. Does 6 divide i(4)?
True
Is 11 a factor of 4610/4 - (130/(-52) - -7)?
False
Let w(b) = -b**3 + 2*b - 1. Let c be w(1). Suppose 4*k + c*l + 79 = l, 5*k - 2*l = -98. Let q = 48 + k. Is q a multiple of 6?
False
Let q = -47 - -170. Let u = q - -47. Is u a multiple of 10?
True
Let z(k) = -2*k**3 + 2*k**2 - 2*k + 42. Let h be z(0). Suppose -4*x = -x. Suppose x = h*d - 38*d - 840. Is d a multiple of 15?
True
Is 9 a factor of ((-282)/8)/(6/(-104))*28?
False
Let n(u) = -u**3 + u**2 - 4*u + 66. Let i be n(0). Suppose 99 = -3*z + g, -g + 2*g + i = -2*z. Does 27 divide 58*(-1)/(-3)*z/(-22)?
False
Let w = -5174 - -9048. Is w a multiple of 18?
False
Suppose -64*d + 75*d = 396. Let f = 172 - d. Is 34 a factor of f?
True
Suppose 6*l + 15 = l, -2*l = 4*a - 2. Let o = -34 + 38. Suppose -154 = s - a*s - 5*q, o*s + 3*q = 531. Is 8 a factor of s?
False
Let b(k) = 2*k**3 + 16*k**2 - 103*k - 24. Is b(14) a multiple of 34?
False
Let s(m) be the second derivative of -m**4/24 + m**3/3 - 2*m**2 - 15*m. Let h(f) be the first derivative of s(f). Is h(-18) a multiple of 5?
True
Does 40 divide (-75)/1350 - 1239735/(-54)?
False
Suppose 129500 = 17*z - 3*z. Does 73 divide z?
False
Suppose 4*i + 48*n - 46*n - 33430 = 0, -5*i + n = -41812. Does 10 divide i?
False
Is (179 - -121)*(-61)/(-3) a multiple of 122?
True
Let b(o) be the first derivative of 2*o**2 + 57*o + 112. Does 23 divide b(15)?
False
Suppose -m - 3*y = -2*m + 30, 3*m - 3*y = 84. Let g(b) = -2*b**2 + 7*b**2 + m*b - 5 - b**3 - 25*b. Is 5 a factor of g(5)?
True
Let y(q) = 9*q + 100. Let l be y(-11). Does 3 divide ((-792)/(-176))/((-235)/(-232) - l)?
True
Let x be 7 + -2 - 4/2. Let p(g) = g**2 - 4. Let d be p(x). Suppose -2*c = -d*q - 220, 0 = -3*c - 2*q + 247 + 121. Is 10 a factor of c?
True
Let u be (1 - 15)*(-40)/140. Suppose -r + 305 = u*r. Let g = r + -41. Is g a multiple of 10?
True
Let j = 2119 - 3292. Let z = j - -1701. Does 11 divide z?
True
Let w(m) = 25*m**3 + 16*m**2 + 17*m - 29. Let l(f) = 8*f**3 + 6*f**2 + 6*f - 9. Let g(a) = 8*l(a) - 3*w(a). Does 43 divide g(-4)?
True
Suppose 157*w + 17961 = 160*w - 3*v, 5*v = 4*w - 23953. Does 52 divide w?
False
Let u be (34/(-102))/((-2)/(-162)). Let z = 169 - u. Is z a multiple of 14?
True
Is 235 a factor of 10/45 + (10 - (-1291069)/117)?
True
Suppose -28 = -4*j - 5*k + 3*k, -2*j = 2*k - 18. Suppose 0 = -2*i + j*i - 54. Suppose -5*o + i = -3*o. Is o a multiple of 9?
True
Let b be (1 + -2)/(1/(-4)). Let h(l) = -6*l**3 + 2*l**2 - 3*l**2 - b - 4*l**3. Does 8 divide h(-2)?
True
Suppose -687195 = -110*f + 52885. Is f a multiple of 232?
True
Let u(b) = 2*b - 19. Let l be u(8). Let a = 21 + l. Suppose -62 - a = -2*m. Is 20 a factor of m?
True
Is (62/(-2))/(1/(-43)) + 0 a multiple of 12?
False
Let g be ((-24)/18)/(8/(-36)). Suppose g*k + 62 + 70 = 0. Is (-12)/66 - 2380/k a multiple of 8?
False
Suppose g - 78 = -5*q + 339, 5*g = -q + 69. Let z be 1088/42 - (-8)/q. Suppose -z*x + 500 = -21*x. Is 7 a factor of x?
False
Suppose -2*z + 45 = -19. Suppose -y + 33 = z. Let j(w) = 31*w**3 + 2*w - 1. Is 19 a factor of j(y)?
False
Suppose -5*t - 3*s = -140, -2*s - s + 90 = 3*t. Suppose -t = -5*f + 240. Suppose -l = -f - 16. Is 13 a factor of l?
False
Is 29 a factor of 18/(-1)*(-72094)/99?
True
Let v(y) = y**2 - 3*y + 2560. Let h be v(0). Suppose h = 8*i - 0*i. Does 8 divide i?
True
Suppose 0 = -3*v + 30 - 24. Let d be (8 - 8/4)*(v - 11). Let r = 126 - d. Does 20 divide r?
True
Suppose -t - c = -13447, 3*c + 4261 + 9206 = t. Does 55 divide t?
False
Let c(l) = -l + 1. Let v(r) = r**2 - 3*r - 15. Let i(k) = -3*c(k) - v(k). Let s be i(-11). Let y = s + 325. Does 15 divide y?
True
Let o be (5 + -11 + 5)*(14 - 1). Let w be ((-1)/(-2))/(o/624). Is ((-57)/4)/(2/w - 0) a multiple of 15?
False
Suppose 5*c - p + 14 = 38, -4*c + 3*p = -28. Suppose t + 391 = x, 0 = -c*x - 5*t + 1936 - 381. Suppose 5*y - 50 = x. Is 11 a factor of y?
True
Let v be 9200/72 + (-2)/(-9). Suppose v = 2*y - 136. Is (-250)/20*y/(-10) a multiple of 15?
True
Suppose -5*i = -4*b - 26018, 3*b + 1127 = -i + 6323. Is 18 a factor of i?
True
Let c = 26258 - 16415. Is 77 a factor of c?
False
Let z = 147 - 26. Let u(w) = w**2 + w + 6. Let q be u(0). Let f = z + q. Is f a multiple of 35?
False
Let o(i) = -6*i - 13. Let p be o(-3). Suppose t = m + 3, 15 = p*t - t - 5*m. Suppose 4*x - q = 381, 0 = -3*x - 4*q - t*q + 300. Is x a multiple of 12?
True
Let c = -8 + 147. Let r(q) = 7 - q**3 - 4*q + 1 + 147*q**2 - c*q**2. Does 14 divide r(6)?
True
Let n(t) be the third derivative of -1/6*t**4 - 4/3*t**3 + 20*t**2 + 0 + 1/15*t**5 + 0*t. Is 20 a factor of n(-3)?
True
Let y(z) = -7*z + 5. Let w be y(1). Let r be ((-3)/4)/((-3)/w)*2. Does 14 divide (4/r)/((-2)/28)?
True
Suppose 12*f - 7*f + 689075 = 30*f. Is f a multiple of 38?
False
Let z(c) = c**3 + 14*c**2 - c - 9. Suppose -6 - 8 = a. Let r be z(a). Suppose -220 = x - 6*x + 5*v, 0 = r*v - 15. Is x a multiple of 7?
False
Suppose 9*q - 2*q = -2*q + 55161. Is 41 a factor of q?
False
Suppose 7*b - 6*b = -4*k, 0 = 4*b. Suppose k = 4*c - 4*n - 28, 0 = -3*c + n + 8 + 5. Suppose 67 = 5*r - 0*z - z, z = c*r - 41. Is r a multiple of 2?
False
Suppose 11*y - y - 20 = 0. Let u(z) = z**2 - 13*z + 24. Let s be u(11). Suppose -5*b + 442 = 2*v, s*b + 15 - 203 = y*v. Is b a multiple of 6?
True
Suppose -15*n = 14*n - 28*n - 3689. Does 29 divide n?
False
Suppose 0 = -q - 3*b + 2, 4*b = 3*q + 2*b - 17. Suppose -l = q*y - 541, 0 = -6*y + 2*y - 3*l + 435. Is 9 a factor of y?
True
Let f = -5741 - -6891. Is 69 a factor of f?
False
Let y(u) = 2*u**3 + 9*u**2 + 4*u - 12. Let s be y(-7). Let p = s - -360. Does 6 divide p?
False
Let x(i) = -3*i - 24. Let d be x(-10). Suppose -c - 1155 = d*c. Let s = c - -253. Does 8 divide s?
True
Suppose 33*k - 37*k + 1264 = 0. Suppose -2*w -