)). Does 6 divide (24/j)/(-5 + (-204)/(-40))?
True
Suppose 4*h + 5*n - 1991 = 7334, -5*h + 11630 = n. Is 15 a factor of 42/63 - h/(-9)?
False
Is 510/4*((15 - -7) + -10) a multiple of 73?
False
Suppose -4*s - 640 = 5*c, -s - 177 = -4*c + c. Let l = 185 + s. Does 4 divide l?
True
Let w(l) be the second derivative of -l**4/6 + 17*l**3/3 + 19*l**2 - 60*l - 1. Does 5 divide w(15)?
False
Let u(g) be the first derivative of -29*g**2/2 - 9*g - 32. Let b be u(-1). Is 12/b - (5046/(-15) - -1) a multiple of 48?
True
Let k be -57 + -1*2/(-2). Suppose 2*m + 178 = -11*s + 8*s, 0 = -5*m - 4*s - 445. Let i = k - m. Is 11 a factor of i?
True
Let d = -88 + 74. Let p(k) = 60*k - 4. Let a be p(3). Let l = d + a. Does 18 divide l?
True
Suppose -3*v = 2*v - 1075. Suppose -v = 5*n - 3*g - 2145, -3*n + 3*g = -1152. Suppose -8*z + n - 133 = 0. Is 27 a factor of z?
False
Let u = 21214 - 14258. Does 17 divide u?
False
Is 33 a factor of ((-21120)/35)/((-2)/7)?
True
Suppose -5*a + 7830 = -3*y, 5*a + 2007 = -2*y + 9862. Suppose 0 = -i - 5*o + 426, 4*i - 5*o - a = 135. Is i a multiple of 56?
False
Let v = -7913 + 9737. Is v a multiple of 76?
True
Suppose -266*u + 212*u + 852552 = 0. Does 114 divide u?
False
Let j be 3/(-7) + (6500/28)/5. Let g = j - 42. Suppose g*r + 2*q = 1948 - 740, -5*q + 588 = 2*r. Does 45 divide r?
False
Suppose -213 = 4*l + 3*y, l + 156 = -2*l - 3*y. Let i be (20 + -1)/(2/(-2)). Is l/i + 36 + 1 a multiple of 7?
False
Is 8792 + (-2 - (1 + 0))/(-18 - -17) a multiple of 9?
False
Let q(h) be the third derivative of 7*h**5/15 - h**4/4 + 11*h**3/6 - 32*h**2 - 2*h. Does 9 divide q(2)?
False
Let p(l) = 2*l**3 - l**2. Suppose 2*h + 4*w + 37 = 3*w, -h - 23 = -4*w. Let c = h - -21. Does 3 divide p(c)?
True
Let o = -39 - -44. Suppose 0 = -o*p + 8*p - 2*t - 1076, -4*p - 5*t = -1473. Does 10 divide p?
False
Let w be (1 - 334/(-8))/(12/(-96)). Let h = w - -530. Is 3 a factor of h?
False
Let v(q) = -51*q - 372. Is v(-25) a multiple of 21?
True
Let a(m) = -29*m + 60. Let y be a(2). Suppose -5*b + 2*z + 1765 = 0, 9*b = 5*b - y*z + 1430. Does 12 divide b?
False
Let k be (-6 - -1)/(4/(-104)). Let b = k - 58. Does 18 divide b?
True
Suppose -611*v - 27776 = -615*v. Does 7 divide v?
True
Let p = -1181 - -14133. Is p a multiple of 53?
False
Let z = 865 + -445. Suppose -v - z - 319 = -2*c, 3*c + 4*v = 1103. Does 16 divide c?
False
Let b = -7233 - -10556. Is 22 a factor of b?
False
Suppose 4*g - 600*y = -604*y + 65072, -3*g - 5*y = -48790. Is 7 a factor of g?
True
Let j = -7741 + 12816. Does 2 divide j?
False
Suppose 7*s + i = 8*s - 1551, 4*i = s - 1560. Suppose 0 = 37*w - s - 1264. Is 10 a factor of w?
False
Suppose 3*j = -p - 1, -4*j + 0*j = -4*p - 4. Suppose j = d + 550 - 625. Is d a multiple of 42?
False
Let v(z) be the second derivative of 9/2*z**2 - 1/2*z**3 - 1/3*z**4 - 18*z + 1/5*z**5 + 0. Does 24 divide v(3)?
True
Is 2 a factor of (-26)/(10/10) - -9462?
True
Is 56 a factor of 86/22 - (-17)/187 - -8060?
True
Let g(c) = 197*c**3 - 18*c**2 - 4*c - 28. Is g(4) a multiple of 132?
True
Let k(i) be the third derivative of i**5/5 - i**4/6 - 15*i**2. Let p be k(1). Suppose 3*t - p*t = -475. Does 19 divide t?
True
Let r = -16 + 22. Suppose 3*j = -0*j - r. Does 28 divide -2*-28*69/(-48)*j?
False
Does 32 divide 4944/(4*(-35)/(-56) + -1)?
True
Let b(j) = 2*j**3 + 8*j**2 - 10*j + 3. Let t be b(-5). Suppose -u + 131 = -21*x + 23*x, -3*u = -t*x - 411. Is u a multiple of 13?
False
Let x = 3746 - -14905. Does 12 divide x?
False
Suppose 5*i - 4779 = 3121. Does 10 divide i?
True
Does 48 divide (-8)/10 - (-13694044)/455?
True
Let p(z) = 2*z - 12. Let a be p(5). Let f be (-3)/(a - 145/(-74)). Suppose 2*v - 3*y = f, 0 = -6*v + 4*v - 4*y + 88. Is 20 a factor of v?
True
Is 29 a factor of ((-83)/(-1))/(-10 - (-2037)/203)?
True
Does 24 divide 12/(-9) - (-56)/(-36)*-4614?
True
Let a = 81 - 69. Let w(l) = 4*l**2 - 15*l - 32. Is w(a) a multiple of 28?
True
Let u(r) = 12*r + 33*r**2 + 34*r**2 - 64*r**2. Is u(11) a multiple of 33?
True
Let a(v) = -6 + 15*v - 19*v**2 + 5*v + v**3 - 4. Let i be 4/(-22) - 11600/(-638). Is a(i) a multiple of 24?
False
Suppose 8*l = 12*l - 16. Let f(q) = 4*q + 17. Let a be f(4). Let u = a - l. Is 11 a factor of u?
False
Is 4 a factor of (-44)/198 + -2 + (-114864)/(-27)?
True
Let g be 45/10*(17 + -5). Suppose -19*z = -20*z + g. Is z a multiple of 19?
False
Let t be (-3)/(6/(-8)) - (5 - 1). Let y = t + -9. Is (15/10)/(y/(-408)) a multiple of 6?
False
Suppose 2*g - 2*i - 8 = 0, 4*g - 22 = -7*i + 9*i. Suppose 3856 = 4*r + 4*o, -g*r + 5*o - 948 = -8*r. Is 88 a factor of r?
True
Let q be ((-12)/14)/(12/(-126)). Suppose q*v - 4*v - 2*c = 1196, -3*v + 4*c + 712 = 0. Is v a multiple of 10?
True
Let r(b) = 756*b**2 - 15*b + 3. Is 43 a factor of r(-2)?
False
Suppose 25*n - 26731 = 45419. Is 78 a factor of n?
True
Let s(k) = -2*k**2 + 2. Let g be s(-1). Suppose g = 14*i - 35*i + 13041. Is i a multiple of 23?
True
Let v = -102 - -104. Suppose 5*h + 2*p = 0, 2*p = -h + v*h - 12. Suppose 2*a - 16 = h*b + 20, -b = 3*a - 66. Is a a multiple of 2?
False
Let u(v) = -343*v + 9. Let x(o) = -687*o + 20. Let n(s) = -5*u(s) + 2*x(s). Is 28 a factor of n(1)?
True
Let t be 0 + -1 + (5 - 1). Let x be (1*-9)/(1/(-6)*12/10). Is 16 a factor of (-5 - t)*(-1 + x/(-6))?
False
Let i be 9/(-27) + 32/6. Suppose -2*k = 5*s - 83, -4*k + i*k = -5*s + 79. Suppose -9*j + s*j - 702 = 0. Is 13 a factor of j?
True
Suppose -113*k + 114*k - 28238 = -4*f, -5*f + 5*k + 35310 = 0. Is f a multiple of 20?
True
Let a = -1 - -3. Let r be (5 - (-165)/6)*a*-1. Is 31 a factor of (4 + r - 1)/((-2)/4)?
True
Is 2 a factor of (-38439)/(-72) + 8*(-10)/(-640)?
True
Let q = 44542 + -29180. Does 78 divide q?
False
Let r be (7161/(-7))/(-1)*(-1)/(-3). Let y = r - 97. Is y a multiple of 61?
True
Is (7 - 7) + -40*(-1434)/12 a multiple of 19?
False
Let i = 6522 + -5859. Is 12 a factor of i?
False
Let q(o) = -10*o**3 + 123*o**2 + 131*o - 64. Let n(c) = -2*c**3 + 31*c**2 + 33*c - 16. Let g(x) = -9*n(x) + 2*q(x). Is g(-17) a multiple of 30?
True
Let t(x) = 3*x + 150. Let p be (1 - (-24)/(-22)) + 174/(-22). Does 17 divide t(p)?
False
Suppose -43*a = -0*a + 5461. Let q = 446 + a. Does 9 divide q?
False
Is 2734 + (564/(-235))/((-4)/(-10)) a multiple of 44?
True
Let g(y) = y**3 + 91*y**2 - 191*y - 101. Does 41 divide g(-90)?
False
Suppose 0 = q + 3*v - 52 - 103, -4*q + 644 = 4*v. Suppose -r - 3*j + 124 = 0, 0 = r - 4*j - j - q. Suppose 5*h - r = -99. Is h a multiple of 8?
True
Let g(i) = -i**2 + i - 3. Let j(x) = -13*x**2 + 28*x - 30. Let q(f) = 5*g(f) - j(f). Is 35 a factor of q(9)?
False
Let d(h) = h**3 + 14*h**2 - 3*h + 26. Let b be d(-14). Let k(w) = -w**2 - 2*w - 2. Let m be k(4). Let x = b + m. Is x a multiple of 21?
True
Let p = 141 + -152. Is p/(22/(-60))*8 a multiple of 10?
True
Let d(r) = r**3 + 2*r**2 + 10*r - 17. Let g(s) = -5*s**2 - 20*s + 7. Let b be g(-4). Is 38 a factor of d(b)?
True
Suppose 5*f = 7*f - 1492. Suppose 7*a - 468 = 4*a + 5*g, 3*g = -5*a + f. Let q = -7 + a. Does 9 divide q?
True
Let j(y) be the first derivative of y**4/2 - 8*y**3/3 - 5*y**2 + 16*y - 4. Is j(11) a multiple of 32?
True
Suppose -26*l + 27*l = 0. Let h be (-3 + 3 - -2) + l/(-1). Suppose -3*q - 70 = -d + 2*q, h*d - 118 = -q. Is 19 a factor of d?
False
Let y(n) = n**3 - 24*n**2 + 23*n + 20. Let k be y(23). Suppose 9*g - 4*g + k = 0, -o = g - 999. Is o a multiple of 19?
False
Let d be (-25)/(-7) - (-72)/(-126). Suppose -216 = -4*b - 9*n + 11*n, 12 = d*n. Suppose -27 + 9 = -j - i, -3*j - i = -b. Is 15 a factor of j?
False
Suppose 2*s = 2*w + 39 - 11, 3*s - 5*w = 40. Is 1155/25 + 12/s - 0 a multiple of 9?
False
Suppose 45*c - 402 = -22*c. Suppose 3*t - l = l, 0 = -t - 2*l + 8. Is 96/t*(16/c - -1) a multiple of 14?
False
Suppose 2*z - 9161 = -5*w, w - 95 = -98. Is z a multiple of 74?
True
Suppose 27*x - 24 = 30*x, 0 = -2*g + 3*x + 32496. Is 11 a factor of g?
True
Let z(c) = 332*c + 2470. Does 83 divide z(35)?
False
Suppose -72090 = -4*m - 2*f, -29*m - 5*f = -26*m - 54085. Does 85 divide m?
True
Let c(u) = -1 - 4 - 1 + 5*u + 2*u. Let k be c(3). Is (-3 - (-42)/5)*(k - 0) a multiple of 8?
False
Let n(c) = -13*c - 6 + 2*c**2 + c**3 + 5*c - 4*c**2. Let q be n(8). Let v = -168 + q. Does 40 divide v?
False
Let n = 301 - 280. Let s = n - -145. Does 4 divide s?
