lse
Let y be -1 - -6*5/10. Let v(s) = -4*s**y - 5 + 11*s + 5*s**2 - 2*s**2. Does 5 divide v(4)?
False
Let l = 4807 + 2417. Does 24 divide l?
True
Let p = -53 - -55. Let h be p/(-45)*-3 + (-23408)/(-165). Suppose -5*i = 5*q - 305, -2*i + 2*q + h = -q. Does 17 divide i?
False
Suppose 1242 = -3*m + 36. Let b = m + 489. Is 83 a factor of b?
False
Let z = -12 + 20. Suppose -3*o = -4*o - 5*p - 5, 4*p = -2*o + z. Does 4 divide (4/o)/(4 + (-417)/105)?
False
Let c(y) = -y**3 + 10*y + 1. Let q be c(-4). Suppose 4*g = 4*v + 8, 3*v + 3*g - q = -7. Suppose 2*t + 3*f - 288 = -0*t, 5*t - v*f = 682. Is 23 a factor of t?
True
Let m = 333 - 200. Let a(y) = y**3 - 16*y**2 + 39*y - 44. Let q be a(13). Let b = m + q. Is b a multiple of 14?
False
Let s = -1264 - -1774. Suppose 4*o - 2*q = 9*o - s, 275 = 3*o - 5*q. Is 4 a factor of o?
True
Suppose -4*b + 26 = 3*v, -v + 3*v - 28 = -4*b. Suppose b*h = 14*h - 2700. Suppose -68*a + h = -63*a. Is a a multiple of 15?
True
Let i = 627 - 466. Suppose 10725 = 176*w - i*w. Is 13 a factor of w?
True
Let r(v) = 9*v**2 - 197*v + 150. Is r(-37) a multiple of 76?
True
Is 7 + (-8 + 42004 - (-7 + -1 - -2)) a multiple of 19?
True
Let g(c) = -4*c + 20. Let r(k) = -k. Let l be (7 - 5)/((-3)/((-6)/(-4))). Let j(z) = l*g(z) + 6*r(z). Does 2 divide j(-20)?
True
Let t(k) = 86*k - 47. Let s be t(5). Let p = s + -190. Does 13 divide p?
False
Let r = -19464 + 11118. Is 55 a factor of (-12)/(-150) - r/50?
False
Let o = -14182 + 16217. Does 55 divide o?
True
Let s = 20 - -90. Suppose -s + 2 = 12*h. Is (-12)/8*96/h a multiple of 3?
False
Does 17 divide 4/((-5)/(-30)*-3) + 7046?
True
Let a = 16275 - -5747. Is 22 a factor of a?
True
Suppose 4*i + 12 = -5*u + i, 2*u + 16 = -4*i. Suppose -3*r = 5*q - 324, u*r = -4*q - r + 255. Is 39 a factor of q?
False
Suppose 0 = -39*z + 149071 + 245843. Is 166 a factor of z?
True
Suppose 638 = -302*d + 331*d. Does 8 divide d?
False
Let n(q) = 22*q + 46. Let b = -66 - -84. Is n(b) a multiple of 26?
True
Is 117 a factor of ((-8)/32 - 57/(-324)) + 229340/27?
False
Let x be 5 - (1 + 0 + 1). Suppose 4*t - 726 = -t - x*p, 6 = 3*p. Does 41 divide t?
False
Suppose 2*t - 3 = g, 4*g + t = -3*t - 48. Does 33 divide (3/g)/(((-28)/3816)/7)?
False
Let a = 240 + -227. Let p(j) be the third derivative of 3*j**4/8 - 17*j**3/6 + j**2. Does 20 divide p(a)?
True
Suppose d = 4*z + 8298, 5*d - 3*z = d + 33192. Does 18 divide d?
True
Let r(q) = 60*q + 6 + 60*q - 117*q + 318. Is 27 a factor of r(0)?
True
Is 4 a factor of -15*-12*((-264)/(-18) + 2)?
True
Let q be (-1)/(((-1)/12)/((-12)/(-24))). Suppose 4*d = -3*t + 78, q*t - 60 = 3*t + 2*d. Is 22 a factor of t?
True
Let x(s) = -s**2 - 18*s - 2. Let r(p) = -p**3 + 8*p**2 - 6*p - 5. Let u be r(7). Let h be 1/(u + -3)*13. Is x(h) a multiple of 21?
True
Suppose -11*v - 5 = -12*v, 5*y - 182390 = v. Is y a multiple of 14?
False
Suppose -2*v + 5*v + 3 = 3*s, -2*s - 4*v = -8. Suppose 4*n - 7*o + s*o - 253 = 0, 3*o + 300 = 5*n. Does 20 divide n?
False
Let b(w) = -w**2 - 9*w - 8. Let q be 6/4*(-304)/57. Let s be b(q). Suppose s = 11*d - 63 - 322. Does 5 divide d?
True
Is 23 a factor of 21*1/(-3*6/(-1626))?
False
Suppose 36*s = 32*s + 9864. Suppose -s + 650 = -4*n. Is n a multiple of 67?
False
Let t = 104 + -315. Let h = t + 367. Is h a multiple of 19?
False
Suppose 0 = 14*s - 9*s - 15. Let n(u) = 6*u**2 - 3*u**2 - 4*u - 5*u**s + 5*u**3 + 4 + 12*u**3. Is n(2) a multiple of 14?
False
Let i(h) = h**3 - 2*h**2 - 9*h - 2. Let n be i(4). Let g = -225 + 221. Is 18 a factor of (1*69/n)/(2/g)?
False
Let l(d) = -d**3 + 5*d**2 - 5*d - 1. Let n be l(3). Suppose 6 = -3*s, -n*p - 2*s - 28 = -4*p. Does 8 divide 7/(-1 - p/(-10))?
False
Let z be (1 - 45)*(1 + -2 + 0). Suppose 180 = -4*j - 5*t, -7 = -5*j - 5*t - 227. Let a = z + j. Is a even?
True
Let z be ((-6)/(-4) + -1)*-8 - 1. Let w be (-21)/z + 5/(-25). Suppose 6*p - 64 = -4*s + w*p, 12 = -3*p. Is s a multiple of 4?
False
Let s = -487 - -487. Suppose 6*t + 480 - 3162 = s. Does 10 divide t?
False
Suppose 0 = 19*u - 16*u. Suppose u = -11*o + 9*o - 2. Does 6 divide (-49)/o + (-1 - 0)?
True
Is 66 a factor of ((-3829)/8)/((-29)/232)?
False
Suppose -7*c - 10689 = 1596. Let o = 2781 + c. Does 54 divide o?
True
Let a(f) = 7*f**2 - 9*f - 640. Does 20 divide a(35)?
True
Let m(c) = -199*c - 11. Let o be m(2). Let l = o - -731. Is l a multiple of 14?
True
Let l(w) = 65*w. Let n be l(-1). Suppose -2064*v + 2058*v = -30. Let m = v - n. Does 10 divide m?
True
Suppose -4*t + 92220 = -4*k, 0 = 203*t - 202*t - 2*k - 23054. Is 80 a factor of t?
False
Let m = -20 - -23. Let u be (-1 + 1)/((-3 - -1) + 0). Suppose 4*l - m*l + 3*f = 160, 5*l - 3*f - 836 = u. Is l a multiple of 16?
False
Does 33 divide 7/(21/59736) - (-66)/22?
False
Let u(w) = 1613*w**3 + 4*w**2 - 2*w. Does 85 divide u(1)?
True
Let f = -94 + 90. Let l(b) be the first derivative of -b**4/2 - 5*b**3/3 + b**2/2 + 8*b + 1. Is 17 a factor of l(f)?
False
Suppose 3*h - 2*p = 4232, -h + 5*p + 533 + 856 = 0. Does 104 divide h?
False
Suppose -3*j + 5*d = -1113, 5*d = -j - 0*d + 371. Is j a multiple of 2?
False
Suppose 2*w = 5*v + 149, -6*v + 102 = w - 3*v. Suppose w = -4*d + 687. Is d a multiple of 16?
False
Let y(v) = -v**3 + 7*v**2 - 9*v + 3. Let o be y(5). Suppose -6*u - 108 = -o*u. Is u a multiple of 16?
False
Let n(c) = 136*c + 5088. Does 53 divide n(0)?
True
Let p(g) = g**3 - 16*g**2 + 30*g - 39. Let z be p(14). Let i(r) = 2*r**2 - 4*r - 6. Is i(z) a multiple of 40?
True
Let h(l) = -17 - 6 + 26*l + 8*l - 7*l. Let f be h(-9). Let b = -154 - f. Is b a multiple of 28?
True
Let c = 3052 - 1117. Suppose 2*l + 901 = 2*t - 77, -4*t - 3*l = -c. Does 9 divide t?
True
Let w(i) = -25*i - 73. Let x be w(-3). Suppose x*h + 5*n - 409 = 0, -3*h - 230 = -4*n - 901. Does 35 divide h?
False
Let p be 44*(2 - (2 + 5 + -6)). Let n(j) = j**3 - j**2 + 5*j - 4. Let i be n(3). Let w = p - i. Is 2 a factor of w?
False
Let w = 732 - 260. Is w a multiple of 16?
False
Let i = -155 + 226. Let w = 63 - i. Is w/(-16) + (-175)/(-2) a multiple of 31?
False
Let f(h) = h**3 - 11*h**2 + 2*h + 20. Let x be f(11). Suppose -x = -33*a + 30*a. Does 8 divide (-3645)/(-105) + 4/a?
False
Suppose 4*w - 5*z - 10684 = 0, -2662 = -w - 3*z + 2*z. Let r = -1565 + w. Does 28 divide r?
False
Let p = -1994 - -5167. Is p a multiple of 26?
False
Is 20 a factor of (-205 - -184) + 1466 + -1?
False
Let g(p) = 528*p + 1017. Is g(6) a multiple of 3?
True
Is 45 a factor of (493430/17)/5 + (-3 - 250/(-85))?
True
Let f(y) = -2*y**3 + 24*y**2 - 15*y + 53. Is 13 a factor of f(11)?
True
Suppose -53327*d = -53346*d + 541025. Is d a multiple of 27?
False
Let x = -68 - -104. Let p be (-86)/(-3) - x/54. Let c = p + 29. Is c a multiple of 12?
False
Let i(f) = -f**3 + 10*f**2 - 11*f + 4. Let v(h) = 3*h - 18. Let l be v(-11). Let d = l - -59. Is i(d) a multiple of 11?
True
Let t = 143 - 139. Suppose -3*b = -7*f + t*f + 261, 2*f - 202 = -5*b. Does 7 divide f?
True
Let q(a) = -a**3 - 13*a**2 - 12*a + 14. Let u be q(-12). Let f = u + -6. Let o = f - -13. Is o a multiple of 4?
False
Let r = -29 - -74. Suppose -2*i + r + 363 = 0. Does 12 divide i?
True
Let n(v) = -478*v + 4. Let i be n(-2). Suppose 6*y + 6*y - i = 0. Is y a multiple of 10?
True
Let s(t) = 11*t**2 + 21*t + 3. Let d be s(-8). Suppose 0 = -20*a + d + 4021. Does 4 divide a?
True
Let i(j) be the first derivative of -j**3/3 + 19*j**2/2 + 3*j - 11. Let d be i(19). Suppose 0*u + d*u = 462. Is u a multiple of 11?
True
Suppose 214303 = 38*q - 167141. Is q a multiple of 16?
False
Let g(r) = -13*r**2 - 531*r - 58. Is 3 a factor of g(-39)?
False
Let d(w) = -14*w**3 - w**2 - 5. Let o be d(-2). Let n = 172 + o. Let a = n - 71. Is a a multiple of 51?
True
Let t(g) = 267*g - 943. Does 49 divide t(17)?
False
Suppose -v + 5*j - 288 = j, -4*j + 1376 = -5*v. Let u = 178 - v. Is u a multiple of 18?
True
Let p be (-979)/(-4) - 27/36. Let n = p - 180. Does 16 divide n?
True
Suppose w - 5*c - 1541 = 0, 80*w - 77*w - 4612 = 4*c. Is 30 a factor of w?
False
Let x(t) = 10*t**3 - 2*t**2 - t + 1. Let p be x(1). Suppose 4*b - p*b = -744. Suppose 0 = -4*c + 166 + b. Is c a multiple of 12?
False
Suppose -3*g + 115 = -2*l - 1, 2*g = 4*l + 216. Suppose -6*q + 27*t + 464 = 29*t, 0 = -2*t + 8. Let b = q - l. Is 22 a factor of b?
False
Is 6 a factor of 2 + 118565/4