 + 3*l - 4*q. Does 6 divide l?
True
Let m = -373 - -785. Let n(r) = 25*r + 2. Let g be n(2). Suppose 4*k = -4*i + 620, -2*i + m = 3*k - g. Is k a multiple of 11?
True
Suppose 0 = -5*c + a + 2*a, -2*c = 2*a - 16. Suppose -11*u = -c*u - 2192. Is 45 a factor of u?
False
Let k = 167 - 164. Suppose -3*s + 4*w = -6 - 104, k*w = -4*s + 180. Is s a multiple of 6?
True
Is -6 + (-97305)/(-18) + (-6)/(-36) a multiple of 12?
True
Suppose 288*w = -45*w + 4669992. Is w a multiple of 178?
False
Let f(i) = 8*i**2 + 49*i + 59. Let u be f(-28). Does 40 divide ((-10)/4)/5 + u/18?
False
Let z = -680 + 679. Let v(t) = -671*t**3 + 4*t**2 - 2. Does 20 divide v(z)?
False
Suppose 4*z - 256 + 8 = 0. Let r be z/6 - (-10)/(-30). Suppose -r*j = -j - 2142. Does 41 divide j?
False
Let p(d) = -12*d - 18*d + 18*d - 9*d - 12 + 1. Is 4 a factor of p(-5)?
False
Suppose 13145 = 2*r + 5*y, -24*y + 27*y = -2*r + 13151. Is 14 a factor of r?
True
Let z(u) = 16*u**2 + 14*u**2 + u**3 - 9 + 5 + 29*u - 11. Let p be z(-29). Is (-3)/p + 388/10 a multiple of 15?
False
Let w be (0 - 0) + -31 + 27 - -594. Let p = -224 + w. Does 9 divide p?
False
Let r(l) = 568 - 499 - 16*l + l. Is r(-3) a multiple of 4?
False
Let n be (11/2)/(-1*(-2)/4). Let j = n + -6. Suppose b = j*b - 560. Does 35 divide b?
True
Let y(x) = -153*x - 135. Is 126 a factor of y(-12)?
False
Is 197 a factor of (570906/(-30))/((-66)/220)?
True
Let w = -180 - -400. Let f = -65 + w. Is 28 a factor of -1 - (f - 0)*-1?
False
Is ((-1008)/(-14)*(-3)/20)/(1/(-60)) a multiple of 12?
True
Suppose 2*u - 19873 = 105*i - 104*i, 2*u - 19901 = -3*i. Is u a multiple of 20?
True
Suppose 2*g = 4*r - 4428 + 12274, -5*r = 3*g - 11714. Is g a multiple of 43?
True
Suppose 4*c - 4*j - 1 = 19, -j - 35 = -4*c. Is 115/46*68/c a multiple of 17?
True
Suppose 10*x = 6309 + 82611. Is 19 a factor of x?
True
Let s(g) be the first derivative of -4*g**3/3 - 5*g**2/2 + 2*g + 10. Let j(a) = 5*a**2 + 5*a - 1. Let n(h) = 5*j(h) + 6*s(h). Is n(5) a multiple of 2?
False
Suppose 0 = -5*s + 10, y + 2*s - 14 = -0*y. Let p(x) = y*x - 7*x + 38 + 19. Does 14 divide p(23)?
True
Suppose 421*i = 424*i - 33. Suppose -i*b + 890 + 2146 = 0. Does 46 divide b?
True
Suppose -234143 = 73*n - 1121093. Does 135 divide n?
True
Suppose -31534 = -3*c + a, -c + 1510 = 4*a - 9010. Is c a multiple of 30?
False
Let x = 271 + -269. Suppose x*r = -5*c + 286, 5*r - 708 = -3*c + 26. Is 3 a factor of r?
False
Let f = 430 + 110. Does 27 divide f?
True
Suppose 0 = -5*a, 0 = 4*r + 3*a - 7*a - 20. Is 2 a factor of 134*3/(1 + r)?
False
Let f = -7740 - -17825. Is 73 a factor of f?
False
Let q(p) be the second derivative of -1/3*p**3 + 0 + 0*p**2 + 7/12*p**4 + 7*p. Is q(1) a multiple of 5?
True
Suppose -11*v + 617927 - 149042 = -169731. Is 77 a factor of v?
False
Suppose -5*l + 4 = -d - 7, -d + 4*l = 8. Suppose 0 = 4*w - d*s - 101 + 1, -2*s - 78 = -3*w. Is w a multiple of 7?
True
Let a(u) = 3136*u + 12929. Is a(7) a multiple of 21?
True
Suppose -20*f + 61186 = -128403 + 5589. Is f a multiple of 40?
True
Let j(y) = -y**3 - 9*y**2 + 33*y + 14. Let c(l) = 2*l + 9. Let m be c(-11). Is j(m) a multiple of 3?
True
Suppose 0 = -5*t + 4*q + 12, 0*t - 15 = 5*t + 5*q. Suppose -3*v + 3 - 3 = t. Suppose v = 2*o - 5*o + 66. Does 6 divide o?
False
Suppose a = 9*a - 456. Let g = a - 57. Suppose -3*h - 3*z + 220 = -2*z, g = h - 3*z - 70. Is h a multiple of 9?
False
Suppose 4*g = i + 39 + 83, -5*i = 10. Let r = g + -129. Let d = -47 - r. Is d a multiple of 15?
False
Suppose -5*s - 4*b = 80, -2*s + 3*b = 5*b + 30. Suppose 0 = 6*f + 333 + 177. Let v = s - f. Is v a multiple of 17?
False
Suppose -359*d + 5311698 = -92*d. Is d a multiple of 14?
True
Let x(p) = -p - 5. Let i = 17 + -20. Let b be x(i). Does 19 divide 7 + -2 + -3 + (24 - b)?
False
Let j(l) = -39*l**3 + 9*l**2 - 8*l - 16. Is 18 a factor of j(-8)?
True
Let u(b) = -600*b. Let x be u(-3). Suppose 800 = 8*r - x. Suppose 8*f - r = 3*f. Is f a multiple of 17?
False
Suppose 16*h = 138*h - 1275022. Is 22 a factor of h?
False
Let y be 50/18 - 2/(-9). Suppose -3*x + 7*x - 3*m = -6, 5*m = -y*x + 10. Suppose -s - 169 = -3*s + 5*q, x = -3*s + 5*q + 256. Does 29 divide s?
True
Let t(p) = 3*p + 21. Let r(u) = -2*u - 2. Let a(z) = -4*r(z) - t(z). Does 15 divide a(11)?
False
Let o be ((-975)/20)/((-115)/(-20) - 6). Is 6 a factor of (2 - (-40)/(-25))*o?
True
Is 2 + ((-29376)/(-8))/4 a multiple of 19?
False
Let i(a) = a**3 + 12*a**2 + 11*a + 11. Suppose 3*j = -2*j - 3*f - 49, 0 = 3*j - 4*f + 41. Let k be i(j). Let n = 36 - k. Is n a multiple of 11?
False
Let t(d) = -23*d - 294. Let h be t(-13). Let x = 289 + 68. Suppose h*s = 3*j + 2 - x, 4*j = 5*s + 480. Is j a multiple of 17?
False
Let l be -3 - (14/49 - 6056/28). Let a = l - 201. Is 5 a factor of a?
False
Let w(u) = 130*u + 119. Let m(g) = 255*g + 237. Let c(r) = 6*m(r) - 13*w(r). Is 77 a factor of c(-8)?
True
Let f(t) = t**2 - 3*t - 31. Let z be f(14). Let l = z - 75. Let j = l - 20. Does 28 divide j?
True
Let z(k) = 2*k**2 + 2*k - 10. Let g be z(-6). Let x = g + -45. Suppose -b - 3*h = -80, 0 = x*b + 2*h + 3*h - 430. Is b a multiple of 43?
False
Let n(d) = 47*d + 154. Let z be n(28). Suppose 7*q = q + z. Does 5 divide q?
True
Suppose -8*r = -59 + 19. Suppose g = o - 446, -r*o + 6*o = -4*g + 421. Is 63 a factor of o?
True
Does 36 divide (-119209)/(-497) - (-6)/(-7)?
False
Let o(m) = -55*m + 29. Let y be o(2). Does 31 divide 2/18*-2 + (-25128)/y?
True
Let l(h) = -87 + 3*h - 7*h + 144. Does 9 divide l(5)?
False
Does 25 divide -1*298*63/(-6)?
False
Let y = -268 + 253. Is 18 a factor of (2/7)/(y/(-945))?
True
Let k(d) = 54*d**2 - 3*d + 19. Let a be k(-5). Suppose 4308 - 1500 = 4*h + 2*t, -2*h + 4*t = -a. Is 14 a factor of h?
True
Is (-91494)/(-21) - 153/(-1071) even?
False
Let o(d) = d**2 - d**2 + d**2 + d**3 + 0*d**3. Let p(y) = 7*y**3 + 2*y**2 - 3*y + 6. Let j(c) = 4*o(c) - p(c). Does 12 divide j(-3)?
True
Does 292 divide 2715630/100 + 3/(-10)?
True
Suppose -6*r + 1 = -11. Suppose r*f - 50 = -32. Is (-18 - f)*(-2)/6 even?
False
Let n be (12/36)/(1/18). Let z = n - -19. Suppose -3*h = -8*h + z. Does 2 divide h?
False
Suppose 16*f - 2*n + 16390 = 20*f, 20493 = 5*f - 3*n. Does 23 divide f?
False
Suppose -10*w + 0*w = -131830. Is 64 a factor of w?
False
Let r = -580 - -585. Suppose -r*u + 3*x = -506, -9*u - 196 = -11*u - 2*x. Is u a multiple of 5?
True
Suppose 0 = 203*o - 193*o - 40780. Suppose 820 = p - 4*g, -3*g + 5*g - o = -5*p. Does 12 divide p?
True
Let b be (-10 + 12)/((-1)/(-2)). Suppose -6 = 5*j + 2*m + 2, -m - b = 2*j. Suppose j*f = 3*f - 252. Is 14 a factor of f?
True
Let o(j) = 31*j**2 - 59*j + 356. Is 34 a factor of o(7)?
True
Suppose -2791*s + 2786*s = 0, 0 = -2*b + 5*s + 53368. Does 91 divide b?
False
Suppose -2*k = 5*z - 9*z + 8340, 0 = -2*z + 2*k + 4170. Is 15 a factor of z?
True
Let q = 30505 - 16194. Does 71 divide q?
False
Let m be (-8)/(-36) - -6038*78/108. Suppose -4879 - m = -7*i. Does 20 divide i?
True
Let s be (-14)/(-2*2/(-4)). Let k be (-1 - -1)*(-14)/s. Suppose -17*c + 14*c + 255 = k. Is 18 a factor of c?
False
Suppose -5*j = -3*r + 501 + 304, 0 = 3*r - 4*j - 806. Suppose 0 = 2*g - 34 - r. Does 19 divide g?
True
Suppose 5*y = -3*m + 14, 3*m - 13 = -2*y - 2*y. Suppose -m*p + 616 = -u, -5*p = 2*u - 7*u - 1010. Does 16 divide p?
False
Suppose -6305 - 8495 = -31*k + 2312. Does 20 divide k?
False
Suppose 4*h = 3*t - 7898, 2638 = t - 7*h + 11*h. Is t even?
True
Let d = 290 + -212. Suppose 39 = -3*c + d. Is 5 a factor of c?
False
Let u(p) = 99*p**2 - 116*p - 119. Is 89 a factor of u(15)?
False
Let q = -5970 - -22944. Is q a multiple of 18?
True
Let b be 9/(-6)*(-1 - (-3417)/9). Let j be (-7 + 10)/((-2)/b). Suppose 4*u = -3*z + 88 + j, 20 = -4*u. Is 27 a factor of z?
False
Let b(g) = -g**3 + 4*g**2 + 11*g + 7. Let f be (-5 - 17)*4*(-7)/(-56). Does 21 divide b(f)?
True
Let j(u) = -u**3 + 22*u**2 - 25*u + 5. Let k be j(21). Let t = 201 + k. Suppose 3*h + 3*f - 138 = 0, 306 - t = 4*h + 5*f. Is 23 a factor of h?
True
Suppose 164*r - 9630 = 146*r. Is 9 a factor of r?
False
Let r(u) = -23*u - 3. Let b(w) = -68*w - 9. Let x(i) = i**2 - 5*i - 7. Let t be x(4). Let l(y) = t*r(y) + 4*b(y). Does 4 divide l(-1)?
True
Let d be (-2832)/(-36) - (-1)/3. Let c = d + -6. Does 15 divide c?
False
Suppose 50687 = -6*b + 3*o + 4962