et s be 4/(3 - 2) + -2. Let l(w) = 5*w + 5. Is 6 a factor of l(s)?
False
Does 13 divide 1/3*-1 + (-15510)/(-198)?
True
Let w = -1396 - -1621. Does 15 divide w?
True
Let t(h) = 3*h**2 - 9*h - 7. Let n(l) = -2*l**2 + 4*l + 3. Let w(d) = -5*n(d) - 3*t(d). Let a be w(-6). Suppose -5*p + 21 + 14 = a. Does 3 divide p?
False
Let y(z) = -12*z**3 - z + 2. Let j be y(-3). Suppose 6*d - j = -d. Does 21 divide d?
False
Let q = -208 - -361. Is (q/(-2))/(27/12 + -3) a multiple of 8?
False
Let f(s) = -3*s - 32. Let z be f(-17). Suppose 0 = 3*v - z - 44. Does 11 divide v?
False
Let f(h) = -13*h + 8 + 0*h**3 + 5*h**2 + 4*h**2 + 4*h - h**3. Let y be f(8). Suppose y = -c - 2*c + 57. Does 7 divide c?
False
Suppose 6*t - 4 = 2*t. Let g be ((-12)/24)/(t/(-6)). Suppose -g*x + 4*x - 52 = 0. Is x a multiple of 13?
True
Let w = -713 - -757. Is w a multiple of 2?
True
Suppose 5*x - 6 = 4*g - 0, -3*x + g = -5. Suppose 0 = -3*y + d + 200, 0 = x*y - d - 116 - 16. Does 8 divide y?
False
Let x = 124 + -114. Suppose -x*b + 239 = -461. Is 10 a factor of b?
True
Suppose 2*k = 4*g - 3*k - 279, 2*k + 270 = 4*g. Is 11 a factor of g?
True
Let y be -5*(1 + (-9)/5). Suppose 44*r = 30*r + 420. Suppose 45 = 4*p + k, k + 13 = y*p - r. Is 11 a factor of p?
True
Suppose 2*m = 4*a - 52, -5*m + 10 = 2*a - 2*m. Let w be a/33 + 1012/6. Let y = 264 - w. Does 19 divide y?
True
Let j(k) be the first derivative of 18*k**3 - k**2/2 + 2*k - 2. Does 12 divide j(1)?
False
Does 23 divide 4/26 - -6295*13/845?
False
Let d(g) = g**2 + 4*g + 3. Let j be d(-4). Let i = j + 13. Does 8 divide i?
True
Suppose 0 = -4*f - 5*l + 776, -f - 5*l = -2*f + 194. Let c = 2 + -12. Does 5 divide (-8)/20 - f/c?
False
Suppose -3*l + 487 + 2585 = 0. Does 41 divide l?
False
Suppose -4*o - o + 255 = 0. Let s = -21 + o. Suppose 5*r + 20 = 0, 4*g + 5*r = 3*g + s. Is 25 a factor of g?
True
Let p = -33 + 36. Let o(a) = 0*a - 1 + 4 + 8*a**2 - 2*a. Is 23 a factor of o(p)?
True
Suppose 4*n = -2*o - o + 304, 4*o + 3*n = 403. Let h = 56 - 113. Let y = h + o. Is y a multiple of 9?
False
Let r(w) = w + 1. Let k be r(8). Let z be (3/k)/(2/18). Suppose z*j - 2*j + 2 = -4*i, -5*i - 13 = -4*j. Is 2 a factor of j?
True
Suppose 13*z - 17*z + 1576 = 0. Suppose 0 = -4*u - z + 1006. Is 51 a factor of u?
True
Let w be -2*((-11)/(-2) + 1). Suppose -8 = b - 3*o, -5*b - 2 = -3*o + 2. Let c = b - w. Does 14 divide c?
True
Suppose -5*a - 54 + 219 = 0. Let f be (32/(-2))/(2 + -1). Let t = f + a. Does 15 divide t?
False
Let j(a) be the first derivative of 6 + 3*a - 11/2*a**2 - 1/3*a**3. Does 16 divide j(-9)?
False
Let s(c) = 3*c**2 + 83*c + 220. Is 2 a factor of s(-32)?
True
Let t(x) = -44*x + 84. Is 7 a factor of t(1)?
False
Is (-700)/(-6) + (-10)/15 a multiple of 29?
True
Suppose -285*z + 269*z = -38256. Is z a multiple of 24?
False
Let p(n) = -8*n + 51. Let j be p(6). Let k(a) = -a**3 + 6*a**2 + 4*a - 7. Let o be k(6). Suppose -2*d + j = -o. Does 10 divide d?
True
Let a = 40 + -73. Let w = 37 + a. Suppose 105 = -0*h + 3*h + w*d, 0 = -h - 2*d + 35. Does 8 divide h?
False
Let u be -1 + 4 + 2 + -2. Suppose 0 = 9*c - u*c - 786. Let k = c - 44. Is k a multiple of 10?
False
Let k(v) = v + 245. Let u be k(0). Let t be 3 - 7/(-7)*249. Suppose 3*b - t = -2*b - 2*c, 5*b - 5*c - u = 0. Does 23 divide b?
False
Let a(x) = 38*x + 104. Is 41 a factor of a(0)?
False
Let u be 125/30 - (-2)/(-12). Suppose 180 = u*a + a. Does 12 divide a?
True
Let v = 42 + -40. Let r be 1 - ((4 - v) + -3). Is 10 a factor of (-1)/r*-164 + 1?
False
Let g be 224/(-5) - 4/20. Let f = g + 26. Is (-12)/(-4) - 1*f a multiple of 11?
True
Let a = -1105 - -1339. Does 73 divide a?
False
Is 10 a factor of ((8 - -6) + -77)*(-226)/6?
False
Let o be 450*7*14/21. Suppose -7*p - 5*p = -o. Does 17 divide p?
False
Let x = 315 + -315. Let j(a) = -13*a - 1. Let g be j(-1). Does 12 divide 36/(x - g/(-8))?
True
Suppose 276 + 300 = 6*r. Is r a multiple of 24?
True
Is 49/2*552/161 a multiple of 2?
True
Let b(m) = 25*m + 23. Is b(7) a multiple of 14?
False
Let o(s) be the second derivative of -s**5/60 - 5*s**4/12 - 5*s**3/3 - 5*s**2/2 - s. Let r(i) be the first derivative of o(i). Is r(-6) a multiple of 6?
False
Suppose 5*x - 2*x - 31 = -j, 4*j - 3*x = 49. Suppose -5*q = -j - 64. Suppose q*k - 21*k + 240 = 0. Is k a multiple of 24?
True
Let q(b) = -b**2 + 11*b + 4. Let a be q(11). Suppose -611 - 97 = -4*d - a*l, 0 = 3*d + 2*l - 526. Is d a multiple of 43?
True
Let k = 597 - 331. Is 19 a factor of k?
True
Let p = -110 + 120. Suppose 5*u - 60 = -160. Let j = p - u. Is j a multiple of 15?
True
Let w(z) = 2 + 1344*z - 2 - 1361*z. Let n be (-1 + -1)*6/4. Is w(n) a multiple of 11?
False
Let j be 210/12*(-36)/(-10). Suppose 0 = -2*q - u + j, q + 2*u - 15 = 7*u. Does 16 divide q?
False
Let y(l) = 212*l - 286. Does 14 divide y(10)?
True
Suppose -4 = -2*n + 5*z, 4*z = 3*z - 4. Let x be n/3*15/(-10). Suppose x*t - 7*t = -18. Is 5 a factor of t?
False
Is 8/6 + 6066/27 + -6 a multiple of 21?
False
Let q = -8 - 1. Let z be ((-40)/(-3))/(-4)*q. Suppose -a + z = a. Is a a multiple of 12?
False
Let r = -26 + 64. Suppose r = 3*n - 271. Suppose 4*u - 275 = -u + q, 0 = -2*u - q + n. Is 11 a factor of u?
False
Suppose -10*j - 3*x - 2540 = -14*j, -x = -4*j + 2548. Is 20 a factor of j?
False
Let m be (-4)/(-10) - 2048/20. Let b = m - -190. Is 15 a factor of b?
False
Let w = 313 + -117. Is w a multiple of 7?
True
Let p(b) = -b**3 - 12*b**2 - 14*b - 27. Let y be p(-11). Is 13 a factor of y/(-21) - 12*(-124)/14?
False
Suppose 18*j - 8640 = -9*j. Does 16 divide j?
True
Does 101 divide (-12)/(-40)*-2 + (-58412)/(-20)?
False
Suppose -5*o = -4*o - 5*b - 26, 4*o - 29 = 5*b. Does 7 divide o + (0 - 20/(-2))?
False
Suppose 5*t - 416 = -f + 340, -2*t - 3002 = -4*f. Is f a multiple of 24?
False
Suppose -14*p - 6094 + 718 = 0. Let f = p + 543. Is f a multiple of 37?
False
Let p = 3541 - 2551. Is 45 a factor of p?
True
Suppose -2*f - 12 - 6 = 0. Let y = -42 - -22. Let m = f - y. Does 9 divide m?
False
Let a be 2/(-8) + (-90)/(-40). Suppose a*q - 136 - 42 = 0. Is q a multiple of 17?
False
Let j(z) = -z**2 - 11*z - 17. Let v be j(-9). Let h(i) = 94*i**3 - i**2 + 1. Does 23 divide h(v)?
False
Suppose 14 - 4 = 5*r, -5*t - 294 = 3*r. Let b = t - -139. Let o = -56 + b. Is o a multiple of 23?
True
Suppose 0*s - s = 4*a + 287, 2*a - 2*s + 136 = 0. Let g = -50 - a. Suppose 0 = -2*n - 5*q + g, 5*n + 3*q - 8 = 35. Is n a multiple of 8?
True
Let v(i) = 7*i**2 + 137*i - 54. Is v(-22) a multiple of 51?
False
Suppose -18*d = -24*d + 12. Suppose -4*n - 5*q + 10 = -24, q = -d*n + 20. Does 11 divide n?
True
Let g be (2/(-6))/((-22)/594). Is 6 a factor of 12/9*(g + 0)?
True
Suppose 21*n - 3782 = 2308. Does 5 divide n?
True
Let x(z) = z**3 + 2*z**2 + 5*z + 3276. Is 117 a factor of x(0)?
True
Suppose 8*w - 2*w = 24. Suppose w*s - 8*s = -288. Is 24 a factor of s?
True
Let f(o) = -40*o**3 + 4*o**2 + 8*o + 15. Does 87 divide f(-3)?
False
Suppose -2*m = -5*m + 24. Suppose b - 2*c + m = 0, 2*c + 0 = -b + 8. Does 11 divide (-3 + -10)/(-1 + b)?
False
Let r(i) = -i - 1. Let c(t) = -27*t - 21. Let b(h) = c(h) - 15*r(h). Does 19 divide b(-10)?
True
Let z = 23 + -20. Suppose 0 = z*n + i - 221, 3*i + 57 = -n + 2*n. Is 24 a factor of n?
True
Suppose 3*a = 12*a - 27. Does 3 divide a?
True
Let i = 7 - -40. Let v be 26/(-91) - 164/14. Let p = i - v. Is 11 a factor of p?
False
Let h(r) = 19*r + 35. Let m be h(20). Let o = m - 181. Does 18 divide o?
True
Let z(c) = -c**3 - c**2 - c + 6. Let b be z(0). Suppose -4*u = -10 - b. Suppose -u + 20 = x. Is x a multiple of 12?
False
Suppose 8*u + 711 = 3327. Does 24 divide u?
False
Suppose z = 2*z - 30. Suppose n - 3*n - z = 0. Does 8 divide (-3 + n)*-1 - 2?
True
Let q be -2 + 4 - 2*7. Suppose 4*n + 44 = -l, 0*l = 2*l - 2*n + 138. Is (q - -15)/((-3)/l) a multiple of 11?
False
Suppose 902 = 4*g - 46. Does 3 divide g?
True
Let y(t) = t**2 + 12*t + 21. Let c(g) = -g - 5. Let j be c(5). Let q be y(j). Is ((-16)/4 - -13) + q a multiple of 6?
False
Suppose 127 = -15*c - 53. Is (-4)/24*-74*c/(-4) a multiple of 11?
False
Let p = -11 + -1. Let h = p - 0. Is 10 a factor of 8/h - (-122)/3?
True
Let g(m) = 13 + 9*m - 1271*m**2 + 2559*m**2 + m**3 - 1277*m**2. Let f = 26 - 36. Does 10 divide g(f)?
False
Suppose 2058 - 7008 = -10*o. Is 28 a factor of o?
F