0 divide g?
True
Let s(u) = 6*u - 4. Let h(l) = -l**3 + 6*l**2 - 5*l + 4. Let z = -7 + 12. Let r be h(z). Is 8 a factor of s(r)?
False
Suppose -5 = -0*w + w - 2*i, 4 = 4*w - 2*i. Suppose -2*a = 2*c + w*a - 95, -203 = -5*c - a. Does 10 divide c?
True
Let a be -1 + 1/1 + 1. Let x = a - -13. Is x a multiple of 14?
True
Suppose -4*g + x - 1 = 0, 30 = 5*g + 3*x + 2*x. Let r(f) = 12*f. Is r(g) a multiple of 5?
False
Suppose -5*u = -3*v + 15, 5*v + 2*u = -0*u + 25. Suppose -v*g + 50 = -105. Does 11 divide g?
False
Let p be 4/(-5)*(-25)/2. Does 9 divide 178/p + 5/25?
True
Let z(b) = 5*b + 7. Let d(r) = r**2 - 8*r + 6. Let u be d(8). Is 9 a factor of z(u)?
False
Is 2/(-9) + (-203)/(-63) even?
False
Suppose 4*h - 3*h = -4*u - 3, 7 = -2*u + 5*h. Let a be (-8 + u)*1/(-3). Suppose -4 = -a*c + 11. Is c even?
False
Suppose 7 = -2*v - 9. Let q(r) = r**2 + r + 4. Does 16 divide q(v)?
False
Let b(g) = -9 - 3*g + 6*g + g**3 - 5*g**2 + 4. Is 5 a factor of b(5)?
True
Suppose 0 = -2*j + 19 + 49. Let p be j - (-1 - 1 - 0). Suppose -p = -4*h - 4*q - 0*q, 0 = 3*h - 4*q + 1. Does 3 divide h?
False
Suppose o + 5 - 3 = 0. Let s = o - -14. Does 3 divide s?
True
Let y = -163 + 418. Is y a multiple of 33?
False
Let l = 5 - 8. Let p be ((-24)/(-3) - 3)*-3. Let v = l - p. Does 6 divide v?
True
Let c(p) = 4*p**2 - 25*p - 7. Is c(8) a multiple of 7?
True
Let w(t) = -t**3 - 4*t**2 - 3*t + 4. Let g be w(-3). Let r(v) = -v**3 + 7*v**2 - 4*v + 2. Let a be r(g). Let b = -24 + a. Does 5 divide b?
True
Let y(d) = 2*d + 2. Does 13 divide y(6)?
False
Let s = 216 + -152. Suppose -z + 5*z - s = 0. Is z a multiple of 8?
True
Is (18 - 0)/(20/90) a multiple of 27?
True
Let w be 4/(-5)*5/(-2). Suppose w*b + b - 90 = 0. Is b a multiple of 17?
False
Let b(r) = 4*r + 66. Does 29 divide b(0)?
False
Let t(o) = 6*o - 1. Let n be t(-1). Let j = -5 - n. Does 3 divide j + -1 - (-3 - -1)?
True
Let v = 198 + -111. Suppose -2*c = -5*m - 169, -2*c + 3*m + 88 = -v. Suppose 4*g + i = c, 3*i - 105 = -4*g - 13. Does 11 divide g?
False
Let d(w) = 26*w - 2. Let g(c) = 53*c - 3. Let n(u) = -5*d(u) + 3*g(u). Is n(1) a multiple of 10?
True
Suppose 12 = 4*l + 4*x, -3*x + 7*x = 12. Let m be (-4 - (-2 + l)) + 1. Is 2 a factor of (3 - m/(-1)) + 2?
True
Suppose 0 = 5*q - 0 - 5. Does 4 divide 7*q/((-2)/(-2))?
False
Let o(a) = -3*a - 6. Let h(i) = 4*i + 7. Let k(n) = -5*h(n) - 6*o(n). Let w(d) = -1. Let s(g) = -k(g) - 6*w(g). Does 9 divide s(8)?
False
Let g be (0 + 2)*(1 - 2). Let y = 83 + g. Is y a multiple of 24?
False
Let h(b) = -b**3 - 2*b**2 + 3*b + 3. Let w be h(-3). Suppose -4*c = -w*z + 76, -2*z + 7*z - 138 = c. Is 14 a factor of z?
True
Suppose 5*u + 2*u - 742 = 0. Is 17 a factor of u?
False
Let x(m) = 3*m**2 + 6*m + 16. Does 17 divide x(7)?
False
Let y(i) = -i**3 - 3*i**2 - 5*i - 3. Suppose 5*t = 16 + 19. Suppose 2*l + t = 1. Is y(l) a multiple of 6?
True
Suppose -r - 5*v = -116, 0 = -5*r - 0*v + v + 528. Is r a multiple of 16?
False
Let k(u) = -24*u - 3. Let l be k(-2). Suppose -3*z - l = -2*w, 0 + 1 = z. Is 12 a factor of w?
True
Let u(b) = b**3 + 6*b**2 + 5. Does 11 divide u(-5)?
False
Suppose -k + 3*y = -2*y - 24, -2*k + 5*y = -38. Does 4 divide k?
False
Suppose 156 = -22*i + 23*i. Is 12 a factor of i?
True
Suppose -3*l + 4 = 1. Let i be -1*2*l - 0. Is 5 a factor of -2 + (-8)/i + 5?
False
Suppose 0*w + 4*n = -w + 25, 0 = 4*w - 5*n + 5. Let i(x) = -x**2 - 4*x - 1. Let a be i(-2). Suppose -2*k + a = -w. Is 4 a factor of k?
True
Let b(y) = 2*y - 4. Let w be b(-2). Let m = 27 + w. Does 7 divide m?
False
Suppose 4*l - 16 = -q, 5*l = -3*q + 37 - 3. Suppose -q = 3*z - z. Is -18*(-2)/(z/(-3)) a multiple of 10?
False
Suppose 7 + 3 = 2*n. Suppose -9 - 1 = n*v, -v - 26 = -o. Is o a multiple of 13?
False
Let d(b) = b**3 - 15*b**2 - 15*b - 5. Does 3 divide d(16)?
False
Let c(s) = s**3 + 11*s**2 + s + 4. Let p be c(-5). Let v = p - 98. Is v a multiple of 17?
True
Let s = 43 - 22. Is s a multiple of 6?
False
Let a = 0 + 1. Suppose a = 3*k - 2, 3*b - 4*k - 122 = 0. Does 21 divide b?
True
Let r = 47 + -33. Is 21 a factor of (r/(-21))/((-1)/60)?
False
Suppose 5*t = 77 - 27. Suppose 7*q - 2*q = t. Suppose 0 = 5*j - 3*w, q*j + 8 = 5*w - 11. Is j even?
False
Suppose -25 = 5*z, -218 = -2*r - z - 63. Is 10 a factor of r?
True
Suppose 58 = 2*s + 5*o, -2*o + 62 = 3*s - 7*o. Is s a multiple of 8?
True
Suppose 3*g + 12 = -3*f, -3*f - 2*g - 9 = 3. Let m be (5 + f)/(2/10). Does 15 divide (2 - m) + 96/2?
True
Let f = 160 + -86. Suppose 5*v - 2*z = z + f, -3*z = -3*v + 42. Is v a multiple of 8?
True
Suppose -2*n - 4*d = -32 - 80, 5*d - 20 = 0. Is 3 a factor of n?
True
Let d(r) = -r**2 - 14*r + 5. Let t(l) = -l**3 + 9*l**2 - 9*l - 2. Let b be t(8). Is d(b) a multiple of 15?
True
Let r(b) = 7*b**2 - 2*b**3 + 3*b**3 - 2 - b - b**3 + b**3. Does 22 divide r(-6)?
False
Let k(u) be the second derivative of 10*u**3/3 - 9*u**2/2 - 10*u. Is k(4) a multiple of 24?
False
Let q(j) = -5*j - 2*j**2 + j**2 - 4*j. Does 3 divide q(-8)?
False
Suppose 3*i + o - 13 = 10, 3*o = i - 11. Let v(j) = -j**2 + 12*j - 1. Is v(i) a multiple of 15?
False
Suppose 2*s = -a + 19, 5*s - 3*a = 2 + 18. Does 2 divide s?
False
Let t(n) = -n + 2. Suppose -r - 4*r = 0. Let u be t(r). Does 6 divide (-3*u)/(-3) + 10?
True
Let t(o) be the third derivative of -o**7/2520 + 7*o**6/720 - o**5/60 + o**4/8 - 2*o**2. Let z(q) be the second derivative of t(q). Does 6 divide z(3)?
False
Let y(i) = i**3 - 5*i**2 - 4*i - 2. Let u be y(6). Let d(b) be the third derivative of b**4/24 - 5*b**2. Does 9 divide d(u)?
False
Let x(q) = -2*q**2 + 1. Let b be x(1). Let z = 1 - b. Suppose 0 = o - 5*m - 45, -z = -3*m + 1. Is o a multiple of 23?
False
Let c be 25*1/(0 - 1). Is 10 a factor of 140/c*5/(-2)?
False
Suppose 0 = 2*k + k - 33. Is k a multiple of 6?
False
Let a(v) = 3*v**2 - v - 1. Let i be a(-4). Let w = 12 - i. Let z = w - -57. Is z a multiple of 13?
False
Suppose 0 = -t - 5 + 26. Let r = 29 - t. Is 4 a factor of r?
True
Let a(z) = -z**3 + 3*z**2 + 4*z + 4. Let x be a(4). Suppose -5*f = 5*g - 130, 0 = 5*g - 0*g + x*f - 127. Does 7 divide g?
False
Let k = -60 - -17. Let f(v) = -v**2 + v - 91. Let x be f(0). Let a = k - x. Is 24 a factor of a?
True
Suppose -4*n + 7*n = 78. Is n a multiple of 26?
True
Let j = -16 + 22. Let f(c) = -2*c**2 - 7*c + 17*c + 7 + c**2. Is f(j) a multiple of 15?
False
Does 31 divide 18/(-90) - 311/(-5)?
True
Let h(y) = y**3 + 12*y**2 + 6*y + 9. Let r be h(-12). Let l = r - -130. Suppose -5*o + 127 = -4*v, -2*o - 23 = -5*v - l. Is o a multiple of 8?
False
Suppose 106 = -3*v - s, -4*v + 6*v = 2*s - 60. Let t = v - -76. Does 11 divide (t/15)/(1/10)?
False
Let w(s) = -2*s**3 + s**2 + 4*s - 1. Does 10 divide w(-3)?
True
Suppose -17 = c - 2. Let i = c - -20. Does 3 divide i?
False
Suppose -2*u + 150 = 3*u. Does 10 divide u?
True
Suppose 5*j = -1 + 6. Let d = j - 22. Is ((-28)/d)/(2/6) even?
True
Let d be (-8 + 3 + 0)/(-1). Suppose -d*b - 12 = -2, 2*p - 4*b - 64 = 0. Is p a multiple of 7?
True
Let n(x) be the first derivative of -1/4*x**4 + 2 + 2/3*x**3 + 0*x - 1/2*x**2. Is 24 a factor of n(-3)?
True
Let s = 9 - 6. Suppose -s = 5*a - 28. Does 4 divide a?
False
Suppose 0 = u - 3*g - 20, -u + 4*g = -2*u - 15. Suppose 0 = -u*o + 2*o + 12. Let r(d) = 4*d + 1. Is r(o) a multiple of 14?
False
Suppose 5*o + 0*v - 7 = -3*v, 3*v = -3*o + 3. Suppose -o*r + 0*a + 2 = -4*a, -3*a + 3 = 0. Is r even?
False
Suppose -m - 180 = -5*m. Does 9 divide m?
True
Does 15 divide 595/15 - (-4)/(-6)?
False
Let a = -2 - -6. Is a a multiple of 4?
True
Let g = -6 - -12. Let v be (-103)/(-3) + (-2)/g. Let q = v + -14. Is 20 a factor of q?
True
Suppose -5*d + 12 = 2. Suppose 1 - 9 = -d*i. Suppose -i*h = 0, 18 = 2*b - b + 5*h. Is 7 a factor of b?
False
Suppose -66 + 178 = 2*x. Is x a multiple of 17?
False
Let a be (-6)/21 + (-24)/14. Let d = a + 12. Is d a multiple of 10?
True
Suppose -2*l - a - 1 + 0 = 0, 5*a - 15 = 0. Let x be (-3 - -3) + l + 4. Suppose -4*u + 10 = 5*o - x*o, o = -4*u - 10. Is 10 a factor of o?
True
Let g(b) = -15*b - 3. Let l be g(-5). Suppose -5*j - 12 + l = 0. Is j a multiple of 4?
True
Let f(c) = -2*c + 9. Suppose -x + 1 - 10 = 0. Is 13 a factor of f(x)?
False
Let x = 16 - 14. Suppose 4*k + 0*k - 5*j = 219, -4*k - x*j + 198 = 0. Does 17 divide k?
True
Let o(y) = y**3 - 4*y**2 - 4*y -