ide w?
True
Let z be 6/(-15) - (-357)/5. Let v = z + -3. Does 17 divide v?
True
Suppose -4*h = -h - 15. Suppose 3 = 4*x - h. Suppose x*i = -0*i - 2*l + 38, -3*i - 5*l = -55. Is 7 a factor of i?
False
Is 10 a factor of 6/12*1/(1/186)?
False
Is 12 a factor of (-32)/10*(-70)/4?
False
Let a be 70/15 + (-2)/3. Suppose -c = -1, -5*m + 105 = -a*c - c. Let o = 36 - m. Is o a multiple of 9?
False
Let i = 39 + -16. Does 16 divide i?
False
Let i(h) = -h**3 + 4*h**2 - 5*h + 4. Let m be i(3). Is m/8 - (-226)/8 a multiple of 8?
False
Suppose 1 = -f - 5. Let j be ((-4)/f)/(2/9). Suppose 16 = k + j*k. Does 3 divide k?
False
Let c = 2 - -2. Suppose 10 = h + c*h. Is 39/h - (-1)/(-2) a multiple of 8?
False
Let i = 21 + 35. Is i a multiple of 36?
False
Let n = 10 - 6. Suppose 2*w + n = 3*w. Suppose 0*t + w*t = 96. Is t a multiple of 9?
False
Let t = -10 - -18. Let j be 0 + t + 3/(-1). Suppose j*z = -x + 5, x + 2*x = z + 63. Is x a multiple of 6?
False
Suppose 3*t - 304 = t. Suppose 4*n - 4*f = t, 2*n - 51 - 27 = 3*f. Is 18 a factor of n?
True
Suppose 25 - 3 = -2*q. Let k(h) = h**2 + 7*h - 5. Is k(q) a multiple of 13?
True
Suppose -1 = -4*z - 5*b, b - 8 = 4*z - 3*b. Let h be 20 + 1*(z - -3). Suppose 2*w - 40 = h. Does 11 divide w?
False
Let a(i) = i**2 + 6*i - 1. Let p be (-11 - -1) + (0 - -2). Is 10 a factor of a(p)?
False
Let g(z) be the third derivative of 1/6*z**3 + z**2 - 5/8*z**4 + 0 + 0*z. Does 8 divide g(-1)?
True
Let s(g) = -g + 4. Let t be ((-3)/6)/((-3)/(-42)). Let z be 6/4*(t - -5). Is 3 a factor of s(z)?
False
Suppose -2*j = 5*c - 3*j - 270, 0 = j. Suppose -3*d + c + 57 = 0. Is 16 a factor of d?
False
Let q(a) = 57*a**3 + 7*a**2 - 7*a - 7. Let f(h) = 28*h**3 + 4*h**2 - 4*h - 4. Let w(z) = 5*f(z) - 3*q(z). Is w(-1) a multiple of 13?
False
Let h(c) = c**2 + 3*c + 2. Suppose -3*b = -7*b - 8. Let d be h(b). Is 6 a factor of 2/(d - 4/(-26))?
False
Let a(c) = -19*c. Is a(-2) a multiple of 12?
False
Suppose 2*d - 66 = 3*n, -3*n + 99 = 3*d + n. Does 22 divide d?
False
Suppose -3*w + 2*f + 20 = 0, -5*w + 13 + 12 = 5*f. Does 2 divide w?
True
Let v = 9 - 22. Let j = -17 + 50. Let q = j + v. Is q a multiple of 20?
True
Suppose 0 = -2*r + 6. Let p(z) = -1 - 12 + 2*z + r. Is p(8) a multiple of 6?
True
Let n(g) = g**3 + 3*g**3 - 2*g**3 - 2*g - 2. Let r be n(-2). Is 2 a factor of (-32)/(-14) + 4/r?
True
Let b be 3 - (-9)/(-12)*4. Does 21 divide 7 + 70 + b + -3?
False
Suppose 4*y - 110 = -y. Does 22 divide y?
True
Suppose 5*v - 20 = -3*c - 4, 3 = 3*v + 4*c. Suppose 2*w = -x - 3*x + 24, 0 = 3*w - v*x - 69. Suppose 7*p = 4*p + w. Is 6 a factor of p?
True
Let n = 589 - 394. Suppose 0*v + 88 = 2*v - 3*m, 5*v - n = -5*m. Is 15 a factor of v?
False
Let m = 3 - 1. Let f be (28/(-2))/(3/(-3)). Suppose 2 = m*b - f. Is 8 a factor of b?
True
Let b = 0 - 0. Suppose x + 2*x - 108 = b. Is 12 a factor of x?
True
Let o(f) = -f**3 - 5*f**2 + 3. Let d = 10 - 7. Suppose 0 = -d*v - v - 20. Is 2 a factor of o(v)?
False
Suppose -b + 19 = -9. Let n = b + 27. Is 12 a factor of n?
False
Suppose -4*f = -5*f, 2*u - 5*f + 8 = 0. Let p be u/6 + (-150)/(-9). Suppose -5*s = -p + 1. Is s a multiple of 3?
True
Let v(p) = p**3 - 7*p**2 - 7*p - 4. Let i be v(8). Let a be -4*(-2)/2 - -1. Suppose 0 = a*m + 5*j + i - 84, 4*m - 46 = 2*j. Does 12 divide m?
False
Let c be (1/(-2))/(13/234). Let l = c + 98. Does 23 divide l?
False
Suppose a - 50 = -w, -4*a + 68 = w - 123. Does 9 divide a?
False
Let o(y) = -4*y - 60. Is o(-24) a multiple of 9?
True
Let s(p) = 4*p**3 - 9*p**2 + 5*p + 15. Is s(5) a multiple of 35?
True
Suppose -10*o - 270 = -15*o. Is 9 a factor of o?
True
Let o(k) = -9*k**3 + k**2. Let y be o(-1). Suppose 0 = -3*h - 3*r + 27, -3*h + 3*r - 3 = -0*h. Let n = y - h. Is 6 a factor of n?
True
Let j = 149 - 49. Is j a multiple of 25?
True
Is 17 a factor of 189 - 6*(-2)/(-6)?
True
Let h = 15 + -9. Does 8 divide 94/h + (-3)/(-9)?
True
Let f(y) = 7*y - 4 + 3 + 0. Is f(3) a multiple of 10?
True
Does 17 divide (-3)/2*4/3 + 78?
False
Suppose -4*x + 2*x + 43 = y, -3*x - 3*y + 72 = 0. Let h = x - 10. Is 9 a factor of h?
True
Let v(x) = 5*x**3 - 2*x**2 - 6*x + 5. Let h(d) = -4*d**3 + d**2 + 5*d - 4. Let c(j) = -6*h(j) - 5*v(j). Does 4 divide c(3)?
True
Let w(m) = -4*m - 4. Let o(g) be the second derivative of g**3/6 - 3*g. Let l(u) = 2*o(u) + w(u). Is 3 a factor of l(-7)?
False
Let w(r) = -r**3 - 6*r**2 - r - 6. Let h be w(-6). Suppose h = -j + 11 + 14. Is 9 a factor of j?
False
Let q(p) = -p**3 - 6*p**2 + 8*p + 10. Let w be q(-7). Let x(m) = 3*m**3 + 4 + 2*m**3 - 4*m**2 + 3*m**3 - 7*m**w. Is x(4) even?
True
Suppose -s = 0, -3*z + 0*z + 36 = s. Does 12 divide z?
True
Suppose -3 = -3*v - 0. Suppose 5*c - 2*a + 9 = 32, 2*a = -3*c + v. Suppose 3*u - 5*x - 47 = 0, -c*u + 4*x = -0*u - 43. Does 5 divide u?
False
Suppose 0 = -5*h - 11 + 26. Let g be 60 + 3/h - 1. Suppose 15 - g = -3*y. Is 9 a factor of y?
False
Let w(y) be the second derivative of -y**4/12 - 5*y**3/6 + y. Let o be w(-3). Let p = -4 + o. Is 2 a factor of p?
True
Let p(z) = -z**3 - 7*z**2 + 9*z + 7. Let f be p(-8). Is 4 a factor of -1 - (2 + 17)*f?
False
Let p = 121 + -62. Does 16 divide p?
False
Let h(r) = 2*r**2 + 2*r + 1. Let l be h(-1). Is 2 a factor of l - (3 + (0 - 5))?
False
Suppose -5 = -2*x + 1. Let z be x - 2/4*2. Suppose -u = z*u - 105. Does 9 divide u?
False
Is 8 a factor of -9 + 5 + 0 + 18?
False
Suppose -4*g + 12 = 0, 3*g = 2*m - 0*g + 7. Let a be 15 + 0/(m + -2). Does 5 divide (4 + -2)*a/2?
True
Let h be ((-2)/1 - 2) + 1. Is 15 a factor of (-15)/((6/8)/h)?
True
Let r be (2/(-6))/(1/15). Let w = 1 - r. Suppose -2*j - 20 = -w*j. Is j a multiple of 3?
False
Let i be (-1 - -1)*(-1 + 2). Suppose c - 29 = -c - 5*g, i = 4*c - 2*g - 46. Is 4 a factor of c?
True
Suppose 4*b = -8, -4*q + 50 = -3*b - 128. Is q a multiple of 5?
False
Let f be (-3 + -4)*-1 - 3. Suppose 5*v - 231 = -f*l, 3*v - 2*l - 40 - 103 = 0. Does 14 divide v + -3 - 2 - 1?
False
Is ((-9)/6)/((-3)/68) a multiple of 25?
False
Let d(j) = -j**2 - 4*j - 1. Let r be d(-2). Suppose -r*f + 4*o + o = -445, -3*f = -3*o - 453. Suppose -c + f = 4*c. Is 16 a factor of c?
False
Let x(o) = -o**3 - 4*o**2 - 3*o - 7. Suppose 0 = j + 3*d - 4, -3*j - 6 = 4*d - d. Is 11 a factor of x(j)?
True
Suppose 0 = -4*p - p + 120. Is p a multiple of 16?
False
Let w be (-2)/(-2) - (-3)/(-3). Suppose -15 = -4*q + q, 4*h - 4*q + 76 = w. Does 3 divide (-2)/(18/h - -1)?
False
Suppose n + 3*n - 3*u = 102, 0 = -3*n - 2*u + 68. Is n even?
True
Suppose 3*a = -a. Suppose 0 = -2*u + c + 4 - 0, a = -4*u - 5*c + 8. Suppose -y = 4*b - 13 - 15, 168 = 4*y + u*b. Is y a multiple of 22?
True
Suppose -5*h = -3*v + 15, 3*v - 1 = 2*v + 3*h. Let q be (-15 - -3)*(-1)/2. Let j = v - q. Does 4 divide j?
True
Let m be (2 - 0/(-3)) + 0. Suppose 0 = 3*u - 5*k + 22, m*u + 6*k - k - 27 = 0. Let l = 6 + u. Is 3 a factor of l?
False
Let y = 6 + -9. Let c(z) = -5*z + 3. Does 7 divide c(y)?
False
Let j be 2/3 - (-87)/(-9). Let c = -20 - j. Let i = c + 24. Is i a multiple of 3?
False
Suppose -4*g = g. Suppose 22 = -g*t + t. Let j = t + -13. Does 5 divide j?
False
Suppose 2 = 5*q - 4*q. Suppose q*l - 28 - 12 = 0. Does 20 divide l?
True
Let x = -10 - -8. Let a(n) = -12*n. Is 8 a factor of a(x)?
True
Let x(d) be the first derivative of d**4/4 - d**3 + d**2 - 6. Is x(5) a multiple of 15?
True
Let l = 26 + -43. Let n be (-6)/(-21) + 240/(-7). Let k = l - n. Is k a multiple of 6?
False
Let j = -5 - -8. Suppose j*z - z = 4. Suppose 13 = 3*p + z*g - 7, 4*p = -4*g + 20. Is 10 a factor of p?
True
Let f(h) = -h**3 - 5*h + 10*h**2 + 3*h + 5 + 6*h. Is 15 a factor of f(10)?
True
Suppose -4*m - 684 = -8*m. Is 13 a factor of m?
False
Suppose -4*w + 21 + 3 = 0. Let h = -4 + w. Is 15 a factor of h/(-8) - (-133)/4?
False
Let q(r) = 10*r + 7. Let p(z) = 9*z + 7. Let c(a) = 5*p(a) - 4*q(a). Does 21 divide c(7)?
True
Let l be 66/24 + 1/4. Suppose 4*f - 110 = 2*h, -8*f + h + 145 = -l*f. Is f a multiple of 10?
True
Is 19 a factor of (-136)/3*(-12)/8?
False
Let p = 55 - -4. Does 16 divide p?
False
Let a = -5 + -7. Let p(f) = -2*f - 13. Is p(a) a multiple of 3?
False
Let g be (16/6)/((-2)/(-3)). Suppose -2*i + g*q = -104, i + 0*q - 22 = -4*q. Suppose 4*b - i = b. Is b a multiple of 9?
False
Suppose 5*c = 4*j - 209, 2*j + 2*c = 81 + 1. Is 43 a factor of j?
False
Let 