ctor of b?
False
Let h(q) be the first derivative of -37*q**2/2 - 6*q - 4. Let u be h(-8). Suppose w - 6*w + u = 0. Is w a multiple of 18?
False
Suppose 154 = 2*h - 5*b, -4*h - 5*b = -2*b - 256. Is 3 a factor of h?
False
Let w = 6492 + -4568. Does 99 divide w?
False
Suppose 57344 = 39*j + 25*j. Is j a multiple of 64?
True
Let h(f) = -f**3 - 3*f**2 + 9*f - 8. Does 6 divide h(-8)?
True
Does 25 divide 35*((-2457)/(-507) + (-4)/(-26))?
True
Does 3 divide 6 + (-3 - 1/(-1)) + 17?
True
Let p = -38 + 36. Let q be ((-6)/4)/(1/p). Suppose 0 = q*x - 7 - 158. Is x a multiple of 19?
False
Let j(o) be the third derivative of 17*o**6/360 - o**5/60 + o**4/12 - o**3/2 + 2*o**2. Let z(k) be the first derivative of j(k). Does 7 divide z(1)?
False
Suppose -5*l = -3*l. Suppose l = -4*w + w - 3*m + 453, 0 = -w - 5*m + 159. Is 33 a factor of w?
False
Let g(q) = 8*q**2 + 17*q + 32. Is 7 a factor of g(-4)?
False
Let z = -18 + 18. Suppose -5*d + 5*v + 155 = 50, 5*d + 5*v - 125 = z. Is 6 a factor of d?
False
Suppose -4*v - 5*b = -13313, -3*v + 19*b - 17*b + 10002 = 0. Is 14 a factor of v?
True
Let j = -3 + 5. Suppose -j*h - 27 = -3*z + h, -5*h + 81 = 4*z. Is 12 a factor of z?
False
Let q = -1814 - -5061. Is 42 a factor of q?
False
Let l(t) = -14*t - 78. Does 19 divide l(-11)?
True
Let b = 97 + 158. Is b a multiple of 51?
True
Suppose v + 126 = 2*v - 4*j, 3*v = -5*j + 378. Is v a multiple of 6?
True
Suppose -2*w - 4 = 0, -3*w = q + q - 2. Suppose -3*g + 2*v - 43 = -4*g, -q*g = -2*v - 122. Suppose 0 = -2*c + g + 35. Is c a multiple of 17?
True
Let f = -23 - -23. Suppose -5*z = 4*u - 88, -z + 0*u + u + 14 = f. Is z a multiple of 4?
True
Does 16 divide 353331/129 + -1*6/2?
True
Let x = -447 - -511. Is x a multiple of 10?
False
Suppose -165 = -x - 2*b, 6*b - 815 = -5*x + b. Does 23 divide x?
True
Let y(h) = -5*h**3 - 2*h**2 + 1. Let x be y(-1). Does 4 divide (x + -12)/(2/(-4))?
True
Suppose -p = j - 2*p, -3*j + 10 = 2*p. Let l be 0/(0 - (-2)/j). Suppose 4*z + l*z = 240. Does 14 divide z?
False
Let w(v) = -v**3 - v + 5. Let a(m) = -m + 7. Let y be a(7). Let l be w(y). Suppose -10 + 46 = 4*n - l*i, 0 = -2*i - 8. Is n a multiple of 2?
True
Let m = 31 + -108. Let a = m - -98. Is 5 a factor of a?
False
Let l = -30 + 70. Suppose -h + 36 = 5*j, 4*j - h - l = h. Does 8 divide j?
True
Let y = -42 + 20. Let z = -18 - y. Is 10 a factor of 16 - 2*z/(-8)?
False
Let d(h) = -h**3 - 2*h**2 - 4*h + 3. Let o be d(-6). Let i = -121 + o. Is 10 a factor of i?
True
Let w = -33 - -17. Let l be 24/w - (-3)/2. Suppose 3*f + l*f = 48. Is f a multiple of 3?
False
Does 41 divide 1604 - (3 + (-4)/(-2))?
True
Let m(z) = -10*z**2 + 7*z + 7. Suppose -5*t + t - 4 = 0. Let g(h) = h**2 - h - 1. Let k(n) = t*m(n) - 6*g(n). Does 17 divide k(-2)?
True
Let u(n) = -n**3 - 4*n**2 + n - 14. Let w be u(-5). Let x(l) = -l**2 + 12*l - 13. Is x(w) a multiple of 2?
False
Suppose 4*q - 4*j + 2*j = 0, -4 = -j. Suppose 102 = q*t - 86. Is t a multiple of 30?
False
Let f be ((-15)/10)/((-3)/6). Suppose 0 = -2*t + 3 + f. Suppose -2*h = x + 2*h - 14, -4*x + t*h = -94. Is x a multiple of 9?
False
Suppose -3*u + 78 = -5*u. Let j = 15 - 33. Let w = j - u. Does 4 divide w?
False
Let l(r) = 4*r**2 - 5*r + 3. Suppose 2*q = -z - 6, -4*z - 15 = 5*q + z. Is l(q) a multiple of 30?
False
Let r(b) = 26*b**2 - 3*b + 2. Let x be r(2). Suppose 165 = x*z - 97*z. Is z a multiple of 9?
False
Let q be (-15)/(-3) + (-9)/3. Suppose q*u - 5*p = -2*u - 133, 0 = -u + 2*p - 37. Let c = 56 + u. Is 5 a factor of c?
False
Let f = -669 + 730. Does 3 divide f?
False
Let h(j) = -2*j**3 + 4*j**2 + 2*j - 4. Let u be h(3). Let t = -12 - u. Suppose t*l = -l + 50. Is 6 a factor of l?
False
Suppose 2 = -3*v + 20. Let t(a) = 8*a - 6. Let m be t(v). Let x = m - 13. Is 12 a factor of x?
False
Let c(p) = 4*p + 7. Let w be 0 + (-2 - -4*4). Is 21 a factor of c(w)?
True
Let o(n) = n + 21. Let t be o(-5). Suppose k - 2*b + t = 5*k, -k = -3*b + 3. Suppose 2*w + 3*f = -f + 60, 60 = 2*w - k*f. Is w a multiple of 14?
False
Is 48 a factor of (236/44 - 5) + (-34730)/(-22)?
False
Let r(g) = 37*g**2 - 28*g + 9. Is r(6) a multiple of 20?
False
Suppose -2*h + 3*y + 171 + 302 = 0, -4*h = -3*y - 949. Is 7 a factor of h?
True
Let q(x) = -x**3 - 8*x**2 - 10*x - 1. Does 2 divide q(-7)?
True
Let t be ((-5277)/6)/((-1)/2). Suppose -t = -5*p - 2*h, p + h - 704 = -p. Is 8 a factor of 1/3*p/9?
False
Let a = -540 + 1324. Is a a multiple of 4?
True
Suppose v - 4324 = -3*v - 5*k, -2*v + 4*k + 2136 = 0. Does 27 divide v?
False
Let u(z) = 4 + z**2 - 9 - 3 - 3*z. Does 25 divide u(12)?
True
Suppose -2*a = -10 - 64. Suppose 0 = 4*q + a - 5. Does 19 divide (-448)/q - (-1 - 2)?
False
Suppose -8*c + 6*c + 12 = 0. Let m(r) = 16*r + 44. Does 28 divide m(c)?
True
Suppose 9918 = -18*g + 27*g. Is g a multiple of 38?
True
Let s(t) = 17*t - 50. Is s(6) a multiple of 13?
True
Is (-1)/((-6)/17160*4) a multiple of 11?
True
Let t be ((-9)/(-12))/(3/12). Suppose t*s + 2*d + 1 = 0, 3*d = -2*s - 10 + 1. Suppose -1 = -v, s*x - 4*x = -4*v - 6. Is x a multiple of 5?
True
Let m be (-4)/(-6) + 2128/21. Let s = m + -7. Is s a multiple of 19?
True
Suppose 14*i = 4411 - 939. Is i a multiple of 31?
True
Suppose -42*a - 3189 = -43*a + 5*p, 4*a + 3*p - 12641 = 0. Does 14 divide a?
True
Let u(b) be the second derivative of b**5/12 + 3*b**4/8 + 5*b**3/3 - 4*b. Let g(s) be the second derivative of u(s). Is 19 a factor of g(3)?
False
Suppose 5*s - 7*l + 11*l = 1319, -2*s = -5*l - 521. Does 21 divide s?
False
Let f = -375 + 639. Is 12 a factor of f?
True
Let q = 66 - 64. Suppose -3*r + 28 = -r + q*k, 0 = -4*r + 3*k + 21. Is 4 a factor of r?
False
Let y be 46/8 + (-6)/8. Let a(r) = -3*r + y + 3*r + 3*r. Is 12 a factor of a(5)?
False
Suppose 2*a - 3*r - 372 = 0, -63*a + 59*a - 3*r = -708. Is 36 a factor of a?
True
Let z = 6 - -6. Is (41*-1)/(z/(-12)) a multiple of 14?
False
Suppose -2*g - 3*q = -63, -3*g - q + 18 = -66. Let h be (-48)/10*(-180)/g. Suppose 2*y - h = -4. Is 5 a factor of y?
False
Let b(j) be the third derivative of j**5/15 + j**3/3 - 22*j**2. Is b(5) a multiple of 34?
True
Let a(d) = -d**3 + d**2 + 2*d + 25. Let s be a(0). Is (4/(-10) - 3940/s)/(-2) a multiple of 16?
False
Let t(c) = 153*c**3 - 7*c + 5. Let n(i) = -305*i**3 + 13*i - 9. Let h(y) = 6*n(y) + 11*t(y). Does 21 divide h(-1)?
True
Let a be (-1 + 15/2)*-2. Let p(b) = -b**3 - 12*b**2 + b + 18. Let c be p(a). Suppose -36 = -k + w, -5*k + 0*w + 2*w + c = 0. Does 17 divide k?
True
Let j = 10 + -12. Let h be 2 + 1 + (j - -4). Suppose -z + h*z - 16 = 0, 4*c - 52 = -z. Is c a multiple of 6?
True
Let l(f) = f**2 - 4*f + 4. Let p be l(3). Suppose -p - 3 = 4*z + 4*h, 5*h = 0. Is 9 a factor of (-3 - z) + -1 - -38?
False
Is 42 a factor of ((-759)/6)/((-5)/10) + -1?
True
Suppose 1056 = 349*m - 343*m. Is m a multiple of 9?
False
Let y = 15 + -4. Let t be (11/y)/((-2)/44). Is 11/t*(-5 + 1) even?
True
Is 9 a factor of ((-4)/8*5)/((-1)/118)?
False
Let s = 34 - 41. Let d(n) = -n. Does 5 divide d(s)?
False
Let v = -51 + 55. Is 94 - (v/8)/((-3)/(-6)) a multiple of 31?
True
Suppose 0 = -r + 2*r - 3*h + 27, 5*r = -3*h - 45. Let i = 6 + r. Is 9 a factor of 25 - (i/(-2))/3?
False
Let l = -291 - -371. Is l a multiple of 8?
True
Let k = -33 + 35. Is (1 + (-3)/k)*-68 a multiple of 10?
False
Suppose 15*f - 18 = 17*f. Does 5 divide f/5*(-2 + -13)?
False
Suppose -2*w - 605 + 2910 = 5*x, -4*w = 3*x - 4575. Suppose 7*h = w + 29. Is 15 a factor of h?
False
Let n be 2262/18 - 2/3. Let g = n + -82. Is 10 a factor of g?
False
Let n(p) = 3*p - 17. Let u be n(-6). Let b = u - -45. Is 5 a factor of b?
True
Let g = 4 + -4. Suppose r - 4*q - 39 = g, -3*r + 8 + 141 = -4*q. Is r a multiple of 14?
False
Let r(u) = u**3 - 6*u**2 - 9 - u**2 - 2*u**3 - 8*u. Is r(-6) a multiple of 2?
False
Let p(z) = -5*z - 16. Suppose -3*i + 1 = -c - 1, -i - 16 = -2*c. Let d be 20/(-3)*12/c. Does 24 divide p(d)?
True
Let m(v) be the first derivative of 19*v**3/3 + 7*v**2/2 - 9*v - 4. Does 10 divide m(2)?
False
Let u(c) = -13*c**2 - 3*c + 4. Let d(p) = p - 1. Let g(b) = -6*d(b) - u(b). Let r be g(1). Suppose -r - 64 = -2*j. Is 19 a factor of j?
True
Let d(i) = i**2 - 2*i - 16. Let x(c) be the third derivative of -c**4/24 - 4*c**3/3 - 13*c**2. Let k be x(-3). Is 19 a factor of d(k)?
True
Let j(s) = -2*s**3 + 3*s**3 + 13