 7 - 5*f**2 + 0*f**2. Does 26 divide w(5)?
True
Let d be (0/(0 + 7))/4. Let o = 6 - 4. Suppose 38 = o*m - d*m. Is 4 a factor of m?
False
Let l(v) be the third derivative of -v**6/120 + 3*v**5/20 + 11*v**4/24 + v**3 + 20*v**2. Is 19 a factor of l(9)?
False
Let u(x) = 8*x. Let a be u(1). Suppose 4*o = -3*g - 17, 4*o = -4*g - 12 - a. Let r(n) = -2*n**3 - 4*n**2 - 2*n + 1. Does 16 divide r(g)?
False
Let r(d) = 3*d**2 - 7*d - 21. Does 20 divide r(10)?
False
Suppose -10*p + 12*p = 146. Suppose p = 4*v + 5. Suppose 3*j - 262 = v. Is j a multiple of 31?
True
Let j(l) = 2*l**2 + 9*l + 2. Let t be j(-4). Let m be 56/12 + t/3. Suppose -5*s = -4*b + 137, b = -s - m*s + 53. Does 14 divide b?
False
Let v(d) be the second derivative of d**5/20 - 5*d**4/12 + 7*d**3/3 - 3*d. Does 12 divide v(6)?
True
Let m be (-8)/(-32) + (-191)/(-4). Let o = m + 12. Does 12 divide o?
True
Let p(s) = 3*s**2 + 2*s + 3. Suppose -5*v - 5 = -20. Is 9 a factor of p(v)?
True
Is 67 a factor of 12865/40 + (-48)/(-128)?
False
Suppose 3*l - 256 + 14 = 4*a, 5*l - 5*a - 395 = 0. Suppose 0*n + 2*n + 12 = -m, l = -5*m - 3*n. Let d = m - -27. Is d a multiple of 11?
True
Let z(w) = -w**2 - 15*w - 11. Let d = -29 + 17. Does 5 divide z(d)?
True
Let d be 2/8 + 57/12. Suppose -d*h + 159 = 19. Does 7 divide h?
True
Let n(f) be the third derivative of -f**6/120 + 3*f**5/10 + 19*f**4/24 + 15*f**3/2 + 5*f**2. Is n(19) a multiple of 5?
True
Let r = -16 - -19. Suppose 0 = b - r - 4. Does 7 divide b?
True
Let k be (-644)/16 - (-1)/4. Let c = 5 + -27. Let q = c - k. Is q a multiple of 9?
True
Let n(i) be the third derivative of -7*i**4/24 + 83*i**3/6 + 6*i**2. Is 34 a factor of n(0)?
False
Let q(b) = b**3 + 5*b**2 - 16*b + 6. Let t be q(-7). Let m = 57 - t. Does 7 divide m?
False
Let k = 137 + -132. Let a(u) be the second derivative of -u**3/6 + 9*u**2/2 + u. Does 2 divide a(k)?
True
Let f = -19 + 21. Let t(w) = 39*w**2 + 3*w - 1. Let x be t(f). Suppose -4*z = -39 - x. Is z a multiple of 10?
True
Suppose 284 - 190 = m. Is m a multiple of 20?
False
Let t = 23 + -81. Let k = t - -82. Does 3 divide k?
True
Let z(s) = 62*s + 56. Does 4 divide z(8)?
True
Suppose 304 = 3*v - c, -2*v - 2*c = -9 - 207. Let u = v - 49. Does 27 divide u?
True
Let t(r) = r**3 - 5*r**2 - 14*r + 35. Is t(7) a multiple of 9?
False
Suppose -4*r = -d - 24, 2*d - 6 = 2*r - 3*r. Suppose 2*g + 3 = 7, 3*o + 3*g = -r. Is ((-11)/o)/(2/48) a multiple of 11?
True
Let r = 163 - 102. Suppose -3*b = -r - 29. Is 10 a factor of b?
True
Let i = -31 - -186. Does 5 divide i?
True
Is (8/(-12))/((21/(-405))/7) a multiple of 45?
True
Let x be 6/(-33) + 1 + (-1258)/(-22). Suppose o + h - x = 0, o - 62 = -0*o - 3*h. Is o a multiple of 28?
True
Let f be (-42)/(-4)*-6 - -5. Let w = 211 + f. Does 16 divide w?
False
Let o = -13 + 16. Let x(p) = -3 + 47*p + o + 0. Is x(1) a multiple of 9?
False
Let s(c) = 4*c**2 - 2*c - 1. Let u be s(-1). Suppose -u*h + 10 = 0, -h = -x + 71 + 34. Let f = -72 + x. Is 21 a factor of f?
False
Is 34 a factor of 3 + -9 - (-486 - -4)?
True
Suppose 0*k - 5*b = 3*k - 30, 9 = k + 2*b. Let m = 36 - k. Suppose 2*v = 3*z + m, 0 = -0*v - 5*v - 3*z + 84. Does 9 divide v?
False
Let k = -168 - -489. Does 11 divide k?
False
Suppose -47 - 17 = -2*j. Suppose -233 = -3*a - j. Is 14 a factor of a?
False
Does 6 divide 26*(-6 - (4 - 19))?
True
Suppose -2*g + a + 797 = -40, -2*g + 817 = 3*a. Does 23 divide g?
False
Suppose 4*x + 2*i = 9 + 59, i = -x + 18. Suppose 5*n + 45 = 5*r, -2*r + x = -5*n - 2. Let t(f) = f**2 - 6*f - 9. Is t(r) a multiple of 13?
False
Let m = 47 + -42. Suppose 5*q + m = 0, 0 = -j - 2*q + 17 - 6. Is 13 a factor of j?
True
Let h(f) = -f**2 + f + 1. Let j(v) = 6*v**2 - 5*v - 4. Let l(g) = 5*h(g) + j(g). Does 7 divide l(3)?
False
Let d = -34 + 49. Let k be 4/(-6) - (-16300)/d. Is (-2)/9 + k/27 a multiple of 8?
True
Let s = -77 + 127. Does 2 divide s?
True
Let i = -6773 - -10875. Does 33 divide i?
False
Let y = -119 - -108. Does 11 divide 13 - -1 - (y - -10)?
False
Let r = -68 + 67. Is 50 a factor of (1 - 1) + r/(1/(-108))?
False
Let a(i) = 8*i**2 + 44*i + 21. Is 15 a factor of a(-14)?
False
Suppose 3*i - 4*x + 39 = 0, 3*i - x + 39 = -6*x. Let s = -9 - i. Is (-8)/(7/2 - s) a multiple of 8?
True
Suppose -8*i + 196 = 2*j - 3*i, 3*j = -5*i + 304. Is j a multiple of 7?
False
Suppose -523 - 587 = -5*n. Is n a multiple of 9?
False
Let t = -12 + 44. Is 21 a factor of t?
False
Let b(k) = 3*k**3 - k**2 - k + 1. Let y be b(1). Let d be ((-12)/3)/y + 38. Suppose 3*z + 4*l - 38 = 2, -2*l = -2*z + d. Does 9 divide z?
False
Let p(a) be the first derivative of a**4/4 + 6*a**3 - 2*a**2 - 33*a + 18. Does 2 divide p(-18)?
False
Suppose -62 = -2*v + 316. Suppose -186*w + v*w - 237 = 0. Does 6 divide w?
False
Let s(t) = -t**2 + 6. Let m be s(0). Let o(f) = f**2 - 5*f - 1. Let n be o(m). Suppose -n*k + 75 = -50. Is 24 a factor of k?
False
Let g(a) be the third derivative of -a**6/360 + 19*a**5/120 + 5*a**4/6 + a**3/6 + a**2. Let h(s) be the first derivative of g(s). Is h(19) a multiple of 20?
True
Let v(g) = g**2 + 10*g + 9. Suppose -2*q + q = 9. Let y be v(q). Suppose -c = -y*c - 27. Is c a multiple of 20?
False
Let g(w) = w + 10. Let v be g(-9). Let r be (-6713)/(-35) - v/(-5). Is 12 a factor of ((0 + r)/(-4))/(-1)?
True
Let g(w) = -w**3 + 4*w**2 - 2*w + 1. Let y be g(2). Suppose v = y*i + 27, -2*i = 5*v + 2*i - 251. Does 13 divide v?
False
Let x = 181 + -116. Is x a multiple of 4?
False
Let h = -713 - -1565. Is h a multiple of 12?
True
Let o = -17 - -124. Let s = -66 + o. Does 41 divide s?
True
Let b(h) = -h**2 - 9*h - 5. Let j(a) = -a**2 - 2*a + 5. Let d be j(3). Let i be b(d). Let r = 23 + i. Does 4 divide r?
True
Suppose 5*s = 4*y - 361, 0*s - s = 2*y - 191. Does 14 divide (y/7)/(3/21)?
False
Let w(h) = h**2 + 8*h - 37. Is 26 a factor of w(21)?
True
Let m(v) = 3*v**2 + 9*v - 3. Let b(t) = -6*t**2 - 19*t + 6. Let n(g) = 6*b(g) + 13*m(g). Is 9 a factor of n(3)?
False
Let m(h) = -h + 19. Let f be 30/(-12)*(-4)/5. Suppose 3*n + f*w - 29 = 0, 4*n = w - 7 + 31. Is 12 a factor of m(n)?
True
Suppose -2*a - 2792 = -4*h - 394, -3*h + 3*a = -1797. Does 50 divide h?
True
Let b(p) = 76*p**2 + 8*p + 10. Is b(-2) a multiple of 3?
False
Let c(h) = -3*h**3 + 23*h**2 + 14*h - 5. Is 6 a factor of c(8)?
False
Let q = 2904 - 1112. Is 12 a factor of q?
False
Suppose -5*p + 2*b = -3*b - 3530, 0 = 2*p + 6*b - 1428. Is p a multiple of 21?
False
Let s(f) = 2*f**3 - 9*f**2 + 21*f + 23. Is s(10) a multiple of 40?
False
Suppose 22 = -3*o + 34, -5*a + 3*o + 3193 = 0. Does 71 divide a?
False
Let v(m) = m**2 + m + 2. Does 10 divide v(5)?
False
Suppose 4*j - 3*l = 250, -5*l = -3*l - 4. Is 16 a factor of j?
True
Let w = 4907 - -761. Is w a multiple of 13?
True
Suppose -3*u + 2*j + 175 - 543 = 0, 2*j = 4*u + 492. Let i = -46 - u. Is i a multiple of 19?
False
Is ((-1)/3)/1 + 26639/51 a multiple of 58?
True
Let r(y) = y**3 - y**2 + 3. Let v be r(0). Suppose 3*z = -v*n - 20 + 107, -3*n + 114 = 4*z. Does 9 divide z?
True
Let i(o) = -2*o**2 - 3*o - 5. Let s be i(-2). Let c be (-1)/((28/(-24))/s). Is (-226)/(-6) - c/(-9) a multiple of 11?
False
Let x(r) = 4*r**3 + r**2 + 2*r + 2. Let g be x(3). Let q = g + -41. Is q a multiple of 33?
False
Let v be (1 + 1 - 5) + 99. Suppose 0 = -3*x + 3*k + 72, 0*k - 2*k = -4*x + v. Does 8 divide x?
True
Let l be 72/45 + 4/10. Suppose 0 = -3*t - l*t + i + 85, i = 2*t - 31. Is t a multiple of 6?
True
Let t = 250 - 122. Suppose w = g + 182, -5*w - 5*g - t + 988 = 0. Is w a multiple of 23?
False
Let m(j) = 14*j**2 - 3*j - 5. Let v be m(4). Let y be (3/3 + 3)*7. Suppose d + v = 4*h - y, 292 = 5*h - 3*d. Is h a multiple of 13?
False
Let h(n) = -n**3 + 6*n**2 - 27*n + 16*n - 1 + 12*n. Let m be h(6). Suppose 0 = -5*a + 20, 71 = -4*j - m*a + 307. Does 9 divide j?
True
Let d(i) = 3*i + 0 - i + 2*i**2 + 2 - 1. Is d(-2) a multiple of 2?
False
Let r(h) = -5*h - 5. Let w be r(-4). Suppose w = -z + 6*z. Suppose 4*m = z*m + 48. Does 12 divide m?
True
Let r = -6 + 30. Suppose -4*l - 65 = 3*x, 68 = 2*l - 6*l - 4*x. Let t = l + r. Is 10 a factor of t?
True
Let z(k) = -k**3 + 2*k**2 + k - 1. Let y(b) = -57*b**3 - 7*b**2 - 5*b + 3. Let m(r) = y(r) + 4*z(r). Let c = -1 - 0. Does 31 divide m(c)?
True
Suppose 2*l - 241 = -157. Is l a multiple of 3?
True
Let h(u) be the seco