lse
Suppose -14*i - 8*i = -110. Suppose 4*w = -2*r + 3002, -i*w = r + 2*r - 3755. Is 9 a factor of w?
False
Let w(c) = 10*c**2 - c - 191. Does 21 divide w(-10)?
True
Suppose 1157936 = -8*n + 84*n. Does 92 divide n?
False
Let s(k) = 2*k - 13. Let h be s(6). Let w(m) = -13*m**3 - 2*m**2 + 1. Let j be w(h). Is j/20 + (-267)/(-5) a multiple of 10?
False
Let a be (-4 + 0)/((-1)/(-1)). Suppose 26*k - 24*k + 2*f - 26 = 0, 4*k = f + 27. Is (-234)/a*k/6 a multiple of 26?
True
Let x(t) = -2*t**2 + 126*t - 101. Is 116 a factor of x(33)?
False
Let i be (10/4)/((-2)/(-72)*-2). Let d = i + 14. Is -6*3/6*d a multiple of 31?
True
Suppose 0 = -14*b + 15*b + j + 980, 3*b = 4*j - 2926. Let d = -876 - b. Is 34 a factor of d?
True
Let p(d) = -2*d + 24 + 12*d + 8*d**2 + 19*d + 23*d. Let h be p(-21). Suppose 0 = -6*s - 4*s + h. Is 21 a factor of s?
False
Suppose 65*o = 57*o. Suppose 2*k - 2*w - 531 + 73 = o, 2*w + 226 = k. Is k a multiple of 29?
True
Is 30 a factor of (-20)/55 + (-1228794)/(-561)?
True
Suppose 6*k - 1 = -13. Is (k - (-258)/(-9))/(24/(-36)) a multiple of 38?
False
Let p(m) = -348*m + 57. Let h be p(-3). Let q = h + -710. Is 17 a factor of q?
True
Suppose 0 = -16*i + 11*i - 32*i + 374144. Is 22 a factor of i?
False
Suppose q + 3 = -4*m, -4*m - 2 = -3*m. Suppose 0 = -3*z + 3*s + 93, 58 = 2*z + q*s - 9*s. Does 25 divide z?
False
Let p(t) = t**3 - 57*t**2 + 263*t - 99. Is 9 a factor of p(55)?
True
Let s(q) = 6*q**2 - 29*q - 10. Let o(i) = 7*i**2 - 29*i - 12. Let k(r) = 3*o(r) - 4*s(r). Let j(z) = -z - 1. Let b(m) = 4*j(m) + k(m). Is b(8) a multiple of 3?
False
Suppose -r + 3*k = 4*k - 11, 2*k + 6 = 0. Let q(o) = -r*o + 15 + 9*o - o. Is 2 a factor of q(0)?
False
Suppose 8698 = -49*l + 50*l + 2*g, -4*l + 5*g + 34740 = 0. Does 5 divide l?
True
Let p = 2726 + -2134. Is 8 a factor of p?
True
Let p = 749 - -131. Is 11 a factor of p?
True
Suppose -3*p - 48573 = -5*v - 13170, -14170 = -2*v - p. Does 53 divide v?
False
Let g(u) = u - 1. Let w(b) = -72*b + 48. Let i(y) = 40*g(y) + w(y). Let o be i(4). Let d = o - -204. Is 17 a factor of d?
False
Let n = 2395 - -2049. Is n a multiple of 11?
True
Let j(o) = -52*o**3 - 65*o**2 + 5*o - 88. Is 53 a factor of j(-12)?
True
Is 7 a factor of -1 + (-24212)/(-7) + (-425)/(-35) + -12?
True
Let b(q) = -47*q - 1529. Let t be b(-33). Suppose 3*n + 4*l = 79, 2*n - 5*l - 42 = 49. Let i = n - t. Is 11 a factor of i?
True
Suppose 33*b = 9833 - 626. Suppose 326 = -2*t - 3*g, t - 4*g = 4*t + 488. Let h = t + b. Is 38 a factor of h?
False
Let q be ((-14)/30 - 3/9)*-360. Let y be 1/(-3) - ((-576)/27 + 3). Suppose y*w - 15*w = q. Is w a multiple of 12?
True
Suppose 16*k = 12*k + 3*q + 1727, -4*k + 1724 = -4*q. Is 62 a factor of k?
True
Let d(m) = -18*m**2 - m - 1. Let z be d(-1). Let n be 1113/(-28) - 1/4. Is 2/(-9) - -10*n/z a multiple of 20?
False
Let f = -3506 + 15284. Does 56 divide f?
False
Let q(u) = -25*u**3 - 12*u**2 - 107*u + 15. Does 15 divide q(-10)?
True
Let g(k) = -k**2 + 16*k + 75. Let o be g(26). Let p = o - -215. Is 3 a factor of p?
True
Let q = 83309 - 39389. Is 12 a factor of q?
True
Suppose -97 = 5*u + 228. Suppose 4*p = -0*p + 272. Let i = p + u. Is 3 a factor of i?
True
Let s = 178 + 2896. Does 29 divide s?
True
Let n be (10/(-14))/((2 + -1)/(-7)). Suppose -5*r + n = -15, 0 = -3*u - r + 760. Is u a multiple of 28?
True
Is 11 a factor of (29 + 3124)*5/2*8/20?
False
Suppose 2*n - 5 - 1 = -2*c, 3 = c - n. Let d = -3 + 6. Suppose c*j + 4*q - 84 = 0, -4*j - d*q = q - 112. Does 28 divide j?
True
Let v(u) = -6*u**3 + 7*u**2 + 17*u + 1. Let s(r) = -3*r**3 + 3*r**2 + 8*r. Let c(i) = -5*s(i) + 3*v(i). Is 4 a factor of c(-3)?
False
Let f be 1/(-5) + 693/(-35). Let c be -31*1*(f + 19). Let i = -15 + c. Is 16 a factor of i?
True
Suppose w - 89 = 36. Let f = w - -532. Is 73 a factor of f?
True
Let v = -67 - -92. Let w(k) = -v*k - k - 25*k + 4*k - 20. Does 12 divide w(-7)?
False
Let j(u) = 3*u - 27. Let x be j(11). Is 40 a factor of 2216/x - (-30)/45?
False
Let a be (7 - -2 - (3 + 3))/1. Suppose 0 = a*n + 219 - 2208. Does 11 divide n?
False
Suppose -187440 = -26*i + 35*i - 25*i. Does 11 divide i?
True
Let k(b) = 25*b**2 - 24*b + 1. Suppose 0*a = 3*r - 4*a + 7, 2*r = -3*a + 18. Is k(r) a multiple of 7?
True
Let f(n) be the first derivative of -n**4/2 - 7*n**3/3 + 6*n**2 + 2. Let j(g) be the second derivative of f(g). Is j(-8) a multiple of 30?
False
Let p be 4 - (-196)/(-6 + 2)*1. Is (-22305)/p - ((-8)/6)/(-2) a multiple of 15?
True
Suppose w + 0*w + s = 22, -5*w + 5*s = -150. Let l = 32 - w. Is ((-2568)/(-15))/2 + l/(-10) a multiple of 17?
True
Let a(i) = -12*i**3 - 184*i**2 + 44*i + 24. Does 10 divide a(-16)?
False
Suppose -2*h + 9 = q, 4*q + 0*h - 16 = -3*h. Let n be (-2)/8 + q/((-24)/642). Let i = n - -39. Is i a multiple of 2?
True
Let q = 663 + 128. Does 2 divide q?
False
Let n = 9995 - 3921. Is n a multiple of 21?
False
Suppose 0 = 4*z - 8, 11*z - 2973 = -3*s + 8*z. Is s a multiple of 2?
False
Let t be 0 + -1 - (8 - 5). Let c(u) = -2*u**2 + 6*u + 8. Let v be c(t). Let q = v + 110. Is q a multiple of 21?
False
Is 16 a factor of (84/126 - (-9956)/6) + 4?
True
Suppose -8 = 2*h, 0*t + 2*t = h + 130. Let w = 70 - t. Suppose -w*m + 6*m = -104. Is m a multiple of 18?
False
Let q = 1749 + -849. Suppose -2*v = -2*t - q, 5*t = v + 3*v - 1800. Does 30 divide v?
True
Suppose -7*h - 8*h = -21*h + 4896. Is h a multiple of 16?
True
Let m = 186 + -181. Suppose 5*k + 25*l = 22*l + 1266, 1284 = m*k - 3*l. Does 5 divide k?
True
Suppose v = h - 4, -18 = 4*h + 5*v + 2. Suppose 0 = 4*n + 4*t - 472, -2*t - 2 - 4 = h. Is n even?
False
Let a be 4/(-10) - (-24)/(-15)*-4. Let o(l) = l**3 - 8*l**2 + 10*l + 6. Let c be o(a). Is 20 a factor of c/4 + 77/2 + 3?
True
Let g be (13 - 0) + (19 - 18). Let n = g - -39. Suppose -175 = -4*l + n. Is 9 a factor of l?
False
Let p(q) be the third derivative of q**4/8 - q**3 - 9*q**2. Let w be p(2). Suppose -2*c + 48 + 6 = w. Is 6 a factor of c?
False
Suppose -26*n - 2*z + 6 = -25*n, -2*z = -2*n. Suppose -n*y - 2*m + 566 = 3*m, 1434 = 5*y + 3*m. Does 8 divide y?
True
Let v = -306 + 391. Suppose -2*l + 289 = 4*n - v, 3*l + 207 = 2*n. Does 36 divide n?
False
Is 34/(-12) + -12 + 15 - 112823/(-6) a multiple of 33?
False
Let d be 7/(14/942) + 2 + -3. Let b = d + -140. Is b a multiple of 33?
True
Let y(u) = 7*u + 1. Let j be y(1). Suppose 4*w = 2*n + 150, -15 = 3*n - 0*n. Let t = w - j. Is t a multiple of 27?
True
Let v(t) = 17*t - 3. Let r = -79 - -87. Let f be v(r). Let k = 17 + f. Is k a multiple of 23?
False
Let p be (-35319)/(-427) + (4/14)/1. Suppose 0 = -p*g + 68*g + 1950. Is g a multiple of 26?
True
Let r be (-55)/22 + 3/2. Is (r/3*5)/((-5)/1365) a multiple of 35?
True
Suppose -x + 3*j + 2020 = 0, -2*j = -105*x + 107*x - 4056. Is 10 a factor of x?
False
Suppose 2970 = -4*j + 10*j. Let a = -200 + j. Is 15 a factor of a?
False
Suppose 10*i - 17*i + 23*i = 0. Suppose 3*o = 2*o + 3. Suppose o*c - c - 98 = i. Does 22 divide c?
False
Let g(z) = -81*z + 12474. Is g(0) a multiple of 63?
True
Suppose -2*u + 756 = -7*u + 2*z, -5*z = 10. Let p = 252 + u. Is 10 a factor of p?
True
Let u(z) = 5*z**3 + 4*z + 53. Let k(h) = 7*h**3 + h**2 + 7*h + 54. Let t(r) = -2*k(r) + 3*u(r). Let w(y) = -y - 2. Let m be w(-2). Does 6 divide t(m)?
False
Suppose 3*z = 4*a - 799, 990 = 17*a - 12*a - 2*z. Does 2 divide a?
True
Suppose 16*o + 6*o = -29*o + 579360. Does 16 divide o?
True
Let a = 115 + -104. Suppose -7*w - 84 = -a*w. Is 17 a factor of w?
False
Is (-7168)/(-48)*117/6 a multiple of 91?
True
Let g = -48 + 76. Suppose -32 = -3*w + g. Is (15/w - 0)*28 a multiple of 7?
True
Let i(r) = 66 + 180 - 82*r + 94. Does 59 divide i(-16)?
True
Let i = 12 + 8. Suppose -i*o + 6 = -21*o. Does 6 divide (-707)/(-21) + 4/o?
False
Suppose 23*w + 14*w = 218633. Does 89 divide w?
False
Let s = 141 + -131. Suppose -5*l + 334 = 3*o, 0 = 5*o - s*l + 8*l - 536. Does 9 divide o?
True
Let k(g) = 9*g**3 + 2*g**2 + 44*g + 27. Is k(6) a multiple of 5?
False
Suppose -9*n - 18792 = -n - 82312. Is n a multiple of 3?
False
Suppose -u + 229 = -4263. Is u a multiple of 41?
False
Suppose -37 = -3*b - 4*j, 4*b + 3*j = -0*b + 61. Suppose 0 = b*x - 21*x. Suppose -3*g + 239 = 2*s - s, x = 4*s + 4. Does 11 divide g?
False
Let c(t) = 2*t**3 - 14*t**2 + 13*t - 1. Let l = 43 + -34