r be (-68)/714 - 1157/(-21). Suppose 0 = 3*a - 388 + 82. Let s = a - r. Does 21 divide s?
False
Let o(p) = 14*p**2 - 3*p - 2. Let h be o(-2). Let w = 65 - h. Suppose -w*r + 234 = 2*t, t = 4*r + 154 - 24. Is t a multiple of 12?
False
Suppose -7*x + 56460 = -51676. Is x a multiple of 11?
False
Suppose y + 2950 = -5*n + 30954, 5*n = 2*y - 56023. Is 20 a factor of y?
False
Let s(w) be the second derivative of w**3/2 - 10*w**2 - 2*w. Let o be s(10). Suppose o*n - 672 = 4*n. Is 32 a factor of n?
False
Let n(d) = 3*d**3 + 18*d**2 + 8*d + 8. Let v be n(-6). Let u = 26 - v. Is u a multiple of 11?
True
Let u = 622 + -438. Is u/18 - 8/36 a multiple of 4?
False
Suppose -11914 = 29*i - 110166. Is i a multiple of 11?
True
Does 71 divide (-488)/((-1)/(-94)*-4) - 8?
False
Is -6 - (-37741 - (-23 + 29)) a multiple of 73?
True
Let s = -1503 - -983. Let p = s - -2200. Does 84 divide p?
True
Let u(f) = 27*f**2 + 69*f + 2. Let w be u(-11). Suppose 2*b + 4*t - w = 0, 4*b - 6*t = -5*t + 5002. Is b a multiple of 63?
False
Let b(p) = -108*p + 1088. Is 20 a factor of b(-9)?
True
Let u = 151 + -35. Suppose 7*h - 6*h + 2*s = u, 3*s = 12. Is 11 a factor of h?
False
Let j(z) = -z**3 - 20*z**2 + 18*z + 29. Let w be j(-21). Suppose 5*h = 9*h - 520. Let o = h - w. Does 3 divide o?
False
Let j(h) = 3*h**2 + 57*h - 256. Is j(65) a multiple of 29?
True
Is 44 a factor of (2244/(-14))/((-8*(-11)/(-2112))/7)?
True
Let l(b) = -b**3 + 7*b**2 - 4*b - 9. Let j be l(6). Suppose 6 = -0*w + j*w. Is w + 2/1 + 9 a multiple of 13?
True
Suppose -19*i + 26*i + 2145 = 8*i. Is 12 a factor of i?
False
Let t(b) = 1143*b**3 - b**2 + 123*b - 355. Is 111 a factor of t(3)?
False
Let k = -95 - -40. Let s = k + 83. Is s a multiple of 7?
True
Let u be 680/176*6 - (-2)/(-11). Suppose -2*l = 5*t - 4*l + 29, -l = 5*t + u. Let k(x) = 3*x**2 - 7*x - 10. Is 20 a factor of k(t)?
True
Suppose 23964 = 17*r - 5*r. Let j = r + -1143. Does 14 divide j?
True
Let a(v) = -v - 7. Let d be a(-10). Suppose -d*t - q - 1 = 0, q - 6 = -7. Suppose x - 21 - 114 = t. Is x a multiple of 15?
True
Let d(p) = 3*p + 42. Let h be d(-14). Suppose -4*r + 4*b + 28 = h, 5*r + 3*b - 15 = -2*b. Suppose 0 = -r*g + 10 + 445. Is g a multiple of 8?
False
Suppose -4*w - 2*d + 12 = 0, d + 10 + 2 = 4*w. Suppose w*r + 0*r = -0*r. Suppose -3*v = -3*g + 114, r*g - v = -4*g + 152. Does 38 divide g?
True
Let u(k) = 2*k**2 - 80*k - 662. Does 38 divide u(61)?
True
Let a(t) be the first derivative of -13*t**4/12 + 5*t**3/3 + 21*t**2/2 + 36. Let h(o) be the second derivative of a(o). Is h(-1) a multiple of 6?
True
Suppose 2*z + 37 = -3*v, -4*v - 25 = -4*z - 9. Does 6 divide ((-2)/3)/(3/v) + 280?
True
Let a = -280 - -405. Suppose -129*b = -a*b - 320. Is 21 a factor of b?
False
Suppose 69947 = 4*s + 23391. Does 81 divide s?
False
Suppose -3*w - 5684 = -4*h - w, -7119 = -5*h - w. Is 26 a factor of h?
False
Let k be 1/(20/(-848)) + 2/5. Let r be (22/(-6))/((k/108)/7). Suppose -7*h = -249 - r. Is 9 a factor of h?
True
Let j = 2352 - 1044. Does 2 divide j?
True
Suppose 10*f + 86 = -24. Let l(h) = 4*h**2 - 9*h - 79. Is l(f) a multiple of 9?
True
Suppose -8 = -2*y + 24. Let h = -22 + y. Is 3 a factor of 5*2*1/(-4)*h?
True
Let z(h) = 46*h**2 + 80*h - 45. Is z(12) a multiple of 126?
False
Suppose -g + 2*n + 25721 = 0, -3*g + 104*n = 99*n - 77156. Is g a multiple of 17?
False
Let h = 234 - 2534. Is 18 a factor of ((-14)/(-1))/((-46)/h)?
False
Does 18 divide 395840/10 - (2 - (-1 - -1))?
True
Let n(f) = -2*f + 56. Let a be n(27). Suppose 9*z - 8*z = -4*j + 457, a*z - j - 941 = 0. Is 45 a factor of z?
False
Suppose 9*a - 4503 + 1195 - 6052 = 0. Is a a multiple of 5?
True
Let t(n) = n**2 - 4*n + 2. Let u be t(4). Does 14 divide (3 + -13)*44*-2 + u?
True
Suppose 0 = 6*k - 17559 - 17778 - 102183. Is 8 a factor of k?
True
Suppose t + 4*t = 0. Suppose 11*w - 12*w + 5 = t. Suppose 6*r - w*r - 14 = 0. Is r a multiple of 8?
False
Let n(k) = 13 + 2*k**2 + 20*k - 11 - 4*k**2 + 3*k**2. Let b be n(-20). Does 33 divide (b + 108/5)/(10/100)?
False
Let t(s) be the third derivative of 323*s**5/30 - s**4/12 + s**3/3 + 17*s**2. Let j be t(1). Suppose -259 = -2*b + c, -b - j = -6*b + 4*c. Does 26 divide b?
True
Suppose 7*z = -8*z - 675. Is (z/(-4))/(96/512) a multiple of 60?
True
Let l = -9290 - -32522. Is 24 a factor of l?
True
Let r = 29855 - 15918. Is r a multiple of 11?
True
Let n be (-94)/(-14) - (1 + (-45)/35). Suppose 5*f - 4*w - n = 2*f, -3*w = 5*f - 60. Suppose 0 = j + 5*a + 3, 2*j = -5*a + 10 + f. Does 11 divide j?
True
Let g = 38 - 33. Suppose -2*u - 2*p = 3*p + 28, -g = u - 2*p. Let m(j) = 2*j**2 + 14*j + 36. Is 14 a factor of m(u)?
False
Suppose -6*z + 630 = 3612. Let y = 1091 + z. Does 22 divide y?
True
Let m = 7 + 548. Is 6 a factor of (m/10 + -4)*6?
False
Suppose -2*z - 513*d + 509*d = -5158, 2*d = -5*z + 12935. Is z a multiple of 30?
False
Let p(v) = -6*v**3 - 3*v**2 + 3*v + 14. Let q be p(-6). Suppose -3*t = s - t - 232, -2*t + q = 5*s. Is 17 a factor of s?
True
Let u(y) = y**3 - 2*y**2 + 19*y - 88. Let t be u(15). Suppose 2*z - t = -5*b, 2*z = 3*b - 230 - 1640. Does 16 divide b?
True
Let m be (-8)/14 + (-7599)/(-7) + 0. Suppose 10*y - 5*y = m. Is y a multiple of 4?
False
Suppose -8*q - 68 = -13*q - g, 3*g = -5*q + 74. Suppose q*y = 21*y - 1728. Does 18 divide y?
True
Is 5885/(-22)*2016/(-60) a multiple of 42?
True
Suppose 4*q + 3*u = -u + 12668, 0 = -12*q + 2*u + 38116. Is q a multiple of 72?
False
Suppose 0 = -992*w + 986*w + 756. Suppose 544 = t + w. Does 11 divide t?
True
Let c be 5/1 - (-15 - (2 + -7)). Let h(v) = v**2 + 33*v - 38. Is h(c) a multiple of 31?
True
Let n = -12413 - -63371. Does 57 divide n?
True
Suppose -1 - 1 = -j. Suppose j*h - 3*t = -56 + 887, -3*h = 5*t - 1256. Suppose -4*o + 5*m = -h, -203 = -5*o - m + 340. Is o a multiple of 19?
False
Let m be ((-3)/5 - -1) + (-42793)/(-5). Let r = m - 5811. Is r/27 + 3/(27/2) a multiple of 34?
True
Let q(l) = -232*l - 770. Is q(-8) a multiple of 6?
True
Let p be 8 - 6 - ((-1 - -3) + -690). Suppose -3*k + p = 5*c, -3*k = c - 15 - 675. Does 13 divide k?
False
Let i(z) = -z + 5. Let r be i(5). Is 6 a factor of (-4 - 338/(-2)) + r?
False
Let b = 216 + 1476. Is b a multiple of 28?
False
Suppose -80 = -8*u + 10*u - 4*q, -4*q + 4 = 0. Suppose 10 = 4*o + 238. Let t = u - o. Does 10 divide t?
False
Suppose -3*f + 28 = -14. Let w = -14 + f. Suppose w = 2*y - 6, -2*o = -5*y - 7 - 6. Is 14 a factor of o?
True
Suppose 3*f - 4*g + 2655 = 0, -278 = f + 2*g + 607. Let y = f + 1951. Is 13 a factor of y?
True
Suppose 102*p - n = 98*p + 11, 4*n - 4 = 4*p. Suppose 0 = -r + 143 + 425. Suppose u - 110 = p*t, 5*u + 4*t - 6*t - r = 0. Is u a multiple of 5?
False
Suppose -6*j = 771 - 2781. Suppose -4*i + 220 = m - 4*m, -3*i - j = 4*m. Let n = -52 - m. Is 14 a factor of n?
True
Let d(u) = 51*u**3 + 11*u**2 + 38*u - 141. Is d(6) a multiple of 22?
False
Suppose y - 3*a - 1262 = 0, 0 = 2*y + 611*a - 609*a - 2492. Does 79 divide y?
False
Let n = 3682 + -3403. Is 123 a factor of n?
False
Is (3/(-9))/(((-4)/(-18))/(47428/(-426))) a multiple of 4?
False
Let d = -232 + 286. Is d a multiple of 15?
False
Is ((-24746)/(-6))/(3/(((-864)/8)/(-12))) a multiple of 108?
False
Let c = 430 + -257. Let p = 73 + c. Suppose -p = -11*k - 26. Is k a multiple of 20?
True
Suppose 3*b - 8*b = -2*o + 3190, 0 = o - 2*b - 1595. Suppose 2*c = 7*c - o. Is 29 a factor of c?
True
Is (-879)/(-1172) - 442/(-8) a multiple of 13?
False
Suppose -75400 + 20423 = -46*v + 47419. Does 42 divide v?
True
Suppose 0 = 5*w - 383 - 262. Let p = w - 123. Is 6 a factor of p?
True
Suppose 0 = -j - 5*m + 1781, 4*j + m - 3911 - 3251 = 0. Suppose x + j = 10*x. Suppose x = 2*c - 89. Does 8 divide c?
True
Let l = -1183 + 2187. Does 57 divide (32 - 38) + 2 + l?
False
Let f(s) = 2*s - 22. Let a be f(11). Suppose n = 2 - a. Suppose o + 3*b - 30 = 106, n*o = -3*b + 269. Is o a multiple of 32?
False
Let x(b) = 2*b**2 - 10*b + 33. Let m(v) = -v**2 - 10*v - 8. Let y be m(-6). Is x(y) a multiple of 16?
False
Let v(f) = 13*f**2 - 37*f - 21. Let h be v(5). Let k = h - -84. Is 2 a factor of k?
False
Let j be ((-1)/2)/(11/(-110)). Suppose -5*v + 283 = 9*h - j*h, 12 = 4*v. Is h even?
False
Let x = -36143 + 20587. Let h be (-18)/81 - x/18. Suppose 5*c + 5*d - h = c, 0 = 3*c - 3*d - 648. Does 44 divide