 Suppose 4*c - j = -2*l - 2*l, c = 2*l + 108. Does 20 divide c?
True
Suppose 0 = -u + 3*i + 255, -4*i - 835 = -3*u - 9*i. Suppose 5*n = 5*k + 300, 0*k + k = -5*n + u. Does 11 divide n?
True
Let q = 3216 + -268. Is 9 a factor of q?
False
Let d = -38 - -486. Suppose 11*u - d = 3*u. Is 28 a factor of u?
True
Is 1444 + 0 + -6 + 5 a multiple of 37?
True
Let m = -67 - -26. Let k = 101 + m. Is 30 a factor of k?
True
Suppose -5*s + 53 = 2*l, -4*l + s = -3*s - 120. Suppose l*j + 801 = 38*j. Does 4 divide j?
False
Suppose 837 = 5*r - 2*r. Suppose r = 9*g - 180. Is 6 a factor of g?
False
Suppose -3251 = -23*v + 1027. Is v a multiple of 31?
True
Let l be (-6)/(5/60*2). Let m = 84 + l. Is 16 a factor of m?
True
Let w be (2 + (-5 - -4))*-70. Let g = 215 + w. Does 29 divide g?
True
Suppose 2*h - 19 = -h + 4*k, 0 = -2*h + 5*k + 1. Suppose h*v - 16 = 9*v. Suppose 3 + v = b. Is b a multiple of 4?
False
Let q = 1 - -7. Suppose -2*h - q = -6*h. Suppose -h*y - 5*b = -120, 0 = -5*y + 4*y - b + 57. Is y a multiple of 44?
False
Is 11 + 8493*7/21 a multiple of 29?
True
Suppose 4*u + 0*p - 3*p = 67, -4*p = -2*u + 26. Let a(l) = -3*l - 43. Let b be a(-17). Let z = u - b. Is z a multiple of 11?
True
Is 45 a factor of 19/((-133)/(-21)) + (691 - 0)?
False
Suppose -3*h + 5*m + 483 = 2*m, -4*h + 3*m = -646. Does 9 divide h?
False
Let l = -431 + 520. Is l a multiple of 2?
False
Let t(y) = y - 5. Let p be t(18). Is 11 a factor of (-13)/(p/(-30)) + 4?
False
Let h(o) be the third derivative of -o**4/8 + 17*o**3/2 - 5*o**2. Does 5 divide h(-15)?
False
Suppose -128 = 5*k + i, 2*i - 7*i - 90 = 3*k. Let u = k + 28. Suppose 38 = 2*w - u*o, -3*w + 3*o + 0*o + 63 = 0. Does 17 divide w?
False
Suppose -2*m = n - 133, -4*n = -3*m + 6*m - 187. Suppose 3*w - 138 = 6*w. Let h = m + w. Is h a multiple of 6?
False
Let m be (-2)/8 - 365/(-20). Suppose -l - 5*f = -f - m, -3*l = 5*f - 89. Is l a multiple of 12?
False
Let q(p) = p**3 + 4*p - p - 2 - 3*p**2 + 12*p. Does 23 divide q(7)?
True
Let a = -9 + 18. Suppose -3*c + 6 = -a. Suppose 5*b - n = n + 86, -b - c*n + 28 = 0. Does 18 divide b?
True
Suppose -175 = -3*l - m, -2*l - l + m = -173. Suppose -3*w - n + l = 0, w - 40 = -w - 2*n. Suppose 0 = -z + w + 67. Does 21 divide z?
False
Let p be 9 - (-4)/8*2. Let c = p - -15. Suppose 3*d - 9 = 6*d, 4*w - c = 3*d. Is 3 a factor of w?
False
Let m = -44 + 39. Let p(f) = 21*f + 2. Let j be p(-3). Let q = m - j. Is q a multiple of 20?
False
Let h = -15 - -23. Suppose -2*q = -2*j - 4, 3*q - h = j + 4. Suppose -y = j*y, -40 = -a + 4*y. Does 21 divide a?
False
Suppose -a = 5*u - 10, u = -5*a + 5*u + 21. Suppose n - 5*m - 16 = -n, m = a*n - 17. Is 12 a factor of (n + 26/4)*4?
False
Let w be -13 + -2 + 2 + 1. Let m = 15 + w. Does 3 divide m?
True
Let z = 153 - 75. Is z a multiple of 3?
True
Let y(n) = 58*n**2 + 3*n + 5. Let z = -27 - -25. Is y(z) a multiple of 11?
True
Let l(k) = -k**3 + 15*k**2 - 15*k + 15. Let g be l(14). Let o be 1 - (g + -13 + 0). Let m(r) = r**2 - 12*r + 14. Is m(o) a multiple of 18?
False
Let x(l) = -2*l**2 - 14*l + 2. Let h be x(-7). Suppose -b + 419 = 4*p, -h*p + 0*b - 4*b + 206 = 0. Is 35 a factor of p?
True
Suppose 5*v = 3028 + 207. Does 40 divide v?
False
Suppose 5*x = p - 228, 5*x = 5*p + 9*x - 1053. Does 34 divide p?
False
Suppose -3*z + 3*p + 4947 = 0, 0 = z - 2*p - 1436 - 210. Does 59 divide z?
True
Let v = -1433 - -1634. Is 16 a factor of v?
False
Let y(t) = 112*t - 3. Let f be y(1). Is 16/6 + (-2)/(-6) + f a multiple of 28?
True
Let y = 46 - 6. Let w(a) = -a**3 - 5*a**2 + 6*a + 3. Let q be w(-6). Suppose 2*o = -q*o + y. Does 3 divide o?
False
Let n = 1249 + 1394. Is n a multiple of 49?
False
Let x(f) = -14*f**3 - 3*f**2 - 10*f + 13. Does 53 divide x(-4)?
True
Let q(c) = c**3 - 14*c**2 - 5*c + 24. Let a be q(15). Let k = -104 + a. Is k a multiple of 14?
True
Let w(o) = o**3 - 3*o - 2. Let h(v) = v**2 - 3*v - 2. Let b be h(4). Let i be w(b). Suppose -3*l + 117 + 114 = i. Is 10 a factor of l?
False
Let m = -58 + 61. Suppose -3*y + 3*j = -y - 77, j - 99 = -m*y. Is y a multiple of 9?
False
Suppose w - 5460 = -12*w. Does 42 divide w?
True
Let n(x) = x + 23. Let d(f) = -2 + f**2 + 3*f**2 - 2*f**2 - 3*f**2 - 4*f. Let a be d(-5). Does 3 divide n(a)?
False
Let b(d) = 4*d**2 + 2*d - 2. Let h(c) = 3*c - 1. Let i be h(4). Suppose i = -4*k + 3. Is b(k) a multiple of 10?
True
Suppose -1 = 3*g - 10, -5*g = j - 67. Does 3 divide j?
False
Is (-67)/134 + (-9010)/(-4) a multiple of 41?
False
Let x(a) = -a**2 - 10*a + 14. Let m be x(-12). Is (m + 4)*(-44)/8 a multiple of 20?
False
Let g(h) = -h**3 + 24*h**2 - 9*h + 115. Is g(23) a multiple of 19?
True
Let q(s) = -s**3 - s**2 + 9*s + 6. Let y = -10 - -6. Does 8 divide q(y)?
False
Let s = 437 + -341. Does 2 divide s?
True
Let i(v) be the second derivative of v**5/20 + v**4/3 - 2*v**3/3 - 5*v**2 - 39*v. Does 5 divide i(-4)?
False
Let s be ((-4)/10)/(0 + 6/(-1560)). Suppose 5*a - 262 = 4*i, -a - a + 2*i + s = 0. Is a a multiple of 17?
False
Suppose 505*t = 504*t + 429. Is t a multiple of 20?
False
Let z(g) be the third derivative of 7*g**4/24 + 17*g**3/6 - 12*g**2. Does 29 divide z(10)?
True
Suppose z = 120 + 111. Suppose -2*c = -77 - z. Is 11 a factor of c?
True
Let h be -15 - -15 - (0 - 62). Suppose -10 + h = 2*w. Does 11 divide w?
False
Let h(b) = b**3 + 5*b**2 + 3*b + 1. Let s be h(-4). Suppose 2*z = -3*m + 93, -5*z + s*m + 201 = 2*m. Suppose 2*f + 4 = z. Is 8 a factor of f?
False
Suppose 0 = 4*u + 3*o - 2879, 3*u + 0*o + 2*o - 2159 = 0. Is 43 a factor of u?
False
Suppose 3*c + 2*c + l - 1620 = 0, 3*l = 0. Is 7 a factor of c?
False
Let a = -379 + 1133. Does 6 divide a?
False
Let b(u) be the second derivative of 1/20*u**5 + 1/2*u**4 + 0 + 4*u - 1/6*u**3 - u**2. Is b(-6) a multiple of 4?
True
Suppose -4*s - q = -10, s + 3*q = q - 1. Suppose 0 = s*c - 137 - 52. Is 21 a factor of c?
True
Let u(l) = -l + 13. Let m be u(11). Let v(k) = 2*k**3 - k**2 - 2. Is 5 a factor of v(m)?
True
Let y(t) = 25*t**3 - 4*t**2 + 2*t - 4. Let v be y(3). Suppose 3*s - v = -107. Suppose 0 = 4*n + 4*o - 160, -2*o = -6*n + 2*n + s. Is 14 a factor of n?
False
Let h be 8/6*3 + -4. Let c be -3 + (924/3 - h). Suppose 5*b = 3*k + c, 5*b + 5*k - 305 = -0*k. Does 11 divide b?
False
Suppose -375*p + 50400 = -355*p. Is p a multiple of 70?
True
Suppose -52 + 2 = -2*g. Suppose 3*r + 4*u = -2*r + 625, -5*u - g = 0. Does 8 divide r?
False
Let b = 269 + 56. Suppose -5*y - 315 - b = -3*j, 0 = 2*j - 5*y - 420. Is j a multiple of 9?
False
Let j = 15 + -37. Let z = 24 + 13. Let u = j + z. Does 3 divide u?
True
Suppose -25*u = -27*u + 6. Is 6*(16 + u + -1) a multiple of 27?
True
Let p be (-4)/(0 + 8)*0. Suppose i = 2*o + 30, 3*o + p*o = 15. Suppose 6*s = 4*b + 2*s - i, -3*b = -4*s - 35. Is b even?
False
Let d(g) = -g**3 + g**2 + 3*g + 156. Let f be d(0). Let w = 260 - f. Does 42 divide w?
False
Let o = -35 - -21. Let n(i) = i**2 + 16*i + 28. Let g be n(o). Suppose 3*c - c - 32 = g. Is c a multiple of 16?
True
Let u = 45 - 43. Suppose -5*b + 29 + 31 = -p, p - 31 = -u*b. Is 7 a factor of b?
False
Let m(q) = q**2 - 2*q + 123. Let a be m(0). Suppose 0 = -5*c + a + 17. Is 10 a factor of c?
False
Suppose -2721 = -16*b + 3999. Is b a multiple of 25?
False
Does 6 divide (-1 + 0)*-70 + 8?
True
Let j(b) = -4*b - 3. Let v be j(6). Let o be v/12 - 2/(-8). Is (-45)/o + 3/6 a multiple of 16?
False
Let l be (-6)/33 - (2 - 9204/44). Suppose -b = -3*b + 114. Suppose 3*x - l = -3*f, x + 5*f = 2*x - b. Is 23 a factor of x?
False
Let k(u) be the second derivative of 2*u**3 + u**2/2 - 13*u. Does 25 divide k(10)?
False
Let m be 4 - -5*2/(-5). Does 13 divide (-28 + m)/(((-80)/15)/8)?
True
Let o = -39 - -105. Let f = o + -39. Is 18 a factor of f?
False
Suppose 0 = 3*l + 3*l. Suppose -78 = -3*v - 2*r - l*r, -v + 3*r = -37. Is v a multiple of 28?
True
Suppose 5*l = -3*p + 56, l - 103 = -p - 3*p. Let n = 76 - p. Does 7 divide n?
True
Suppose -6*i = -2*i - 204. Suppose 5*u = o - 5, o + 109 = 6*o + 3*u. Suppose 0 = 5*h - o, -11 = 2*c - 2*h - i. Does 4 divide c?
True
Let n be 8/2 + -6 + 2. Suppose -4*w + 3*k + 28 = n, 3*k + 0*k = 2*w - 14. Is w a multiple of 3?
False
Let h be 46/(-14) - 12/(-42). Let g(k) = 4*k - 4. Let f be g(h). Does 10 divide (f/4 + 28)/2?
False
Let p(l) = 2*l + 109. Is p(35) a multiple of 4?
False
S