u + 12323 = 0. Is 110 a factor of t?
False
Suppose 5*r - 45843 = 3*y, 7*r - 9*r - 5*y = -18300. Does 47 divide r?
True
Let y(c) = -1671*c - 4701. Is y(-19) a multiple of 276?
True
Let b = -236 - -236. Suppose b = 2*s - 451 - 121. Is 12 a factor of s?
False
Let m = 225 - 226. Does 5 divide 75055/425 - (m + 8/5)?
False
Let p(u) = -13*u + 19*u - 8*u + 47 - 3*u. Is 6 a factor of p(-15)?
False
Let m(u) = 4*u**2 - 7*u - 16. Let s(r) = 8*r - 22. Let t be s(2). Is 17 a factor of m(t)?
True
Suppose -53*x - 24857 + 91076 + 71157 = 0. Does 144 divide x?
True
Let r(q) = -6*q + 138. Let s be r(16). Let i = 76 - s. Is i a multiple of 34?
True
Is 14 a factor of 5235 - (-38)/((-114)/(-45))?
True
Let i = 122347 - 178457. Is 2/(-8) + i/(-248) a multiple of 24?
False
Suppose 2*p = -h + 4*p - 8, 0 = h - 3*p + 13. Let q be 0/(3 - 2 - h). Suppose q = -2*w + 7*w - 375. Is w a multiple of 20?
False
Let n = 3 + 1. Suppose -n*l - 4*l = -0*l. Let r = l - -18. Is 4 a factor of r?
False
Let i(n) = -818*n**2 - 4*n - 5. Let z be i(-1). Let h = -603 - z. Is h a multiple of 39?
False
Let f(n) = 1928*n**2 - 44*n + 12. Is 93 a factor of f(-2)?
True
Suppose -11*n - 15 = 7. Let m(x) = -46*x - 37. Is m(n) a multiple of 3?
False
Let b = 31 + -31. Let m(f) = -f**3 - f**2 - f - 951. Let w be m(b). Is 20 a factor of w/(-12) - (-3)/(-12)?
False
Let s = -1359 - -2389. Suppose 0 = 5*d + 5*l - s, -3*d + 2*l = -2*l - 590. Is d a multiple of 29?
False
Suppose 5*m - 4810 - 12132 = -2*g, m = 4*g - 33928. Is g a multiple of 91?
False
Let w(a) = -a**2 - a - 15 + 2*a**2 + a - 6*a. Suppose -5*j + 3 + 52 = 0. Does 5 divide w(j)?
True
Is 3 a factor of -2*6/8 + 3240/48?
True
Let p(c) = 20*c**3 - 65*c**2 + 80*c + 24. Let g(o) = 9*o**3 - 32*o**2 + 40*o + 12. Let u(z) = 9*g(z) - 4*p(z). Is u(27) a multiple of 33?
True
Let r(c) = 5*c**2 + 10. Let l be r(3). Let z = l - 52. Suppose 3*v - z*n = 417, -4*n = 5 - 1. Is v a multiple of 23?
True
Let w be -6 + 8 - -1 - (-1 - 158). Does 12 divide (-7200)/135*w/(-8)?
True
Let z = 247 - 214. Let m(o) = -o**2 + 37*o + 17. Does 9 divide m(z)?
False
Let z(x) = 13*x + 139. Suppose -229*r + 228*r = -6. Is z(r) a multiple of 3?
False
Let x = -9837 - -18406. Suppose -41*o + x = -0*o. Is 19 a factor of o?
True
Let k(b) = 150*b - 2088. Does 93 divide k(22)?
False
Suppose 2*t - t - 4*k = -14, 2*k = -3*t + 28. Let i(n) = n**2 - 8*n + 14. Let w be i(t). Suppose 5*j + 5*s - 2*s - 566 = 0, -236 = -w*j + 2*s. Does 23 divide j?
True
Suppose -577668 = -83*v + 37*v. Is 12 a factor of v?
False
Suppose 6200 = 2*r + 4*f, 6205 = 4*r + 2*f - 6201. Is r a multiple of 22?
True
Let n be -1 - (-3 + 2 + -68). Let h = -1223 - -1243. Let p = n - h. Is p a multiple of 7?
False
Suppose 28711 = -l + 3*l - y, 0 = 2*l - 2*y - 28710. Is 50 a factor of l?
False
Suppose 9417 = a - 2*z - 0*z, -16 = -4*z. Does 129 divide a?
False
Let a(h) = 3*h**2 - 7*h + 10. Let x be a(4). Let v be 3/((-1 - 1)/x). Does 18 divide (v/(-12))/((-4)/(-192))?
True
Let f = 544 + -545. Does 48 divide ((-4632)/36 - 1/3)*f?
False
Suppose -5*w + 3*m = -30165, w - 31*m - 6011 = -26*m. Is 33 a factor of w?
False
Let s be (-6 - 51/(-9))*(36 + -3). Let h(g) = 3*g**2 + 11*g + 9. Is h(s) a multiple of 13?
False
Suppose -22*j = -21*j - 2. Suppose -5*f = -4*f - j. Suppose h - 12 = 3*i, 5*i = -4*h + f*i + 3. Is h even?
False
Suppose 2*p - 3*p + 598 = 0. Let b = 1053 - p. Is b a multiple of 35?
True
Suppose -2*s + 1 = 7, 3*s = 3*p - 144. Suppose -22 = -14*l + 3*l. Is (l - 6 - 1) + p a multiple of 4?
True
Suppose -4237 = 2*s - 22027. Is s a multiple of 15?
True
Suppose -v + 2*t = -11114, 21*v = 19*v - 3*t + 22277. Is 14 a factor of v?
False
Suppose 0 = -3*i + 325 + 3860. Is i a multiple of 31?
True
Suppose 33*w - 43*w = -1090. Suppose -3*g + 5*f - 255 = 0, -5*g + f - 394 = 3*f. Let k = w + g. Does 19 divide k?
False
Let a be (286/(-4) - 2)/(18/180). Does 15 divide a/42*(-264)/10?
False
Let y be (-7)/4*-4 + -4. Suppose y*b - 693 - 522 = 0. Does 9 divide b?
True
Let c = 50 + -50. Suppose 1740 = 2*p - 4*a + 9*a, 3*p - a - 2576 = c. Is p a multiple of 47?
False
Let q(m) = 25*m**2 - m - 5. Let y be q(3). Let s = 346 - y. Is s*(-4 - (-13)/3) a multiple of 6?
False
Let o(q) = -4*q + 52. Let s be o(10). Suppose 0 = s*f - 14*f + 492. Is 41 a factor of f?
True
Suppose 0 = 7*k - 5*k - 8. Let n(z) = 2*z**3 + 5*z**2 - 13*z + 1. Let g be n(k). Suppose s - g = -4*h, 3*h - 2*s - 78 = 37. Is h a multiple of 6?
False
Let v = -11694 - -19871. Is v a multiple of 17?
True
Suppose -4*l + 1314 = 3*z - 475, -4*z = -5*l - 2406. Suppose -z = -o + 4*m - 65, 1650 = 3*o + 4*m. Is 8 a factor of o?
False
Suppose -66159 = 4*j - 34*j - 15009. Does 155 divide j?
True
Suppose -8*y - 15540 + 50612 = 0. Is y a multiple of 8?
True
Suppose 4*k - 1178 - 3418 = 5*w, -9144 = -8*k - 2*w. Does 3 divide k?
False
Suppose 99*b + 189242 = 565873 + 424972. Is 52 a factor of b?
False
Suppose 14*q + q = 105. Suppose 585 = 5*m + 3*x, 9*x - q*x = 4*m - 446. Is 38 a factor of m?
True
Suppose -4*r - 36 = -10*r. Suppose -39 + r = -3*z. Suppose -z*k + 533 = -490. Is k a multiple of 22?
False
Let x = 73 - 154. Let g = -261 - x. Is ((-6)/(-8))/((-3)/g) a multiple of 19?
False
Let h(z) = -3*z**2 - 20*z - 4. Let q be 3*((-3)/1 - (-48)/12). Suppose -17 = 4*l - q*s, -3*l - 3 - 7 = -5*s. Is h(l) a multiple of 11?
False
Suppose 43*m - 10716 = 8376. Is 15 a factor of m?
False
Suppose 3*n = -2*l + 41, n = l + 5*n - 33. Let j(q) = 36*q - 20. Is j(l) a multiple of 28?
True
Suppose -z - 2*v + 17894 = 4*z, 0 = 3*v + 9. Is z a multiple of 7?
False
Suppose 481 + 103 = -2*c. Let t be (4 - (-34)/(-4))/(3/c). Let u = t - 290. Does 37 divide u?
True
Let n be ((-28)/6 + 4)/(2/(-3)). Is 14 a factor of (1/(n/(-12)))/(71/(-497))?
True
Let q = -37613 + 78137. Is 72 a factor of q?
False
Suppose 0 = 2*l - 149 - 8971. Suppose 201*k - l = 193*k. Does 30 divide k?
True
Let k(i) = 1502*i - 6956. Does 49 divide k(43)?
False
Let k(o) = 14*o + 64. Let r be k(-5). Let h(p) = 2*p**3 + 11*p**2 - 17*p - 14. Does 4 divide h(r)?
True
Let g be ((-18)/15)/((-4)/(-10)). Let t be 0 - g - (-1*2 + 1). Suppose 4*y + 10 = -a + 21, -t*y - 65 = -3*a. Does 3 divide a?
False
Suppose -24 + 0 = -4*z, 0 = f + 5*z - 806. Is f a multiple of 4?
True
Let l be (-9 - -4)/(5/(-2)). Let y be (-24)/((-36)/6) + l/(-1). Is 3 a factor of 25*y + -5 + 4 + -1?
True
Let g(s) = -35*s + 17. Let d(w) = -35*w + 15. Let a(v) = -3*d(v) + 4*g(v). Is 9 a factor of a(-5)?
True
Suppose -399 = -2*q - 363. Let i = 22 + q. Is 7 a factor of i?
False
Suppose 10*s - 302 = -7112. Is (-2)/10 + s/(-5) a multiple of 17?
True
Let w(y) = y + 37. Let b be w(0). Let r = 23 - b. Let h = 22 - r. Is h a multiple of 12?
True
Suppose -63*g + 1677824 = 53*g. Is g a multiple of 3?
False
Let q = -242 - -1743. Is 8 a factor of (-21)/126 + q/6?
False
Suppose -33*r - 50827 + 680572 = 28221. Is 12 a factor of r?
True
Let h = 1325 - -1983. Is 39 a factor of h?
False
Does 2 divide 193 + 8 + -8 - 6/(-6)?
True
Let p = 308 - 284. Suppose -7400 = -16*j - p*j. Does 6 divide j?
False
Suppose -4*b = 7*b - 693. Is 30 a factor of 6*6/(-12) + b?
True
Suppose 550*t = 556*t - 39031 - 4991. Is 34 a factor of t?
False
Let c be (-2)/(6/(-921)) + 12/12. Let w = c + -100. Is 10 a factor of w?
False
Let i(w) = -w**3 - 10*w**2 - 7*w + 15. Suppose 10*c + 65 = -3*c. Let p be i(c). Let q = 134 + p. Is 8 a factor of q?
False
Let m(u) = 911*u - 5600. Does 61 divide m(27)?
False
Let x be -8 - -2 - (-16 - -4). Suppose -x*s = -3*s - 3*l - 171, 0 = 3*l + 9. Is 27 a factor of s?
True
Let r(s) = 254*s**3 - 2*s**2 + s. Let p be r(1). Suppose 91 = -30*f + 211. Suppose -3*x = x - o - 251, -f*x - o + p = 0. Does 9 divide x?
True
Let z be 4 + 948/18*3. Suppose 0 = 2*m - 2, 3*m - 417 = -3*t + z. Does 22 divide t?
False
Suppose -m + 1 = 4, 2*r = -2*m - 8. Let b be -1*r*(2 - -1). Does 28 divide (b/(-9))/(277/(-138) - -2)?
False
Suppose 19*f = -875 + 22383. Suppose -5*i - 5*n = -1105, 3*i + 2*i - f = 4*n. Does 28 divide i?
True
Let p(b) = -86*b - 12272. Is 58 a factor of p(-145)?
False
Let x = 137 - 19. Suppose 2*p = -x + 686. Is 11 a factor of p?
False
Let y(w) = -w**3 - w**2 - w - 1. Let l(m) = 8*m**2 + 12*m - 16. Let c be (-4 - -8) + -1*5. Let b(o) = c*y(o) + l(o). Is 15 a factor of b(-6)?
True
Let p(f) = 18*f - 51. Let o be p(3). Su