 n(r). Does 4 divide -12*6/(-9) + u?
False
Let t(p) = -4*p**3 + p**2 + p. Let c be t(-1). Let x(i) be the first derivative of i**4/4 - 2*i**3/3 - i**2 - 5*i - 3. Does 13 divide x(c)?
False
Let d(h) = -3*h**3 + 2*h**2 - 5*h - 4. Is d(-3) a multiple of 17?
False
Let g be 1/(2/4) - -3. Let k(t) = 2*t - 5. Let i be k(g). Suppose -i*j + 3*j = -4. Is j a multiple of 2?
True
Let p(w) = w**2 - 4*w - 2. Let o be p(4). Is (-38)/(-6) + o/6 even?
True
Suppose -17*p + 1878 = -11*p. Does 18 divide p?
False
Let f(y) = y**2 + 10*y + 4. Let h be f(-4). Let z = -9 - h. Is 6 a factor of z?
False
Let s = 31 - 5. Is s/((-1 + 0)*-2) even?
False
Suppose 4*l = n - 2 - 0, 2*n - 4*l = -4. Let g be 5/4 - (-3)/(-12). Is (n + g)*-1*6 a multiple of 11?
False
Let n(a) = a**3 - 5*a**2 + 5*a - 5. Is n(5) a multiple of 10?
True
Suppose 8*g - 3*g = 10. Suppose 0 = -g*k - k - 9. Is 9 a factor of -27*(2 + 7/k)?
True
Let u(x) be the second derivative of -x**3/6 + 2*x**2 - 3*x. Let d be u(2). Is 3 a factor of 8 + (3 - d)*-3?
False
Let m be (1 - 3)/(2 - 0). Let j be (m/(-2 + 3))/(-1). Let s = j + 4. Does 5 divide s?
True
Let g(q) be the first derivative of -q**4/4 + 8*q**3/3 - 3*q**2/2 - 6*q - 2. Let t be g(7). Let f = -8 + t. Is 14 a factor of f?
True
Suppose 0 = -5*c + 2*h, -2*c - h = -6*c. Suppose -q + 46 + 7 = c. Let b = 81 - q. Is b a multiple of 15?
False
Let i = -15 + 34. Is 19 a factor of i?
True
Let v(r) = 4*r - 15. Is 8 a factor of v(10)?
False
Suppose 0*a = a. Suppose 3*w + r + r - 10 = a, -5*w - r + 19 = 0. Suppose w*y - 23 = 1. Is 6 a factor of y?
True
Let o be -10*1*(-1)/2. Suppose -g - 10 = 5*s, o*s = 3*g - 53 + 3. Is g a multiple of 4?
False
Suppose 0 = -3*t + 964 + 578. Does 31 divide t?
False
Suppose -4*a = -3*k + 9, 6*a + 3 = a + k. Suppose -3*m - m - 8 = a. Does 15 divide 5/(m*1/(-6))?
True
Let d be (-8)/(-3) + 1/3. Let z be (d/6)/(2/(-52)). Is (-7)/14*(z - -1) a multiple of 3?
True
Is 277/11 + 14/(-77) a multiple of 5?
True
Let r = 15 + -9. Suppose 3*v - v = r. Suppose 0 = 3*m + s - 45, -2*m + 0*m + 37 = v*s. Is m a multiple of 12?
False
Suppose -j + 216 = -2*j. Is (6/9)/((-3)/j) a multiple of 24?
True
Let k(j) = j - 4*j - 2 - 4*j + 3*j. Does 4 divide k(-2)?
False
Let v(d) be the third derivative of -d**4/8 + d**3/3 + 2*d**2. Is v(-2) a multiple of 6?
False
Let x(u) be the second derivative of -7*u**3/6 - 4*u**2 - u. Let j be x(-10). Suppose -3*q = 3*h + 20 - j, 13 = h + 2*q. Does 15 divide h?
True
Let u(a) = a + 10. Let b be u(-7). Suppose -13 = -b*j + 4*d, 5*j + 0*d = -d + 37. Is j even?
False
Let l(g) = -2*g. Let p(w) = 3*w. Let a(u) = -3*l(u) - 4*p(u). Is a(-3) a multiple of 18?
True
Suppose 0 = -5*m + p + 3*p + 70, 0 = 3*m - 5*p - 55. Suppose -4*y = -3*y - m. Does 8 divide 32/y*5/1?
True
Suppose 0 = -3*t - 3*u + 9, t = 3*u - 0*u + 3. Let l be 0*(t - 24/9). Let x = 6 - l. Does 5 divide x?
False
Suppose -2*j + f = -32, 21 - 65 = -2*j - 2*f. Is j a multiple of 13?
False
Suppose a - 4*w = -20, -3*w - 1 + 16 = 0. Let d(k) = k + 44. Is d(a) a multiple of 9?
False
Let i(p) be the second derivative of -3*p**3 - p. Does 9 divide i(-1)?
True
Suppose -k + 20 = 3*k, 0 = -5*a + 4*k. Let x be (a/8)/((-1)/(-6)). Suppose 0 = 4*s + 4*w - 20, -s - 4*w = x + 7. Is s a multiple of 6?
False
Suppose -9 = -0*k - k. Is 9 a factor of k?
True
Let h(m) = -m**3 - m**2 + m + 3. Let u be h(0). Suppose -n = -u*n + 12. Suppose 21 = -o + n*o - s, o + 2*s - 13 = 0. Is 5 a factor of o?
True
Let i = 8 + -10. Does 6 divide 12*(10/4 + i)?
True
Let o(g) = -5*g + 37. Is o(6) even?
False
Let s be 0 + -10 + 8 + -8. Let l = 34 + s. Does 8 divide l?
True
Let r = -17 - -11. Let a(y) = -2*y - 8. Let l be a(r). Suppose l*q - 17 - 31 = 0. Does 5 divide q?
False
Let q(g) = -g**2 - 4*g. Let u = 10 + -12. Is q(u) even?
True
Let u = 7 + -4. Let d = u - -13. Suppose -3*g + d = -c, c - 28 = -4*g - 2. Is 6 a factor of g?
True
Let t = 0 - 0. Let a(n) = n**3 - 3*n**2 + 4*n + 2. Let g be a(5). Suppose t*x = -4*x + g. Does 9 divide x?
True
Let z = 11 - 6. Suppose z = -n - 67. Is (n/(-15))/(6/20) a multiple of 10?
False
Let h = -27 - -83. Is 14 a factor of h?
True
Suppose 5*z - 36 - 19 = 0. Suppose z = a - 1. Does 6 divide a?
True
Let t(p) be the third derivative of -p**5/60 + 2*p**4/3 - p**3 - 5*p**2. Is t(8) a multiple of 29?
True
Suppose -2*j + q = -3*q - 514, 0 = 4*j + 5*q - 1054. Is 52 a factor of j?
False
Let f = 5 + -3. Suppose -2*k = -f - 12. Does 5 divide k?
False
Suppose m - 2 = 5*k, 5*m - 125 - 1 = -4*k. Suppose -26 = 4*i + m. Let w = i + 37. Is 9 a factor of w?
False
Let y(u) = 4*u**3 + 5*u**2 - 2*u + 5. Let t(o) = -11*o**3 - 14*o**2 + 6*o - 14. Let g(b) = 6*t(b) + 17*y(b). Does 12 divide g(2)?
False
Suppose 4*x + 4*m - 72 = -0*m, 5*x = -3*m + 100. Does 5 divide x?
False
Suppose 5*g = 2*n + 38, 0 = g - 5*g + 16. Let c = n + 23. Is c a multiple of 7?
True
Is 4/(-3)*-51 + 0 + 4 a multiple of 13?
False
Let h = -1 + 5. Suppose 0 = -6*t + 4*t - 5*u, h = -u. Does 9 divide t?
False
Suppose -4*x + 377 = 93. Is 13 a factor of x?
False
Let v(a) = a**2 - a - 2 + 2. Suppose -19 = -5*r + 3*w, 3*w = 4*r + 4*w - 5. Is v(r) even?
True
Let r(v) = -35*v**2 + v - 1. Let s be r(1). Let g = s + 115. Is 14 a factor of g?
False
Suppose 2*y - b + 3 + 2 = 0, y = -3*b - 20. Let f = 29 + y. Does 8 divide f?
True
Let m = 36 - 18. Suppose m = 3*c + 6. Does 4 divide c?
True
Let r(o) = 7*o - 14. Is r(8) a multiple of 6?
True
Suppose -30 = -5*y - 10. Let k(n) = 3*n - 5. Does 5 divide k(y)?
False
Suppose -2*f - 110 + 642 = 0. Let y(d) = -5*d - 10. Let v be y(-3). Suppose -v*g - i = -246, 4*g - f = -g + 4*i. Is g a multiple of 14?
False
Suppose 174 + 160 = 2*s. Let o = s + -235. Is 14 a factor of 2/5 - o/5?
True
Suppose -4*u - 4*b = -8*b - 112, 4 = -2*b. Is u a multiple of 20?
False
Let s(b) = -b**2 - 14*b - 11. Let y be s(-13). Is (-20)/(-2) - (y + -2) a multiple of 5?
True
Suppose -j - 29 + 194 = 4*x, -4*x = -4. Suppose -4*t - d + 4*d + j = 0, 2*t - 64 = -4*d. Is 19 a factor of t?
True
Suppose -4*z = z - 20. Suppose g - 3 = -z*c, -3*g + 7*g - 12 = -c. Suppose 2*a + 2*q - 44 = c, -2*q = 3*a - q - 62. Is 10 a factor of a?
True
Suppose 12 = 3*v, -3*z - v + 694 = -0*v. Does 23 divide z?
True
Suppose -12 = -j + 3*o + 13, -4*o = -5*j + 81. Does 6 divide j?
False
Suppose -276 + 6 = -2*g. Suppose -5*k + z - 6*z + g = 0, -138 = -4*k + 2*z. Is 16 a factor of k?
True
Suppose -5*j + 5*r + 75 = 0, 7*r = 2*r + 15. Is j a multiple of 9?
True
Suppose -h - 4*h = -240. Suppose -4*i + h = 2*x + 2*x, -5*i + 32 = 3*x. Does 7 divide x?
True
Let m = -12 + 10. Is 18 a factor of (-1 - (-35)/m)*-2?
False
Let d = 853 - 371. Let l be (-2)/(-9) + d/18. Suppose -y = f - l, y + 2*y = 15. Does 17 divide f?
False
Does 10 divide ((6/9)/(4/402))/1?
False
Suppose -92*u + 3712 = -84*u. Does 53 divide u?
False
Let k be ((-4)/3)/4*-6. Suppose -3*o - k + 56 = 0. Does 9 divide o?
True
Let b(c) = -c - 2. Let q be b(-4). Suppose -q*y - 2*y = -60. Does 6 divide y?
False
Let t = -9 + 11. Suppose -2*y + 40 = -o + 3*o, t*y - 31 = -5*o. Does 17 divide y?
False
Let b = 14 - 10. Let v(r) = 12*r + 2*r**2 - 9*r - 7*r. Is v(b) a multiple of 8?
True
Suppose -2592 = -15*p - 3*p. Does 24 divide p?
True
Is 38*(-5 - 76/(-8)) a multiple of 9?
True
Let y be ((-12)/10)/((-3)/120). Suppose -g = -5*g + y. Suppose -x + g = -0*x. Is x a multiple of 5?
False
Suppose -5*i + 8*i - 75 = 0. Is i a multiple of 6?
False
Let x(z) = -z**2 - 11*z. Let l be x(-11). Does 7 divide 0/(-1) - (-46 - l)?
False
Suppose 2*n + 6 = -0*n + 2*b, -3*n - 2*b - 29 = 0. Let w = n - -33. Is w a multiple of 14?
False
Suppose 0 = 4*j + 4*v - 436, 65 = j - 2*v - 38. Suppose j = 2*o - 173. Suppose 0 = p + 4*p - o. Is p a multiple of 14?
True
Let m(p) = -5*p - 4*p + 10*p**2 - p**3 + 12 + p. Does 5 divide m(9)?
False
Let h(d) = 3*d**2 + 4*d**2 + 6*d + 0*d**2 - 6. Let y(z) = 6*z**2 + 5*z - 5. Let g(x) = -5*h(x) + 6*y(x). Is 16 a factor of g(4)?
True
Suppose -140 = -5*v + 5*o, -o - 100 = -4*v - 0*o. Let c be (51 - 0)*6/9. Let y = c - v. Is 10 a factor of y?
True
Let w(g) = -g + 16. Let m be w(6). Suppose 3*p - 3*o - 110 = m, 3*o = 0. Is p a multiple of 21?
False
Let o(a) = a**2 - 5*a - 20. Is 2 a factor of o(9)?
True
Does 2 divide 9/15 + (-28)/(-20)?
True
Let t be 3/(-9) + (-49)/(-3). Let y = 23 - t. Is 7 a factor of y?
True
Let 