*j + 11*j. Let l(o) = -o**2 - 41*o - 26. Is 19 a factor of l(j)?
False
Suppose s = -2*p + p - 46, -p + 3*s - 46 = 0. Let t(u) = -u**3 - 47*u**2 - 58*u - 113. Does 52 divide t(p)?
False
Suppose -5*n + 0*q - 4*q = 27, -2*n - 18 = 4*q. Let y be (-2)/(n*(-6)/(-27)). Suppose 2*m - 2*j - 342 = 0, y*m - 6*m + 548 = 4*j. Is m a multiple of 44?
True
Let c = -55 + 60. Suppose -n + n = -c*n. Suppose 14*y - 10*y - 120 = n. Is 6 a factor of y?
True
Suppose 55*q = -95*q + 841500. Does 110 divide q?
True
Suppose 4*r + 2*p = -3612, 9*r - 6*r + 2*p + 2711 = 0. Let g = -75 - r. Is g a multiple of 41?
False
Let o(y) = 83*y**2 - 68*y + 39. Is 16 a factor of o(-9)?
False
Is (-2*(-18)/(-12))/((-3)/7742) a multiple of 79?
True
Let q(c) = 76*c**2 + 83*c - 8. Does 5 divide q(6)?
False
Does 17 divide ((-187)/(-2))/((-71)/(-994))?
True
Suppose 5*p - 3*d + 5 = -7*d, -p = 4*d + 17. Suppose 0 = 5*g + 5*x - 2175, p*g = -2*g - 3*x + 2165. Does 17 divide g?
False
Is 45 a factor of (-9)/(-3) + (7 - (-27179 - -10))?
False
Let o(c) = 36*c + 1200. Is 42 a factor of o(4)?
True
Suppose -d + 35 = 4*u, -6 - 17 = -d - u. Let i(h) = 5179 + h**2 - 34*h - 5189 + h**2. Does 12 divide i(d)?
False
Is (-1076735)/(-209) + 9/57 a multiple of 23?
True
Let t = 3094 + 594. Is 25 a factor of t?
False
Let h = -16629 + 17370. Is 4 a factor of h?
False
Let x(n) be the first derivative of -25*n**4/24 + 2*n**3 - 2*n**2 - 17. Let h(r) be the second derivative of x(r). Is 48 a factor of h(-7)?
False
Let t(z) = z**3 + 15*z**2 - 5*z + 16. Suppose -2*o + 4*d = 34, -5*d - 16 = 2*o + 9. Let r be t(o). Let n = r + -60. Is n a multiple of 3?
False
Let u = 5719 - -1344. Does 11 divide u?
False
Let f = -3954 + 6894. Is 31 a factor of f?
False
Suppose -4*c + 8*c - 20 = 0, c - 542 = -3*d. Let q = d + 13. Is 24 a factor of q?
True
Let p = 51495 + -17271. Is 138 a factor of p?
True
Let d = 18603 + -7803. Does 40 divide d?
True
Suppose 4*q - 10864 = -2*i, -5*i + 17376 = 2*q - 9776. Is 10 a factor of i?
True
Let f = 963 + -42. Suppose -2*b + f + 235 = 0. Is b a multiple of 34?
True
Is (-25)/(-35) + (-1)/((-28)/78716) a multiple of 5?
False
Let c = 35 - 25. Suppose c = -r + 227. Does 31 divide r?
True
Let l(k) = -k + 54. Let n be l(0). Let v = 56 - n. Is -2*v/(-14) + (-117)/(-7) a multiple of 17?
True
Is 820/210 + -4 + 174944/147 a multiple of 3?
False
Let g(l) = -8*l**2 + 18*l + 59. Let w(i) = 7*i**2 - 17*i - 60. Let j(y) = 5*g(y) + 6*w(y). Does 21 divide j(-15)?
False
Let d = -256 + 357. Let p = 31 + d. Is 8 a factor of p?
False
Is (6/(-9))/((-174)/56115) a multiple of 5?
True
Let f = -265 - -178. Let a = -31 - f. Is a a multiple of 56?
True
Let i = -58 + 60. Suppose 3*h - 277 - 727 = -i*c, h = -2*c + 332. Suppose -t - 5*p = -111 + 12, -3*t = 2*p - h. Is t a multiple of 19?
True
Suppose 4*p = 6*p + 426. Let h = -159 - p. Is h a multiple of 51?
False
Suppose 3*y + 123 = -2*d, 2*d = 5*d + 3*y + 177. Let f(n) = -54*n - 2132. Let s be f(-38). Let b = d - s. Is b a multiple of 2?
True
Suppose -q + 18*q = 61727. Does 126 divide q?
False
Suppose -5*c + 3*u = -91315, -52*c + 57*c - 5*u - 91325 = 0. Does 22 divide c?
True
Suppose 0 = -35*t + 7960 + 55180. Is 41 a factor of t?
True
Suppose -12*a = -14*a + 6. Suppose 0 = -2*o + a*o. Suppose -3*t + 6*t - 24 = o. Does 4 divide t?
True
Let n = 56348 + -36914. Is 82 a factor of n?
True
Suppose 0 = -5*p + 10*p + 5*u - 22795, p + 2*u = 4554. Is p a multiple of 14?
True
Let q(i) = i**2 - 9*i + 37. Suppose -h + 14 = 4*z - 4*h, z + 5 = 5*h. Does 16 divide q(z)?
False
Suppose -5*b + 11 - 1 = -4*s, 0 = -4*s - 20. Let v(p) = -160*p**3 + p**2 - 4*p - 2. Let w be v(b). Suppose w = 6*m - m. Is 10 a factor of m?
False
Let v = -166 - -166. Suppose 7*o - 2*o - 5 = v, -4*o - 155 = -3*p. Is 25 a factor of p?
False
Suppose -5 = -2*v - 5*f + 26, 0 = 3*v - f - 55. Let l(i) = 3*i - 3*i - i - 56 + 4*i + 17. Is 5 a factor of l(v)?
True
Let z = -407 - -277. Let w be z/12 - 4/24. Is 27 a factor of (-16)/(-88) - 592/w?
True
Let l(c) = -3*c**2 + 16*c - 2. Let t be l(5). Suppose t*p = -2*y + 1280, -441 + 13 = -p - 2*y. Let n = -238 + p. Does 47 divide n?
True
Let u = 2403 - -273. Is u a multiple of 12?
True
Let z(s) = -s**3 + 19*s**2 - 28*s - 42. Let l(q) = 4*q**2 - 19*q + 38. Let x be l(3). Is 5 a factor of z(x)?
True
Let v(g) = -110*g - 2. Suppose -12*q - 7 - 5 = 0. Let t be v(q). Suppose 23*k + t = 27*k. Is k a multiple of 2?
False
Let x = -56 + 75. Suppose 5451 + 7241 = x*t. Is 56 a factor of t?
False
Let l = -33 - -37. Let r = -7 + l. Let m(j) = -j**3 - j**2 + 5*j + 6. Is m(r) a multiple of 2?
False
Let c = -26360 - -74580. Is 124 a factor of c?
False
Let u = -214 + 109. Let i = -103 - u. Is 18 a factor of -12*(1 - 17/i)?
True
Let l(r) = 4*r**2 - 16. Suppose -69 = -24*q + 75. Is 16 a factor of l(q)?
True
Is 10/30 - (3 - (-99220)/(-15)) a multiple of 174?
True
Let k be 56/2 + 13 + -9 + -2. Suppose -962 = -16*p + k. Does 6 divide p?
False
Let z(o) = 13*o - 78. Let m be z(6). Suppose -5*k - 2*v + 1748 = m, 10*k - 7*k = 3*v + 1053. Is k a multiple of 25?
True
Suppose 0 = -4*i - 2*x + 2482, 0*x - 5*x + 25 = 0. Suppose -m = 4*s - i - 33, 0 = s - 2*m - 156. Let j = s + -53. Is j a multiple of 32?
False
Let b = 79733 - 56875. Is 22 a factor of b?
True
Suppose -5*f - 2*o = -32607, 0 = -5*f + o + 19760 + 12859. Is f a multiple of 93?
False
Let h(v) = 22*v**2 + 2*v - 1. Let q be h(1). Let k = q + -21. Suppose g - 2*z = 287, 161 = -k*g + 5*z + 740. Is 23 a factor of g?
False
Suppose 0 = -569*m + 559*m + 56550. Is m a multiple of 29?
True
Let r be 8/6*-1*3/(-2). Let j be 8/3*((-3)/r + 3). Suppose n = 7*v - 9*v + 47, j*v - 5*n = 101. Does 8 divide v?
True
Suppose 570 = -149*d + 154*d. Let j = d + 30. Does 36 divide j?
True
Suppose 29 = q - 26. Suppose 2*v - 4*r = 22, -4*v - q = -9*v + 2*r. Is 11 a factor of v?
True
Suppose 0 = 3*i - 5*h - 11145, -3715 = -i + 118*h - 114*h. Is 68 a factor of i?
False
Suppose 115*j = -116*j + 70*j + 10790864. Is 118 a factor of j?
True
Let y = -37 - 11. Does 30 divide (4/(y/5931))/(9/(-12))?
False
Let j(r) = -6*r - 42. Suppose -n = o - 4*o + 18, -76 = 5*n - o. Is j(n) a multiple of 8?
True
Suppose 0 = -2*d + 1743 + 821. Suppose 0 = 18*o - d + 22. Is 3 a factor of o?
False
Let p(c) = -2*c - 46. Let u be p(-26). Let k be -33 - u - (-4)/1. Does 8 divide 5*(4/(-14) - 556/k)?
False
Let w be 6/(-51) - 53/(-17). Let y(t) = 325*t - 34. Is y(w) a multiple of 28?
False
Suppose 1270 = 30*d - 4640. Is 16 a factor of d?
False
Let o(p) = p + 15. Let y be o(-10). Suppose 2*r - 196 = -r + y*b, -r = b - 52. Does 19 divide r?
True
Let k = -4733 - -7096. Does 38 divide k?
False
Let h(r) be the third derivative of 5*r**4/6 - 21*r**3/2 - 141*r**2. Is 18 a factor of h(23)?
False
Does 98 divide (-4 + 30675)*((-10)/(-1) - 9)?
False
Let g be (-380)/(-15)*18 + 0. Let r = g + -120. Is r a multiple of 9?
False
Let x be 2*2 + 564 + (0 - -4). Suppose 24*d + 20*d - x = 0. Does 6 divide d?
False
Does 44 divide (-8 + (-16756)/(-8))/((-122)/(-20) - 6)?
False
Suppose -2*w - 9*i + 3387 = 0, 5*i = -45*w + 47*w - 3485. Is w a multiple of 59?
False
Suppose -n - 2*i + 1871 = 0, 4*n - i = 10426 - 2960. Suppose -5*x - 2*r + n = 0, 5*r = 5*x - 842 - 1018. Is x a multiple of 4?
False
Suppose -9*n = -79 - 56. Suppose -p + 5*d + 28 = 5, p - n = 3*d. Suppose -45 = -o + p*v, -5*o = 4*v - 178 + 10. Is 6 a factor of o?
True
Suppose -8611 - 12449 = -45*p. Is 26 a factor of p?
True
Suppose 0 = n - 7*n + 24. Suppose -4 = -k + 2*k + 4*w, 0 = -w - 2. Suppose n*g + 3*c - 32 = 0, -k*g + g + 2*c = -7. Does 5 divide g?
True
Let u(s) = 4*s - 20. Let f(y) = 2*y - 22. Let l be f(13). Suppose l - 38 = -2*a. Is 8 a factor of u(a)?
True
Does 34 divide 3 + (0 + 3*-131)/((-1077)/33746)?
False
Suppose 4*r = -6*w + 3*w + 780, 3*r = -w + 585. Let i = 241 - r. Is 23 a factor of i?
True
Let d = 11885 + -10857. Is d a multiple of 257?
True
Suppose -17720 = -u - 4*u + 4*w, 0 = 5*u - w - 17705. Is u a multiple of 18?
False
Let g(r) = r**2 + 34*r - 30. Let n be g(-13). Let s = -171 - n. Is 33 a factor of s?
True
Let n(l) be the third derivative of -29*l**4/24 + 61*l**3/6 + 10*l**2 + 4. Is 24 a factor of n(-31)?
True
Suppose 0 = -s - 0*s - 2*j + 2, 0 = -3*s - 2*j - 6. Let q = s - -500. Is q a multiple of 9?
False
Let y = -11 - -2. Suppose -109*a + 8308 + 14