 = -i**3 - 2*i**2 - 4. Is 5 a factor of t(f)?
True
Let j(c) = -c**2 - 2*c + 3. Let w be j(-3). Does 3 divide 5 + 1 - w/2?
True
Let x be (10/4)/((-1)/(-6)). Let c(u) = -8*u + 0*u**2 + 5 + 2*u**2 + x*u. Is c(-5) a multiple of 10?
True
Let c(m) = -22*m - 32. Does 15 divide c(-8)?
False
Is (24/16)/((3/198)/1) a multiple of 11?
True
Let g(v) = -2*v - 4. Let y be g(-5). Does 7 divide (-3)/y - 87/(-6)?
True
Let q = -4 - -6. Suppose -q*h - h + 36 = 0. Is 6 a factor of h?
True
Suppose 0*b - 15 = 5*b. Is 4 a factor of 9 + (12/(-1))/b?
False
Suppose 2*o = -0*o + 4. Suppose o*j + 0*j - 26 = 0. Does 13 divide j?
True
Let a(c) = 4*c**3 - c**2 - c - 1. Let q be a(-1). Suppose -m - k + 5 = 0, 0 = 3*m - k - 2*k - 21. Does 6 divide (12 - 0)*(q + m)?
True
Suppose 4*i - 5 = 3*c - 37, -50 = -4*c - 2*i. Does 3 divide c?
True
Let y = 42 - 18. Is 8 a factor of y?
True
Let h(d) = d**2 + 3*d - 2. Let k be h(-4). Let p be k/(-6) - (-4)/(-6). Is 3 a factor of (3 - 2)*(3 - p)?
False
Let a(d) = 77*d + 6. Does 16 divide a(2)?
True
Let a(n) = n + 3. Let p be a(-1). Let q = 0 - -3. Suppose -y + 2 = 0, 0*y - 20 = -p*k + q*y. Is k a multiple of 13?
True
Let u(d) = 32*d**2 + d + 1. Let l be u(-1). Suppose 44 = 4*p + 3*q, -p - 4*q = p - l. Is p a multiple of 4?
True
Suppose 0 = 3*s - 2*s - 6. Let k(b) = 6*b + 8. Let i be k(s). Suppose 2*r - 11 = -3*c, -5*r = 2*c - i - 0. Is r a multiple of 5?
True
Let f(q) = -q**3 - 4*q**2 - 18. Is 27 a factor of f(-6)?
True
Let d be (-2)/(-3) - (-106)/3. Let i = d + -19. Suppose -z - 4 = -i. Does 9 divide z?
False
Does 11 divide ((-16)/10)/(18/(-450))?
False
Let y(t) = -6*t - 13. Is 11 a factor of y(-8)?
False
Let b(s) be the third derivative of 0*s + 0 + 1/20*s**5 - 2*s**2 - 1/24*s**4 + 1/6*s**3. Does 6 divide b(2)?
False
Let z = 13 + 0. Let i = z + -7. Is i a multiple of 6?
True
Let j = -14 - -22. Does 4 divide j?
True
Suppose 0 = 3*o + q - 12, 0 = -2*o - 2*q - 0*q + 8. Is o a multiple of 4?
True
Let z(p) = p**3 + 28. Let m be z(0). Suppose -5*s + m = -3*w, 7 = s - 2*w - 0*w. Suppose 2*a + 3*d = 67, s*a - 3*a - 5*d = 91. Does 13 divide a?
False
Let m(g) = 17*g**2 - 13*g + 2. Is 9 a factor of m(-2)?
False
Let x be (9/12)/(1/4). Suppose -k = -x*k. Suppose 4*l - 12 - 12 = k. Is l a multiple of 4?
False
Suppose -5*d = -3*d. Suppose d = 4*y - 4*n - 88, -3*n = 2*y - 6*n - 39. Is y a multiple of 9?
True
Let z = -20 + 39. Let d = -9 + z. Does 10 divide d?
True
Suppose -3*x = -d - 635, 0*d = -4*x + 2*d + 850. Is 30 a factor of x?
True
Is 7 a factor of (4 - (-2 - 66)) + (0 - -1)?
False
Suppose -y + 138 = 2*q, y + 425 - 80 = 5*q. Does 15 divide q?
False
Let v = 9 - 4. Let x(b) = 20*b + 4. Let j be x(v). Let s = -57 + j. Is s a multiple of 19?
False
Let j be (13 - 1)*1/3. Suppose -j*o + 55 = -17. Is o a multiple of 4?
False
Let k(m) = m + 3. Let x be k(3). Suppose -x = -3*w, 2*z + 8 = 5*w - 24. Let f = -7 - z. Is 4 a factor of f?
True
Let p = 3 + -8. Let k = p + 22. Is 7 a factor of k?
False
Suppose 3*a + 3*q + 102 = 0, -4*q = -5*a - 5*q - 178. Let d be (-100)/(-6)*a/(-15). Suppose -y - 15 = -x, 2*x - y - 3*y - d = 0. Is 10 a factor of x?
True
Let o = -7 - -84. Suppose -a - 2*s + 21 = 0, -5*a - 3*s = -0*a - o. Is a a multiple of 8?
False
Let m(w) be the second derivative of 11/6*w**3 - w + 0*w**2 + 0. Does 11 divide m(3)?
True
Let h = -3 + 12. Is h a multiple of 2?
False
Let h(d) be the first derivative of 2*d**2 + d - 1. Does 17 divide h(4)?
True
Let h be (-3 + 0 - -58)*1. Suppose -h = -r - 4*r. Is r a multiple of 10?
False
Let d(i) = -i**2 + 12*i - 2. Let w be d(10). Let u(m) = -4 + m + w*m**2 + 7 - 2. Is 8 a factor of u(-1)?
False
Let n(k) = k + 10. Let j be n(-8). Suppose j*d - 52 = 2*w, -2*d - 2*w = 2*w - 28. Let t = d + -10. Is t a multiple of 6?
True
Let v = 8 + -7. Suppose v = -4*l + 65. Is l a multiple of 4?
True
Let z be 74/(4/2) + -1. Let w = z - 25. Does 5 divide w?
False
Suppose -25 = -5*i, 3*j - 17 = i + i. Suppose -4*w = -j + 81. Let x = -6 - w. Does 5 divide x?
False
Let p be -3 + (-1 - -2 - 217). Does 12 divide (-4)/(12/p) - 3?
False
Is 69/6 + (-1)/(-2) a multiple of 6?
True
Let g(d) = -7*d + 4. Let l be g(-7). Does 20 divide l*2/(-4)*-2?
False
Let h be (-2)/6 - (-58)/(-6). Let c be (2/(-4))/((-1)/h). Is 16 a factor of (-810)/(-25) + 2/c?
True
Let o(q) = -15*q. Does 9 divide o(-1)?
False
Let o = -21 - -12. Let q be (-20)/6*o/6. Suppose q*n + 2 = -3*t + 137, -4*n = -5*t + 188. Is t a multiple of 14?
False
Does 7 divide (-1)/(((-8)/14)/4)?
True
Let b = 168 - 52. Does 12 divide b?
False
Let x(z) = -z**3 + 4*z**2 + 5*z + 2. Suppose -4*y = 2*q - 0*q - 16, 21 = 3*y - 3*q. Let v be x(y). Suppose -v*h + 13 = -17. Is h a multiple of 15?
True
Let x(i) = -i**3 - 4*i**2 + 5*i + 2. Let g be x(-5). Suppose 36 = g*v + v. Is v a multiple of 6?
True
Let u = -7 - -3. Let g(k) = -7*k + 2. Is 19 a factor of g(u)?
False
Let w be ((-2 - 4)*1)/(-2). Suppose w*j + 200 = 7*j. Let y = -19 + j. Is y a multiple of 11?
False
Is 10 a factor of (-4 - (-4)/(-3))*-12?
False
Let n be (1/3)/((-1)/(-6)). Suppose -2*h + 4*v = -28, -4*h + v + 47 = n*v. Is 12 a factor of h?
True
Suppose 4*c - 125 - 255 = 0. Is c a multiple of 22?
False
Suppose 66 = 2*s + g, s - 4*s + 3*g + 90 = 0. Is 11 a factor of s?
False
Suppose 0 = 150*i - 145*i - 40. Is i a multiple of 4?
True
Let t(x) = -34*x + 3. Is 9 a factor of t(-3)?
False
Let m(n) = n + 14. Let l be m(-14). Suppose -6*z = 4*r - z - 4, l = -4*z - 16. Is r a multiple of 2?
True
Does 10 divide 7613/92 + 3/(-4)?
False
Let o(q) = -5*q**2 + 2*q + 1. Let t be o(-1). Let s be (-1)/2 + 53/(-2). Does 7 divide ((-46)/t)/((-9)/s)?
False
Suppose f - 2*y = -2*f + 49, 5*f - 4*y - 85 = 0. Let w(z) = -z**2 + 14*z - 11. Let d be w(f). Suppose -20 = -3*g + d*g. Does 10 divide g?
True
Let c = 8 + -4. Suppose t = 2 + c. Suppose -3*u - u - t = -2*p, -2 = -p + 3*u. Is p a multiple of 4?
False
Suppose -n - r + 8 = 0, 3*n + 3*r - 8 = 2*n. Suppose -2*y - 3*o + 40 = -n*o, 3*y - 86 = o. Is y a multiple of 14?
False
Let c be (18/(-15))/((-1)/5). Suppose -4*u + 2*u + 5*k = -c, 3*k = u - 2. Does 8 divide u?
True
Let h(v) = v - 1. Let t be h(-4). Let y be 0/(-2) + t/5. Let l(x) = 18*x**2. Is 8 a factor of l(y)?
False
Suppose -5*m = -5*b + 4*b + 240, -5*m + 2*b - 240 = 0. Let i = 68 + m. Suppose -3*j = -5*j + i. Does 8 divide j?
False
Let z(v) = v**2 + 3*v - 1. Let i be z(-3). Let r = 1 + i. Suppose r = -5*w + 36 + 109. Is w a multiple of 14?
False
Suppose -5*a = -344 + 44. Does 12 divide a?
True
Suppose 1 = -l + 5. Is 14 a factor of (-2)/(24/(-129))*l?
False
Suppose 4*y + 16 - 200 = 0. Is y a multiple of 23?
True
Suppose -31 = -5*o - 6. Suppose -3*q = -0*j - j + 2, -o*j = 5. Let y(b) = 6*b**2. Is 3 a factor of y(q)?
True
Let y = 17 - 45. Let n = 45 + y. Let d = n + -2. Does 15 divide d?
True
Let s(v) be the third derivative of -v**4/24 - v**3 - 3*v**2. Let w be s(-10). Is 2 a factor of 6 - 1 - (4 - w)?
False
Suppose 2*a - 3 = 5*a, -2*l + 2*a + 58 = 0. Is l a multiple of 4?
True
Suppose -5*y - 4*m + 0*m = 96, 0 = 3*y + 5*m + 68. Is -42*9/(108/y) a multiple of 14?
True
Let q = 1 - 5. Let l be q + 0 + 3 + -1. Does 18 divide (21 - 1) + l*1?
True
Let z(m) = -m**3 + 5*m**2 + 7*m - 6. Let r be z(6). Suppose 5*a - 15 = r, a + a - 12 = -2*w. Does 21 divide w*3/((-9)/(-57))?
False
Is ((-36)/15)/((-3)/10) a multiple of 2?
True
Let i(q) = -2*q. Let r be i(-2). Suppose 3*x = x + r. Suppose 3*c + 2*l = 4*l + 56, 4*c = -x*l + 98. Is 11 a factor of c?
True
Suppose -4*h = h - 225. Is 45 a factor of h?
True
Suppose -z + c - 120 = -6*z, 4*c + 24 = z. Is 24 a factor of z?
True
Suppose u = -13 + 4. Let b = -1 - u. Let o(p) = -p**2 + 12*p - 10. Is 11 a factor of o(b)?
True
Let w = -17 - -101. Is 28 a factor of w?
True
Suppose -3*b = b + 5*g + 99, b - g = -36. Let v = -19 - b. Is 6 a factor of v?
True
Let m(b) = -b - 1. Let h be m(-1). Let u(f) = f**3 - f**2 - f + 41. Is 13 a factor of u(h)?
False
Let b be (-6)/4 - 55/(-10). Suppose b*v + 0 - 8 = 0. Suppose 0 = -5*y - 3*n + 144, -v*y + 4*n + 63 = 7*n. Is 17 a factor of y?
False
Let k(y) = y**2 - 1. Let c(w) = 3*w**2 - 2*w. Let p(j) = -c(j) - k(j). Let n(d) = 3*d**2 - 2*d - 1. Let s(i) = 3*n(i) + 2*p(i). Does 8 divide s(5)?
False
Let w(r) = -15*r**3 - r**2 + r + 1. Is w(-1) a multiple of 7?
True
Let p = 9 - 6. Suppose p*f + f = 16. 