 - c**2 + 1. Let r be f(-1). Suppose 0 = 2*k - r - 127. Is 2 a factor of k?
True
Let s(f) = f + 68. Let o be s(19). Let j = o + -27. Is 2 a factor of j?
True
Let d be (-4*1)/((-48)/744). Let h = d + 287. Is 25 a factor of h?
False
Suppose -41*h + 112089 = -86966. Does 14 divide h?
False
Let u = 178 - 180. Let n(t) = 7*t**2 - 7*t + 2. Is n(u) a multiple of 22?
True
Suppose -5*w - 125 = 80. Let i = 92 - w. Does 10 divide i?
False
Let m(d) be the first derivative of 427*d**2/2 + 30*d - 99. Does 88 divide m(1)?
False
Suppose -4*s - l + 72482 = 0, s - 18*l - 18146 = -14*l. Is 82 a factor of s?
True
Suppose -779382 = 23*n - 6*n - 44*n. Does 31 divide n?
False
Let z = -5780 + 17088. Is 44 a factor of z?
True
Let z be (-2)/(-10) + (-670880)/400. Let f = z - -2927. Is 30 a factor of f?
False
Suppose -4*s = -5*x + 485, 2*s = -5*x - 3*s + 485. Suppose 0 = 4*b + b - 4*i - x, 5 = b + 4*i. Does 3 divide ((-4)/(-5)*(b - 2))/2?
True
Does 7 divide (33912/(-7))/(-2) + (-32)/784*7?
True
Suppose -39600 = 17*m - 42*m + 10*m. Does 32 divide m?
False
Suppose -3*u - 4*w - 4 = 0, -3*w - 20 = -2*u - 0*w. Suppose z - 15 = 7. Let d = z + u. Does 4 divide d?
False
Let a = 8538 - 92. Is 7 a factor of a?
False
Let o = 49 + -47. Suppose t - o*t = -10. Is 14 a factor of ((-84)/(-20))/(1/t)?
True
Let t = 15771 + -6563. Is 13 a factor of t?
False
Suppose 5*z + 27*j - 47795 = 29*j, -8*z = -4*j - 76472. Does 79 divide z?
True
Suppose 2*l - 4*r = 12, -4*l - 2*r - 4 - 12 = 0. Let f(z) = -9*z**3 - 3*z**2 + 3*z + 2. Does 8 divide f(l)?
True
Let w = 1833 - 366. Suppose w = -5*v - 183. Let g = -193 - v. Is 38 a factor of g?
False
Let b be -19 + 16 - (-2 + (-958)/(-2)). Let d = 689 + b. Does 29 divide d?
False
Let x(f) = 737*f**2 - 9*f + 16. Is 77 a factor of x(3)?
True
Let s be (-2756)/(-39) - ((-336)/9)/(-14). Suppose 0*q - 2*c + 1788 = 4*q, 0 = -4*c + 16. Suppose s = 3*i - q. Does 9 divide i?
True
Let y(q) = -16*q + 2507. Is 15 a factor of y(-20)?
False
Let h(s) = -21279*s + 251. Does 37 divide h(-2)?
True
Let n(g) = 30*g**2 + 91*g + 273. Let p(l) = -14*l**2 - 44*l - 137. Let j(k) = -6*n(k) - 13*p(k). Is j(-11) a multiple of 11?
True
Let c = -195 - -772. Suppose 6*z + c = -263. Let u = z - -240. Is u a multiple of 10?
True
Let c = -882 - -1991. Suppose 0 = 4*x + 5*d + 54 - c, -4*x = -d - 1037. Suppose -x = -5*p - 4*o, -2*o = -3*p + 2*o + 188. Does 14 divide p?
True
Let s = -5451 + 7768. Is 4 a factor of s?
False
Suppose 5*y = b + 25, -2*y = -b - b - 18. Let u be (-3 - -5)*b/(-2). Suppose -u*r + 188 = -72. Is r a multiple of 44?
False
Let v(r) = -17*r - 3. Let b be v(4). Let q = 176 + b. Suppose 7*i = 294 + q. Is i a multiple of 19?
True
Let m(c) = c**3 - 8*c**2 + 11*c + 1. Let d be m(6). Let o = 6 - 11. Does 16 divide d/o + 34 + 2?
False
Let k(c) be the third derivative of -11/3*c**3 + 6*c**2 + 0*c - 11/24*c**4 + 0. Does 4 divide k(-4)?
False
Does 36 divide (195/10 - (4 + 2))*(-2080)/(-12)?
True
Let r be (-23890)/(-22) + (-19)/(-209). Suppose 0 = 3*m - r + 105. Does 14 divide m?
False
Suppose -4*d = 2*n - 20, -n - 1 = -d + 1. Let w(j) = -j + 8 - 6*j**2 + 9*j**n - 5*j. Does 35 divide w(-5)?
False
Suppose 5*h + 142*h - 56742 = 0. Is h a multiple of 3?
False
Suppose 16*c - 6 = 26. Suppose -642 = 3*t + 3*y, -c*t + y = 3*t + 1082. Let p = 306 + t. Is p a multiple of 9?
True
Suppose 0 = -5*f, 5*f = 2*w - 78 + 394. Let c(y) = 87*y - 3. Let x be c(3). Let v = x + w. Does 19 divide v?
False
Let a(k) = k**2 + 9*k - 33. Let g be a(-12). Is 7 a factor of 4 + (-2 - g - -196)?
False
Let k = 38 + -34. Suppose -k*t - 26754 = -30*t. Does 10 divide t?
False
Is (13 - -8527) + -20 + 8 a multiple of 7?
False
Let a(k) = 270*k**2 - 25*k + 73. Is 3 a factor of a(4)?
True
Suppose m = 11 - 10. Let w(k) = k + 38. Let d be w(-3). Let q = m + d. Is 12 a factor of q?
True
Let k be 12288/104 - (-2)/(-13). Let u = 521 - k. Is 3 a factor of u?
False
Is (-19650)/(-450)*(-1 + 358) a multiple of 14?
False
Is (-43212)/(-4)*((-87)/(-9) + -9) a multiple of 7?
False
Suppose -45 = -8*d - 7*d. Suppose 3*y - 4*y + 1733 = 4*v, -5*v + 2168 = d*y. Does 11 divide v?
False
Let g(i) = -20*i - 29. Let p be g(-6). Suppose -p*y = -96*y + 1995. Is y a multiple of 7?
True
Does 32 divide (150038/(-21) - 2)*(-48)/40?
True
Suppose -3*o = -8*o. Let h = o + -1. Is 5 a factor of 23 + (h - (-3 - -3))?
False
Suppose -3*h - h - 2194 = 5*n, 5*n = 4*h - 2226. Let v = -365 - n. Is 6 a factor of v?
False
Let j(r) = 41*r + 194. Let l = -531 - -528. Is j(l) a multiple of 5?
False
Let p = -191 + 197. Suppose -11*g = p*g - 2907. Does 57 divide g?
True
Let q(y) = -y**3 + 39*y**2 - 192*y + 82. Is q(25) a multiple of 96?
True
Let m = 48 - 40. Suppose -m*u + a + 404 = -6*u, -3*u + 599 = 2*a. Does 13 divide u?
False
Is ((-2140)/321)/(12/(-19485)) a multiple of 29?
False
Suppose -5*j - 5*x + 47375 = 0, -4*j - 3*x + 6247 + 31656 = 0. Suppose 0 = -3*n - 4*n + j. Does 54 divide n?
False
Let x be 0 - -10 - (-1 + 1 + 5). Is ((-376)/(-120)*x)/(3/90) a multiple of 9?
False
Let p(o) = -61*o - 11. Let m be p(-4). Let q = m + -82. Suppose 3*l = 3*v - 138, -5*l + q + 69 = 4*v. Is v a multiple of 25?
True
Suppose 3*a = -6, 29*v - 25*v - 3*a - 502 = 0. Is v a multiple of 2?
True
Let i be 16/32*(1 - -5). Is 13 a factor of (-156)/8*i/(-9)*152?
True
Suppose -2*y - 4*m + 45 = -m, -4*y = -4*m - 60. Suppose -y*t - 9*t + 3510 = 0. Does 26 divide t?
True
Let x = 44 - 28. Let a = 14 - x. Is ((-1208)/(-14) - 2) + a/7 a multiple of 31?
False
Let k = 480 - 392. Suppose -4*t - 83 = -2*i - 229, -2*i + k = 2*t. Is t a multiple of 39?
True
Let o = -65 - -63. Let w = 5 + o. Suppose -w*m = m - 48. Is 6 a factor of m?
True
Suppose 0*a = -2*a + 10. Suppose -2*v - 3*p = 2*p - 653, -a*p = -3*v + 1042. Suppose 4*q + 59 = v. Does 10 divide q?
True
Suppose -274*c + 284*c = 10290. Is c a multiple of 11?
False
Let r be 4/12 - (22/(-6))/1. Let b(h) = 6*h**2 + h + 3. Let m be b(r). Suppose -m = -5*w + 47. Does 4 divide w?
False
Suppose 10 = 2*x + 3*z - z, 0 = -3*x + 3*z + 15. Suppose 4*d + 3*o = 10, -x*d = -2*d - o - 1. Is 19 a factor of (d - 29)/(3/(-6))?
False
Suppose 8*q = 5*q - 3*x, 2*x - 9 = -5*q. Suppose q*g + 3*w = 1311, -3*g = -4*g + 2*w + 452. Does 34 divide g?
True
Let f be 3*1786/(-6) + 0. Let m = f - -1327. Is m a multiple of 7?
True
Let s = -8247 - -18213. Is 103 a factor of s?
False
Let h = -44468 - -87457. Does 67 divide h?
False
Let x(p) be the second derivative of -3*p**5/10 - p**4/2 + 5*p**3/6 + 37*p**2/2 + 144*p. Does 15 divide x(-6)?
False
Suppose 7*r + 15 = 10*r. Let m(l) = l**3 - 3*l**2 + 11*l - 6. Let b be m(r). Let v = b - 64. Is 16 a factor of v?
False
Is 11 a factor of 3698675/3004 + (5/(-4) - -1)?
False
Suppose 0 = 3*p - 651 - 3. Suppose -27*l = -25*l - p. Suppose 75 = 2*i - l. Is 23 a factor of i?
True
Suppose -58*n = -68*n + 6640. Let s = -321 + n. Is s a multiple of 4?
False
Let a be (5/(-10))/(1/58). Let v = 18 + a. Is 11 a factor of (-38 + 41)*-7*v/3?
True
Let a = -1801 - -1142. Let o = a + 1165. Is 11 a factor of o?
True
Let a(q) = -q**3 + 10*q**2 + 44*q - 33. Is 36 a factor of a(-15)?
True
Suppose -13*u - 144 = -16*u. Suppose -m = 11*m - u. Is 22 a factor of m/(-12) - ((-1324)/(-12))/(-1)?
True
Suppose v - 2 = 2. Suppose -v*d - 67 + 323 = 4*u, -3*d = 4*u - 254. Is u a multiple of 3?
False
Suppose 2*v = 3*k - 15, -39*v + 2*k + 11 = -40*v. Let h(r) = 5*r**2 - 48*r + 52. Let y(w) = -w**2 + 12*w - 13. Let o(z) = -2*h(z) - 9*y(z). Does 20 divide o(v)?
True
Suppose -151 = 18*q + 551. Let r be 1*q*((5 - -6) + 2). Is (r/12*1)/(1/(-4)) a multiple of 33?
False
Is (-348)/(10 - 4)*(-78 + 8/(-4)) a multiple of 10?
True
Is 25 a factor of ((-349953)/628)/(1/(-4))?
False
Let i(w) = -w**3 + 61*w**2 + 11*w + 117. Is 118 a factor of i(42)?
False
Let z(a) = -137*a + 5185. Is 56 a factor of z(24)?
False
Let x be (8/5)/(39/585). Does 13 divide x + 36/(-9) + 6?
True
Let t(r) = 606*r**3 - r**2 + 100*r - 287. Is t(3) a multiple of 10?
False
Is 86*(-4)/(48/(-774)) a multiple of 63?
False
Let p(x) = -x**2 + 35*x + 7. Let n be p(34). Suppose -5*r - 6 = -26. Suppose u - n = -v, -3*u - r*v = 42 - 161. Is u a multiple of 18?
False
Suppose 10*r = -10*r + 101660. Is 13 a factor of r?
True
Let g = 11159 - 6439. Is g a multiple of 59?
True
Let m(p) = 47*p**3 + 2*p - 1. Let w = 162 - 95. Let v = w