*t. Is 6 a factor of l?
False
Let m(k) = k**3 - 3*k**2 - 3*k - 4. Let v be m(4). Suppose 4*o + 9 - 97 = v. Does 9 divide -6*(4 - o/4)?
True
Suppose -12 - 168 = -2*l. Let z = 190 - l. Does 20 divide z?
True
Let i(g) = 10*g**2 - 4*g + 9. Let k(t) = 29*t**2 - 13*t + 28. Let c(w) = -11*i(w) + 4*k(w). Let n be c(6). Suppose 6*h = n + 71. Is h a multiple of 42?
True
Is 22 a factor of 3 - (-43)/(((-10)/14)/(-5))?
False
Let a = 6 - 4. Suppose -a*u - 3*u + 25 = 0. Suppose 0 = -u*s + 11 + 84. Is s a multiple of 14?
False
Let j(r) be the third derivative of -r**4/24 + 19*r**3/6 + 3*r**2. Let h be j(6). Let q = -3 + h. Is q a multiple of 10?
True
Let m = -1130 - -1276. Is 10 a factor of m?
False
Let h(y) = -y**3 + 10*y**2 - 10*y - 11. Is h(6) a multiple of 7?
False
Let y be -27*(-3 - (0 + (-4)/12)). Let b = 88 - y. Is 3 a factor of b?
False
Let u = -217 - -616. Suppose -5*b - u = -8*b. Is 7 a factor of b?
True
Let s(z) = 137*z**2 - 2*z - 3. Let x be 3 + -1 + 6/(-2). Let b be s(x). Suppose 0*f + b = 4*f. Is f a multiple of 30?
False
Let f(w) = -2*w**3 + 19*w**2 + 12*w + 7. Let n be f(10). Is (522/n)/((-1)/(-3)) a multiple of 17?
False
Does 9 divide (-74 - -59)*2*(-146)/20?
False
Suppose 0 = 4*p - 8, -4*v - 2*p + 186 = -190. Suppose 2*k + k - 66 = 3*w, 3*w = 4*k - v. Is k a multiple of 2?
False
Let r(w) = 17*w - 5. Let b be r(9). Suppose b + 532 = 4*u - 4*d, -2*u = 5*d - 368. Does 58 divide u?
True
Suppose 4*q = -2*q + 36. Let s be 6/9*(0 + q). Suppose s*b - 15 = 141. Does 13 divide b?
True
Suppose n + 125 = -3*d, 3*d + 65 = 4*n - 65. Let f = -20 - d. Suppose m - 46 = 5*w, 4*w + f + 26 = m. Is m a multiple of 17?
False
Let m(d) = -15*d**3 + 12*d**2 + 9*d - 17. Let s(g) = -7*g**3 + 6*g**2 + 4*g - 8. Let v(u) = -6*m(u) + 13*s(u). Is 13 a factor of v(3)?
False
Let a be (-3)/(-5) + 42/30. Suppose -o - 6 = -a*o. Does 2 divide o?
True
Suppose 5*c + 3*t = 3*c + 32, -5*t + 40 = 2*c. Is 20 a factor of c/(-35) - (-142)/7?
True
Let w(u) = 2*u**3 + 4*u**2 + 4*u - 3. Does 2 divide w(4)?
False
Suppose -4*t = n + 2, 3*n = -0*n - 5*t + 1. Suppose g + n*p = 118 - 1, 0 = 3*p - 6. Is g a multiple of 19?
False
Let h = -6 + 11. Suppose 0 = -o - 2*y - 2*y + 40, 4*o + h*y = 193. Does 26 divide o?
True
Let x be -24 + 0 + 0 + -1. Let q be (6/(-9) - -1) + (-320)/24. Let a = q - x. Is a a multiple of 4?
True
Let p(s) = 4*s**3 + s**2 + 2*s - 18. Let m(u) = 7*u**3 + 2*u**2 + 3*u - 36. Let z(k) = -3*m(k) + 5*p(k). Is z(0) a multiple of 4?
False
Let a = -607 + 899. Let i be a/10 - 17/85. Let r = 27 + i. Does 8 divide r?
True
Let q = 670 + -322. Is q a multiple of 29?
True
Let v = -1 - 35. Let q = v + 46. Is 3 a factor of q?
False
Let i = 7 - 2. Suppose 513 + 167 = i*q. Suppose 48 = 4*a - q. Does 12 divide a?
False
Suppose -4*z - 12 = -2*z. Does 14 divide 1602/27 - (-2)/z?
False
Suppose 54*g = 53*g + 450. Is g a multiple of 18?
True
Suppose 0 = 2*w - 168 + 18. Suppose 0*r - 5*r - 3*q = -43, -5*r = -5*q - w. Suppose -y + 34 - r = 0. Does 22 divide y?
False
Is (-21294)/(-112) + ((-10)/16)/5 a multiple of 38?
True
Let d = 1705 - 919. Is d a multiple of 23?
False
Suppose 0 = 5*h + 4*k - 22848, 5*h + 26*k = 28*k + 22866. Is h a multiple of 36?
True
Let w(i) be the first derivative of 4*i**2 - 1/3*i**3 + 3*i - 2. Does 18 divide w(5)?
True
Suppose 2*i = -2*m + 298, 4*m = 9*i - 8*i - 139. Is i a multiple of 69?
False
Let n(a) = a**2 + 13*a + 34. Suppose -3*v + 21 = 2*w + 54, -4*w = -3*v + 57. Is n(w) a multiple of 7?
False
Suppose 10 = 6*v + 4*v. Is 47 a factor of (2 - v)/(-5) + 11620/100?
False
Let k be 16/(-3)*3*-1. Let y(b) = 1 + k*b + 2 - 2 - 5. Is y(3) a multiple of 22?
True
Let n(u) = -2*u. Let o be n(-7). Let m = 18 - o. Suppose 62 + 20 = r - h, r - m*h - 97 = 0. Does 17 divide r?
False
Let s(g) be the second derivative of 19*g**5/10 - g**4/4 + g**3 - g**2 - 14*g. Let r be s(2). Suppose 4*l - r + 14 = 0. Is l a multiple of 18?
True
Suppose 0 = -3*a + 5*a - 8. Suppose 0 = u + a*u. Suppose -3*z + u*z = -42. Does 7 divide z?
True
Let r(a) = 456*a**3 + a**2 + 2*a - 2. Let y be r(1). Suppose c + y = 2*v + 186, 3*v = -5*c + 439. Does 16 divide v?
False
Suppose 9*v - 153 - 198 = 0. Does 3 divide v?
True
Let d(z) = -4*z**2 + 6*z - 2. Let n be d(5). Does 9 divide n/(-32)*(20 - 0)?
True
Let o = -309 + 127. Let b = -126 - o. Is 11 a factor of b?
False
Suppose 4*c + 90 = 2*t, 5*c - 51 + 145 = 2*t. Let j = 76 - t. Is j a multiple of 16?
False
Suppose 4*g - u - 371 = -g, -217 = -3*g + 2*u. Suppose -3*t + 69 + g = 0. Does 12 divide t?
True
Suppose -3*n = -4*n - 3*g + 9, -5*g = n - 17. Let v be 3/((-9)/n)*1. Is 6 a factor of ((0 - v) + -2)*-6?
True
Let n = 1060 + 270. Is 64 a factor of n?
False
Let y = -1903 + 2763. Does 43 divide y?
True
Let b(h) = -5*h**2 + 27*h + 2. Let g be b(5). Suppose 4*a - 2*a - g = 0. Does 4 divide a?
False
Suppose i + 2*i - 15 = -r, 3*i + 4*r - 24 = 0. Is 4 a factor of i?
True
Suppose -3*k = -4*b - 427, -b - 117 = -5*k + 589. Let c = k - 115. Is c a multiple of 2?
True
Suppose 4*j = 7*j - 12. Is 12 a factor of j/18 + (-5235)/(-135)?
False
Does 15 divide (-2)/(-8) - 7095/(-20)?
False
Suppose -5*b = -519 + 119. Suppose 2*a + 8 - b = 0. Is a a multiple of 12?
True
Let b(c) = -c**2 + c + 1. Let r be b(1). Let u(f) = 9*f**3 + 3*f - 2*f**3 - f - 1. Is u(r) a multiple of 7?
False
Let k be 2/(-3) - (-344)/3. Is -1 + -5 + k + 0 + -3 a multiple of 21?
True
Suppose -20*u = -25*u + 25. Suppose -4*w = x - 2 - 2, 73 = 2*x - u*w. Does 6 divide x?
True
Let n be (21 - 22)*(0 - (2 + 0)). Suppose -20 = -n*k + 10. Is 3 a factor of k?
True
Let o be (12/3)/(-4)*(-2 + -3). Let h(l) = 4*l**2 - 5*l + 13. Is 8 a factor of h(o)?
True
Let o(y) = -48*y - 12. Is 38 a factor of o(-5)?
True
Let w(p) = p**3 - 3*p**2 + 2*p - 2. Let f be w(4). Suppose g = 5*d - 141, -3*d + f + 57 = -2*g. Let c = 43 - d. Is 2 a factor of c?
True
Let x = 12 + -14. Let v be 0/2 + x - -13. Does 16 divide v/(-2 - (-18)/8)?
False
Let i(m) = 3*m + 10. Let t(z) = 2*z + 2*z**2 - 2*z - z**2 + 2*z. Let a be t(-4). Does 7 divide i(a)?
False
Let i be (-2)/(-3 - -2 - 1/(-2)). Let s be 203/5 - (-2)/5. Suppose i*y + s - 109 = 0. Does 9 divide y?
False
Suppose 0 = 76*u - 80*u + 4080. Suppose 17*z - u = 7*z. Does 51 divide z?
True
Suppose 4*g + 5*n = 175 + 488, 2*g - 369 = 5*n. Is 3 a factor of g?
False
Suppose 3*o + 10 = 8*o. Suppose o = -5*w + 32. Suppose -w*g = -g - 145. Is g a multiple of 29?
True
Suppose -92 = -3*r + 2*x, -9*r + 4*x = -5*r - 124. Is 12 a factor of r?
False
Suppose 0 = 3*p + p. Suppose t - 15 = -u, p*t - t = 2*u - 29. Suppose 2*l - 54 = -u. Is l a multiple of 10?
True
Suppose 270*s + 417 = 273*s. Is s a multiple of 47?
False
Let u(f) = 4*f + 12 + 5*f - f - 4*f. Let r be u(10). Suppose 123 = 5*n - 3*x, 2*n - 3*x - r = x. Does 6 divide n?
True
Let l = -1134 - -2122. Is l a multiple of 13?
True
Suppose -h + 3*t = -0*t - 1080, -2160 = -2*h - 5*t. Is h a multiple of 24?
True
Let u(s) = s**2 - 10*s + 13. Let k be u(11). Let i be (3/(-2))/((-36)/k). Is 6 a factor of i/(4 + 535/(-135))?
False
Suppose -4*s + 13*s - 27 = 0. Suppose -3*n = -2*n - 2. Suppose -s*g = -n*g - 32. Does 10 divide g?
False
Suppose 5*a - 3*a - 4*s - 210 = 0, 2*a + 4*s = 194. Suppose -4*r = -4*m + m + a, 5*r = 5*m - 165. Is m a multiple of 4?
False
Suppose 17*j = 11*j + 744. Let r = -93 + j. Does 5 divide r?
False
Let s = 33 + -20. Let k(n) = -n**2 + 8*n - 5. Let z be k(s). Let m = z - -103. Does 11 divide m?
True
Let c be 19 + 0/(-5) + 2. Suppose 4*h = -c + 173. Does 26 divide h?
False
Let i(z) = -z**2 - 20*z - 11. Let c be i(-16). Let y = c - 28. Does 25 divide y?
True
Suppose 9*m = 1850 + 19795. Is m a multiple of 109?
False
Let j(p) = -p**3 - 15*p**2 - 23*p + 9. Let y be j(-12). Is 0 - 2 - y - -4 - -3 a multiple of 38?
True
Suppose -1812*j + 1816*j = 6956. Does 15 divide j?
False
Let v(t) = -t**3 - t**2 + 4*t + 4. Let y be v(-3). Suppose 12*f = 10*f + y. Suppose 123 = f*h - 157. Does 20 divide h?
False
Let g = 701 + -627. Let s(j) = -5*j - 3. Let m be s(6). Let z = g + m. Is z a multiple of 10?
False
Let b(s) = 2*s**2 - 17*s + 13. Let u(z) = -2*z**3 - z**2 - z - 2. Let r be u(-2). Is b(r) a multiple of 17?
False
Let b = 25 - -27. Is 4 a factor of b?
True
Let f(q) = -2*q - 7. Let c be f(-7). Let u = -4 + c. Let h(y) = y**3 - y**2 - y. Does 7 divide h(u)?
F