. Is q a multiple of 6?
False
Let i = -12 + 23. Suppose 0 = -u - 0*u + i. Does 4 divide u?
False
Let w(g) = g**2 + 2*g - 4. Does 22 divide w(6)?
True
Let o(r) = 2*r**3 - 2*r**2 - 4*r + 1. Let h be o(-3). Let f = -37 - h. Is f a multiple of 11?
True
Let a(m) = 8*m + 14. Let q be a(12). Let b = q - 37. Does 20 divide b?
False
Suppose -5*b - 12 = 13. Let g(d) = -d**3 - 4*d**2 + 3*d - 6. Let o be g(b). Suppose -3*h - 153 = -3*a, 157 = o*a + 3*h - 40. Does 15 divide a?
False
Let y(r) = -r**2 - 10*r + 10. Is y(-8) a multiple of 10?
False
Let p(k) = -k**3 - k**2 - k + 7. Let w be (0 + 0)/(3 - 1). Is p(w) a multiple of 4?
False
Let z be 4 + -8 + 4 + 90. Suppose 6*n = 5*n + z. Is n a multiple of 18?
True
Let m = -17 - -47. Does 10 divide m?
True
Let x(f) be the third derivative of -f**6/120 + f**5/12 - 7*f**4/24 + f**3 - f**2. Let z be x(4). Let w = 14 + z. Is w a multiple of 8?
True
Let n(a) = 5*a**3 - 2*a**2 + 1. Let t be n(-1). Let h be 2*((-9)/t)/1. Let y(d) = d**2 + 3*d - 4. Is 14 a factor of y(h)?
True
Let g(y) = -y + 7. Let i be g(3). Suppose -58 = -4*p + 5*t, p + i*t - 93 = -4*p. Is p a multiple of 6?
False
Suppose 3*c - 8 - 1 = 0. Let k be (-180)/c*2/(-3). Suppose -u + k = 6. Is u a multiple of 17?
True
Let a = -40 + 104. Is 30 a factor of a?
False
Let a(q) = 7*q + 13. Let i = -4 + 11. Is a(i) a multiple of 31?
True
Let y be 2 + 4 + (1 - 0). Let q = -10 + y. Is 30/4*(-10)/q a multiple of 12?
False
Let y = 5 + -3. Suppose 0*h + 48 = -4*h. Let x = y - h. Is x a multiple of 7?
True
Suppose -4*u - 1 = -5*s - 29, -3*s - 12 = 0. Let m be 304/14 - u/(-7). Let a = m + 0. Is 9 a factor of a?
False
Let c = 111 + -42. Is 23 a factor of c?
True
Let m = -14 - -23. Let j(n) = n**2 + 16*n + 16. Let f be j(-14). Let v = m - f. Is v a multiple of 11?
False
Let m(x) = x + 44. Let j be m(0). Let u = j - 31. Is u a multiple of 13?
True
Suppose 4*b + 17 - 81 = 0. Is 16 a factor of b?
True
Let g(s) = 2*s**3 - 33*s**2 - 4*s + 3. Is g(17) a multiple of 8?
True
Suppose -d + 2*u = -3, 0 = -6*d + d + 2*u + 15. Is d even?
False
Suppose -310 = -5*n + 3*h, -3*n + 186 = 2*h - 0. Is n a multiple of 10?
False
Let u be (-2481)/(-9) - 2/3. Is 4 a factor of (4/5)/(22/u)?
False
Suppose 2*m - 137 = 5*j + 209, m + 3*j - 173 = 0. Does 39 divide m?
False
Suppose 3*t + 0*d - 5*d = 0, 4*d = -4*t + 32. Let w(l) = -2*l**2 - 6*l - 1. Let m(v) = 5*v**2 + 17*v + 3. Let a(o) = -3*m(o) - 8*w(o). Does 8 divide a(t)?
False
Let i(s) = -s + 9. Let d(o) = o**3 - 9*o**2 - 10*o + 5. Let h be d(10). Does 2 divide i(h)?
True
Let j be (-130)/(-8) + (-1)/4. Suppose y + j = -o + 6*o, 3*o - 6 = -3*y. Does 9 divide 1*(-18)/(-3)*o?
True
Suppose w - 3*t - 52 = 0, -8*t - 166 = -3*w - 4*t. Is w a multiple of 20?
False
Let o(b) be the first derivative of 2*b**3 + 3*b**2/2 + 2*b - 3. Is 10 a factor of o(-2)?
True
Suppose 5*f = 3*b - 83, 0 = 3*b - 3*f - 2 - 85. Suppose -4*q + 289 = -b. Suppose 0*d - 4*d + q = 0. Is 10 a factor of d?
True
Suppose 3*n - 5*l + 32 = 0, 0 = 4*n - 0*l - l + 20. Let j be (n - -6)*66/(-4). Is 11 a factor of (-6)/9*j/1?
True
Is (-6)/(0 - (-6)/(-8)) a multiple of 4?
True
Suppose 2*u - i = -26 + 153, 0 = 4*u - i - 251. Is 10 a factor of u?
False
Let a = -350 + 510. Does 14 divide a?
False
Suppose -h - x + 3 + 8 = 0, 4*h - 39 = x. Is 10 a factor of h?
True
Let f(o) = 2*o - 2. Let m be f(2). Suppose -m*s - 3*s = -70. Is s a multiple of 14?
True
Let q(a) = a**2 + 2*a + 1. Let g be q(-2). Is 9 a factor of 36*g - (0 - 1)?
False
Let z be (21/(-4))/((-2)/8). Let i be ((-15)/(-10))/(3/8). Suppose 15 = i*f - z. Is 9 a factor of f?
True
Let w = 4 + 4. Does 6 divide w?
False
Suppose -5*u + 5*v - 50 = 0, 5*u + 0*v - 4*v = -47. Let x(k) = k**2 + 5*k - 6. Does 8 divide x(u)?
True
Let n = 14 - 19. Let o(p) = -p**3 + 6*p**2 - 7*p + 4. Let r be o(4). Is 2 a factor of (n/10)/((-2)/r)?
True
Suppose 0 = 11*q - 9*q - 124. Does 19 divide q?
False
Let r(q) = -q**3 - 6*q**2 - 7*q - 7. Let a be r(-5). Let l(f) = -f**2 - 2*f**3 + 3*f**3 - 2*f**a + 5 + 1. Does 3 divide l(0)?
True
Suppose 32 = 3*c - 5*p, c + 0*p = -2*p + 18. Does 14 divide c?
True
Let d(a) = -a**2 - 9*a - 6. Is d(-6) a multiple of 12?
True
Let d = -3 - -5. Suppose -7*a + 4*a = d*n - 67, -n - 82 = -4*a. Does 11 divide a?
False
Suppose -3*z + 429 = 3*c, c = -3*z + 189 + 230. Does 47 divide z?
False
Let m = 1 + 1. Suppose -m*k = -3*w - 39, 4*k = 2*k - w + 51. Does 8 divide k?
True
Is (-6)/(-18)*-131*(-12)/2 a multiple of 16?
False
Suppose 5*b - 16 - 4 = 0. Suppose 2*z + 0*h - 43 = 3*h, b*h - 36 = -2*z. Does 9 divide z?
False
Does 16 divide 16/72 + 1364/18?
False
Let w(d) = d**3 - 4*d**2 + 4*d - 1. Let r be w(3). Let l = r + 12. Let k = l + -8. Is 6 a factor of k?
True
Let g be (-44)/6 + 1/3. Let r = g + 11. Does 4 divide r?
True
Let p be (-2)/(-3) - 2/3. Suppose -10 = -p*s - s. Does 3 divide s?
False
Suppose i = 2*i - 2. Let n(z) = 3 + 9*z - 2*z - z**3 - i - 3*z**2. Does 8 divide n(-5)?
True
Is 36 a factor of -135*(-11)/((-132)/(-16))?
True
Let b be -2*((-5)/(-2))/(-5). Suppose w = 17 + b. Is 13 a factor of (-4)/w - 544/(-18)?
False
Suppose 5*f + 7 = 22. Suppose -5*j + 5*z + 150 = 0, -f*j - z = 2*z - 96. Let c = 47 - j. Is c a multiple of 16?
True
Let z = 54 + -5. Does 14 divide z?
False
Let y = 10 - 2. Does 12 divide (-2 - y/(-6))*-18?
True
Let w be 3 + -2 + 0 + 3. Let k(j) = 4*j - 3. Is k(w) a multiple of 13?
True
Let t be (-91)/2 - (-4)/(-8). Let n = -21 - t. Is n a multiple of 18?
False
Is 4 + 22*1/2 a multiple of 9?
False
Let t(g) = g + 6. Let n be t(-5). Let p be 1/((-3*n)/(-9)). Suppose -3*z + p*q = -111, 2*z - 31 - 44 = q. Is z a multiple of 15?
False
Suppose -2*f = -81 - 63. Is 24 a factor of f?
True
Suppose -11 - 9 = -5*l. Let u be (1 + 29)/(6/l). Does 7 divide u + (0 - (-1 - -2))?
False
Suppose -4*a + 45 = -r - 4, -4 = 4*r. Is a a multiple of 12?
True
Let b(v) = 4*v**2 - 10*v + 42. Is b(9) a multiple of 35?
False
Let o(k) = k - 6. Let r be o(9). Suppose -2*y + 7 = -r. Suppose y*d - 8 = -4*h + 32, 20 = -5*d. Does 6 divide h?
False
Let f(o) = o**2 - 9*o + 13. Suppose 0 = -4*b + 3*b - 5. Let t be 92/10 + 1/b. Does 6 divide f(t)?
False
Suppose 3*i + 12 = -2*f - f, 3*f + 24 = i. Let h be f*18/(-21)*1. Suppose 0 = 3*q - 33 + h. Is q a multiple of 7?
False
Let r(c) be the third derivative of -c**4/24 - 3*c**3/2 - c**2. Let j be r(-7). Let o(d) = -12*d - 2. Is 11 a factor of o(j)?
True
Let r = 266 - 76. Is 45 a factor of r?
False
Suppose 2*k + 0 = 4. Let w(b) = 5*b + 4 - k*b - 1 - 4*b. Does 4 divide w(-5)?
True
Let x(f) = -f + 5. Let g be x(4). Let o be (-4)/(-1)*1 - g. Suppose o*d - 61 = -5*c + 16, -3*d = 3. Is 8 a factor of c?
True
Let i(h) = h**3 + 10*h**2 - 10*h - 8. Let c be i(-11). Let m = 107 - 70. Let v = m + c. Is v a multiple of 9?
True
Suppose -5*o - 2*g + 20 = 0, 17 = 2*o - g - 0*g. Let s = o - 3. Suppose -s*q + 107 = x, -5*q + 3*x + 89 = -94. Does 13 divide q?
False
Does 4 divide 2 - 2 - 2 - (-9 + -9)?
True
Let q(y) be the third derivative of -2*y**4/3 + y**3/3 + 3*y**2. Does 5 divide q(-1)?
False
Let o = -8 + 23. Is o a multiple of 3?
True
Let j = 75 + -21. Is j a multiple of 6?
True
Let b = 2 + -5. Let q = b + 0. Let c = q - -8. Is c a multiple of 5?
True
Let i(o) = -2*o**3 + 2*o + 43. Does 14 divide i(0)?
False
Let l be -14*1*(-3 - 0). Suppose 5*b - l + 7 = 0. Does 3 divide b?
False
Does 23 divide -1 - -70 - 14/(-7)?
False
Suppose 5*z - 6*n - 25 = -3*n, 2*z + 5*n = 10. Suppose -z = 2*d - 31. Suppose -m + 4 = -d. Does 14 divide m?
False
Suppose -7 = -3*g + 8. Suppose -g - 15 = -5*c. Does 2 divide c?
True
Let w(n) = -n**3 + 2*n**2 + n + 161. Let j be w(0). Let r = j + -105. Is r a multiple of 14?
True
Let h = 88 + -55. Is 11 a factor of h?
True
Let r = 179 + -43. Is 34 a factor of r?
True
Suppose -3*t + 197 = 32. Is 14 a factor of t?
False
Does 45 divide ((-263)/3)/(4 - (-39)/(-9))?
False
Let o = -206 + 410. Suppose 5*r - 126 = -4*f + 24, 5*f = 2*r + o. Is 12 a factor of f?
False
Let y be (2/(-5))/(2/10). Let t = 13 + 67. Is 17 a factor of t/(0 + 2) - y?
False
Let w = 12 + 9. Suppose v = 3*n - 2*n + w, 0 = 3*v - 2*n - 62. Is 15 a factor of v?
False
Let b = -111 + 175. Is b a multiple of 16?
True
Let c(z) be the second derivative of -7*z**3/6 - 2*z**2 + z. Is 17 a factor of c(-3)?
True
Let v = 84 - 49. Does 5 divide v?
True
Let z(v) 