6 - 768. Is 12 a factor of u?
True
Is 57 a factor of (-1560)/(-576)*11512 + (-4)/(-6)?
True
Suppose 2 = s - q - 4, q + 2 = 0. Let l be 1/(s/4 - (-163)/(-162)). Is 21 a factor of (2 + 1*-4)*l/12?
False
Suppose -25*h = 18*h - 39*h - 8160. Is 20 a factor of h?
True
Let b(m) = 3*m**3 + m**2 - 54*m - 16. Is 10 a factor of b(18)?
False
Let z(t) = 157*t + 652. Is z(21) a multiple of 55?
False
Let b(z) = -18*z + 40. Suppose 6*u - 95 = -125. Is 23 a factor of b(u)?
False
Is 36*((2502/8)/9 + 0) a multiple of 25?
False
Is (2108/12)/(19/57) a multiple of 3?
False
Suppose -178762 = -98*o + 89366. Is 38 a factor of o?
True
Suppose -22*d + 2360 = -17*d. Suppose 13*k + 43 - d = 0. Is k a multiple of 8?
False
Let v = 359 - 312. Suppose 2562 = 2*o - 2*h, 0 = -v*h + 46*h + 2. Does 59 divide o?
False
Let i = -9757 - -14851. Is i a multiple of 110?
False
Let p = -19 + 19. Suppose p = 7*k - 6*k - 246. Suppose 8*o = -k + 686. Does 15 divide o?
False
Let b(f) = -3 + 11 - 9 + 125*f. Let x be b(-1). Let o = x + 138. Does 5 divide o?
False
Let h(k) = -k**2 + k. Let g(x) = -3*x**2 + 16*x + 16. Let c(b) = g(b) - 4*h(b). Let j be c(-9). Let u(d) = d**2 + 6*d - 22. Is u(j) a multiple of 23?
False
Let n(r) be the first derivative of r**4/4 + 19*r**3/3 + 29*r**2/2 + 66*r - 144. Is 4 a factor of n(-16)?
False
Let z = -414 + 78. Is ((-864)/z)/((-2)/(-308)) a multiple of 99?
True
Suppose -16 = 4*y, 0 = 5*s + 4*y - 4. Let f(m) = 4*m**2 - 4*m**2 - 5*m + 2*m**3 + 5 - m + 2*m - 6*m**2. Does 5 divide f(s)?
False
Let i(h) = -2*h**2 + 77*h - 713. Let w be i(23). Let q(s) = -2*s**2 + 4*s**2 + 120 - s**2. Is 15 a factor of q(w)?
True
Let z(o) = o**3 + 8*o**2 - 5*o - 2. Let p be (1 - -24)/((-6)/12). Let v = 44 + p. Is 25 a factor of z(v)?
True
Let u be 1*-4*(-5)/(-10). Let d(w) = -w + 3. Let l be d(u). Suppose -l*h + 97 = x - 188, -5*h - 5*x + 305 = 0. Is h a multiple of 7?
True
Let s(p) = 2 - 3 + 10*p**2 + 0*p**2 - 3*p**2. Let y be s(2). Does 30 divide (-15)/6*6/(-5) + y?
True
Let w(s) = 3*s**2 + 2*s + 1. Let n(z) = -z**3 - z**2 - z. Let o(g) = n(g) + w(g). Let p be o(2). Is 5 a factor of (-518)/(-21) + (1 - 5/p)?
False
Suppose -22 = -4*x + 10. Suppose -5*d + x = 68. Does 10 divide (-520)/d*30/25?
False
Let g(n) = -5*n**3 + 97*n**2 - 15*n + 19. Is 2 a factor of g(18)?
False
Suppose -290*k - 147 = -289*k. Let b = k + 342. Is b a multiple of 14?
False
Let d = -43 + 47. Suppose -d*j - x - 3*x + 132 = 0, 2*x + 114 = 3*j. Suppose j = 8*p - 6*p. Does 6 divide p?
True
Suppose -f - 2*m - 64 = f, 0 = -2*f + 5*m - 64. Let w = -32 - f. Suppose w*x = -5*y + x + 517, -3*y + 2*x = -313. Is 16 a factor of y?
False
Is 27 a factor of (((-62748)/90)/7)/(2/(-135))?
True
Suppose 10*h - 9*z = -10*z + 835937, 83588 = h + 2*z. Is h a multiple of 66?
False
Let s(k) = 51*k**3 - 3*k**2 - 99*k + 500. Is s(5) a multiple of 129?
False
Let k be (2*-16)/(0 + (1 - 2)). Suppose 0 = 5*l - k + 12. Suppose m = -4*r + 331, l*r + 6*m - 311 = m. Is r a multiple of 17?
False
Let l(g) = -24 + 137*g + 3 - 1 - 6*g. Is l(11) a multiple of 60?
False
Let f = 13350 + -8352. Is 51 a factor of f?
True
Let o be 24*(-24)/(-15 + 7). Let m = 18 + -8. Suppose -m*s + 14*s - o = 0. Does 6 divide s?
True
Let y(g) = 19*g**2 + 8. Let n(u) = 1. Let w(k) = -4*n(k) + y(k). Is 14 a factor of w(-4)?
True
Let m(y) = y**3 - 7*y**2 + 8*y + 1. Let q be m(6). Suppose -27 = 5*p + q. Let w = 103 - p. Does 8 divide w?
False
Suppose 22*w - 37*w = -57330. Is w a multiple of 20?
False
Let a = 3205 - 1463. Does 2 divide a?
True
Suppose 5*r - 67 = -22. Suppose 0 = 3*o - r, 0 = -4*i - 5*o + 202 + 45. Does 3 divide i?
False
Let q(o) = -15*o - 6. Let p(j) = -j**2 - 1. Let w(s) = p(s) + q(s). Let a be w(-15). Let c(m) = -m**3 - 7*m**2 - 3*m + 15. Does 9 divide c(a)?
True
Is 8 a factor of (-141862)/(-70)*2 + 27/15?
False
Let o be (-8)/(-14) - 28/49. Let a(g) = -11*g + 205. Is a(o) a multiple of 11?
False
Let o(n) = -n**3 - 3*n**2 + 2. Let b be o(-4). Let d = 23 - b. Suppose -d*x - 12 = -102. Does 3 divide x?
True
Let h be (6/10)/(24/80). Suppose -a + 258 = -3*w, 0 = -0*a - h*a + w + 536. Is a a multiple of 12?
False
Suppose 2*s + 96 + 184 = 0. Let d = 203 + s. Let z = d + -49. Is z even?
True
Suppose -16*m = -4*m + 72. Is 11 a factor of (m/12)/((-1)/1016)?
False
Suppose -3255 = -3*j + 5*z + 3835, 11827 = 5*j + 2*z. Does 55 divide j?
True
Suppose 0 = 3*d + 6 - 0, -202 = 4*j - 3*d. Let w = j + 53. Is 66/4*w*(-104)/(-78) a multiple of 4?
False
Let w = -298 - -420. Let j = w - 82. Does 8 divide 1864/j + (-4)/(-10)?
False
Let y(w) = 4*w**3 - 5*w**2 + 5*w - 7. Let f be y(3). Let h = f + -23. Suppose 5*z + k = 2*k + 68, -3*k + h = 3*z. Is 14 a factor of z?
True
Suppose -11363*x + 11362*x + 2241 = 0. Is 10 a factor of x?
False
Let o be 58/174 + (-17)/(-3) + 1. Suppose -t + 23 = 4*d, 3*d + 4*t - o = 4*d. Suppose 4*l - 5*r - 258 = -3*r, -l - d*r = -81. Does 11 divide l?
True
Let m(l) = 242*l + 32. Let b be m(2). Let v = b + -291. Is 75 a factor of v?
True
Suppose -751 = -5*g + 4*g + k, 5*k + 1511 = 2*g. Let z = 55 + -51. Suppose 0*w - z*w + 12 = 0, -4*w = -4*m + g. Does 19 divide m?
True
Is 12290/3*(-357)/(-238) a multiple of 52?
False
Let s(z) = 9*z**2 - 2. Let u(o) = -o**2 + o + 1. Let j(l) = 3*s(l) + 12*u(l). Let k be j(-3). Does 34 divide (-14)/(((-3)/k)/(10/25))?
False
Let q(x) = 26*x - 154. Is 62 a factor of q(56)?
True
Let a = -168 - -167. Is (-3 + a + 2)*(-22)/4 a multiple of 10?
False
Suppose -1078*m - 1688790 = -1108*m. Is 121 a factor of m?
False
Let o = 102179 - 62780. Is o a multiple of 11?
False
Suppose 2*r = 11 + 3. Suppose -5*t + 1502 = -o, r*o - 294 = -t + 4*o. Let z = -182 + t. Does 19 divide z?
False
Let u(n) = 8*n + 59. Suppose 0 = -9*r + 3 + 141. Is u(r) a multiple of 4?
False
Suppose 0 = -44*f + 42*f + 9878. Is f a multiple of 40?
False
Let o(s) = 4*s**2 + 3*s - 6*s**2 + s**2 + 13*s. Let u be o(16). Suppose -4*j + 420 = 3*y - j, u = -4*y + j + 570. Is 23 a factor of y?
False
Suppose 0 = 8*z - 14*z + 18390. Suppose 104*w - z = 99*w. Is w a multiple of 56?
False
Suppose 36*f = 41*f - 30. Suppose -28 = -x - f*x. Suppose -x*n + m = -286 - 195, -604 = -5*n + 4*m. Is n a multiple of 12?
True
Let b = 29 + -26. Suppose -2*l - i + 120 = -5*i, 5*i = b*l - 177. Suppose -g = -23 - l. Is g a multiple of 13?
False
Suppose -34*z = -94*z - 180. Is 573 + (27/(-12))/(z/(-8)) a multiple of 7?
True
Let y(v) = -39*v**3 - 7*v**2 + v + 5. Let x be y(2). Let i = -128 - x. Does 41 divide i?
True
Let q(i) = -6*i + 63. Let p = 95 - -43. Let m = p + -159. Is q(m) a multiple of 15?
False
Let z = -39 + 42. Suppose -4*p - z*f + 447 = -p, 0 = 4*p - 5*f - 560. Suppose -4*m + 4*x = -480, -x = -m - 5*x + p. Is m a multiple of 54?
False
Let o(s) = -5*s**2 + s - 1. Let d(n) = -11*n**2 + 3*n - 3. Let j(x) = 2*d(x) - 5*o(x). Does 4 divide j(2)?
False
Suppose -12754 - 5496 = -73*r. Is 25 a factor of r?
True
Suppose 3*j + 4581 = z, 150*j - 4577 = -z + 155*j. Does 33 divide z?
True
Suppose 0 = 708*j - 688*j - 3140. Does 14 divide j?
False
Let a = 76 - -38. Suppose -i - 5*b = -9, 39 = -3*i + b + a. Suppose 0 = n - 86 - i. Is 55 a factor of n?
True
Suppose -p + 48 - 39 = 0. Let r = p + -4. Suppose 0 = -5*w - 3*o + 5*o + 860, 2*o - 840 = -r*w. Is w a multiple of 17?
True
Suppose 4*u + 2*r = 5886, -2*u + 3*r = -6*u + 5885. Does 8 divide u?
True
Let j = 7303 - 4579. Is j a multiple of 12?
True
Suppose 0 = 9*y - 13*y - 8. Let r = 12 - y. Let f(p) = -p**2 + 22*p + 3. Does 23 divide f(r)?
True
Suppose -q - d + 42605 = 0, -2*q = -5*d + 15518 - 100672. Does 9 divide q?
True
Suppose p - 26 = 5*s, 4*s = -4*p + 1 - 17. Let a be ((-12)/(-4))/(p/1). Suppose -4*z + 85 + 159 = a*w, -3*w - 5*z = -245. Does 7 divide w?
False
Suppose -4*v - 7 = -9*v + 2*i, -3*i + 3 = -3*v. Suppose -v + 15 = 3*g. Suppose -2*w - g = -2, 5*o + 5*w - 490 = 0. Does 20 divide o?
False
Suppose 0 = 3*a - 18, 8*l + 4*a = 13*l - 25191. Is 29 a factor of l?
False
Let o(l) = l**3 + 5*l**2 - 7*l - 2. Let r be (-4 + 10)*6/(-6). Let p be o(r). Suppose -5*i = 5*g - 280, -5*g + 112 + 110 = p*i. Is i a multiple of 19?
False
Let z(k) = -k + 6. Let y be z(4). Let s be 8/(-10) - 1102/(-190). Suppose -3*a + 486 = -y*g - g, 4*a = s*g + 646. Does 41 divide a?
True
Is 1/(((-26)/624)/(6135/(-4))) a multiple of 9?
True
Let a(l) = -6*l**3 + 5*l**2 - 3*l + 