f 10?
True
Suppose 6*f - 132 = 192. Does 18 divide f?
True
Let f be (75/4)/(3/12). Let s = f + -21. Is (6/4)/(3/s) a multiple of 13?
False
Let w = 129 + -75. Does 18 divide w?
True
Let y be (4/6)/((-6)/(-657)). Suppose 7 = -5*f - 3*o + y, 0 = o - 2. Does 4 divide f?
True
Let v = 151 - 99. Is v a multiple of 13?
True
Suppose -c = -2*c - 4, -5*m + 2*c + 38 = 0. Suppose o - 19 = -m. Is 6 a factor of o?
False
Let s(y) = 2*y**3 + 0 + 7*y**2 - 5 + 1 + 15*y. Let d(h) = -h**3 - h + 1. Let u(f) = 3*d(f) + s(f). Does 15 divide u(8)?
False
Is 12 a factor of (96/(-10))/((-4)/20)?
True
Let g = -3 - -4. Suppose -a + 3*l = g, -4 = -4*a + 4*l - 0*l. Is a even?
True
Let o(q) = -2 + 1 - 4*q + 2*q + q**2 - 3*q**2 - 25*q**3. Is o(-1) a multiple of 12?
True
Let d be (24/9)/((-8)/84). Does 11 divide (-931)/d + (-2)/8?
True
Suppose 5*t - 2*h - 838 = 0, -5*t + 0*h + 4*h + 836 = 0. Is t a multiple of 6?
True
Suppose 4*z - 2*h = 14, -3*z - 2*h + h = -18. Suppose -2*d = g + 12, -z*d - 25 = -g + 19. Is -1 - 0 - d - 1 a multiple of 3?
True
Let f = 18 + 6. Is 8 a factor of f?
True
Let b(j) = -j**2 - 5*j - 4. Let l be b(-3). Suppose -v + l = -7. Is 9 a factor of v?
True
Let j(p) = -p**3 - 7*p**2 - 5*p + 5. Let z be j(-6). Let r = -8 + 20. Let n = r + z. Is n a multiple of 11?
True
Let w(h) = h**2 + 5*h - 9. Suppose -b - 2*p = b + 16, p = 3*b + 24. Does 13 divide w(b)?
False
Let z = -81 - -43. Let x = -17 - z. Is 7 a factor of x?
True
Let s(z) = z**2 - 3*z + 4. Let u be s(3). Does 13 divide u/6 - (-965)/15?
True
Suppose -3*j - 2*j = -65. Is j a multiple of 12?
False
Is 151/3 + 5/(-15) a multiple of 10?
True
Let m(n) = 2*n**3 + n**2 - 1. Let w be m(1). Suppose 2*b + 15 = -3*d, -w*b - 2*d - 8 - 2 = 0. Suppose -3*j = 0, 3*j - 40 = -4*s - b*j. Is s a multiple of 5?
True
Let o(y) = 11*y - 2. Let a be o(2). Suppose 4*p + 4 = a. Is 2 a factor of p?
True
Let n = 83 + -29. Does 4 divide n?
False
Suppose 0 = -3*v + 13 + 11. Is 8 a factor of v?
True
Is 7/(84/8) + (-1880)/(-24) a multiple of 3?
False
Let o = 81 - 25. Is o a multiple of 28?
True
Let n = 17 - 10. Suppose 0 = -5*v + n + 178. Does 20 divide v?
False
Let k(i) = -78*i + 13. Is k(-2) a multiple of 13?
True
Let s be (0 + -52)/(-2) - 1. Suppose 0 = 4*h + 20 - 88. Let l = s - h. Is 4 a factor of l?
True
Let x(a) be the first derivative of a**3/3 + 3*a**2 + 2*a + 3. Let k be x(-6). Is (-2)/(k/(-2)) - -3 a multiple of 5?
True
Let k = 54 - 14. Does 5 divide k?
True
Suppose 0 = 2*g - 9 - 7. Suppose g = c - 2. Does 4 divide c?
False
Let z = 8 + 4. Does 7 divide z?
False
Let u(r) = r**2 - r + 2. Let d(s) = -s**2 - 5*s + 1. Let p be d(-4). Is u(p) a multiple of 22?
True
Let m(g) = -g**2 - 7*g + 2. Let x be m(-10). Let c(o) = -2*o**2 - 9*o - 5. Let r be c(-7). Let a = x - r. Does 12 divide a?
True
Suppose -o + 5 = -6*o. Let z be (-2)/4 + o/(-2). Is 17 a factor of (z - -1)/(2/68)?
True
Does 11 divide ((-92)/(-6))/((-24)/(-36))?
False
Suppose -2*b = -a + 302, b + 199 - 1105 = -3*a. Suppose 3*x + a = 5*g, 7*g - 3*g = 4*x + 248. Is g a multiple of 28?
False
Let m = -2 + 2. Suppose 0*r - 4*r - 4*a + 216 = m, -2*r + 83 = -3*a. Suppose -5*p - r = -279. Does 22 divide p?
False
Suppose 0 = -z + 36 - 0. Does 12 divide z?
True
Let t be (-2 - (0 + -2))/2. Let k be (2 - (-29)/2)*2. Let u = k - t. Does 13 divide u?
False
Suppose 2*t - z - 89 = 0, -5*t + 2*z + 0*z + 220 = 0. Does 3 divide t?
True
Suppose 4*j - 5 = 3. Suppose -5 = -3*f - j. Suppose 5 = -3*c - f, 4*c + 2 = -o. Is 5 a factor of o?
False
Let r(u) = u**2 + 6*u + 6. Is 4 a factor of r(-7)?
False
Let p be 2*-22 + 2/1. Is 9 a factor of (-1146)/p - 2/7?
True
Suppose -5*b - 3*v = -8*v - 30, -4*v = -3*b + 19. Suppose 0 = 4*a - 5*u - 95, -b*u + 48 = 2*a - 37. Is 10 a factor of a?
True
Let a = 7 - 4. Let g = 1 + a. Suppose -n - g*v + 7*v = -26, -5*n - 2*v = -96. Is n a multiple of 9?
False
Suppose -5*k - c - 60 = 3*c, 4*k + 5*c = -57. Let q = k + 8. Does 19 divide (q + -10)*25/(-10)?
False
Suppose 2*x = -5*u - 64, 3*x = 3*u + 22 + 29. Let d = u - -25. Is d a multiple of 6?
False
Let b be -3 + 5 - (-1 + 5). Let g be 1*(b - (1 - 4)). Is g/(-1)*1*-24 a multiple of 17?
False
Let r be -1 - (0 - (3 + 0)). Is 18 a factor of (-328)/(-18) + r/(-9)?
True
Let i be 3*2*20/30. Suppose i + 61 = w. Does 13 divide w?
True
Suppose 0 = -2*p + 3*g + 19, -p = -0*p - 3*g - 17. Suppose 0 = 2*k - 4, y + 4*k - 76 = p*k. Does 18 divide y?
True
Let p = 143 + -46. Does 27 divide p?
False
Suppose 0*j = -3*j. Suppose j = -8*s + 3*s + 70. Is 14 a factor of s?
True
Suppose -117 = -4*p + 131. Does 4 divide p?
False
Let k be ((-42)/49)/((-2)/14). Let w(z) = z**3 - 6*z**2 + z - 2. Does 2 divide w(k)?
True
Let i(d) = 50*d - 33. Is i(5) a multiple of 16?
False
Let d be 5 + (-2 + 1)*3. Suppose 0 = -d*b - 6, b = l + 4*l + 2. Does 18 divide 6*(l - -4*1)?
True
Suppose -5*c = -l - 346, 3*c - 5*l = -l + 194. Is c a multiple of 13?
False
Let q = 27 - -14. Does 8 divide q?
False
Suppose -2*x + 153 = k, 3*k = -k + 12. Is 25 a factor of x?
True
Let g(x) = -x**3 - 7*x**2 - 2*x + 2. Let m be g(-3). Let l = -9 - m. Is 19 a factor of l?
True
Suppose 0 = 2*u + 2*i - 108, -54 = 4*u - 5*u + 5*i. Is 28 a factor of u?
False
Let m(r) = -r**3 - 15*r**2 - r - 6. Let d be m(-15). Suppose d = p - 12. Is 11 a factor of p?
False
Let h(r) = -r**3 - 6*r**2 + 11*r - 3. Let q be h(-8). Let k = -21 + q. Is k a multiple of 4?
True
Let k be -4 - -6 - (1 + -8). Let a(o) be the second derivative of o**5/20 - 3*o**4/4 - o**3/6 + 13*o**2/2 - 3*o. Does 3 divide a(k)?
False
Let p(s) = s**3 + 4*s**2 - 6*s - 5. Let n be p(-5). Suppose 2*q = -n + 4. Does 2 divide q?
True
Is (-18)/(-24) + (-2)/(8/(-369)) a multiple of 9?
False
Suppose 2*c + 4*c = 492. Is c a multiple of 7?
False
Let a = 246 - 132. Is a a multiple of 19?
True
Suppose 0 = 5*q - 5*z - 85, 0 = 5*q + z + 3*z - 67. Let p be q/(3/(-16)*2). Let s = -14 - p. Is 9 a factor of s?
False
Let t = -1 + 2. Does 35 divide t/(-4) - 1974/(-56)?
True
Let j = -111 - -195. Is 28 a factor of j?
True
Let d(j) be the first derivative of -j**3/3 - 5*j**2/2 + 5*j - 1. Does 7 divide d(-4)?
False
Suppose a = 14 - 5. Does 9 divide a?
True
Let y be (1 - 1)/(-8 - -7). Suppose 0 = -y*b - 5*b + 185. Does 20 divide b?
False
Let j(l) = 35*l + 14. Let b(x) = -12*x - 5. Let d(m) = -14*b(m) - 5*j(m). Let g be d(-2). Is 10 a factor of -3 + g - (-1 - -2)?
True
Is ((-3)/(-2))/((-39)/(-832)) a multiple of 16?
True
Let h(v) = 3*v + 9. Let m be h(13). Suppose -5*a + 81 = o - 2*a, -5*a - 358 = -4*o. Let u = o - m. Is 13 a factor of u?
True
Let a = 113 + -58. Is a a multiple of 13?
False
Suppose 2*r - r = 5. Suppose -3*z + 6*f - 2*f = -148, -5*z = r*f - 235. Is 10 a factor of z?
False
Let h = 14 + -3. Let u = 6 - h. Does 12 divide 2/u - (-354)/10?
False
Let p(o) be the first derivative of 1 - 5 + o**2 + 3 + 4*o. Is p(3) a multiple of 10?
True
Is (27/6)/(7/84) a multiple of 27?
True
Does 27 divide 332 - (-15 + 3)*(-1)/4?
False
Suppose -a + 2*a = 0. Suppose a = -4*o + 4 + 4. Is 6 a factor of (-2)/(o/(-1)) - -15?
False
Let a be 2 + -2 + 2 + -3. Let x(c) = -70*c. Is 19 a factor of x(a)?
False
Suppose -z = -5*g + 2*g - 90, -88 = -z + g. Is 28 a factor of z?
False
Let i(n) = n - 2. Let t(b) = -b**3 + b**2 - b + 3. Let y(d) = -3*i(d) - 2*t(d). Let x be y(-1). Let o = 13 + x. Does 4 divide o?
False
Suppose 0 = -5*m + 4*k + 377, 3*k - 206 - 31 = -3*m. Is m a multiple of 11?
True
Let l = -25 - -11. Let u = l + 18. Is 2 a factor of u?
True
Suppose -4*u + 4 = -k - 3, 0 = -k + 5*u - 8. Let q(d) = 11*d + 3. Let c be q(k). Is (-72)/c*(-10)/(-3) a multiple of 3?
False
Suppose -n + 20 = n. Let s(f) = 4*f - 3. Is s(n) a multiple of 13?
False
Let p = -10 - -17. Is 3 a factor of p?
False
Let v be (1 - -3)*(-1 - -2). Suppose g + 2 = 4. Suppose -23 = -2*s + l, v*s + 7*l = g*l + 11. Does 5 divide s?
False
Let m be -51 + (3 + -4)/1. Does 13 divide (m/16)/(3/(-36))?
True
Let f be (-9)/(-15) - (-7)/5. Suppose 2*h - 4 = 0, 0 = i - 3*h + 4 + 15. Does 5 divide f*i*2/(-4)?
False
Let p(g) = g + 11. Let z be p(0). Suppose 3*r + 28 = -z. Let s = -5 - r. Does 7 divide s?
False
Let b = -235 + 428. Suppose -5*i + 198 = 3*m, 0 = 5*i - m - m - b. Does 9 divide i?
False
Let r(b) = 2*b + 3. Let z(i) = -i - 1. Let v(q) = 4*r(q) + 9*z(q). Let c(s) = 3*s + 3. Let t be c(-4). Is v(t) a multipl