 divide r?
False
Let y(s) = -3*s - 1. Let f(k) = 5*k + 3. Let i(d) = -4*f(d) - 7*y(d). Let q be i(3). Let v = q - -6. Does 2 divide v?
True
Let z(u) = u**2 + 18. Let y = 3 + -3. Is 9 a factor of z(y)?
True
Let u(b) = 4*b**3 - 2*b**2 - 2*b + 3. Let l(q) = q**2 - 2. Let v be l(-2). Is u(v) a multiple of 8?
False
Let v = -31 - -24. Let m(t) = -t**2 - 6*t + 14. Is m(v) even?
False
Is 43/9 - (-12)/54 a multiple of 3?
False
Suppose -1 = 2*b - 3*m + 2*m, 0 = 3*b + 2*m - 2. Let j(i) = 2*i + 10. Let d be j(-8). Let q = b - d. Does 6 divide q?
True
Let h(m) = 48*m**2 - m - 1. Suppose -3*k + 4*f - 3*f = 5, -k = -f + 5. Let w be -6 - -5 - k/1. Is 16 a factor of h(w)?
True
Let b(v) be the first derivative of v**4/4 - 8*v**3/3 + 3*v**2/2 - 9*v - 4. Let q be b(8). Suppose 76 = 4*y + 4*g, -y = 4*g + g - q. Is 20 a factor of y?
True
Is (-3)/1 + 2 + -1 - -24 a multiple of 5?
False
Suppose -7*k + 5*k = -28. Is k a multiple of 14?
True
Let q(f) be the third derivative of f**6/120 - f**5/60 + f**4/24 - 16*f**3/3 - 4*f**2. Let y be q(0). Let s = 47 + y. Is s a multiple of 4?
False
Does 9 divide ((-57)/(-6) + -4)*8?
False
Let g(q) be the first derivative of -q**4/4 + 5*q**3/3 - 5*q**2/2 + 6*q - 1. Suppose 2*z - 5*k - 3 = 0, z - 13 = -3*z + 3*k. Is 2 a factor of g(z)?
True
Let k(f) = -15*f. Let w be k(-6). Let a = -26 + w. Does 32 divide a?
True
Suppose 3*d = x - 305, 2*x - 5*d = 438 + 175. Is 9 a factor of x?
False
Let x(a) = 5*a**2 + 12*a + 2. Let z(w) = 3*w**2 + 8*w + 1. Let t(k) = 5*x(k) - 8*z(k). Is 2 a factor of t(4)?
True
Suppose -3*s - 5*o = -s + 29, 10 = 5*s - 4*o. Let h = 16 - s. Is h a multiple of 6?
True
Is 21 a factor of 1/(2 + 83/(-42))?
True
Let r(m) = 46*m**3 + m**2 + 2*m + 1. Let o be r(-1). Let i be 1*-3 - (1 - o). Let y = i + 88. Is 13 a factor of y?
False
Does 10 divide (5/4)/(6/240)?
True
Is (-2)/8 - (-275)/44 a multiple of 3?
True
Let o = -57 + 99. Is o a multiple of 14?
True
Let k = -37 + 59. Suppose 2*v - 11 = -t - 3, 0 = -t + 5*v + k. Does 7 divide t?
False
Suppose -3*l = -27 - 54. Is 27 a factor of l?
True
Suppose -2*y - 200 = -7*y. Does 10 divide y?
True
Suppose 0*w - 4*l - 36 = -5*w, 0 = 2*w + 2*l - 18. Suppose -w = -4*o, -2*o = 5*p - 4 - 15. Is p even?
False
Suppose 0 = 2*q - w - 141, -5*q + q = 2*w - 302. Does 16 divide q?
False
Suppose 78 = 5*o - 4*i, 2*o - o - 20 = 3*i. Is o a multiple of 5?
False
Let v(p) = -p + 8. Suppose -4*d + d = 0. Does 6 divide v(d)?
False
Let k(z) = 5*z**2 - 2*z + 6. Is 8 a factor of k(3)?
False
Let m(i) = 12*i + 8. Is 18 a factor of m(6)?
False
Suppose -3*u - 6 = -4*d, 0 = 3*d - 5*u + 2 - 1. Suppose 0 = -d*z + 4*x + x + 94, 3*z = 4*x + 98. Is 19 a factor of z?
True
Let s be 3/4 - 891/(-12). Suppose 0 = 5*p - 4*t - s, 3*p + 4*t - 52 + 7 = 0. Does 10 divide p?
False
Suppose -3 = -d - 5. Let m be (-8)/d*(3 - 2). Is m - (0 + -2 + -1) a multiple of 3?
False
Let c = 0 - -3. Let l(v) = -v**2 - v**c + 2 + 6*v**2 + 6*v + v. Is l(6) a multiple of 3?
False
Suppose 0*m + 3 = 3*m. Let f be -1 + 1*14*m. Suppose u = f + 11. Is 9 a factor of u?
False
Let d = 77 - 55. Suppose 4*s = -2*n - 0*n - 12, -3*n = -2*s - d. Is n even?
True
Suppose 65 = 7*d - 215. Is d a multiple of 10?
True
Let o = 124 + -89. Is 10 a factor of o?
False
Let p(m) = -m**3 - 9*m**2 + m + 11. Let r be p(-9). Suppose 7*q - 10 = r*q. Let g = q - -1. Is g a multiple of 3?
True
Is (38/6)/(-1)*(-10 + -5) a multiple of 19?
True
Let d(w) = -3*w**3 - 5*w**2 - 3*w + 4. Let v(k) = k**2 + 4*k. Let m be v(-3). Does 24 divide d(m)?
False
Let x(w) = -w**2 - 7*w - 5. Suppose 4*y + 0 = -24. Let j be x(y). Does 5 divide 30/3 + (-1 - j)?
False
Let a = -86 - -222. Is a a multiple of 8?
True
Is (4/((-4)/(-9)))/1 a multiple of 9?
True
Suppose -3*k + y = -348, 60 + 54 = k - y. Does 9 divide k?
True
Let z(s) = -10*s**3 + s**2 + 2*s + 2. Does 22 divide z(-2)?
False
Suppose 5*z + m - 2*m - 13 = 0, -3*m = -5*z + 19. Suppose 2*g - 4*g - 92 = -4*c, 5*g + 54 = z*c. Does 11 divide c?
True
Let z(v) = -v**3 - 10*v**2 + 10*v - 11. Let o be z(-11). Suppose o = 5*k - 25, -k + 26 = x + k. Does 8 divide x?
True
Let y = -143 - -353. Is 15 a factor of y?
True
Suppose -2*c + 3*k - 4*k = -70, 2*c = -3*k + 78. Suppose -c = -5*a + 2. Is 4 a factor of a?
False
Suppose -2*i - 7 - 9 = -u, 47 = 2*u + i. Is u a multiple of 11?
True
Let g(n) = n**2 + n + 65. Let t be g(0). Is 8 a factor of 1/(-4) - t/(-4)?
True
Suppose w + 5 = 16. Suppose 0 = w*b - 6*b - 195. Does 13 divide b?
True
Let c = 20 - 5. Suppose -z = -2*z + c. Suppose b = 5*a - 37, 5*a + 3*b - 64 = -z. Is 4 a factor of a?
True
Suppose -r = 17 - 139. Does 16 divide r?
False
Suppose -3 = 4*j - 67. Suppose -2*c + j = 2*c. Is (6/c)/(6/88) a multiple of 12?
False
Is 19 a factor of -341*(-2)/8 + 7/(-28)?
False
Let u be (12/10)/((-4)/(-80)). Suppose -4 = -i + u. Does 28 divide i?
True
Let b = 65 - 33. Does 11 divide b + (0 - 1)*-1?
True
Let m = 26 - 10. Let k = -6 + m. Is k a multiple of 7?
False
Suppose 2*i + 5*y - 18 = 124, -3*y - 142 = -2*i. Is 21 a factor of i?
False
Suppose 2*z + 0 = 2*c - 14, 4*c + z - 18 = 0. Suppose 0 = c*l + 5*g - 147 - 13, 2*l + 3*g = 68. Is 10 a factor of l?
False
Suppose 0 = 5*q + 3*g - 2 - 4, -5*q + 5*g = -30. Suppose 2*t = 1 - q. Does 14 divide (4 + t)*28/6?
True
Suppose 2*a - 73 = -3. Suppose 2*n + 4*j = -3 + a, -7 = 3*n - 5*j. Is 3 a factor of n?
True
Suppose -2*s + 1 = -5. Suppose -4*u - 5*w + 35 = 0, -7*u + s*u = -3*w - 11. Is 2 a factor of u?
False
Suppose -4*c - c = -70. Let w = 24 - c. Is w a multiple of 5?
True
Let v be (6 - 11)*2/(-10). Is (v + 21/(-6))*-12 a multiple of 8?
False
Suppose 3*a - 210 = -4*a. Does 15 divide a?
True
Let a(j) be the first derivative of j**3/3 - 3*j**2/2 + 4. Let f = -1 - 4. Does 20 divide a(f)?
True
Let o = -10 + 109. Is o a multiple of 11?
True
Let a = 7 + 0. Let y = 38 - a. Is 11 a factor of y?
False
Suppose 0 = -5*p + 30 - 5. Suppose -p*f = x - 57, -3*f + 8*x = 3*x - 51. Does 6 divide f?
True
Suppose 0*v + 52 = -4*v. Let b = v + 31. Is b a multiple of 6?
True
Let s = -719 - -1022. Suppose 4*l - s = l. Suppose -4*m = -23 - l. Is 18 a factor of m?
False
Let w(c) = 4*c**2 + c + 1. Let d be w(-1). Suppose -d + 2 = -a. Let h = a - -12. Is h a multiple of 14?
True
Let c(w) = 30*w**2 + w. Let k(z) = -z**2 - 10*z + 1. Let n be k(-10). Is c(n) a multiple of 8?
False
Let g(c) = c**3 - 6*c**2 + c - 8. Let n be g(6). Let b be (-1)/n*(-1 + 1). Does 11 divide 1*(b - (-8 - 3))?
True
Suppose 0 = x + 1, 2 = 3*l + 5*x - 5. Suppose 2*k - 11 = q, -l*k + 37 = -q - 4*q. Suppose 0 = -2*v - 4, 5*y + k*v = v + 136. Is 14 a factor of y?
True
Suppose -4*t = -5*u - 181, -3 = -t - 5*u + 11. Is 3 a factor of t?
True
Let z(y) = y**2 - 6*y - 10. Let o be z(-8). Suppose -3*v + 24 + 44 = 2*x, -5*v = -3*x + o. Is 12 a factor of x?
False
Let j = -19 - -11. Let x = j - -38. Suppose 2*k + 27 = 6*k + 3*y, -3*k = -y - x. Does 9 divide k?
True
Does 11 divide 4 - (-122 + -1) - 3?
False
Suppose 1 = 3*t - 8. Let g = t - -13. Is 9 a factor of g?
False
Let m(g) = 18*g**2 + 7*g + 2. Is 37 a factor of m(3)?
True
Let a = -3 + 1. Let i be (-52)/((-12)/(-9) + a). Is (i/9)/((-2)/(-6)) a multiple of 13?
True
Let o(a) = a - 4. Let m(c) = 3*c - 7. Let w(n) = -3*m(n) + 5*o(n). Let t be w(-1). Suppose -4*h = q - 73, q + 38 = -t*h + 128. Is 17 a factor of h?
True
Let k(p) = 4*p**2 + 14*p. Does 12 divide k(-6)?
True
Suppose -6*s = 3*s - 270. Is s a multiple of 6?
True
Let f(a) = 136*a**2 - 6*a - 2. Is f(-1) a multiple of 7?
True
Suppose 0 = u - 3*u + 14. Let r(d) = -d**3 + 2*d**2 - 5*d - 2. Let c(m) = m**3 - 3*m**2 + 5*m + 3. Let a(x) = -6*c(x) - 5*r(x). Is a(u) a multiple of 3?
True
Let b(r) = 19*r**3 + r**2 - r. Let t be b(1). Suppose 2*f - 67 + t = 0. Is 11 a factor of f?
False
Does 8 divide 1/(-2)*(-16 + -2)?
False
Let m be 58 + (-2)/1 - 1. Let k = m + 1. Does 9 divide k?
False
Suppose 4*d = -0*d + 28. Suppose 2*i - y = 57, i + 3*y = 39 - d. Is i a multiple of 10?
False
Let y(v) = -v**3 + 2*v**2 + 2*v + 3. Is y(-2) a multiple of 15?
True
Let m(z) = 5*z. Let u(o) = -4*o. Let a(k) = 3*m(k) + 4*u(k). Let w be a(-4). Suppose 70 = w*s + 5*d, -s + 4*d = -18 - 10. Is s a multiple of 10?
True
Is (-16)/(-2 + (0 - -1)) a multiple of 3?
False
Is 12 a factor of (-9)/((-27)/6) - -19?
False
Suppose -260 = -5*m + 2*c, m + c - 4*c - 65 = 0. Is 10 