e
Let w(f) = f**3 + 8*f**2 - 7*f + 12. Let y be w(-9). Let l(q) = q. Let z(s) = 8*s - 6. Let n(k) = 6*l(k) - z(k). Does 6 divide n(y)?
True
Let a(z) = -5*z**3 + 27*z**2 + 49*z - 103. Let b(q) = -q**3 + q**2 - q - 1. Let v(n) = -a(n) + 4*b(n). Does 12 divide v(25)?
True
Does 7 divide (2152/16)/((4/1)/24) - -2?
False
Does 43 divide (123/(-4))/(19/(-3268))?
True
Let l(k) = k**2 - 5*k - 10. Let o be l(6). Is 16*((-680)/o)/5 a multiple of 4?
True
Let f = -1250 + 3890. Does 20 divide f?
True
Let w(y) = 0*y - 104*y**3 - 2*y + 3*y**2 - 3 + 105*y**3. Let u be w(-3). Let f(h) = 13*h**2 + h - 4. Does 29 divide f(u)?
True
Suppose 2*s = -10, -2*s + s + 145 = -5*y. Is -35*y/24*12/3 a multiple of 35?
True
Let y(a) = 1211*a + 291. Is 46 a factor of y(4)?
False
Suppose -7*o - x + 12 = -2*o, -12 = -2*o + 2*x. Suppose o*n - 5 = m - 5*m, 2*m = 2*n - 8. Suppose -n*p + 310 = 2*p. Does 6 divide p?
False
Suppose -2*w + 1503 = 5*j + 30, 0 = 2*w - 2*j - 1480. Suppose 3*f = -4*m + 512, w = 4*f - 5*m + 15. Is 8 a factor of f?
True
Let b = 1836 - 1966. Suppose v + 74 = -h, -90 = 2*v - 5*h + 30. Let i = v - b. Is i a multiple of 12?
True
Suppose 32*w = 47588 + 839676. Is w a multiple of 227?
False
Let s(n) = n**3 + 11*n**2 + 14*n - 5. Suppose 0 = -2*p + 14 - 32. Is s(p) a multiple of 5?
False
Let n(l) = l**2 + 8*l - 16. Let p be n(-9). Is (-4 - p - -459) + (2 - 5) a multiple of 49?
False
Suppose 4*j - 4*b = 56 - 12, 4*j - 28 = -4*b. Let d(i) be the second derivative of -i**4/6 + 11*i**3/3 - 5*i**2 - i - 24. Is d(j) a multiple of 6?
False
Let t be -1 - -1210 - (-25)/15*-3. Suppose -l = 5*h + 2*l - t, 5*h = -l + 1208. Is h a multiple of 24?
False
Let m(q) = -3*q**2 - q. Let n be m(-1). Let s be 3/6 - 3/n. Suppose 3*f + 117 = 3*v - s*v, 4*f = -12. Is 36 a factor of v?
True
Let b(i) = -i**3 - 11*i**2 - 19*i - 7. Let a be b(-9). Let f(d) = 67*d**a + 68*d**2 + 13*d - 40*d**2 + 23. Does 20 divide f(-2)?
False
Let i(v) = -v**3 - 9*v**2 - 6*v + 16. Let w be i(-8). Let a(f) = 13*f + 66. Is 2 a factor of a(w)?
True
Suppose -3*k = 4*o - 7468, -4*k + 4950 = 2*o - 5014. Suppose -41*a = -45*a - 16, 0 = -3*i + 2*a + k. Is i a multiple of 36?
True
Suppose 0 = -v - z + 4, 2*v - 7*v + 4*z = 16. Suppose 3*i = -12, v*i + 5*i = -5*u + 40. Does 22 divide (7 + 1324/u)*6/4?
True
Let x(i) = i**3 - 41*i**2 - 347*i - 59. Is 17 a factor of x(49)?
False
Let v(k) = -k**2 + 34*k + 128. Suppose -5*r + 2*b + 135 = 0, -51 = -5*r - 2*b + 104. Does 6 divide v(r)?
False
Suppose 2*u + t = -0*u + 158, 142 = 2*u - 7*t. Is u even?
True
Is (-3)/((-36)/(-11464))*(-2 + (-34)/4) a multiple of 43?
False
Let w(f) = 11*f**2 - 264*f - 39. Let b(n) = -4*n**2 + 88*n + 13. Let u(l) = -17*b(l) - 6*w(l). Let y(i) be the first derivative of u(i). Is 11 a factor of y(0)?
True
Suppose 4*y - 41 = 3. Let d(x) be the second derivative of -x**4/12 + 10*x**3/3 - 3*x**2/2 + 391*x. Is 3 a factor of d(y)?
True
Let y = 356 + -211. Let t = y - 71. Suppose -4*h - t = -5*c, c - 4*h - 1 - 17 = 0. Does 9 divide c?
False
Suppose 0 = -3*m + 2*m + 514. Suppose 13*c = m + 3516. Does 16 divide c?
False
Let w(n) = -4*n**2 + 647*n + 1604. Does 25 divide w(162)?
False
Let l = 22080 - 10609. Is 15 a factor of l?
False
Let x(i) be the third derivative of i**4/6 + 26*i**3/3 - 6*i**2 + 3*i. Is x(-6) a multiple of 16?
False
Let p(t) = 614*t - 1225. Is 235 a factor of p(37)?
False
Let y be 4/((-32)/(-620)) + (-3)/2. Suppose 3*a - 295 = -y. Is 6 a factor of a?
False
Let u(l) = l**3 + 22*l**2 - 44*l + 121. Is u(15) a multiple of 17?
True
Let a(g) = g**3 + 34*g**2 + 46*g - 194. Does 78 divide a(-22)?
True
Let a = -17 - -26. Suppose -3*t + 17 = d, 4*d = 2*t + 14 + 12. Suppose 71 = d*s - a. Is 5 a factor of s?
True
Let i(s) = 1088*s - 2 - 1077*s + 6. Let p be i(5). Let k = p - -157. Is k a multiple of 34?
False
Suppose 326355 = 28*j - 25*j + 12*j. Is j a multiple of 114?
False
Let i(r) = -226*r**3 + 16*r**2 - 3*r - 3. Let w(p) = 151*p**3 - 11*p**2 + 2*p + 2. Let x(f) = -5*i(f) - 7*w(f). Is x(1) a multiple of 24?
True
Let w = 73 + -68. Suppose w*j + 269 = 6*j + 2*m, -2*j + 546 = -4*m. Is 11 a factor of j?
False
Let t(j) be the first derivative of -7*j**4/4 - 5*j**3/3 + j**2 + 7*j + 59. Is t(-3) a multiple of 5?
True
Let b = -49 + 89. Let s be -2 + b/4 + -2. Suppose 0 = -s*o + 282 + 894. Does 14 divide o?
True
Suppose 0 = -4*b + 12 + 28. Suppose 4263 - 663 = b*q. Does 20 divide q?
True
Suppose -56*d = -121*d - 82*d + 3968559. Is d a multiple of 14?
False
Let d = 31 - 31. Suppose 187 = 11*f - d*f. Suppose -5 = 2*b - f. Does 3 divide b?
True
Is 19 a factor of (-769)/(-769) + 2354*(0 + 2)?
False
Is 8 a factor of 1 - 1480/(-5) - (-9 - 4/(-1))?
False
Let w = -16526 - -27699. Is 44 a factor of w?
False
Does 31 divide (-1 - -22347)/(((-1)/6)/(16/(-192)))?
False
Let x(u) = 4*u**3 + 19*u**2 - 81*u + 13. Does 58 divide x(7)?
False
Suppose -1031*q + 165 = -1036*q. Let g be (-3)/(-6)*-3*134. Let n = q - g. Is n a multiple of 39?
False
Let m(c) = -135*c - 333. Let o be m(-11). Suppose 3*j = 3*t - 8*t + o, 0 = -5*j + 20. Does 45 divide t?
False
Suppose 15943 = 6*b - 4973. Suppose 9*g = 2652 + b. Is 31 a factor of g?
True
Let l be ((0/4)/4 - -3) + 3. Let m be (-3)/(2/((-8)/l)) - 0. Suppose 3*k + 75 - 221 = m*h, 3*h - 15 = 0. Does 34 divide k?
False
Is (490/4)/(-5)*(-115 + 13) a multiple of 51?
True
Let d be (1/(-2))/(7/462). Let n = d - -38. Suppose 0*y = n*y - 10. Is y even?
True
Suppose 828*l + 14696 = 839*l. Is l a multiple of 20?
False
Let n = 67 + -13. Let j be (n/45)/(2/105). Suppose 2*v - v + 5*q - j = 0, -2*q = -4*v + 142. Is v a multiple of 19?
True
Suppose -178*d + 1404815 = -2195947. Does 154 divide d?
False
Let d(o) = -o**3 - 6*o**2 - 11*o - 10. Let y be d(-4). Let s(f) = f**2 + 7*f + 5 - 2*f - 9*f**y + 10 + 2*f**3. Is 9 a factor of s(6)?
True
Is (4 - (-98)/(-28))*(-9 - 1) - -4763 a multiple of 13?
True
Let v(k) = -k + 6. Let f be v(-4). Suppose 13*u - f*u = 153. Is 17 a factor of u?
True
Let t(q) = 32*q**2 - 44*q. Does 2 divide t(7)?
True
Suppose -3*k - 299 = -t, -4*k + t - 324 = 74. Suppose l - 4*l = 45. Let x = l - k. Is x a multiple of 21?
True
Let d(h) = h**2 - 21*h + 80. Let k be d(5). Does 11 divide k + 5 - 6*65/(-10)?
True
Suppose -3 = c - 3*y + 103, 2*c - 2*y = -220. Does 25 divide ((-125)/20)/(2/c)?
True
Let o(a) be the first derivative of 1/3*a**3 + 16 + 19/4*a**4 + 2*a - 3/2*a**2. Does 3 divide o(1)?
False
Let j(p) be the second derivative of p**4/4 + 179*p**3/6 + 3*p**2 - 32*p. Let v(z) be the first derivative of j(z). Is v(0) a multiple of 12?
False
Let v(t) = -45 - t**3 + 0*t**3 + 40*t**2 + 99*t - 93*t - t**3. Does 15 divide v(20)?
True
Suppose 70 = 7*u - 9*u. Let a be -3 - 1 - u - 1. Suppose 2*l - f = a, 3*l + 56 = 6*l + 4*f. Is l a multiple of 3?
False
Let n(i) = 24*i + 170. Let y be n(-7). Is -8*64/(-24)*15/y a multiple of 16?
True
Let w(s) = s**2 + 20*s - 6. Let h(a) = a**3 - 9*a**2 - 2*a - 3. Let f be h(9). Let m be w(f). Suppose 3*q = m*q - 2844. Is q a multiple of 37?
False
Suppose -84 = 31*v - 22. Does 98 divide 830 - (-32)/(-8) - v?
False
Let d(w) = w**3 - 21*w**2 + 45*w - 2. Is 18 a factor of d(19)?
False
Suppose k - p - 4 = -8, -k + 3*p - 8 = 0. Let m be (-78)/(-42) - k/14. Suppose 3*j = -0*j - m*y + 230, -3*j + 2*y = -226. Does 12 divide j?
False
Let t(c) = -c + 11. Let z be t(7). Let i(h) = h**2 - 2*h - 2. Let a be i(z). Is 2 a factor of (1 + 0 - (-2 + a)) + 7?
True
Let g be ((-32)/(-7) - 124/217) + -5. Is (99 + -1)*g/(4/(-16)) a multiple of 14?
True
Let i be 1495/345 + (-4)/(-6). Let y be ((-4)/(-1 + 2))/(-2). Suppose 0 = 5*n - 10, -294 = -i*r + n + y*n. Is r a multiple of 20?
True
Let c = -2 + -6. Let b be -17*(-5)/20*c. Let p = b - -82. Does 12 divide p?
True
Suppose 5*n - 6*n - 193 = 2*k, -4*k = -5*n - 909. Is 8 a factor of (148/n)/(4/(-470))?
False
Suppose 0 = u - 2*s - 54 - 52, -558 = -5*u - 4*s. Let i(j) = j**2 - 8*j - 21. Let b be i(6). Let r = b + u. Is r a multiple of 11?
True
Is 39 a factor of 935536/385 - 2/(-55)?
False
Let h(o) = 3*o + 11. Let q be h(11). Let j(y) = 94*y**3 + 2*y**2 - 1. Let k be j(1). Let c = k + q. Does 25 divide c?
False
Let y = 13985 + -9101. Is 74 a factor of y?
True
Let g = 103 + -77. Suppose 23*o + 87 = g*o. Is o a multiple of 2?
False
Let j(p) = 9*p - 10. Let k(w) = w**2 + 5*w - 10. Let x be -5 + 