 29 divide y(11)?
True
Let q be 3/(-15) - 144/(-20). Let o(r) = 5*r + 4. Is 12 a factor of o(q)?
False
Let t(z) = 64*z**2 - 3*z + 2. Is 21 a factor of t(1)?
True
Let w be (4/(-8))/(1/6). Let v(s) = 3*s**2 - 3. Is v(w) a multiple of 12?
True
Let t = -36 - -16. Let a = t - -35. Is 7 a factor of a?
False
Suppose -5*i = 5*s - 35 - 310, 0 = 5*i - 5*s - 345. Is 14 a factor of i?
False
Let v be (-3)/12*(-20)/5. Is v - -91 - 1*-1 a multiple of 31?
True
Let s = -17 + 20. Suppose -2*b + 4*t = -90, 2*b - 87 = s*t + 2*t. Is b a multiple of 17?
True
Let k be 53/(2*(-3)/(-30)). Suppose 2*f - k = -91. Suppose -h + 72 = 4*m, 2*m + 3*m - f = -2*h. Is m a multiple of 19?
True
Let r(i) = 4*i. Suppose 0 = -2*m + 8. Is r(m) a multiple of 11?
False
Is 14 a factor of (-230)/(-4) - 6/4?
True
Does 17 divide (2*(-17)/(-4))/((-2)/(-4))?
True
Let a(t) = 9*t**3 - 9*t**2 - t - 15. Let d(c) = -5*c**3 + 5*c**2 + c + 8. Let g(h) = 4*a(h) + 7*d(h). Is 8 a factor of g(3)?
False
Let n(v) = -v**2 - 7*v + 8. Does 14 divide n(-6)?
True
Suppose -2*i + 38 = 2*j, 3*j + i - 7 = 52. Is j a multiple of 10?
True
Suppose -4*o + 5 = -w, -2*o + 5*w + 25 = 3*o. Suppose 5*z = -o*z. Suppose y + 1 - 3 = z. Does 2 divide y?
True
Let t = 7 + 0. Let g = t + 4. Is 7 a factor of g?
False
Let v(w) = -w**3 + 6*w**2 - 2*w - 3. Is v(5) a multiple of 12?
True
Let q be (1 + 0 + -1)/(-4). Does 4 divide q - (-9 + 3/3)?
True
Let n = -25 + 46. Is 7 a factor of n?
True
Suppose 9 + 158 = 5*m - 3*s, 0 = -2*s + 2. Is m a multiple of 34?
True
Suppose -3*c - 408 = c. Let r = c + 146. Is r a multiple of 12?
False
Let a be ((-1)/1)/(2/(-404)). Let u = 125 - a. Is 15 a factor of (-2)/4 + u/(-2)?
False
Let k(w) = -6*w - 12. Let m be k(-9). Suppose -m = -2*t - 0*t. Is t a multiple of 21?
True
Let b(p) = p**3 + 4*p**2 - 2*p - 5. Let i be b(-4). Let t = 31 - 25. Suppose 6*g = i*g - t, -4*o - 5*g = -22. Is 3 a factor of o?
False
Let n(f) = 9*f - 11. Let b(t) = 8*t - 11. Let r(d) = -6*b(d) + 5*n(d). Does 11 divide r(-11)?
True
Is (36/(-16))/((-9)/48) a multiple of 3?
True
Let o be (-4)/6*18/(-6). Let f be 6/3 - 2/(-1). Suppose -o*u - f*a + 24 = -4, a = 5*u - 92. Is u a multiple of 9?
True
Is 3 a factor of ((-6)/(-4))/((-21)/(-70))?
False
Suppose -48 = -3*i + 36. Is i a multiple of 7?
True
Let d(g) = -g**2 + 8*g - 7. Let s be d(6). Let u = s + 5. Suppose 2*f - u = 14. Is 5 a factor of f?
False
Suppose o + 4*t - 36 = 0, -t - t + 214 = 4*o. Does 8 divide o?
True
Let o(m) = 4*m**2 - 3*m - 7. Let r be o(4). Suppose -13 = 2*p + 5*c, 3*p = 3*c + r - 12. Does 6 divide p?
True
Let y(h) = h - 1. Let n be y(6). Let r = n + 4. Does 9 divide r?
True
Let y(a) = a**2 - a + 4. Does 30 divide y(-7)?
True
Suppose -3*t - 7 = -1. Let n be 4/t - 12/(-2). Suppose -n*q + j = -29 + 4, 0 = j + 5. Is 5 a factor of q?
True
Let x(p) = 4*p - 6. Let m(k) = -k**3 + 3*k**2 + 6*k - 3. Let w be m(4). Is 14 a factor of x(w)?
True
Suppose 12 = b + 3*f, 5*f + 14 = -4*b + 55. Suppose 0 = -5*o + 2*w + 30, 3*o + b = -4*w + 1. Suppose k = -2, -o*j + 7 = 2*k + 3. Is 2 a factor of j?
True
Let z = 18 - 13. Suppose n = -z*m - 2*n + 16, -10 = -5*m - 5*n. Is 4 a factor of m?
False
Let k(w) = 2*w**2 + w + 1. Suppose -5*b + 0 = 10. Does 4 divide k(b)?
False
Let p(x) = x**3 + 11*x**2 - 13*x + 3. Is 4 a factor of p(-12)?
False
Let w = 3 - -1. Suppose -2 - 1 = 3*c, w*r = 3*c + 55. Does 6 divide r?
False
Let k = 418 - 131. Does 55 divide k?
False
Suppose d + d = 10. Suppose -d*k + 15 = -j + 6*j, 0 = 5*j - 5. Suppose -3 = k*f - 25. Is f a multiple of 6?
False
Let i(p) = p + 2. Let h(b) = b + 2. Let f be h(4). Does 4 divide i(f)?
True
Let b(w) = 7*w + 16. Let y(m) = m - 6. Let d be y(7). Let n(j) = j + 1. Let g(i) = d*b(i) - 6*n(i). Does 8 divide g(0)?
False
Suppose 14 + 34 = 2*i. Does 5 divide i?
False
Let g(i) = -2*i**3 + 2*i**2 + i + 2. Let t be g(-2). Suppose -t = -2*u + 14. Does 22 divide u + (6 - (-2 + 5))?
True
Let o = 6 + 37. Let c = 60 - o. Does 12 divide c?
False
Let a(p) = p**2 - 2*p + 6. Does 10 divide a(-5)?
False
Let v(g) = g**2 - 2*g - 9. Let r be v(-6). Suppose 4*o - 9 = r. Does 6 divide o?
True
Suppose -n = -2 - 1. Suppose -n*o - 36 = -6*o. Does 12 divide o?
True
Suppose 7*k - 2*k - 20 = 0. Let l(h) = 3*h**2 - 4*h - 3. Is 16 a factor of l(k)?
False
Let z(c) = c**3 + 2*c**2 - 4*c + 1. Let h be z(-3). Is 76/(-8)*h/(-2) a multiple of 13?
False
Let o(j) = -j**3 - 5*j**2 - 6*j - 3. Let b be o(-4). Suppose 260 = b*m - 2*y, -m = -3*y + 6*y - 35. Is m a multiple of 14?
False
Let t(a) = 3*a - 1. Suppose -3*u + u = -4. Suppose -u*x + 3 + 1 = 0. Is t(x) a multiple of 5?
True
Suppose -2*j - q = -3*q - 46, 2*j - 4*q = 50. Does 14 divide j?
False
Suppose 3*h - 280 = -2*h. Does 14 divide h?
True
Let g(z) = -z**3 - 6*z**2 - 8*z + 8. Is 10 a factor of g(-6)?
False
Suppose g = 52 - 16. Is 3 a factor of g?
True
Let h = -4 + 8. Suppose 488 = 5*w + 3*z, z = h*w - 4*z - 420. Suppose 2*i - 7*i - 2*k + w = 0, -2*i = k - 39. Does 11 divide i?
True
Let m(q) = -q - 6. Let y be m(0). Let v(h) = 2*h**2 + 6*h - 4. Let d be v(y). Suppose 5*a - 3*a - d = 0. Is a a multiple of 6?
False
Suppose -r - 3 = 2. Let o = r - -3. Let k = o + 4. Is k even?
True
Let i be (-128)/(-6) - 2/(-3). Suppose 0 = 3*p - 31 - 5. Let x = i - p. Is 10 a factor of x?
True
Let z = 203 - 109. Suppose 4*p - z = 2. Does 12 divide p?
True
Let g(d) = d**3 - 3*d**2 - 4*d - 2. Let v be g(4). Let c be (-1195)/20 - v/(-8). Let a = -21 - c. Is a a multiple of 25?
False
Let y = -30 - -54. Does 11 divide y?
False
Suppose -2*j + 2*k + 2*k - 58 = 0, -4*k + 96 = -4*j. Let c be (-1)/(-4) + (-282)/8. Let i = j - c. Does 5 divide i?
False
Suppose -5*a + 2*o = -3*o - 445, 0 = 2*a + 5*o - 178. Suppose 0 = k + 3 - a. Is 22 a factor of k?
False
Suppose m - 2*l + 2 = 19, -2*m = l - 14. Is m a multiple of 8?
False
Let d = 6 - 2. Suppose -m + d*h + 14 = -h, 0 = -m - 3*h + 38. Is 9 a factor of m?
False
Let l = 259 - 126. Is 15 a factor of l?
False
Let r be 1/(1 + 0)*5. Suppose -99 = -r*t + 141. Is 16 a factor of t?
True
Suppose -19*s = -11*s - 200. Is s even?
False
Let r(n) = n**3 + 17*n**2 + 3*n - 18. Is 20 a factor of r(-16)?
False
Let f(d) = d**2 - 4*d - 5. Is 20 a factor of f(9)?
True
Let t(k) be the third derivative of k**5/60 - k**4/4 - k**3/2 + 2*k**2. Does 9 divide t(8)?
False
Suppose 12*w + 3*w - 2205 = 0. Is 21 a factor of w?
True
Let d be (5 - -1)*3/(-9). Let v(u) = u**2 + 2*u. Let l be v(d). Suppose z + l*z - 16 = 0. Is 5 a factor of z?
False
Let t(r) be the first derivative of 2*r**3/3 + 3*r**2/2 - 3*r - 10. Let v = 4 + -1. Does 15 divide t(v)?
False
Suppose -5*n - 31 = -6, -2*r - 19 = n. Let k = 10 + r. Is k even?
False
Let a(c) = c. Let x be a(-3). Does 6 divide ((-68)/8)/(x/6)?
False
Suppose -3*r - o = -17, o + 1 = 6. Suppose 32 = 2*t + 3*b, -4*b = -0*b. Suppose k = t - r. Is 12 a factor of k?
True
Is 5 + (-1)/(4 + -5) a multiple of 3?
True
Suppose 136 = -3*j + 7*j. Does 7 divide j?
False
Let p be 2 + 2 + 1 + 40. Let b = 75 - p. Is 10 a factor of b?
True
Let q(i) be the first derivative of 8*i**3/3 - i**2 + 5*i - 1. Let c be q(4). Suppose -1 - 1 = -v + 4*n, -3*n + c = 5*v. Is 11 a factor of v?
True
Let n(b) = -b + 6. Let r(p) = p**2 - 8*p + 7. Let j be r(7). Let t be n(j). Suppose -4*q + 6 + t = 0. Does 3 divide q?
True
Let q(t) = -8 - 3*t**2 + 2*t**2 + 7*t + 3. Let z be q(6). Suppose -4*s = -57 + z. Is s a multiple of 14?
True
Let n(t) = 9*t**2 - t + 1. Let z = -5 + 6. Let y be n(z). Suppose 23 = 2*d - 5*m, -2*d = -m - y - 18. Does 14 divide d?
True
Suppose 2*u - 50 = -f, 5*u - 221 = -5*f + 34. Is f a multiple of 20?
False
Suppose 4*h + 6 = -14. Let y(w) = w**3 + 7*w**2 + 3*w - 4. Is 12 a factor of y(h)?
False
Suppose 0 = -8*y + 4*y - 100. Let x = y + 61. Does 12 divide x?
True
Let l = -61 - -154. Is l a multiple of 18?
False
Suppose -10*h + 155 = -565. Does 12 divide h?
True
Let s(l) = l + 45. Let g be s(0). Let h = g + -15. Is 15 a factor of h?
True
Let v be (-6)/14 + 15/35. Suppose 0 = q + 5*i - 8, 2*q + 0*i + i - 34 = v. Does 6 divide q?
True
Let d(n) = n**3 - 2*n**2 + 1. Let u(i) = -2*i**3 + i**2 - 2*i + 1. Let s be u(1). Let y be d(s). Let p = y - -23. Is 3 a factor of p?
False
Suppose -2 - 7 = 3*o. Let y(w) = w**3 + 5*w**2 - 2*w. Let l be y(-4). Does 11 divide l + -1 + (o - -2)?
True
Let a(w) be the second derivative