 = p*f - 8. Does 18 divide f?
True
Let o be (4/6)/((-3)/(-18)). Let r(y) = -y**3 + 3*y**2 + 5*y. Let i be r(o). Suppose i*q + 20 = 5*q. Does 10 divide q?
True
Suppose 3*q - 17 = -0*q - k, -5*q + 3*k + 5 = 0. Suppose 3*n = -5*u + 47, -8 = -q*n + 8. Does 7 divide u?
True
Suppose -4*o = -286 + 82. Is o a multiple of 17?
True
Let y(h) = h**3 + 17*h**2 + 16*h + 24. Let u be y(-16). Let x(r) = r**2 + 3*r + 4. Let n be x(-3). Suppose 2*d + u = n*d. Is d a multiple of 5?
False
Suppose -3*o + 4*r + 30 = 2*o, 1 = -2*o - r. Does 3 divide (-11)/22 - (-15)/o?
False
Let g(x) = -3*x**3 + 14*x**2 - 13. Let o(h) = -5*h**3 + 21*h**2 - 20. Let r(z) = 8*g(z) - 5*o(z). Let d = 4 + -9. Is 18 a factor of r(d)?
False
Let h(t) = -8*t - 3. Let l be h(-5). Suppose -4*u = -31 - l. Does 12 divide u?
False
Suppose -4*m + 1 = -2*s - 3, 2*s = -3*m + 17. Let u = -7 + s. Let l = 7 + u. Is l a multiple of 3?
False
Let m = 50 - 72. Let q = -10 - m. Is q a multiple of 6?
True
Let z = -138 - -218. Is 10 a factor of z?
True
Suppose 7*m = 2*k + 3*m - 36, -3*m + 9 = 0. Let t = 34 - k. Let d = t - 8. Is d even?
True
Suppose 3*a + 5*q - 111 = 0, 3*q - 102 = -3*a + q. Suppose -4*g + a = -20. Is 5 a factor of 1 + 1 + -4 + g?
False
Suppose 16*q = 17*q + 1250. Is (8/10)/((-20)/q) a multiple of 15?
False
Let l be ((-120)/14)/((-6)/105). Suppose 0*a + l = 5*a. Does 15 divide a?
True
Let b be (10/15)/(2/27). Suppose 0 = -4*m + 8, -74 = -2*h + 4*m - b*m. Is h a multiple of 16?
True
Suppose 0 = 4*a + 4*n - 496, -7*n + 373 = 3*a - 3*n. Let q = -73 + a. Does 25 divide q?
True
Let h(c) = 9*c - 1. Let i(n) = -17*n + 2. Let j(k) = -7*h(k) - 4*i(k). Let z be j(1). Suppose 3*r - 5 = 2*s, 0 = 2*s + s + z*r - 35. Is s even?
False
Suppose 0 = 4*x - 3*x + 1. Let g be -3*(x + (-68)/(-6)). Is 13 a factor of -1 - g - (2 - 1)?
False
Let i(m) = -m**2 + 4*m - 4. Let d be i(4). Let b = d + 3. Let q = b - -11. Does 5 divide q?
True
Let b(v) = -v**2 + 8*v + 2. Let a be b(8). Suppose c - a - 1 = 0. Suppose 6*n = c*n + 3*h + 60, 2*n - 68 = -5*h. Is 9 a factor of n?
False
Suppose 2*j - 66 = j + 3*w, 3*j = -3*w + 198. Is j a multiple of 16?
False
Let s = 13 - 7. Suppose -2*h - h + s = 0, -29 = -t - 3*h. Is t a multiple of 10?
False
Suppose 0 = -c + 2. Is 3 a factor of (15/(-10))/((-1)/c)?
True
Suppose 4*l + 2*v = -0*v + 694, 345 = 2*l + 3*v. Is 23 a factor of l?
False
Let g(w) = w**3 + 40. Let o be 8/4 + -3 + 1. Does 10 divide g(o)?
True
Suppose 0 = 58*w - 61*w + 477. Is 20 a factor of w?
False
Let v = -10 + 24. Suppose 5*a + 4*u - v = -3, -3*a = -4*u - 13. Suppose -a*y + 2*n = -41, 7*n - 3*n + 38 = 2*y. Does 4 divide y?
False
Suppose -2*t - 5 + 105 = 0. Is t a multiple of 10?
True
Suppose 0 = 2*r + 5*h - 88, 3*r = r - 2*h + 82. Is 12 a factor of r?
False
Suppose 3*i - 2*i = 100. Is i a multiple of 12?
False
Let s(j) = j**3 - 4*j - 12. Is 13 a factor of s(5)?
False
Suppose 5*m - 2*m = 39. Is 13 a factor of m?
True
Let m be -3 + (110 - -1)/3. Let o be m/10 + (-20)/50. Suppose 5*k = -3*f + 43, -2*k = o*k - 4*f - 71. Does 11 divide k?
True
Suppose 15 = -3*r - 6. Let n be 2/r - (-860)/70. Does 9 divide (-50)/(-3) + (-8)/n?
False
Let o(r) = 3*r**2 - 7*r. Is o(-3) a multiple of 16?
True
Let u = 6 + -4. Let o be (u/(-1) - -4)*2. Is (-3)/(-12) - (-71)/o a multiple of 18?
True
Suppose -v = -5*v - 264. Let p = -40 - v. Does 20 divide p?
False
Is 20 a factor of (17 + 3)/((-2)/(-4))?
True
Let w = -16 + 19. Is 2 a factor of w?
False
Let q(c) = c**2 - 6*c - 2. Let g be q(6). Let l = g + 5. Let b = 16 + l. Is b a multiple of 5?
False
Let b = -8 + 12. Suppose -b = -3*i + 122. Does 21 divide i?
True
Let h be (-2 - 0)*(-3 + 1). Let m = -21 + h. Let c = m - -32. Is c a multiple of 10?
False
Suppose -2*y + 212 = 4*z, 4*y - z + 2*z = 403. Does 25 divide y?
True
Suppose -103 = 3*g - g - 3*n, 4*g + 5*n + 239 = 0. Let j be g - 2/(-1) - 1. Let p = 81 + j. Is p a multiple of 14?
False
Let q(p) = 2*p**2 - 2*p + 5. Is q(3) a multiple of 6?
False
Suppose -6*q = -2*q - 148. Suppose -3*p - 4*f + q = 0, -3*p - 2*f = -0*p - 47. Suppose -2*o + 30 = 2*c, o - 3*o + p = c. Is 11 a factor of c?
True
Let d(k) = -3*k**3 + 8*k**2 + 13*k - 7. Let c(f) = -2*f**3 + 5*f**2 + 9*f - 5. Let m(v) = -7*c(v) + 5*d(v). Is m(5) a multiple of 10?
True
Let o(v) = 2*v**2 + 2*v + 1. Let w be o(-1). Let x(n) = -21*n + 1. Let f(z) = 20*z - 1. Let k(y) = -2*f(y) - 3*x(y). Is 11 a factor of k(w)?
True
Let c(i) = i - 2. Let s(f) = f**2 - 4*f + 1. Let j be s(4). Let a be c(j). Is 6 a factor of a*39/(-6)*2?
False
Let c be (0 + (-6)/(-3))/2. Let z = -2 + c. Does 15 divide 2/2 - (-15 - z)?
True
Let o(i) = -17*i**3 + 1. Let x be o(1). Let a = -4 - x. Suppose 2*d = 12 + a. Is d a multiple of 7?
False
Let m be 354/(-4)*10*-1. Suppose 5*o = -35 + m. Is 3 a factor of 2/9 - o/(-45)?
False
Is 20 a factor of 21/(-14)*2*(-100)/3?
True
Let y = 53 + -13. Does 20 divide y?
True
Let u = -24 - -56. Is u a multiple of 16?
True
Suppose -f - 719 - 346 = -3*j, 5*j - 1782 = 4*f. Does 34 divide j?
False
Let s(d) = 8*d**2. Let u be s(-1). Suppose -u = -2*r - 2*t, 6*r - 5*r - 12 = -5*t. Is 8 a factor of r*-1 - -1 - -18?
False
Let d = -14 - -6. Let s be 1*5*d/(-20). Suppose 3*g - 5*c - 3 - 7 = 0, -s*g + 3*c + 7 = 0. Is g even?
False
Is 11/(55/90) + -2 a multiple of 7?
False
Suppose 174 = 3*v - 3*b, -5*v + 3*b + 240 = 8*b. Is 5 a factor of v?
False
Let p(a) = -2*a - 10. Let t be p(-7). Let o be 39/6 + (-2)/t. Suppose 2*z - o*z = -44. Is z a multiple of 11?
True
Suppose -5*q = 384 - 1119. Suppose -5*a + q = 2*d - 16, 12 = 3*d. Is a a multiple of 20?
False
Let n be 4/22 + (-996)/33. Let x = n + 54. Does 8 divide x?
True
Let w(u) = -1. Let h(f) be the third derivative of -f**4/24 + 2*f**3/3 - 3*f**2. Let o(d) = 6*h(d) + 30*w(d). Is o(-4) a multiple of 9?
True
Suppose -j = -4, -2*s - 18 = -3*j + 22. Let z = 49 - s. Is 21 a factor of z?
True
Let i(r) = 5*r - 1. Let q(y) = 6*y. Let g(f) = -3*i(f) + 2*q(f). Is g(-6) a multiple of 21?
True
Suppose 3*s = 2*s - 4*i + 29, -2*i = -6. Is (5 + -2)*-1 + s a multiple of 4?
False
Let x = -10 - -6. Let m be ((-20)/(-35))/(x/(-14)). Suppose 2*z + m = 30. Is 7 a factor of z?
True
Let z(u) = -3*u**3 + 2*u**2 - 3*u - 3. Is z(-3) a multiple of 5?
True
Let x be (-3)/(-3)*(20 - 3). Suppose 2*z - 2 = -2*b, z - 5*b - x = 8. Suppose z*m = 3*m + 78. Does 18 divide m?
False
Let x(d) be the first derivative of 2*d**3 - d**2 - 4*d - 2. Is 24 a factor of x(-2)?
True
Suppose 6 = 2*r - k - k, 3*k + 5 = 2*r. Let h = r - 3. Let w(m) = 16*m**2 + 2*m - 1. Is 17 a factor of w(h)?
True
Is 3 a factor of -2*(-2)/(-4)*-9?
True
Suppose 5*c = 3*c + 280. Does 14 divide c?
True
Suppose 5*v = 4*w - 27, 0*v + 3*w = -3*v. Let n be ((-20)/6)/(2/v). Let r(t) = 5*t - 5. Is r(n) a multiple of 8?
False
Let r be (-2)/(-5) - (-224)/(-10). Let w = r - -36. Does 10 divide w?
False
Let x = -77 + 121. Does 11 divide x?
True
Let i be ((-4)/18)/(4/(-36)). Let a be 12 + 0 + (0 - 0). Suppose -4 + a = z - i*t, 4*t = 3*z - 26. Is 3 a factor of z?
False
Suppose 3*r + 22 = -l + 2*l, 4*l - 3*r - 70 = 0. Is l a multiple of 6?
False
Let h(g) = 4*g. Does 12 divide h(7)?
False
Is 1 - -7 - 8/(-4) a multiple of 10?
True
Let c(t) = 91*t**2 + t - 2. Is 15 a factor of c(1)?
True
Suppose 108 = -2*l - 2*l. Let p = l + 45. Let y = p + -6. Does 8 divide y?
False
Suppose -209 = -5*i + 146. Is 18 a factor of i?
False
Let k(q) = 15*q**2 - 2*q + 1. Let f be k(1). Suppose -o + 28 = -4*d, o + f = 2*o + 3*d. Is o a multiple of 10?
True
Let i be (-3)/((-3)/2) - -1. Let y be (5/(-3) - -2)*i. Suppose 2*o - 29 = y. Is 6 a factor of o?
False
Suppose j - 8 = 4*r + 2*j, -r - 5*j - 2 = 0. Let f be r + 0 - (-4 + 6). Let v(d) = -9*d - 6. Is 15 a factor of v(f)?
True
Let y(k) be the third derivative of 11*k**4/6 - k**3/6 + 3*k**2. Does 14 divide y(1)?
False
Let x = 16 + 8. Suppose a - x = -a. Is 9 a factor of 218/a - 1/6?
True
Let m be (-45)/(-5)*10/(-2). Let k = m + 99. Does 18 divide k?
True
Let t = 2 - -4. Suppose -t*x = -4*x - 66. Is x a multiple of 27?
False
Let q be ((-3)/4)/((-12)/48). Suppose 67 = 4*s + v, 5*v + 56 = -s + 4*s. Suppose q*f = s + 55. Is 9 a factor of f?
False
Let g(s) = -2*s**2 - 28*s - 2. Is g(-11) a multiple of 14?
False
Let z(y) be the third derivative of 1/4*y**4 + 0*y + 5/3*y**3 - y**2 - 1/120*y**6 + 0 - 7/60*y**5. Does 9 d