 Is n a multiple of 13?
True
Let u = -3267 - -10386. Is 10 a factor of u?
False
Let l(y) be the third derivative of -23*y**4/24 + 39*y**3 - 31*y**2. Does 5 divide l(0)?
False
Let s(x) = -4*x + 43. Let b(h) = 7*h - 86. Let g(y) = -3*b(y) - 5*s(y). Let a(j) = -j**2 + 8*j - 4. Let t be a(2). Is g(t) a multiple of 5?
True
Suppose -10*q + 9*q + 3*n = -276, 0 = 3*q - 3*n - 852. Is q a multiple of 12?
True
Let w(l) be the third derivative of -l**6/120 - 13*l**5/60 + 7*l**4/24 - 29*l**3/3 + l**2 + 19. Does 4 divide w(-14)?
True
Let s be -20 - 2*5/10. Does 48 divide (s/4)/(5/(-260))?
False
Let w(n) = -57*n - 288. Is 39 a factor of w(-42)?
True
Suppose -6985 = -t - 4*k, 33 - 17 = -4*k. Is 74 a factor of t?
False
Let f = -4890 + 5828. Is f a multiple of 21?
False
Let u(k) = -6794*k - 1033. Is 12 a factor of u(-9)?
False
Let o = -138 - -352. Let h = o + -187. Does 14 divide h?
False
Let f be (-4)/14 + 65/(-91). Is 22 a factor of (350/8 - f)/((-2)/(-8))?
False
Suppose -5*n = 33*n + 190. Is (-620)/n + -4 + -1 a multiple of 7?
True
Let a be (5 - -31)*(-1)/(-3). Suppose -w = v + 10, 50 = 7*v - a*v + w. Let t(d) = -3*d - 23. Is 4 a factor of t(v)?
False
Suppose -3*i - 827264 = -565*i. Is 92 a factor of i?
True
Let h(p) = -p**3 - p**2 + p + 6. Let j(c) = c**2 - 1. Let m(b) = h(b) + 6*j(b). Suppose -4*k = 4*y - 8, y + 2*k = 3*k + 6. Is m(y) a multiple of 10?
True
Let j = -4219 - -4204. Let n = -54 - -28. Let u = j - n. Is u a multiple of 2?
False
Let t(s) = 6*s**2 + 11*s + 28. Let w be t(-12). Is 3 a factor of ((-6)/8)/(48/(-32))*w?
False
Does 25 divide 131501/20 - 122/2440?
True
Suppose -19 = -6*t + 5. Suppose -t*g + 262 = 22. Suppose g*x = 55*x + 130. Is x a multiple of 5?
False
Is 175 a factor of 8240 - (-26)/((-338)/195)?
True
Let x = 9 - 6. Let a = x - -18. Suppose q = 13 + a. Is 4 a factor of q?
False
Suppose 456 = 14*d - 18*d. Let r = d - -49. Is 3 a factor of (-1)/((-5)/r)*-1?
False
Let s(d) = 3*d**2 - 10*d + 1. Let q = 61 + -57. Is 7 a factor of s(q)?
False
Suppose 0 = 134*d - 55778 - 816160. Is d a multiple of 12?
False
Suppose 4*h - 116*h + 16*h = -44832. Is h a multiple of 91?
False
Let k be 1472 - (-14 + 10 + 0/(-1)). Suppose 19*n = -431 + k. Is n a multiple of 5?
True
Suppose 2151970 = 43*o + 289124. Is o a multiple of 103?
False
Let b = 218 - 202. Let a(y) = y**3 - 13*y**2 - 2*y - 34. Does 18 divide a(b)?
True
Suppose -189*i - 5*t = -192*i + 4123, 0 = 4*i + t - 5528. Is 7 a factor of i?
False
Suppose 3*r - 5*x - 11035 = 0, r - 508 = x + 3175. Is r a multiple of 109?
False
Suppose -3*n - 71256 = -7*c, -20346 = -2*c + 13*n - 10*n. Is c a multiple of 169?
False
Suppose 34*m = 9*m + 950. Suppose m*b - 279 = 291. Is b even?
False
Let x = 2994 + -793. Suppose -2*q + 1174 = -2*f, 4*q - x = 2*f + 137. Is q a multiple of 6?
True
Suppose -71*r + 74*r = -2*c + 64163, c - 32101 = 5*r. Does 250 divide c?
False
Suppose 0 = 2*d - 2 - 30. Is (-25)/(-1)*d/10 a multiple of 11?
False
Let k(z) = -4*z + 6. Let m be k(2). Let h be (10/10)/(m/(-2))*5. Does 34 divide (9/(225/(-605)))/((-1)/h)?
False
Suppose 4*u - 39 + 31 = 0. Suppose -5*p + 0*p + 10 = 2*x, u*p = 2*x - 10. Let s(a) = a**2 + a + 2. Is 8 a factor of s(x)?
True
Is 8/16*-10 - -15750 a multiple of 42?
False
Let i(a) = 146*a**3 - 2*a**2 - 12*a + 46. Is i(3) a multiple of 33?
False
Let j be 31759/42 + (-3)/18 + 4. Let i = 965 - j. Does 5 divide i?
True
Suppose 25*i - 37492 = -27*i. Let a = i + 84. Does 18 divide a?
False
Let i(u) = -37*u**2 - 6*u - 5. Let s(t) = 75*t**2 + 13*t + 11. Let y(w) = -13*i(w) - 6*s(w). Let f be y(5). Suppose 5*b + b - f = 0. Does 16 divide b?
False
Does 10 divide (-1)/(-8) + 29218/112?
False
Let m(l) = -114*l - 37. Suppose -v = -14*v - 78. Is 41 a factor of m(v)?
False
Let k be 6/(-4)*5656/21. Let g be k/24 - 4/(-24)*-1. Let z = 37 + g. Is z a multiple of 2?
True
Let a be -100*(2/(-1) + 3*1). Let h = 155 + a. Does 26 divide h?
False
Suppose -2*k - 4*h - 4 - 10 = 0, -4*h - 16 = 0. Is (k/((-16)/(-12)))/((-1)/(-52)) a multiple of 13?
True
Let c = -3347 - -3374. Let y be (-16 + -1)/(2 - 1). Let p = c + y. Is p a multiple of 5?
True
Suppose -5*u + 4138 = -2*r, -u - 10*r = -8*r - 830. Is 4 a factor of u?
True
Suppose -74*o = -44*o - 125490. Is 47 a factor of o?
True
Let a be (-2)/20 + (-40620)/(-200). Let x = 274 - a. Is x a multiple of 16?
False
Suppose -5*l = -5*u + 32425, -6777 + 19727 = 2*u + 2*l. Is u a multiple of 40?
True
Let h be (-2)/(-4*2/312). Let f(n) = -n**2 - 18*n - 2. Let m be f(-12). Suppose 2*s - h = m. Is 10 a factor of s?
False
Is 133 a factor of ((-370)/(-110) - 3) + (-264799)/(-11)?
True
Let f(b) = b**3 + 7*b**2 + 2*b - 20. Let g be f(-6). Let p(q) = 3*q**2 - 4*q - 4. Let v be p(g). Let o = 112 - v. Is 21 a factor of o?
True
Let z = 12 - 23. Let i be 3 - 0/(-1) - (8 - z). Does 8 divide -4 + (-3 - i) + -1?
True
Let c(h) = 9*h**2 - 7*h - 879. Is c(-27) a multiple of 103?
True
Let z be (122/8)/(11/88). Suppose -21*q - z = -23*q. Suppose q = a - 2*x, -5*a + 323 = 3*x - 4*x. Does 13 divide a?
True
Suppose v = 2*y + 3*y + 2810, 14185 = 5*v + 2*y. Suppose 42*c = 45*c - v. Is c a multiple of 63?
True
Let k = 3361 + 13579. Does 110 divide k?
True
Suppose 351 = -o + 5*b, -14*o = -11*o + 2*b + 968. Let c = 362 + o. Is c a multiple of 4?
True
Let u(z) = -10*z - 25. Let x(s) = 3*s**2 + 5*s - 2. Let f be x(3). Suppose -f = 5*h - h. Is 7 a factor of u(h)?
False
Let x(r) = 234*r + 494. Does 13 divide x(-2)?
True
Let v(u) = -23*u**3 - 47*u**2 - 8*u + 40. Does 91 divide v(-13)?
False
Let r be 1 + 1 + (-7 - -5 - -5). Suppose 0 = -4*a - 2*m + 138, r*m = -3*a + 33 + 81. Is 3 a factor of a?
True
Let k(q) = q**2 + 14*q - 7. Suppose 7*i = 2*i - 2*a - 69, 2*i = 5*a - 45. Let l be k(i). Suppose 0 = -l*b + 116 + 724. Is 41 a factor of b?
False
Suppose -4*z = 0, z + 4*z - 88 = -4*o. Let i(d) = -6*d - o - 3*d + 2 + d**2 - d. Is i(-5) a multiple of 10?
False
Suppose 13 - 109 = -24*q. Suppose q*l = -a + 703, l + 10*a - 6*a = 157. Is l a multiple of 13?
False
Is 64 a factor of 699 + (-9 - -12 - 5)?
False
Suppose -5*s = 3*v - 52, 4*s + 3*v - 22 = 22. Suppose s*n - 174 = 5*n. Is 4*n/10*(3 + 2) a multiple of 29?
True
Let k(v) = 2*v**2. Let s be k(-1). Suppose -2*y - 82 = -5*w + s*y, 5*w - 58 = -4*y. Suppose 21*q = w*q + 112. Is 16 a factor of q?
True
Suppose -5*d = 2*b - 96775, -58065 = -3*d + 122*b - 126*b. Is d a multiple of 60?
False
Let y(n) = 107*n + 15. Let k(h) = -4*h**3 + h**2 + 4*h + 4. Let z be k(-1). Is 25 a factor of y(z)?
True
Let i = -30 - -34. Suppose 1157 = i*b - 2603. Does 20 divide b?
True
Suppose -33*c + 30*c + 6 = 0. Suppose n - 617 = c*g + g, 0 = n + 2*g - 612. Suppose 5*d - 426 = -2*y, 3*y - n = -0*y + 5*d. Does 26 divide y?
True
Suppose -3*b + 287 = l + 46, -4*b + 308 = -2*l. Suppose -7*u - 2 + b = 0. Let z = 28 - u. Is z a multiple of 3?
False
Is ((-3870)/(-25))/(26/650) a multiple of 30?
True
Let b(m) = -m**3 + 14*m**2 - 18*m + 6. Let x be b(12). Suppose -x = -5*u + 362. Is u a multiple of 2?
True
Is 9 a factor of 2*(-6)/4 + 6020 + 148?
True
Let v(i) = i**2 + i + 4. Let u be v(-2). Suppose u*z = 59 + 61. Let t = 84 - z. Is 16 a factor of t?
True
Let k(n) = 5 - 2*n**3 - 6 - 44*n**2 + 8 - 14*n. Does 63 divide k(-22)?
True
Let g(h) = -5*h**2 - 20*h + 41. Let n be g(-6). Let j(v) = v**2 - 84*v - 39. Does 22 divide j(n)?
False
Suppose 3*l = -g + 8*l + 17177, 34277 = 2*g + l. Does 24 divide g?
False
Let s be 111*((-80)/15 + 4). Let g = 210 + s. Is 14 a factor of g?
False
Is 20 a factor of (-19)/(19/(-140)) - 1?
False
Let t(z) = -2*z**3 + 29*z**2 - 13*z - 2. Let j be t(14). Let x be j/4 - -16 - 2. Suppose x*y = 14*y + 327. Does 14 divide y?
False
Let u(k) = 27*k + 30. Suppose -5*q + 31 - 21 = 0, -a + 3*q + 14 = 0. Is 15 a factor of u(a)?
True
Suppose 3*j + 41250 = 6*j + 7*j. Is 42 a factor of j?
False
Let c = 15215 - 9252. Is c a multiple of 75?
False
Let r be (63/(-12) + 5)*-68. Let b = 133 + r. Does 7 divide b?
False
Let w = 1 - 2. Let d(s) = 7 + 8 + 11 - 2*s - 26 + 57*s**2. Is d(w) a multiple of 28?
False
Let x(a) = -6*a**3 - 9*a**2 - 16*a. Let m(n) = 5*n**3 + 10*n**2 + 15*n + 1. Let s(z) = 5*m(z) + 4*x(z). Is s(-11) a multiple of 17?
False
Let r = 8559 + -5981. Is r a multiple of 11?
False
Let m = -20865 + 44871. Is 77 a factor of m?
False
Let u(f) = 6*f**2 + 32*f - 6. Let i(a) 