 5*c - 3*w, 3*c + 40 = -w - 15. Let o = -3 - c. Suppose -6 = 3*j - o. Does 3 divide j?
True
Let t = -515 - -1106. Is t a multiple of 9?
False
Is 8 a factor of (0 - (-228)/(-8))*4*-11?
False
Let n(c) = -c**3 + 5*c**2 - 6*c + 7. Let j be n(3). Suppose -1908 = -j*t - 536. Is 22 a factor of t?
False
Let g(u) = 20*u - 128. Does 14 divide g(12)?
True
Is (-15 + 10)/((-3)/483) a multiple of 73?
False
Suppose -439 = 5*t - 144. Let i = 121 + t. Suppose 5*y + 4*u - 315 = 0, -325 = -4*y - u - i. Is y a multiple of 17?
False
Suppose -2*t = -3*k - 48, -2*t = -7*t - 3*k + 78. Let g = -13 + t. Suppose g*d = 20, -70 = -l - l - 3*d. Is l a multiple of 10?
False
Let z = -56 + 40. Let t be z/(-40) + 162/(-5). Let r = t + 65. Does 10 divide r?
False
Let s(v) be the second derivative of 5*v**3/6 + v. Let j = -74 + 86. Does 10 divide s(j)?
True
Let d(h) = 47*h + 5. Let u = 36 - 33. Does 18 divide d(u)?
False
Suppose 3*u = 14*u - 22. Suppose 3*v = 5*g + v - 587, -u*v = 3*g - 349. Is 9 a factor of g?
True
Suppose 33 = 2*w - 5*b + 4, 0 = 5*b - 25. Is 3 a factor of w?
True
Let h(v) = 11*v - 121. Is h(19) even?
True
Let o(j) be the third derivative of j**5/60 - 13*j**4/24 + j**3/3 + 5*j**2. Is o(15) a multiple of 5?
False
Suppose -4*f + 696 = -f. Suppose 3*c = -2*u + 2*c + 116, -4*c - f = -4*u. Is u a multiple of 11?
False
Let x(o) = 7*o**2 + o + 1. Let f be x(-1). Suppose 0 = 6*n - f*n + 126. Is 18 a factor of n?
True
Let a(m) = -2*m - 26. Let h be a(-12). Is (-84)/(-4 - -10)*2/h a multiple of 14?
True
Suppose -46*h + 2796 = -42*h. Is h a multiple of 14?
False
Let f be 5/(-3) + 4/(-12). Let a be 3 + 16 - (f + 1). Is 8 a factor of (-96)/a*40/(-12)?
True
Let k(t) = -t**2 + 11*t + 44. Let r be k(14). Suppose -6*c = -r*c - 320. Does 19 divide c?
False
Let l(d) = -d**3 - 7*d**2 - 24*d - 122. Is l(-8) a multiple of 7?
False
Suppose 3*r - 2*a = 318 + 182, -3*a + 15 = 0. Does 8 divide r?
False
Suppose -6*q = -9*q + 144. Is 14 a factor of q?
False
Let z = -23 - -26. Suppose -z*x + 5*x = 16. Suppose s = 12 + x. Is 20 a factor of s?
True
Is 70 a factor of (2/6)/((-3)/(-1260))?
True
Let l(q) be the second derivative of -q**4/12 - 13*q**3/6 - 29*q**2/2 - 32*q. Is 2 a factor of l(-9)?
False
Suppose -13*c + 165 - 61 = 0. Does 4 divide c?
True
Let s be 0/(3 + (-12)/3). Suppose -3*x - 29 + 269 = s. Suppose 0 = -3*r + 7*r - x. Is r a multiple of 9?
False
Let z(p) = -p + 8. Let h = 5 - 7. Is z(h) a multiple of 5?
True
Suppose -w - 4*w = -30. Suppose -21 = w*j - 9*j. Is 2 a factor of j?
False
Let y = 487 - 323. Is 9 a factor of y?
False
Suppose -185 = -13*q + 231. Is q a multiple of 4?
True
Let f(n) = 3*n - 4*n**2 + 4*n**2 - 1 + n**2. Does 13 divide f(5)?
True
Let s(k) = -k**3 - 11*k**2 + 21*k + 30. Is s(-13) a multiple of 2?
False
Suppose -10*x + 7*x + 255 = 0. Is x even?
False
Suppose 4*a - k = 40, -a + 3 = k - 2. Let d = a - 4. Suppose d*q + 6 = f, 0 = -q + 5 - 1. Is 13 a factor of f?
True
Suppose 8 = -36*p + 38*p. Suppose -163 = -p*c + 161. Is c a multiple of 14?
False
Suppose 0 = -7*q + 11*q - 4116. Suppose 2*j + q = 9*j. Is 21 a factor of j?
True
Is 7 a factor of ((-774)/172)/((-6)/1928)?
False
Let z = 221 - -225. Does 6 divide z?
False
Let h be 4/16 - (-2 + 123/12). Let l = 33 + h. Is l even?
False
Let r(z) = 6*z**3 + 2*z**2 - 1. Let k be r(-1). Let p = 7 + k. Suppose 4*o - 220 = 5*q, -3*q + 165 = p*o + o. Does 12 divide o?
False
Let p be (-8 + 2)*(4 + -5). Suppose -p*q + 4*f = -2*q - 72, -2*f = 2*q - 40. Does 19 divide q?
True
Suppose -3*m + 6792 = -4*k + 8*k, 2*k + 9034 = 4*m. Is m a multiple of 113?
True
Suppose 0 = -0*k + 5*k - 20. Suppose 0 = -3*h + 11 + k. Suppose -4*z + 140 = 2*c, 0 = z + h. Is 20 a factor of c?
True
Let a(t) = 2*t**2 - 16*t - 14. Let c be a(9). Suppose c*p - 1103 = f, -225 = -p + 3*f + 48. Is 26 a factor of p?
False
Let p = 24 + -20. Suppose 4*f + 3*a - 122 = 0, -f = p*f + 2*a - 149. Suppose -l + f = -5. Is 17 a factor of l?
True
Let z(o) = -o**3 - 7*o**2 - 1. Let b be z(-4). Let k = b - 8. Let j = k + 104. Does 19 divide j?
False
Let q(w) be the third derivative of w**5/60 - w**3/3 - 5*w**2. Let g be q(6). Let k = g - 23. Is k a multiple of 5?
False
Let h(d) = -d**2 + 11*d - 1. Let y be h(9). Let f be 25*(1 - (-1 + 1)). Let r = f + y. Is r a multiple of 29?
False
Let s = -38 + 34. Does 10 divide ((-470)/(-25))/(s/(-10))?
False
Let t(i) = -i**2 - 5*i + 2. Let d be t(-5). Suppose -4*c = -2*c + 2*f - 4, -4 = -c - 3*f. Is 5 a factor of d - 1/(c/(-29))?
False
Suppose -2*c + 148 = -110. Is 14 a factor of c?
False
Suppose 2*a + 10 = 4*a. Suppose a*u = 5*z, -6*u + 4*z = -9*u + 28. Is 170/u - (-6)/(-12) a multiple of 14?
True
Let u = -1640 + 1756. Does 4 divide u?
True
Let x(q) = -5*q**2 + 47*q + 24. Let f = 6 + -1. Let u(i) = 3*i**2 - 31*i - 16. Let k(t) = f*x(t) + 8*u(t). Does 9 divide k(-7)?
False
Does 29 divide (93932/207 - (-2)/9) + -4?
False
Let q(u) = -u**3 - 6. Let d be q(0). Does 3 divide 7 + 6*(-3)/d?
False
Let o = -66 - -583. Is 13 a factor of o?
False
Let v(d) = -d**2 - 8*d - 3. Let q(j) = -j**2 + 3*j + 1. Let x be q(5). Let z be v(x). Let p = z - -21. Is p a multiple of 3?
True
Let t = -928 + 1236. Does 7 divide t?
True
Let k(n) = n**3 + 9*n**2 - 11*n - 30. Is k(-9) a multiple of 12?
False
Is (66/55)/((-3)/(-180)) a multiple of 72?
True
Suppose 28 = 4*c - 4*r, -5*r - 14 = -c + 5. Is 40 a factor of (-3 - 566/6)/(c/(-6))?
False
Let u(l) = -8*l + 6. Let d be u(-3). Suppose 2*h + 3*h - d = 0. Does 6 divide h?
True
Let m be -2*4/(3 + -11). Let n = m + 4. Is 3 a factor of (-1)/n - 448/(-40)?
False
Let b = -25 - -31. Suppose -2*h - b = 2. Is 378/(-4)*h/6 a multiple of 9?
True
Let t = -325 + 381. Is t even?
True
Let q = -41 + 42. Is 10 a factor of (4 - (6 + q)) + 43?
True
Let n = -22 - -15. Is ((-7)/n)/((-50)/26 + 2) a multiple of 7?
False
Suppose 4*a + 0*z - z = 3039, -z + 1 = 0. Suppose 0*v = -10*v + a. Does 24 divide v?
False
Suppose 4*v - 2*p - 3132 = 0, 5*v - 14*p - 3908 = -15*p. Is 46 a factor of v?
True
Suppose 877*l - 885*l + 3712 = 0. Is 29 a factor of l?
True
Let o be (-1)/(-2) - 23/(-2). Suppose u + o = 43. Let y = u - 9. Is y a multiple of 9?
False
Let u be (6/8)/(7/28). Suppose 4*s - k = 16, u*k + 5 - 17 = 0. Suppose -4*h = -4*c - 40, 0 = h + h + s*c + 1. Is h a multiple of 5?
False
Let x = 31 - 29. Let v = 5 + x. Is 2 a factor of v?
False
Let j(q) = 32*q + 2. Let i = 21 - 7. Suppose 2*s - i = -4*n + 4*s, -4*s - 20 = 0. Is 20 a factor of j(n)?
False
Let k(a) = 2*a - 3. Let m be k(3). Suppose -4*h + 234 = -3*t, -5*h + 257 = t - 26. Let g = h + m. Does 14 divide g?
False
Suppose -k - 9*k + 1470 = 0. Let q = -47 + k. Does 13 divide q?
False
Let d(c) = -c**3 - 7*c**2 + 7*c + 2. Let q be (-6)/4*6/(-1). Let g = q - 17. Is d(g) a multiple of 9?
False
Let z(f) = -56*f - 4. Suppose -3*o - 12 = o. Let w be z(o). Suppose 4*j - 208 = -j + 2*h, 4*h = 4*j - w. Does 14 divide j?
True
Let n = 74 + -29. Let h = 71 + n. Let y = h + -50. Is y a multiple of 12?
False
Let w(m) = 117*m**3 + m**2 + 2*m + 1. Let p be w(-1). Let y = -70 - p. Suppose 17 = 4*q - y. Does 8 divide q?
True
Let p = -6 - -9. Suppose -p*q - 8 + 14 = 0. Suppose 0 = -q*o - 3 + 53. Is 12 a factor of o?
False
Suppose 17*q - 397 = -108. Is 17 a factor of q?
True
Let i(p) = -p - 1. Let h(n) = n**2 - 14*n + 12. Let a(c) = -h(c) + 2*i(c). Let b be a(10). Let d = 35 - b. Is 14 a factor of d?
False
Suppose x - 76 = -3*x. Is x a multiple of 3?
False
Let b(v) = v**2 - 10*v + 27. Let l be b(5). Suppose -3*f + l = -25. Is 3 a factor of f?
True
Suppose 13*c - 17*c + 932 = 0. Let d = -69 + c. Is 20 a factor of d?
False
Suppose 0*w - 11109 = -5*j - 2*w, -9 = 3*w. Is j a multiple of 19?
True
Let a(q) = -q**2 - 16*q - 14. Suppose -2*f - 14 = 5*c, 3*f = -2*f + 2*c - 64. Is a(f) a multiple of 16?
False
Let a(f) = f - 1. Let x(l) = 13*l + 3. Let c(m) = 6*a(m) - 2*x(m). Does 6 divide c(-5)?
False
Let h = 1989 - 1086. Is h a multiple of 21?
True
Suppose -5*h + 2144 + 856 = 0. Is h a multiple of 13?
False
Suppose -4*a = -0*a + 80. Suppose 26 = -2*t + 10. Let v = t - a. Is v a multiple of 6?
True
Let c be 1*(2 + -3 + 5). Suppose 0 = -c*j + 4*r - 264, -3*j - 4*r + 62 = 281. Let u = -38 - j. Is u a multiple of 19?
False
Let t(b) be the second derivative of 5*b - 1/6*b**3 + 0 - 1/2*b**2 + 1/12*b**4. Is 2 a factor of t(-2