*y = 6*y + 384. Let f(b) = -11*b + 229. Let u be f(5). Let g = u + y. Does 26 divide g?
True
Let x = -4 - -4. Let s be (-2 - x) + 24/3. Let y = s + 2. Does 4 divide y?
True
Let r(y) = y**2 - 4*y - 54. Let c be r(10). Suppose -533 = -c*m + 13. Is m a multiple of 47?
False
Suppose 0*k - 230 = 5*k. Let r = -15 - k. Is 22 a factor of r?
False
Let b(y) = -y + 13. Let w be b(11). Suppose w*v = 5*u + 123 - 33, -15 = u - v. Is (16/u)/((-1)/35) a multiple of 10?
False
Suppose -41*u + 45*u - q - 2637 = 0, 2*u - q - 1317 = 0. Does 22 divide u?
True
Suppose 0 = 3*u + 3*u - 906. Suppose 0 = -5*q - 4*y + 336, -u = -2*q + y - 14. Let z = q - -51. Is 17 a factor of z?
True
Let v(x) = x**2 - 6*x - 7. Let l(y) = 7*y + 32*y**3 - 2 + 3*y**2 - 31*y**3 + 4*y**2 + 3. Let m be l(-6). Does 11 divide v(m)?
False
Suppose -3*d - 3*q = -2553, -4*d + 5*d + 4*q = 851. Is d a multiple of 23?
True
Let u(w) = -w + 53. Let c be u(20). Suppose -5*p + 3*h = -540, p - h - c = 77. Is 21 a factor of p?
True
Let i = -339 - -738. Is i a multiple of 19?
True
Let s(k) = -k**2 - 2*k + 2. Let d be s(-4). Let b = d - -1. Is 10 a factor of 1*(1 - 7)*b?
True
Let z be ((-4)/(-5))/(-4*3/60). Does 5 divide ((-32)/2 - -4)/(6/z)?
False
Is 7 a factor of 131 + (65/10 - 6)*-10?
True
Let h(v) = v**2 - 4*v + 5. Let d be h(4). Suppose 494 = -3*l - 5*y, -d*l - 640 = -l + 2*y. Let t = 248 + l. Does 15 divide t?
True
Suppose -3*v + v = 5*o + 9, -9 = -3*v - 3*o. Is 42 a factor of (-2)/v - (-1983)/12?
False
Let m be (0 + 4/6)*9. Suppose 22*s - 78 = -4*s. Let z = m + s. Does 9 divide z?
True
Suppose 34*k - 18864 = -6182. Is k a multiple of 41?
False
Suppose -8 = -8*u + 6*u. Suppose 4*c + 3*h - 25 = 221, -2*c - u*h + 128 = 0. Is 30 a factor of c?
True
Let l = 827 + -113. Is l a multiple of 34?
True
Let c(a) = 1896*a + 80. Is c(1) a multiple of 6?
False
Let q be (-185)/10*(-6 - -4). Suppose k - q = -0*k. Is 11 a factor of k?
False
Let g = -39 - -37. Let c(n) = -n**3 - n**2 - n + 1. Let w(t) = 2*t**3 - 4*t**2 - 8*t + 4. Let i(y) = 5*c(y) - w(y). Is i(g) a multiple of 12?
False
Let n be 2 + (4 - (6 - 2)). Suppose -66 - 74 = -5*f - 3*u, -n*f - 5*u + 37 = 0. Is 18 a factor of f?
False
Let l(h) = 3 - 18*h + 2*h**2 - 8*h + 1 + 24*h. Is l(5) a multiple of 14?
False
Let c = 15 + 3. Suppose -c = -s - 12. Does 4 divide s?
False
Suppose 2*r = -q + 38, -q - r + 33 = -0*q. Suppose 0 = -q*x + 24*x + 60. Is 13 a factor of x?
False
Let w be (2*6 - (-6)/6)*1. Suppose 0 = 7*a - w - 99. Is 3 a factor of a?
False
Suppose -24 = -0*c - 3*c. Let y = 10 - c. Suppose y*i - 76 = -2*i. Does 6 divide i?
False
Let i be 11/(-55) - (-21)/5 - -2. Suppose -10*y + 388 = -i*y. Is y a multiple of 13?
False
Suppose -7*t + 1334 = 16*t. Is t a multiple of 17?
False
Let j(y) = -5*y**3 - 3*y**2 + 0*y**3 + 7*y**3 - 1 + 2*y. Does 2 divide j(2)?
False
Let o be (6/(-4))/((-5)/((-13720)/(-6))). Suppose 237 = 5*m - 3*s - o, -550 = -3*m - 2*s. Is 18 a factor of m?
False
Let c be (1*(-4 - -1))/(0 + -1). Is 2/6 + (-140)/(-36)*c a multiple of 5?
False
Suppose 9 = 2*z - 9. Let c(r) = -r**3 + 8*r**2 + 12*r + 13. Let o be c(z). Let y = o + -21. Is 6 a factor of y?
False
Let w(a) = -11*a + 1 + 3 + 1 + 12*a**2 + a**3. Let d be w(-13). Let i = d + 33. Is 4 a factor of i?
True
Let q be 2/3 - (-7)/3. Let h(m) be the first derivative of m**4/2 - 5*m**3/3 + 2*m**2 - m - 96. Is 10 a factor of h(q)?
True
Let g(z) = 3*z - 1. Let w be g(3). Suppose 3*b + 5*v = v + w, -v = -b - 2. Suppose -d + 2*d - 16 = b. Is d a multiple of 12?
False
Suppose 5*d = 10, -d + 17 = -3*q - 3*d. Let w(p) = -p**3 - 8*p**2 - 6*p + 8. Let c be w(q). Is -34*(7/(-2) + c) a multiple of 24?
False
Let a(c) = -c**3 + 9*c**2 + c + 5. Let i be a(9). Suppose 27 = d - i. Suppose -v + d = z, -97 = -2*v - 5*z - 0*z. Is 12 a factor of v?
True
Let l be 5*(1 + 3) + -1. Let q = 21 - l. Suppose 2*f + 18 + 68 = q*b, 3*b - 115 = -4*f. Is 14 a factor of b?
False
Let r(l) = 104*l**2 - 7*l. Is 17 a factor of r(-2)?
False
Suppose 11 = -5*t + 51. Suppose -4*q + 4 = -t. Suppose z + q*z - 44 = 0. Is 5 a factor of z?
False
Suppose -19*v + 11*v + 1472 = 0. Does 16 divide v?
False
Let b(w) = 2 + 14*w**2 + 4*w - 5*w**2 - 10 + 0. Does 24 divide b(-4)?
True
Let b = -38 + 29. Does 11 divide (b/6)/((-15)/110)?
True
Suppose -32*k + 36120 = -8*k. Does 49 divide k?
False
Suppose 9*n - 75 = 6*n. Let y = n - -71. Does 12 divide y?
True
Let l be 2 + 125 - (-11)/11. Does 36 divide ((-80)/(-32))/(2/l)?
False
Suppose -5*c = 3*s - 1359, -632 = -2*c + s - 84. Is c a multiple of 7?
True
Suppose 0 = 3*q + 62 + 130. Let o be (-4)/12 + q/(-12). Does 6 divide 4 + o/(5/16)?
False
Suppose -2*l + 5 = o, 2*o = 2*l - l + 5. Does 13 divide ((-79)/(-2))/(o/12)?
False
Suppose 0*b = 4*b - 4. Let x be (204/(-16))/b*-24. Suppose 0 = -6*w - 54 + x. Is w a multiple of 21?
True
Let f(m) = -9*m**3 + m**2 - m - 4. Let c be f(-2). Suppose 0 = -2*r + 3*t + 70, 10*r - 12*r + c = -5*t. Is r a multiple of 5?
False
Is 13 a factor of 642/((-4)/((-32)/12))?
False
Let i(v) = 3*v**2 - 15*v + 16. Does 96 divide i(26)?
False
Let q = 1065 + 895. Is q a multiple of 20?
True
Let w(t) = t**2 + 16. Let r be w(0). Suppose 3*u + u + r = 0. Is 14 a factor of (138/9)/(u/(-6))?
False
Let k(w) = -w**2 + 18*w - 12. Let p be k(17). Let c be ((-8)/p)/((-20)/500). Let y = 72 - c. Is y a multiple of 16?
True
Suppose -5*l = -4 - 6. Suppose l*o = 5*c + 18, 4 = 4*o - 2*c - 0*c. Is (75/12 + o)*4 a multiple of 14?
False
Is 13 a factor of (-12)/(-4) - (1 + -801)/2?
True
Let n = 10 - 10. Let f = -2 + n. Let x = 20 - f. Is x a multiple of 22?
True
Let h = -26 + 29. Suppose h*k + 5*b - 653 + 175 = 0, k - 2*b - 152 = 0. Is 28 a factor of k?
False
Is 615/20 - 11/(-44) a multiple of 30?
False
Let u(n) = 50*n + 251. Does 55 divide u(13)?
False
Let m(b) = -3*b**2 + 32*b + 19. Let w(y) = -7*y**2 + 65*y + 39. Let j(q) = -9*m(q) + 4*w(q). Does 4 divide j(-27)?
True
Does 32 divide -2*(-17385)/70 + (-4)/(-14)?
False
Let x(i) = -14*i + 5. Let a = 3 + -4. Is 5 a factor of x(a)?
False
Let f be (-13)/2 - (-3)/6. Let h(a) = a**3 + 11*a**2 - 2*a - 10. Let v(y) = -y**3 - 12*y**2 + 2*y + 11. Let d(m) = 6*h(m) + 5*v(m). Is 4 a factor of d(f)?
False
Is 31 a factor of ((-27576)/12 - -11)/(-1)?
False
Suppose -12*k = -15*k + 321. Is k a multiple of 13?
False
Suppose -2170 = 9*h - 802. Let v = -74 - h. Is 18 a factor of v?
False
Suppose 4*k + 2 = 58. Suppose -12*g - 194 = -k*g. Is g a multiple of 13?
False
Let v be 2*-3*10/(-12). Suppose -t - u + 7 = t, 13 = v*t + u. Is (-88)/10*(t - 7) a multiple of 17?
False
Suppose -6*j = -2*j + 4. Let r = 4 + j. Suppose -4*o - 12 = g - 3, -g - 2*o = r. Is g a multiple of 3?
True
Let h(t) = t**2 + 16*t + 25. Let k be h(-14). Is 6 a factor of 12/(-8)*16/k?
False
Is 16 a factor of -1*(-6)/(-8)*(-2 + -62)?
True
Let c be (-12)/15*(-60)/(-2). Let f = c - -103. Is 18 a factor of f?
False
Suppose 5 = -5*b, -4*b + 21 = -3*u + 7. Does 10 divide (-2 - 12/(-8))*u - -67?
True
Let w(s) = -4*s**3 + 31*s**2 - 16*s - 7. Let n be w(7). Suppose -5*x - 36 = -3*x - 2*u, -3*x - 56 = -2*u. Let q = n - x. Is 10 a factor of q?
False
Let b = -60 + 63. Suppose j - 4 = -3*j - 4*x, j - 16 = 4*x. Suppose 92 = 2*z - j*o, 0*o - b*o - 179 = -4*z. Does 11 divide z?
True
Suppose -75*x - 1080 = -87*x. Is 6 a factor of x?
True
Let x(n) = -n**3 - n**2 + n + 2. Let i be x(-2). Suppose i*j + 25 = 5. Let q = j + 19. Is q a multiple of 14?
True
Suppose 5*s - 704 - 141 = 0. Suppose 168 = 4*f + 4*p, 4*f - 3*p + 1 - s = 0. Is f a multiple of 7?
True
Let w be ((-3)/(-2) - 2)*-482. Let g = w - 166. Is g a multiple of 13?
False
Let a = -229 - -237. Is 8 a factor of a?
True
Let t(q) = 4*q + 10. Let f be t(-9). Let h be (-4 - -69)*f/(-10). Let u = -91 + h. Is u a multiple of 13?
True
Let x = -2 + 45. Let w = x + -23. Is w a multiple of 4?
True
Let x = 87 + -93. Is 20 a factor of (-957)/x + 0 + (-2)/4?
False
Let x(l) = 9*l**3 - 9*l**2 + l + 14. Let m(j) = -5*j**2 + 2 + j**3 + 5 + 4*j**3. Let v(s) = -11*m(s) + 6*x(s). Is 12 a factor of v(-3)?
False
Let o(y) = -y**2 - y + 1. Let b be o(0). Suppose 2*d - c - 145 = 0, 4*c + b + 3 = 0. Is d a multiple of 10?
False
Let c(g) be the second derivative of -g**3 - 6*g**2 - g. Let w be c(-9). Let n = 2 + w. Is 22 a factor of n?
True
Let o = 72 + 65. Suppose -x - o = -4*g, -4*x = 4*g + 84 - 21