 of 2*(-28)/(-8) - 1?
True
Let q = -6 + 5. Is 27 a factor of (5 + 5)*(-7)/q?
False
Suppose 0 = -3*k + 4*j + 316, 2*k = 3*k - j - 106. Is 28 a factor of k?
False
Let x(b) = b**3 + 12*b**2 - 22*b + 14. Does 38 divide x(-12)?
False
Suppose 2 = -2*x + 6. Suppose 7*h - x*h - 435 = 0. Let y = h - 51. Is 17 a factor of y?
False
Let k(q) = -q**3 + 7*q**2 - 2*q - 4. Is 10 a factor of k(6)?
True
Suppose 0 = -4*k, d - 4*k + 9 = 42. Is d a multiple of 11?
True
Suppose 16 = 5*z - z. Suppose 3 = -z*v + 11. Suppose -v*x = 10 - 32. Is x a multiple of 3?
False
Let q(f) = -2*f + 4. Let n be q(3). Let g be n/8 - (-50)/8. Suppose -2*b + g*b = 16. Is b a multiple of 3?
False
Let y(q) = -11*q + 2*q + 5*q. Is 5 a factor of y(-3)?
False
Suppose -3*n + 5*a = -5*n - 9, 0 = 3*n - 5*a - 24. Suppose 12 = -b - 3*d, 7*d + 12 = -n*b + 4*d. Suppose b = 2*o + 3*o - 15. Does 3 divide o?
True
Let d be 1/(1/(-9)*-3). Suppose -d*u - 125 = 10. Does 15 divide (u/(-6))/((-1)/(-4))?
True
Let k(q) = q**2 - 6*q + 2. Let u be k(3). Let d be 2/8 - u/4. Does 11 divide (0 - 0 - -10) + d?
False
Suppose -254 = -2*f - 34. Is f a multiple of 22?
True
Let p(n) = -n**2 - n - 1. Let a(b) = b**3 - 9*b**2 - 7*b - 13. Let x(l) = a(l) - 3*p(l). Does 8 divide x(7)?
False
Suppose 0 = 3*n - 4 - 2. Let z(i) = 3*i**2 + i**3 + 6*i - 13*i - 2 + 5*i. Does 14 divide z(n)?
True
Let p be (-3)/(3 + (-414)/136). Suppose -4*h = -0*h - p. Is 17 a factor of h?
True
Suppose 0 = -2*x + 2 + 2. Suppose 3*i + 3*c = -i + 74, -x*i + 38 = c. Is i a multiple of 6?
False
Suppose i + 6 = 4*i + 2*y, 0 = 4*i - 4*y - 8. Suppose 0*n + 11 = 4*n + k, -k - 13 = -i*n. Suppose 5*q + 6*v - 80 = v, -4*v - 64 = -n*q. Does 7 divide q?
False
Suppose q = -18 + 61. Is q a multiple of 12?
False
Is 163 + 3/((-12)/(-8)) a multiple of 33?
True
Suppose d - 45 = 13. Does 14 divide d?
False
Let v = 5 - 13. Let l = v - -30. Is l a multiple of 22?
True
Suppose -z - 180 = -5*h, 5*z - 26 = -2*h + 46. Is h a multiple of 12?
True
Let o = -249 - -354. Does 35 divide o?
True
Let j(q) = 73*q - 1. Let c be j(1). Let i = -43 + c. Is 8 a factor of i?
False
Let a be 18*(2 + (-3)/(-2)). Suppose 0 = 4*d - u - 137, 4*u + 237 = 5*d + a. Does 17 divide d?
True
Let c = -53 + 74. Is c a multiple of 5?
False
Let s(q) = 2*q**3 + q**2 + q - 1. Let x be s(1). Let t(l) = 6*l**2 - 4*l - 1. Does 12 divide t(x)?
False
Let c be ((-9)/6)/(6/(-16)). Suppose -c*a = -5*u - 17, -3*u - 2*a - 3*a = -12. Let l(s) = -15*s**3 - 1. Is l(u) a multiple of 5?
False
Suppose 4*y = -4*w + 28, -2*w + 14 = 2*y - 7*w. Does 7 divide y?
True
Let a(o) = o**3 + 4*o**2 + o - 4. Let w be a(-3). Suppose -2*b - 4*h + 976 = 0, -5*b = w*h - 194 - 2238. Is 10 a factor of 2/(-8) + b/24?
True
Is 3 a factor of 192/6 + ((-2)/1 - 0)?
True
Let v(f) = f**2 - 3*f - 3. Suppose 2*l + 19 = 3*n, l - 2*n - 3*n = -27. Does 7 divide v(l)?
True
Let r be -68*-2*2/(-8). Let t = -22 - r. Is t a multiple of 6?
True
Let m = 1 + -5. Let x(d) = 2 + 2*d**2 - 2*d + 2*d. Is 17 a factor of x(m)?
True
Let r(t) = -t**2 - 2*t + 85. Is r(0) a multiple of 22?
False
Suppose 6*i - 9*i = -24. Is i a multiple of 8?
True
Suppose 5*k + 0*k + 25 = 0. Let f(b) be the second derivative of -5*b**3/3 - 2*b**2 + b. Is 13 a factor of f(k)?
False
Let u = 12 + -21. Let i be 5/(15/u) + 159. Suppose -l + 2*l = -3*q + i, -52 = -q + 4*l. Is 19 a factor of q?
False
Let s = -3 - -3. Suppose s = -0*a - 3*a - 84. Let o = a + 43. Does 15 divide o?
True
Is 13 a factor of -4*(12/(-6))/((-3)/(-39))?
True
Let n be 2/(3*6/45). Let k be 2 + (2 - n - -2). Is 5 a factor of (k*18)/3 - 1?
True
Let y be 0 + (14 - 2)*1. Suppose 5*w - y - 58 = 0. Does 10 divide w?
False
Suppose 5*j = j + 20. Suppose -j*q + 97 = l + 2*l, -3*q + 111 = 4*l. Does 12 divide l?
True
Suppose -5*x - 112 = -12*x. Is x a multiple of 4?
True
Is 21*-5*(-3 - -2) a multiple of 35?
True
Suppose 5*z - 2*p + 0*p = -27, 2*p - 17 = 3*z. Does 12 divide (-2)/z - (-406)/35?
True
Suppose -4*v - g + 5*g = -52, -3*g = 12. Is v a multiple of 2?
False
Let g(a) = a**3 + 6*a**2 + 2*a - 5. Does 2 divide g(-5)?
True
Let p(c) = -c**3 + 3*c**2 + 5*c + 2. Let n be p(4). Suppose 0*b = 5*b - 75. Is 5/(b/8)*n a multiple of 11?
False
Let z be ((-2)/5)/(2/(-20)). Suppose z = 2*l - 4*x, -4*x = 5*l - 0*x + 46. Does 2 divide 2/l*15/(-1)?
False
Let a(t) be the first derivative of -t**2 + 18*t - 9. Is 6 a factor of a(0)?
True
Let x = 115 - 74. Suppose -5*a + x = -24. Is 12 a factor of a?
False
Let b(a) = -4*a - 4. Let v(m) = -2*m + 7. Let l = -8 - -13. Let r be v(l). Is b(r) a multiple of 8?
True
Let l be ((-32)/(-20))/((-4)/(-10)). Is ((-1)/2)/(l/(-48)) even?
True
Suppose -2*v - 9 = x + 2*v, v + 3 = 0. Suppose a - 104 = -x*l + 6*a, 4*l - a = 116. Does 14 divide l?
True
Suppose 53 - 18 = 5*u. Is 240/u - 12/42 a multiple of 17?
True
Let s be (0/(1 - 3))/1. Suppose -5*d + 15 = 0, 5*b - 193 = -d - s*d. Is b a multiple of 15?
False
Let r(s) = s**3 - 3*s**2 - 2. Let o be r(3). Is (o/4)/((-1)/48) a multiple of 5?
False
Let j = -57 + 75. Let w be 2*11 - (-1)/1. Suppose -k + w = -j. Is 15 a factor of k?
False
Suppose 2*u - 88 = u. Is 11 a factor of u?
True
Let y be (-16)/(-6) + (-8)/12. Suppose 10 = q + q, 0 = -x + y*q + 19. Is 16 a factor of x?
False
Let j = -2 - -6. Let i(v) = -2*v**2 - 5*v + v**3 + 0*v**3 + 0*v**2 + 2*v - 2. Does 6 divide i(j)?
True
Suppose -s + 3 = -2. Let u be 0 - (s + -3 - -3). Let m = u + 36. Is 16 a factor of m?
False
Let j(d) = d**3 - 9*d**2 + 4*d + 8. Let b be j(9). Let a = b - 25. Does 5 divide a?
False
Let p(i) be the second derivative of -5*i**3/6 + i**2 + 3*i. Does 6 divide p(-2)?
True
Let j be 1/(2 + 38/(-18)). Is (-51)/j*(2 + 1) a multiple of 9?
False
Let r(n) = -n**2 + 2*n + 12. Is 12 a factor of r(0)?
True
Let t = 2 - -5. Suppose 74 = 2*i + n, t = n + 3. Suppose f - 8 = -r, 5*r - i = -3*f - f. Is f a multiple of 5?
True
Suppose -1301 = -4*z + j, -5*j - 6 = -1. Is 13 a factor of z?
True
Let m(v) = -v**2 + 7*v + 7. Suppose 2*q + 4*r = -r + 41, 0 = -q - 3*r + 23. Let a be m(q). Let w = a + 7. Is w a multiple of 5?
False
Suppose 117 = 3*g + 5*w - 136, -w = -2*g + 186. Suppose g = 2*m - 5*b + 19, 36 = m + 3*b. Is 12 a factor of m?
True
Let w(x) = -4*x + 7. Let s be w(-8). Suppose v + s - 12 = -4*f, 2*f - 4*v = 0. Let r = f - -51. Is 15 a factor of r?
True
Suppose 55 = 3*f - 23. Is 13 a factor of f?
True
Let j be -1 + 1 - -2 - 4. Let c = 34 + j. Suppose -2*q = 3*n - 47, -7 = -4*q + 5*n + c. Is q a multiple of 8?
True
Let d = -2 + 5. Suppose -2 = -g, -2*u - d*g - g = -18. Suppose -13 + 48 = 5*f + 5*l, -u*l = 20. Is 11 a factor of f?
True
Suppose 2 + 2 = 2*p. Suppose p*v = 69 - 25. Is 11 a factor of v?
True
Suppose 5*v + 142 = -158. Let l be 1*-26 + 10/5. Does 12 divide v/(-8)*l/(-5)?
True
Does 17 divide 4 + (2 - (-1083)/(-6)*-2)?
False
Let h = 55 + -34. Is 21 a factor of h?
True
Suppose 4*c - 36 - 104 = 0. Let o = -2 + 9. Let k = c - o. Does 8 divide k?
False
Suppose 2*y + 2*n - 322 = -0*n, y - 3*n = 169. Let d = -115 + y. Is d a multiple of 16?
True
Let d(j) = -j**2 + 6*j + 8. Let w be d(6). Let l = 6 - w. Is ((-1)/3)/(l/102) a multiple of 6?
False
Let w = -49 + 73. Does 10 divide w?
False
Suppose 3*f + 2*f - 815 = 0. Suppose -3*r = 3, -5*z + 0*r = 2*r - f. Does 16 divide (z - (0 + -1)) + -2?
True
Suppose -40 - 38 = -3*k. Is k a multiple of 11?
False
Let b = -46 - -132. Does 23 divide b?
False
Suppose 5*n - 10 - 35 = 0. Suppose -5*x - 5*g = -190, -3*g + 12 = -0*g. Does 4 divide x/n - 4/(-18)?
True
Is 21 a factor of (-12)/42 + (-149)/(-7)?
True
Suppose -6*z + z = l + 3, 0 = 3*z + 3. Let r(b) = 9*b**3 - 2*b**2 - b + 1. Does 19 divide r(l)?
False
Is 6 a factor of 3*(-22)/(-3) - 4?
True
Suppose 5*w + 8 = 38. Let o(m) = 4*m - 8. Let f be o(w). Suppose 2*y - 15 = -y, 4*y - f = p. Is p a multiple of 3?
False
Let h(z) = z**3 - 9*z**2 + 8*z - 7. Is h(9) a multiple of 27?
False
Is (-2)/(-2)*(23 - 12) a multiple of 7?
False
Let k(i) = -4*i + 8*i - 1 + 2*i**2 - 9*i. Is k(6) a multiple of 16?
False
Let t be (69/2)/(6/(-8)). Let i = t - -33. Let q = i - -32. Does 7 divide q?
False
Suppose 2*n - 4*d + 31 = 5*n, 2*d = 4*n - 78. Is 12 a factor of n?
False
Suppose -6 = 2*k + k. Is k/(-4) - 185/(-10) a multiple of 9?
False
Let y = 17 + -13. Suppose -5*c + 48 = 2*p - 0*c, -y*c - 153 = -5*p. Is 13 a factor of p?
False
Let s(a) = a*