et s be ((-12)/(-10))/(9/390). Suppose -4*x = -2*x - s. Does 14 divide x?
False
Suppose -5*r = 0, -d + r = -2*r - 221. Is 13 a factor of d?
True
Let c be (-9)/(-2) - 1/2. Suppose 0 = 4*s - g - c, -2*g = -2*s - 4 - 0. Is 12 a factor of (-105)/(-3) + s + -1?
True
Let d = -365 + 635. Is 9 a factor of d?
True
Let t(d) = -1 + 2 + 0 - 2 - 28*d**3. Is t(-1) a multiple of 9?
True
Let u = -13 - -26. Does 6 divide u?
False
Let l = 3 + 2. Suppose -4*n + l*f = -19, -n - 4*f = -3 - 7. Is n a multiple of 6?
True
Let i be 5 - ((-4 - -3) + 1). Is 13 a factor of (-10)/25 - (-302)/i?
False
Let f(c) = 4*c**3 + 5*c**2 - 2*c - 7. Let v(g) = 3*g**3 + 5*g**2 - g - 6. Let q(l) = 2*f(l) - 3*v(l). Let b = -4 + -1. Does 4 divide q(b)?
False
Suppose 2*s = 2*x + 2*x - 386, -297 = -3*x + 4*s. Is x a multiple of 14?
False
Suppose 3*n + 2*n - 30 = 0. Suppose 5*w + n*t - 43 = 3*t, w + 3*t = 11. Is w a multiple of 5?
False
Suppose 3*i = -0*i + 9. Suppose 3*a - 34 = -2*g - 0*g, -4*g = -a - 12. Suppose 2*o + a + 0 = 0, -42 = -3*c + i*o. Does 8 divide c?
False
Suppose 3*g - 48 = 21. Is 18 a factor of g?
False
Suppose 3*c = 2*c. Is 11 a factor of 45/(c + -1 - -2)?
False
Does 14 divide -14*-3*2/6?
True
Let b be (-17 + (1 - 1))/(-1). Suppose 3*n - 4*n = -b. Is 7 a factor of n?
False
Let b be (2 - -35) + 2 + 1. Suppose 5*w + 4*d - 167 = 0, -w - 3*d = -0*w - b. Does 12 divide w?
False
Suppose 2*z - 7*z = -600. Is z a multiple of 14?
False
Let d = 34 + -6. Let x = -125 + 177. Let m = x - d. Is m a multiple of 8?
True
Suppose 0 = -2*m + 4*m - 2. Does 7 divide -1 + 22/m + -1?
False
Suppose 6 = -4*m - 2. Let z be m*((-21)/(-6) + 3). Let l = 67 + z. Does 24 divide l?
False
Let i(u) = u**2 - 9*u + 1. Let m be i(9). Let w(y) = m - y**3 - 2*y**2 - 7*y**2 + 10*y + 4. Is w(-10) a multiple of 5?
True
Let k = -42 + 30. Is 8*(k/(-8) + 1) a multiple of 18?
False
Let s(j) be the second derivative of 7*j**3/3 + j**2 + 3*j. Is s(2) a multiple of 8?
False
Let q(m) = -11*m - 6. Does 10 divide q(-4)?
False
Suppose -4*b + 5*l + 2 = 0, -l - l = 5*b + 14. Is 13 a factor of (-4)/b - (-450)/9?
True
Let h be 3*5/(15/(-2)). Let q be -4*(-3)/h - 3. Does 12 divide (-4)/(2/(q - 3))?
True
Let m(t) = t**2 - 6*t - 7. Let q be m(6). Let s(r) = r**3 + 6*r**2 - 9*r + 4. Is 13 a factor of s(q)?
False
Let b(w) = 1. Let n(r) = -5*r + 1. Let j(t) = -3*b(t) - n(t). Is 13 a factor of j(8)?
False
Let x(o) = 2*o**2 + 2*o - 4. Is 4 a factor of x(-6)?
True
Let z = 6 - 3. Let j(c) = c**3 - 4*c**2 - 2*c. Let g be j(z). Let y = 30 + g. Is y a multiple of 5?
True
Suppose -115 = -4*w + f, -5*w + 4*f + 68 = -3*w. Does 8 divide w?
False
Let w = 70 - 20. Is w a multiple of 25?
True
Let s(h) = -7*h**3 - h**2 + h + 1. Does 3 divide s(-1)?
True
Suppose 4*s + 5*w = 2*s + 190, -s = -4*w - 82. Let d = s + -48. Is 14 a factor of d?
True
Let i(s) = -s + 26. Does 7 divide i(0)?
False
Let s(l) = 6*l**3 + l**2 - 2*l + 1. Let z be s(1). Suppose -2*p + 0 = -z. Suppose m - 24 = -p*m. Is m a multiple of 6?
True
Let q = 183 - 115. Does 17 divide q?
True
Is (85/(-15) - -5)*(1 + -55) a multiple of 9?
True
Let k(o) = 17*o + 1. Suppose -2*s + 2*g - g = 1, 5*s - 3*g = -5. Let t be (3/(-12))/(s/(-8)). Is 9 a factor of k(t)?
True
Suppose 4*u + 8 = 2*u. Let w be -2 + 1/(-2)*u. Suppose -2*b + w = -12. Is b a multiple of 3?
True
Let n(u) = -u**2 - 4*u - 1. Let h be n(-2). Suppose -5*k - h*f + 258 = 0, 4*k + 46 = 2*f + 270. Is k a multiple of 17?
False
Let s = 15 - -9. Suppose 2*f + s = 5*f. Is 63/(-6)*f/(-6) a multiple of 5?
False
Let b(d) = 4*d**2 - 2*d - 2. Let i be b(-2). Let z = i - 3. Does 15 divide z?
True
Suppose 38 + 18 = s. Does 28 divide s?
True
Suppose 4*g + g - o = 123, -3*o - 94 = -4*g. Is g a multiple of 11?
False
Let s(c) = -7*c**2 + 3*c + 6. Let b be 4 - (2/2 + -2). Let q(t) = 10*t**2 - 4*t - 9. Let p(k) = b*q(k) + 7*s(k). Is 3 a factor of p(-3)?
True
Let a = 15 + 50. Suppose -24 = 4*h + k - a, -3*h = 4*k - 34. Does 5 divide h?
True
Let z(j) = -j**2 + 9*j. Let u be z(9). Suppose -3*i + 35 + 28 = u. Does 7 divide i?
True
Let w = 13 + -10. Suppose 3*p - 13 = 5*d, 34 = 5*p + d + w. Does 6 divide p?
True
Does 13 divide (-492)/(-30) + 4/(-10)?
False
Let q be 686/7 - (-1 + 3). Suppose h = -18 - 37. Let o = h + q. Is 15 a factor of o?
False
Suppose 10*a + 5*i - 15 = 5*a, 3*a = -2*i + 8. Let m be -1*((-2 - 1) + a). Is 15 a factor of (22 - (-4)/2) + m?
False
Let g be -2 - (-4 - -3)*309. Is g/6 - (-2)/(-12) a multiple of 17?
True
Let l = 149 - 72. Is 10 a factor of l?
False
Suppose 0 = -3*t - 0*b - b + 69, 87 = 3*t - 5*b. Suppose -3*u = -4*w + 37, -w + t = 4*u - 9. Is 13 a factor of w?
True
Is (-19)/38 - (-46)/4 a multiple of 5?
False
Suppose 0 = -5*d - 4*f + 6*f, -5*f + 21 = -2*d. Suppose -d = -u - 5*w, -5*u = -5*w - 3 - 7. Suppose -3*r = -5*s + 5, 1 = 5*s - u*r - 9. Is s even?
True
Suppose -3*l + 4*h + 982 = 2*l, 2*h - 188 = -l. Is l a multiple of 30?
False
Suppose 4*j - 2*j - 14 = 0. Let f(v) = -v**3 - 5*v**2 + 4*v - 3. Let g(i) = i**3 + 5*i**2 - 3*i + 3. Let o(n) = j*g(n) + 6*f(n). Is 12 a factor of o(-3)?
True
Suppose -358 = -5*u - r - r, 3*u + 5*r = 230. Does 10 divide u?
True
Suppose -1 = k + 2, 4*k + 16 = 2*c. Suppose -4*j - 20 = c*o, -3*j + 9 = -5*o - 15. Is 5 a factor of ((-40)/o)/((-12)/(-18))?
True
Let a(c) be the second derivative of c**6/120 + c**5/30 - c**4/24 - c**3/3 - c**2/2 + c. Let k(j) be the first derivative of a(j). Is k(3) a multiple of 13?
False
Let k be (2/4)/(3/(-72)). Is 5 a factor of (-45)/(-4) + 3/k?
False
Suppose -p = -4*p + 300. Is p a multiple of 12?
False
Suppose 40 = -3*l + 5*l. Suppose 0 = 5*s - 90 - l. Does 11 divide s?
True
Let v be 300/(5 + -2) + 2. Suppose 0 = 5*x - 38 - v. Does 16 divide x?
False
Does 3 divide 45 + (-3)/6*2?
False
Suppose 5*y + 2*f = -664 + 2324, -5*y = f - 1665. Does 25 divide y?
False
Suppose 4*g + b = 204, 2*g - b = -5*b + 102. Suppose 19*f - 16*f - 12 = 0. Suppose -4*m + 18 = q, -f*m - 3 = -3*q + g. Does 9 divide q?
True
Suppose -4*f + 104 = 24. Suppose -5 + f = p. Is p a multiple of 13?
False
Let o = 42 + -15. Let j = o + 9. Is j a multiple of 18?
True
Let s(c) = 2*c + 4. Let y(u) = u**2 - 6*u + 1. Let t be y(7). Is s(t) a multiple of 10?
True
Is (-176)/(-12) - (-4)/(-6) a multiple of 14?
True
Let h be 0/(1 - (-6)/(-2)). Suppose h*o = 3*o + 12. Is (66/9)/(o/(-6)) a multiple of 7?
False
Suppose -r - 4*l = -2*l - 26, -5*r + l = -75. Is r a multiple of 4?
True
Let s = -2 + 2. Let z = -38 + 43. Suppose -3*i = s, -4*q + z*i = -2*q - 18. Does 9 divide q?
True
Suppose 129 = 2*f - 101. Does 23 divide f?
True
Is 15 a factor of (10/(-8))/((-6)/72)?
True
Let u be ((-6)/18)/((-1)/12). Suppose 0 = y + y + u. Let v = 7 + y. Does 5 divide v?
True
Let i = 36 - 14. Does 11 divide i?
True
Suppose 0 = v - 19 + 13. Is v even?
True
Let n = 79 + 87. Suppose 0 = 5*p - 2*p - 3*q - 96, -5*p + 3*q = -n. Is p a multiple of 9?
False
Suppose 2*d - 96 = -3*x + 7*x, d - x - 43 = 0. Does 9 divide d?
False
Suppose 0*r - 6*r + 378 = 0. Is 6 a factor of r?
False
Suppose 4*m + 0*m = 344. Is m a multiple of 16?
False
Let p = 6 + -8. Let u(q) = -q**3 + 2*q**2 - 9*q - 7. Let r(f) = f**3 - f**2 + 8*f + 6. Let n(h) = -5*r(h) - 4*u(h). Does 2 divide n(p)?
True
Let o(c) = c**3 - 7*c**2 + 7*c - 4. Let l be o(6). Let j be l + 2*3/(-2). Is 11 - (1 - 1)*j a multiple of 11?
True
Suppose x - 2*x = -87. Is 29 a factor of x?
True
Suppose 4*n - 2*a + 0*a - 248 = 0, -4*n + 260 = 4*a. Let g = n - 27. Is g a multiple of 12?
True
Let p = 9 - 6. Suppose -p*a + 107 - 13 = -v, 2*a = 5*v + 54. Is 16 a factor of a?
True
Let f(t) = t**3 + 3*t**2. Let k be f(-3). Suppose 3*a - 88 + 13 = -2*r, k = 3*r + 5*a - 113. Is r a multiple of 9?
True
Let x be 8 - 1 - (-6 - -7). Let n(v) = -v**2 - v - 1. Let l(m) = 7*m**2 + 3*m + 9. Let w(a) = x*n(a) + l(a). Does 3 divide w(3)?
True
Does 3 divide 288/21 - 8/(-28)?
False
Suppose -10*u = -253 - 307. Is u a multiple of 15?
False
Let p = 48 - 28. Is p a multiple of 20?
True
Let m be 25 - (0 - (-2)/(-1)). Suppose -5*a = 5*c - 5, 3*a + m = 3*c - 0*c. Does 7 divide (a/(-6))/((-12)/(-162))?
False
Suppose 0 = 3*g - 0*g - 33. Suppose -49 = -5*l + g. Does 12 divide l?
True
Suppose 3*o + 0 = 12. Let z(c) = -c**3 + 4*c**2 - 2*c + 6. Let x be z(o). Does 2 divide x/(-5) - 48/(-30)?
True
Let g = 12 + -12. Suppose f + 2*t - 51 = g