s = -b*n - 65. Does 21 divide s?
True
Let m be 1/(-8) + 231/56 + -4. Suppose 5*u = 3*k + 175 + 276, m = 3*u - 5*k - 261. Is 12 a factor of u?
False
Let w = 133 + -37. Suppose -m + w = m. Does 6 divide m?
True
Is 5649/6 - 1/2 a multiple of 57?
False
Let o = 57 - 60. Let y = o + 25. Is y a multiple of 4?
False
Let h be 1 + -1 - (1 - 6). Let w be (-2)/7 + 64/28. Suppose 90 = w*j + 3*b, j + 176 = h*j + 4*b. Does 14 divide j?
True
Is (-7*44/(-231))/((-2)/(-960)) a multiple of 20?
True
Suppose 5950 = 14*n - 20706. Is 8 a factor of n?
True
Let k be (-40)/(-4)*9/3. Let u be ((-18)/10)/((-9)/k). Suppose -2*v = -u - 26. Is v a multiple of 8?
True
Let a(m) = -4*m**3 - 1 + m + 5*m**3 + 81*m**2 - 76*m**2. Does 11 divide a(-4)?
True
Suppose -2*x = g - 17, -3*x = 2*g - 3*g - 23. Suppose 4*i + 145 = 37. Does 12 divide i/(-2) - (-4)/x?
False
Suppose -m = 5, -2*w + 70 = 3*m - 29. Is 16 a factor of w?
False
Let w = 245 + 199. Does 37 divide w?
True
Let f(g) = 4*g**2 + 10*g + 6. Let z(h) = -h - 8. Let j be z(8). Let c = 10 + j. Does 27 divide f(c)?
False
Suppose -77337 + 15737 = -55*r. Is r a multiple of 98?
False
Suppose -398 = -2*g + 4*z - 6*z, -4*g + 2*z + 796 = 0. Does 22 divide g?
False
Suppose 10 = 10*l - 5*l. Let r be 0 - l/8*0. Suppose -15 = -3*h - r*i - 3*i, -5*i - 45 = -5*h. Is 2 a factor of h?
False
Suppose 2*j = -s - 3*j + 28, 3*s + 4*j - 29 = 0. Let b = 3 + -4. Is (-85)/15*s*b a multiple of 17?
True
Let j = 660 + -160. Suppose -156 = -2*n + 2*t, -4*n + t - 173 = -j. Is 3 a factor of n?
False
Let b(h) be the third derivative of h**6/120 - h**5/20 - 5*h**4/24 + 5*h**3/6 + h**2. Let c(p) = -8*p - 107. Let k be c(-14). Is b(k) a multiple of 6?
True
Let s be (3/(-3) + -35)/(4 - 5). Let f = s + -12. Is f a multiple of 8?
True
Let y(u) = 2*u + 5. Let c be y(7). Let v = c - -6. Does 23 divide v?
False
Let j = 108 + -63. Let o be (-4)/1*-13*136/16. Does 20 divide (-9)/j + o/10?
False
Let k(t) = 2*t**2 - 2*t + 2. Let o be k(5). Suppose 1 = -2*b - 1. Does 4 divide (b - 1) + o/3?
True
Let u = 210 + -129. Suppose o - u = -5*d, o - 308 = -3*o - 4*d. Is o a multiple of 13?
False
Let f(u) be the third derivative of 13*u**5/30 + 7*u**4/24 + u**3/2 - 19*u**2 - 2. Is f(-3) a multiple of 22?
False
Suppose -172608 = -128*s + 35*s. Is 29 a factor of s?
True
Let v(b) = -4*b**2 - 6*b - 68. Let s be v(0). Let h(p) = -38*p**2. Let o be h(1). Let m = o - s. Does 10 divide m?
True
Let x(i) = 15 - 10 + 16 + 15 - 3*i. Does 30 divide x(-18)?
True
Suppose 3 = v + 1. Suppose v*m - 650 = -3*m. Does 19 divide m?
False
Let i(p) = -p**2 - 41*p - 53. Is i(-18) a multiple of 17?
False
Let b(q) = -2*q**3 - 12*q**2 - 8*q + 10. Let i be b(-5). Suppose 4*j - 882 - 606 = i. Does 62 divide j?
True
Let b(j) = 20*j**3 - 4*j**2 + 4*j - 22. Does 81 divide b(4)?
False
Suppose 8*c = 91 - 675. Let z = c + 109. Is z a multiple of 21?
False
Let z = -68 + 72. Suppose -7*u + z*u = -456. Is 19 a factor of u?
True
Suppose 9*l - 2086 = 2*l. Is 39 a factor of l?
False
Suppose 3*r = 5*r. Suppose r = m - 3*m. Suppose m = -y + 26 + 8. Does 9 divide y?
False
Let l(q) = -2*q**2 + 5*q - 5. Let v be l(-3). Let x = v - -68. Is 5 a factor of x?
True
Let h = 11258 - 7899. Does 26 divide h?
False
Suppose 0 = 13*z + 227 - 903. Does 6 divide z?
False
Let t(i) = -i**2 + 8*i + 3. Let z be t(8). Let r(l) = l**3 - 4*l**2 + 3*l - 4. Let b be r(z). Is 8 a factor of ((-180)/(-8))/((-3)/b)?
False
Let g(r) = 20*r**2 - r - 2. Let z(w) be the first derivative of w**3/3 + 3*w**2/2 - 2*w - 7. Let l be z(-4). Is g(l) a multiple of 17?
False
Suppose 2*f = 3*f + 5*j + 4, -4*f - 2*j = 52. Is 13 a factor of 52*(-3 - f/4)?
True
Let a(c) = -2*c + 17. Let w(y) = -2*y**2 + 7*y - 1. Let i(s) = -s**2 + 4*s - 1. Let m(f) = -5*i(f) + 3*w(f). Let l be m(2). Is a(l) a multiple of 9?
False
Let o(i) = 3*i**3 + 6*i**2 - 3*i - 3. Let d(t) = -3*t - 2. Let x be d(-2). Let w be o(x). Let y = w - 192. Is 27 a factor of y?
True
Suppose -5*f - 4*l + 216 = 44, -f + l + 38 = 0. Suppose 0 = 2*s - 46 - f. Suppose 5*x - 4*x - s = 0. Is x a multiple of 7?
False
Let j = -9 - 17. Let a = j + 62. Is a a multiple of 9?
True
Let p be 12*(-1 - 2/6). Let h be 2/7 - p/(-7). Let i(c) = -5*c**3 - 3*c**2 - 3*c. Is 16 a factor of i(h)?
False
Suppose 3*z + 0*z = -3. Let u = -27 + 63. Is u/30*(z - -21) a multiple of 12?
True
Let x(f) = f**3 + 10*f**2 + 8*f + 1. Let l be x(-9). Let d(w) = w**2 + 2*w - 21. Does 14 divide d(l)?
False
Let s = -1141 - -1505. Does 28 divide s?
True
Let a(t) = -15*t - 12. Let l = 50 - 55. Is 6 a factor of a(l)?
False
Suppose -3*m - d = 9, 4*m + 6*d = 4*d - 12. Let k(n) = n - 1. Let s(f) = -2*f**2 + 7*f - 5. Let b(t) = 6*k(t) - s(t). Is 10 a factor of b(m)?
True
Let g(j) = -3*j**3 + 16*j**2 - 6*j - 12. Let i(v) = 2*v**3 - 16*v**2 + 7*v + 11. Let h(u) = -4*g(u) - 5*i(u). Is h(-8) a multiple of 14?
False
Let z(g) = 86*g - 153. Is z(26) a multiple of 57?
False
Does 23 divide (3611 - 0) + (-140)/(-20)?
False
Suppose -x + 3*x - 204 = 0. Suppose -l - 63 - x = -r, -5*r - 5*l + 845 = 0. Does 18 divide r?
False
Let k(b) = 53*b**3 + 4*b**2 + 5*b + 2. Let d be k(-1). Let c be (8/6)/(1/(-15)). Let a = c - d. Is a a multiple of 9?
False
Does 7 divide 2/(13 + (-19923)/1533)?
True
Is (-28)/(5/(-2 + -28)) a multiple of 12?
True
Let g be 1/2*(-72)/(-9). Suppose 0 = g*o - 291 - 269. Does 14 divide o?
True
Suppose -118 = -5*u + 37. Suppose 3*d - 581 - u = 0. Suppose -2*x + d = x. Is x a multiple of 34?
True
Suppose v + x - 14 - 165 = 0, 2*v - 2*x - 370 = 0. Is 13 a factor of v?
True
Suppose -3*j + p = 2*p, 5*p = -2*j. Suppose -l = -3*q - j*l + 96, -4*l = -2*q + 74. Does 6 divide q?
False
Let o = 6 + -1. Suppose 3*i - 3 = 0, 0 = 2*g - o*g + 5*i + 151. Is g*2/12*3 a multiple of 13?
True
Suppose 0 = -r - 3*b - 40 + 16, 4 = r - 4*b. Let p be 8/r*(-12)/(-8). Let h(l) = -20*l. Does 13 divide h(p)?
False
Let x(q) = -3*q**3 - 6*q**2 + 10*q + 1. Let a be x(3). Let o = a + 148. Is o a multiple of 3?
False
Suppose 5*j = -x + 5, j + 4*j - 5*x + 25 = 0. Does 4 divide (j - (-208)/(-12))*-3?
True
Suppose 4*p + 2*q - 1458 = 0, 4*q - 369 = -p - q. Is p a multiple of 13?
True
Let p(i) = -i**2 + 13*i + 13. Let x be p(14). Let w = -21 - x. Let s = 29 + w. Is s a multiple of 9?
True
Let u(f) = 1 + 9*f - 2*f**2 - 5*f + 10*f + f**2. Is u(10) a multiple of 18?
False
Suppose -w - 5*m = -3, 0 = -2*w - 6*m + 3*m - 1. Let l(f) = 8*f**2 + 3*f + 4. Is 30 a factor of l(w)?
True
Let b be (2/1)/2*5. Let i be ((-2814)/28)/((-6)/4). Suppose -108 = -b*h + i. Is 15 a factor of h?
False
Suppose -3*w + 2658 = 3*m, -m + 1637 = 2*w - 137. Does 68 divide w?
False
Let v = -121 + 202. Suppose -c - y + 106 = -0*y, 4*y + v = c. Is c a multiple of 24?
False
Let p(a) = 5*a - 13. Let z be p(3). Suppose -z*f + 264 = 2*f. Is 11 a factor of f?
True
Let s = 2017 - 606. Is s a multiple of 83?
True
Let v be (4/(-3) + 1)*0. Suppose v = -3*b + 54 - 360. Does 13 divide (-9)/(-36) + b/(-8)?
True
Suppose -x + 1 = -1. Let a be -3 - -3 - 2*x. Is 21/(-3)*(a - -1) a multiple of 10?
False
Suppose 0 = -4*y + 378 - 966. Let m = y + 302. Is 19 a factor of m?
False
Let t = -196 + 1079. Is t a multiple of 22?
False
Let i(j) = -3*j + 20 - j + 0*j. Is 22 a factor of i(-6)?
True
Let u be (-52)/(-39) - 26/6. Does 7 divide (-1)/2 + u*(-145)/10?
False
Let y(t) = 16*t + 17. Is y(4) a multiple of 8?
False
Let c = -101 - -56. Let d be (((-1)/(-4))/1)/(2/584). Let i = c + d. Is i a multiple of 12?
False
Suppose -825 = -4*h - 5*f + 889, -4*f = 8. Does 37 divide h?
False
Let i be ((-145)/10)/(2/4). Let c be i + 5*4/10. Let r = 26 - c. Does 12 divide r?
False
Let y(d) = d**3 - 13*d**2 + 12*d. Let q be y(12). Suppose q = -4*u + 4 + 12. Suppose 4 + 8 = u*k. Does 2 divide k?
False
Let b = 911 - 687. Is 44 a factor of b?
False
Let t = 2 - -3. Let m(b) = 2*b**2 - 5*b + 3. Is 7 a factor of m(t)?
True
Let n(u) = u**3 - 4*u**2 - 5*u - 5. Let q = 69 + -46. Let y = q + -17. Is 7 a factor of n(y)?
False
Suppose -7*g = -44 - 453. Is g a multiple of 5?
False
Is 31 a factor of (-16)/104 - 415017/(-117)?
False
Suppose -2*j - 2*p + 110 = -8, 3*j - 207 = 3*p. Is 3 a factor of j?
False
Does 31 divide 6/15 + (-1377)/(-45)?
True
Let g(f) = -f**2 - 9*f + 2. Let u be g(-9). Suppose u*i = 7*i - 270. Is 9 a factor of i?
True
Let c(w) = w**3 - 8*w**2 + w + 2. Suppose 3*v -