lse
Let p = -23597 - -26271. Is 7 a factor of p?
True
Let n(u) = -u**3 - 4*u**2 - 31*u - 163. Let i be n(-5). Suppose -2*v = 3*p - 348, -15*v - 4*p - 376 = -i*v. Is v a multiple of 45?
True
Suppose 9*l - 7*l + 5*r - 348 = 0, 2*l - 348 = r. Let k be (-1)/(-1 + 8/12). Suppose k*g - l = -3*g. Is 3 a factor of g?
False
Let x be 16/(-40)*(3/(-3) - 6174). Suppose x = -6*v + 16*v. Is 19 a factor of v?
True
Let i(d) = d**2 + 3*d + 10. Let l(f) = f**3 - 1. Let s(c) = 6*c**3 + 13*c**2 - c - 11. Let t(r) = 5*l(r) - s(r). Let j be t(-13). Is 13 a factor of i(j)?
False
Let k = -64 + 64. Suppose 2*q - i - 99 = -k*q, 5 = -5*i. Suppose 0 = -3*f + q + 191. Is 5 a factor of f?
True
Let v(l) = -2*l**3 + 15*l**2 - 11*l - 20. Let w be v(6). Is 23 a factor of ((-11)/w)/(-1 + 1356/1360)?
False
Let r(c) = -2*c + 6. Let l be r(-2). Suppose l + 0 = 5*u. Is 9 a factor of (-4)/(-2) + 16*(u + 1)?
False
Let h = 16 + 3211. Is h a multiple of 22?
False
Suppose 0*c = 173*c - 939563. Is c a multiple of 3?
False
Let h = 1839 + -993. Let g = h + -317. Does 18 divide g?
False
Suppose 12*r - 13*r + 22 = 0. Does 5 divide 12/r + (-28064)/(-176)?
True
Suppose 9 = 3*a - j - 47, 2*a + 2*j - 48 = 0. Let n = a - 52. Let l = -21 - n. Is 2 a factor of l?
False
Let a(m) = 21*m**3 - 6*m**2 - 37*m + 41. Does 63 divide a(5)?
True
Let o = 42617 - 21606. Is o a multiple of 94?
False
Is 14 a factor of (-4 - 4)*14890/(-80)?
False
Let z = 14 - 16. Is 7 a factor of 14 + -8 - 3*z?
False
Suppose -x + 55186 = 5*k, x - 4*x = k - 11054. Does 31 divide k?
True
Let x(d) = 132*d**2 - 5*d - 37. Let f be x(-5). Suppose -4*h = -3*m - 6*h + 2467, -2*h + f = 4*m. Is m a multiple of 68?
False
Suppose 5*a = g + 40, 2*g - 13 = -3. Suppose -a*z = -11*z + 170. Suppose z + 219 = 16*n. Is n even?
False
Let g(m) = -75*m + 2847. Is g(-95) a multiple of 71?
False
Suppose 27*d - 20*d - 1638 = 0. Suppose 4*h = b + 976, 973 = 5*h + 2*b - d. Does 12 divide h?
False
Let q(h) = -3*h**3 + 24*h**2 - 112*h + 0*h**3 + 82*h + 45 + 4*h**3. Is q(-24) a multiple of 45?
True
Suppose -7*j = -5*j - 22. Suppose -3*r + 8*r = 4*d + 55, r + d - j = 0. Let h(b) = -b**2 + 14*b + 25. Is h(r) a multiple of 29?
True
Suppose 0 = -4*w - 5*d + 2960, -4*w + 0*d + 2960 = -5*d. Suppose -10*c - 2*f + w = -6*c, 3*f + 564 = 3*c. Is 16 a factor of c?
False
Let t(w) = -40*w + 15. Let u be t(7). Let n be (u - (2 - 3))/(2/(-2)). Let p = -177 + n. Does 29 divide p?
True
Let q be (-1)/2 - (-2139)/6. Let i = 124 + q. Suppose 7*k - 3*k = i. Is 25 a factor of k?
False
Let r(u) = 2*u - 5. Let q be r(4). Let g(d) = -d**3 + 30*d**2 + 12*d - 23. Let m be g(30). Suppose s + 3*w = 8*w + 129, m = q*s - 5*w. Is 26 a factor of s?
True
Suppose 13616 = v - 5*w - 1605, 4*v - 60988 = 7*w. Does 6 divide v?
False
Let s(b) = -73*b + 4. Suppose 3*t = 55 - 49. Suppose -t = 29*p - 27*p. Is 11 a factor of s(p)?
True
Suppose -18*n - 234 = -21*n. Let z = 615 - n. Is 24 a factor of z?
False
Let k = -50543 - -81212. Does 16 divide k?
False
Let a be 1 + 0 + (-4)/(20/(-645)). Let l = a - 53. Is (-2)/11 + 12411/l a multiple of 23?
True
Let o = -19129 + 27088. Is o a multiple of 14?
False
Let t(p) = -p + 6. Let k be t(2). Let g(m) = k*m**2 - 15*m + 7*m**2 + 16*m. Is 7 a factor of g(-2)?
True
Let q = 3742 + -2790. Is q a multiple of 14?
True
Let v = -255 - -256. Is (36/v)/(((-30)/8)/(-5)) a multiple of 6?
True
Suppose -7*o - 84 = -13*o. Suppose 6*g - 3*g = -9, f - o = -2*g. Is 13 a factor of 43 - (f/(-50))/((-1)/10)?
True
Let d(j) = 100*j**3 - 20*j + 35. Does 5 divide d(5)?
True
Let y = 60 + 65. Suppose -c = -163*d + 168*d + 100, -4*d = -2*c - 144. Let k = y + c. Is 9 a factor of k?
True
Let z(a) = -3 - a**3 - 127*a + 0*a**3 + 126*a + 3*a**2. Let b be z(2). Let s(n) = 55*n**2 + n + 2. Is 35 a factor of s(b)?
False
Does 7 divide (-90)/(-24) + -4 + (-21413)/(-4)?
False
Is 11 - 5 - 1 - (1 + -203 - -2) a multiple of 5?
True
Let y be (1 - (-4 + 6))*2. Let i(n) = 15*n**2 - 121*n + 1. Let z(r) = -3*r**2 + 24*r. Let t(g) = y*i(g) - 11*z(g). Is t(10) a multiple of 8?
False
Suppose 0 = 3*w - k - 125, 2*k + 151 = 5*w - 57. Suppose -i + 40936 = w*i. Is i a multiple of 13?
False
Suppose 20*u - 15*u - 4475 = 0. Suppose -22*t + 29*t = 14. Suppose -w = -5*x + u, -w + 375 = 2*x + t*w. Is 22 a factor of x?
False
Suppose -z - 3*k = -0*z, 0 = 2*k + 2. Let c = 69 + z. Suppose -r = 2*q - 72, 2*r + 5*q - 219 + c = 0. Is r a multiple of 15?
False
Let l(c) = -c**2 - 10*c + 9. Let v be 3/7 - (-590)/(-70). Let p(g) = g**3 + 9*g**2 + 10*g + 6. Let m be p(v). Is l(m) a multiple of 2?
False
Suppose 153*n = 157*n + 216. Is 43 a factor of 6/27 + (-9870)/n + -1?
False
Let k(c) = 4*c**3 - 3*c**2 - c. Let h be k(3). Let d = h - -477. Does 70 divide d?
False
Suppose 0 = -47*x + 42*x - 625. Let h = -69 - x. Is (-6)/4*-8*28/h a multiple of 6?
True
Let d(i) = 4102*i + 784. Is d(5) a multiple of 63?
True
Let t be 0 + 3/((-9)/(-12)). Let i be 0 + 1/(2/t). Does 18 divide 6/(-4)*(-50 + i)?
True
Let a = -2181 - -8499. Is a a multiple of 3?
True
Let l = 2027 - -8213. Suppose -6*j - 34*j + l = 0. Does 8 divide j?
True
Let o(s) = 167*s**3 + 4*s**2 + 7*s - 12. Let h(n) = -166*n**3 - 3*n**2 - 6*n + 10. Let w(g) = 7*h(g) + 6*o(g). Is 4 a factor of w(-1)?
False
Is -1*(-3 - -2)*(-2 - (-22450)/2) a multiple of 43?
True
Let y(t) be the first derivative of 17*t**2/2 - 181*t + 11. Does 27 divide y(46)?
False
Let g(w) = 0*w**2 + 2*w - 196*w**3 - w**2 + 197*w**3 + 60. Let j = 1 + -1. Is g(j) a multiple of 20?
True
Let g(h) = h**3 + 30*h**2 - 6*h - 312. Is 16 a factor of g(-28)?
True
Suppose 1 - 3 = -o. Let b(l) = 2 + 0*l + 5*l**o + 8*l**2 - l - 2*l. Does 41 divide b(3)?
False
Let f(k) = 4*k + 5. Let j be f(2). Suppose 9*v - 72 = j*v. Does 19 divide -114*(2/(-6) + 12/v)?
True
Suppose 9 = 2*p + 2*w + 1, 5*w - 13 = 2*p. Does 12 divide (-13300)/(-57) + p/(-3)?
False
Let a(b) = 34*b - 16. Let d be a(0). Is 15 a factor of 612 - (d/2 + 2)?
False
Suppose -47*d + 22468 = 4*v - 50*d, -v = 5*d - 5594. Does 76 divide v?
False
Let s = 12991 + -11021. Is 42 a factor of s?
False
Let u = -365 - -368. Suppose -u*q - 14*g = -12*g - 204, 0 = 5*q + g - 347. Is q a multiple of 14?
True
Let q be (-4)/(-2) + (-4 - (4 + -2)). Suppose 0 = -5*z - 3*m - 5, 17 = 2*z - z - 3*m. Is 12 a factor of z/7 + ((-552)/7)/q?
False
Suppose -3*m + 77*m - 295260 = 0. Is m a multiple of 190?
True
Let u be 2*2/(6 - 2)*-85. Let n be (10 - 0)*102/u - 0. Is 23 a factor of (-284)/(-6) + -1 + 4/n?
True
Suppose -5491*w + 5483*w + 93440 = 0. Is w a multiple of 10?
True
Suppose -5 + 5 = -25*g. Suppose -4*a - 38 = -166. Suppose -31*v + a*v - 8 = g. Does 8 divide v?
True
Let x(f) = -2*f**2 - 13*f - 4. Let b be x(-6). Suppose -b*m + 7096 = 4*u, m = -3*m + 8. Is 14 a factor of u?
False
Suppose 4*h = 2*k + 8, 2*h + 5*k + 20 = -h. Let m be (-19)/((-95)/(-210))*-1. Suppose 5*r + m - 447 = h. Is 13 a factor of r?
False
Let g(d) = -12*d**3 - 5*d - 5. Let c be g(-1). Let b(q) = 20*q - 20. Does 27 divide b(c)?
False
Let n = -20951 - -24627. Is n a multiple of 22?
False
Let f(i) = 573*i**3 - i**2 - i + 2. Let x be f(1). Suppose 0 = 4*v - 435 - x. Does 14 divide v?
True
Suppose -137*q + 152*q - 3720 = 0. Suppose q + 620 = 7*y. Is y a multiple of 14?
False
Suppose 0 = -5*p + t - 7, 4*p - 2*t + 5 = -3. Let j(w) = 1. Let y(r) = -101*r + 3. Let q(b) = -4*j(b) + y(b). Is q(p) a multiple of 13?
False
Let n(k) = -k**2 - 8*k - 6. Let q(h) = -h**2 - 13*h - 11. Let x be q(-11). Let b be n(x). Let w = -100 - b. Does 16 divide w?
False
Let b(y) = y**2 - 44*y + 53. Let w be b(46). Let l = -546 - -808. Let n = l - w. Is n a multiple of 12?
False
Suppose 7*k - 126 - 14 = 0. Is 3/(-15)*-3 + 1588/k a multiple of 8?
True
Let o(x) = 13*x + 71. Let b be o(-6). Is b/(-3) - (-4)/6 - -150 a multiple of 51?
True
Let b = 503 + -479. Suppose 180 = -b*n + 25*n. Does 50 divide n?
False
Suppose 0 = 5*k, 0 = -3*j + 2*j - 4*k. Suppose 2*c + 2 - 16 = j. Suppose 0 = 13*i - c*i - 156. Is i a multiple of 6?
False
Let l = -4823 - -4829. Let t be -2*1 - (-63 + 0). Suppose 35 = l*j - t. Does 16 divide j?
True
Does 21 divide (1542/(-3))/(-5 - ((-626)/42 + 10))?
True
Does 92 divide ((-4)/(-6))/(2*18/(-162)) - -7823?
True
Let x = 2178 + -990. Does 66 divide x?
True
Let f(o) = 1584*o + 999. Is 69 a factor of f(3)?
False
Let n = -2033 - -3095. Does 59