e k?
True
Let k = 290 + 5412. Is 199 a factor of k?
False
Let h be 86 - (-6)/18*-1*3. Let j = h + 2. Is 43 a factor of j?
False
Let l be (2223/63 - 7) + (-4)/14. Suppose 15806 = -l*o + 42*o. Does 14 divide o?
False
Let k(t) = 97*t - 67. Let p be k(-10). Let v = 1768 + p. Is 15 a factor of v?
False
Let f = -382 + 393. Suppose -c + 1057 = 4*l, 3*l = 5 - f. Is c a multiple of 28?
False
Suppose 26*x = -16*x + 504. Suppose x*k - 2901 = 3903. Is 27 a factor of k?
True
Let m(q) = 8*q**3 + 21*q**2 - 4*q - 8. Let w(z) = 7*z**3 + 19*z**2 - 3*z - 7. Let k(x) = 4*m(x) - 5*w(x). Is k(-4) a multiple of 8?
False
Is ((1 - 73)*45/(-90))/((-2)/(-108)) a multiple of 4?
True
Suppose 0 = -33*g - 6138 + 57156. Does 34 divide g?
False
Suppose -x - 306 = -435. Suppose -t + x = k - 119, 2*k + 5*t - 511 = 0. Does 9 divide k?
True
Let g(c) = -8348*c**3 - 3*c**2 + 5*c + 6. Does 26 divide g(-1)?
True
Suppose -341*u + 8836 = -340*u + b, 5*u - 44240 = 5*b. Is 7 a factor of u?
False
Let h(j) = j**3 - 2*j**2 + 106. Let g be h(0). Suppose 2*l + g = 3*l + 2*z, 86 = l - 3*z. Does 7 divide l?
True
Let q = 1935 - 1064. Suppose q - 256 = 5*d. Is d a multiple of 20?
False
Suppose 0 = 105*l - 25*l + 3188 - 38468. Is 90 a factor of l?
False
Let o be (-9 - -3)/((-2)/(-11)). Let g = -402 - -348. Let n = o - g. Is n a multiple of 11?
False
Let c(m) = -4*m + 101. Let t be c(25). Let z(k) = 195*k**2 + k - 1. Does 24 divide z(t)?
False
Suppose y - 34 = 3*c - 4, -3*y + 50 = -5*c. Is 11 a factor of (c - -7 - -1)/(2/(-484))?
True
Let u(n) = n**2 - 23*n - 87. Let v be u(27). Is (v/4)/7 - 11637/(-36) a multiple of 12?
True
Suppose -20*o - 1189 = 2031. Let j = o - -175. Is j a multiple of 9?
False
Suppose -6*t - 18 = -7*t. Let h be (-247)/(-3) - 7/21. Let i = h - t. Is i a multiple of 16?
True
Suppose 96 = 2*u + 3*l, -3*u + 144 = 2*l - 0*l. Let j(w) = 2*w - 28. Let r be j(6). Is 17 a factor of 1*u + r/4?
False
Suppose -k = -2*s + 13992, -158*s = -157*s - 2*k - 6987. Is 18 a factor of s?
False
Suppose -10992*r + 385294 = -10979*r. Is 25 a factor of r?
False
Let j be (6/4)/(2 - 5)*-6. Let n be 424/24 + (-2)/j. Let o = n - -3. Is 10 a factor of o?
True
Let a(z) = 398*z**2 + 29*z - 84. Does 15 divide a(3)?
True
Let v(b) = b**3 + 69*b**2 + 24*b + 1144. Is v(-67) a multiple of 18?
True
Let t(f) = -283*f + 28. Suppose -k - 9*l + 6 = -7*l, -3*k - 2 = l. Does 17 divide t(k)?
False
Suppose -22*m + 771095 = 135163. Is 41 a factor of m?
False
Let h = 31 - 30. Does 11 divide (-7 + 6)/h*-19?
False
Suppose 0 = 167*r - 252*r + 81353 + 149507. Is 24 a factor of r?
False
Suppose 0 = r - t - 486, -2*r + 334 = 4*t - 632. Is 5 a factor of r?
True
Suppose -2*c = -2*a, 1 + 11 = 5*c + a. Suppose 0 = c*u - 16*j + 15*j - 244, u - 4*j = 129. Is 7 a factor of u?
False
Suppose 0 = -5*m - 4*h + 1317, 0 = -3*m - 2*h - 3*h + 798. Suppose -m - 184 = -5*c. Let p = c - -42. Is p a multiple of 14?
False
Let o = 55 + -58. Let q(g) = -g**3 + 2*g**2 - 4*g + 2. Let j be q(o). Let c = j - 12. Does 7 divide c?
False
Suppose 25 = 5*q + 2*k, 6*k = 4*q + 2*k - 20. Let u(i) = -i**3 + 11*i**2 - 6*i + 11. Does 24 divide u(q)?
False
Let g be 77/(-22)*30/(-21) + 0. Is 9 a factor of g + (12 - 6 - -220)?
False
Let n = 119 + 656. Suppose -6*x = -26 - 4, 0 = -5*f + x + n. Does 4 divide f?
True
Let b(q) = -3*q**3 - 23*q**2 + 3*q + 26. Let l(a) = 3*a**3 + 24*a**2 - 5*a - 26. Let t(n) = 5*b(n) + 6*l(n). Is 27 a factor of t(-9)?
False
Let n = 6344 - 4259. Is n a multiple of 20?
False
Suppose k - 16 = -4*b, k = b + 3 - 7. Suppose d - 149 = 2*a, b*d - 562 - 28 = 2*a. Is 12 a factor of (-2)/2 + d/3?
True
Let s be ((-11)/(-14) + (-2)/7)*14. Let v(q) = 8*q + 14. Let j be v(s). Let g = j + 27. Is g a multiple of 20?
False
Let w be ((-102)/(-119))/(2 + (-27)/14). Let c be ((-63)/(-7))/((-9)/w). Is (-408)/c - 2/(-1) a multiple of 5?
False
Let a(b) = b**2 - 5*b - 12. Suppose -5*k = -3*k + 4*l - 22, -4*k = -3*l - 22. Is 2 a factor of a(k)?
True
Let w = -5056 - -5996. Is w a multiple of 86?
False
Let h be 212 - ((-3*8)/4)/(-2). Let t = h - 182. Does 3 divide t?
True
Suppose h + 7992 = 7*h. Is 19 a factor of 58/(-203) - h/(-7)?
True
Let z = -754 - -778. Suppose 0 = -4*k - 44 - 16. Does 14 divide (1/(-6) - k/6)*z?
True
Let k be 2 - (-1 + (-6)/(-3) + 9). Is k/(-2)*(-57)/(-6) a multiple of 36?
False
Suppose 30 = 5*s + 4*f, 4*s - 6 + 18 = 4*f. Suppose 0 = -2*p + 6, 126 = s*m - 2*p - 532. Is 8 a factor of m?
False
Suppose -12*u + 15*u = -2*q + 1391, 0 = 4*u - q - 1862. Is 22 a factor of u?
False
Let f(h) = -267*h**3 + 6*h**2 + 9*h - 3. Let a(x) = 267*x**3 - 5*x**2 - 8*x + 2. Let c(j) = -5*a(j) - 4*f(j). Is 79 a factor of c(-1)?
False
Let z(u) = 26*u**2 - 20*u - 484. Is 11 a factor of z(-43)?
False
Let o(d) = 151*d - 7147. Is 90 a factor of o(157)?
True
Let s(i) = i**2 + 32*i + 13. Let b(v) = -2*v**2 - 12*v + 14. Let q be b(3). Is 37 a factor of s(q)?
True
Let z(g) = 426*g**2 - 24 + 22*g + 15*g**2 + g. Is z(1) a multiple of 22?
True
Suppose t = -3*t + 9*t. Suppose 5*q - q + 8 = 3*b, t = 2*b - 4*q - 8. Suppose 4*m - 339 = -k + 649, -3*m - 2*k + 746 = b. Does 41 divide m?
True
Let n be 106/(0 - (6 + -2)/4). Let s = n - -226. Does 30 divide s?
True
Suppose 5*l = -y + 21675, -5*y - 8670 = -1380*l + 1378*l. Is l a multiple of 51?
True
Let m = -189 - -117. Let w = -59 - m. Suppose 0 = z + i - 2 - w, -9 = 3*i. Is z a multiple of 4?
False
Suppose 9*s - 104 = 13*s. Let c = s + 28. Suppose -c*v = -139 - 35. Is v a multiple of 29?
True
Let y be 12/(((-45)/8)/(-15)). Is y/(-8)*((-405)/12 - -3) a multiple of 3?
True
Let j be 153/15*1/((-6)/(-270)). Suppose -63*y - j = -72*y. Is 4 a factor of y?
False
Suppose 3*u - 70*s = -65*s + 1914, 4*s - 24 = 0. Does 2 divide u?
True
Let t be 200060/56*2/(-10)*-4. Let i = -1789 + t. Is 73 a factor of i?
False
Suppose 2*r + 3*m = -6, -2*r + 3*r = -m - 1. Suppose -r*g - 55 + 538 = 0. Is g a multiple of 5?
False
Suppose 11*u + 210 = 1893. Let y = 1142 - u. Is 32 a factor of y?
False
Suppose 13*z - 1 = 10*z + 5*m, 4*m = -z + 23. Suppose 66 = z*r - 109. Is 25 a factor of r?
True
Suppose 0 = 39*f - 24*f + 12248 - 43598. Is f a multiple of 9?
False
Suppose -3*p = -3*a + 205329, -5*p + 136921 = -15*a + 17*a. Is 24 a factor of a?
True
Is 14 a factor of (-70)/(-7) - (-4 + -25874)?
False
Let j(w) be the second derivative of 11*w**3/2 - 9*w**2/2 + 48*w - 1. Does 18 divide j(9)?
True
Suppose 0 = -4*h - 5*o - 235, 114*h - 112*h = -3*o - 117. Let t(a) = -43*a + 8. Let p be t(-6). Let y = p + h. Is y a multiple of 11?
False
Let h be (-3)/4 - (-225)/12. Is 12/h - (-6202)/21 a multiple of 74?
True
Suppose -14*b + 560 = -0*b. Let g be 26/3 + -4 + b/12. Suppose -117 = -g*n - n. Is n a multiple of 3?
False
Let a = 145 + -102. Suppose -l - 39 = -a. Suppose -4*s = l*d - 108, 4*d + 2*s = -d + 141. Is 5 a factor of d?
False
Let w(h) be the second derivative of 19*h**4/12 + 7*h**2/2 + 1868*h. Let i(c) = -c + 3. Let y be i(6). Does 22 divide w(y)?
False
Suppose -2*u - 3*w - 58 = 0, u = -3*w - 24 - 8. Let y = u - -327. Suppose -5*m + 4*v = -744, 6*v = 2*m + v - y. Is m a multiple of 22?
False
Let h(q) = 476*q**2 + 207*q + 14. Is h(6) a multiple of 25?
False
Suppose 0 = 65*g - 83*g + 34992. Suppose -130*y = -136*y + g. Is 8 a factor of y?
False
Let x be 9/((-45)/10)*(-354)/(-4). Let j = x - -343. Is j a multiple of 8?
False
Suppose -v + 0*v + 9 = 0. Let w be v/(9/20) + -1 + 5. Let y = w - -14. Is y a multiple of 38?
True
Let n(j) = 31*j + 4. Suppose -7*q = -3*q - 96. Suppose q = 6*m - 3*m. Is 36 a factor of n(m)?
True
Suppose 15*b - 91 + 16 = 0. Suppose -4 = -2*v + 3*v, 434 = 2*x + b*v. Is 7 a factor of x?
False
Let b(g) = 63*g - 831. Is 20 a factor of b(17)?
True
Suppose -2*r = -t - 48, -4*r + 0*r + 4*t = -92. Let o = 25 - r. Does 3 divide (o - 4)/((-5)/20)?
False
Let r = -531 - -533. Suppose -r*w = -z - 270, 5*w + 4*z + 675 = 10*w. Is 2 a factor of w?
False
Suppose -2155 - 8735 = -11*b. Suppose -2*r = 4*r - b. Does 11 divide r?
True
Does 116 divide (14/84 - (-2)/(-12)) + 4756?
True
Let i(x) = x + 219. Let c(d) = 11*d**2 - d - 12. Let y be c(-2). Is 9 a factor of i(y)?
False
Let t be (3/2)/((-6)/(-64)). Let w(k) = 4*k**3 + 82*k**2 + 28*k - 136. Let m be w(-20). Let y = t + m. Is y a multiple of 24?
True
Suppose 2*q + 856 = -2*v + v, q = v + 865. Let n = v + 1243. Is n a