 Is 17 a factor of j?
True
Let s be (-8 - 76/(-8))/(6/8). Let l be ((-35)/(-28))/(s/8). Suppose -l*u + 1500 + 55 = 0. Is u a multiple of 28?
False
Let g(l) = 27*l**2 + 8*l - 32. Let d be g(4). Suppose -2*y - 372 - d = -4*q, 0 = q - y - 199. Let r = -99 + q. Is 8 a factor of r?
True
Let d(b) = b**3 - 9*b**2 + 5*b + 10. Suppose 0 = 6*u - 5*u - 2. Suppose 4*m - u = 3*o - 41, -3*m = -4*o + 45. Is d(o) a multiple of 8?
False
Suppose -3*q + 63 = 5*j - 3*j, -5*j + 3*q = -168. Is 9 a factor of 613 - ((-264)/j + (4 - -1))?
False
Let q(z) be the first derivative of -13*z**4/12 - 3*z**3 + 13*z**2/2 - 6. Let m(o) be the second derivative of q(o). Is m(-7) a multiple of 9?
False
Let i(w) = 2*w**3 - 12*w**2 + 9*w + 7. Suppose x + 3*v + 3 = 5*v, 5*x + 5*v - 45 = 0. Let q be i(x). Suppose -g + 18 = q*g. Is g a multiple of 3?
True
Is 95 a factor of (-3010)/1720 - 1/4*-60047?
True
Suppose 386*w - 383*w = -2*p + 104532, 34844 = w + 4*p. Is w a multiple of 124?
True
Suppose 29*u - 42150 - 11210 = 0. Suppose -39*q - u = -43*q. Is 23 a factor of q?
True
Let t be (-42)/(-21)*(-2)/4. Does 12 divide t*5 + 1 - (-36 + -85)?
False
Let w = -2404 - -4122. Is 26 a factor of w?
False
Suppose 57*n = -5*n + 236840. Is 10 a factor of n?
True
Suppose 4*c = -2*b + 296, 0*c = -c - 2*b + 74. Suppose c*f = 59*f + 8640. Is 36 a factor of f?
True
Let i(l) = 13 + 11*l + 11*l**2 + 4*l**3 - 3*l - 3*l**3. Let k be -2 + -2 - 2 - 0. Is i(k) a multiple of 31?
False
Suppose q + 3 = -18. Let w = q + 30. Is w a multiple of 3?
True
Suppose -5*w + 3 + 2 = 0, 5 = 4*r + w. Is 1/(16/(-32)*r/(-97)) a multiple of 30?
False
Suppose 4*n = 4*l - 9024, 0 = -5*l - 158*n + 160*n + 11295. Is l a multiple of 6?
False
Does 23 divide 2 + (-22082)/(-1 - 0) + (-4732)/1183?
True
Suppose 28*p - 4389 - 6811 = 0. Suppose 0*d - 4*d - x + 29 = 0, -3*d = -3*x - 3. Suppose -d*l = -l - p. Is 20 a factor of l?
True
Does 13 divide (46 - -2)/(-12) + 1/1*107?
False
Suppose 35383 + 28828 = 56*s - 32165. Is s a multiple of 14?
False
Let t(y) = 376*y - 5600. Does 93 divide t(22)?
False
Does 66 divide -1 + 19710 + -9 + -2?
False
Let m be 5/1 - (-30)/(70/(-7)). Suppose -3*i + 449 = -k - 2460, -m*i + 3*k = -1944. Is 42 a factor of i?
False
Let l be (1*-5)/(1/5). Let s = -3341 - -3311. Let g = l - s. Does 4 divide g?
False
Is 7 a factor of 5/((-160)/(-24)) - (-112008)/32?
False
Let b(z) = z**2 + 5*z + 1 - 4*z**2 + 0*z + 6. Let a be b(3). Does 4 divide -8*a/15*9?
True
Let u = 16006 - 8997. Is 11 a factor of u?
False
Suppose -27 + 379 = 11*y. Suppose -y*r + x = -35*r + 548, -2*r = -4*x - 356. Does 26 divide r?
True
Let s(d) = 5*d**3 + 9*d**2 - 3*d - 12. Let h(n) = -2*n**3 - 3*n**2 + n + 4. Let j(r) = -8*h(r) - 3*s(r). Let o be j(3). Let l = o + 51. Is l a multiple of 29?
True
Let f(v) be the third derivative of 11*v**6/20 - 16*v**2. Let r be f(-1). Let s = 117 + r. Is 14 a factor of s?
False
Suppose -3*o - 122 = 5*c, -3*o + 0*c + 2*c = 157. Let j = o - -269. Is 14 a factor of j?
False
Suppose -4*v - 2*k - 663 = -5*v, -2*v + 1326 = 3*k. Does 9 divide v?
False
Suppose 2589*a = 2590*a - 343. Is 4 a factor of a?
False
Let l = -64 + 63. Let o be l - 7/((0 + -1)*1). Suppose -o*y + 5*y = -87. Does 20 divide y?
False
Let u = 6019 + -4340. Is 23 a factor of u?
True
Suppose -3*m + 25 = 19. Let u = m - -7. Is 3 a factor of (2*u/(-12))/(3/(-58))?
False
Let y = -6812 - -6952. Is 70 a factor of y?
True
Suppose 3*t - 3*s = -s + 1282, 0 = 4*t - s - 1701. Does 10 divide t?
False
Let y = -1673 + 2858. Does 31 divide y?
False
Is 7 a factor of (-30143)/3*(15/15 - 4)?
False
Let b be ((-42)/9)/7 - 22/(-6). Let l(m) = -114*m - 9 + 65*m + b*m**2 + 58*m. Is l(-10) a multiple of 16?
False
Let o(y) = y**2 - y. Let v be o(-2). Suppose 34*x - 87 = -23*x + 483. Suppose x*r - v*r - 120 = 0. Is r a multiple of 15?
True
Suppose 2097*i = 2076*i + 4536. Is 3 a factor of i?
True
Let z be 90/105*(-7)/(-2). Suppose 8*s - 1348 = 5*s + 2*x, 0 = -5*s - z*x + 2272. Does 48 divide s?
False
Let d(y) = 1393*y**2 + 16*y + 15. Is d(-1) a multiple of 6?
True
Suppose -26*m + 1875 + 11229 = 0. Suppose -m = -6*c - 15*c. Does 4 divide c?
True
Suppose -q = 4*y - 25, 25*y - 22*y - 2*q - 27 = 0. Let d = y + 227. Is d a multiple of 18?
True
Let b = 103 - 82. Suppose b = 2*p + p. Does 12 divide (-53*1)/(p - 8)?
False
Is 50 a factor of (-27 + (5 - -12))/((-2)/340)?
True
Suppose -144 = -4*b - 0*b. Suppose -34*g + 6 = -b*g. Let q = g + 30. Does 4 divide q?
False
Suppose -5*g - 15 = 0, 0 = 4*h + 5*g - 192 + 6147. Let i = h - -2248. Is 54 a factor of i?
False
Suppose -179676 = -2289*x + 2268*x. Is x a multiple of 186?
True
Let m be -3*92/96 - (-3)/(-24). Does 51 divide 124 + (2/m)/((-35)/(-105))?
False
Let x(s) = 14*s**2 + 12*s - 29. Suppose -7*w - 16 = -37. Does 18 divide x(w)?
False
Let p(l) = l**2 - 13*l + 19. Let x be p(15). Let u = -51 + x. Is 39 a factor of u/(-5) + 5332/20?
False
Let w(c) = -5*c**3 + 2*c**2 + c - 1. Let v be w(-1). Let s(n) = -13*n + 39. Let i(a) = 6*a - 20. Let y(f) = v*i(f) + 3*s(f). Does 16 divide y(-7)?
True
Let r(n) = n**3 - n**2 + n - 2. Let k be r(2). Suppose 37 = k*l + 29. Suppose -15 = -l*d + 9. Is d a multiple of 5?
False
Let z be 2 - 0 - ((3 - 4) + 0). Suppose -z*x = 7*x - 750. Is (x/(-12))/((-1)/8) a multiple of 25?
True
Suppose -4*a + 21 = 5, -2*z + 4614 = -5*a. Does 7 divide z?
True
Suppose 16*b = 17*b - 5*s - 34790, -5 = -s. Does 15 divide b?
True
Let q be (-10)/(-7) + (10/(-7) - -2). Suppose 5*j + q*u = 6*u + 608, 4*u + 8 = 0. Is j a multiple of 40?
True
Let j be 1 + (-2)/(-4) + (-1)/(-2). Let w be 187 + 1/(j/8). Suppose -w - 9 = -5*p. Is 8 a factor of p?
True
Let g = -73501 + 106126. Is 53 a factor of g?
False
Suppose 60*p - 62*p = -1140. Does 15 divide p?
True
Suppose 0 = -4*l - 0*i - 5*i + 97, -2*i = 4*l - 82. Suppose -l*w - 17*w + 58310 = 0. Does 14 divide w?
True
Does 46 divide ((-30475)/25)/((5/(-230))/(4/8))?
False
Let l(c) = 985*c + 651. Does 77 divide l(7)?
True
Let u(h) = h**2 - 3*h + 12. Let i be u(3). Does 8 divide ((-104)/(-12) + 2)*i?
True
Suppose -1 = -12*z + 11*z. Let l be z - 5*(-2)/(-5). Does 11 divide 185 - (-3 + 2 - l)?
False
Let u(d) = 2*d + 33. Let x = -140 + 130. Let k be u(x). Let i = 42 + k. Is i a multiple of 11?
True
Suppose -p = -30 - 3. Suppose -4*m + 3*h - p = -9*m, 3*m - 5*h = 13. Let n = 20 + m. Is 13 a factor of n?
True
Suppose 0*h + 5*u + 15 = -3*h, -2*h - 10 = 4*u. Let l(c) = -47*c + 44. Let a be l(h). Suppose -4*m + a + 201 = 0. Does 12 divide m?
True
Suppose 61103 + 49470 = 21*v + 44738. Is v a multiple of 62?
False
Let j = -13178 + 15778. Is j a multiple of 52?
True
Suppose 3*a = -3*q - 279, 2*a + 189 = -2*q + q. Let p = a - -106. Suppose 670 = p*n - 170. Does 6 divide n?
True
Let o(s) = s**3 - s**2 - s + 496. Let t be o(0). Let i = t + 39. Does 19 divide i?
False
Let y(v) = 3*v**2 - 16*v - 2. Let x be y(10). Suppose 0*r - 2*r = 4*s - x, -3*s = -4*r - 120. Suppose 2*k - s = -2. Does 17 divide k?
True
Suppose -4 = -226*x + 230*x. Does 20 divide (15 + -5 + x)/(3/183)?
False
Let b be (-5)/2 + (-14)/(-28). Let h be 0/(-3) + (-6)/b. Suppose z + 5*s - 120 = 0, -h*s + 500 = 5*z + 2*s. Is 12 a factor of z?
False
Let p(j) = 84*j + 71. Let d be p(7). Let r = d - 240. Does 20 divide r?
False
Suppose 2*t = -341*f + 342*f + 33878, -t + 16939 = -5*f. Is t a multiple of 72?
False
Let o(d) = -38*d - 76. Let b be o(-2). Suppose 5*j + 0*r - 1524 = r, b = -3*j + 2*r + 920. Is j a multiple of 76?
True
Let i = -36 - -401. Let k be (438/(-4))/((-5)/(-10)). Let u = i + k. Is 19 a factor of u?
False
Let s(l) = 137*l - 23. Let u be s(-5). Let c = 1368 + u. Is c a multiple of 15?
True
Let t be 1 - (3/5 - (-638)/(-55)). Let v be ((-9)/t - (-1875)/(-12))/(-1). Suppose v = 3*k - 14. Does 19 divide k?
True
Suppose -3*n = -0*n - 4*t - 58, -3*t + 119 = 4*n. Suppose 0 = -29*q + n*q + 57. Suppose -3*m = -2*x + 20, 5*x - 22 = 3*m + q. Does 5 divide x?
False
Suppose -164*u - 24 = q - 162*u, -q - 4*u - 16 = 0. Let v = -80 + 125. Let f = v - q. Is f a multiple of 11?
True
Let t = -161 + 172. Suppose t*z - 4480 = z. Is 28 a factor of z?
True
Suppose 0 = 96*f - 241707 - 12405. Does 33 divide f?
False
Let v be (6/(4 + -2))/(1/4). Suppose -3*z - v = -7*z, -4*z - 12 = 4*t. Let n(i) = i + 33. Is n(t) a multiple of 27?
True
Let n = 162 - 12. Let w be ((-8)/1