 p - 4. Let t be v(-9). Let c be u(t). Suppose 4*n = 5*a - c - 111, 87 = 3*a - 3*n. Is a a multiple of 25?
False
Let v(n) = -888*n + 4202. Does 14 divide v(-6)?
False
Let p(s) be the second derivative of s**3/6 + 31*s**2/2 + s. Suppose -133*t = -148*t + 120. Is p(t) a multiple of 6?
False
Is 3 a factor of ((-91390)/(-76))/(8/32)?
False
Let d = 39 - -119. Suppose -5*j - 5*f = -7*f - 1159, -f = 5*j - 1168. Let y = j - d. Is y a multiple of 15?
True
Suppose 2*a - 3214 = -2*l, 720*a + 3*l + 6407 = 724*a. Is a a multiple of 15?
False
Suppose -1018 + 146 = -2*d. Suppose 2*x + d = 6*x. Let h = -39 + x. Is h a multiple of 10?
True
Let f(h) = -h**3 + 27. Let w be (-80)/(-50) + (-2)/(-5). Let o be 0/(-1*(4 + w - 3)). Is 5 a factor of f(o)?
False
Suppose -5*w = -4*b - 165, -b = 5*w - 2*b - 165. Suppose -w - 247 = 5*k. Does 15 divide (0 - -30)/(7*(-2)/k)?
True
Let s = 1467 - -1509. Is s a multiple of 32?
True
Let u(t) = -208*t**3 - 9*t**2 + 9*t + 78. Is u(-3) a multiple of 5?
False
Suppose b - 2*m = 1 + 7, 2*m + 64 = 5*b. Suppose -b*t - 25*t = -24102. Is t a multiple of 11?
False
Is 20 a factor of ((-3)/4)/((-69)/4925680)?
True
Let u(w) = -w**2 + w + 422. Let o be u(21). Is 6 a factor of (41/2 + o)/((-6)/(-8))?
True
Does 112 divide ((-484823)/(-57) - (-2)/6) + 24/4?
True
Is 390*(-14)/(56/(-6))*1 a multiple of 9?
True
Let i = 795 - -732. Suppose 5*v + w - 896 = 637, 5*v - w = i. Does 9 divide v?
True
Let n(x) = x**3 - 9*x**2 - 21*x + 13. Let u be n(11). Does 3 divide 8/u - 227/(-3)?
False
Let m be (26/3)/(10/45*-3). Let s = 42 - m. Let l = s + 30. Does 9 divide l?
False
Let l be (-4)/(-6) - (1 + (-65)/15). Suppose 2*t + 2 = r - 110, t + l = 0. Does 6 divide r?
False
Let a be (17 - 13) + 7*(2 - -56). Suppose 2*r + a = 4*y, -2*y - 22*r = -26*r - 202. Is 17 a factor of y?
False
Let t = 649 - 633. Suppose t*k = 6271 + 13969. Is 55 a factor of k?
True
Let o be (-55 - -53)*-1*3/2. Suppose -5*m + 1847 = o*k, 2*k + 7*m - 2*m = 1223. Is k a multiple of 26?
True
Suppose i + 3*i - 16 = 0. Let b be ((-2)/(-15)*10)/(i/1626). Suppose 11*k - 173 = b. Is k a multiple of 13?
True
Suppose -23*l - 16 = -a - 27*l, 2*a + 4*l = 24. Let d(g) = -4*g + 5*g**2 - 2 - 12*g**2 + g**3 + 10. Is 13 a factor of d(a)?
False
Let t(g) = g**3 - 9*g**2 - 12*g + 20. Let v be t(10). Suppose v = -a - 20 + 69. Suppose 2*z - a = 33. Is z a multiple of 8?
False
Is 33 a factor of ((-168 - 0) + 3)/(1/(-23))?
True
Suppose 5*n - 15515 - 5326 = -3*r, -4*r = 4*n - 27772. Is r a multiple of 7?
True
Let r(d) = -5*d**3 - 2*d**2 + 11*d + 13. Let u be r(-6). Let f = -721 + u. Is 17 a factor of f?
False
Let m be 17/4 + 2/(-8). Suppose -m*v = -13 - 7. Suppose 5*y - 2*n - 589 + 51 = 0, v*y + 5*n = 510. Is y a multiple of 28?
False
Suppose 79*r = -21*r + 15*r + 1610155. Is r a multiple of 20?
False
Suppose 0 = -27*f - 7*f - 2584. Let u = f - -334. Does 6 divide u?
True
Let h(g) = -70*g - 83*g + 148*g - 23. Is h(-13) a multiple of 7?
True
Let c(i) = 9923*i**3 + 10*i**2 - 4*i - 3. Does 14 divide c(1)?
True
Suppose 13*y - 4*a = 10*y - 4, 5*a = -3*y + 32. Suppose 13100 = 21*w + y*w. Is 42 a factor of w?
False
Let s(k) = 3*k**2 + 11*k - 2. Let m be s(-4). Suppose -4*i - 273 = -7*t + m*t, -2*t + 2*i = -110. Suppose 37 = -t*g + 54*g. Is 2 a factor of g?
False
Suppose g - 6*g = 2*y - 12, -4*y = 2*g - 8. Suppose -4*o - 2*z = -2*o - 1236, 1224 = g*o - 2*z. Is o a multiple of 8?
False
Let m be (-174)/(-21) - (-2)/(-7). Let z = m - 9. Is 10 a factor of z/(18/80 + 4/(-16))?
True
Suppose -14*v + 12*v = -2*s + 2634, 3*s - 3957 = 4*v. Is 53 a factor of s?
False
Suppose 5*u = 2*u - 15, 0 = -q - 4*u - 22. Is 43 a factor of q/4*1*(-2245 - 31)?
False
Let z(f) = 1. Let n(r) be the third derivative of -7*r**4/8 - 3*r**3/2 - 18*r**2. Let d(b) = -n(b) + 6*z(b). Is 40 a factor of d(5)?
True
Suppose -54*x + 190782 - 44982 = 0. Is x a multiple of 54?
True
Is -25426*10*6/(-120) a multiple of 29?
False
Let i(v) be the second derivative of v**7/840 - v**6/180 + v**5/30 - v**4/8 - 7*v**3/2 + 17*v. Let s(h) be the second derivative of i(h). Does 7 divide s(3)?
False
Suppose -3*f + 2*f = 4*l - 1256, -3*f + 2*l = -3782. Is 60 a factor of f?
True
Let z(b) = b**3 - 25*b + 46*b**2 + 5 - 25*b**2 + 0*b**2. Let u be z(-22). Suppose -74*a + u*a = -234. Does 6 divide a?
True
Let x = -144 - -143. Let a = 4 - x. Suppose -c = 2*q + 3 - 30, 3*c = a*q + 37. Does 19 divide c?
True
Let v(a) = 11*a**2 - 51*a - 44. Is v(-19) a multiple of 72?
True
Let z(y) be the second derivative of 5*y**3/6 + y**2 - 14*y. Let w be z(1). Suppose 4*g = w*g - 144. Is g a multiple of 6?
True
Let a = -111 + 175. Is 9 a factor of a*2 - (60/4)/(-5)?
False
Is 17 a factor of -2 - 11*1040/(-8)?
True
Let j = -18 + 18. Suppose 19*y - 11*y - 400 = j. Is 25 a factor of y?
True
Let c(d) = 35*d**2 - 1828*d - 139. Is 14 a factor of c(57)?
True
Let n(i) = -i**3 + 7*i**2 + 2*i - 6. Let g = -171 - -177. Is n(g) a multiple of 17?
False
Let v = 6 - 10. Let z be -82 + (1 - 4 - v). Let a = z + 163. Is 19 a factor of a?
False
Let w(b) = -9*b - 78. Suppose 2*y = 10*y + 152. Does 11 divide w(y)?
False
Let i(u) = 461*u**2 - 43*u + 192. Does 86 divide i(4)?
True
Is 123 a factor of (-16 + (-170)/(-20))*574/(-5)?
True
Let a be 36*(-3 - 28/(-8)) + -4. Suppose a*v - 10*v - 896 = 0. Is v a multiple of 30?
False
Does 12 divide (-5)/20*-2 - (-50302)/4?
True
Let g(q) = -6*q - 8 - 2 + 26 - q**2. Let i be g(-8). Suppose 10*o - o - 513 = i. Does 8 divide o?
False
Let f be (-193 + -1)/(((-260)/525)/(-26)). Does 11 divide 30/(-195) - f/39?
False
Let i(r) = 5*r**2 - 2*r + 124. Let f(s) = 2*s**2 - s + 62. Let m(z) = -7*f(z) + 3*i(z). Let b be m(0). Let q = b + 122. Is 18 a factor of q?
False
Let u be (-5 - -3) + 3 + 5 + 0. Does 3 divide (-3)/u*(-368)/2?
False
Is 17 a factor of (-112810)/(-4) - ((-205)/82 - -2)?
True
Let u = -274 + 280. Is 18 a factor of 33*13 + (5 - u - -4)?
True
Let u(n) = n + 4. Suppose 113*z - 108*z + 20 = 0. Let a(t) = 2*t + 3. Let p(o) = z*u(o) + 3*a(o). Does 9 divide p(28)?
False
Suppose -3759 = -8*b + 1. Suppose 5*z + 2*x = b + 18, -4*x = -3*z + 272. Is 8 a factor of z?
True
Let r = 95 + -88. Suppose 12*z = r*z - 5, -2*z = 5*g - 318. Does 9 divide g?
False
Suppose -r + 12*q + 5874 = 7*q, -4*r = -3*q - 23598. Does 18 divide r?
True
Suppose -1849 = -16*r - 12089. Let p = -340 - r. Is p a multiple of 16?
False
Let k be 4/(-6) + 0 - (-1610)/30. Let z = k - 0. Suppose -9*a + z = -118. Is a a multiple of 19?
True
Suppose 200*p = 193*p + 252. Suppose -2*j = 2*u - 474, 31*u - j = p*u - 1197. Is u a multiple of 48?
True
Suppose 0 = -5*o + 2*w + 16, -o - 7*w + 4*w = 7. Let m be 1*6*1/2. Does 9 divide (32/m)/(2/(8 - o))?
False
Let x = 7378 - 6286. Is 182 a factor of x?
True
Let q be -3*((-44)/(-6) + 0). Let o(n) = n**3 + 21*n**2 - 23*n + 33. Let p be o(q). Suppose 4*w = 5*w - p. Is w a multiple of 9?
False
Let m be (-3 - (-45)/35)*-7. Let i = 21 - m. Suppose 3*v - i*v = -354. Does 11 divide v?
False
Let h(x) = -97*x**3 + x**2 + x - 1. Let o = -38 - -37. Let z be h(o). Let d = z + 0. Does 16 divide d?
True
Suppose 4*k = -3*b + 4*b + 48, -2*b = 0. Suppose w + k = 34. Is 6*w - (-1 + -3) a multiple of 34?
True
Suppose -560*p + 562*p = -2. Is 16 a factor of (6 + p - 9)/(1/(-60))?
True
Let d(t) = 11*t - 1. Let z be d(1). Suppose -z*j = 4 - 14. Let u = 95 - j. Does 23 divide u?
False
Suppose 133*b - 516338 = 670953. Does 9 divide b?
False
Suppose -4*p + 5*y = -59315, 12 = -y + 17. Suppose -3*j - 40*j = -p. Is j a multiple of 36?
False
Let h be 3*(-1 + 2/(-6)). Suppose -389 + 377 = 6*s. Does 19 divide (32*-1)/((-2)/h*s)?
False
Suppose -4*j = -3*y - 7635, 4*j - 213*y = -212*y + 7633. Is j a multiple of 3?
True
Suppose -7*a - 5 = -40. Suppose -a*h + 16 - 80 = -f, 4*f - 256 = h. Is f a multiple of 9?
False
Let n = 1602 + -3063. Let m = n + 2466. Is 35 a factor of m?
False
Let v(s) = s + 2. Let b be v(0). Suppose 57 = 35*a + 4*a - 21. Suppose -3*k + 80 = h, b*h - a*k - 163 = 13. Does 9 divide h?
False
Let d(o) = 16*o**2 - 45*o + 143. Is 11 a factor of d(9)?
True
Let z = -174 + 178. Suppose 8*w = z*w + 1240. Is 29 a factor of w?
False
Suppose 3*v - 11 = 5*x - x, 2*x = 2. Let f(z) = -2*z**2 - 1 - v*z + 9*z + 39*z**2. Is 16 a factor of f(2)?
False
Suppose -410 = -17*s - 2858. Let o = 143 - s. Does 10 divide o?
False
Le