lse
Let u = 9921 - 3101. Is 31 a factor of u?
True
Is (2851 - -1) + (4 - (-84)/(-14)) a multiple of 19?
True
Let j(f) be the first derivative of f**4/4 + 2*f**3/3 - 3*f**2 - 6*f - 26. Let v be j(-3). Suppose -7*q = -4*q - v, -5*q = s - 109. Is s a multiple of 26?
True
Let j(t) = t**3 + 12*t**2 + 10*t + 12. Let u be j(-10). Let b = 64 + u. Is b a multiple of 43?
False
Suppose 0 = 4*i + 5*v - 84, -i - 3*v = 2*v - 6. Let d be i/12 - 4/24. Suppose -d*x + 51 = x. Is 4 a factor of x?
False
Let j be 2/9 - 814/18. Let d be 14 + -93 + (-2 - (-13 - -2)). Let h = j - d. Is h a multiple of 8?
False
Suppose -2*v = 8, -5*h + 41 = 2*v - 6. Let y(j) = 29*j - 151. Does 28 divide y(h)?
True
Let a = 1117 + -1109. Suppose 4*q + 28 = -2*k, 0 = 5*q - 2*k + 6 + 29. Is 2 a factor of (-44)/a*(q + 5)?
False
Suppose -i - 3 + 4 = 0, -2*i = -4*s + 30. Suppose s*u + 44 = 4. Does 4 divide u/90*4 + (-130)/(-18)?
False
Let r(l) = 957*l - 5163. Is 51 a factor of r(17)?
False
Is (-18 - (-85650)/(-125))/(0 - (-6)/(-80)) a multiple of 115?
False
Suppose -3*d = 4*c + 36, -23*d = -19*d + 5*c + 47. Let w(i) = -14*i - 40. Does 41 divide w(d)?
False
Let i = -59 - -71. Suppose 0 = 3*v + 3*v - i. Suppose x + v*x = 153. Is 8 a factor of x?
False
Suppose -5*t + 2*q = -25 - 71, 2*q + 6 = 0. Let s = 1574 + -1582. Let p = t + s. Does 4 divide p?
False
Let p(f) = -f - 55. Let o be p(5). Let t = o - -67. Is 7 a factor of t?
True
Suppose 2*h - 3*j = 375, 3*j = -3*h + 142 + 413. Let o = h + 310. Is o a multiple of 23?
False
Let b = 267 - 351. Let h = 1 - b. Does 37 divide h?
False
Let q(k) = k**3 + 21*k**2 - 116*k + 10. Is 14 a factor of q(-21)?
False
Suppose 5*k + 944 = 2*d, -43*d + 5*k = -39*d - 1898. Is d a multiple of 2?
False
Is (637 + -27)*4/(-8)*-54 a multiple of 45?
True
Let n be (4/(-1) + -3)/((-14)/1414). Let z = 854 - n. Is z a multiple of 3?
True
Let v = 147 - 104. Let f = v - -54. Does 15 divide f?
False
Suppose 6*x - 35930 = -4*j, 6*j = 5*x + j - 29975. Does 66 divide x?
False
Let n = 17028 + -8038. Is n a multiple of 145?
True
Let t(r) = r**2 + 4*r - 7. Let y be t(-6). Suppose -1510 = -s + 5*n - 327, 3*s = -y*n + 3569. Does 13 divide s?
False
Let m(k) = 22*k**2 - 105*k - 1027. Is 40 a factor of m(-15)?
False
Is 107 a factor of (-435 - 1)/(63960/150228 + (-4)/9)?
True
Let t(y) = y**2 - 23*y + 2. Let d be t(0). Suppose 8*z - 3*z = 10. Suppose -36 = -d*a - z*a. Is 5 a factor of a?
False
Suppose 239*y - 675122 = 1093274 - 348736. Does 9 divide y?
True
Let l(d) = -9*d**2 + 19*d - 5. Let f be l(-9). Let t = f + 1303. Let q = t + -267. Is q a multiple of 16?
False
Suppose 5*p - 7416 = 5*y - 51401, -5*p + 8815 = y. Suppose 23*q - y = -17*q. Is 5 a factor of q?
True
Suppose 0 = 2*z + t - 4, -4 = -3*z + 3*t + 2. Suppose 5*y - 602 = -j, -3*j - z*y + 1566 = -292. Suppose 5*p = -m + j, 9*m - 7*m = -p + 128. Is 30 a factor of p?
False
Let j(h) = 6*h**2 + 12*h - 11. Let a be (-3)/(-6)*-6 + -3. Is j(a) a multiple of 28?
False
Let i(f) be the second derivative of f**6/360 - f**5/40 + 5*f**4/12 + 2*f**3 + 8*f. Let q(g) be the second derivative of i(g). Is q(9) a multiple of 16?
True
Let k(b) be the first derivative of 2*b**3/3 + 9*b**2/2 + 6*b - 7. Let m be k(-7). Suppose 5*j = 2*a - 12 - m, -3*j = 15. Does 2 divide a?
True
Is 12 a factor of (0 - 3)/((-120)/100)*336*14?
True
Let u(d) = 4*d**3 + 4*d**2 - 12*d - 8. Let q(w) = w**3 - w - 1. Let l(m) = 6*q(m) - u(m). Does 75 divide l(5)?
False
Let s be (-8 - -18)/((-7)/8 - -1). Let y = 88 - s. Suppose -y*z - 40 + 264 = 0. Does 20 divide z?
False
Let c = -11178 - -18997. Does 12 divide c?
False
Let k = -26079 + 27482. Is 5 a factor of k?
False
Suppose 10*a - 14744 - 32376 = 0. Is 19 a factor of a?
True
Let d(g) = 264*g**3 + 2*g**2 - 24*g + 108. Is 11 a factor of d(4)?
True
Let u be (-125)/(-75) + (-1)/(-3). Suppose -1086 = -u*b + 5*z + 104, 2*b - 1210 = -5*z. Is b a multiple of 24?
True
Let h = 24 + -175. Let l = h + 155. Is 3 a factor of l?
False
Suppose 0 = 2*j - 5 + 1. Let w be (1 + 31 - (-42 + 36))/2. Suppose -2*r + 74 = 4*k, -j*k + w + 20 = -r. Does 5 divide k?
False
Let u(j) = 740*j**2 - 17*j + 50. Is 52 a factor of u(3)?
False
Suppose -3*k + 5*k - 8685 = 5*s, -13080 = -3*k - 3*s. Is k a multiple of 50?
False
Let t(k) = 19*k**2 - 37*k + 1584. Does 12 divide t(33)?
False
Let c be ((-18)/(-4))/(45/60). Is 20 a factor of c - (-255 + -5 + 4)?
False
Suppose 5*d - 4*r = 404297, -2*d - 19*r = -23*r - 161738. Is d a multiple of 12?
False
Let q(j) = 2*j**3 - j**2 - 3*j + 3. Let b be q(0). Let z = 3 + -1. Suppose -z*t + 2*m = -80, -3*t - b*m + 221 = 71. Is t a multiple of 15?
True
Suppose 0 = 3*b + 9, 0*v + 4*v + b - 249 = 0. Suppose -157 = 3*g + 4*t, -2*t + 6*t = g + v. Does 22 divide -1 + (-11)/(g/450)?
False
Let z = 27319 - 22737. Is z a multiple of 79?
True
Let g(f) = -f + 5. Let c(m) = -8*m**3. Let u be c(1). Let y be u*((-9)/(-12) + -1). Is 3 a factor of g(y)?
True
Let m = -1740 - -1875. Does 15 divide m?
True
Let w(y) = y**2 + 6*y - 21. Suppose 11 = -2*n + 5*c, -5*n + 0*c = -4*c + 19. Let d be (n/(-9))/(3/45). Is 17 a factor of w(d)?
True
Does 13 divide (-42)/294 + 151791/21?
True
Let u(y) be the second derivative of y**3/6 + y**2/2 + 17*y. Let z(n) = 72*n - 7. Let s(d) = -5*u(d) - z(d). Does 17 divide s(-1)?
False
Let z = -4013 + 11150. Is z a multiple of 39?
True
Let f(z) = 32*z - 147. Let o be f(4). Let a(n) = -45*n - 123. Does 23 divide a(o)?
False
Let t be (3 - 2)*2 + 215. Suppose a + t = 2*a + x, 0 = -3*a - 5*x + 643. Is 9 a factor of a?
False
Suppose 4*x - 8374 = -2*i, -84*i + 89*i = -x + 20989. Does 6 divide i?
False
Suppose 4*u - 20060 = v, -v - 4*v - 25075 = -5*u. Does 85 divide u?
True
Let t = 14988 + -8592. Does 63 divide t?
False
Let u = -626 + 1376. Suppose 3696 + u = 13*p. Is p a multiple of 25?
False
Let o = 32782 - 23262. Does 57 divide o?
False
Does 8 divide 6 + (1 - 2)/(31/(-796173)) - 1?
True
Suppose -4*f - 12 = 0, 8*f - 390 = -3*v + 6*f. Suppose 489 = 3*k - 3*a, -4*k - v + 824 = 4*a. Does 84 divide k?
True
Let d(i) = 1. Let b(v) = -25*v**2 + 31*v + 200. Let l(w) = -b(w) - 6*d(w). Does 26 divide l(-6)?
False
Let q(d) = d**2 - 2*d. Let v(x) = x**3 + 2*x - 13. Let p(m) = -5*q(m) + v(m). Is p(7) a multiple of 7?
False
Let m be (0/(-2))/(16/8). Is 14 a factor of (11 - -3)*(m - -22)?
True
Let g(l) = l**2 + 5*l - 6. Let n be g(1). Is 13 a factor of -14 + 10 + (n - -237) + 1?
True
Let x(o) = -o**3 + 5*o**2 + 8*o - 6. Let b be x(4). Let s = b - 54. Does 8 divide (s + 0 + -4)*-1?
True
Let q(w) = 784*w - 1006. Does 42 divide q(8)?
False
Let l be 5/(-2)*(-1194)/(-995). Let g(r) = 19*r. Let a(z) = 37*z + 1. Let b(t) = 3*a(t) - 7*g(t). Does 13 divide b(l)?
False
Suppose -31*o + 26*o = -4*g + 6607, 0 = 2*g - o - 3299. Does 13 divide g?
False
Let p(v) = -2810*v + 2799. Is p(-5) a multiple of 98?
False
Suppose 0 = 80*z - 874098 - 1248942. Is 31 a factor of z?
False
Suppose 52*w = -5*w + 1532160. Is 32 a factor of w?
True
Let n(u) = 10*u - 56. Let r be n(6). Is 9 a factor of (-6 + 4 + 0 + r)*78?
False
Let q = -867 + 1573. Does 3 divide q?
False
Let p be (-565350)/(-550) - (3/11)/(-3). Suppose -148 = 2*t - 3*m - 2224, t - 4*m - p = 0. Does 36 divide t?
True
Suppose -y - 6 = 3. Let j = -30 + y. Let g = j + 73. Does 17 divide g?
True
Let h(w) = -986*w - 1. Let x be h(-1). Let z = -584 + x. Does 13 divide z?
False
Let r be (6/(-4))/(54/(-36))*-217. Let o be 1019/5 + -6 + r/(-35). Suppose -3*b = 3*a - o - 141, -2*b - a + 226 = 0. Is 7 a factor of b?
False
Let a(s) be the second derivative of -s**4/12 + 17*s**3/6 + 53*s**2/2 + 4*s - 8. Is 10 a factor of a(18)?
False
Suppose -13*w + 497984 = -156826. Is w a multiple of 138?
True
Let g = -63 + 71. Suppose -6*d + g = -2*d. Suppose -d*u = -58 - 32. Is u even?
False
Let k be (3 + -45)*40/30. Let j = k - -245. Is j a multiple of 21?
True
Suppose -3*s + 558 = -5*j, 386 = 2*s - 120*j + 119*j. Is 28 a factor of s?
True
Suppose -67705 = -439*p + 17461. Let z(v) = -v**3 + v**2 + 4*v + 1. Let t be z(-4). Let i = p + t. Is 37 a factor of i?
True
Let p(s) = 4*s - 17. Let x be p(7). Suppose -1146 = -x*z + 339. Is 12 a factor of z?
False
Let a(s) = 433*s**2 - 277*s + 4. Is 15 a factor of a(-4)?
True
Suppose 10*z + 2970 = -8*z. Let u = 306 + z. Does 11 divide u?
False
Let q(f) = -222*f**2 + 2*f - 1. Let y be q(1). 