 Is 24 a factor of a?
False
Let m be 0 + 3 + -4 + (2 - 2). Let h be (-20*5/6)/(m/3). Is (4/12 - 13/(-15))*h a multiple of 12?
True
Let c = -14 - -16. Suppose c*f + 1743 = k, -f - 774 - 87 = 3*k. Does 13 divide (f/5 - -5)/(-1)?
True
Let r(s) = 15*s**2 - 32*s + 42. Let a(w) = 7*w**2 - 16*w + 20. Let j(x) = -13*a(x) + 6*r(x). Does 6 divide j(6)?
False
Let k be 2340/192 + (-15)/80. Let x(o) = -9*o**3 + 7*o**2 - o - 7. Let i be x(-5). Suppose -514 - i = -k*s. Is 10 a factor of s?
False
Suppose 2*y = -0*f - f + 5, 5*y - 8 = -4*f. Let i be 132/(-8)*y/(-6). Let q(t) = t**3 - 11*t**2 + 7*t + 35. Is 25 a factor of q(i)?
False
Let l(q) = 17*q**2 + 14*q - 48. Let p(n) = -12*n**2 + 51*n - 9. Let h be p(4). Does 49 divide l(h)?
True
Let d(h) = 8*h**2 + 11 - h**3 + 4*h**2 - 17 + 7*h - 3*h**2. Let w be d(6). Let v = 216 - w. Is v a multiple of 12?
True
Let c(x) = -3197*x + 367. Does 108 divide c(-1)?
True
Let z(o) = -o + 30. Let q be z(12). Suppose -q*s + 2280 = -10*s. Does 57 divide s?
True
Let c(n) = -145*n - 14. Let f = 44 + -46. Is c(f) a multiple of 23?
True
Let v = -82 - -52. Let y = 40 + v. Suppose 7*h - y*h = -345. Does 23 divide h?
True
Let l = -1832 - -3130. Is 11 a factor of l?
True
Let c = -253 + 248. Let g(l) = -9*l**2 - 15*l + 17. Let v(w) = -5*w**2 - 8*w + 8. Let d(x) = -3*g(x) + 5*v(x). Is d(c) a multiple of 14?
True
Let c be (-4)/(-10)*15/(-3 + 0). Does 2 divide (12156/84 - 2/(-7)) + c?
False
Let s = -120 + 124. Suppose s*d - 323 = -3*v, -4*v + 20 = -0*v. Is 11 a factor of d?
True
Let h(a) = 314*a - 26. Let n be h(2). Let s = n - 279. Is 50 a factor of s?
False
Suppose -30*q + 25099 = 859. Does 87 divide q?
False
Let t(d) = 15*d**2 - 5. Let z be t(2). Let w = 58 - z. Suppose -2*i = 3*h + 134 - 574, -w*h = i - 223. Does 32 divide i?
False
Suppose -60*u + 77*u = -425. Let a(r) be the second derivative of -r**4/12 - 5*r**3 + 45*r**2/2 + 4*r. Is a(u) a multiple of 10?
True
Let k be (-213)/2*(40/(-3))/1. Let c = k - 935. Let p = c - 226. Is 54 a factor of p?
False
Let l(z) = -126*z**3 - 4*z - 14. Let a be l(-3). Suppose -25*w = -15*w - a. Does 20 divide w?
True
Suppose 7*b + 57 = 11*b - 3*f, -4*f + 34 = 2*b. Suppose -105 - 45 = -b*c. Is 2 a factor of c?
True
Let v(q) = -q**3 - 3*q**2 + 17*q + 11. Let o be v(-7). Suppose -4*l - 4*l + o = 0. Is l a multiple of 11?
True
Does 12 divide -1 - -15339 - (-7 + (15 - 9) + 3)?
True
Suppose 42*r - 6*r = -0*r + 245700. Is 15 a factor of r?
True
Let y(m) be the third derivative of 167*m**5/15 + m**4/8 + 5*m**2 + 11*m. Does 11 divide y(1)?
True
Let o = -261 + 29. Let u = o - -1027. Is 30 a factor of u?
False
Suppose x + 5*d - 11 = -2*x, 4*x = -4*d + 4. Let n be 17/3 + (-1)/x. Suppose -5*s + 300 = -4*g, 0 = -s + n*g - 7*g + 51. Does 14 divide s?
True
Let m be 1 - (3 + -8 - -3). Suppose -4*c + 40 = -4*n, 3*c - n + 6*n - 6 = 0. Suppose -236 = -c*r + m*r. Does 40 divide r?
False
Let r = 75 + -30. Suppose 17*g = 14*g + r. Let h(v) = 2*v + 4. Is h(g) a multiple of 7?
False
Suppose 8*m + 4404 = 676. Let o = -102 - m. Does 52 divide o?
True
Let d be (-139*2)/((-1)/(0 + 1)). Let s = d + -214. Is s a multiple of 9?
False
Let s be (2/(-3))/(36/810). Is (0 - -90)*s/(-9) a multiple of 14?
False
Let d(a) = 3*a**3 + 18*a**2 - 53*a + 61. Is 9 a factor of d(6)?
False
Let d = -3394 - -26073. Is 253 a factor of d?
False
Let q be (6/5)/((-10)/(-325)). Suppose 2*c + 10 = 4*h, 2*c - 18 = 3*h - 6*h. Does 13 divide 30/(c + q/(-15))?
False
Suppose -340*g + 4*x + 206960 = -336*g, g - 4*x = 51728. Is g a multiple of 112?
True
Suppose -15*a + 121440 + 6240 = 0. Is 28 a factor of a?
True
Let j = 3951 - 588. Is 59 a factor of j?
True
Let l(w) = 164*w**2 - 36*w - 42. Is l(8) a multiple of 17?
True
Let u(w) = -w**2 + 15*w + 40. Let v be u(17). Is 8/v*(-657)/18*-3 a multiple of 79?
False
Let f be 130/14 + (-7)/((-196)/(-8)). Suppose 12 = 5*b + t, 5*t = -b - b - f. Suppose r = -k + b*r + 12, 0 = 2*k + 4*r - 40. Is k a multiple of 4?
True
Let j(o) = 4 + 118 - 54*o + 53*o. Is j(-34) a multiple of 13?
True
Suppose -3*m + 57 - 6 = 0. Let t(k) = 19*k**3 + k**2 + 2 + 1 + m*k - 16*k - 5*k**2. Does 14 divide t(2)?
False
Let o = -244 + 347. Suppose o = -3*q + 1735. Does 17 divide q?
True
Let x(j) be the third derivative of -j**5/60 - 3*j**4/4 - 4*j**3/3 - 3*j**2. Suppose 0 = -5*a + 27 - 67. Does 44 divide x(a)?
False
Suppose 29*b = 33*b + 24, -2*i + 10408 = 4*b. Is i a multiple of 32?
True
Let a = -1 + 254. Let p be 11/(14/((-196)/2)). Let x = p + a. Does 22 divide x?
True
Suppose 2*w + 0*w + 2*g = 1492, -743 = -w - 4*g. Suppose d - c = 255, 104*c + w = 3*d + 107*c. Is 21 a factor of d?
True
Let j be ((-1228)/(-34))/1 + 2/(-17). Let f = -8 + j. Is f a multiple of 14?
True
Does 20 divide -10 - (7 + -4377 - 20)?
True
Is 6 a factor of -63*-18*7*(-152)/(-228)?
True
Suppose -25 - 31 = -56*r. Is -6 - ((r/1)/1 - 343) a multiple of 35?
False
Let q(o) = o**3 + 100*o**2 + 2*o + 636. Does 119 divide q(-98)?
False
Let o(v) = -2*v**2 - 19*v - 31. Let h be o(-7). Suppose 0 = -z - z - 3*w + 31, h*w - 23 = -z. Suppose 9*j = z*j - 66. Is j a multiple of 2?
False
Let u = -10512 - -32412. Is 30 a factor of u?
True
Suppose 57*j - 6001 - 14519 = 0. Suppose -167*t = -172*t + j. Is 6 a factor of t?
True
Suppose 0 = -72*j + 49*j + 552230. Does 35 divide j?
True
Suppose 5*p + 4*m = -831, p - 183 = 2*p + 5*m. Let n = 116 + p. Let q = 77 + n. Is 6 a factor of q?
True
Let u be ((-4)/1)/((-10)/(-5)). Let a = 292 + -358. Is 4 a factor of u*1/6*a?
False
Suppose -5*a = -16*a + 58608. Suppose 223*c + a = 229*c. Is 73 a factor of c?
False
Let t be 12*5*(-8)/(-240). Let l(k) = 235*k - 49. Does 18 divide l(t)?
False
Let l = -5382 - -9022. Does 52 divide l?
True
Let o be (-84)/(-30) + 12/(-15) + 1. Suppose -3*a = v - 3 - 0, -o*v + 3*a = -9. Is 16 a factor of -10*v/(-2)*(-16)/(-3)?
True
Let y = -232 + 870. Let p = y + -241. Is p a multiple of 4?
False
Let m = 133 - 126. Suppose 5*s + m*k = 2*k + 2220, -3*k = -4*s + 1748. Is 88 a factor of s?
True
Let m(u) = 5*u - 52. Let z(q) be the third derivative of -q**4/24 - q**3/6 + 22*q**2. Let y(a) = -m(a) - 4*z(a). Is y(-9) a multiple of 4?
False
Let o be 0 + -1 + 1/((-3)/12). Let i be (2 - 51/3)*2/o. Is (462/28)/(1/i) a multiple of 11?
True
Suppose -172*u + 2352816 + 641233 - 291069 = 0. Is 172 a factor of u?
False
Suppose -2*o + 4*g + 10334 = 0, -4*g - 3445 - 1710 = -o. Is 132 a factor of o?
False
Suppose 3*t - 22 = 2*c + 3*c, -2 = c. Suppose 8 = 4*x + t*b, -2*b = 3*x - 7*b - 6. Suppose -x*l + 2 + 0 = 0, -3*u - 3*l + 201 = 0. Is 11 a factor of u?
True
Let z(u) = u**3 + 5*u**2 + 6*u - 1. Let k be z(-4). Does 23 divide k/((-63)/14) - (-556)/2?
False
Suppose 0*w = -3*w - 3754 + 20953. Is 49 a factor of w?
True
Let w be (4 - 1)/(2 - 1 - 0). Is 0 + w + (513 - 1) a multiple of 57?
False
Let d(c) be the third derivative of -c**9/15120 + c**6/72 - 17*c**5/60 - 26*c**2. Let k(l) be the third derivative of d(l). Is k(-3) a multiple of 16?
False
Suppose 4*q = -5*n + 5196, -62*n = -65*n + 2*q + 3144. Does 3 divide n?
True
Let k(o) = 5*o**2 - 6*o - 8. Let x be k(-2). Is 54 a factor of 9092/x - 1/(-6)?
False
Is 9 a factor of 690/(-25)*(-155930)/124?
False
Let r be 10/4*(-16)/20. Let u be (-2)/((-7)/(21/r)). Is 17*(u + 6 - 2) a multiple of 2?
False
Suppose 6*v - 25*v + 9286 = -87196. Does 12 divide v?
False
Suppose f - 5392 = 4*t, -13*f + t = -11*f - 10756. Suppose 31*b = 15*b + f. Is b a multiple of 12?
True
Let z(w) = w**3 - 108*w**2 + 0*w + 14*w + 118*w**2 + 75. Is 24 a factor of z(-9)?
False
Let h = 2091 - -141. Is h a multiple of 27?
False
Let f = 72 - 74. Let z be (-700)/30 - f/(-3). Is 0 + 3/12 - 594/z a multiple of 2?
False
Let w(s) = -2064*s**3 + 2*s**2 + 3*s + 4. Let a be w(-2). Is (2 + 1)/(-5 + a/3300) a multiple of 76?
False
Let u be 1*3 + (-15 - -26). Let g(k) = -k**3 + 15*k**2 - 16*k - 47. Let q be g(u). Let l = q + 90. Is l a multiple of 4?
False
Suppose 0 = 7*y - 5*y - 4. Let o = -126 + 136. Suppose 3*t = y*t + o. Does 5 divide t?
True
Suppose -360 = 4*x + 3*q, 0 = -2*x - 2*q + 4*q - 180. Let a be (-4)/18 + (-113330)/x. Suppose 7*z - a = -5*m + 3*z, 1283 = 5*m - 2*z. Is 17 a factor of m?
True
Suppose 15*m - 20*m = -5*i + 80, 3*i + 3*m - 18 = 0. Suppose i*k - 428 - 7261 = 0. Does 24 divide k?
False
Suppose 23*g - 5*o + 26322 = 27*g, -o = -2*g