lse
Let k(o) = 10*o**2 + 23*o - 158. Does 41 divide k(12)?
True
Let h(g) be the first derivative of g**4/4 - 8*g**3/3 - g**2 + 7*g + 15. Is 15 a factor of h(10)?
False
Suppose -11*k - k = -12480. Is k a multiple of 40?
True
Let o = 0 - -7. Suppose 0 = -o*r + 4*r. Suppose 2*m - k - 48 = 2, r = -5*m + 2*k + 126. Is m a multiple of 13?
True
Let d = -1180 + 1726. Is d a multiple of 42?
True
Let b be 27*(-2)/(-4)*2. Suppose i - b = -3*v, i - v = 5 + 34. Suppose -7 - i = -a - 4*k, -4*k + 136 = 4*a. Is a a multiple of 9?
False
Suppose -t = -743 - 1085. Does 37 divide t?
False
Let p(a) = -a**2 + 11*a - 9. Let t be p(10). Suppose 2*u - 5 - t = 0. Suppose u*s - x = 24, -4 = -s - 0*x - x. Is s a multiple of 2?
False
Suppose -w - 20 = -5*w. Suppose 0 = -w*i + 49 - 14. Is i a multiple of 4?
False
Let p(q) = 9*q**3 - 2*q**2 + 2*q - 2. Let b be p(1). Is (360/(-10))/(0 - b)*7 a multiple of 9?
True
Let p(k) = 14*k**3 + 32*k**2 - 23*k - 15. Let l(a) = -8*a - 2*a**3 + 7 + 7*a**3 + 4*a**2 + 7*a**2 - 12. Let s(d) = 17*l(d) - 6*p(d). Is 5 a factor of s(5)?
True
Let l = 13 + -9. Let q = l - -1. Suppose 42 + 13 = q*m. Is 11 a factor of m?
True
Suppose 0 = 3*q - 2*p - 76, 11*q - 12*q + 5*p + 21 = 0. Suppose 0*s - 5 = -s - 3*t, 4*t = 5*s + 32. Let m = q - s. Does 11 divide m?
False
Suppose -2*x + 4*m + 688 = 0, -2*m = x - 3*m - 342. Is 13 a factor of x?
False
Suppose 2*c + 781 = 13*c. Is c a multiple of 61?
False
Is -5 + (25/(-50))/((-2)/13124) a multiple of 26?
True
Let l(p) = 2*p**3 + 3*p**2 - 8*p - 5. Let o(h) = -3*h**3 + 21 - 5*h**2 + 15*h - 2*h**2 - 12. Let d(q) = 5*l(q) + 3*o(q). Does 15 divide d(7)?
False
Let b = -15 + 56. Is b a multiple of 9?
False
Let l = 1456 + -803. Does 69 divide l?
False
Let l be 2*-4*1*3465/22. Is 14 a factor of ((-8)/(-6))/((-24)/l)?
True
Suppose -q = 4*f - 31, 6*q = 11*q + 4*f - 91. Is 15 a factor of q?
True
Let l be 24/84 - (-214)/(-14). Let d(g) = -g**3 - 16*g**2 - 15*g + 13. Is d(l) a multiple of 3?
False
Let c be (55/(-10))/((-3)/174*1). Suppose 5*g - q = c, 2*q + 71 = 2*g - 63. Is 21 a factor of g?
True
Suppose -24 = -d + w + 3*w, -4*d + 5*w = -41. Suppose d*x = 3*x. Suppose 2*t + h - 4 = x, h - 4*h = -3*t + 24. Does 2 divide t?
True
Let f(o) = o**2 - 9*o + 2. Let n be f(9). Let q(j) = j**2 - j + 1. Let d be q(n). Suppose -d*t = -2*h + 42 - 11, -2*h + 5*t + 33 = 0. Is 5 a factor of h?
False
Let m be -2 + 0 + 168 + -3. Let y = -49 + m. Is 19 a factor of y?
True
Suppose a + 4*g = 642 + 135, -4*a - 3*g = -3043. Is a a multiple of 11?
False
Let r be 55/22*1/((-5)/(-6)). Suppose 237 = r*y - 2*g, 3*g - 3 - 6 = 0. Is 27 a factor of y?
True
Suppose -2*m = -3*r, -9*m = -4*m. Suppose r = -7*o + 31 + 585. Does 19 divide o?
False
Suppose 13*n = 4*n - 2205. Let p = n + 357. Is p a multiple of 29?
False
Suppose -2*i = 3*q + 13, -3*i + 5 = -q - 14. Let r = 9 + q. Suppose 3*n - r*c = -2*n + 133, 0 = 2*n + c - 55. Does 27 divide n?
True
Let v(l) = -l**2 - 46*l - 12. Does 12 divide v(-24)?
True
Let w(m) = -8*m**2 - 21*m + 11. Let b(y) = -2*y**2 - 5*y + 3. Let r(q) = -9*b(q) + 2*w(q). Is r(-5) a multiple of 8?
False
Suppose 3*r - 465 = 3*m - 2*m, -628 = -4*r + 4*m. Is 14 a factor of r?
True
Let v(j) be the second derivative of 0 - 7/2*j**2 - 3*j + 7/6*j**3. Is 20 a factor of v(12)?
False
Suppose 4*c = l + 4 + 8, -6 = 3*l - 2*c. Suppose -964 = -5*a + 2*n, -4*n - 8 = -l*n. Is a a multiple of 16?
True
Suppose 13*z = 9*z + 2048. Suppose -z = -4*l + 5*q, -2*l + 4*q - 3*q + 262 = 0. Is 17 a factor of l?
False
Let a be -4 - 0 - (-6 - -4). Let l be (1 - 7)/((-1)/a). Does 7 divide (-33)/(-4)*(-32)/l?
False
Let f(b) = -3*b**3 + 9*b**2 - 19*b + 22. Let k(m) = 2*m**3 - 4*m**2 + 10*m - 11. Let v be 4/(-6)*195/(-26). Let j(i) = v*k(i) + 3*f(i). Is 12 a factor of j(-7)?
True
Suppose -u - 2*u = -24. Suppose 12*r - 288 = u*r. Does 33 divide r?
False
Let y = 1252 - 616. Is y a multiple of 6?
True
Suppose 27*w - 697 - 491 = 0. Is 3 a factor of w?
False
Let l(s) = 2*s**2 - 3*s - 10. Suppose -228 = -7*k + k. Let h = k - 32. Is 11 a factor of l(h)?
True
Let k = -1646 - -3194. Is k a multiple of 28?
False
Let b be (-1 - 15/(-9))*6. Suppose -2*t = -0*u - 5*u + 14, 2*t - b*u + 12 = 0. Is (-4)/t + (3 - 1) even?
True
Suppose -23*t = -141 - 710. Does 2 divide t?
False
Let b be 1 - 1*12/(-4). Let p = 0 - -5. Suppose p*t - t - b*m = 80, -55 = -2*t + 5*m. Is t a multiple of 8?
False
Let v = -399 - -699. Does 12 divide v?
True
Let q = -5 - -7. Suppose -3*z + 4*f - 20 = 0, -q*z + 15 = 4*f - 5. Suppose z = 5*h + 4*w - 76, w = -2*h + 4*w + 35. Does 16 divide h?
True
Let f(z) = z**3 + 8*z - 15. Is f(7) a multiple of 32?
True
Let d(w) = 8*w + 18. Let o be d(-7). Let a = 161 - 226. Let i = o - a. Is i a multiple of 27?
True
Let n = -137 + 202. Let t = -53 + n. Does 3 divide t?
True
Let a(d) = -15*d**3 + 2*d**2 + 7*d + 10. Is 48 a factor of a(-3)?
False
Let f be 96/(-64)*(5 - (2 - 1)). Is -3*(0 + f/(-9)) - -46 even?
True
Let a(k) = 3*k**2 + 6*k - 16. Is a(-8) a multiple of 12?
False
Let u(v) = 14*v**2 - 5*v + 30. Is u(6) a multiple of 13?
False
Let x(k) be the first derivative of k**3 + 5*k**2 - 64*k - 49. Is x(-12) a multiple of 14?
False
Let i be (-628)/8*(-1 - 5). Suppose b + 0*b - 451 = -4*m, 4*m - 3*b = i. Is 21 a factor of m?
False
Let q(n) = 15*n**2 + 5*n + 86. Is q(11) a multiple of 15?
False
Is (-215 - -6)/(2/(-12)) a multiple of 24?
False
Let o = 523 - -544. Is 97 a factor of o?
True
Let f be (-249)/(-12) - (-1)/4. Let o = f + -13. Is (-3)/((o/(-52))/2) a multiple of 10?
False
Let n = -92 + 329. Suppose n = 4*z - 319. Does 6 divide 2/(-12) + z/6?
False
Is ((-37584)/(-96))/(1/(-8)*-3) a multiple of 18?
True
Does 14 divide 0/(-2) + 11/((-11)/(-448))?
True
Suppose -n = h + 4*n + 14, h = -2*n - 8. Let t(f) = -5*f - 2. Let w be t(h). Let s = w + 46. Is 21 a factor of s?
False
Suppose -4*l - 3 + 17 = -2*q, 0 = -3*l + q + 11. Suppose 94 = l*d + 10. Does 2 divide d?
False
Let p(v) = v**3 - 9*v**2 + 2*v - 13. Let c = 19 - 10. Let g be p(c). Suppose 69 + 6 = g*x. Is x a multiple of 3?
True
Suppose 7 = -2*a + 19. Let r(s) = 2 - s**2 + 3 - 23*s + a. Is 22 a factor of r(-16)?
False
Let h = -77 + 115. Let w = -50 + 29. Let j = h + w. Is 10 a factor of j?
False
Suppose 2*r - 42 = -3*b + 7*b, -5*r = -b - 87. Suppose o - 55 = r. Is o a multiple of 9?
True
Let f be ((-2082)/(-9) - 0)/((-8)/(-12)). Suppose 0 = 2*z + 71 - f. Does 23 divide z?
True
Suppose 2928 = -30*s + 17448. Is 11 a factor of s?
True
Let j(g) = 7*g + 32. Let n be j(-4). Suppose -n*k = -7*k + 252. Does 42 divide k?
True
Suppose 4*l = -0 + 16. Does 13 divide ((-37)/l)/(-3 - 47/(-16))?
False
Let b(c) = -c**2 + 13*c - 3. Let o be b(12). Let r = o - 15. Is r/(-39) - (-1155)/13 a multiple of 24?
False
Suppose -14*z + 38735 + 1179 = 0. Does 101 divide z?
False
Let j = 170 + -177. Let s(c) = 3*c - 7*c + 5 - 3*c - c**2. Is s(j) a multiple of 2?
False
Suppose -k - 4*a = -0*k - 35, -2*a = -3*k + 105. Let z = k + 1. Is 11 a factor of z?
False
Let j be (1/(-6))/(13/(-11778)). Let q = -91 + j. Is 12 a factor of q?
True
Let p(u) = -29*u + 5. Does 42 divide p(-2)?
False
Let n(o) = o**3 - 10*o**2 + 4*o - 3. Let d be n(9). Let t = 96 - d. Is 24 a factor of t?
True
Let m(x) = -2*x - 2. Let c(i) = -39*i - 15. Let f(d) = -c(d) + 9*m(d). Let t be 3/((-1)/(-1)*1). Is 15 a factor of f(t)?
True
Let x be ((-4)/(-4))/((-1)/(-3)). Suppose 5*m + 3*n - 60 = m, -n = x*m - 45. Does 15 divide m?
True
Let s(y) = -y**2 + 17*y + 10. Let u be s(17). Is 22 a factor of (34/(-2))/(u/(-30))?
False
Is 87 a factor of 0/(-1 - 9) - -1453?
False
Let k = 29 + -29. Suppose k = 4*x - 6*x + 304. Is x a multiple of 18?
False
Let d = 1222 + -617. Is d a multiple of 11?
True
Let h = 1458 + -926. Is h a multiple of 10?
False
Is 4 a factor of 14/8 + -1 + 954/8?
True
Suppose 5*t - 846 = 27*y - 31*y, 0 = 5*y - 20. Is 7 a factor of t?
False
Suppose -5*t - 4 = -89. Let c(q) = -q**3 + 18*q**2 - 11*q - 19. Is 19 a factor of c(t)?
False
Suppose 0 = -t + 551 - 93. Does 8 divide t?
False
Let z(k) = k**3 + 9*k**2 + 6*k - 16. Let l be z(-8). Suppose l = -2*b + 53 + 51. Is b a multiple of 15?
False
Suppose -82 = -t + 2*u - 5*u, 0 = -u + 2. Suppose 2*k + 5*j + 21 = 0, -3*k + 9 + 17 = -4*j. Suppose 3*a - t - k = 0. Does 26 divide a?
True
Let x(b) = b**2 - 13*b - 32. Does 12 divide x(-9)?
Fal