
False
Let d(l) = l**2 + 14*l + 80. Let f be 3 - 2*(-9)/(-6). Is 16 a factor of d(f)?
True
Suppose -5*r = 5*z - 13725, 4*r + 3*z - 5245 - 5737 = 0. Does 111 divide r?
False
Let a(l) = 5799*l - 12816. Does 21 divide a(9)?
True
Suppose -5*u - 18 + 28 = 0. Suppose -k - u*k = -15. Is 10 a factor of k*(4 - (1 - 1))?
True
Let v be (-3 - -4)*(-2 - -1 - -1). Suppose 3*f = -v*f + 5*x - 88, -x + 132 = -5*f. Let l = f + 54. Is 17 a factor of l?
False
Let j(m) = 2*m**2 - 18*m - 41. Let a be j(10). Let u(w) = w - 1. Let b(s) = 6*s - 63. Let g(c) = -b(c) + 2*u(c). Does 36 divide g(a)?
False
Let x be 5 + -9*1/1. Does 2 divide 1134/12*(x/(-3))/2?
False
Let d(c) = c**2. Let f be d(2). Let g(a) = a**3 - 8*a**2. Let p be g(f). Let z = p + 128. Is z a multiple of 8?
True
Suppose -15 - 5 = -5*o. Suppose 3*j = m - 3 + 2, o*m - j = 15. Let t = m - -9. Is t a multiple of 12?
False
Let d(a) = 5*a - 43. Let f be d(9). Suppose -114 = -f*h + 46. Let b = h - -22. Is b a multiple of 6?
True
Let a(c) = -c**3 - 5*c**2 - 2*c - 2. Let i be a(-5). Let v(u) = 300*u + 5 - 474*u + 184*u. Does 18 divide v(i)?
False
Suppose -5*a + 75 = 5. Let h be a + -12 + 0 + 30. Suppose -j = 5*n + j - 95, 2*n + 2*j = h. Does 7 divide n?
True
Suppose 4*c - 7844 = -2*y, -14*c + 16*c = y + 3906. Does 12 divide c?
False
Let i be (0 - 0 - -1) + -16. Let g(v) be the first derivative of v**3/3 + 11*v**2/2 - 29*v + 565. Does 15 divide g(i)?
False
Let v(q) = 646*q + 3394. Does 27 divide v(-4)?
True
Let h(o) = o**2 - 10*o - 39. Let r be h(17). Suppose r*a - 1914 = 74*a. Does 21 divide a?
False
Let m(k) = 2*k**2 + 17*k + 23. Let t be m(-7). Suppose 3264 - 1191 = -4*u + 5*d, 5*u + 2616 = -t*d. Is u/(-6) + 3/1 a multiple of 18?
True
Suppose 5*t + 2 - 22 = 0. Suppose 6*i = -3*o + 2*i + 12, -t = -o - 2*i. Suppose -o*d + 360 = -44. Is d a multiple of 16?
False
Does 13 divide 1378 - (17 - 4 - 26)?
True
Let x(k) be the second derivative of -3*k**3/2 - 10*k. Let c be x(-2). Let q = 34 - c. Does 13 divide q?
False
Suppose 6*p + 113*p - 815388 = 0. Is 18 a factor of p?
False
Suppose 5*z + k = -3*k + 28, -k + 10 = 2*z. Let w(a) = 55*a**2 + 8*a - 2. Does 13 divide w(z)?
True
Let z(x) = -4*x**2 + 36*x - 62*x + 5 - 3*x**3 + 27*x. Does 6 divide z(-3)?
False
Let v(m) be the third derivative of -4*m**2 - 1/60*m**5 - 1/24*m**4 - 17/60*m**6 + 0*m + 0 - 1/6*m**3. Is 3 a factor of v(-1)?
True
Suppose 5350 = 8*a + 998. Suppose 10*q + a = 14*q. Is q a multiple of 17?
True
Let v(x) = 2*x**2 - 8*x - 6. Let g be v(7). Suppose -14*t + g*t = 25740. Is t a multiple of 13?
True
Suppose 0 = -2*i + 3*r + 66, -2*i - 105 = -5*i + 3*r. Suppose 0 = y + i*y - 5040. Is y a multiple of 4?
False
Suppose -4*k + 51928 = 4*g, -2*k = -4*g + 62280 - 10364. Is g a multiple of 31?
False
Suppose 0 = 2*k - 5*f - 28, -19*k + 17*k - 4*f - 8 = 0. Suppose 16 = -5*x - k, 3*s - 3*x = 312. Is 10 a factor of s?
True
Let c be (23/69)/((2/6810)/1). Suppose -2*d + 1100 = 5*g + d, -5*g + 4*d = -c. Is 24 a factor of g?
False
Suppose -2*c = -2*m + 146, 3*m + 5*c = 2*c + 231. Suppose -109*y = -104*y - m. Suppose -11*l - 72 = -y*l. Is l a multiple of 9?
True
Let d(h) = 11*h**2 - 108*h + 707. Is d(6) a multiple of 2?
False
Let x(c) = -c**3 - 9*c**2 - 3*c - 13. Let w(b) = -b**2 - b - 9. Let m be 2 - (2 - 1) - 1/1. Let r be w(m). Is 7 a factor of x(r)?
True
Let u(x) = 5*x + 2. Let p be u(9). Let o = p + -35. Suppose 5*y + o = 11*y. Is y a multiple of 2?
True
Let n be (-60)/(-15) - -4*2. Does 14 divide (n/(-10))/(9/(-4320))?
False
Suppose -14 = 5*v + 161. Let u = 48 + v. Suppose u = -3*n + 370. Is n a multiple of 12?
False
Suppose 4*j - 949 = y, 3*j - 577 = 3*y + 128. Let o = j + 82. Does 10 divide o?
True
Let j be -3 - -6 - (14 - 9). Does 75 divide ((-264)/198)/(j/450)?
True
Suppose -4*f = -16, -4*m + f + 0*f + 80 = 0. Let g be (-21)/m*(-1 + -4). Suppose -g*v + 9 = -6. Is 2 a factor of v?
False
Let k = 31492 + -9324. Is k a multiple of 68?
True
Let u(b) = 21*b + 4. Suppose 5*q + 111 = -89. Let x be ((-3)/(-12))/((-10)/q). Does 17 divide u(x)?
False
Let n = 2457 - 1068. Let x = n + -913. Does 38 divide x?
False
Suppose -45*j = -41*j - 5*g - 21733, 4*j = -2*g + 21782. Is 6 a factor of j?
True
Suppose 114*b + 5*p = 111*b + 43342, -8 = -4*p. Is b a multiple of 76?
False
Suppose 2*x - 58 = h, -2*x - 3*h = -40 - 26. Let k = x - 10. Is 9 a factor of 456/k*((-57)/(-6) + -2)?
True
Let r be ((-3)/(-6))/(4/856). Suppose 98*h = r*h - 567. Is 63 a factor of h?
True
Let j = -61 - -45. Let z(k) = k**3 + 16*k**2 - 12*k + 54. Is z(j) a multiple of 15?
False
Is 28/406 - 2521970/(-638) a multiple of 97?
False
Let s = -67 + 69. Let g be -145 + s + 2 + -1. Is -1 - (4 + g)/3 a multiple of 7?
False
Suppose 16 = -4*w, -6*w - 35 = -5*f - w. Is 24 a factor of (180/25)/(f/30)?
True
Let p(t) = -t**3 + 5*t**2 + 5*t + 5. Let u be p(6). Let n be -10*(-12 - -3 - u). Suppose 0 = q - 2*g - n, q - 6*q = 2*g - 460. Does 9 divide q?
True
Let y be 5*(-1 + (-28)/(-20)). Suppose -o = 2*r + y - 3, 4*o = 5*r - 35. Suppose -7*s - r*s = -60. Does 6 divide s?
True
Let s(f) = 7*f**3 - 112*f. Is 49 a factor of s(11)?
True
Suppose 775 - 2975 = -10*m. Let h = m + 159. Is 24 a factor of h?
False
Let y(p) be the third derivative of 19*p**4/8 - 15*p**3/2 + 83*p**2. Does 9 divide y(6)?
True
Let g(o) = o**3 + 7*o**2 + 3*o + 6. Let j be g(-6). Let l = 23 - j. Is 17 a factor of 85*3/(-3)*l?
True
Suppose -74*w + 80315 = 150933 - 548806. Does 6 divide w?
True
Suppose -1346 + 10234 = 11*l. Does 8 divide l?
True
Let g = -134 - -139. Suppose g*h - 5*t + 6*t = 643, -4*h + 2*t + 520 = 0. Is h a multiple of 5?
False
Is 38 a factor of (-144060)/(-50) - 2/10?
False
Suppose -9*x = 78*x + 93*x - 287100. Is x a multiple of 5?
True
Let u = -1080 + 2024. Let i = -732 + u. Does 5 divide i?
False
Let o(y) = -4*y - 14. Let g be o(-4). Suppose 2*c = -r - 1, g*r - 19 = 3*c + 7. Suppose -2*l = -r*l + 325. Does 18 divide l?
False
Let y(g) = g**3 - 7*g**2 + 9*g - 6. Let p be y(-10). Let j = p - -1042. Let t = -494 - j. Does 24 divide t?
False
Let x(y) = -20 + 4*y + 88*y**2 + 91 - 83*y**2 - y. Does 14 divide x(12)?
False
Suppose -6*f + 49747 = -4*p - 53969, f - 2*p - 17286 = 0. Is 129 a factor of f?
True
Let z = 220 + -105. Suppose 3*g - 121 = -z. Suppose 0*r = 5*a + g*r - 488, -2*a + 188 = -r. Does 6 divide a?
True
Let r(b) = 184*b**2 - 226*b - 46. Does 128 divide r(-11)?
True
Let o(w) = w**3 + 24*w**2 - 46*w - 14. Let m be o(-23). Suppose 0 = 7*s - m - 5707. Does 13 divide s?
True
Suppose 0 = -5*o - 7*o + 48. Is (-1 - o/(-8))/((-1)/828) a multiple of 23?
True
Suppose -1166 - 1661 = -3*g + 2*y, -4*g = 4*y - 3796. Suppose -613*k = -608*k - g. Is k a multiple of 27?
True
Suppose 3*x + 4*f - 8928 + 1874 = 0, -2*f + 4704 = 2*x. Is 5 a factor of x?
False
Let t = 1518 + 701. Let u = t + -1023. Is u a multiple of 26?
True
Let j = 1347 + -2188. Let t = j + 1260. Does 11 divide t?
False
Suppose 0 = -2*d - 2*f, 0 = -3*d - d - 3*f + 4. Let r(l) = 34*l - 102. Is r(d) a multiple of 12?
False
Suppose 4*q - 4*l + 28 = 0, -11*q - 5*l - 45 = -6*q. Does 31 divide 124/(-3)*(111/(-6) - q)?
True
Let q be 4/(-6) - 5/15. Let b(a) = 184*a - 26. Let w(y) = -184*y + 23. Let x(j) = 6*b(j) + 7*w(j). Does 27 divide x(q)?
True
Let a be ((-75)/12)/((-1)/36). Let t = a + -100. Is 4 a factor of t?
False
Suppose 0 = a - 2*i + 2, 0 = 2*a - 6*i + 4*i. Suppose -2*m - a*m + 288 = 0. Suppose 5*x - 45 = -s, -x - m = -s + 3*x. Does 28 divide s?
False
Let s(m) = m**3 + 5*m**2 + 10*m + 16. Let x be s(-3). Suppose -x*w + 55 = -65. Is w a multiple of 15?
True
Let o be ((-1 + -13)*5)/(24/(-24)). Is 27 a factor of 11174/18 - o/(-315)?
True
Suppose -16 = -4*w, -7*r + 3*r = 4*w - 1564. Suppose -2*t + t = -r. Suppose -8*g + t = -245. Is 16 a factor of g?
False
Let o = -580 - -4363. Suppose -33*u + o = -20*u. Is 45 a factor of u?
False
Suppose -1437 = -2*j + 513*g - 516*g, -2*j - 4*g + 1436 = 0. Is j a multiple of 4?
True
Suppose -27760 = 4*l + 16*l. Let q = -850 - l. Does 39 divide q?
False
Suppose -103*a = -105*a + 3*o - 10, 4*o - 40 = -4*a. Suppose 7*z - 2*z + 120 = 0. Is 41 a factor of ((-97)/a)/(51/z + 2)?
False
Suppose 0 = -4*h + 3*f + 3296, -h + 5*f + 517 = -290. Let k = -107 + h. Does 5 divide k?
True
Let s(x) = 5*x - 3. Let a be s(2). Suppose -a*y + 876 = -13*y. Let i = y + 302. Does 22 