t = 141 + -74. Is 13 a factor of t?
False
Is 13 a factor of (-3 + 1 + 15/6)*52?
True
Let j(v) = -v**2 + 7*v + 10. Let a be j(6). Let l = -14 + a. Is l a multiple of 2?
True
Let z(h) = -h**3 + 5*h**2 + 4*h - 5. Is z(5) a multiple of 8?
False
Let u(z) = z**3 - 8*z**2 - 9*z + 2. Let l be u(9). Let m = 10 - l. Is m a multiple of 4?
True
Let c be 1*(-2 - -1)*-3. Suppose 2*d = -4*s + 42, 0 = -s - 2*s + 5*d + 25. Let n = c + s. Is 13 a factor of n?
True
Let z = 1 + 6. Let j = z - 4. Let u(x) = x**3 - 3*x**2 + 3*x + 4. Does 9 divide u(j)?
False
Let g = 28 + -7. Is 16 a factor of g?
False
Suppose -4*j - 6 = 2*d, 7 = -4*d - d - 2*j. Let c(r) = -2*r - 6. Let o be c(-4). Let p = o - d. Is p even?
False
Let m = 36 - -34. Suppose l = -n - 3*n + 149, 4*l = 2*n - m. Is n a multiple of 13?
False
Let a = 29 - 16. Suppose -2*l + 4*x + a + 73 = 0, -4*l + 5*x = -166. Let d = -11 + l. Is d a multiple of 10?
False
Suppose -6 = -3*n - 18. Is 7 a factor of (-1 + n)*42/(-15)?
True
Suppose 3 = -p - 0. Let h be p*2/(-3)*1. Suppose 0*a - h*a = -30. Is 15 a factor of a?
True
Let i(z) = -z**3 + 3*z**2 + 6*z - 1. Let h be i(4). Suppose -h = 4*r - 59. Is 8 a factor of r?
False
Let q(h) = 2*h**2 - 5*h + 4. Does 3 divide q(3)?
False
Suppose -2*l = 2*l - 208. Does 13 divide l?
True
Suppose -3*l + 2*i = -84, 112 = 4*l + 4*i + i. Does 7 divide l?
True
Let z(v) be the third derivative of -v**4/24 - v**3/6 + 2*v**2. Let c(f) = -12*f + 1. Let m(q) = c(q) + 2*z(q). Is 13 a factor of m(-1)?
True
Let x = 76 + -6. Does 6 divide x?
False
Suppose -3 = -r + 4. Let h = -1 + r. Does 5 divide h?
False
Let n(q) = -13*q - 9. Let v be ((-6)/(-4))/((-3)/6). Is n(v) a multiple of 15?
True
Suppose 2*p + 4*c = 44 + 24, 4*p = -2*c + 118. Is p a multiple of 13?
False
Suppose 0 = -n + 4*n - 57. Is n a multiple of 14?
False
Let j = 4 + -35. Let g be -3 - 1*2*j. Let b = g + -35. Is b a multiple of 12?
True
Suppose -r - 4*r = -v - 863, -2*r + 338 = 2*v. Suppose -56 = 4*c - r. Is c a multiple of 7?
False
Let g(o) = -5*o - 15. Is g(-6) a multiple of 15?
True
Suppose -o - 156 = -2*j - 31, -3*o - 75 = -j. Suppose j = m + 4*x - 0*x, 210 = 3*m + 2*x. Does 12 divide m?
True
Does 13 divide (-3005)/(-45) - (-4)/18?
False
Let v = -3 - -5. Let h(n) = 2*n - 9. Let l be h(6). Suppose 2*g + v*g = 2*w + 20, -3*w = l*g - 6. Is 2 a factor of g?
True
Let i(f) = 13*f - 65. Let r be i(14). Let b = 11 + -6. Suppose h - 75 = -h - b*k, -4*h + r = -k. Is h a multiple of 10?
True
Suppose 5*u + 0 = 5. Let t be u + (1 + -1 - -2). Suppose -i + 23 = -t*a, -i = -3*i - 3*a + 64. Is 9 a factor of i?
False
Suppose 0 = -b - 2*a + 1 - 6, -a - 19 = -5*b. Is 6 a factor of (2/b)/(1/9)?
True
Let u(l) = -3*l**2 + l + 2. Let a be u(2). Does 16 divide (a/(-10))/((-4)/(-80))?
True
Let k = 42 - 18. Is 12 a factor of k?
True
Let x = -20 + 38. Does 5 divide x?
False
Let r(d) = 5*d - 2. Let z(o) = o. Let l(v) = -r(v) + 4*z(v). Suppose -3*w = 20 + 4. Does 10 divide l(w)?
True
Suppose f - 2*x - 36 = 0, -3*x = 2*f + 2*f - 111. Does 6 divide f?
True
Let z(d) be the third derivative of d**5/3 - d**4/24 - d**3/6 + 3*d**2. Is z(-1) a multiple of 11?
False
Let z be -2 + 3/3 + -17. Let q be 28/36 - 4/z. Is -12*(-3)/(6*q) a multiple of 3?
True
Let x be (-75)/(-6) + (-2)/4. Suppose 2*h - k = 39, 0*k - 2*k + x = h. Does 18 divide h?
True
Suppose -5*s + 35 = -5*u, s + 0*s = 5*u + 15. Let r = 12 - s. Does 3 divide r?
False
Let z(k) = -k**3 + 5*k**2 + 6*k + 11. Does 2 divide z(6)?
False
Let j(u) = -5*u**3 - 3*u**2 - 2. Let k(w) = 2*w**3 + w**2 + 1. Let t(y) = 3*j(y) + 8*k(y). Let b = -1 + 1. Is 2 a factor of t(b)?
True
Let l = 0 + 3. Suppose 5*f - 4*s = 150, -l*f - 58 = -5*f + 2*s. Suppose -z = -f - 15. Does 17 divide z?
False
Let o be 2 + 1/((-1)/(-49)). Let m = o + -33. Is 14 a factor of m?
False
Let t(z) = 4*z**3 - 10*z**2 + z + 1. Let b be (3 - 2)/(-2 + 1). Let w(a) = a**3 - a**2. Let l(v) = b*t(v) + 5*w(v). Is 10 a factor of l(-3)?
True
Let y(w) = 5*w**2 - 2*w - 15. Does 19 divide y(4)?
True
Let d = 90 + -48. Suppose -2*f = f - d. Is f a multiple of 14?
True
Let z(t) be the second derivative of -t**4/12 + 2*t**3 - 7*t**2 + t. Is 5 a factor of z(10)?
False
Does 9 divide (25/20)/(4/144)?
True
Suppose 6*d - 4*n + 31 = d, 3*d = -2*n - 1. Let b be 4/4 - d/1. Suppose -b*p = -2*x - 21 - 7, 5*p = 3*x + 36. Is p a multiple of 3?
True
Suppose 4*o + j - 3 = 0, 0*o - 5*j = -3*o + 31. Suppose 47 = o*q - 61. Does 18 divide q?
True
Let g(n) be the third derivative of n**7/105 + n**5/120 + n**4/24 - 2*n**2. Let u(o) be the second derivative of g(o). Does 11 divide u(1)?
False
Let y = 11 - 7. Suppose -y*w = -90 + 26. Is 8 a factor of w?
True
Suppose 6*y = 23 + 79. Is 7 a factor of y?
False
Suppose p - 162 = -5*n - p, 0 = 4*n + 3*p - 131. Is 7 a factor of n?
False
Suppose -g - 2*b = -158, g + 3*b - 317 = -g. Is 40 a factor of g?
True
Let u(t) = 2*t + 6. Let s(v) = -v + 19. Let b be s(11). Suppose -2 = -i + b. Does 19 divide u(i)?
False
Let x be (0/(-4) - 4) + 8. Let h = x + 5. Is 2 a factor of h?
False
Suppose -4*q - 3 = -35. Is q a multiple of 5?
False
Does 61 divide 0*4/(-16) + 424?
False
Let y be 12/(-5)*(-10)/(-3). Let c be 2 - 1*(-1 - y). Let l(a) = a**3 + 4*a**2 - 6*a. Does 5 divide l(c)?
True
Let i(j) = j + 6. Let t be i(5). Suppose -4*p - 7 - t = -5*f, 2*p + 14 = 5*f. Is p/4*(0 + -18) a multiple of 4?
False
Let x(l) = l**2 - l - 2. Is 10 a factor of x(-6)?
True
Suppose 4*h - u = -4*u + 351, 4*u - 188 = -2*h. Is h a multiple of 42?
True
Let z(p) = -6*p - 9. Is z(-9) a multiple of 9?
True
Let g(r) = r. Let j be g(-10). Let q = j + 16. Suppose -3*u = -9, -4*n + 5*n - 3*u = q. Is n a multiple of 5?
True
Let s(c) = -c**3 + 3*c**2 + 7*c - 1. Let g be s(-5). Let t = -109 + g. Does 19 divide t?
False
Let f(k) = -93*k**3 - 2*k**2 - k - 1. Does 26 divide f(-1)?
False
Let y = -227 - -339. Does 13 divide y?
False
Suppose -103 = -s - 4*r, -4*s + r + 487 = 2*r. Does 41 divide s?
True
Let s(n) = -n - 1. Let d be s(-3). Suppose -a + d*a + 25 = 0. Let p = a - -44. Is p a multiple of 6?
False
Let y(n) = -2*n. Let s be y(-2). Suppose 3*g + 3*p + 58 = 4*g, -177 = -s*g + p. Is 17 a factor of g?
False
Let n = 153 + 30. Is 17 a factor of n?
False
Suppose -2*c + 4*d - 14 = c, 3*d = -2*c + 19. Suppose -3*h + 2*h + 21 = 4*y, c*h = 3*y + 20. Is h a multiple of 13?
True
Suppose 2*b - 36 = -2*b. Suppose -26 = 7*y - b*y. Does 7 divide y?
False
Let v = 45 + -27. Does 6 divide v?
True
Let x(n) = 7*n + 6. Let v(c) = -c - 1. Suppose -1 - 2 = 3*m. Let i(k) = m*x(k) - 6*v(k). Is i(-2) a multiple of 2?
True
Suppose 0 = o - 4. Suppose -2*m - 2*m - 225 = -5*p, o*m = -2*p + 90. Is 10 a factor of p?
False
Let n be 2/3*(2 - -1). Suppose b + 9 = -n*o + 34, 0 = -5*o - 4*b + 58. Let j = 8 + o. Does 10 divide j?
False
Let z(o) = -22*o. Let u be z(-6). Suppose 5*t - 11 = -2*q, 6*t - 3*q - 21 = t. Suppose t*n - 6*n + u = 5*d, 5*d = 4*n - 176. Is n a multiple of 13?
False
Let f(w) = 1. Let z(i) = -3*i**2 - 12*i - 12. Let j(a) = 4*f(a) + z(a). Let c(y) = 13*y**2 + 47*y + 33. Let h(g) = 2*c(g) + 9*j(g). Is 21 a factor of h(-6)?
True
Let h(p) = 2*p**2 - 2*p - 2. Let r be h(2). Suppose -2*q - r*b + 7 = -5*b, -4*b - 2 = q. Let t = 18 - q. Is t a multiple of 12?
False
Let k = -57 - -93. Is 36 a factor of k?
True
Suppose 2*x - 50 = -0*t - 5*t, x = t - 17. Does 4 divide t?
True
Is 22 a factor of (2 - (-102)/15)/((-4)/(-10))?
True
Suppose 0 = -b + s + 61 - 2, -3*b + 177 = -5*s. Is 14 a factor of b?
False
Let z be (1 - -1)/((-4)/(-6)). Let k be 1*(-2 + z) - -99. Suppose 3*t = -3*q - 7 + k, -t = -3*q - 51. Is 17 a factor of t?
False
Let t be 1/(-2) + (-85)/(-10). Does 2 divide (t/6)/(1/3)?
True
Let p = -102 + 148. Does 11 divide p?
False
Let g = -15 - -34. Let d = 0 - -4. Suppose -d*z = -5*y - 81, z + 0*z = y + g. Is 14 a factor of z?
True
Let z = -93 - -237. Does 6 divide z?
True
Let t(c) = 2*c**2 - 4*c - 3. Is 10 a factor of t(-4)?
False
Suppose -2*a + 5*s - 3*s = -8, 0 = 5*s + 5. Suppose -m = -a*m + 60. Suppose -2*v = -0*v - m. Is 9 a factor of v?
False
Let t(k) = 4*k**3 - 4*k**2 + 5*k - 3. Let l(d) = -5*d**3 + 4*d**2 - 6*d + 2. Let b(y) = 5*l(y) + 6*t(y). Let w be b(-6). Let p = w - 35. Is p a multiple of 10?
False
Let v be 2 + 1 + -2*1. Is 33 a factor of (1 + 10)/(v/7)?
False
Is 73/(-511) - 29*(-1)/7 a multiple of 3?
Fal