 h a multiple of 12?
True
Let m(i) = -11*i + 7. Let v(y) = 8*y - 1. Let o be v(-1). Let p be m(o). Let t = p - 74. Is t a multiple of 20?
False
Let b = -430 - -933. Does 5 divide b?
False
Is 5 a factor of 87/(-145) - -744*(-2)/(-5)?
False
Suppose 5*p + 81 = 5*b - 309, b + 4*p - 53 = 0. Let f = b - 3. Is 10 a factor of f?
True
Let q(z) = -6*z**2 - 5 + z**3 + z + 15 - 8. Is 5 a factor of q(6)?
False
Let w be (24/18)/((-8)/(-36)). Suppose -w*t + 17 = -13. Does 5 divide t?
True
Let y be 82 + 1 - (-120)/(-30). Suppose -2*h - y = -113. Is 3 a factor of h?
False
Is (-1 - -4) + (-40584)/(-38) a multiple of 72?
False
Suppose 31860 = -68*d + 88*d. Is 16 a factor of d?
False
Let m(j) = 3*j + 2. Let u(t) = 6*t + 4. Let k(x) = -7*m(x) + 3*u(x). Is k(-3) a multiple of 7?
True
Let b(p) = -p**2 - 14*p - 17. Let m be b(-9). Suppose -55 = -n - 5*v + m, n - v = 77. Suppose u - 79 = 2*d, 3*u + 3*d + n = 4*u. Is 28 a factor of u?
False
Suppose -136 = -0*s - 4*s. Let m = -59 + s. Is (16/(-5) - -2)*m a multiple of 15?
True
Let m = -606 + 1206. Is 88 a factor of m?
False
Let u = -7 - -4. Let f = 15 + u. Does 3 divide f?
True
Suppose 14*o - 2960 = 1142. Is 12 a factor of o?
False
Suppose -1 = 3*o + 5*a, -4*o + 3*a = -0*o - 18. Suppose o*m - 6 = m. Suppose 0 = 2*q - 5 - m. Is q a multiple of 4?
True
Suppose 3*u = 4*f - 29, 0*u + 2*u = -4*f - 26. Let a = u + 7. Let s(m) = -m**3 - 4*m**2 - 4*m - 2. Does 12 divide s(a)?
False
Let q(m) = -22*m**3 - 3*m**2 + m + 2. Let g be q(-2). Let l(d) = -19*d - 3. Let b be l(5). Let a = b + g. Is 18 a factor of a?
False
Suppose -5*p = 5*d - 2885, 0 = -3*d + 3*p + 2172 - 453. Is 23 a factor of d?
True
Let z = -31 + 61. Suppose 4*q + z = 358. Is q a multiple of 29?
False
Let q(w) = w**3 - 6*w**2 + w - 1. Suppose 2*u - 5*t = 7, t - 2*t + 1 = 0. Let x be q(u). Suppose -4*f + 2*c - 4*c = -220, 269 = x*f + 4*c. Does 15 divide f?
False
Let l be ((-4)/6)/((-26)/(-8814)). Let z = 347 + l. Is 9 a factor of z?
False
Suppose -2*l + 7*l - 65 = 0. Let u(t) = t**3 - 3*t**2 + 2*t - 2. Let y be u(3). Let j = l + y. Is 14 a factor of j?
False
Let u = 12 + -7. Suppose -520 = -u*p + 4*w, 2*w = -5*p + 9*p - 416. Is p a multiple of 26?
True
Is 49 a factor of (14 + 0)/((80/(-56))/(-10))?
True
Suppose 9 = -3*x - 0. Does 4 divide (-3)/9*x*5?
False
Let a(f) = -f**3 - 19*f**2 + 27*f + 29. Let i be a(-20). Let o = 131 + i. Does 4 divide o?
True
Let q = 329 - 203. Suppose 6*s - 3*s = -4*t + 168, -q = -3*t - 3*s. Does 14 divide t?
True
Let h be -42*2/(2/(-3)). Is 11 a factor of 18/(-14) + 1 + 6084/h?
False
Suppose 2*m - 344 = -4*n, -4*m + 395 + 284 = 5*n. Is 40 a factor of m?
False
Let f(g) = g**3 - 4*g**2 - 10*g + 14. Let b(z) = 4*z**3 - 15*z**2 - 40*z + 57. Let w(u) = 2*b(u) - 9*f(u). Does 24 divide w(6)?
True
Is 79 a factor of (4 + 29)/(-3 - (-240)/79)?
True
Suppose 0 = 2*f - 19*f + 816. Is f a multiple of 16?
True
Suppose 0*o - 3*o = -459. Let y be (-2)/5 + o/45. Is (-5 + -67)*(-2)/y a multiple of 10?
False
Is 62 a factor of 32/(-208) + 30060/26?
False
Let b be ((4/(-2))/(-2))/((-1)/(-3)). Suppose -s + h = -14, -1 = b*h + 14. Does 2 divide s?
False
Let x(t) = 23*t**2 + 3*t + 9. Let q(h) = 11*h**2 + h + 4. Let d(o) = 9*q(o) - 4*x(o). Does 18 divide d(-3)?
True
Let k = 562 - -173. Does 35 divide k?
True
Let g = 765 - 242. Does 83 divide g?
False
Suppose -3*w - w = 0. Suppose 2*h + 7 - 51 = w. Let k = -5 + h. Is k a multiple of 17?
True
Suppose -19*i = 31*i - 2600. Is i a multiple of 11?
False
Suppose 5*k = -5*c + 4705, 6*c - 4*c + 5*k = 1867. Is 6 a factor of c?
False
Let o = 576 - 226. Is o a multiple of 5?
True
Let j(x) = x**3 + 7*x**2 + 8*x + 3. Let o be j(-6). Is (-36)/(-5)*(-4 - o) a multiple of 18?
True
Is 8 a factor of (-4)/10 + ((-328)/20)/(-1)?
True
Suppose v - 736 - 459 = 0. Is 20 a factor of v?
False
Let d(n) = 101*n - 228. Does 18 divide d(18)?
False
Let h(v) = 5*v**2 - v - 2. Let c be 3*(-12)/18*(-2 - -3). Is 20 a factor of h(c)?
True
Suppose r + 2*r = 24. Let k(y) = r*y**2 + 4*y + 0*y**2 - 3 - 7*y**2. Is k(2) a multiple of 6?
False
Suppose 3*b = 3*f + 15, 2*f + 2*b + 38 = -3*b. Is 3 a factor of 4*f/(-2) - 3?
True
Suppose 5 = u + 2*z + 3*z, z - 25 = -5*u. Suppose k = 3*d, -3*k + u*d + 28 = k. Is k a multiple of 12?
True
Suppose -2*u = 3*p - 119, 4*u - 188 = -p + 5*p. Suppose -u = 8*b - 10*b. Suppose 4*w - 4 = 5*n + 21, 0 = 2*w + 2*n - b. Does 4 divide w?
False
Let h(g) be the third derivative of -g**5/60 + 3*g**4/4 - 2*g**3 + 12*g**2. Is 12 a factor of h(6)?
True
Let k be 4 + 1/((-3)/(-6)). Let o be k*1*(-2)/(-6). Suppose i + 5*t - 22 = 0, o*i + i - 2*t - 49 = 0. Is i a multiple of 17?
True
Suppose -3*u = -o + 5*o + 5, 2*u = -6. Is 38 a factor of 1/(2055/684 + o + -4)?
True
Suppose -o + l + 51 = 5*l, 0 = o - 3*l - 58. Suppose 0 = -5*z + 4*z + o. Does 5 divide z?
True
Suppose -2*a + 41 = m, 0*a - 2*a = 5*m - 229. Let h = 73 - m. Is 19 a factor of h?
False
Suppose 2*c + 2*c = -16. Let j = -327 + 311. Let o = c - j. Is 3 a factor of o?
True
Suppose 6*r - 101 = 115. Suppose r = -3*b - 102. Let u = b - -82. Does 12 divide u?
True
Does 27 divide (6 + 4)/(-4*5/(-4860))?
True
Suppose 4*k + 4 = 0, 5*k + 441 = 3*g - 1217. Is 23 a factor of g?
False
Let t(p) = p**2 + 25*p + 71. Let w be t(-25). Let a = 32 + w. Does 27 divide a?
False
Let n be ((-3)/2)/(6/(-8820)*3). Suppose -4*h = -5*d + n, 3*d - 398 = -3*h + 43. Is 19 a factor of d?
False
Suppose -r = 4*i - 2112, 1584 = 3*i + 8*r - 9*r. Is i a multiple of 33?
True
Suppose 2*j = 227 - 11. Let u be (0 + 18/(-15))*-5. Suppose -390 = -u*a + j. Is 19 a factor of a?
False
Let a be (-4 + 3)*1 - -1. Suppose 3*v + 4*n - 127 = a, -3*v - 3*n + 112 = -17. Is 22 a factor of v?
False
Is (4/8)/((16/4)/4016) a multiple of 26?
False
Let k(q) = -7*q**3 + q**2 - 4*q + 15. Suppose -4*g = -0 + 24. Let c(t) = 13*t**3 - 2*t**2 + 7*t - 30. Let x(a) = g*c(a) - 11*k(a). Is 12 a factor of x(0)?
False
Suppose -45*i + 51*i = 2052. Is i a multiple of 6?
True
Let b be (-10 - (5 - 2))*-4. Let k = -49 + b. Does 3 divide k?
True
Let n = -45 - -100. Let q be (-4 + 3)*-3*2. Suppose 11*t - q*t = n. Is t a multiple of 6?
False
Let f(c) be the second derivative of -5*c**3/3 - c**2 + c. Let h be f(-9). Suppose w - 5*w + h = 0. Is w a multiple of 18?
False
Suppose -3*n + 1488 = 5*m, 4*m - n - 880 - 324 = 0. Is 4 a factor of m?
True
Let g be 5*3/5 - (-13 + -1). Suppose 0 = 2*d, -2*f - g + 47 = 3*d. Is f a multiple of 13?
False
Suppose g - 73 + 72 = 0. Let w = -14 + 24. Is w*g/((-6)/(-27)) a multiple of 7?
False
Let x = -51 + 21. Is 8 a factor of 4*(x/(-4) - -3)?
False
Let x = -33 - -55. Let w = x + 26. Is w a multiple of 12?
True
Suppose 54 = 3*v - 183. Suppose 2*d - v + 41 = 0. Is 4 a factor of d?
False
Let u = -668 + 1703. Is 69 a factor of u?
True
Let u(x) = -x**3 + 4*x**2 + 2*x - 5. Let a be u(4). Suppose -g = -2*l - 35, a*g - 4*l = -l + 93. Is 12 a factor of g?
False
Suppose -4*o - 13 + 193 = 3*b, 4*b = 4*o - 180. Suppose 0 = -5*z + 4*t - 7*t - 103, -3*t = -3*z - 81. Let h = o + z. Does 6 divide h?
False
Does 12 divide (5 - 117/24) + 7102/16?
True
Let x = 36 + -2. Suppose -2*g - 2*r - x = 0, 4*g - 3*r = g - 27. Let s = 7 - g. Is s a multiple of 5?
True
Suppose -2*l + 2*h = -4, -l + h + 14 = 4*h. Suppose -l = -2*c + 115. Suppose 2*d - c = 2. Is 11 a factor of d?
False
Let d(o) = 13*o**2 + 2*o + 94. Is d(-7) a multiple of 28?
False
Let u(q) = -2*q**2 - q - 11. Let m(y) = -y**2 - 2*y - 11. Let r(s) = 6*m(s) - 5*u(s). Is r(4) a multiple of 16?
False
Let p(c) be the third derivative of c**6/360 - 7*c**5/120 - 7*c**4/12 + 5*c**3/3 + 5*c**2. Let h(g) be the first derivative of p(g). Does 5 divide h(11)?
True
Suppose 2*m - 5 = -1, 3*n - 2*m - 83 = 0. Suppose 3*a - 128 + n = 0. Is a a multiple of 19?
False
Let t(l) = -31*l + 38. Let k(n) = -16*n + 19. Let u(b) = 9*k(b) - 4*t(b). Is 37 a factor of u(-7)?
False
Let i(j) = -3*j**3 - 41*j**2 - 17*j + 19. Let w(s) = s**3 + 14*s**2 + 6*s - 6. Let c(p) = 6*i(p) + 17*w(p). Is 6 a factor of c(-8)?
True
Let d(c) = c**3 - 18*c**2 + 45*c - 93*c + 16 + 38*c. Is 14 a factor of d(19)?
False
Let t(r) = -172*r + 22. Let m(j) = 69*j - 9. Let k(v) = 12*m(v) + 5*t(v). Let g(y) = -y**3 + 8*y**2 - 2. Let p be g(8). Does 11 divide k(p)?
True
Suppose -5*q + 42 = -5*x - 38, -3*x + 92 = 4*q. Let f(v) = -2*v**2 - 44*v + 51. Le