m a multiple of 29?
False
Suppose -46 = -2*p + 6. Suppose 4*s + s = -4*t + p, s - 34 = -4*t. Is 3 a factor of t?
True
Let f = 2263 + -1919. Is f a multiple of 8?
True
Suppose 0 = -5*h - 2*b + 1429, -513 = -2*h - 2*b + 61. Is 11 a factor of h?
False
Suppose 7*t = 2*t + 15. Suppose 4*o - t = 5. Suppose -2*l = -2*j + 28, -2*j - 2*j + o*l = -64. Is 9 a factor of j?
True
Suppose 0*t = 4*t - 2448. Is t a multiple of 36?
True
Suppose d - 1027 - 233 = -4*r, -3*d - 5*r = -3773. Does 37 divide d?
False
Suppose -z - 6 - 1 = 0. Let l = 7 + z. Suppose 5*p + o = 297, 5*p - 4*o + l*o = 312. Does 30 divide p?
True
Suppose 0 = m + 2*m - 6. Suppose -4*t + m*b + 14 = 0, t - 4*b + 2*b - 8 = 0. Suppose t*f - 38 + 14 = 0. Is 3 a factor of f?
True
Let r(h) = -h**3 + 7*h**2 - 5*h + 1. Let p(y) = y + 2. Let n be p(2). Suppose -n*c + 26 = v, 2*c = 2*v - 1 - 1. Is r(v) a multiple of 4?
False
Let x(n) = -n**3 + 11*n**2 + 13*n - 5. Suppose 6*h - 2*h = 4. Suppose j - 11 - h = 0. Is x(j) even?
False
Suppose 5*c - 74 = -3*d, -2*d = -4 - 2. Suppose c*w - 2622 = -100. Is w a multiple of 31?
False
Suppose 177 = 2*z - 37. Suppose h + 5*r - z = 0, -h - r = -3*h + 181. Is h/8 + 3/(-2) a multiple of 5?
True
Suppose 11 = 3*n - 4. Let y be (-28)/n + (-18)/45. Is 23 a factor of (29/3)/(y/(-54))?
False
Suppose 5*y = 2*k + 7 + 1, 2*y = -3*k - 12. Is ((-3)/((-9)/(-6)) - y) + 86 a multiple of 42?
True
Let m(i) = -17*i + 12. Let a be m(11). Let n = -112 - a. Is 27 a factor of n?
False
Let q(h) be the third derivative of h**6/9 + 2*h**3/3 - h**2. Let c(k) be the first derivative of q(k). Is 10 a factor of c(-1)?
True
Let a(g) = g**3 - g**2 - 3*g - 3. Let o be a(3). Suppose 0 = 2*f - 3*u - 317, -o*u + 5*u = 5*f - 767. Is f a multiple of 22?
True
Let j(d) = 5*d**3 - 4*d**3 - 2*d**3 + 6*d**2 + 19*d - 7 - 22*d. Let b be j(5). Suppose 2*l - b*l = -96. Does 25 divide l?
False
Suppose 0 = -4*y - y + 30. Let t(h) = -2*h**2 + 5*h + 8. Let z be t(y). Let c = 40 + z. Does 4 divide c?
False
Suppose -294 = -2*k + 3*u - u, -4*u + 132 = k. Is k/10 + (-4)/10 a multiple of 6?
False
Suppose -3*i - 5 = -s, 0 = 5*s - 5*i - 0*i - 65. Suppose -5 = 2*h - s. Is 6 a factor of h?
True
Let a(p) = 39*p**2 + 12*p - 12. Is 22 a factor of a(4)?
True
Let v(h) be the first derivative of 2*h**3/3 - 7*h**2/2 - 2*h + 1. Suppose 5*r = 2*d + 19, 2*r - 4*r + 13 = d. Is v(r) a multiple of 2?
False
Let d(l) = 2*l + 42. Suppose 5 = -t - 2*c - 3, 5*t - 5*c - 35 = 0. Suppose 3*z + 5*j = z - 10, 5*z + j + t = 0. Does 14 divide d(z)?
True
Let b(q) = q**3 - 8*q**2 + 6*q - 9. Let w be b(8). Let r = -25 + w. Suppose n - r = 3. Is n a multiple of 7?
False
Does 15 divide (-39632)/(-48) - (-9)/((-27)/2)?
True
Let o = 35 - 47. Let k(l) = 2*l**3 + 24*l**2 - 3*l - 15. Is k(o) a multiple of 12?
False
Let y(u) = u**3 - 5*u**2 - 89*u + 17. Does 12 divide y(14)?
False
Suppose -5*z + 29 = 4. Suppose -3*l + 64 - z = 4*t, 3*t - 45 = -2*l. Does 7 divide t?
False
Suppose 10*d - 3*d - 14 = 0. Suppose 0 = -6*z + d*z + 320. Does 9 divide z?
False
Suppose 221*w - 231*w = -19720. Does 63 divide w?
False
Suppose -2*x + 1 = g, 4*x + 6 = -5*g - 7. Let v be (g - -3)*30/(-4). Let b = v - -6. Is 11 a factor of b?
False
Suppose -5*y = -4*d - 7816, -3*y - 3*d = y - 6259. Does 8 divide (-2)/(-6) - y/(-69)?
False
Suppose -6 = -5*m + 29. Suppose m*q - 62 - 29 = 0. Is q a multiple of 7?
False
Suppose -2639 = -11*t + 3686. Does 3 divide t?
False
Let f(s) = s**3 + 5*s**2 + s - 1. Let j be f(-5). Let n(t) be the first derivative of 2*t**3/3 + 4*t**2 + 8*t - 2. Does 8 divide n(j)?
True
Let d(s) = 8*s - 5. Let n be d(-5). Let q be ((-6)/9)/(2/n). Suppose q = -y + 54. Does 17 divide y?
False
Suppose 0 = 5*s - 1601 - 624. Suppose 5*n + s = 5*q, 0 = 3*q + n - 6*n - 269. Does 8 divide q?
True
Let b(z) = -z**3 + 42*z**2 - 11*z + 138. Does 24 divide b(41)?
True
Let r = 162 + -115. Suppose -j - 2*j + 76 = -4*z, -3*z - 4*j = 57. Let f = z + r. Is 7 a factor of f?
True
Suppose -2*s = 4*v - 19 - 3, 0 = 5*s + 3*v - 27. Let b(d) = d + 3. Let k(i) = 7*i - 12. Let y(n) = 3*b(n) + k(n). Does 18 divide y(s)?
False
Suppose -79*a + 39216 + 4787 = 0. Is a even?
False
Let i(t) = -19*t + 1. Does 14 divide i(-30)?
False
Let q be (-3158)/(-10) - 1/(-5). Let v = 473 - q. Let w = v + -73. Is 24 a factor of w?
False
Suppose 2*v - 61 = -15. Suppose -92 = -5*m + v. Does 3 divide m?
False
Suppose c = 5*c - 12. Suppose -c*m = -y - 224, 0 = -2*m - y + 3*y + 152. Is 11 a factor of m?
False
Is 10 a factor of 606/30 - ((-16)/20 + 1)?
True
Does 31 divide ((-40)/(-100) + (-27492)/5)/(-2)?
False
Suppose -2*g = 10, -3*g + 0*g = 5*i - 2330. Is i a multiple of 44?
False
Let f = -194 - -197. Is f a multiple of 3?
True
Suppose 2*c + 97*b - 190 = 100*b, c = 4*b + 95. Is 5 a factor of c?
True
Let d be (-6)/8 - 422/(-8). Suppose d = 5*r - 2*s, 4*r + 5*s - 3*s = 38. Does 10 divide r?
True
Let h(i) = 3*i**2 + 10*i + 22. Let z be (-60)/(-4)*(-6)/18. Does 7 divide h(z)?
False
Let o(r) be the second derivative of 1/6*r**3 + 0 + 6*r + 1/2*r**2 + 15/4*r**4. Is o(-1) a multiple of 15?
True
Let y = 81 - 78. Suppose 4*w + 88 = 2*b + 358, -y = -3*b. Does 34 divide w?
True
Let z = 107 - -47. Does 7 divide z?
True
Is 329/(-94) + 179/2 even?
True
Let j = 2463 + -1128. Does 63 divide j?
False
Suppose -3*l - m + 163 = -7*l, -3*l - 106 = -4*m. Let v = -69 + 66. Does 14 divide l/(v/6 - 1)?
True
Let w(d) = d**2 + 7*d + 14. Let s(v) = 3*v**2 + 21*v + 41. Let r(i) = 6*s(i) - 17*w(i). Is 8 a factor of r(-8)?
True
Suppose 10 = 3*k + 58. Let u = -14 - k. Suppose -3*g - u*g + 60 = 0. Is 4 a factor of g?
True
Suppose c - 2*l = 99, c + 297 = 4*c - 3*l. Is 18 a factor of c?
False
Let l be 0*(-1 - -2)*1. Suppose -2*u - 8 = l, -u = 2*x + 3*u - 14. Is x a multiple of 3?
True
Suppose 5*j - 650 = 2*o - o, 3*o = 5*j - 650. Is j a multiple of 13?
True
Let n = 162 - 156. Is 2*124/6*n/8 a multiple of 2?
False
Let u = -5 - -25. Let d = u + -18. Suppose -d*j + 40 + 4 = 0. Is 9 a factor of j?
False
Let c(f) be the second derivative of -f**3/2 + 27*f**2 + 29*f. Does 13 divide c(-21)?
True
Let j = 8 - -321. Does 5 divide j?
False
Suppose 0 = 4*p - 20, 4*p - 7421 = -4*d + 775. Is d a multiple of 73?
True
Suppose c + 16 = -4*g, g = c + c - 4. Suppose c = 36*m - 32*m - 204. Is 17 a factor of m?
True
Suppose -5*l - 24 = -5*b + 16, -2*l = -4*b + 20. Let n be (l - -2)*-9 - 1. Does 25 divide 3 - 7 - (-1 - n)?
False
Let r(b) = 5*b + 3. Let w be r(1). Is 5 a factor of w - 4*3/4?
True
Does 2 divide 412 + 0 + 13 + (2 - 10)?
False
Let p(l) = 3*l**2 + 4*l + 3. Let u be p(-2). Suppose -2*y + u*y = 70. Suppose -o = -1 - y. Does 14 divide o?
False
Suppose 24 = -4*a + 88. Let x be 5/(-1) + (a - 13). Is 15 a factor of ((-58)/3)/(x/3)?
False
Suppose -7 = 3*n - 43. Suppose 5 = h - 5*a, -5*h + 5 = -2*a + 3. Suppose 4*p - n = -h*p. Is 3 a factor of p?
True
Suppose 16*r = 6959 + 47857. Is 121 a factor of r?
False
Let u(s) = 76*s**2 - s + 1. Let w = 19 + -18. Is u(w) a multiple of 12?
False
Suppose 19 = 2*s + 11, -3288 = -3*l - 3*s. Is 39 a factor of l?
True
Suppose -5*z + 3 = -4*z. Suppose 6*a - 9 = z*a. Suppose -2*x + 3*p = -63, 0 = -0*p - 3*p - a. Is 15 a factor of x?
True
Let v be 203 + -1 + 2 + 1. Suppose 0 = -3*t - 0*t + 3, 3*s + 4*t - v = 0. Does 16 divide s?
False
Let d be (3 + 21/9)/(4/6). Suppose -d*p + 7*p + 36 = -2*a, -a - 116 = -4*p. Is p a multiple of 18?
False
Let s(m) = m**3 - 9*m**2 - 12*m + 12. Let h be s(11). Let d = h - 66. Is d a multiple of 6?
False
Let m = 1190 + -662. Is 11 a factor of m?
True
Suppose 10*g - 2*g = 5520. Is 69 a factor of g?
True
Let l(c) = -35*c + 27. Is l(-1) a multiple of 31?
True
Suppose -w - 55 = -11. Does 33 divide (w/(-6))/(60/27 - 2)?
True
Let q(l) = -108*l - 128. Is q(-10) a multiple of 17?
True
Let h be 39/(-4) + 14/(-56). Let y be (8/h)/((-9)/405). Let v = y - 26. Does 10 divide v?
True
Let h = -12 + 30. Let b = h + -2. Let p = b + 11. Does 9 divide p?
True
Let z be (-101)/(-5) + (-4)/20. Suppose j + 3*j = z. Suppose 0*q + q - 367 = -5*n, n + j*q - 83 = 0. Is n a multiple of 12?
False
Let y(i) = -20*i + 100. Does 44 divide y(-6)?
True
Let t = 10 - 6. Let r = -43 - -45. Suppose -r*m + 49 = 2*h + h, -2*m = t*h - 44. Does 16 divide m?
True
Let n = -306 + 736. Is 34 a factor of n?
False
Let y = -55 - -55. Suppose 3*l = -y*l + 633. I