)?
True
Let q be -16 + 0 + 1/(-1). Let t be 2*27*(-3)/(-6). Let f = t + q. Is f a multiple of 10?
True
Let w be 1/2*2 - -26. Let l = 44 - w. Is 17 a factor of l?
True
Let i(g) be the third derivative of 19*g**4/12 + g**3/6 - 5*g**2. Is 20 a factor of i(2)?
False
Suppose -2*u + 6 = x, -2*u + 0*x + 5*x + 30 = 0. Suppose 0 = u*c + 3*r - 8 - 47, 5*r = -2*c + 22. Does 11 divide c?
True
Suppose 56*k = 55*k + 54. Is 10 a factor of k?
False
Suppose 0 = 5*r + 3*g - 18, -2*r + 2*g = -3*r + 5. Suppose 0 = 2*o - 2*t - 84, 0*t = -2*o - r*t + 79. Is 17 a factor of o?
False
Let r(x) = x - 14. Let m be r(10). Let o(q) = -5*q + 4. Is 8 a factor of o(m)?
True
Let h(p) = 7*p**3 - p**2 + p - 1. Is 4 a factor of h(1)?
False
Let c(d) = 2*d + 13. Let n be c(9). Suppose -s + n = -0*s. Let q = s - -5. Is q a multiple of 19?
False
Let i = -130 - -60. Let d = i - -127. Is d a multiple of 19?
True
Let b(d) = 16*d**2 - d. Let p = -3 + 3. Let u = 1 + p. Does 15 divide b(u)?
True
Let w = 3 + -10. Let d = 3 - w. Suppose 0 = -2*h - d, -6*i + i - h = -95. Is 10 a factor of i?
True
Is 2/(-4*(-1)/26) a multiple of 11?
False
Let i be (13 - 1)*(-2)/(-6). Suppose -8*z + 16 = -i*z. Is z a multiple of 2?
True
Let w be (-164)/(-6) + 2/(-6). Let f = 39 - w. Is f a multiple of 12?
True
Let c(u) = 16*u + 9. Does 19 divide c(3)?
True
Suppose -5*s = t - 0*s - 36, t = 4*s + 36. Suppose -5*d - t = -116. Does 8 divide d?
True
Suppose -2*r + 215 = 3*r. Suppose -5*d + 3*f - 101 = 0, 0 = 3*d - 3*f + 61 - 4. Let z = d + r. Is z a multiple of 12?
False
Suppose -3*m + 6 = -0*m, -2*i + 278 = -5*m. Does 25 divide i?
False
Suppose -2*t - o = 2*t - 124, 4*t - 120 = -2*o. Suppose 3*k - 6*k = 2*a - t, -2*k - 2*a + 20 = 0. Let y = k + -4. Is y a multiple of 4?
True
Let l be (-2)/6 + 101/(-3). Let c = l - -14. Does 4 divide (12/(-10))/(3/c)?
True
Let q(t) = 2*t - 5*t + 10*t - 1 + 7. Is 26 a factor of q(14)?
True
Suppose 0 = -3*x - 12 - 12. Let n(t) = t**3 + 8*t**2 - 9. Let y be n(x). Let f = y - -26. Is f a multiple of 8?
False
Let s(w) = w**2 + 8*w - 5. Is 12 a factor of s(-13)?
True
Let w = 19 + 3. Let j be 4*((-14)/(-4) - 2). Suppose -4*h - j = -w. Is 2 a factor of h?
True
Let i = 73 + -44. Is i a multiple of 16?
False
Suppose -10*a + 18*a - 1072 = 0. Does 16 divide a?
False
Let q(x) = 4*x**2 - x - 2. Let y = -6 + 3. Does 27 divide q(y)?
False
Let y(s) = -s + 2*s**2 + 2*s + 9 - 18. Is 12 a factor of y(-5)?
True
Suppose 0*g = 2*g - 92. Is g a multiple of 23?
True
Suppose -3*c + 7*c - 32 = 0. Is 4 a factor of c?
True
Suppose 5*p - 94 = 56. Suppose -p = -9*d + 6*d. Does 5 divide d?
True
Let f = -14 + 15. Let v(m) = m - 7. Let t be v(6). Does 8 divide (-1)/t - f*-7?
True
Suppose -2*c - 5*t - 284 = -4*c, -5*t - 20 = 0. Is 6 a factor of c?
True
Let l = -7 + 10. Suppose 0*g + 3*g = 3*i + 141, l*g = 4*i + 137. Is 30 a factor of g?
False
Let z(h) = h**2 + 4*h - 2. Let a be z(3). Let w = a - -14. Is w a multiple of 10?
False
Suppose 0 = -5*d + 9 + 11. Suppose 5*o - 88 = -d*a, 2*a + 3*o - 63 = -a. Does 8 divide a?
False
Let p = 0 - 7. Let n(w) = -2*w + 3. Let g be n(p). Let d = g - -9. Is d a multiple of 13?
True
Suppose 0 = 4*v - 34 - 38. Does 9 divide v?
True
Let n = -1 + 41. Is 20 a factor of n?
True
Let g(z) = -4*z + 10. Is g(-5) a multiple of 10?
True
Suppose 3*t + 5*l - 6 = 0, 5*l = -4*t + 15 - 7. Suppose -3*j - 3*y = -192, 0 = -5*j + t*j + y + 192. Let c = j + -40. Does 12 divide c?
True
Let i be (-9)/6 - (-1)/(-2). Let q be (i - -2) + 15/3. Suppose 12 - 68 = -3*k - q*a, 5*a + 76 = 3*k. Is 11 a factor of k?
True
Let p = -33 - -97. Suppose -y = -2*y + 38. Let u = p - y. Is u a multiple of 13?
True
Let k = 8 + -6. Suppose 3*g - k*g = 52. Suppose -2*c + t + g = -t, 4*c = -2*t + 110. Is 12 a factor of c?
False
Let t be (12/(-15))/((-2)/(-80)). Let j be (-1)/(-4) - (-70)/8. Is (-3)/j + t/(-6) a multiple of 5?
True
Let b(a) be the third derivative of -a**5/60 + a**4/6 + 5*a**3/6 - a**2. Let q be b(6). Is 4 a factor of 2 - q/((-21)/(-18))?
True
Let v(i) = -8*i - 3*i**2 - 4*i + 2 - 8 + 2*i**2. Is v(-8) a multiple of 10?
False
Let n = 490 - 163. Is 33 a factor of n?
False
Suppose 2 + 1 = -3*y. Let x be 0/(3*y/(-3)). Let g = x + 13. Is 13 a factor of g?
True
Let r be (-6 + 1/1)*1. Suppose 4 = -3*n + 7. Is 7 a factor of n - 2 - (-5 + r)?
False
Let p = 165 + -101. Is 16 a factor of p?
True
Suppose 3*q = 3*s - 135, -5*q = -4*s - 0*s + 182. Is s a multiple of 27?
False
Let l(y) be the second derivative of -y**3/2 + 3*y. Let f be l(-2). Suppose -f*k + 95 = -k. Does 11 divide k?
False
Let w(m) = m**3 + 9*m**2 + 8*m - 6. Let i be w(-8). Is (0 - i)/(3/16) a multiple of 8?
True
Suppose -3*b - b - 8 = 0. Let t be 2*b/8*2. Is t/5 - (-858)/15 a multiple of 15?
False
Let o be 96/44 - 8/44. Suppose -o*z + 51 = -57. Does 27 divide z?
True
Let a(k) = -2*k**2 - k. Let r be a(2). Let p = r + 22. Is p a multiple of 12?
True
Suppose 0 = 2*o - 3*o + 10. Suppose 0 = 4*g - 50 + o. Suppose g = -5*m + 50. Does 6 divide m?
False
Suppose -24 = -4*n + 56. Does 3 divide n?
False
Let w(z) = -9*z + 2. Let l(m) = 10*m - 2. Let g(q) = 5*l(q) + 4*w(q). Is 4 a factor of g(1)?
True
Let g be (-6)/(-3)*1/(-2). Let o be 1/(6/4 + g). Is 8 a factor of (4 - 2)*13/o?
False
Does 2 divide 11 - (-8)/(2 - -2)?
False
Let a(d) be the third derivative of 0 + 0*d + 3/2*d**3 + 3*d**2 + 1/24*d**4. Does 8 divide a(0)?
False
Is 26 a factor of 76 - ((-16)/(-12))/((-2)/3)?
True
Suppose -8*t = -10*t + 16. Suppose 2*f - t = 2. Is f a multiple of 3?
False
Let r = 1 - -3. Suppose 5*t + 14 = -p, -r*t - 42 = -5*p - t. Is 2 a factor of p?
True
Let l be 1*-9*2/(-3). Suppose -k - 10 = -l*k. Suppose -3*h = -x - 4, -3*x - 10 = -k*x - 5*h. Is x a multiple of 2?
False
Is (25/10)/(2/4) a multiple of 2?
False
Is 3 + (-4 - (-4 - 35)) a multiple of 10?
False
Suppose 5*g = -2*d - 0*d + 14, d = -2*g + 5. Let k be ((-4)/(-2))/((-3)/d). Suppose 0 = 6*i - k*i - 48. Does 12 divide i?
True
Let k(v) = -4*v**2 + 4*v - 6. Let p be k(7). Does 21 divide ((-2)/(-4))/((-3)/p)?
False
Does 36 divide -5 - (5 + 666/(-2))?
False
Let s = -2 - 2. Is -18*(3 - (-14)/s) a multiple of 7?
False
Let p(r) = 6*r**2 + 1. Let l(s) = -s**2 + 4*s - 4. Let f be l(3). Let w be 2/(-4)*-2*f. Does 7 divide p(w)?
True
Let w(n) = n**3 + 9*n**2 + 6*n + 2. Is 18 a factor of w(-8)?
True
Suppose 0 = -10*z + 14*z - 52. Is z a multiple of 9?
False
Let i = 24 - 10. Let x = -30 + i. Let o = 25 + x. Is 9 a factor of o?
True
Suppose -2*b + 99 = -5*b. Let g = -14 - b. Is g a multiple of 5?
False
Let u be ((-6)/(-4))/((-9)/(-42)). Is ((-14)/u)/((-1)/8) a multiple of 8?
True
Let b(y) = 3*y + 7. Let i be b(2). Suppose 3*j - 5*j - 16 = -4*a, -2*a - j = -4. Suppose -a*l - i = -4*l. Does 13 divide l?
True
Let d be (2 - 3)/(3/48). Let j = 27 + d. Is j a multiple of 5?
False
Let i(d) = -d**3 + 8*d**2 + d - 9. Let t be i(8). Let c be t + -2 - -2 - -1. Does 10 divide (c + -1)*(3 - 33)?
True
Let g(d) = -7*d + 2. Let i be g(-4). Let q be -6 + 6 + 0 + i. Does 6 divide (-117)/(-5) - 12/q?
False
Let y(l) = l**3 - 5*l**2 - l + 5. Let j be y(5). Suppose -4*p + 20 = j, 0*z - 303 = -4*z + p. Does 18 divide z?
False
Let l = 14 + 10. Is l a multiple of 6?
True
Let m be (2/6)/((-3)/(-18)). Let i(c) = c + 7. Let b(n) = -2*n - 22. Let d(a) = 5*b(a) + 16*i(a). Does 10 divide d(m)?
False
Suppose -2*a = -0*a. Let x be 3/(-2)*(-1 - 11). Let w = x + a. Does 18 divide w?
True
Suppose w - 31 = -0*w. Suppose -3*i = -56 - w. Does 14 divide i?
False
Suppose -3*s - 4 = -19. Suppose -12*x = -5*x. Let w = x + s. Is w a multiple of 5?
True
Suppose 4*d - 1 + 41 = 0. Does 14 divide 4/10 - 356/d?
False
Suppose -2*d + 11 = -1. Let t be (1 - 40)*4/d. Let l = -15 - t. Is 8 a factor of l?
False
Suppose -4*w + 3*w + 5 = 0, w + 19 = -4*u. Let z be (3/(-4))/((-3)/(-12)). Is 14*z/u - -2 a multiple of 9?
True
Let n be -18*(2 - 6)/(-4). Is 9 a factor of (n/(-4))/(1/2)?
True
Let a = 4 - 3. Let w(c) = -2*c**3. Let m be w(-1). Is 6 + a*(m - 2) a multiple of 3?
True
Let f(x) be the first derivative of x**3/3 + 5*x**2/2 + 4*x - 7. Does 18 divide f(6)?
False
Let f be (2 - 1)/((-2)/(-8)). Suppose 2*t - 98 = u - 0*u, f*t + u = 208. Let r = -35 + t. Does 8 divide r?
True
Let c be 1178/5 - (-2)/5. Let m = -161 + c. Suppose -27 = 4*k - m. Is k a multiple of 7?
False
Let a = -78 - -239. Is a a mu