0. Let a be f(-6). Let w be a/(-4)*(-5)/((-20)/12). Suppose -547 = -4*q - w. Does 24 divide q?
False
Suppose -11754 = 5*a - 15079. Does 35 divide a?
True
Let d(c) = c**2 - 3*c - 35. Let j be d(8). Suppose -j*x + 1464 + 896 = 0. Is 40 a factor of x?
False
Let r(t) = 838*t**2 - 1672*t + 6705. Does 49 divide r(4)?
False
Let w = 34949 + -30725. Is 66 a factor of w?
True
Suppose 22254 + 13181 = 128*x + 3563. Is x a multiple of 5?
False
Let d = -558 + 954. Suppose 0 = 9*p - 8*p - d. Is 48 a factor of p?
False
Suppose 0 = 5*j - 4445 - 2200. Is 14 a factor of (-26)/(-78)*(j + 0)?
False
Let b(x) be the second derivative of x**6/240 + x**5/4 + 17*x**4/6 + 27*x. Let r(p) be the third derivative of b(p). Does 4 divide r(15)?
False
Let h(n) = n**3 + 8*n**2 - 4*n + 8. Let y be h(-8). Suppose -20 = 4*p, c = -5*p + 2*p + y. Suppose -7*v = -c - 190. Is 7 a factor of v?
True
Suppose -13*f = -115*f - 108*f + 2813580. Is 11 a factor of f?
True
Let m = 100 + 46. Let u = 380 - m. Is u a multiple of 28?
False
Suppose 0 = -3*w + o + 40, 2*o = -19*w + 20*w - 20. Suppose 2178 = w*f - 6*f. Is 11 a factor of f?
True
Let v(t) = -12*t**3 + 3*t**2 + 2*t. Let h be v(-1). Suppose -c - h*c = -3752. Let m = -188 + c. Is 16 a factor of m?
True
Suppose 145*u - 71*u + 112453 = 85*u. Is u a multiple of 81?
False
Let i be 15/20 + (-11)/4. Let p be (-3)/i*36/27. Is p*5*36/24 a multiple of 8?
False
Suppose -5*s + 167 = -58. Let g be (-18)/s*(2 + -12). Let c(q) = 3*q + 15. Does 27 divide c(g)?
True
Let w(i) = -35*i - 1. Let l be w(-1). Let k be (((-346)/(-4))/(-1))/(17/l). Let b = 278 + k. Is b a multiple of 21?
True
Let y(i) = i**2 - 2*i - 22. Let c be y(6). Suppose c*r = 2*m - 4*m + 346, -4*r = 2*m - 356. Is m a multiple of 28?
True
Let f(p) = -p**2 + 7*p - 13. Let v be f(5). Let y(n) = -5*n**3 + 4*n**2 + 4*n + 9. Is 28 a factor of y(v)?
True
Suppose -1158 = l + 5*o, -l + 5*o = 6*o + 1158. Let m = l + 1918. Is 12 a factor of m?
False
Let m(i) = 436*i**2 + 12*i - 28. Let s be m(3). Let q = -2722 + s. Is q a multiple of 11?
True
Does 158 divide -2 + -4 + 3 + -1646*(1 - 2)?
False
Let q(h) = -h**3 - 2*h**2 - 3*h - 6. Let d be q(-3). Let c(f) = 0*f**3 + f**3 + 6*f - 12*f**2 + 23 + 3. Does 21 divide c(d)?
False
Does 42 divide 410/(2 - 10*20/125)?
False
Suppose -898 = -2*g + p, -4*p = -5*g + 1935 + 313. Does 2 divide g?
True
Does 99 divide 13800/46*(-66)/(-10)?
True
Does 9 divide 4/(12/128493) + 0?
True
Suppose -2*f + 3*t + 46379 = 0, 2*t - 115900 = 51*f - 56*f. Is 93 a factor of f?
False
Let w(c) = -45*c + 18. Let b be 21/(-28) + 2 + 17/(-4). Does 17 divide w(b)?
True
Let z = -4732 - -6988. Is z a multiple of 6?
True
Let s(o) = o**3 - 23*o**2 + 23*o - 17. Suppose 0 = 54*z - 58*z + 88. Is s(z) even?
False
Let r = -15 - -20. Suppose -2*l = 3*g + 2*l + 629, 0 = r*g - 4*l + 1091. Let a = -142 - g. Does 13 divide a?
False
Suppose 2*t - 6 = -w, -23*t + 20*t = 5*w - 30. Is 13 a factor of w*(-8)/(-144)*114*17?
False
Let n be (2 + -22)/((-22)/(-297)). Is 14 a factor of -120*(-3 - (n/24)/9)?
True
Let n(y) = 3*y**2 - 4*y - 1. Let m be n(-4). Let r be (-138)/((-5)/m - (-3)/(-21)). Suppose -a = 8*a - r. Is 15 a factor of a?
False
Let j(h) be the third derivative of -h**5/8 + 5*h**4/4 + h**3/3 - h**2. Let v(x) be the first derivative of j(x). Does 36 divide v(-9)?
False
Suppose 8*q = -1194 + 386. Let u = -148 - q. Let v = 5 - u. Is v a multiple of 16?
False
Let w(i) = 106*i + 885. Let j be w(-9). Suppose 5*t - 3*t = 0. Does 13 divide 3 + t + -7 - j?
True
Does 71 divide 2/((-3 + (-18932)/(-6312))*-4)?
False
Suppose -3*k + 2*k = 2. Let s(g) = g**2 + 14*g + 5. Let m be s(-15). Is 145*(48/m + k) a multiple of 7?
False
Let d = 31 + 89. Suppose -d*b = -111*b - 153. Is b a multiple of 2?
False
Let f(r) = -r - 3. Let m be f(-3). Suppose m*s - 4*s - 4*l + 756 = 0, -568 = -3*s - 4*l. Does 45 divide s?
False
Suppose -4*c = -11*c + 14. Suppose 2*x - 128 = -c*x. Is 10 a factor of x?
False
Is 129 a factor of (-66366)/(-171) - (-78)/(-741)?
False
Suppose -3*k + 3*t + 27 = 0, 2*k + 12 = -5*t - 5. Let p be (6 - k)/((-6)/(-9)). Suppose -p*a + 60 = -0*a. Is 5 a factor of a?
True
Suppose 4*a - 276 = -d, 8*d - 124 = -2*a + 4*d. Let k = a + -20. Is k a multiple of 31?
False
Let g = 63 - -7. Suppose 2*j = 12*j + g. Let n = 5 - j. Is 4 a factor of n?
True
Suppose 0 = -5*s - 2*w + 15 - 1, 4*s = -5*w + 1. Suppose -s*a = 3*o - 1613, -5*o + 716 = -5*a + 2776. Suppose -3*p = 3, 3*x + p - a = -0*p. Does 17 divide x?
True
Let v = 63 + 190. Let u = 546 - v. Is u a multiple of 20?
False
Let d be 109 - (2/(-9) + (-10)/(-45)). Suppose -5*h + 16 = 2*o - d, o + h = 58. Let c = o + 59. Is 19 a factor of c?
True
Let n(v) = 4 + 8*v - 16 - 29*v**2 + 17*v**2 - v. Let p be n(4). Let r = 2 - p. Is r a multiple of 13?
False
Suppose -136717 + 16397 - 6616 = -8*a. Is 118 a factor of a?
False
Suppose 3*m + 4*k - 3 = 0, -2*k - 2 = -4*m + 24. Suppose 0 = 3*x - 4*x + 2, -4*x = m*q + 2962. Let j = q + 888. Is j a multiple of 42?
True
Suppose -u = -3*f + f, -2*u = -3*f + 3. Let s be 9*(u/(-18) + 0). Suppose -5*g - 681 = -s*y, -4*y + 962 = -4*g + 62. Does 32 divide y?
False
Suppose 0 = 5*y + 5. Let b be (-1)/(2/(y + -561)). Suppose 5*i - 268 - 15 = -v, 2*v = -5*i + b. Is 39 a factor of i?
False
Suppose 2*s - 1296 = -4*f, -4*f + 1399 = -s + 103. Is f a multiple of 6?
True
Let l be (-1208)/(-136) + (-6)/(-51). Suppose -2*t + 2*p - 4*p = -50, 0 = 2*p - 2. Is 49 a factor of (657/12)/(l/t)?
False
Let d(w) = -3 + 2*w + 3*w**3 + 2*w**2 - 10*w**2 - 4*w. Let c be (-1)/((18/8)/(-9)). Is 9 a factor of d(c)?
False
Suppose 0 = 4*s + 367 + 285. Let b = 32 - s. Is 41 a factor of b?
False
Suppose -4*k - 4 = 12. Let d be 256/24*((-18)/k)/(-3). Does 4 divide (d/(-10))/((-181)/(-30) - 6)?
True
Suppose 5*r + 409 = 2*i, -3*i - 251 + 871 = -r. Let y = 13 + i. Is 16 a factor of y?
False
Suppose 4*z - 65 = d, -3*d - 55 = -3*z - d. Is 85 + (6/4)/(z/20) a multiple of 18?
False
Let s(f) = -f**3 - 6*f**2 - 6*f. Let t be s(-6). Suppose 0 = -299*r + 300*r - 4. Suppose -r*h + t = -24. Is h a multiple of 4?
False
Let a be (57/15)/(21712/(-7240) - -3). Suppose -a + 17830 = 13*s. Is 27 a factor of s?
True
Let l = 259 + -515. Let t = -196 - l. Is t a multiple of 5?
True
Let n = -14 + 20. Suppose n*w = 8*w - 254. Is 26 a factor of w?
False
Suppose f = -3*n + 56420 + 46885, 0 = -n - 5*f + 34393. Does 177 divide n?
False
Let a = -51 + 1311. Suppose a = -5*y + 4465. Does 18 divide y?
False
Let d(q) = -142*q - 848. Let l be d(-6). Let p = 9 + -4. Suppose l*u - i - 364 = i, -p*u - 4*i + 481 = 0. Is 16 a factor of u?
False
Let k = 27740 - 17579. Is 34 a factor of k?
False
Suppose 3*f - 74 = -56. Suppose -2*w = -f*w + 252. Is 15 a factor of 798/w*(-24)/(-1)?
False
Let k be (3/6)/((42/(-72))/(-7)). Let f(n) = 30*n + 17. Is 17 a factor of f(k)?
False
Is (6 - (-96)/(-18))*(-53127)/(-6) a multiple of 17?
False
Let h = 2913 + -249. Does 24 divide h?
True
Let p(b) = 4*b**2 - b. Let i be p(1). Let h be ((-6)/(-9))/2*i - 3. Is ((301 + 3)/(-4))/h a multiple of 13?
False
Let q be -6 - -7 - 0 - 4. Is ((1080/21)/(-4))/(q/84) a multiple of 36?
True
Let f = 17 + -21. Let n be f/(-12) - ((-10)/6 - -2). Suppose -3*s + 7*s - 96 = n. Is s a multiple of 8?
True
Suppose -263387 - 1217701 = -48*i. Is i a multiple of 125?
False
Suppose -10*r + 15 = 5*t - 5*r, 3*r = 4*t - 5. Suppose -t*a + 164 = -124. Is 16 a factor of a?
True
Is 29 a factor of ((-107655)/(-18))/5 - (-28)/(-168)?
False
Let q(l) = 281*l**2 - 653*l + 3970. Does 41 divide q(6)?
True
Suppose 10 = 5*p - 5*v, v - 17 = -p - 5. Suppose 5*q - 95 = -2*m + p*m, -63 = -3*q + m. Does 36 divide (-20 + q)/(4/382)?
False
Let g(r) = -r**3 - 2*r**2 + 7*r + 14. Let j be g(-7). Suppose -6*a + 3*a = -j. Does 36 divide a?
False
Let k(c) = -c**3 - 15*c**2 - 27*c - 18. Let p be k(-12). Let l = p - -506. Is 40 a factor of l?
False
Suppose -490 = -5*v + 5*n, -5*v + 4*n + 506 = 3*n. Let r = 93 + v. Is r a multiple of 13?
True
Suppose 118*r = 123*r - 10. Suppose -m = r*m. Suppose m = 5*z + 87 - 687. Is z a multiple of 12?
True
Let u(o) = 19*o - 96. Let w be u(-9). Let v = -155 - w. Is v a multiple of 4?
True
Suppose -4*y = 2*g - 74, 3*y = -4*g - 52 + 200. Let c = -40 + g. Is ((-4896)/22)/c + 2/(-11) a multiple of 8?
False
Let k(z) = 180*z**2 - 9*z - 11. Let f be k(-2). Suppose