 h(z) a multiple of 7?
True
Let x be (-3)/(-1*4/12). Let f = x + -7. Suppose t + t - 3*o - 78 = 0, -f*o = 0. Is 18 a factor of t?
False
Let m(v) = 482*v - 20. Let h(k) = -160*k + 7. Let q(f) = -8*h(f) - 3*m(f). Does 17 divide q(-1)?
True
Let c = 49 + -24. Suppose -d + 2*d + c = 5*w, 5*w - 2*d - 25 = 0. Does 3 divide w?
False
Let a = -381 + 625. Does 8 divide a?
False
Let o(p) = 91*p - 532. Does 46 divide o(19)?
False
Suppose 0 = -43*r + 49*r - 522. Is 19 a factor of r?
False
Let r(h) = -559*h + 1. Let b be r(-1). Suppose 3*w - b = -w. Let x = w + -60. Is 13 a factor of x?
False
Suppose 60*c - 1 = 59*c. Is 21 a factor of (c/(-2))/(814/272 - 3)?
False
Let k(b) = 207*b**2 + 2*b - 1. Suppose 17 = -3*x - 4*a, 2*a + 2 = -3*x - 5. Does 35 divide k(x)?
False
Let a = 31 + -15. Does 21 divide (a + -6)*(-132)/(-15)?
False
Is (-1 - 5) + 16 + (-1314)/(-3) a multiple of 16?
True
Suppose -107 = 2*q + 111. Let m = 27 + q. Let r = m + 137. Is r a multiple of 11?
True
Let a(t) = -t**2 + 5*t + 5. Let f be a(5). Suppose -f*u = -3*h - 475, -4*u + 2*h + 274 + 108 = 0. Is u a multiple of 22?
False
Let s(w) = -13*w - 14. Let z be s(-6). Let y = -43 + z. Let a = y - 12. Is 9 a factor of a?
True
Let x = -74 - -77. Does 6 divide 40/15*(15 + x)?
True
Let u = -418 - -814. Suppose 0 = -57*r + 60*r - u. Is 44 a factor of r?
True
Let g = -547 + 819. Suppose -v + 5*v = g. Does 17 divide v?
True
Let g = -417 - 1. Let o = -275 - g. Does 12 divide o?
False
Let w(d) be the third derivative of -d**6/120 + d**5/60 - d**4/24 - 2*d**3/3 + 40*d**2 - 1. Let f = 4 - 7. Is 24 a factor of w(f)?
False
Let q = -187 - -506. Is q a multiple of 11?
True
Let d(a) = -7*a + 4. Let r be d(-6). Let m be r/(-4) + (-4)/8. Let z = -2 - m. Is z a multiple of 3?
False
Suppose 16*r - 38879 = 5841. Is 13 a factor of r?
True
Let m(z) = -z**3 + 3*z**2 + z. Let s(v) = -v**2 - 5*v - 6. Let t be s(-4). Is 6 a factor of m(t)?
True
Suppose 14*f = 17*f - 1845. Is 7 a factor of f?
False
Let i = 328 - 74. Is i a multiple of 12?
False
Suppose 2*c = -2*x + 44, 8 = -4*c - 3*x + 94. Does 3 divide c?
False
Let r(w) = 13*w + 5. Suppose 0*q - 2*q - 10 = 0. Let h(j) = -19*j - 8. Let d(l) = q*h(l) - 8*r(l). Does 7 divide d(-3)?
False
Let b = -60 - -18. Is ((-28)/b)/((-2)/(-150)) a multiple of 17?
False
Suppose -21*f - 3 = -3. Let q(a) be the third derivative of -a**6/120 + a**5/60 + a**4/12 + 8*a**3/3 + a**2. Is q(f) a multiple of 6?
False
Let x = 4 + 4. Let t(d) = -10 + d + 3*d + d. Is t(x) a multiple of 12?
False
Suppose -49*i + 46*i + 3*n = -450, -n = 4*i - 580. Does 3 divide i?
False
Let d(u) = -u**3 + u**2 - u. Let r(a) = -6*a**3 + 10*a**2 - 4*a - 7. Let i(x) = 5*d(x) - r(x). Let l be i(5). Suppose l*b - 56 = -2*b. Is b a multiple of 8?
False
Suppose -23225 + 103193 = 49*k. Does 136 divide k?
True
Suppose 7 + 2 = -2*z + j, 4*j - 26 = 3*z. Let k(v) = -12*v**2 - 3*v - 3. Let s(n) = 11*n**2 + 2*n + 2. Let h(d) = 2*k(d) + 3*s(d). Is h(z) a multiple of 12?
True
Suppose -23*o + 7*o = -32. Suppose 0 = -4*f + 4*j + 1184, -o*j + 308 = f - 0*j. Does 50 divide f?
True
Let n(d) = -33*d**3 - 12*d**2 + 11*d + 13. Does 12 divide n(-4)?
False
Does 15 divide (-104 + -1 + 1)*(-3660)/240?
False
Let w = 150 - -10. Does 10 divide w?
True
Does 37 divide (-2078)/(-6) - ((-24)/9 + 3)?
False
Suppose 15 = 5*p + 190. Let a = p - -187. Suppose -s = 4*d - 121, 0 = 5*d - 0*d + 2*s - a. Does 15 divide d?
True
Let a(r) = -38*r**3 + r**2 + 5*r + 2. Let m be a(-2). Suppose 0 = -14*t + 8*t + m. Is t a multiple of 17?
False
Let a = -44 + 53. Suppose -237 = -a*r + 6*r. Does 21 divide r?
False
Suppose -2*t + 7*t - 10 = 0. Suppose -t*d = 5*d - 784. Suppose -13 = -2*a - 3*i + 27, -4*a = -2*i - d. Is 13 a factor of a?
True
Let b(l) = -l**2 + l**2 + 12*l**3 + 2 - 3*l + l**2. Does 24 divide b(2)?
True
Let f be (10/(-4))/(-4 - 2133/(-534)). Let q = -233 + f. Is 38 a factor of q?
False
Suppose 2*f + 4*y = -15 - 43, -75 = 3*f + 3*y. Let c = f - -10. Is -6*(c/3 + -1) a multiple of 14?
True
Suppose a - 6 = 5*k - 3, 3*a = -3*k - 9. Is 21 a factor of (110/4*a)/(-1)?
False
Let i(x) = x**3 + 10*x**2 - 29*x - 22. Does 15 divide i(-12)?
False
Let q = 9 - 12. Let d be ((-6)/2)/q + 2. Suppose 58 = 4*o + v - 31, d = 3*v. Is 10 a factor of o?
False
Suppose -4*r - 5 = 5*z - 2*z, -r - 20 = -3*z. Suppose k - 3*w - 36 = 0, 0 = z*k + 5*w - 0*w - 80. Is k a multiple of 12?
False
Let b = -2 - -1079. Is b a multiple of 23?
False
Suppose 4*g = -2*y - g + 29, 4*y - 2*g + 2 = 0. Suppose -4*l + h + 80 + 487 = 0, l + y*h = 135. Is 39 a factor of l?
False
Let n = 583 + -339. Is 61 a factor of n?
True
Suppose 3*a - 28 = -4. Let y = 13 + a. Let h = -9 + y. Does 6 divide h?
True
Let t(o) = -28*o - 37. Is 19 a factor of t(-59)?
True
Let s = -12 - -8. Let b = 27 - s. Let t = b - 19. Is t a multiple of 7?
False
Let j = 238 - 196. Is 9 a factor of j?
False
Suppose 0 = -u + 17 + 3. Suppose 0*d = 5*d + u, 0 = -5*n - 5*d + 5. Let r(h) = h + 2. Does 2 divide r(n)?
False
Let b(w) = -4*w**2 + 4*w - 5. Let l be b(3). Let t = -15 - l. Does 3 divide t?
False
Suppose 0*l - l = 3*j + 13, 3*l + 4*j + 34 = 0. Let u(v) = -v**3 - 9*v**2 + 2*v - 10. Is 14 a factor of u(l)?
True
Let o(g) = 12*g**3 + 3*g - 2. Let c be o(2). Suppose 16*q + c = 21*q. Is 10 a factor of q?
True
Suppose -4 = t - 4*v - 62, 3*v + 206 = 4*t. Let r = 16 - -10. Let k = t - r. Is k a multiple of 24?
True
Does 3 divide 69/6 - (-4 + (-81)/(-18))?
False
Does 40 divide (1/1)/(5/1800)?
True
Suppose -1446 = -t - 5*r + 534, 0 = 5*t + r - 9996. Is t a multiple of 50?
True
Let q(y) = 71*y**3 + y**2. Is q(1) a multiple of 3?
True
Suppose v = 1 + 9. Suppose 0 = -q - 78 + 82. Is (315/v - q)*2 a multiple of 14?
False
Let k(y) = y**3 - 13*y**2 + 12*y. Let t be k(12). Suppose 0 = r - 4*r, -2*x - r + 64 = t. Is x a multiple of 3?
False
Suppose -3*t + 4*p - 2639 = -8*t, 0 = 5*t + 2*p - 2647. Is 9 a factor of t?
True
Suppose 0*y = 3*y - 27. Let k = y - 7. Suppose 2*q = k*u - 172, -5*u + 4*q + 533 = 107. Is 21 a factor of u?
False
Let x = 5461 - 3607. Is x a multiple of 11?
False
Let d be 0 - 0/3*2/4. Suppose q - 407 = -5*n + 2*q, 5*n - 4*q - 398 = d. Is n a multiple of 11?
False
Let b be 2/(-6) - (-178)/3. Let r(m) = -m**2 + 28*m - 219. Let g be r(10). Let f = g + b. Does 20 divide f?
True
Let s(p) be the second derivative of 5*p**3/2 + p**2 - 87*p - 1. Suppose -2*k + 1 = -3. Does 4 divide s(k)?
True
Is (-17 - -2177) + (4 - 3)*1 a multiple of 15?
False
Let b = 211 - -278. Does 18 divide b?
False
Is 283/(-1132)*33288/(-2) a multiple of 57?
True
Let c(m) be the second derivative of m**4/2 - m**3/3 - m**2 + 9*m. Let p be c(-1). Suppose -4*l + 27 = 5*r, 3*r = 2*l - p*l + 21. Is l a multiple of 3?
True
Let h(w) = w**3 - 31*w**2 - 14*w - 23. Is 79 a factor of h(32)?
True
Let w(s) = 2*s**3 - 4*s**2 + 2*s. Let k be w(2). Suppose -k*g = -5*g + 2. Let f = g + 14. Is 3 a factor of f?
False
Let l(h) = 15*h - 6. Let i be l(-4). Let t(f) = 5*f**2 - 2*f + 5. Let d be t(5). Let s = i + d. Does 9 divide s?
True
Let i = -15 - -18. Suppose -3*y + 198 = i*a, -y - 48 = -a + 4*y. Does 15 divide a?
False
Suppose -5*c = -6 - 29. Let k(u) = -14*u + 25. Let h(d) = 5*d - 8. Let s(l) = 11*h(l) + 4*k(l). Does 4 divide s(c)?
False
Suppose -11*g + 4140 = 12*g. Is g a multiple of 45?
True
Let z = 20 - 11. Suppose -21*g + 18*g - 153 = 0. Let h = z - g. Is 15 a factor of h?
True
Suppose -4*o = -5*l + 3*l - 668, 340 = -l - o. Let f = -158 - l. Is f a multiple of 10?
True
Let i(f) = 2*f + 2. Let w be i(7). Suppose 4*z + 17 = -3*u, w = u - 5*z + 2*z. Let l(y) = 23*y**2 - y. Does 22 divide l(u)?
True
Suppose -146*b + 154*b = 1248. Is 15 a factor of b?
False
Let t be 6/14 + 1110/7. Suppose -2*u + 8 = v, -2*u = -0*v + 3*v - 16. Suppose 0 = -q - v*i + 87, 0*q + 3*i = -2*q + t. Is q a multiple of 25?
True
Suppose -5*q + 37 + 152 = 4*g, -2*g - 5*q + 87 = 0. Is 6 a factor of g?
False
Let m(r) = 4*r - 20. Let k = 22 - 49. Let b = 36 + k. Is 8 a factor of m(b)?
True
Let q = 35 + -30. Let b = q - -43. Is b a multiple of 17?
False
Does 62 divide (-18)/(-5 - 99/(-21))?
False
Let k(c) = -5*c - 1. Suppose 3*p + 41 = -a, 0*a + 5*a = -4*p - 40. Is k(p) a multiple of 10?
False
Let p(s) = 3*s**2 - 15*s - 8. Let m be (-160)/(-24) + (-1)/(-3). Is 34 a factor of p(m)?
True
Let t(g) = 6*g**2 - g. Let o be t(1). 