w = 225 + -144. Does 45 divide w?
False
Let w = -20 + 28. Does 4 divide 80/30*42/w?
False
Let a(r) = -11*r + 32. Does 13 divide a(-3)?
True
Does 19 divide (12/(-5))/(3/(-180))?
False
Let t be (1 - -6)*5 - -1. Suppose -t = -2*u + 24. Is 11 a factor of u?
False
Let q be (16/(-14))/4*-7. Suppose 3*i = v - 15, 2*i + q*i = -v + 1. Is v even?
False
Suppose -3*w = -109 + 4. Is 4 a factor of w?
False
Let k(x) = x - 4. Let f be k(4). Suppose 3*c = -f*c + 21. Is c a multiple of 2?
False
Let p(j) = 7*j**3 + 2*j**2 - 3*j + 14. Let u(h) = -8*h**3 - h**2 + 3*h - 15. Let v(i) = -7*p(i) - 6*u(i). Is 12 a factor of v(-9)?
False
Let v(p) = p**3 - 2*p**2 + 2*p - 5. Let s(x) = 3*x**3 - 5*x**2 + 5*x - 14. Let b(y) = 4*s(y) - 11*v(y). Let l be b(-2). Is (6/l + 12)*1 a multiple of 4?
False
Is 15 + -3 + 1 + 1 a multiple of 5?
False
Let r be 1/2*4/2. Let d = -13 - r. Let o = 24 + d. Is 10 a factor of o?
True
Let c(x) = 2*x - 2. Let v be c(3). Let b be (v + -2)/(6/(-63)). Let p = -2 - b. Does 12 divide p?
False
Let r be (-2)/(-10) - 108/15. Let o(m) = -2*m + 1. Is o(r) a multiple of 9?
False
Suppose j = 2*j. Does 23 divide (-106)/6*(-3 + j)?
False
Suppose r + 338 = w, -4*w + 416 + 948 = -r. Is w a multiple of 19?
True
Suppose k + n = 2*k + 116, 0 = 2*n. Let u = 182 + k. Is u a multiple of 22?
True
Let d be (-3)/(-4 + 26/8). Is 17 a factor of 8/(d - 0) + 45?
False
Let j = -3 - -8. Let x be (-4 - (-5 - -5))/(-2). Suppose -4*y = -j*d + 112, -4*d + y = -x*y - 90. Is 11 a factor of d?
False
Suppose -3*g - 242 = -8. Does 6 divide (-3)/(-9) + g/(-9)?
False
Let j = -50 - -78. Let a = -22 - j. Let s = 78 + a. Is s a multiple of 14?
True
Suppose -y - 3*y = -20. Let h = y - 9. Is 9 a factor of (-102)/h*4/6?
False
Let j(b) = b**2 - 8*b + 8. Is 11 a factor of j(10)?
False
Let z be (-1)/(-6) + (-101)/(-6). Let c = z + -12. Suppose -c*m = 4*p - 124, m - 65 = 5*p - 17. Is m a multiple of 14?
True
Let h(p) = 3*p**2 + p. Let l be h(-1). Suppose 0 = -l*u + 34 - 2. Does 11 divide u?
False
Suppose p + 0 = 5. Suppose -x - p*o = -123, 0 = 4*o + 8 + 12. Suppose -k = -5*c - 0*k + x, 158 = 5*c + 4*k. Is c a multiple of 14?
False
Let l(n) be the second derivative of -n**5/20 - 3*n**4/4 - 5*n**3/3 + 3*n**2/2 - n. Is 19 a factor of l(-8)?
True
Let s = 57 + -36. Is 11 a factor of s?
False
Let j(v) be the third derivative of v**5/60 - 7*v**4/24 - 5*v**3/6 + 6*v**2. Does 3 divide j(8)?
True
Let o = -4 + 112. Is o a multiple of 36?
True
Let b = 224 - 126. Does 14 divide b?
True
Let a(m) = m**3 - 7*m**2 + 5*m + 8. Let c(d) = 2*d - 2. Let p be c(4). Let x be a(p). Is x*1 + (-28)/(-4) a multiple of 8?
False
Let p = 3 - -12. Is p a multiple of 4?
False
Suppose 42 = -4*b + 54. Is 2 a factor of b?
False
Suppose -x = 3*x. Suppose -2*a = -x*a - 28. Is 11 a factor of a?
False
Let a(l) = -3*l**2. Let n be a(-2). Is 8 a factor of ((-126)/n)/((-1)/(-2))?
False
Let d(h) = 2*h + 6. Let l be d(7). Let a be ((-70)/(-4))/(5/l). Let j = -13 + a. Does 21 divide j?
False
Let s(c) = -c**3 - 10*c**2 + c - 5. Let o(n) = -n**2 + n - 1. Let z(m) = 5*o(m) - s(m). Let u be z(-4). Suppose u*j + j - 8 = 0. Is 5 a factor of j?
False
Suppose -42 = -5*d + 3*t, 0 = d + 3*d + 2*t - 16. Let h(u) = -u**3 + 7*u**2 - 3*u + 9. Does 9 divide h(d)?
True
Let c(t) = t**3 - 2*t + 4. Is 14 a factor of c(4)?
False
Let o(v) = 4*v**2 - 1. Let q = -4 - -2. Is 4 a factor of o(q)?
False
Let o = -7 - -10. Does 15 divide o*-5*(-1)/1?
True
Suppose -3*h + 169 = -5*n, -7*h + 6*h = 5*n - 83. Is h a multiple of 4?
False
Let k(o) = o**3 - 6*o**2 + 5*o - 7. Let b be k(6). Suppose -4*r + 29 = -b. Is r a multiple of 6?
False
Let j be 3 + (-3 - 3/(-1)). Is 20 a factor of 92 + j/6*-2?
False
Suppose 3*l = 5*w + 263, -10 = -3*w - 4. Is 568/26 - (-14)/l a multiple of 11?
True
Let z(b) = b + 6. Let d be z(-4). Suppose 4*i - a + 6 = 1, -4 = d*i - 2*a. Let y = i - -21. Does 14 divide y?
False
Let g = 2 - 0. Suppose -3*b - b + 12 = 0, -29 = -g*w + 3*b. Is w a multiple of 19?
True
Let d = 36 + -26. Is 5 a factor of d?
True
Is 16 a factor of (2/(-4))/(2/(-64))?
True
Suppose -160 = 10*d - 14*d. Is d a multiple of 4?
True
Let c(m) = 179*m**2 + 3*m - 2. Does 35 divide c(1)?
False
Let v be 7/(-7) + (22 - 1). Let h = -13 + v. Is 7 a factor of h?
True
Suppose 92 = 2*b + 2*b. Let t = 52 - b. Let j = -15 + t. Does 14 divide j?
True
Suppose -l = 3*s - 69, -3*l + 187 = 3*s + s. Is 21 a factor of l?
False
Suppose 1 = t + z, -5*z - 16 + 1 = 0. Suppose -t*g = -4*r + 56, -2*g + 6*g + 43 = 3*r. Does 12 divide r?
False
Suppose 4*o + 5*x - 233 = 0, 3*o + 8*x - 3*x - 181 = 0. Is 18 a factor of o?
False
Let q = 10 - 6. Suppose 5*v = 2*k + 23, -11 = 3*v + q*k + k. Suppose -5*g = -4*n - 66, -5*g - v*n + 71 = -2*n. Is 7 a factor of g?
True
Suppose 0 = 3*t - 2*z - 11, 3*t - 5*z + 10 = 8*t. Suppose t = -m - 4*h - 6, -17 = -3*m - h. Is 7 a factor of m?
True
Let c = -53 - -59. Is c a multiple of 4?
False
Let w be (0 + 2)/(2 + -3). Let i(t) = -t**2 + 7*t - 7. Let c be i(6). Does 10 divide 3*(-6)/c - w?
True
Let x(g) be the second derivative of -g**3/3 + 14*g**2 - 3*g. Does 6 divide x(0)?
False
Suppose -7*y + 9*y - 2 = 0. Is (0 + (-5)/y)*-12 a multiple of 15?
True
Let w = -3 - -7. Suppose 0 = -w*v + 13 + 3. Does 4 divide v?
True
Let t = -39 + 47. Is t a multiple of 5?
False
Suppose -k - 244 = -5*o, o + o - 116 = 5*k. Does 16 divide o?
True
Suppose 0 = r + 2*r. Suppose -2*w - 2*k + r = -24, 2*k = 5*w - 95. Is w a multiple of 11?
False
Suppose -102 + 2 = -5*h. Is 20 a factor of h?
True
Let h = 59 + -35. Let z = h - 40. Let j = z + 26. Does 10 divide j?
True
Suppose -g - 5*r = -8, 0 = 2*g - 3*r - 4 - 12. Let p be (g/(-10))/((-2)/(-60)). Does 16 divide 1/(-4) - 462/p?
False
Let x be (3/3)/((-3)/(-9)). Let s(z) = -z**3 + z**2 + 2*z. Let f be s(x). Does 5 divide ((-10)/(-8))/((-3)/f)?
True
Is (-370)/(-15) - (-2)/(-3) a multiple of 5?
False
Let b(p) = -p**3 - 14*p**2 + p + 18. Let c be b(-14). Let g(h) = 10*h - 2*h + h + 5. Is 12 a factor of g(c)?
False
Suppose 0 = o - 1 - 3. Suppose 2*n = o*s - 0*s - 50, n + 19 = -s. Is 12 a factor of 6/n + 242/14?
False
Let w(i) = -15*i - 6. Does 4 divide w(-2)?
True
Suppose -4*z = 5*j - 8, 4*j - z = -1 - 1. Suppose 5*v + 25 = j, 5*v + 38 = 4*m - 171. Is 14 a factor of m?
False
Suppose -5*k + 3*s - 51 - 12 = 0, -2*s = -5*k - 62. Does 5 divide 2 + k*(3 + -4)?
False
Let k(o) = -o**3 + 3. Let b be k(-3). Suppose 0*x - 3*x = -b. Does 6 divide x?
False
Let s(r) be the first derivative of -r**2 - 6*r - 1. Let g be s(-5). Suppose 2*q - g*q + 38 = 0. Does 19 divide q?
True
Suppose -g = -3*g - d, -3*g = -3*d. Suppose 0 = -4*w + 3*z - 2*z + 8, -4*w - 16 = 5*z. Is 2 a factor of (w - g) + (-6)/(-3)?
False
Suppose -5*i - 111 = -1. Let a be 1/(-2*(-1)/i). Let u = a - -18. Is u a multiple of 7?
True
Let u(g) = -11*g. Let n be u(-7). Suppose 0 = 5*z + 2*m - 40, -2*z + 4*m + 16 = -m. Suppose -z - 7 = 3*s, 2*t - 5*s = n. Is 13 a factor of t?
True
Let l be (-2)/(-5) - (-414)/15. Suppose 3*h - y = l, -2*h - y = -3*h + 8. Does 4 divide h?
False
Suppose -5*u + 4*y = -144, 55 = -0*u + 2*u + y. Is 3 a factor of u?
False
Suppose a - 56 = -4*r + 41, -5*r + 123 = 3*a. Let q = r + 32. Does 14 divide q?
True
Let a(m) = m**2 + 14*m + 4. Let i be a(-14). Does 12 divide (-102)/(-8) - (-1)/i?
False
Let g(s) = s + 52. Is g(12) a multiple of 7?
False
Let q(y) = y**3 - y. Let c(v) = -7*v**3 - 5*v**2 + 4*v - 1. Let o(k) = c(k) + 6*q(k). Let t be o(-4). Let a = 16 + t. Is a a multiple of 2?
False
Let q(t) = 2*t - 1. Does 5 divide q(6)?
False
Let o be 1/(-3) - (-136)/(-24). Is (2 + 3/o)*4 a multiple of 2?
True
Suppose k - 2*g + 48 = 3*k, 4*k - 2*g - 72 = 0. Does 10 divide k?
True
Suppose 3*h - 1021 = 5*j, 0 = 4*h - j + 5*j - 1404. Is 24 a factor of h?
False
Let f = -1 + 1. Suppose f*v - 4*v = 0. Suppose v = -6*k + k + 25. Does 5 divide k?
True
Let p(l) be the third derivative of -3*l**4/8 + l**3/3 - l**2. Is 14 a factor of p(-2)?
False
Is ((-1110)/(-20))/((-1)/(-4)) a multiple of 10?
False
Let a = 57 + -12. Does 9 divide a?
True
Let i(a) = a**3 + 10*a**2 - 13*a - 10. Suppose -4*o - 1 = -n, 4*n - 5*o + 22 = -7. Let h be i(n). Is 4 a factor of 1/3 - (-44)/h?
True
Let k = -20 + 29. Is 2/9 - (-43)/k a multiple of 5?
True
Let x = 2 + 25. Is 8 a factor of x?
False
Suppose 3*p = 8*p - 20. Suppose -4*z - 8 = -p*b