 - 47/(-3). Is (o/12)/((-2)/(-3)) a multiple of 2?
True
Does 21 divide (117/13)/(6/68)?
False
Suppose 2*r - 13 = -v, -5*r - v + 26 + 2 = 0. Let m be (-1)/r - 1905/(-25). Let p = -33 + m. Is p a multiple of 17?
False
Is 6/(-1 - 9/(-8)) a multiple of 33?
False
Suppose 4*a = 2*k - 24 - 20, 2*a + k + 26 = 0. Let m = 16 + a. Is m a multiple of 4?
True
Let g = 17 - -16. Is g a multiple of 4?
False
Let i(u) = -u + 13. Let l be i(16). Is 7 a factor of 27 + 1 + (-2 - l)?
False
Let w(g) = g**3 + 6*g**2 + 4*g + 6. Let k be w(-4). Let x = k + 15. Let f = -15 + x. Is 10 a factor of f?
False
Is -6 - -115 - (4 + 0) a multiple of 15?
True
Suppose 5*o - 113 = 97. Is o a multiple of 14?
True
Let f(h) = h**2 + h - 3. Let v(j) = -j**2 - j - 5. Let r be v(0). Does 7 divide f(r)?
False
Suppose -54 - 105 = -3*i. Let v be (19/(-3))/(3/18). Let c = v + i. Does 15 divide c?
True
Let x = 645 + -366. Does 18 divide x?
False
Let f(q) be the second derivative of -3/10*q**5 + 0 + 2/3*q**3 + q + q**2 + 1/4*q**4. Is 19 a factor of f(-2)?
False
Let n(s) = -5*s + 33. Is 12 a factor of n(-7)?
False
Let t(g) be the first derivative of g**3 - 2*g**2 + g + 2. Is 8 a factor of t(3)?
True
Suppose 75 = 8*r - 3*r. Does 15 divide r?
True
Let i(w) = w**3 + w**2 + w + 2. Suppose 4*s = 3*s. Let o be i(s). Suppose -o*v + 0*v + 20 = 0. Does 10 divide v?
True
Let j(x) = 2*x**2 - 8*x + 6. Let r be j(6). Let n = r - 10. Is 20 a factor of n?
True
Let q = -209 + 329. Suppose 0*w = -5*w + q. Is 12 a factor of w?
True
Suppose 2*d + d = 6. Suppose -4*t + 12 = 0, -d*l + 20 = 2*t - 6. Is l a multiple of 4?
False
Suppose 5*s - 3*s - 2*x = 54, -4*x = -2*s + 48. Is s a multiple of 4?
False
Let r(b) = 3*b**3 - 2*b**2 + b - 2. Let l be r(3). Suppose 4*n - l = 4. Is 5 a factor of n?
False
Let b(r) = 2*r + 15. Suppose 3*o - 33 - 2 = -2*k, 0 = 3*o + 5*k - 38. Is 13 a factor of b(o)?
False
Let l be (2/(-4))/((-1)/(-12)). Is (-116)/l + 2/3 a multiple of 12?
False
Suppose -3*k - r + 7 = k, 4*r = k - 6. Let w(d) = 11*d**2 - 4. Let p be w(-2). Suppose 0 = 7*a - k*a - p. Is 3 a factor of a?
False
Let k = -11 - -17. Suppose 5*v + 32 = -13. Let d = k - v. Does 12 divide d?
False
Let g = -4 - -6. Let v = 2 - g. Is 6 a factor of (v + 1)/((-3)/(-51))?
False
Let s = 94 - -34. Does 32 divide s?
True
Let x(c) = c**3 - 4*c**2 + 2*c - 6. Let u be x(4). Let w be 3*u - (3 + -1). Suppose w*r = 4*b + 100, 5*r + 4*b - 41 = 57. Is r a multiple of 16?
False
Let f(j) = j**3 - 3*j**2 + 7*j - 7. Is 18 a factor of f(5)?
False
Let q(f) = -f**3 + 4*f**2 - 3*f. Let g(w) = w + 11. Let c be g(-8). Let y be q(c). Suppose y = v - 6*v + 125. Is v a multiple of 9?
False
Let j be (-6)/(-3)*(11 - 1). Let z = 9 - 5. Suppose 4*d = -z + j. Does 2 divide d?
True
Suppose -28 = c + 3*c. Let m be ((-2)/(-4))/(c/(-154)). Suppose 0 = -o - 1 + m. Is o a multiple of 5?
True
Let o = 3 - 9. Let q = o - -8. Suppose -r - w + 8 = 0, 0 = 2*r - q*w + 7 - 3. Is r a multiple of 3?
True
Suppose -4*u = 3*p + 27, u - 3*p = -0 - 3. Does 2 divide u/15 + 64/10?
True
Suppose -5*v = 5*w + 90, v + 0*w + 3*w + 8 = 0. Let f = v + 47. Does 8 divide f?
True
Suppose 0 = 2*f - 4*x - 412, 753 = 4*f - 2*x - 41. Is 14 a factor of f?
True
Let r be ((-581)/21)/(1/(-3)). Let k = 24 + r. Does 27 divide k?
False
Suppose 9 = 9*r - 6*r. Is 2 a factor of r?
False
Suppose 3*m = 2*m + 1, 14 = k - 2*m. Let g = 4 + k. Is 4 a factor of g?
True
Let u(v) = -5*v. Let d be u(1). Let h be ((-2)/d)/((-4)/20). Is 16 a factor of (-4 - h - -46) + -2?
False
Let n(a) = a + 3. Let y = 7 - 13. Let w be n(y). Let z = w + 7. Is z a multiple of 2?
True
Let d(g) = -g + 1. Let j be d(-4). Suppose 5*h = j*u + 25, -5*u - 2*h - 70 = 2*h. Let s = -5 - u. Is s even?
False
Suppose -4*t = -0*t - 208. Is 25 a factor of t?
False
Let t = 157 + -142. Is t even?
False
Let f be (-4)/(-1) + -1 + 1. Is 147/9 - f/(-6) a multiple of 11?
False
Suppose -2*l = -4*l + 4. Suppose 140 = 3*a + l*a. Does 14 divide a?
True
Suppose 4*m + 16 = 4*v, 41 = -0*m - 4*m - v. Let r = m + 17. Is r a multiple of 5?
False
Suppose 5*f = 5, -5*f - 62 = -2*r + 1. Suppose 0*x - x + r = 0. Does 13 divide x?
False
Suppose 70 = -7*n + 2*n. Suppose -g - 42 = -2*b + 4*g, 3*b - 80 = -g. Let s = n + b. Is 6 a factor of s?
True
Let n be 57/21 + 4/14. Let y be 0*((-9)/2)/9. Suppose y*t - 36 = -n*t. Is 6 a factor of t?
True
Let t = -60 + 30. Let v = t - -58. Suppose -i + 4*b + 34 = 0, -2*i = -0*i + 2*b - v. Is i a multiple of 9?
True
Let h(l) = -l**3 + 5*l**2 - l + 4. Let p be h(4). Suppose -p + 7 = 3*m. Let c = 4 - m. Is 3 a factor of c?
False
Let o be (620 + 2/(-1))*1. Let z = o + -359. Suppose -3*j + j = -5*v + z, 2*v - j = 103. Does 19 divide v?
False
Let r = 10 + -10. Suppose 8 = -2*y + 4*d + 30, r = d. Does 4 divide y?
False
Suppose 30 = 5*r - 40. Is 6 a factor of r?
False
Let m(u) = u**3 - u**2 - u + 253. Does 18 divide m(0)?
False
Let d = -197 + 407. Is d a multiple of 6?
True
Let b(u) = 2*u - 6. Let m be b(4). Suppose 7*p = m*p + 255. Does 13 divide p?
False
Suppose 137 = 6*p - 7. Does 8 divide p?
True
Let n(q) = 3*q**2 - q + 1. Let v be n(-3). Let u(t) = t**2 + 2*t. Let y be u(-3). Suppose 2*c - y*c - 3*r + v = 0, 2*r = -6. Is 20 a factor of c?
True
Suppose -4*y + 52 = -5*r, y + 3 + 2 = -r. Let d be ((-14)/(-8))/((-2)/r). Suppose 0 = -z + 29 + d. Is 18 a factor of z?
True
Suppose 15*z - 12*z - 45 = 0. Is z a multiple of 4?
False
Let s be (3 - 1)/(2/4). Suppose -28 = -s*j + 32. Is j a multiple of 7?
False
Suppose 73 = g + 5*c, g - 24 = -3*c + 47. Is g a multiple of 15?
False
Let u be (-4)/10 - 128/(-20). Let k be (27/u)/1*8. Suppose -2*b = 2*p - k, -6*b + 2*b = 3*p - 70. Is b a multiple of 7?
False
Let g = -23 - -57. Is g a multiple of 4?
False
Suppose 0 = q + 5*b + 23, 5*q + 8*b - 3*b = -15. Suppose -q = 4*a - 3*a. Is 3 a factor of -2 - (1*a + -3)?
True
Suppose 3*l - 2*l - 27 = 0. Does 9 divide l?
True
Does 16 divide 64 + 6/(-1 - 1)?
False
Let n(k) = -9*k. Let z be n(-3). Suppose -o = -z - 57. Suppose -4*l + l = -o. Is 16 a factor of l?
False
Suppose 4*j - 3*n - 21 = -2*n, 4*j + 4*n + 4 = 0. Suppose 286 = 5*l - j*f, 4*f + f - 63 = -l. Is 20 a factor of l?
False
Let w be (0 + 0)*(-5)/5. Suppose l - 4 + 2 = w. Suppose -2*k + 3*n = -32, n - 2*n = l. Is k a multiple of 9?
False
Let x(o) = -3*o - 9. Suppose 0 = -2*v - 0*v - 10. Does 6 divide x(v)?
True
Let z(v) be the first derivative of v**3/3 + 6*v**2 + 11*v - 3. Let j be z(-10). Is -14*j/6 - 3 a multiple of 18?
True
Suppose 0 = -2*l - 19 + 45. Does 12 divide l?
False
Suppose 4*a + 16 = -4*k, -2*a + 1 = k + 8. Let m = a + 8. Let v = m + 9. Is 5 a factor of v?
False
Suppose -34*s - 250 = -39*s. Is s a multiple of 10?
True
Suppose 5*n + 4*x + 257 = 619, -n = x - 73. Let d = -42 + n. Is 7 a factor of d?
True
Let w = -66 + 69. Is 3 a factor of w?
True
Suppose 0 = w - 2, w = -0*z - z + 9. Let k(h) = h**3 - 8*h**2 + 8*h + 5. Is k(z) a multiple of 6?
True
Suppose 0*l + 70 = 4*a + 5*l, -3*l - 69 = -5*a. Does 13 divide a?
False
Let c(z) = 5*z**2 - 3*z**2 - 9 - 6*z - 2*z**2 + z**2. Let v be c(7). Does 5 divide v*2/8*-10?
True
Let z be ((-6)/10)/((-4)/40). Suppose 8 = -4*h - 4*x, z = -h - 4*x - 2. Suppose -b + 0*b + 47 = h. Is b a multiple of 16?
False
Suppose 286 = -5*r + 4*m, -m - 177 = 3*r + 2*m. Let v = r - -96. Is 19 a factor of v?
True
Suppose 250 + 610 = 5*p. Does 29 divide p?
False
Let v = 5 - 3. Let n(w) = 3*w**2 + 3*w - 1. Is 16 a factor of n(v)?
False
Let a = 0 - -2. Suppose 2*h - 10 = 0, 2*h = a*k + 33 - 7. Does 13 divide (6*2)/(k/(-12))?
False
Let g(n) = 2*n - 10. Let s be g(8). Suppose 0*x + 2*x - s = 0, 0 = -3*i + 4*x + 9. Is i a multiple of 4?
False
Let d(n) = -19*n**3 + n**2. Let x(o) = o**2 - 3*o - 5. Let f be x(4). Is 7 a factor of d(f)?
False
Suppose 6*t - t - 5*f = 905, -4*t + f = -733. Does 23 divide t?
True
Suppose -18 = -3*u + 6. Suppose 0 = -5*f + 12 + u. Is 4 a factor of f?
True
Suppose g - 6 = 2*d, -4*g - 3*d - 12 = d. Let i be (3 + 1)/(1 - g). Suppose u - 32 = -i*y, -2*y - 5*u = -12 - 4. Is 6 a factor of y?
False
Let t(w) be the second derivative of w**4/12 + 4*w**2 + w. Suppose 2*k + 4*p = 4, 0 = -3*k + p - 2*p + 1. Is t(k) a multiple of 5?
False
Let k = 110 - -82. Suppose -2*l + k = l. Does 16 divide l?
True
Let g = 828 + -572. Does 19 divide g?
False
Let f be 1*4*(-2)/(-4). Suppose -