t be 2/3 - (-13)/3. Is 26 a factor of (52/t)/(6/45)?
True
Let n = -45 + 90. Does 38 divide n?
False
Let c(s) = -s + 2. Let h be c(1). Suppose -h = -5*p + 9. Suppose -p*i - 2*i = -28. Is i a multiple of 4?
False
Let s = 136 - 71. Does 18 divide s?
False
Let u(o) be the second derivative of o**6/120 - 7*o**5/60 + o**4/4 + 4*o**3/3 + o**2/2 - 3*o. Let p(k) be the first derivative of u(k). Is p(6) a multiple of 5?
False
Let b be ((-19)/4)/((-5)/60). Does 14 divide b/2 + (-2)/4?
True
Is (36/24)/(3/34) a multiple of 6?
False
Let g be 78/3*(-1)/(-2). Let q(v) = 15*v**3 + 25*v**2 + 3*v + 9. Let j(x) = 7*x**3 + 12*x**2 + x + 4. Let p(c) = g*j(c) - 6*q(c). Is 16 a factor of p(-6)?
False
Suppose -u + 3*u = 6, 3*j - 24 = -4*u. Let p = 825 + -476. Suppose -5*f = 3*g - p, -58 - 76 = -2*f - j*g. Is 18 a factor of f?
False
Let r = 25 + 10. Suppose 4*k - 41 - 35 = 0. Let x = r - k. Does 11 divide x?
False
Let n be 3 + 22 + -2 + 0. Let b be -2*(2 + n)*-2. Suppose g + 4*g - b = 0. Is g a multiple of 7?
False
Suppose -3*c - 2*o + 88 = -o, c = 4*o + 38. Is 8 a factor of c?
False
Let m = 125 - -19. Is m a multiple of 26?
False
Let z(h) = -h + 11. Is z(-6) a multiple of 5?
False
Suppose -4 = 5*c + 5*j + 56, 5*j + 10 = 0. Let x(q) = -q**2 - 13*q - 9. Is x(c) a multiple of 7?
True
Suppose -2*x + x + 14 = 0. Let w be (x/3)/((-4)/(-102)). Suppose -11 = 4*a - w. Does 9 divide a?
True
Let d be ((-16)/10)/(-4)*-10. Is d*((-1)/(-2) - 2) a multiple of 6?
True
Let f = 84 + -127. Suppose -6*o - 244 = -2*o. Let c = f - o. Is c a multiple of 8?
False
Suppose -r = -5*r + 156. Is r a multiple of 13?
True
Suppose 6*i - 4*i - 32 = 0. Suppose 4*k = 2*k + i. Is 4 a factor of k?
True
Let l(u) = 1. Let g(w) = w**2 + w + 1. Let i(n) = 3*n**2 + 3*n - 1. Let o(a) = 2*g(a) - i(a). Let v(x) = -4*l(x) - o(x). Is 15 a factor of v(-6)?
False
Let p(l) = 4 - 4*l**2 + 4*l**3 - 6 + 0*l**2 + 4*l. Is p(2) a multiple of 7?
False
Let a = 6 + -6. Let q be -2 + a + (-159 - -1). Does 4 divide q/(-15) + 2/(-3)?
False
Let w = 1 - -1. Suppose 2*p = -w*p - 268. Is (p + -2)*1/(-3) a multiple of 23?
True
Suppose -7*w + 117 = -4*w. Suppose -3*z = -4*z + w. Is 12 a factor of z?
False
Suppose 0 = 7*s - 3*s - 12. Suppose -s = 3*j - 33. Is j a multiple of 5?
True
Let d(j) = j**3 + 10*j**2 - 3. Let y be d(-10). Is ((-552)/18)/(2/y) a multiple of 12?
False
Let f = -69 - -139. Does 14 divide f?
True
Let r = 19 - 19. Suppose -4*z + 2*i + 72 = r, z - 2*i = -6*i + 27. Is z a multiple of 19?
True
Let g = -11 + 28. Is g a multiple of 7?
False
Let u be (-4)/10 - 710/(-25). Suppose -2*z = -u - 14. Suppose 11 = 2*t - z. Is 16 a factor of t?
True
Let h(o) be the second derivative of 0 - o + o**3 + 1/12*o**4 - 3/2*o**2. Is h(-8) a multiple of 13?
True
Let o = -7 - -12. Suppose m + o*g = 41, -5*m - g - 38 = -7*m. Is m a multiple of 11?
False
Suppose 93 = 5*o - 2. Suppose 0 = -2*v + o + 11. Is v a multiple of 14?
False
Let b = 50 + 6. Suppose -3*s + 5*s = b. Is s a multiple of 7?
True
Suppose -2*g - g = 0, -5*i - g + 10 = 0. Suppose 0 = -x - 3*y + i, 10*x - 4*y - 10 = 5*x. Let k = x - -3. Does 2 divide k?
False
Let d(s) = -24*s + 1 + 24*s + 9*s**2. Is d(1) a multiple of 9?
False
Suppose -s + 2*y - 4 = 0, -5*y - 11 = 3*s - 32. Suppose l + 5*g - 47 = 0, 2*g = 4*l - 164 - s. Does 14 divide l?
True
Suppose -3*n = -158 - 115. Is 13 a factor of n?
True
Suppose 142 = 7*o - 3*o - 5*w, 3*w = 4*o - 138. Suppose 5*x - 79 = -4*c, o + 70 = 5*x - 2*c. Is x a multiple of 10?
False
Suppose -4*a = 28 - 204. Let v(k) = -2*k**3 - 3*k**2 + 2*k + 3. Let c be v(-3). Let m = a - c. Is m a multiple of 10?
True
Is 26 a factor of 138/4 + 14/(-28)?
False
Let k(j) = 2*j**2 - 7*j + 7. Is 14 a factor of k(7)?
True
Suppose -110 - 16 = -3*j. Suppose y - 2*n = j, -y = -5*y - 3*n + 201. Suppose 2*l - 6*l + y = 0. Does 6 divide l?
True
Is (-10)/(-10) - (-171 - -1) a multiple of 8?
False
Suppose -2*y + 11 = -5*o - 14, 5*y = 3*o + 34. Let q = y - 1. Suppose -12 = q*g - 3*p - 123, -4*g + 2*p = -106. Does 11 divide g?
False
Let b = -20 - -32. Suppose 0 = -5*x + j - b, 0*j + 9 = -2*x - j. Does 7 divide (-23)/(-3) - (-2)/x?
True
Suppose -748 + 1848 = 4*k. Suppose -12*i + k = -7*i. Is i a multiple of 12?
False
Suppose -7*y - 1 = 4*s - 4*y, -s + 4*y + 14 = 0. Suppose 3*a + 2*a = v + 19, -s*a = -3*v - 5. Suppose 3*f - 3 = k, -k + 65 = a*k + f. Is 12 a factor of k?
True
Is (-4 - -9)*(-3)/(-1) a multiple of 8?
False
Suppose 0 - 24 = -3*c. Is c a multiple of 8?
True
Suppose -681 = -5*h - 206. Does 10 divide h?
False
Let c(k) = -2*k**3 + k. Let p(a) = -4*a**3 + 2*a**2 - 1. Let y be p(1). Is c(y) a multiple of 17?
True
Let j be (-4)/3*(3 + -6). Let t be 2 + (j - (0 - 2)). Let f = t - 4. Is f a multiple of 2?
True
Suppose 255 = 5*h + 35. Is 11 a factor of h?
True
Let q(j) = -j**3 + 7*j**2 + 2*j. Is 34 a factor of q(5)?
False
Let f(j) = -j**3 + j**2 - j + 2. Suppose -5*d = -2*d. Let m be f(d). Suppose 5*x - 24 = -4*u + 24, -3*x = m*u - 26. Is u a multiple of 3?
False
Suppose -2*h + 254 = 4*l, l + 0*l = -2*h + 71. Does 14 divide l?
False
Suppose 2*i - 3*i + 4 = 0. Let m(n) = n - 4. Let a be m(i). Is 13 a factor of -1 + a - 1 - -23?
False
Let r be (-213)/12 + (-2)/8. Is 22 a factor of (-162)/(-4) + 27/r?
False
Let g(t) = t**3 + t**2. Is 36 a factor of g(3)?
True
Let n be 44/(-2) - (-12)/3. Let t = -10 - n. Is t a multiple of 8?
True
Suppose 5*u = 15, -2*u + 18 = 3*g + 2*u. Is 15 a factor of (-3 - 81 - g)/(-2)?
False
Let v(r) = 6*r + 14. Is 23 a factor of v(13)?
True
Let d = -167 + 587. Does 60 divide d?
True
Let i be 124 + (3 - 1 - 4). Suppose 2*q + 48 = i. Is 18 a factor of q/(-2)*(0 - 2)?
False
Let m(v) = -3*v**3 - 3*v**2 - 2*v + 4. Let j be m(-3). Suppose 5*g = j + 56. Is g a multiple of 12?
True
Let f(u) = u**2 + u + 1. Let n be f(0). Let j be (-6)/(-2) + -2 + n. Does 9 divide ((-5)/(5/(-18)))/j?
True
Let s(f) = -2*f - 4. Let j be s(-3). Suppose -3*z - 2*c + 6 = -2, 3*c = -j*z + 12. Suppose 3*r - 67 - 23 = z. Is r a multiple of 13?
False
Let y(r) = 0*r**2 + 9 - r**2 + 3*r**2 + 8*r - r**2. Let l be y(-7). Suppose 0 = q - l - 4. Does 3 divide q?
True
Suppose -3*l + 2*f + 82 = -2*l, -5*l = -3*f - 403. Does 30 divide l?
False
Let w(n) = 2 - 8 - 4 + 4*n. Does 26 divide w(9)?
True
Suppose 0 = -4*r + 2*r - 3*c + 35, c + 36 = 3*r. Is r even?
False
Let p(y) = y**2 + y + 7. Is p(-4) a multiple of 10?
False
Suppose -5*n + 3*v - 67 = -460, -3*v = 5*n - 417. Is n a multiple of 9?
True
Let t(j) = 2*j**2 + 4*j - 4. Does 12 divide t(2)?
True
Let n be 1/2 + 301/14. Is 20 a factor of 12/66 - (-1140)/n?
False
Let h(o) = o**3 + 11*o**2 - o - 3. Suppose 3*p + 33 = -3*b, 0 = 3*b - 7*p + 2*p + 33. Does 3 divide h(b)?
False
Let q = -50 + 102. Does 4 divide (-1)/(-1)*q/4?
False
Let u = 2 + -1. Let m = 6 + -7. Does 5 divide (m/(-2))/(u/28)?
False
Let j(k) = -k**2 + 6*k + 5. Let q be j(7). Let p = q - -4. Suppose -108 = -2*a - p*a. Is 12 a factor of a?
False
Suppose -6*r - 279 = -3*r. Let z = 135 + r. Does 21 divide z?
True
Suppose 0 = 4*u - 3*u - 5, -4*c + 63 = 3*u. Is 3 a factor of c?
True
Let x(s) = -44*s + 4. Let w(u) = 15*u - 1. Let l(r) = -7*w(r) - 2*x(r). Is l(-3) a multiple of 25?
True
Suppose 4*h - 5*u - 17 = 0, -2*h + 0*h - 2*u = -4. Suppose -h*k + 10 = 2*k. Suppose -i = -0*f - 3*f - 52, -i - k*f = -27. Is i a multiple of 15?
False
Suppose 5*g = 2*f - 75, f - 99 = -2*f + 3*g. Does 5 divide f?
True
Suppose 0 = 4*p - 0*p + 16, p = -2*c + 68. Is c a multiple of 36?
True
Does 9 divide 8/(-36) + 0 - (-940)/18?
False
Let o(a) = -a - 1. Let c be o(-3). Let p(s) = -2*s - c*s + s + 4 + 0*s + s**2. Does 16 divide p(7)?
True
Suppose -5*r + 4 = -3*r. Suppose 4*y + 2*m - 2 = 4, 2*y + 15 = 5*m. Suppose y = o - 8 - r. Is o a multiple of 8?
False
Let x = -32 - -39. Is 2 a factor of x?
False
Suppose -56*r = -51*r - 330. Is 22 a factor of r?
True
Let h(n) = 3*n**2 - 2*n - 1. Let r be h(-1). Suppose r*k - 101 = -9. Is 10 a factor of k?
False
Let s be (-6)/(-8) + (-5)/(-4). Suppose o = s*o - 42. Does 14 divide o?
True
Does 16 divide (-133)/(-49) + (-2)/(-7) + 45?
True
Suppose 2*d - 4*d + 4 = 0. Suppose -t - 14 = -3*c, 4*t = -6 - d. Is 2 a factor of c?
True
Suppose 5*u + 0*o + 3*o = 15, -5*u - 2*o = -20. Let w(c) = 2*c**2 - 10*c + 8. Is 11 a factor of w(u)?
False
Let v(k) be the first derivative of -13*k**2/2 +