 18*r + 8. Is n(15) a multiple of 16?
False
Suppose 335 = 5*l - 0*l. Is l a multiple of 10?
False
Let d(v) = 8*v**2 - 2*v + 15. Let s be d(8). Suppose 5*i + 161 = s. Is i a multiple of 17?
False
Let l = 30 + -1. Is l a multiple of 14?
False
Let i(o) = 1 + 3 - 5 + 3*o + 2. Does 17 divide i(11)?
True
Suppose -3 - 3 = 3*s. Let h be s - 0 - (-1 + 1). Is 2 + (h - (1 - 3)) even?
True
Let n(y) be the first derivative of -y**6/360 - 7*y**5/60 - y**4/24 - 4*y**3/3 + 2. Let k(o) be the third derivative of n(o). Is k(-7) a multiple of 16?
True
Suppose 0 = c + o - 30, -63 = -4*c - 2*o + 57. Does 3 divide c?
True
Let y be 385/66 + (-1)/(-6). Let w(q) = -q**3 - 10*q**2 - 8*q + 12. Let l be w(-9). Suppose -l*o = -42 + y. Is o a multiple of 7?
False
Suppose 0 = m - 2 - 1. Let g(k) be the third derivative of 5*k**4/24 + k**3/6 + 3*k**2. Does 8 divide g(m)?
True
Suppose -i = -3*i + 56. Is 13 a factor of i?
False
Is 23 a factor of 6/(-6 - -9) + 374?
False
Let d be (-4)/(-1*1/7). Suppose w = 3*w - d. Is 14 a factor of w?
True
Suppose -2*l - 2*l = -96. Does 4 divide l?
True
Is ((-106)/4 + -1)*-2 a multiple of 12?
False
Let p(a) = -a**2 + 15*a - 9. Does 26 divide p(6)?
False
Suppose -k - 4 = -2*q, 7*k + 2 = 3*k + q. Let a be (-2)/(2 + k)*47. Let s = a + 89. Does 21 divide s?
True
Suppose 36 = g - 0*g. Is 8 a factor of g?
False
Suppose 0 = -3*u + 3*z + 96, 92 = -u + 4*u - 2*z. Does 28 divide u?
True
Is 806/14 - (-28)/(-49) a multiple of 19?
True
Suppose g + 4*c + 11 = 2*g, 0 = -5*g - 2*c + 33. Does 13 divide 550/14 + (-2)/g?
True
Let d = 0 + 6. Let j = 3 + d. Suppose -j = -3*q + 21. Is 5 a factor of q?
True
Suppose -3*g = -82 - 44. Let t = 63 - g. Is t a multiple of 7?
True
Let m(u) = -u. Let f be m(-3). Suppose -4*i - 72 = -4*s, 7 + f = 5*i. Is 10 a factor of s?
True
Is 17 a factor of 231/6*(-72)/(-42)?
False
Let z be 2/3 + 148/(-6). Let d = 58 + z. Is d a multiple of 17?
True
Let j(a) = -a**3 + 2*a**2 + a. Let o be j(2). Suppose -6*n = -2*v - o*n + 20, 0 = 5*v + 2*n - 50. Does 5 divide -2*v*(-1)/2?
True
Is 5 a factor of (-208)/(-39) - (-2)/(-12)*2?
True
Let a(z) = 50*z - 11. Is a(2) a multiple of 11?
False
Suppose s + 96 = -3*s. Suppose -60 = -a - 3*g - 18, 5*a - 194 = g. Let k = a + s. Is 14 a factor of k?
False
Let l(c) = -c**3 + 10*c**2 + 13*c + 8. Does 26 divide l(11)?
False
Let u = 25 + -12. Is 3 a factor of (-24)/(-156) + 76/u?
True
Suppose 3*j = 4*f + 8, j + 0 = 2*f + 2. Suppose -4*h = -5*z - 61, -3*z = j*h - 0*z - 53. Does 7 divide h?
True
Let m = -4 + -3. Let t = m + 17. Is 10 a factor of t?
True
Let h = -9 + 51. Is 42 a factor of h?
True
Let f(s) be the first derivative of 4*s**3 + s**2/2 + s + 5. Is f(-1) a multiple of 12?
True
Let x be (-4)/(-1) - (-7 - -5). Suppose -x*q = -7*q - 2. Does 18 divide (96/(-28))/(q/14)?
False
Let k = 14 + -77. Let d = -33 - k. Does 6 divide d?
True
Let j(y) = -y + 5. Let m be j(-7). Let h = 48 - m. Is h a multiple of 9?
True
Let q = 5 - -34. Is q a multiple of 6?
False
Let a(z) = -31*z**3 - 3*z**2 + 2*z + 4. Does 37 divide a(-2)?
False
Let d(o) = -7*o + 1. Let u(f) = f**2 + 5*f + 2. Let g be u(-3). Let i be d(g). Suppose -5*q = -i - 21. Does 10 divide q?
True
Let t(a) be the third derivative of -a**5/8 - a**4/4 - a**3/6 - 2*a**2. Let x(u) be the first derivative of t(u). Is 23 a factor of x(-4)?
False
Suppose 0 = -3*r + 6 + 6. Suppose -21 = -q + 5*y, 2*y + 0*y = -r*q + 84. Does 8 divide q?
False
Suppose 0*k + 3*k = 12, -k + 18 = 2*h. Let z = 28 - h. Does 7 divide z?
True
Suppose -115 = -4*q + 5*d, 27 = 2*q - q - 3*d. Does 10 divide q?
True
Suppose 0*u + u + 244 = 5*o, -3*u - 193 = -4*o. Does 14 divide o?
False
Suppose -21*c = -20*c - 16. Suppose -4*i + 4 + c = 0. Is i a multiple of 3?
False
Suppose 4*i - 8 = -4*a, -10 = -2*i - 2*a + 6*a. Let j be (i + -2)*-3 + 6. Suppose 2*y = 1 + 9, 138 = j*f - 3*y. Is f a multiple of 17?
True
Let d = 5 + -6. Let q(r) = -2*r. Let i be q(d). Suppose a - 6*a = c - 198, 0 = -5*a + i*c + 204. Is a a multiple of 20?
True
Is -1 - (-2 + 0 - 145) a multiple of 26?
False
Suppose -43 = -3*z - 5*w, 0*z + 2*z = 5*w + 62. Does 5 divide (-196)/z*(-6)/4?
False
Let n be 254/10 + (-3)/(-5). Does 6 divide n*(-1)/(-4)*2?
False
Suppose 52 = 3*j + 2*c, 3*j - c - 14 = 41. Is 6 a factor of j?
True
Let g = 92 + -8. Is g a multiple of 28?
True
Suppose 0 = -v - u + 11, 2*v - 3*u + 4 = 1. Let r(m) = 9*m**2 + 2*m + 1. Let k be r(-2). Suppose 0 = 2*g + 5*a - k, -3*a - 36 = -v*g + g. Is 4 a factor of g?
False
Let h(k) = -3*k - 3. Let c be h(-3). Suppose 0 = 3*m - 27 - c. Is 7 a factor of m?
False
Is (8/(-16))/(6/(-32))*18 a multiple of 8?
True
Let c(i) = i**2 + 10 - i - 7 - 2*i**2. Let m(f) = f**2 + f. Let b be m(-1). Is c(b) even?
False
Let a = -3 + 5. Suppose 3*r + a*r = 90. Does 8 divide r?
False
Suppose l = -4*p + 7, l - 2*l + 10 = p. Let h(k) = -k**3 + 11*k**2 + k + 4. Is h(l) a multiple of 5?
True
Does 3 divide 1 - (1 + 1)*-2?
False
Let r = -10 - -17. Let g be -2*(r + -1)/3. Let v(y) = y**2 + 4*y + 2. Is v(g) even?
True
Suppose 7*j - 10 = 2*j. Let l = -11 + 16. Let u = l + j. Does 4 divide u?
False
Suppose -2*w + 0*w = 2, 2*w = v - 5. Let a = v - -10. Suppose 2*h = 3*h - 5*y - 8, -y - a = -4*h. Is h a multiple of 3?
True
Let d(u) = -u**2 - 11*u. Let k be d(-11). Suppose -5*l + 3*l + 254 = k. Is l a multiple of 27?
False
Let i(a) = 2*a**2 + 34*a + 20. Is i(-19) a multiple of 32?
True
Suppose -5*l - 6 - 9 = 0. Let b = 3 + l. Let f = 22 + b. Is 10 a factor of f?
False
Let n be (-2)/9 + (-1067)/99. Let i = -8 - n. Does 2 divide i?
False
Let l = 0 + -7. Let z(a) = a**2 + 4*a. Is 9 a factor of z(l)?
False
Let g = -21 + 19. Is (-28 + 1 + -1)/g a multiple of 3?
False
Suppose -a + 12 = -26. Does 11 divide a?
False
Let d = 29 + 23. Is 12 a factor of d?
False
Suppose -q - 3 - 1 = -2*j, -4*q = -j + 16. Let t(m) = -m + 9. Let f be t(6). Does 14 divide (-63)/f*q/6?
True
Is 7 a factor of 332/12 - 4/12*-1?
True
Let v(f) = -6*f**2 + f - 1. Let d be v(-1). Let q = d - -11. Does 3 divide q?
True
Suppose 0 = -3*s + 4*j + 66, 4*s - 81 = s - j. Suppose -2*g - 5*k + s = -3*k, -4*k = 20. Is 18 a factor of g?
True
Suppose -268 = -2*u - 2*u. Does 15 divide u?
False
Let o(z) = -z - 4. Let s be o(-7). Suppose 4*u - 121 = -5*q + s*u, -2*u - 83 = -3*q. Does 23 divide q?
False
Suppose -3*r - 6 = 0, 3*d - 5*r + 25 = 8*d. Suppose 2*k = 3*o - 2*o + d, -4*o - k = 1. Does 7 divide (o + -2)/3 - -10?
False
Let j(m) be the third derivative of -m**3 + 0 - 3/8*m**4 + 0*m + 4*m**2. Is j(-4) a multiple of 11?
False
Let k be (-392)/(-12) - (-4)/(-6). Let v = -14 + k. Is v a multiple of 9?
True
Does 48 divide (-1 + 1 + 1)*4*24?
True
Suppose -12 = -4*w + 4. Let f = -60 + 144. Suppose 0*k = w*k - f. Does 8 divide k?
False
Suppose -c - 4*c = 90. Let o = -3 + 8. Let f = o - c. Does 23 divide f?
True
Let s(a) = a**3 + 4*a**2 - 2*a - 6. Let u be s(-5). Let l = 34 - u. Does 11 divide l?
True
Suppose -168 = -4*d - 0*v - 2*v, 2*d - 84 = 3*v. Is d a multiple of 14?
True
Let t = 54 - -170. Is 49 a factor of t?
False
Let f(d) = -2*d + 14. Is 22 a factor of f(-4)?
True
Let g = -269 + 422. Is 17 a factor of g?
True
Suppose 0*f + 5*f - 205 = -4*s, 0 = 2*f + 2*s - 82. Suppose 6 = -5*h + f. Is h a multiple of 4?
False
Let o(t) = -t**2 - 5*t + 2. Let v be o(-5). Let c be (0/(v/2))/1. Suppose -b + 33 + 18 = c. Is 18 a factor of b?
False
Let h(s) be the first derivative of 3*s**2/2 - 5*s + 1. Let c be h(6). Is 13 a factor of 3*c/(3/3)?
True
Suppose -2*g = -3*g + 2. Suppose 48 = y + g*y. Is 16 a factor of y?
True
Is 1 + -1 - (21 - 225) a multiple of 65?
False
Let r(p) = p**3 + 7*p**2 + 5*p - 3. Let d be r(-6). Suppose 0 = 3*m - 6*m - d. Is 28 + (m - 1/1) a multiple of 8?
False
Suppose 28 - 63 = -5*y. Let r(w) = w**3 - 5*w**2 - 7*w + 11. Is r(y) a multiple of 15?
True
Let k(z) = 6*z. Is k(4) a multiple of 8?
True
Let u be 2 + (-16)/2*1. Let c = 0 - u. Suppose -5*i = -71 + c. Is i a multiple of 9?
False
Let s = -4 + 7. Let m be 40*(-1)/((-2)/s). Suppose 5*z - 5*f - m = 0, -z + 5*f - 2*f = -12. Is z a multiple of 5?
False
Let b(l) = l**3 + 8*l**2 + 8*l + 13. Let j = 3 - 9. Is b(j) a multiple of 17?
False
Let b(j) = -6*j**2 - 12*j + 22. Let x(i) = -4*i**2 - 8*i + 15. Let o = -15 + 10. Let y(d) = o*b(d) + 7*x(d). Does 11 divide y(-4)?
True
Is (2/(-5))/((-7)/385) a multiple of 