 11 divide m(t)?
True
Let c = 3227 - 2187. Suppose 138*s = 143*s - c. Is 11 a factor of s?
False
Let z = 2529 - 2464. Does 3 divide z?
False
Let y = -5 - -8. Suppose 0 = 2*m - 4*d + 8, 2*m - 2*d - 3*d = -12. Suppose -n + y*b = -14 - 15, m*b - 113 = -3*n. Is n a multiple of 5?
True
Suppose 204164 - 82028 + 298020 = 18*r. Does 38 divide r?
False
Let g = 206 + -206. Suppose g = f - 5 - 88. Does 9 divide f?
False
Suppose 1023*w = 2038*w - 1014*w - 1030. Is w a multiple of 11?
False
Suppose 24 = -7*q - 39. Let b = 3 + q. Let y(z) = -13*z + 42. Is y(b) a multiple of 40?
True
Suppose -3*d + 4*b + 75196 = 8124, -b = -6*d + 134158. Is 19 a factor of d?
False
Suppose -4*f - 3*i + 1472 = -205, -4*f + 3*i = -1707. Is 5 a factor of f?
False
Let p = 13 - 13. Suppose p = -4*h + h + 66. Is 2/(-3)*(-1815)/h a multiple of 16?
False
Let q(x) = 52*x + 23. Let i be q(4). Let j be -3*(0 + -121 - (5 + -1)). Let v = j - i. Is 16 a factor of v?
True
Let z be (-1102)/(-28)*38 - (-24)/(-42). Let s = z + -989. Is s a multiple of 30?
False
Suppose 4*x - 5*k = 291546, -725*x + 5*k - 218677 = -728*x. Is 45 a factor of x?
False
Suppose 0 = -37*l + 11*l + 338. Let s(q) = 2*q**3 - 23*q**2 - 7*q + 9. Is s(l) a multiple of 25?
True
Let y be (-1639)/(-33) + (-1)/(-3). Let x = y + -50. Suppose -5*u + 5*h - 2*h + 597 = x, 4*u - 456 = -3*h. Is u a multiple of 17?
False
Is 71 a factor of (420 - 450)*17/(-2)?
False
Let o = 1239 + -187. Suppose 0 = 8*j + o - 10692. Does 15 divide j?
False
Let x(p) = -118*p + 146. Is 51 a factor of x(-13)?
False
Suppose 566 + 134 = 7*h. Let x = h + -93. Suppose 0 = -x*u + 155 - 15. Does 5 divide u?
True
Suppose -80888 - 1015 = -8*c + 28905. Is c a multiple of 81?
True
Let u(b) = b**3 - 2*b**3 + 50*b**2 + 4 + 1 - 7*b - 59*b**2. Suppose -3*o + 7 - 34 = 0. Does 27 divide u(o)?
False
Suppose -5*g = -5*a + 133 - 1113, 5*g = -a + 992. Does 3 divide g?
True
Let o(v) = 13*v**2 + 8*v - 2. Let c be o(3). Suppose -135*w = -c*w + 3584. Is 55 a factor of w?
False
Suppose 0 = 2*r + x - 313, -4*r + 315 = -3*x - 286. Let j = 197 - r. Does 2 divide j?
False
Suppose 0 = -5*n + 10, -5*n + 17 = 2*g + 1. Does 9 divide ((-2)/g - -2)*(12 + 0)?
False
Let b(i) = 3*i**3 - 20*i**2 + 10*i + 6. Let d be b(5). Does 46 divide (d/2)/((-10)/(840/7))?
True
Let w be (-1 + 0)*(-5 + 92). Let q = w + 188. Does 5 divide q?
False
Let g(h) = -h**2 + 13*h - 12. Let c be g(11). Suppose w - 1347 = -l, 2*w - 12*l = -c*l + 2698. Does 49 divide w?
False
Suppose -493 = -3*g - 505, -5*g - 2615 = -3*c. Is c a multiple of 8?
False
Is 12 a factor of 4/2 + 240 - ((-9 - -10) + 2)?
False
Let k = 122 - 117. Suppose -r = -k*p + 7*p - 660, 0 = -4*r + 16. Does 17 divide p?
False
Let k(q) = -2*q**3 + 12*q**2 - 11*q. Suppose -4*g + 3*c + 11 = 0, 5*g + 2*c = 7*c + 10. Let f be k(g). Does 9 divide f/(30/(-1107)) - 6/4?
False
Let a = 802 - -253. Suppose -7*h = -3*f - 8*h + 1585, -2*f + h = -a. Is 16 a factor of f?
True
Let i(t) = 51*t**2 + 4. Suppose 0*h + 3*h = -3*g, 2*g = 2*h + 8. Let v be i(g). Suppose -34 = c + w - v, 0 = 2*c - w - 348. Is c a multiple of 9?
False
Let k(x) = x**3 - 6*x**2 - 8*x + 9. Let d be k(7). Suppose -2*z - 54 = -6*z + d*a, -5*a + 75 = 4*z. Let t = z - -64. Does 35 divide t?
False
Suppose 3*w = -k + 12, -6*k + k = 5*w - 20. Let i be -5*(-1*3 - (12 + -14)). Suppose 2*q + u - 77 = k, -5*u + u - 173 = -i*q. Does 25 divide q?
False
Suppose -5*x + 1370 + 738 = 4*u, -5*x + u + 2098 = 0. Let p = x - 224. Does 49 divide p?
True
Let d(b) = 185*b**2 - 30*b + 136. Is 82 a factor of d(6)?
False
Let h(i) = i + 38. Let q be h(-24). Suppose -75 = -19*v + q*v. Is 4 a factor of v?
False
Let d = 1725 + -1676. Suppose -3*o + 3*m + 315 = -0*o, -o + 2*m = -102. Let q = o - d. Does 10 divide q?
False
Let n be 1*(0 - 3) + 6. Suppose -22 = -n*h - 10. Suppose -i - 150 = -h*i. Is 10 a factor of i?
True
Let u(g) = 706*g - 329. Is u(2) a multiple of 114?
False
Let w(f) = 2*f**2 - 239*f + 10997. Is w(98) a multiple of 51?
True
Is 209 a factor of -13 + 372/30 + 135856/10?
True
Let v(d) = -2*d**2 + 31*d + 42. Let p be v(17). Is 10 a factor of 7/(-1) - p - -368?
True
Let a be -4 + 7/(21/9). Let u be -304*-3*a/(-6). Suppose -9*z = u - 584. Is 6 a factor of z?
True
Suppose -32*q = -31*q. Suppose q = 4*c + 5*x - 54, 3*x - 32 = -2*c - 2*x. Let d = 152 - c. Does 26 divide d?
False
Let n(g) = 25*g**2 + 894*g + 3. Does 3 divide n(-36)?
True
Let f be (5/2)/((-29)/(-12) + -2). Suppose -4*o + 566 = 5*y, -5*o + f*y + 722 = 5*y. Is 5 a factor of o?
False
Let t(y) = -2*y**3 - 13*y**2 + 7*y + 4. Let q be t(-7). Suppose 0*n + 1076 = q*n - d, 4*n - 4*d = 1064. Is n a multiple of 30?
True
Does 337 divide 846396/45 + (-7 - 496/(-80))?
False
Suppose 9*d - 56 = 5*d. Suppose 0 = 5*a - 2*j - 228, -d = 3*a + 5*j - 126. Is a a multiple of 2?
True
Let t(n) = n**2 - 10*n - 318. Let y be t(34). Let m = y + 160. Is m a multiple of 14?
True
Suppose -18*x + 6302 + 4966 = 0. Let g = x + -504. Does 45 divide g?
False
Let o(i) = 2529*i + 6268. Does 128 divide o(4)?
True
Suppose 425*z + 8360 = 433*z. Suppose 0 = -2*s - 17*s + z. Is 8 a factor of s?
False
Let f(v) = 9*v**2 + 14*v - 9. Let l(m) = -m**2 - m + 1. Let x(d) = f(d) + 6*l(d). Suppose 4*w + 10*k - 25 = 5*k, 2*k = 2. Does 16 divide x(w)?
True
Let v be (-4)/(-6) - 21/(-9) - -7. Suppose v = -5*x, -6*x = u - 3*x - 31. Is u a multiple of 9?
False
Let o(t) = t**3 + 13*t**2 + 13*t - 3. Let v(q) = -2*q + 6. Let k be v(3). Suppose k = 3*s + 3 + 27. Is o(s) a multiple of 28?
False
Suppose 5*t + 10011 = 2*y, 2*y - 24*t - 9999 = -23*t. Is y a multiple of 50?
False
Let b(h) = 20 - 19*h + 4*h**3 - 3*h**3 + 12 + 66*h - 32*h**2. Is 16 a factor of b(31)?
True
Let d = -50 + 35. Suppose -2*m + 2*g = 4, -4*g - 10 = 2*m + 12. Is 28 a factor of ((-252)/d)/((-1)/m)?
True
Let f(i) = -i**2 + 9*i + 22. Suppose -36 = -3*d + 3*q, 5*d + 3*q - 61 = -17. Let o be f(d). Let k(s) = 18*s - 25. Does 15 divide k(o)?
False
Suppose 21*r = 37*r - 82464. Suppose 0 = -8*m + r + 2446. Does 50 divide m?
True
Suppose 3*u + h = 571, 5*u - u - 763 = -3*h. Does 2 divide u?
True
Suppose 3*t = -5*d - 7 + 3, -10 = -d + 3*t. Let a be d/(5/335 + 0). Let z = 87 - a. Does 4 divide z?
True
Let o = 86 + -76. Is 52 a factor of (32/o - 2)/(2/780)?
True
Let g(k) = 65*k**2 + 56*k - 153. Does 15 divide g(3)?
True
Let w be (-3)/(-4) + 3*(-10)/(-24). Let j(o) = 40 - 52 + o**3 - 22*o**2 + 4*o**w + 8*o. Is 11 a factor of j(18)?
True
Let s(v) be the second derivative of v**3/6 + 3*v**2/2 + 2*v. Let f be s(7). Let t(j) = 11*j + 1. Is t(f) a multiple of 20?
False
Let v = 37 - 33. Suppose -v*x + 2 = -3*x. Suppose -3*o + 298 = 2*s - 252, -o + 170 = -x*s. Does 12 divide o?
True
Let q(a) = 4*a + 18. Let h be q(-4). Let x be (-9 + 15)*1/((-1)/h). Is 11 a factor of -2 + x/(-3) - -33?
False
Let f be 4 + 26/(-2) + -1. Let x(r) = -7 + 104*r - 99*r - 1 + r**2. Is 3 a factor of x(f)?
True
Let w(r) be the second derivative of 13*r**3/3 - 7*r**2/2 - 8*r. Let y be w(2). Does 11 divide -1 + 0 + y + 2*-1?
False
Let k = 6452 - 3852. Does 65 divide k?
True
Suppose 14266 - 139552 = -41*c + 22*c. Does 41 divide c?
False
Let v(b) = 15*b + 10. Let r be v(3). Let f = r - -3. Is 3*(f/3 - 4) a multiple of 11?
False
Let d(q) be the third derivative of 133*q**4/24 + 19*q**3/3 + 5*q**2 - 3. Does 16 divide d(4)?
False
Suppose 113*d = 120*d - 28. Suppose -1117 = -o - 2*o - 5*u, -2*o = -d*u - 730. Is o a multiple of 11?
False
Let b(x) = -13*x - 6*x**3 + 2*x**2 + 7*x**3 + 0*x**2 + 9 + x**2. Suppose 0*u = -u + 5*c - 10, c = -u + 8. Is b(u) a multiple of 16?
True
Suppose 4*c = n + 4*n - 123780, 2*n + 2*c - 49494 = 0. Is n a multiple of 14?
True
Let r = 7964 + -5510. Does 59 divide r?
False
Suppose 10*k + 3*a - 20551 = 6*k, 0 = 2*k + 2*a - 10274. Suppose -6*g + 26*g - k = 0. Is g a multiple of 44?
False
Let i(g) = 2*g**2 - 6*g - 15. Let s be i(6). Suppose h + s = 2*w - 0*w, w + 3*h = -7. Does 5 divide (2/(w/30))/((-3)/(-6))?
True
Let x be (23 - 0) + -13 + 15. Suppose 27*w - 24 = x*w. Let g(f) = 15*f - 8. Is 43 a factor of g(w)?
True
Let m(d) = -2*d**3 - 2*d**2 + 2. Let l be m(-2). Suppose l = 7*i - 46. Does 2 divide i?
True
Let s = 31 - 38. Let j be (3/s)/(3/(-21)). Suppose 11*u = j*u + 40. Is 5 a factor of u?
True
Let k(v) = v**3 - 11*v**2 + 4*v - 1. Let q be k(12). Let o = q - 88. Does 3 div