0)/n*(-1)/2?
False
Suppose 7 - 3 = y. Suppose 0 = 4*n + 5*x - 205, -3*n - 4*x + 119 + 34 = 0. Suppose -u + n = y*u. Is 11 a factor of u?
True
Let h be 6/(-9) + 13/(-3). Let b(c) = c**3 + 6*c**2 + 2*c + 2. Does 5 divide b(h)?
False
Let r = 22 - -53. Is r a multiple of 5?
True
Suppose 0 = -0*k - 4*k + 36. Let y(o) = -o + 4. Let a be y(4). Suppose -p + 29 - k = a. Is 10 a factor of p?
True
Let j = 2 + 3. Suppose 0 = -j*l + 2*l + 51. Does 6 divide l?
False
Let v = -41 + 47. Is v a multiple of 6?
True
Suppose -2*n + 2 = 6. Does 16 divide 8/2 + n - -30?
True
Let f = 41 + 43. Does 21 divide f?
True
Let b be (-87)/5 - (-6)/15. Let i = b + 49. Does 22 divide i?
False
Let q = -2 + 13. Does 11 divide q?
True
Let r(q) = -q - 5. Let o be r(-7). Suppose -5*v = -o*v. Suppose 0 = -2*h - 6, v = -3*f + 5*f - h - 39. Is 6 a factor of f?
True
Suppose 0 = 2*u - 4. Suppose -i = -4*f - 4*i - 3, -u*f + 4 = -4*i. Is 3 a factor of (-5)/((-15)/12) - f?
False
Let i be 40/(-3)*(-48)/20. Is 10 a factor of i/((-9)/3 + 4)?
False
Is 6 a factor of 6/8 + 1692/48?
True
Let u(x) = -x**3 - 5*x**2 + 5*x + 2. Let z be u(-6). Let p be (z/6)/((-6)/(-9)). Suppose -p*o - 3*t + 14 = -5, -2*o = -2*t - 4. Is o even?
False
Let t(v) = v**3 - 2*v**2 - 6*v - 7. Suppose -2*u = -2 - 10. Suppose -b - 1 = -u. Does 19 divide t(b)?
True
Suppose 0 = 3*y - 5*y + 4. Let n(o) = 7*o**2 + 1 + 8*o**y - o**2. Is n(1) a multiple of 15?
True
Let o(n) = -2*n - 1. Let k be o(4). Let p = -5 - k. Suppose -3 = -p*t + 21. Does 6 divide t?
True
Does 24 divide 528/9 - 4/(-12)?
False
Let w(t) = -23*t**3 - t**2 - t - 1. Is w(-1) even?
True
Let d(m) be the second derivative of -m**5/20 + 5*m**4/12 - m**3/3 - 7*m**2/2 - 3*m. Is 2 a factor of d(3)?
False
Suppose 0 = -m + 63 - 10. Is m a multiple of 14?
False
Suppose -2*y - 138 = -5*y. Is 23 a factor of y?
True
Let p(v) = -v**2 - 8*v + 11. Let t be p(-9). Suppose -t*x = -0*x. Suppose x = -4*h + 151 - 47. Is h a multiple of 13?
True
Suppose 8 = 2*w + 4*p, p + 1 = 3*w - 4*p. Suppose -3*x - 2*t - w*t + 50 = 0, -2*x = 5*t - 31. Suppose -m + 49 = 2*s + x, 0 = 5*m - s - 122. Is 14 a factor of m?
False
Let m(g) = 11*g**2 + g - 2. Let c be (-4 - -5)/((-1)/(-2)). Does 15 divide m(c)?
False
Suppose -i - 1 - 5 = 5*z, 2*i - 2*z = 48. Is 11 a factor of i?
False
Suppose -3 = 4*m + 1. Let k(v) = -18*v**2 + 2*v - 1. Let t be k(2). Is (m + 2)/((-3)/t) a multiple of 11?
False
Suppose 4*t = 5*o - 58 + 18, -3*t - 27 = -3*o. Suppose 33 = o*x - 31. Does 16 divide x?
True
Suppose 0 = 10*b - 2*b - 368. Is 12 a factor of b?
False
Let b(l) = l**3 - 6*l**2 - 7*l. Let g be b(7). Suppose g = 3*v - 7*v + 16. Suppose -5*y + 124 = v*p, 50 - 6 = 2*y - 4*p. Does 12 divide y?
True
Suppose 6*p - 4*p + 11 = 3*r, -2*r - 2*p + 14 = 0. Suppose -4 = -r*t + 4*t. Suppose -35 = -t*n + 1. Is n a multiple of 7?
False
Suppose 0 = 2*t - 278 - 90. Suppose 5*w - w - t = 0. Does 13 divide w?
False
Suppose -2*s - 2*s + 412 = 0. Is s a multiple of 14?
False
Let b(o) = 3*o + 2. Let d be -1 - -2 - (-6)/(-2). Let h be b(d). Does 7 divide 6/h*152/(-12)?
False
Let g(p) = p + 2. Let d be g(2). Suppose 2*s = -0*s - d, 0 = 5*l + s - 48. Is 4 a factor of l?
False
Suppose -3*i - 26 = -q + i, -3*q - 2 = 4*i. Let a(f) = f**3 - 6*f**2 + 1. Let j be a(q). Is 7 a factor of 4*(j + 26/8)?
False
Let r = -6 - -9. Suppose r*w - 12 + 33 = 5*k, 14 = 2*k - 4*w. Suppose -3*s = s + k*b - 162, -3*b - 111 = -3*s. Does 13 divide s?
True
Let n = 55 + -32. Suppose -n = 5*f - 98. Does 5 divide f?
True
Let d(l) = 3*l - 80. Let z be d(26). Let m(t) = -t**2 - 3*t + 4. Let c be m(-5). Let k = z - c. Is k even?
True
Does 10 divide 3 + 3*51/9?
True
Let b(a) = 3*a - 4. Let h(u) = -2*u**3 + u**3 + 2*u**3 - 3*u**2 - 4*u + 6 + 0*u**3. Let v be h(4). Is b(v) a multiple of 7?
True
Let x(q) = 6*q - q**2 - 3 - 1 + 2*q. Let b be x(6). Suppose 5*r = 148 - b. Is r a multiple of 14?
True
Suppose -2*a = 8, 20 = 4*f - 2*a + 7*a. Does 10 divide f?
True
Let s(v) be the second derivative of -3/4*v**4 + 1/20*v**5 + 0 + 13/2*v**2 - 5/3*v**3 - v. Does 6 divide s(10)?
False
Suppose 4*n + 6 = -f - 7, -2*n - 8 = 0. Suppose f*h - 116 - 40 = 0. Does 26 divide h?
True
Suppose -12 = 4*m, -7*t + 3*t - 37 = 3*m. Let r(u) = u**3 + 3*u**2 - 8*u - 4. Let w be r(t). Is ((-2)/4)/(4/w) a multiple of 6?
True
Let j = -16 - -382. Is 31 a factor of j?
False
Suppose -15 + 3 = p. Does 2 divide (-5)/20 + (-39)/p?
False
Suppose -h = 5, -20 = -5*p + 5*h + 130. Is p a multiple of 5?
True
Suppose 2*g = 19 - 1. Does 2 divide g?
False
Let j(d) = -d**2 + 6*d - 5. Let u be j(4). Let b(i) = 2*i - 4. Is b(u) a multiple of 2?
True
Let p = -34 - -18. Let y = p + 72. Is y a multiple of 28?
True
Let q be (-34)/(1 - (-9)/(-6)). Suppose -3*s = s - q. Does 17 divide s?
True
Let r = 24 - -1. Suppose d = r - 1. Is d a multiple of 12?
True
Suppose 54 + 3 = 3*r. Suppose -r*x = -17*x - 60. Does 10 divide x?
True
Suppose 0 = 3*m - 4*m - 3*d + 43, -d = 2*m - 71. Is 10 a factor of m?
False
Suppose y = -0*y + 23. Let b = y + -3. Does 10 divide b?
True
Suppose -5*z + 3 + 6 = -4*a, 0 = 5*a - 3*z - 5. Is 3 a factor of a/6*27/2?
True
Suppose 3*f = 2*f + 60. Does 30 divide f?
True
Suppose -3*j = 2*j - 20. Suppose 2 = 2*a - j. Suppose 0*r - 110 = -5*r - 5*d, -5*r + a*d + 110 = 0. Is r a multiple of 11?
True
Let u be (-2)/(-12)*-2*-12. Let l(v) = u + 5 + 4 + v. Is 7 a factor of l(0)?
False
Let f = 3 - -13. Does 10 divide f?
False
Suppose -2*o + 0 + 14 = 0. Let y(v) = v**3 - 7*v**2 + 3*v + 2. Let p be y(o). Suppose m - 15 = p. Does 19 divide m?
True
Suppose -2*j + 3*j + 57 = 2*l, -3*j - 117 = -4*l. Suppose 4*o - l = o. Is o a multiple of 4?
False
Let g be (-138)/(-27) - (-1)/(-9). Suppose -a + 234 = 2*l + 2*l, -222 = -4*l + g*a. Is l a multiple of 29?
True
Suppose -4 = -q - 0. Let s be 4/10 - 22/55. Suppose s = -3*j + q*j - 2. Is j a multiple of 2?
True
Let d be (-1 + 0 - -2) + 10. Let k(i) = i**3 - 11*i**2 + 10. Is 10 a factor of k(d)?
True
Suppose t = 16 + 11. Does 14 divide t?
False
Suppose -2*f = 3*f - 2*a, 0 = 3*f - 4*a. Suppose 3*h + f*h = 0. Suppose -3*x - 4*w + 40 = h, 2*x + 4*w = -w + 29. Does 12 divide x?
True
Suppose 2*r - 2*i - 102 - 64 = 0, -83 = -r + 5*i. Suppose -3*h - r = -v, -2 = 4*h - 6. Is 11 a factor of v/7 + (-4)/14?
False
Suppose 5*a + 47 - 452 = 0. Suppose -a = -3*v - 0*v. Does 6 divide v?
False
Let f(c) be the first derivative of c**5/60 - c**4/12 - c**3/3 + 1. Let n(o) be the third derivative of f(o). Does 7 divide n(8)?
True
Let s = -11 + 23. Is s a multiple of 3?
True
Let h = -37 - -67. Does 15 divide h?
True
Let f(l) = l**3 - 11*l**2 - 7*l - 9. Does 8 divide f(12)?
False
Suppose 8*r = 299 + 101. Does 24 divide r?
False
Let r(l) = -10*l**3 + 2*l**2 + l. Suppose p - 3*p = 2*y - 4, 15 = 5*p. Does 8 divide r(y)?
False
Suppose -2*j + 3*p = -534, 4*j - 9*j + 1373 = 2*p. Is 13 a factor of j?
True
Suppose 3*a + h + 4 = 0, 0*a = a - 4*h - 16. Suppose a = 2*g + 33 - 227. Does 11 divide g/3 + (-6)/(-9)?
True
Let b = 18 + -7. Does 4 divide b?
False
Let l(x) = x**2 - 9. Let g(c) = c**3 + 2*c**2 + c + 2. Let d be g(-2). Let q be l(d). Let n = q - -15. Is 3 a factor of n?
True
Let w(q) = 8*q**3 - 5*q**2 - 4*q - 8. Let b(s) = 7*s**3 - 5*s**2 - 3*s - 7. Let h(x) = -7*b(x) + 6*w(x). Is 3 a factor of h(2)?
False
Suppose -6 + 0 = -3*v. Is 16 a factor of ((-100)/(-4))/(-1 + v)?
False
Let o(r) = 2*r**2 + 5*r - 3. Let y be o(-6). Does 3 divide 20/3 + 52/y?
False
Let x(t) = -t**3 + 18*t**2 - 17*t + 4. Let f be x(17). Suppose -f*z = 2*s - 26, s - 11 = -3*z + 11. Does 9 divide z?
True
Suppose 2*b + 4*g = -b + 709, -2*b + 3*g = -467. Is 21 a factor of b?
False
Suppose -5*a + 2 = -398. Suppose a = 4*n - 2*l + 20, 2*l = -4*n + 52. Is 8 a factor of n?
False
Suppose -2*l + 6*l = 12. Let a = l + 4. Let v = a + 1. Is v a multiple of 3?
False
Let q = -18 - -33. Is q a multiple of 2?
False
Let k = 42 + -14. Is k a multiple of 10?
False
Suppose c + k - 2 = -1, -3*c - 2*k = -6. Suppose -31 = -c*n + 17. Is n a multiple of 12?
True
Let q(d) = -2*d - 4. Let a be q(4). Let i(x) = x**3 - 6*x**2 + 4*x - 4. Let o be i(6). Let k = a + o. Does 4 divide k?
True
Suppose 293 = 5*m - 77. Does 29 divide m?
False
Let q(i) = 10*i + 7. Let t be q(5). Suppose -y = -3*y. Suppose y*k + 3*k - t = -4*r, 5*k = 3*r + 95. Is k a multiple of 13?
False
Let u = -51 +