lse
Let j = 9052 + -5567. Is 85 a factor of j?
True
Let v(y) = 326*y**3 - 3*y**2 + 3*y - 1. Let o = -152 + 153. Is v(o) a multiple of 15?
False
Let m be 3/(39/(-208)*(-4)/191). Let a = m - 203. Is 33 a factor of a?
True
Let r(x) = -56*x**3 - 9*x**2 - 21*x - 19. Is 19 a factor of r(-2)?
False
Let g(u) = -u**3 - 49*u**2 + 12*u - 21. Let n(m) = 0*m**2 + 4*m + 2*m**2 - 4*m**2 - 14*m**2 - 7. Let x(o) = -2*g(o) + 7*n(o). Does 11 divide x(8)?
False
Let t be (-5*-8*(-1)/10)/(-2). Suppose -5*y - 615 = -2*n + 245, 5*n - t*y = 2192. Is n a multiple of 10?
True
Let w = 327 + -588. Suppose 0 = 7*y + 6266 - 6189. Let p = y - w. Is p a multiple of 14?
False
Suppose 13*r = -2*r + 15. Is r/(-5) + (10287/(-15))/(-9) a multiple of 16?
False
Let j = -2186 + 3784. Does 8 divide j?
False
Suppose 9*d = 635 + 58. Let a = 3 + d. Does 10 divide a?
True
Suppose z + 405 = 4*x, 0 = -2*x + z + 301 - 98. Let n = -61 + x. Suppose 3*a + 5*c = n, 4*a + 4*c - 60 = -c. Is a a multiple of 9?
False
Suppose -5*f - 2*s = -70, f = 4*f + s - 42. Suppose 1 + f = 5*c. Suppose -2*j - 80 = -2*t - 3*t, -c*j = 0. Is 11 a factor of t?
False
Does 85 divide (-78)/143 - -13954*91/154?
True
Let q(a) be the second derivative of -1/6*a**3 + 10*a**2 + 0 - 11*a. Is q(18) even?
True
Let k be 16/4*(7 - 34/2). Is 49 a factor of 2516*(-2)/k*5?
False
Let w(f) = -68 - f**2 - 23*f + 14*f + 34*f. Let d be w(22). Is 38 a factor of ((-5)/3)/(d/228)?
True
Does 6 divide 2 + (1428 - (-20)/2)?
True
Let p(q) = -q**3 + 6*q**2 - 6*q + 7. Let a be p(5). Suppose 551 = 5*m + a*v, 0 = -3*m + v + 4*v + 312. Suppose 41 - m = -2*b. Does 4 divide b?
False
Let x(z) = -z**3 - 22*z**2 + 30*z - 34. Let o be x(-24). Is o + 1 + -3 + 9 a multiple of 45?
True
Let c(i) = 2503*i**2 - 44*i - 43. Does 8 divide c(-1)?
True
Let y(d) = -1395*d**3 + 10*d**2 + 16*d + 34. Is y(-3) a multiple of 37?
False
Let n = -14 - -14. Suppose 2*m = 4*s, -9*m + 14*m + 2*s = 0. Suppose -b + 4 = n, 2*b = -5*h - m*b + 128. Is 3 a factor of h?
True
Is ((-4)/(-2))/(((-1590)/9532686)/(10/(-4))) a multiple of 17?
False
Let r = -4623 - -7119. Suppose -3*h = 5*h - r. Suppose 2*q = 4*n - 606, -2*n + h = -4*q - 0. Is 10 a factor of n?
True
Let q = 180 - 232. Let n be (-12)/5*(-200)/(-12). Let h = n - q. Is 6 a factor of h?
True
Suppose 6*f + 113*f = 160888. Is 8 a factor of f?
True
Let k(c) = 132*c - 137. Let i = -288 - -299. Is k(i) a multiple of 40?
False
Suppose -1039 = 18*b - 6045 - 2806. Does 180 divide b?
False
Suppose -4*d - 9399 = -h + 9448, -3*h - 4*d = -56429. Is 87 a factor of h?
False
Let z = 14777 - 9642. Is 79 a factor of z?
True
Let v = -228 - -233. Suppose -5*c - 2*u + 110 = 0, -v*c + 103 + 7 = -2*u. Is 11 a factor of c?
True
Let i(q) = -9*q - 16. Let o be i(7). Let s = -25 - o. Suppose 2*c + s = 5*t - 24, 0 = 3*t - 4*c - 58. Is 8 a factor of t?
False
Let q be (-20)/(-25) - (-158)/(-10). Is (-8)/6 + (-2045)/q + 1 a multiple of 19?
False
Suppose 3*w + 64 + 134 = 0. Let i(u) = 9*u**3 + 4*u**2 - 7*u + 6. Let q be i(2). Let y = w + q. Is y a multiple of 14?
True
Let r(o) = -275*o + 93. Let f be r(2). Let w = f - -601. Does 16 divide w?
True
Suppose 6*x - 2*x = -2*d + 192572, -192548 = -4*x + 4*d. Suppose 13*o - x = -14*o. Is 14 a factor of o?
False
Let a(w) = -w**3 - 27*w**2 - 50*w + 11. Let r be a(-25). Suppose -3*n + 2*m = -1230, -3*n + 12*m = r*m - 1227. Is n a multiple of 31?
False
Let p(n) = 6*n**2 - 81*n + 727. Does 6 divide p(25)?
False
Let t(g) = 6*g**2 - 5*g. Let r be t(3). Suppose 19 = 40*w - r*w. Is 2 a factor of w?
False
Suppose -3*b - 46*v = -42*v - 36748, -3*v = -2*b + 24459. Is 68 a factor of b?
True
Let u be 4*9/(-8)*-4. Let t(d) = -d**3 + 24*d**2 - 60*d - 14. Is 50 a factor of t(u)?
True
Let k = 596 - -4456. Is 21 a factor of k?
False
Suppose q = 5*v - 15, -5*q = -6*v + v - 5. Suppose 2*m = -q*w + 3690, -19*m = w - 21*m - 738. Is w a multiple of 41?
True
Suppose -4*f = 6*c - 5*c - 20, -4*f - 4 = -5*c. Suppose -i = -5*q + i + 716, 2*q - 280 = c*i. Is 8 a factor of q?
True
Let j = -7365 + 8727. Is j a multiple of 7?
False
Let t = -78 + 195. Suppose 5*v - t = -17. Is v a multiple of 4?
True
Suppose -s = -4*o + 10334, 0 = -5*o - 16*s + 21*s + 12910. Suppose -33*n = -52*n + o. Is n a multiple of 17?
True
Let n(b) = -2*b**2 + 208*b - 3519. Is n(31) a multiple of 19?
True
Let l(p) = p**3 - 12*p**2 + 12*p + 15. Let y be l(11). Let o = 148 - y. Let w = 204 - o. Is 18 a factor of w?
False
Let r be 10*-9*((-33)/(-6) - 4). Let u be (-137)/9 - 30/r. Is (356/(-6) + 2)/(10/u) a multiple of 16?
False
Let u(t) = -2*t**3 - 3*t**2 - 3*t + 3. Let y be u(-2). Is 27 a factor of (y/2)/(17/374)?
False
Let y(j) be the second derivative of 2*j**2 + 17*j + j**3 + 11/12*j**4 + 0 + 1/20*j**5. Does 20 divide y(-4)?
False
Let z(j) = j**2 - 8*j + 4. Let q be z(7). Is -8*(1/q*3 - 41) a multiple of 24?
True
Let t = -19613 + 44259. Is t a multiple of 124?
False
Suppose 17*i - 24420 = -24*i + 39*i. Is i a multiple of 55?
True
Let a = 56 - 51. Suppose -a*u = 2*x - 476, 661 = 2*x + 3*u + 185. Let i = 353 - x. Does 17 divide i?
False
Let v(k) = -k**3 - 17*k**2 - 34*k - 13. Let l be 4 + (-105)/28 + (-122)/8. Is 2 a factor of v(l)?
False
Suppose -90 = -12*g + 18. Suppose k = -o + g, 10 = -4*o + 2*o + 5*k. Suppose -5*r + 4*p = -408, o*r + 0*r = -4*p + 432. Does 14 divide r?
True
Suppose 16*i - 5280 = 13*i. Suppose 18*s - i = 8*s. Is 51 a factor of s?
False
Suppose 10*z = 5*z - 3*b + 1651, -4*z - b = -1318. Let d = -224 + z. Let a = d + -60. Does 5 divide a?
True
Let j be (40/15 - -2)*15. Let z = -119 + j. Let s = -32 - z. Is 8 a factor of s?
False
Let l = 372 + -366. Is 3 a factor of (-41)/123 + 578/l?
True
Suppose 33 = -z + 1. Let g = z + 31. Let u(v) = -97*v**3 - v**2. Is 16 a factor of u(g)?
True
Let d(p) = 160*p + 4. Let h be d(1). Let j = h + -20. Suppose j = n - 0*n. Is 21 a factor of n?
False
Let g(f) = 3*f**2 - 8*f - 6. Let z(t) = -7*t**2 + 14*t + 10. Let s(h) = -7*g(h) - 4*z(h). Let i be 6/2 - 14/2. Is s(i) a multiple of 38?
True
Let c = 1278 + -1950. Let s = -527 - c. Does 3 divide s?
False
Suppose 4*i - 5400 = -y + 20975, 5*y - 2*i - 131765 = 0. Does 105 divide y?
True
Let w be ((-578)/85)/(4/(-10)). Suppose -w*g + 5780 = -7*g. Is g a multiple of 34?
True
Let q(o) = -29*o**2 + 457*o + 14. Is q(10) a multiple of 105?
False
Let s(w) = -w**3 - 4*w**2 - 6*w + 3. Let d be s(-4). Let g(a) = a**3 - 27*a**2 - 2*a + 51. Let o be g(d). Is 11/((-1 - 2)/(-6 - o)) a multiple of 2?
False
Let v(t) = 2*t**3 + 12*t**2 + 30*t - 17. Let p be v(-9). Let a = p + 899. Does 7 divide a?
True
Let p = -25 - -29. Suppose p*a - 82 = 218. Let w = 177 - a. Does 34 divide w?
True
Let g(s) = 3*s**3 + 4 + 2*s**2 - 3*s**3 + 10*s**3 - 5*s - 4*s**3. Suppose -3 + 17 = 5*l + w, -5*w = -20. Is g(l) a multiple of 10?
True
Let p(b) = b**3 - 6*b**2 + 13*b - 18. Let g be p(4). Let u(j) = 0 + 194*j**g - 2 - 4*j - 195*j**2 + 19*j. Does 8 divide u(9)?
False
Suppose -11*m = 15*m - 23946. Let o = m - 361. Does 70 divide o?
True
Let q(g) = -5*g**3 - 4 + 6*g + g**2 - 40*g**3 - 9*g**3. Is 42 a factor of q(-2)?
True
Suppose 27*z + 19416 = 36640 + 34265. Is 10 a factor of z?
False
Let h(m) = -5 + 5 - 5*m + 6 + 15973*m**2 - 15278*m**2. Is h(1) a multiple of 55?
False
Let n = 7185 + 1578. Is 28 a factor of n?
False
Suppose 3*l + 1669 = -5*w + 18219, -3*w = 2*l - 11032. Is 23 a factor of l?
False
Suppose 0 = 4*m + 3*f - 113525, -12*m + f - 28382 = -13*m. Does 13 divide m?
True
Let j(g) = g**2 + 3*g - 11. Let i be j(-6). Suppose 0 = -i*m + 9*m - 32. Is m a multiple of 8?
True
Suppose 59*u - 11616 = -54*u - 19*u. Let n = 60 + -107. Let k = n + u. Is 2 a factor of k?
False
Let g(o) = 39*o**2 + 7*o + 10. Let i be g(-3). Let m = -199 + i. Suppose m = 4*u + x, -138 = -6*u + 2*u - 2*x. Does 9 divide u?
True
Let i(u) = 19*u**2 + 2*u - 46. Does 2 divide i(-9)?
False
Suppose n + 0 = 2. Suppose 3*b + 4*b = n*b. Suppose r + 153 = 5*k, b = -2*k - 5*r - 0*r + 45. Is k a multiple of 5?
True
Let s = 38 + -42. Let g be s/(-3)*4/((-12)/(-27)). Suppose 4*b - g = 0, -123 = -o - 2*o - b. Does 4 divide o?
True
Suppose r = 5*w + 3*r + 624, 0 = -2*w - 3*r - 243. Suppose 5*s + 3*l = 944, -157 = -s - 5*l + 45. Let y = s + w. Does 15 divide y?
False
Let j(s) = 4*s - 22. Let z be j(13). Suppose 2*m = -z - 0. Let x = 115 + m. Does 12 divide x?
F