lse
Does 208 divide (-1 - 22 - -17)*38609/(-6)?
False
Suppose -2*f = -5*t + 200241, -29*t - 2*f + 288642 = -872715. Is 21 a factor of t?
True
Let h be (-6 - -4) + (-4 - -9). Let o(v) = -2*v**2 - 2*v - 10. Let m(c) = -c**2 - 3*c - 9. Let l(k) = h*m(k) - 2*o(k). Is l(8) a multiple of 8?
False
Suppose 5 = 20*z + 5. Suppose -499*m + 494*m + 4860 = z. Does 8 divide m?
False
Suppose -1307 = -2*w + 2543. Let l = w - 982. Does 17 divide l?
False
Suppose -20*z + 18*z = 4. Let q be z/3*(-90)/(-60). Is (-1)/((3/519)/q) a multiple of 12?
False
Let i be (16/64)/((-1)/(-8)). Suppose -5*t - 2*f + 1418 = 0, -4*t = -2*t - f - 560. Suppose -i*s = -h - 134, 40 + t = 5*s + 4*h. Is s a multiple of 27?
False
Let l = 3608 - -4370. Does 63 divide l?
False
Let r be 1 - (99/(-11) - (2 - 0)). Let m be r/((4/(-6))/(4/(-9))). Suppose 175 = 5*p + 4*h - 108, -m = -4*h. Is p a multiple of 11?
True
Suppose -15*h + 3340 = -10*h + 5*t, -3*h + 2044 = -5*t. Let z = 871 - h. Is 66 a factor of z?
True
Suppose -t - 3*n = -81, 9*t - 7*t - 24*n = 132. Is t a multiple of 39?
True
Suppose -17*u = 7*u - 309082 - 742622. Is u a multiple of 12?
False
Let u = 193 + -110. Let r be (-14)/(-3 - -1) - (-69 - -45). Suppose -6*x + u = -r. Is 15 a factor of x?
False
Suppose -2*m - 374 = -k, -4*k + 731 = 3*m - 809. Suppose -k = -4*h - 118. Does 2 divide h?
True
Let h(l) be the second derivative of l**6/360 - l**5/15 + 5*l**4/6 + 29*l**3/6 + 13*l. Let d(p) be the second derivative of h(p). Does 5 divide d(10)?
True
Suppose -2*u - 162 = -3*t - 0*t, 3*t = u + 162. Let w = t + -55. Is 19 a factor of w/(4/(-19))*4?
True
Suppose 3*m + 2*k - 43 = 34, 2*m = 5*k + 45. Suppose -12 = 5*o - 11*o. Is 181/(o/5*m/20) a multiple of 23?
False
Let h = 3669 + -2394. Is h a multiple of 25?
True
Suppose -6 = -5*k - 3*x - 31, -x = -4*k - 3. Does 70 divide (1/k)/((-5)/10)*70?
True
Let h = 260 + 28355. Is 43 a factor of h?
False
Let c(w) = -w**3 + 15*w**2 - 32*w + 96. Is c(10) a multiple of 4?
True
Suppose 4*d + 9982 = 2*o, 57*d + 2 = 59*d. Is 9 a factor of o?
False
Let k(x) = 57*x**2 + 16. Let q be k(3). Suppose -q + 1 = -3*d. Is d a multiple of 8?
True
Let a(d) = -3*d**2 + 29*d - 218 - 219 + 436. Is a(6) even?
False
Let a(d) = d**3 + 43*d**2 - 303*d - 45. Is a(-47) a multiple of 36?
False
Let m(x) = 12*x**2 - 3*x + 1. Let s be m(1). Let z = s - 1. Suppose z*f - 75 = 4*f. Is f even?
False
Let c(m) = 8*m**2 - 3*m + 1. Let l(r) = -r**3 - 23*r**2 + 9*r - 1. Let o(g) = -7*c(g) - 2*l(g). Is o(7) a multiple of 50?
False
Let r be 13 + -3*2/3. Let b(h) = h**3 - 9*h**2 - 13*h - 17. Is b(r) a multiple of 4?
False
Let b(q) = -2*q**3 + 17*q**2 + 9*q + 5. Let y be b(9). Suppose -1529 = -3*p + y*a, -5*a + 11 = 31. Let i = p - 295. Is 13 a factor of i?
True
Suppose -3*s - 44 = -7*s. Suppose -s - 37 = -3*g. Is ((-152)/(-10))/(g/80) a multiple of 19?
True
Is 45/((-2160)/(-42688))*(-1 + 4) even?
True
Let d = 94 - 92. Suppose -2*f + 2 = 10, 3*f + 12 = -d*o. Suppose -3*n + 11*l - 16*l + 144 = 0, o = 4*n + 2*l - 192. Is n a multiple of 24?
True
Let r = -2226 + 3759. Is 2 a factor of r?
False
Let w(y) = y + 3. Let c be w(-1). Is 8 a factor of 2/(c/(-10) - 3/(-12))?
True
Suppose 0 = -2*p - 5*p + 35. Suppose g = p*r - 1546 - 848, -3*r - g = -1430. Suppose 0 = -9*i + r + 1628. Is 35 a factor of i?
False
Let o(x) = x - 15. Let i be o(15). Suppose -16*k + 12*k = -668. Is 16 a factor of 7/(-14) - (k/(-2) + i)?
False
Let j = -61 + 531. Suppose 4*r = 42 + j. Suppose -y + r = -f, 4*y + 0*f - 2*f - 502 = 0. Is y a multiple of 19?
False
Suppose -v = 2*p - 30168, -13*v = -8*v + 4*p - 150852. Is 38 a factor of v?
True
Suppose -7419 - 1727197 = -99*c + 73520. Is c a multiple of 33?
False
Let b be -1*((-1 - -1) + 44). Let h(t) = -t**2 + 25*t - 8. Let z be h(20). Let g = z + b. Does 24 divide g?
True
Let f(z) = 48617*z**3 + 5*z**2 - 12*z + 6. Does 206 divide f(1)?
True
Suppose -4*y + 5*l = -69, -14*y + 117 = -9*y + 4*l. Suppose 22*k = y*k + 4*c + 282, -4*k - 2*c = -1128. Is k a multiple of 6?
True
Suppose 5*m - 2*k - 385 = -4*k, 3*m = 3*k + 252. Let a = 81 - m. Does 7 divide a/2*(32 + 18/(-2))?
False
Is 19 a factor of 185*-1*((-418)/110)/(4/20)?
True
Suppose 0 = -7*g - 26*g + 28710. Let q = g + -770. Is q a multiple of 30?
False
Let r be (7 + 8)/(9/12). Suppose -1133 = 9*z - r*z. Is z a multiple of 2?
False
Let b(m) = m**2 + 10*m + 69. Does 37 divide b(15)?
True
Let l(s) = 15105*s**3 + 3*s**2 + 17*s - 19. Does 15 divide l(1)?
False
Let z(p) = 8*p**2 + 3*p + 44. Let r(q) = q**2 + q - 2. Let x(n) = -3*r(n) + z(n). Is 10 a factor of x(-8)?
True
Suppose 9 + 6 = 5*q. Suppose -q*y - 20 = -4*y. Suppose 3*r - 4*n - y = 0, -2*r - 2*n + 6*n = -8. Does 12 divide r?
True
Let q(z) be the first derivative of 19*z**3/3 - 9*z**2/2 + 45*z - 74. Does 15 divide q(-6)?
False
Suppose -2*w + 4*w - 3*m = -1332, 2000 = -3*w + 4*m. Let f = w - -1332. Does 78 divide f?
False
Suppose -7 = 2*b - 11. Let d(q) = 7 - 3*q**b - 14 - 2*q + 14*q**2 + q**3. Is d(-8) a multiple of 53?
False
Let z(b) = -b**2 + 25*b + 14. Let q be z(27). Let m = 312 - q. Does 22 divide m?
True
Let r(v) = v**3 + 77*v**2 - 302*v + 86. Does 31 divide r(-79)?
False
Let j(p) be the second derivative of p**4/12 - p**3/3 + p**2 - 595*p. Let o(d) = 4*d. Let t be o(2). Is 11 a factor of j(t)?
False
Suppose -g + 3*i = -24538, -5*g + 9*i - 4*i = -122700. Does 39 divide g?
False
Suppose 2*t = -2*h + 19312, 2*h + 48231 = 1969*t - 1964*t. Is t a multiple of 56?
False
Is 280*29152/400 + 3/5 a multiple of 31?
False
Let v be 180/72 - 6/(-4). Suppose 25*h - 9177 = v*h. Is h a multiple of 54?
False
Let l(k) = 97*k + 107 - 45*k - 43*k. Is 11 a factor of l(15)?
True
Let a be 87*10/(-90)*9. Let h be (-6 - 0)*(-130)/(-3). Let k = a - h. Does 15 divide k?
False
Suppose -2*f = 6*z - 12160, 13017 = 5*f + 2*z - 17422. Is f a multiple of 164?
False
Let p = -126 - -1862. Is p a multiple of 62?
True
Suppose -39*i + 1401972 + 418014 = 124656. Is i a multiple of 70?
True
Let v(p) = -8*p**2 + 46*p + 16. Let w be v(7). Is (w/6 - -6)*-172 a multiple of 57?
False
Let t = -14123 + 27113. Is 30 a factor of t?
True
Is 89 a factor of (-91128)/10*((-15)/30)/(8/40)?
False
Let d(a) = 12*a**3 - 2*a**2 - 7*a + 1. Suppose -2*u + 15 = 5*c, 0 = 5*c - 9*u + 7*u - 15. Does 13 divide d(c)?
True
Let t(r) = 96*r + 105. Let o be t(-25). Is 65 a factor of -1 - 6/(-4) - o/18?
False
Suppose 0 = -8*p + 327 - 47. Suppose 29*b = p*b - 4482. Does 24 divide b?
False
Let z(w) = 41*w**3 + 7*w**2 + 2*w - 9. Let s be z(3). Suppose 3*a = 3*y + s, 0 = 3*a + a - y - 1559. Does 15 divide a?
True
Let q(o) be the third derivative of 0*o + 7/8*o**4 - 3*o**3 - 1/60*o**5 + 0 + 9*o**2. Is 15 a factor of q(9)?
True
Let v(c) = c + 5. Let s be v(-6). Let w be s*1/(-1)*2. Suppose w*p = -8, -4*u - 3*p - 4 + 28 = 0. Is 8 a factor of u?
False
Let q(w) = 11*w - 68. Suppose 42*o - 81 = 33*o. Does 15 divide q(o)?
False
Is 9 a factor of -9 + (12/14 - 233158/(-14))?
False
Let u = -6 - 47. Let z = u + 59. Suppose -z*a + 280 = -2*a. Is a a multiple of 7?
True
Let s(z) be the third derivative of -201*z**4/8 - z**3/2 + 3*z**2 + 7. Does 21 divide s(-1)?
False
Suppose 7*k - 6927 = 4*k. Suppose -2*p - k = -2*c - 475, -4*p - 3688 = c. Does 30 divide 2/8 - p/12?
False
Let k(l) = 9*l**2 - 2*l - 2. Let f be k(1). Suppose 0 = b - 5*h - 83, -f*b + 495 = -7*h + 2*h. Is (2 + b)*(8 - 7) a multiple of 35?
True
Let p = -2058 - -8530. Does 34 divide p?
False
Suppose -5*s - 9684 = -4*c - 54955, -3*c = 2*s - 18136. Does 48 divide s?
False
Suppose 0 = 3*g + 10 - 34. Is 3 a factor of g/28 - ((-792)/21 + -3)?
False
Let p(x) = -x**3 - 10*x**2 + 2. Let t be p(-10). Suppose 5*c + 30 = r - 8, c + 26 = r. Let b = r + t. Is 25 a factor of b?
True
Suppose 43*m + 104313 = 5*i + 40*m, 5*i - 5*m = 104295. Does 94 divide i?
True
Let c be ((-2)/(-5))/(((-18)/2)/90). Does 21 divide 105/((-20)/c)*(5 + -1)?
True
Let b(y) = 35 + 2*y + 5 + 0*y. Let h(s) = 33*s - 113. Let g be h(3). Does 10 divide b(g)?
False
Suppose 28*c - 6504 - 12704 = 0. Does 81 divide c?
False
Does 13 divide 16*(6500/(-2500))/((-2)/1510*2)?
True
Let v = -5884 - -10923. Is 8 a factor of v?
False
Let r be (-2 + 2/4)/((-36)/23448). Suppose 10*k - r = 3. Is k a multiple of 14?
True
Suppose -v - 3*z + 5370 = 0, 2*v - 140 - 10596 = -5*z. Is v a multiple of 71?
False
Let