g. Suppose 6*w - y*w + 66 = 0. Is w a multiple of 11?
True
Let z(b) = -2*b**3 + 27*b**2 + 17*b + 63. Is z(14) a multiple of 7?
True
Suppose 9 = -2*l - 1. Is 16 a factor of (-797)/l + (-24)/60?
False
Let c(u) = 9*u**3 - 8*u**2 + 4*u - 8. Does 36 divide c(6)?
False
Is 605/(-10)*(4/(-2) - 0) a multiple of 7?
False
Suppose 30*f = 27*f + 225. Is 7 a factor of (f/60)/(2/40)?
False
Let s(a) = -5*a - 24. Let f be s(-25). Suppose -f = -2*p + 2*g - 5, -3*p + 150 = -5*g. Does 7 divide p?
False
Let f(y) = 2*y. Let a be f(2). Suppose p + a = -p. Is (-47)/p + (-3)/(-6) a multiple of 12?
True
Suppose 96 + 31 = 3*b - 2*c, 4*b + 2*c - 146 = 0. Suppose -8*f - b = -391. Does 22 divide f?
True
Suppose -8*i - 3*i = -6765. Does 15 divide i?
True
Suppose t = -2*t - 33. Let k be (0 + 55)/(5*(-8)/(-40)). Does 6 divide ((-26)/5)/(t/k)?
False
Let r(t) = 4*t**2 + 2*t - 4. Is 15 a factor of r(2)?
False
Let l(y) be the second derivative of y**5/20 - y**4/12 - y**3/6 - 4*y. Let d be l(6). Suppose -z = z - d. Is 24 a factor of z?
False
Let f(u) = u + 79. Let l be f(29). Suppose -17*k + 26*k = l. Is k a multiple of 12?
True
Suppose 2112 = 43*t - 210. Is 9 a factor of t?
True
Let k = 21 - 24. Let g = k + 5. Suppose -6*i + g*i + 52 = b, -5*i = 0. Is 13 a factor of b?
True
Suppose -3 = 4*h - 199. Let x = h - 23. Does 3 divide x?
False
Let q(h) = -9*h**3 + 3*h**2 - 4. Let d(p) = -p**2 + 2. Let t be d(-2). Is 16 a factor of q(t)?
True
Suppose 3*c = 4*j - 0*j - 5433, 0 = -2*c - 6. Does 75 divide j?
False
Let w = 177 - 97. Let z = w + -32. Suppose -2*j + z = -34. Is 20 a factor of j?
False
Let a(r) = r**2 - 4*r + 2. Let b be a(3). Let l = 1 + b. Suppose l = 4*p - 3*t - 70, 4*t + 2 - 42 = -3*p. Is p a multiple of 16?
True
Let a(x) = 56*x**2 - 2*x - 18. Is 6 a factor of a(-2)?
True
Does 9 divide 383 - 9/(0 + -3)?
False
Is -1 + 233 - (-5 - 12/(-4)) a multiple of 4?
False
Let l(x) = -2*x**3 - 1. Let a be l(-1). Let y(g) = 101*g - 5. Does 12 divide y(a)?
True
Let n(q) = 272*q - 4. Is 67 a factor of n(1)?
True
Let q(v) = 4*v**3 - 4*v**2 + 4*v - 69. Is 30 a factor of q(7)?
False
Is 6 a factor of -98*((-94)/14 - -5)?
True
Let d be 7/2*(-4)/(-7). Suppose -3*s + 4 = -d*s. Is 1*-18*(-2)/s a multiple of 9?
True
Suppose 7*u = 5748 + 5102. Does 37 divide u?
False
Let h = 247 - 129. Suppose -4*p + h - 30 = 0. Is 5 a factor of p?
False
Let m = 250 - 368. Let u = m + 183. Does 17 divide u?
False
Suppose -163*y = -170*y + 1428. Is y a multiple of 17?
True
Suppose -5*j = 4*c + 9334, -2*j + 4*c - 3211 - 545 = 0. Is 17 a factor of (4/(-10))/(11/j)?
True
Let j be (-15)/10*16/(-3). Suppose -3*v = -28 - 32. Is 13 a factor of 5/((j/v)/2)?
False
Suppose -4*f - 284 = -3*p, -3*f = 2*p + p - 312. Is p a multiple of 3?
False
Suppose 8 = -8*o - 24. Is (-137)/o + 1/(-4) a multiple of 17?
True
Let t be (3/(-3))/((-2)/56). Is (-73)/(-4) + (-7)/t a multiple of 14?
False
Let t = 39 + -27. Suppose t = -u + 89. Is u a multiple of 19?
False
Let y(c) = -c**3 - 21*c**2 - 5*c + 153. Is 44 a factor of y(-21)?
False
Let h(z) = -z + 6. Let x = -10 - -7. Is 3 a factor of h(x)?
True
Let r(y) = y**3 - 3*y**2 + 5*y - 5. Suppose 4*v = -2*n + 4 + 48, 2*n - 3*v = 80. Let f be n/6 - 4/6. Does 10 divide r(f)?
True
Suppose -3*h - 2*h - g = 0, 3*g = h. Suppose -4*k - 470 = -4*f - 2*k, h = -2*f + 5*k + 247. Is 29 a factor of f?
True
Suppose -25*z - 64080 = -70*z. Is 64 a factor of z?
False
Let p(m) = m**2 - 13*m + 1. Let u(f) = -1. Let k(h) = p(h) + 2*u(h). Let g(x) be the first derivative of k(x). Does 2 divide g(9)?
False
Suppose -5*t - 3*q = -1000, 3*t - 227 - 373 = -3*q. Is t a multiple of 50?
True
Suppose -12 = -3*f, -3*f = 3*d - 4*f + 4. Suppose 5*j - 3 - 12 = d. Suppose -4*g - 5*l = -170, j*l - 206 = 2*g - 7*g. Is g a multiple of 12?
False
Is ((-1045)/(-3) - -1)*(-468)/(-312) a multiple of 8?
False
Let n be 17/(-85) + (-176)/20. Let y = -25 - -39. Let c = n + y. Does 5 divide c?
True
Suppose 5*g = 4*q - 3*q - 1848, 4*q = -4*g + 7416. Does 109 divide q?
True
Let b(s) = -5*s + 30. Let c be b(0). Is 33 a factor of 4/c + (-22265)/(-75)?
True
Suppose -t + u + 56 = 0, 13*t - 171 = 10*t + 2*u. Does 6 divide t?
False
Let d = 37 - 32. Suppose 0 = -4*f + 2*s + 90, -13 - 2 = -d*s. Does 12 divide f?
True
Let a be (1 + -1)/(1 + 1). Suppose -14*f - 5*f + 2375 = a. Does 7 divide f?
False
Let w = 23 - 21. Let z(y) = 2*y. Let g be z(w). Does 35 divide -3*g/12*-134?
False
Let r = -1150 + 2671. Does 42 divide r?
False
Is (-2942)/(-8) + (-30)/40 a multiple of 37?
False
Suppose 0 = 5*d - 32*r + 31*r - 2521, -5*d + 2*r = -2522. Is d a multiple of 21?
True
Suppose 5*v = 25, v - 37 = 5*m - 167. Let p = m + -24. Is 3 a factor of p?
True
Let a(t) = 19*t + 5 - t - 4*t. Let j = 7 + -5. Is a(j) a multiple of 23?
False
Let x = 950 + -256. Is x a multiple of 64?
False
Let i(l) be the second derivative of l**5/20 + 3*l**4/4 - l**3/6 - 23*l**2/2 + 18*l. Is 19 a factor of i(-8)?
False
Let f(n) = -9*n - 25. Suppose -3*j = -6*j - 33. Let r be f(j). Let b = -34 + r. Is 10 a factor of b?
True
Let d(i) = -i**3 - 19*i**2 - 134*i - 84. Is 86 a factor of d(-21)?
True
Suppose 3*o + 1868 = 5*u + 745, 0 = -o + 4. Is 52 a factor of u?
False
Let p(k) = 2*k + 219. Let u be p(0). Let d = u - 131. Is 22 a factor of d?
True
Let i = -22 - -29. Suppose -109 = -i*x + 164. Is x a multiple of 11?
False
Suppose 5*c = -k + 96, c - 6*c + 500 = 5*k. Is k a multiple of 6?
False
Suppose 942877 - 195559 = 143*u. Is u a multiple of 92?
False
Suppose h + 5*t - 1182 = 0, 0 = 3*h + 35*t - 40*t - 3506. Is 67 a factor of h?
False
Let q(h) be the second derivative of -h**5/20 - 11*h**4/12 - 11*h**3/6 + 7*h**2 - 20*h. Let o(n) = -n**2 - 8*n + 10. Let m be o(-10). Is 6 a factor of q(m)?
True
Suppose -22*p = -37*p + 22920. Does 82 divide p?
False
Suppose 5*n = -3*m - m + 31, 5 = -5*n. Let s = -4 + m. Is 12 a factor of (28/5)/(s/25)?
False
Let o = -13 - -15. Let x(m) = -143*m - 1. Let z be x(-1). Suppose 4*n + 58 = f, f - z = -o*f - 4*n. Is f a multiple of 13?
False
Let m = 96 + -93. Suppose m*g = 4*s + 170, -g + 2*g = 4*s + 62. Does 20 divide g?
False
Suppose 5373 = 3*g - 11*z + 16*z, 0 = -5*g - 4*z + 8942. Does 94 divide g?
True
Let l(d) = -2*d - 5. Let r be l(0). Does 5 divide 10*(0 + (-34)/r)?
False
Let o(z) = -z**3 - 8*z**2 - 8*z - 5. Let n be o(-7). Does 14 divide ((-6)/(-9) - n) + 1204/21?
True
Let i(n) = -3*n**3 + 39*n**2 - 3*n + 32. Let q be i(13). Let p(a) = -1. Let o(z) = 5*z - 8. Let g(j) = -o(j) + 5*p(j). Is 19 a factor of g(q)?
True
Suppose 2*a + 15 = -0*s + s, 0 = s + 5*a + 20. Suppose -4*z = -n + 28 + s, 96 = 4*n - 4*z. Is n a multiple of 3?
True
Suppose -2*m - 14*b + 922 = -13*b, 3*b = 5*m - 2316. Is 66 a factor of m?
True
Is 30 a factor of 4 + 374 + 5/(-5)?
False
Let w(h) = 12*h**2 + 4*h + 4. Let l be ((-4)/(-2))/((-1)/(-10)). Let i be (-1)/(-2) - 50/l. Is 12 a factor of w(i)?
False
Let b be (0 + 2)*75/50. Suppose -b*v = -x - 8*v + 28, v = -2*x + 92. Is x a multiple of 12?
True
Suppose -2*t + 6900 = 4*m, -2*t + 5*m + 17310 = 3*t. Is t a multiple of 26?
True
Let x be (-6)/(-2) + (14 - 14). Suppose -14*r = -x*r - 638. Is r a multiple of 58?
True
Let l(k) = -6*k + 1. Let x be l(-2). Let y(t) = t**2 - 10*t - 5. Let r(n) = -n**2 + 10*n + 5. Let d(g) = 4*r(g) + 5*y(g). Does 10 divide d(x)?
False
Let v(a) = -2*a - 10. Let h be v(-7). Suppose -5 = h*m - 5*d, -3*m = -2*m - 4*d + 15. Suppose 0 = 3*r - m*r + 96. Is r a multiple of 16?
True
Let i(q) = -q - 4*q**2 - 3*q**3 + 0*q**2 + 37 - 5*q - 47. Does 53 divide i(-3)?
True
Let o(m) = 6 - 7*m - 9*m + 7*m - m**2. Does 3 divide o(-6)?
True
Does 26 divide (-221)/(-34)*6*4?
True
Let o = -51 + 178. Let b = o - 52. Suppose b = n + 3*r, -n = 7*r - 5*r - 73. Does 20 divide n?
False
Let f(j) = -80 + 0*j**2 + 3*j**2 - 12*j + 75. Does 13 divide f(8)?
True
Let t(g) = g**2 - 3*g + 4. Let j be t(-4). Does 16 divide (18/12)/(3/j)?
True
Suppose -2*p + 4*j + 100 = 0, -2*p = p + 3*j - 114. Is 3 a factor of p?
True
Suppose 40*p - 30217 - 17623 = 0. Is 26 a factor of p?
True
Let c(f) = -f**3 + 4*f**2 - 4. Let m be c(4). Is 12 a factor of 10*15/(-10)*m?
True
Let j(w) = 1656*w - 28. Does 67 divide j(1)?
False
Let h(l) = 2*l + 3. Let c = -11 + 13. Suppose -3*y + 27 = 2*p, 4*y - p = -c*p + 36. Does 10 divide h(y)?
False
Let s = 12 - 8. Suppose 55 = 2*d + 3*d - 5*a, -