(-56)/6*(-399)/38?
False
Let k be 1 + -1*2 + -2. Let l(i) = -5*i + 2. Let j be l(k). Suppose -2*v = -j - 11. Does 14 divide v?
True
Suppose 2*j - 39 = -k, -87 = -4*j - 0*j + k. Does 14 divide j?
False
Suppose -3*w = -v - 154, 4*v = -3*w - 0*v + 179. Does 3 divide w?
False
Let z = -87 + 187. Is 25 a factor of z?
True
Let m = -3 - -5. Let j be m - (19 - (0 - -2)). Let b = -7 - j. Does 3 divide b?
False
Let f = 11 - 8. Suppose 2*m - 153 = -f*s, -5*m + 7*s + 370 = 2*s. Suppose 4*t - 62 = -4*z - 2, -4*z + m = t. Does 10 divide z?
True
Let l = -390 + 192. Is (-9)/(-36) + l/(-8) a multiple of 5?
True
Let l(x) = 4*x + 2. Let u be l(3). Suppose 4*j - u = -2. Suppose -2*d + 50 = j*d. Is d a multiple of 6?
False
Let d = 32 + -62. Let k = -20 - d. Is k a multiple of 10?
True
Is (4 - 8)*15/(-6) a multiple of 10?
True
Let c(m) be the third derivative of m**6/60 - m**5/30 - m**4/24 - m**2. Is 4 a factor of c(2)?
False
Let o(z) = -z**3 - 30*z**2 - 6*z - 61. Is o(-30) a multiple of 24?
False
Let o(h) be the second derivative of h**4/12 - 2*h**3/3 - h**2/2 + 2*h. Does 20 divide o(-3)?
True
Let j(d) be the third derivative of d**4/24 + 5*d**3/6 - 2*d**2. Let a be j(-6). Is a + 0 + 2 + 3 a multiple of 4?
True
Let s = 4 + 12. Suppose -3*p - 3 = -0*p, 3*a - p - s = 0. Is a a multiple of 4?
False
Let z(n) = -2*n - 5. Let a be 0 + 0 - (1 + 4). Let i be z(a). Let l(s) = -s**2 + 9*s - 1. Does 9 divide l(i)?
False
Suppose 4*z - 2*y - 32 = 0, 8 = z - 3*y + y. Suppose s = -5*b + 45, -2*b = -5*s + z + 1. Is 4 a factor of b?
True
Suppose 5*t = -5*t + 1040. Does 13 divide t?
True
Let t(a) be the first derivative of -a**6/120 + a**5/20 + a**4/12 - a**2/2 + 1. Let i(j) be the second derivative of t(j). Does 6 divide i(3)?
True
Suppose -3*r + 1 + 11 = 0. Let d = -4 + r. Suppose 0*w = 4*f - 5*w + 3, -5*f + 5*w = d. Is 2 a factor of f?
False
Let j(x) be the third derivative of -x**4/8 + x**2. Suppose 2*u + 10 = w, 5*u + 2*w + w = -25. Does 10 divide j(u)?
False
Suppose -8*u + 125 = -611. Is u a multiple of 21?
False
Let i(v) = 2*v**2 + 16*v - 6. Does 10 divide i(-12)?
True
Suppose -3*m - 2*m - 2*i = -14, -m + 8 = 3*i. Suppose 39 = 5*g - 3*g - 3*l, 0 = -2*g - m*l + 24. Is g a multiple of 8?
False
Suppose 18 + 14 = 2*o. Is 4 a factor of o?
True
Is 3 a factor of 5 + (0 - 4) + 5?
True
Suppose 5*h - 1 - 9 = z, 0 = 4*z + h - 2. Suppose 0 = 4*p + 3*t - 26 + 4, z = -2*t + 4. Suppose 0 = -p*l - 20, -4*n - 5*l + 11 + 60 = 0. Is n a multiple of 12?
True
Let o be (3 - 1) + 0 + 6. Let u = o - -18. Does 13 divide u?
True
Suppose 2*l = 4, 4*a - 2*a + 2*l = 46. Let o = a + -13. Does 3 divide o?
False
Let a(m) = -6*m**3 + 2*m**2 - 4*m. Is 16 a factor of a(-3)?
True
Let i(p) be the third derivative of p**6/120 + p**5/30 - p**4/6 - p**3/6 + 3*p**2. Is 15 a factor of i(3)?
False
Let t = -173 - -306. Is 35 a factor of t?
False
Suppose -2*j + 71 = -4*a + 3*j, 3*j = -a - 22. Let d = a - -13. Let n(i) = -i**2 - 8*i - 6. Does 6 divide n(d)?
True
Let b(g) = g**2 + 10*g + 9. Let v be b(-10). Suppose -5*d - 148 = -v*d. Is 11 a factor of d?
False
Is 5 a factor of (3 + 0)/((-8)/(-112))?
False
Suppose 211 = 3*b + z, -2*z - 30 = -2*b + 108. Is b a multiple of 14?
True
Let i(p) = 2*p**2 - 9*p - 3. Is 9 a factor of i(7)?
False
Suppose 0 = -5*w + m + 716, -3*w + 350 + 74 = 5*m. Does 18 divide w?
False
Let m(d) = -2 + 2*d - 2*d - d - d. Let r be m(-7). Suppose 93 = 5*u - r. Is u a multiple of 7?
True
Suppose -5*y + 10 + 0 = 0. Suppose -55 = -y*o - 3*o. Is o a multiple of 11?
True
Suppose -z + 332 = 2*l, -476 = -0*l - 3*l + 4*z. Is 41 a factor of l?
True
Suppose 0 = 4*s + 4*r - 28, 3*s - s - 8 = r. Let w = 20 + -31. Does 6 divide 9/s*(-55)/w?
False
Suppose 3*f - 5*a - 4 - 7 = 0, 0 = 4*f + 4*a - 4. Let y be ((3 - 7)*1)/(-2). Suppose 2*z + 26 = y*v, -6*z + 2*z = -f*v + 36. Is v a multiple of 4?
True
Suppose 0*x - x - 5 = 2*k, 0 = 3*x + 5*k + 11. Let z be (x + -2)/(2/4). Suppose 4*h + 5*i - 82 = 0, 4*h - z*i + 30 = 98. Does 9 divide h?
True
Suppose -3*p = -t - 33, -5*t = 3*p - 14 - 1. Let u(h) = 10*h + 3. Let c(s) = s + 1. Let k(q) = -14*c(q) + 2*u(q). Is k(p) a multiple of 18?
False
Let g = 185 - 100. Let d = 162 - g. Suppose 2*h - 2*j - 106 = 0, 2*h + 3*j - 19 = d. Does 19 divide h?
False
Suppose -284 - 27 = -3*y + 5*n, 3*n + 3 = 0. Is y a multiple of 15?
False
Let f(k) = -k**2 - 9*k. Is f(-5) a multiple of 15?
False
Let h = -2 - -4. Let g be -1*1/(h/(-6)). Suppose -3*t + g = -0*t, t = d - 33. Is 17 a factor of d?
True
Let j(u) = 122*u. Let r be j(2). Is 13 a factor of r/7 - 1/(-7)?
False
Suppose -4*d = -5*l + 60 + 70, 0 = l + 5*d - 26. Suppose -l = -k + 57. Is k a multiple of 28?
False
Is (-6137)/(-68) + (-2)/8 a multiple of 27?
False
Let y = 237 + -36. Is y a multiple of 48?
False
Let h(p) = 121*p + 1. Let y be h(1). Let s = 52 - y. Let w = s + 104. Is w a multiple of 16?
False
Let p = 435 - 48. Does 43 divide p?
True
Suppose -1 = 2*m + 5. Let y be 60/8*(-2)/m. Suppose -13 = -2*p - y. Does 4 divide p?
True
Suppose 0 = -2*h - h + 171. Does 10 divide h?
False
Let u(f) = -f**2 + 12*f - 15. Let r be u(12). Let c = 31 + r. Does 7 divide c?
False
Let q(i) = -3*i**3 - i**2. Let m be q(-1). Let y(w) = w**2 - 3*w - 3. Let c be y(5). Is 0 + c + -1*m a multiple of 5?
True
Let z(x) = x + 1. Let v(i) = -3*i. Let p(y) = -v(y) - 5*z(y). Is p(-7) a multiple of 9?
True
Suppose -2*p = 10, -2*o - 2*p - 308 = -826. Is 13 a factor of o?
False
Suppose -4*q - 56 = -2*p, 2*p - 28 = p - 5*q. Does 14 divide p?
True
Let s(w) = -w + 7. Let x be s(5). Does 11 divide 26 + 5 - 2/x?
False
Suppose -3*l = -3*c - 420, -l + 90 = c - 40. Suppose 0 = 6*o - o - l. Is o a multiple of 9?
True
Suppose -2*z + 30 = 3*z. Let b(x) = -4*x + z*x - x. Is b(9) a multiple of 9?
True
Let n(r) = 2*r - 1. Let u be n(2). Suppose 7 = u*i - f - 29, 4*f + 48 = 4*i. Is i a multiple of 9?
False
Let f(g) = 4*g - 2. Let w be f(2). Let p = -6 + w. Suppose -3*c = 5*v - 3*v - 16, v + 4 = p. Is 8 a factor of c?
True
Let w(x) = 6*x - 5. Is 18 a factor of w(11)?
False
Let k(y) = y**2 + 8. Let x(d) = d + 2. Let b be x(4). Does 21 divide k(b)?
False
Let g(l) = l**3 - l**2 + l + 29. Is g(0) a multiple of 19?
False
Does 10 divide (-4)/(-2 - 2) - -40?
False
Let o = -9 - -22. Suppose l - o - 21 = 0. Does 17 divide l?
True
Suppose -4*x + 1728 = -s, -432 = -x - 0*x - s. Suppose 72 - x = -3*o. Suppose o - 22 = 2*y. Is y a multiple of 23?
False
Suppose -q + 25 = -177. Let c = -137 + q. Let o = c - -13. Does 20 divide o?
False
Suppose 2*r - 3*x - 23 = 0, -2*x - 3*x = r + 21. Let i(j) = -j**3 + 4*j**2 + 5. Let d be i(r). Suppose -180 = -0*c - d*c. Does 18 divide c?
True
Suppose 4*a - j = 418, -9*a + 13*a - 422 = -j. Is a a multiple of 15?
True
Does 2 divide (-45)/(-6)*30/25?
False
Let b(t) = -t**3 + 17*t**2 + 17. Is b(17) a multiple of 2?
False
Let c(p) = -7*p**2 + 3*p - 3. Let v(f) = f**2 + f + 1. Let i(b) = -c(b) - 6*v(b). Is i(10) a multiple of 3?
False
Let l be (-342)/(-4) - (-5)/10. Suppose 4*i = 86 + l. Does 14 divide i?
False
Let f be 16/6 - (-5)/15. Suppose l - f*n = 9, -5*l + 2*n - 11 = -10*l. Suppose 5*z = 3*k - 51, -z = l*z + 12. Does 12 divide k?
True
Suppose 4*h - 1056 = -2*h. Is h a multiple of 16?
True
Let l be (2 + -2)/(-5 - -4). Let w be (11/(-2))/((-1)/2). Suppose -g = -l*g - w. Is g a multiple of 8?
False
Let b(q) = -q**2 + 6*q + 8. Let g be b(6). Let m be ((-15)/(-6))/(2/g). Is 13 a factor of (-196)/(-10) - m/(-25)?
False
Is (-72)/(-2) + (-2 - -6) a multiple of 5?
True
Let u(l) = -l**2 + 2. Let q(i) = -i**2 - 1. Let r(a) = -2*q(a) + u(a). Is r(-3) a multiple of 7?
False
Let y be (-1)/(-1)*1069/1. Let u be (-6)/33 + y/11. Suppose -4*i + u = -z, 2 = -2*z + 8. Is 10 a factor of i?
False
Suppose f + 22 = 3*f. Does 11 divide f?
True
Let u = -14 - -24. Suppose -2 + u = s. Let m = 28 - s. Is m a multiple of 13?
False
Suppose g = -2*h + 4*g - 1, -4*h + g = 7. Is 13 a factor of (-1 - h - 0)*13?
True
Suppose -4*w + 2*t = -10, 0 = 5*w + 2*t - 3 + 13. Suppose 5*f + w*r + 2 = r, 2 = -2*f + r. Suppose 2*a + a - 30 = f. Is a a multiple of 10?
True
Let w = 10 - -18. Suppose -3*m = -136 + w. Does 18 divide m?
True
Suppose 16 - 48 = 4*r. Is 16 a factor of (54/(-8))/(r/32)?
False
Let m(c) = -2*c**3 - 2*c**2 - 7*c - 2. Is 43 a factor of m(-5)?
False
Let l(o) be the second derivative of -o