-117500)/36)/5?
False
Let b be 30/(-20)*(-1752)/9. Let n = b + -265. Does 27 divide n?
True
Let x(b) = -318*b + 22. Let p be x(-18). Suppose -139*j + 122*j + p = 0. Is 34 a factor of j?
False
Let m = -14881 - -18152. Is 4 a factor of m?
False
Suppose -d = -5*x + 1207, 5*x - 1512 = 4*d + 3301. Let z = 1732 + d. Is z a multiple of 10?
True
Let t(q) be the second derivative of -11*q**4/12 - q**3/3 - 3*q**2 + 15*q. Let d(y) = -33*y**2 - 5*y - 17. Let i(u) = -3*d(u) + 8*t(u). Is 16 a factor of i(3)?
False
Suppose z - r - 5 = 1, r = -z + 6. Is 42 a factor of 252*((-3)/z)/(1/(-3))?
True
Suppose 46 = z + 5*d, 0*z + 3*d + 138 = 4*z. Is 10 a factor of (z - 0)/(861/140 + -6)?
True
Let w(b) = -2*b**2 + 11*b. Let t be w(5). Let u be 2/8 - t/((-140)/7217). Let i = u - 97. Is 13 a factor of i?
False
Suppose -j = -0*q - 3*q + 3, 4*q - 3*j - 4 = 0. Let g be (-9 + q - 0) + 2. Let x(k) = k**3 + 8*k**2 + 10*k + 8. Is 5 a factor of x(g)?
True
Let f(i) = -6*i - 21. Let a be f(-3). Does 80 divide (a + 24)*(3 + 8/6)?
False
Let t be ((-20)/6)/(22/(-33)). Suppose r = -2*m + 234, 10*m - 11*m - 1137 = -t*r. Does 19 divide r?
True
Is (2/5)/((-285)/(-50) + -6)*-2841 a multiple of 21?
False
Suppose -2285*d + 2280*d - 5*f = -108320, 21692 = d - 3*f. Does 13 divide d?
True
Suppose -2*g + 25416 = 5*h, -32268 = 5*g - 3*h - 95777. Is 9 a factor of g?
False
Let o(t) = t**3 - 10*t**2 + 54*t - 23. Let y(b) = 3*b**3 - 19*b**2 + 107*b - 43. Let k(n) = -5*o(n) + 2*y(n). Is 19 a factor of k(-13)?
False
Suppose 70342 + 110865 = 21*z - 8*z. Is 178 a factor of z?
False
Suppose 5*f = 18 - 3, 2*f = y + 36. Let s = -40 + y. Let c = -30 - s. Is c a multiple of 20?
True
Let f(g) = 98*g - 3. Let q be (-6*3)/(-2) + (14 - 15). Suppose 5 = -5*l - 5*a, 0*a + 4*a = -q. Is f(l) a multiple of 9?
False
Suppose 545*t = 542*t + d + 26319, 4*t - 4*d - 35108 = 0. Is 10 a factor of t?
False
Let c = -45 + 51. Suppose 0 = -15*l + 18*l - c. Suppose -11 = -l*s + 17. Is s a multiple of 7?
True
Suppose 19*q - 7626 = 15345. Suppose -34*u - q = -37*u. Is u a multiple of 11?
False
Let c(g) = -g**3 + 6*g**2 + 4*g - 3. Let l be (1/1)/((-8)/472). Let u = -54 - l. Is c(u) a multiple of 6?
True
Let z(m) = -4*m**2 + 22*m - 341. Let h(o) = 2*o**2 - 11*o + 171. Let a(c) = 13*h(c) + 6*z(c). Does 16 divide a(-16)?
False
Let a = -19 - -32. Let s(u) = -a*u + 43*u**3 - 44*u**3 + 28 - u + 15*u**2 + 3*u. Does 13 divide s(14)?
False
Let d(n) = -6*n - 39. Let c be d(4). Let g = c - -66. Suppose 521 = g*x - 19. Is x a multiple of 10?
True
Let v(h) = -h**3 - 44*h**2 + 4*h + 149. Let z be v(-44). Does 10 divide 42/4*(-2286)/z?
False
Let v(l) = -l**2 - 2*l + 45. Let b(t) = t**3 - 3*t**2 + 3*t. Let a be b(2). Suppose 2 = 8*f + a. Does 5 divide v(f)?
True
Let b = 488 + 1580. Is 7 a factor of b?
False
Let t(s) = -16*s**2 - s + 46. Let o be t(6). Let c = o + 819. Is c even?
False
Suppose 5*j - 54 = -4*w + 3, 0 = -4*j + 4*w + 24. Let c(o) = 10*o**2 - 11 - o**3 + 1 + j*o - 4*o**2. Is 4 a factor of c(6)?
True
Let v = 1918 + -348. Let t = v - 994. Does 72 divide t?
True
Let a(p) = -32*p**3 - 2 - 8*p**2 + 3 + 27*p**3 + 3 - 1 + 4*p. Does 13 divide a(-4)?
False
Let i be ((-10)/(-4))/(60/48). Let c(d) = 5*d - 43. Let r be c(7). Is 5 a factor of 6*(4/r)/(i/(-24))?
False
Let n(v) = 4*v - 4. Let m be n(1). Let h be m - (2 - (4 - 5)). Is 5 a factor of 1 - (-5)/(h + -1 + 5)?
False
Suppose -32*f + 35*f + 21 = 0. Let m(r) = r**2 + 13*r - 7. Let o be m(f). Let q = o - -67. Does 3 divide q?
True
Let c = -163 - 207. Is 14 a factor of (c/(-6))/(5/15)?
False
Suppose 2*c + 797 = 5*z, -7*c - 3 = -4*c. Let k(d) = d**3 + 14*d**2 + 11*d - 3. Let m be k(-13). Let p = z - m. Does 17 divide p?
True
Suppose 5*l = 875 + 720. Does 69 divide l?
False
Let p = 482 - 225. Suppose -216 = -t + p. Suppose -5*r - 6*r + t = 0. Is r a multiple of 15?
False
Let r = 2396 + -1030. Suppose -3*z + r = 5*x + 3, 5*z + 20 = 0. Suppose 0 = -11*q + 16*q - x. Does 11 divide q?
True
Let n(o) = -18*o**3 + 5*o + 0 - 4*o**2 + 4 + 17*o**3. Let q be n(-5). Suppose -q*p + 80 - 30 = 3*y, -p + 12 = y. Does 14 divide p?
True
Let f = -2155 - -2673. Is f a multiple of 53?
False
Let l(o) = o - 5. Let s be l(0). Let f = 16 - s. Suppose -f + 5 = -2*k. Does 2 divide k?
True
Let w = 208 - -171. Let v = w - 183. Is v a multiple of 7?
True
Is 1135321/203 - 2/(-7) a multiple of 47?
True
Let g be -40*(-4)/(16/20). Let h = 296 - g. Does 12 divide h?
True
Let v be (-2112)/(-448) - 2*(-1)/7. Suppose 17*i = 19*i - v*d - 366, 5*d + 20 = 0. Is 10 a factor of i?
False
Let x be 15/10*2 - (-1 - 113). Let v = -263 + x. Is 35 a factor of (12 - v) + (-8)/2?
False
Let p = -80 + 45. Is (-70 + 0)*10/p a multiple of 7?
False
Let k(z) = -5*z**3 - 7*z**2 - 13*z - 34. Does 80 divide k(-6)?
False
Suppose -24*u = -23*u - 4*h - 5662, -2*h = 2*u - 11294. Does 5 divide u?
True
Suppose -375*w + 368*w = -20370. Is w a multiple of 97?
True
Let a(o) = -o**3 - 40*o**2 - 49*o - 230. Is 20 a factor of a(-40)?
False
Suppose 4*i = -u + 48384, -30*u + 24192 = 2*i - 27*u. Does 189 divide i?
True
Let o(y) = -y**3 - 14*y**2 - 13*y + 33. Let r be o(-14). Let u = 895 - r. Is u a multiple of 13?
False
Let z(w) = -4. Let o(c) = -197*c - 98. Let p(u) = o(u) - 3*z(u). Is 78 a factor of p(-4)?
True
Suppose -4*w - 7668 = -7*x + x, 2*x - 3*w = 2546. Is 17 a factor of x?
False
Let t(i) = -i**3 + 16*i**2 + 30*i - 23. Let h be 12 - (-11 - -2 - -4). Does 22 divide t(h)?
True
Suppose -3*d = -i + 9537, 5*i - 244*d = -240*d + 47740. Does 12 divide i?
True
Suppose -218 = -f + 3*x, 35*f - 31*f - 887 = -3*x. Is 17 a factor of f?
True
Does 27 divide 7 + (275/44)/(-5) + (-1630230)/(-24)?
True
Suppose 4*n = 16 - 12, 5*n = 8*a - 59. Let s = 221 + 410. Suppose a*m = 1 + s. Is 11 a factor of m?
False
Suppose 5*y + 19580 - 51620 = -2*g, -2*g + 10 = 0. Is y a multiple of 22?
False
Let z = -3 - -6. Let g be (69/(-9))/(2/z + -1). Suppose 5*i + 72 = 3*t - g, 0 = 5*t - 2*i - 190. Is 10 a factor of t?
True
Suppose -79 = -3*c - 5*u, 103 = 5*c - 4*u - 78. Is 8 a factor of c?
False
Suppose -3*k + 99 + 96 = 0. Let x = k + -81. Let h(f) = f**3 + 16*f**2 - f + 1. Is h(x) a multiple of 3?
False
Suppose -4*b + 7*b - 3 = 0. Is 3 - b*(-251 + 7) a multiple of 19?
True
Let r(s) = -s**2 - 16*s + 4. Let k be r(-16). Suppose 8*y + k*n = 6*y + 1638, -3*n = 6. Is y a multiple of 37?
False
Let x(o) be the first derivative of o**4/12 - 5*o**3/6 - 2*o**2 - 17*o + 11. Let z(a) be the first derivative of x(a). Is z(-4) a multiple of 7?
False
Let b be 3300 + 2 + 33/(-3). Let m = -2194 + b. Is 28 a factor of m?
False
Suppose -6 = 2*l - 5*y + 25, 3*l + 5*y = -9. Suppose -5*n + 17 = -4*s, 3*s + 4*n = 7*s + 12. Does 4 divide (s + l/6)/((-4)/(-72))?
True
Suppose -90861 - 1514 = -18*r + 98857. Does 83 divide r?
True
Is 15 a factor of (33494/8)/(726/8712)?
False
Let p = 4865 + -4363. Does 9 divide p?
False
Let q = 16 + -5. Let x(z) = -z**3 - 6*z**2 - 5*z + 26. Let t be x(-7). Suppose q*g - g - t = 0. Does 11 divide g?
True
Suppose -10*t - 16 - 104 = 0. Let v be 1/(7/t) - 36/126. Is (-4)/14 + v/56*-1772 a multiple of 9?
True
Suppose -5*x + 10519 = 3*y, -3*y + 6*y - 8414 = -4*x. Let f = x - 1462. Does 16 divide f?
False
Let i(o) = -8*o**3 - 6*o**2 - 6*o + 19. Let m be i(8). Let g be ((-2)/3)/(6/m). Let c = -313 + g. Does 47 divide c?
True
Let m = -793 - -2933. Is 10 a factor of m?
True
Suppose 107*w = 106*w + 2*i + 15062, w - 3*i = 15065. Is 30 a factor of w?
False
Suppose -3*x + 8*x + 3*t = 329, -3*t = -x + 73. Suppose 3*p - 225 = -2*p. Let i = x - p. Is 7 a factor of i?
False
Let s(x) = 843*x + 25. Let b = 331 + -330. Is 62 a factor of s(b)?
True
Let d be ((-60)/(-10))/(3/((-51)/2)). Let o = 56 + d. Suppose -4*r + 456 = -2*v, -r + o*v + 328 = 2*r. Does 23 divide r?
False
Suppose -a = -283*p + 284*p - 8980, -4*p + 35913 = 3*a. Is 4 a factor of p?
False
Let w be 3*((-96)/9)/4. Let d(v) = -v**2 - 10*v + 32. Let b be d(-9). Let i = b - w. Does 33 divide i?
False
Let r = 12224 - 6161. Does 72 divide r?
False
Suppose 2804*a = 2802*a + 10. Suppose 3*w - 2*w = 266. Suppose -2*t = a*o - w, 0 = -4*t - 0*t + 5*o + 592. Is 11 a factor of t?
True
Suppose 68*y + 3019 = 80267. Is y even?
True
Let z be (3 + -2)*(0 - -5). Let n = -795 - -1000. Suppose -5*x - n = -z*y, 2*y - 2*x = x + 85. Is y a multiple of 33?
False
Let 