o**5/20 - 3*o**4/8 + 13*o**3/6 - 71*o**2. Is x(11) a multiple of 13?
True
Let d(o) = -2*o - 2 - 2 + 41*o**2 + 68*o**2 + 13*o**2. Is d(-1) a multiple of 8?
True
Suppose -4*h - 1236 = q - 254, -4*h + 2866 = -3*q. Suppose -13 = -4*l - 69. Is (-12)/(-42) + q/l a multiple of 11?
False
Let o(d) = 66*d**2 - 18*d - 248. Is 40 a factor of o(16)?
True
Let r(u) = -36705 + 2*u + 0*u + 36710 - 3*u. Suppose -3*p - 17 = 2*s, -1 - 1 = 2*p - s. Does 4 divide r(p)?
True
Suppose -60 = -5*z - 2*b, 6*z - 7*z + 4*b - 10 = 0. Suppose 0 = 5*u - 2*l - 254 - 610, 5*l + z = 0. Is 22 a factor of u?
False
Suppose 5*y = -2*r + 24352, -5*y = 8*r + 53817 - 151105. Is r a multiple of 111?
False
Let n be (-56)/(-12) + (-10)/15. Suppose -n*h + 790 = 42. Is 50 a factor of h?
False
Suppose 3*v + h = 1711, -v - h + 567 = -4*h. Let y = 1095 - v. Is y a multiple of 10?
False
Suppose -13922*j + 13962*j = 1323720. Does 109 divide j?
False
Let b(m) = -m**3 - 7*m**2 - 12*m - 5. Let x be b(-5). Suppose 25 = x*w, -g + 458 = 15*w - 13*w. Is 50 a factor of g?
False
Let f(s) = -972*s**3 + 45*s**2 + 122*s + 52. Is 4 a factor of f(-2)?
True
Let q = -17281 + 21546. Is q a multiple of 2?
False
Let l be (-34)/8 + (-2)/(-8). Let o(t) = 6*t**2 + 4*t - 8. Is o(l) a multiple of 18?
True
Let g(o) = 127*o - 94. Let u be g(-4). Let y = 60 - u. Is 8 a factor of y?
False
Let d = -105 - -113. Let a be d/6*(-4)/12*-18. Suppose 7*n - 2730 = -a*n. Is 15 a factor of n?
False
Suppose 4*k = 2*z + 19790, 4*k + 3*z + 19785 = 8*k. Suppose 8*c - k = -10*c. Is c a multiple of 55?
True
Let n = -157 + 175. Is (-30)/(-2)*336/n a multiple of 8?
True
Let g(i) be the second derivative of 11*i**4/12 + i**3/2 - 4*i**2 + 187*i. Let p be 1/1 + 1 + 2. Is g(p) a multiple of 18?
True
Does 8 divide (-28390)/(-14) - (-12 + 747/63)?
False
Suppose -u - 18571 = -4*r, -42*r - 3*u - 13917 = -45*r. Is r a multiple of 86?
True
Suppose -77 - 176 = -23*k. Is ((-188)/(-12))/(k/198) a multiple of 12?
False
Suppose 2*v - 16 = 4*r, -3*v + 3 = -0*v + r. Suppose i - 4*i + 157 = -v*x, 5*x + 2*i = -383. Is 17 a factor of (65/(-3))/(x/(-42) + -2)?
False
Suppose -2*q - 2*q = -8. Suppose 4 + 2 = q*b. Suppose b*p = 7*p - 168. Does 9 divide p?
False
Suppose 11*g - 8*g - 1920 = 0. Is (1/2)/(-4*(-1)/g) a multiple of 5?
True
Let v = -7 - -11. Let t(l) = 4*l**2 - v + 17*l + 15*l + 4*l**2 - 5*l**2. Is 12 a factor of t(-13)?
False
Suppose 0 = -3*o + 2433 + 10167. Suppose 10*f - 1240 - o = 0. Does 17 divide f?
True
Suppose -2*o = -3*g - 3829 + 119, 0 = -g - 5*o - 1214. Let j = -712 - g. Is j a multiple of 9?
True
Suppose 3*o + 19*t - 4690 = 21*t, 5*o - t - 7805 = 0. Is o a multiple of 10?
True
Let u(q) = -3*q**3 - 4*q**2 - q + 9. Let y be u(-5). Let b = -62 + y. Is 55 a factor of b?
False
Does 8 divide -6 + 1278/(-45)*(-89 + -1)?
False
Let i(v) = -9*v + 210. Suppose b - 10 = 2*t + 6*b, -4 = -4*t + 2*b. Does 21 divide i(t)?
True
Is 6 a factor of (-150)/(-105)*(-4053)/6*(-11 - -9)?
False
Let i = -12450 + 18599. Suppose 41*k - i = -122. Does 3 divide k?
True
Suppose 9*b + 82 = 82. Suppose b = -18*k + 7656 - 2184. Is k a multiple of 38?
True
Let h(b) = 65*b + 7. Let w be h(-4). Let p = -152 - w. Suppose -2*a + 322 + p = 5*j, -5*j - 801 = -4*a. Does 17 divide a?
True
Let d be (-14)/(-35) + (-59264)/(-40). Is 19 a factor of ((-6)/(108/d))/((-2)/12)?
True
Let p(u) = u**2 - 5*u + 10. Let r be p(3). Is r + -8 - -1001 - 7 a multiple of 22?
True
Let f be 88/6*(-27)/(-36). Let z(b) = b**3 - 13*b**2 + 29*b - 16. Is z(f) a multiple of 5?
False
Let x(h) be the third derivative of h**5/60 - 7*h**4/24 + 4*h**3/3 + h**2. Suppose -93*r + 95*r - 12 = 0. Is x(r) even?
True
Let p(s) = 2*s**3 - 16*s**2 + 70*s - 92. Does 39 divide p(8)?
True
Let s be 190 + 6/(-8)*8/(-6). Let h = s - 83. Does 6 divide h?
True
Suppose 3*k + l = 369 + 993, 0 = -4*k + 3*l + 1829. Is 35 a factor of k?
True
Let h(t) = 5*t**2 + 56*t + 172. Is 6 a factor of h(19)?
False
Suppose 4*t + 2*f = 54, 2*t - 3*f - 21 = 2*f. Let g be -12 + t - (-2 - 0)*2. Suppose -4*j + 7*l - 4*l + 816 = 0, 5*j - 1015 = g*l. Does 23 divide j?
True
Let j = -4255 + 20180. Does 175 divide j?
True
Suppose -16*u + 0 + 32 = 0. Is 19 a factor of (91 - -3)/(0 - u/(-7))?
False
Let t be (-3)/1*11/33. Does 2 divide (-34)/(t/1) - 48/12?
True
Let h = -23498 + 42119. Does 9 divide h?
True
Let m be -2 + (-2)/3*(1 - -2). Let l be m*(-3)/(1 + (-76)/64). Is 1 - ((4 - 3) + l) a multiple of 8?
True
Suppose -39*u - 383532 = -1082685. Does 18 divide u?
False
Let o(n) = 2. Let u(j) = 7*j + 3. Let p(g) = -o(g) - u(g). Let z be p(-1). Suppose -z*c = -6*c - v + 97, c - 4*v = 20. Is c a multiple of 16?
False
Suppose -5*r = 5*h - 560, -3*r + 2*r + 2*h + 124 = 0. Let d = -116 + r. Suppose 5*f + 2*a = 57 + 63, d = f - 5*a - 24. Is 9 a factor of f?
False
Let g(n) be the second derivative of -n**5/20 + n**4/4 + 7*n**3/6 - 4*n**2 - 19*n. Let b be g(4). Is 17 a factor of (-91 - (-8)/b)/(-1)?
False
Let u = -35 + 61. Suppose -u*n + 552 = -3*n. Is 8 a factor of n?
True
Let p(s) = -6*s + 1. Let r(f) = 32*f + 151. Let h(n) = 2*p(n) + r(n). Does 10 divide h(22)?
False
Let o(x) = x**3 + 41*x**2 + 93*x + 131. Does 73 divide o(-25)?
False
Let c(h) = 130*h + 185. Let m be c(6). Let b = -224 + m. Is b a multiple of 21?
False
Let x = -72 + 127. Let z be 18*(1 + -4)/(-9) + -61. Let s = x - z. Is s a multiple of 24?
False
Let g = 111 - 98. Suppose -5*y = -4*p + g + 521, 10 = 5*y. Does 7 divide p?
False
Let k be 1/(2/(150/(-3))). Let a be (-2 + (-80)/k)/(2/45). Suppose a*g = 20*g + 560. Does 15 divide g?
False
Suppose 5*h - 4*h + 5*z + 25 = 0, 4*h + 2*z + 64 = 0. Is 62/(-155) + (-4506)/h a multiple of 50?
True
Let f(x) = 11*x**2 + 42*x - 67. Let t be f(3). Suppose 0 = o + 60 + 59. Let q = t + o. Is 7 a factor of q?
False
Suppose -5*v + 5*g = g - 882, 513 = 3*v + 3*g. Suppose 2*d - 7 = 3*a - v, a - 1 = 0. Let m = -2 - d. Does 20 divide m?
True
Does 19 divide 2769/4 - (-7 - (-726)/88)?
False
Is 0 - -12 - (-43 - 465435/15) a multiple of 47?
False
Let h(o) = 2*o + 15. Let a be h(0). Suppose 0 = p + 12 - a. Suppose -p*l = -9*l + 240. Does 5 divide l?
True
Suppose 9385 = 5*q + 5*z, -q - 1883 = -2*q + z. Does 8 divide q?
True
Is (-7 + 0)*(-19)/(-133)*(-3152 - -16) a multiple of 14?
True
Let z = 73444 + -25397. Does 10 divide z?
False
Suppose -4*l + 5*w + 193 = 0, 4*w - 96 - 124 = -4*l. Suppose l*f = 42*f + 1200. Is f a multiple of 40?
True
Suppose -x + 10585 = -5*r, -9*x + 2*r - 21134 = -11*x. Is x a multiple of 14?
True
Let c be 80638/(-276) - (-2)/12. Let q = c + 532. Does 24 divide q?
True
Let q be (-1)/((1/73)/(-5 - -4)). Suppose 69*a = q*a - 76. Does 16 divide a?
False
Suppose 0 = -35*c + 39*c - 248. Suppose 57*t - c*t = -360. Does 7 divide t?
False
Suppose -7 = -2*t + n, -35*t + n = -39*t + 11. Suppose t*b = o - 601, -54 = -2*o + 5*b + 1144. Is o a multiple of 17?
False
Suppose 0 = -4*b - 5*o + 15793, -118*b + 3946 = -117*b + 2*o. Is b a multiple of 26?
True
Let b = -26656 + 87614. Is b a multiple of 10?
False
Let o(k) = k**3 + 2231*k**2 - 2 + 30 - 2208*k**2 - 4*k. Is 14 a factor of o(-23)?
False
Is (20 + (-56)/3)/(4/26640) a multiple of 48?
True
Let a(v) = v**3 - 16*v**2 - 4*v + 47. Let o be a(19). Suppose -284 + o = 11*j. Does 13 divide j?
False
Suppose -6968 - 10672 = -21*c. Is c a multiple of 20?
True
Let z(h) = h - 4. Let r(n) = -1. Let g(q) = 6*r(q) - z(q). Let k be g(-7). Suppose -k*s + 75 = -0*s. Is 15 a factor of s?
True
Let v(k) = k**3 - 5*k**2 + 5*k - 2. Let q be v(4). Suppose 6*y + q*y - 8 = 0. Does 55 divide (-34 + y)/((-39)/130)?
True
Let n(d) = 9*d**3 + 3*d**2 + 16*d + 51. Let j(q) = -20*q**3 - 5*q**2 - 32*q - 103. Let y(a) = -4*j(a) - 9*n(a). Does 3 divide y(-8)?
False
Let t = 19462 + -16221. Does 3 divide t?
False
Let v = -1331 + 949. Is 4/(-12)*-1 + v/(-6) a multiple of 32?
True
Suppose -u - 19 = 5*p, 3*u - 51 = 3*p - 18. Let d(j) = 60*j - 140. Does 55 divide d(u)?
True
Let l(a) = -1262*a**2 + 37*a + 1264*a**2 - 6*a + 2. Is l(-26) a multiple of 10?
False
Suppose 18*r - 48 = 14*r. Let w(k) = 11*k + 342. Is w(r) a multiple of 21?
False
Is (-1418908)/(-28) + (-205)/(-574)*8/(-10) a multiple of 160?
False
Let w = 13 + 204. Let i = w + -40. Is i a multiple of 20?
False
Suppose 114 = 5*u + d, 3*d = -4*u + 5*u - 26. Suppose -2*y + 2 = -2*c, 4*c = -7*y + 2*y + u. Is 5 