 778 = -3*i. Is 28 a factor of s?
True
Let q(r) = 6*r**3 + 2*r**2 - 6*r + 5. Let c(d) = -7*d**3 - 2*d**2 + 7*d - 6. Let s(w) = 5*c(w) + 6*q(w). Let t be s(1). Is -4 - (t/2 + -47) a multiple of 8?
False
Suppose 600 = 4*d - 4*c, -d - 4*c + 159 = -2*c. Does 9 divide d?
True
Let p(m) = m**3 - 10*m**2 + 11*m - 9. Let v be p(9). Let x be v - (1 + (1 - -1)). Suppose y = x*y - 355. Is y a multiple of 24?
False
Let k = -153 + 420. Is k a multiple of 3?
True
Let m(k) = 4*k - 1. Let t be m(1). Suppose 3*w - t = 0, -5*x + 4*w + 1 = -5. Suppose x*c - 46 = -4*s, -2*c + 4*s + 30 = -0*s. Does 12 divide c?
False
Suppose 27 - 2 = 5*o. Let j(w) = 0 + 1 - w**2 + 5*w - o + 2*w**2. Is j(3) a multiple of 5?
True
Let w be 1*(-2 + -1 - -4)*2. Is 18 a factor of (-2)/w + 1170/(24/4)?
False
Suppose -z = 4*z. Suppose a - 28 - 12 = z. Suppose -13*q + a = -9*q. Does 10 divide q?
True
Let o = -39 - -63. Suppose 0 = -19*b + o*b - 700. Does 20 divide b?
True
Suppose 424 = 3*j + 5*j. Suppose j = 3*w - 220. Is 36 a factor of w?
False
Let u = -24 + 141. Suppose -u = -7*z + 170. Is z a multiple of 31?
False
Let z = 13 - 9. Let q = -3 + z. Is 3 a factor of 4 - (-2 - (q - 4))?
True
Let w = 65 + 985. Is w a multiple of 18?
False
Suppose -1170 = -12*q + 3522. Is q a multiple of 52?
False
Let o be 2*(16/(-4) + -57). Does 5 divide 11/(-33) + o/(-6)?
True
Suppose -4411 = -2*z + 3*w, -3*z - 923 + 7532 = -2*w. Is 26 a factor of z?
False
Let v = -28 + 30. Let y(c) = -c**2 - 19*c - 8. Let u(n) = -3*n**2 - 37*n - 16. Let l(a) = v*u(a) - 5*y(a). Is l(15) a multiple of 32?
False
Let l(p) = -31*p + 139. Is l(-19) a multiple of 7?
True
Let m(z) = z**2 + 7*z - 5. Let q = -16 - -8. Let c be m(q). Is 8 a factor of (-15)/((3/(-2))/c)?
False
Let v(c) be the third derivative of -c**4/2 + 7*c**3/6 + 4*c**2. Let k be v(-11). Suppose k = 3*i - 89. Does 20 divide i?
False
Let h(c) = -36*c + 12. Let m be (-6)/(-4)*28/6. Let x(v) = 35*v - 11. Let i(z) = m*x(z) + 6*h(z). Does 18 divide i(2)?
False
Let j(o) be the second derivative of o**4/4 + 3*o. Let f be j(1). Suppose -f*d + 2*r = -80, -3*d - 4*r - 28 = -84. Is d a multiple of 6?
True
Let x(p) = -p**2 - 2*p - 1. Let o be x(-2). Let g be o/(0 - 2/94). Let d = g + 9. Is d a multiple of 12?
False
Suppose 86 = 19*x - 18*x. Is 5 a factor of x?
False
Let l = 407 - -7. Is l a multiple of 46?
True
Suppose -3*z - 444 = -15*z. Suppose 0 = 3*f - 2*f - z. Is f a multiple of 7?
False
Let m be 262 + 5*(-5)/(100/(-8)). Suppose m = 3*f + 42. Is f a multiple of 20?
False
Let f = 76 + -256. Let d = 254 + f. Does 8 divide d?
False
Let a(i) = -i**3 + i**2 - i - 1. Let c be a(-1). Suppose -j = -c*j. Suppose -k - 3*v = -j*v - 33, k = -v + 29. Is k a multiple of 14?
False
Let a = 217 - -167. Is 25 a factor of a?
False
Let t(w) = 8*w**3 + 3*w**2 - 2*w. Let o be t(2). Let l = -115 + o. Let a = 67 + l. Is a a multiple of 8?
True
Let j(w) be the second derivative of 67*w**7/840 - w**5/60 + w**4/24 + w**3 - 8*w. Let u(l) be the second derivative of j(l). Is u(1) a multiple of 17?
False
Suppose 0 = -5*l - 2*f - 46, 3*f + 49 = l - 6*l. Let v be ((-3)/2)/(-3)*l. Let x = v + 7. Is x a multiple of 3?
True
Suppose 46 = -11*z - 86. Let v(o) = o**3 + 13*o**2 + 2*o - 20. Does 5 divide v(z)?
True
Let w be (-22)/8 - ((-20)/(-16) + -2). Is 2 a factor of 1/10*w - (-368)/40?
False
Let d be ((-5)/2)/((-1)/2). Suppose -d*i + 44 = n + 2*n, -4*i = -2*n + 66. Is 3 a factor of n?
False
Does 9 divide (-136 - -1)/(83/(-1494))?
True
Suppose 4*b = -3*l - 35, -3*b - 2*l - 34 = -8. Is 5 a factor of b/68 + (-45)/(-51)*50?
False
Let m = -498 + 885. Is 15 a factor of m?
False
Let i = 646 + -370. Is 12 a factor of i?
True
Let w(i) be the third derivative of i**6/60 + i**5/60 - i**3/6 + 4*i**2. Let v be w(1). Suppose v*s - 207 = -3*s + 4*t, 3*s = -t + 114. Does 14 divide s?
False
Let f be -12 - -11 - 6*1/2. Is ((-105)/f)/(-5)*56/(-7) a multiple of 22?
False
Suppose -2*a - 24 = -4*a. Let l be (-574)/(-6) - a/(-36). Suppose 0*z = 4*z - l. Is z a multiple of 7?
False
Let k = 119 + 55. Is 3 a factor of k?
True
Let a be (-4 + 2)/(1/(-15)). Is 40/3 - (-20)/a a multiple of 14?
True
Suppose z + 1 = -0*z + 2*o, 10 = 4*z - o. Suppose -3*k = -8*k - z*w + 211, 2*k = -4*w + 76. Let l = k - -15. Is 20 a factor of l?
False
Let q(l) = l**3 + 15*l**2 - 2*l - 19. Let o(t) = -t**2 - t - 15. Let b = -1 + 1. Let w be o(b). Is q(w) a multiple of 3?
False
Let r = -162 + 421. Does 37 divide r?
True
Suppose 0 = -6*m + 5*m + 5. Suppose 3*t + 106 = 2*s + m*t, 2*s = 2*t + 102. Is s a multiple of 13?
True
Let d be (-34)/(-3) - 6/(-9). Suppose 0*w = -3*w + d. Suppose -118 - 18 = -w*o. Is o a multiple of 11?
False
Suppose 0 = -2*v + 54 - 198. Let i = -34 - v. Does 4 divide i?
False
Let x = -244 - -490. Suppose 5*g + 130 = 3*u, -5*u + 0*g + g + x = 0. Is 25 a factor of u?
True
Suppose -143 = -6*a - 35. Let o(q) = q**3 - 19*q**2 + 18*q + 19. Is o(a) a multiple of 19?
True
Suppose 5*n + 2*b = 1 + 64, -3*n + 39 = 2*b. Is (5 + 8)/1*n a multiple of 13?
True
Is 28 a factor of (0 - 2/3)/((-58)/37497)?
False
Let h(s) be the third derivative of -s**6/120 + s**5/20 + s**4/6 + s**3/3 - s**2. Let k be h(4). Suppose k*r = -2*r + 56. Is 7 a factor of r?
True
Let g = -138 + 442. Is g a multiple of 20?
False
Let j be ((-2)/(-4))/(6/36). Suppose -j*z + 4*i + 512 = 0, 4*i + 232 = 4*z - 448. Is z a multiple of 24?
True
Let p(k) = 16*k - 9*k - 3*k + 14. Is 18 a factor of p(6)?
False
Let l(u) be the second derivative of -u**4/12 - 7*u**3/6 - 3*u**2 + 5*u. Let i be l(-5). Suppose 0 = -i*y - 2*z - 0*z + 8, y = 3*z + 9. Is 3 a factor of y?
True
Suppose -159 = -v - 3*d, -v + 169 = -7*d + 5*d. Does 55 divide v?
True
Suppose i - 3*j - 119 = 99, -j - 883 = -4*i. Is i a multiple of 13?
True
Suppose -308 = -3*f - 4*t, 332 = 3*f + t - 3*t. Suppose 0 = 5*x - 5*n - 570, -x - 3*n = -n - f. Is 8 a factor of x?
True
Let q(n) = 7*n**3 - 24*n**2 + 119*n - 4. Does 26 divide q(7)?
True
Let j be 0 - (4 - 2)*-5. Suppose -4*r + 2 = -3*r. Suppose 2*l - k - 35 = r*k, 4*k = -l - j. Does 6 divide l?
False
Suppose -89 = l + 25. Let r be (9 + -13)/(4/l). Suppose -5*s + 218 = -j + 65, -4*s - 2*j + r = 0. Is s a multiple of 8?
False
Let j = -47 + 46. Let t be (-1)/(-2) + 837/6. Is 14 a factor of j - -1 - t/(-2)?
True
Let t = 24 - 12. Suppose -18*g = -15*g - t. Suppose 5*u - 3*r = 236, g*u - 2*r = 6*u - 104. Does 5 divide u?
False
Suppose -752 = -q + 2*b, -9*q + 6*q - b = -2284. Is 4 a factor of q?
True
Suppose -7*d - 800 = -2*d. Let l = d - -449. Does 17 divide l?
True
Let q(g) = -2*g**3 - 7*g**2 + 3*g + 6. Let m(r) = r - 9. Let s = 3 - -1. Let a be m(s). Does 13 divide q(a)?
False
Suppose 4*d - 6*d - w + 6 = 0, -2*w + 9 = 3*d. Suppose -2*p - 2*z + 272 = -6*z, d*p = z + 388. Does 20 divide p?
False
Suppose 8*z = 10*z + p - 4826, -5*z + 12091 = -4*p. Is z a multiple of 35?
True
Suppose 5*u - 3*f - 61 = 39, u + 4*f - 20 = 0. Suppose 59 = j - u. Is j a multiple of 10?
False
Is (-7)/1 - (86 - 245) a multiple of 10?
False
Let m = -46 - -22. Let p be (-141)/24 + 3/m. Is (-206)/p + 20/(-60) a multiple of 17?
True
Let p = -84 - -77. Let l(o) = o + 25. Is l(p) a multiple of 18?
True
Let t(c) be the second derivative of c**4/12 + c**3/6 - 21*c**2/2 + 11*c. Let q be t(10). Let u = q - -43. Does 24 divide u?
False
Suppose -u + 2*u - 9 = 0. Let q = -8 + u. Is q + -1 + 4 + 8 a multiple of 4?
True
Let f(u) = u - 6. Let p be f(5). Let t be 1415/20 - p/4. Let n = t + -43. Does 19 divide n?
False
Suppose -4*i = -3977 - 1527. Does 16 divide i?
True
Let i be 45 + (1*5 - (2 + 0)). Suppose 34*v - 32*v - i = 0. Is 6 a factor of v?
True
Does 17 divide (888/(-15) + 3)*-5*1?
False
Let u(p) = 24*p**2 + 3*p + 2. Let k be u(-1). Suppose -m - 3*f + 22 = 0, -m + 20 = -4*f - k. Is m a multiple of 6?
False
Let s be ((-3)/6)/(3*(-4)/48). Suppose s*h - 26 = 5*i, h = -3*h + 3*i + 52. Is 13 a factor of h?
True
Let f = 12 + -112. Is 48 a factor of (-32)/3*(f/8 - 1)?
True
Let c(i) = -10*i - 3. Let r be c(-3). Let f be (1 - -3) + 68/4. Let q = f + r. Is q a multiple of 24?
True
Suppose -17 = -5*r - 2. Suppose -2*z = -6*z + 8, 0 = r*l - 3*z + 3216. Is 2/(5*(-4)/l) a multiple of 19?
False
Let w = 4959 - 3480. Is w a multiple of 17?
True
Let x(p) = -p**2 - p + 15. Let g(u) = -u**3 - 2*u**2 + 3*u - 1. Let i be g(2). Let l = 11 + i. Is