-2)/72)/1)?
True
Let c(s) = -2*s - 7. Let y be c(-5). Does 13 divide -1*(-48*2)/y?
False
Suppose -2*l + 7*l = 125. Suppose -5*g + 10*g = l. Suppose v - 4 = p, -3*v - 23 = -g*v - 3*p. Does 7 divide v?
True
Let x(j) = 28*j + 0*j**2 - 8 - j**2 - 39*j. Is 10 a factor of x(-7)?
True
Let i = 134 - -37. Is 9 a factor of i?
True
Is 14 a factor of 5*((-415)/(-25) + 2)?
False
Is 6 a factor of (300 - 3)/3 + 1?
False
Suppose -4*s - 47 = 33. Let p = s - -31. Suppose -4*o + p = -1. Does 3 divide o?
True
Let p(g) = -g**2 + 19*g + 1. Does 12 divide p(9)?
False
Suppose -4*z + 0*z = 0. Suppose 2*k + 4*c + z = -8, 5*c = 4*k - 49. Is k a multiple of 2?
True
Let g = -11 + 15. Is 2 a factor of g?
True
Let s(p) = -20*p. Let f be s(-4). Suppose f = x + 3*x. Is 7 a factor of x?
False
Suppose -2*p - 3*t + 4 = -p, 2*p - 5 = -3*t. Let o be (p + -1)*(-2)/2. Let a = 5 + o. Does 2 divide a?
False
Let h(c) = c**2 + 4*c + 64. Is h(0) a multiple of 11?
False
Suppose 2*k = 4*c + c - 524, 0 = 2*c - 4*k - 200. Is 33 a factor of c?
False
Let q(m) = -m**2 - 10*m - 9. Let r be q(-11). Let v = r - -38. Is 6 a factor of v?
True
Suppose 3*b + 2*o - 16 = 0, 0*o + 5 = b + o. Suppose z + b = a, z + z + 9 = a. Let r = -1 - z. Does 2 divide r?
True
Let f(u) = 2*u**3 - u**2 + 1. Let z be f(-1). Let q be -1 + 2 + 48/(-3). Is 18 a factor of (6/q)/(z/180)?
True
Let m(j) = -9*j - 5. Does 2 divide m(-6)?
False
Let b = 13 + -9. Is b a multiple of 4?
True
Suppose -a = a - 140. Suppose 5*j = 5*z + a + 15, -4*z = 3*j - 16. Is j a multiple of 3?
True
Let c = 38 - 21. Is 16 a factor of c?
False
Let j = -11 + 12. Let m = 12 - j. Is 10 a factor of m?
False
Let h(t) = t**3 + 4*t**2 + 2*t + 4. Let l be h(-3). Let u(o) = o**3 - o**2 - 2. Let z be u(2). Suppose 5 = v, -5*d + l = -z*d - v. Is d a multiple of 2?
True
Let r(m) = m**2 + 3*m - 12. Let d be r(5). Suppose -4*u + 20 = 0, u = 2*o - d - 11. Is 8 a factor of o?
False
Let v = 471 - 667. Let m = -11 - v. Is 16 a factor of m/10 + 1/2?
False
Suppose 3*d = 4*v - 20, -2 - 16 = -v + 4*d. Let n(z) = -1 + 4 - 6 - v*z. Is 3 a factor of n(-3)?
True
Let s = 8 - -23. Is 10 a factor of s?
False
Suppose 2*i - 132 = -0*i. Suppose i = -0*a + 3*a. Suppose a - 2 = t. Does 10 divide t?
True
Let l(s) be the second derivative of s**5/20 + 5*s**4/12 - s**3/3 + 2*s**2 - 6*s. Is l(-4) a multiple of 14?
True
Is 14 a factor of (-429)/(-4) + -1 + 3/4?
False
Let y(h) be the second derivative of h**2 - h + 0 + 1/3*h**3. Is y(8) a multiple of 9?
True
Suppose 8*p - 3*p - 175 = 2*l, -3*l + 126 = 3*p. Does 37 divide p?
True
Suppose -5*x + 4*i + 21 = 0, -4*x + 2*i - i = -8. Is 19 a factor of (-18 - 1/x)*-3?
True
Let k be 1 + (-3 - -3) - -3. Does 13 divide 1/((-2)/k) - -40?
False
Let t be (0/1 + -43)*-1. Let y = t + -27. Is 16 a factor of y?
True
Let v = 148 - 76. Does 36 divide v?
True
Let n = 8 - -3. Is n a multiple of 5?
False
Suppose 8*q - 4*q = 24. Is 41 - 0 - (-5 + q) a multiple of 11?
False
Suppose 0*b = b - 302. Suppose u = 5*t - b, 4*u = 4*t + 3*u - 242. Is t a multiple of 17?
False
Suppose 0 = -4*g, 2*d + 0 = 2*g + 6. Suppose i + 5*f - 5 - 1 = 0, 3*i = d*f + 18. Is ((-11)/(-3))/(2/i) a multiple of 10?
False
Suppose -f + 3*f - 3*l = 71, -4*l = 4*f - 172. Does 21 divide f?
False
Let l = 59 - 35. Is l a multiple of 5?
False
Suppose -2*g = -4*g + 252. Is g a multiple of 33?
False
Let u(g) = -g**3 + 6*g**2 - 7*g + 5. Let z = -3 + 2. Let t(y) = -3*y + 1. Let p be t(z). Is u(p) a multiple of 9?
True
Let y be (-38)/(-8) - 3/4. Let p = 8 - y. Suppose 2*b + p*t = 16, 5*b - 52 = -0*b - 4*t. Is b a multiple of 5?
False
Let f(x) = -x**3 - 6*x**2 - 7*x - 1. Does 3 divide f(-5)?
True
Let v(q) = -q**3 + 5*q**2 - q + 3. Is 6 a factor of v(3)?
True
Let b = -19 + 31. Let q be (11/(-2))/(6/b). Let a(c) = c**3 + 11*c**2 + 14. Does 9 divide a(q)?
False
Let q(f) = -f - 6. Let z = 8 - 8. Let b be q(z). Is (27/b)/(2/(-16)) a multiple of 14?
False
Let j(q) = q**3 - 2*q**2 - 2*q - 5. Suppose 4 + 8 = 3*l. Is 7 a factor of j(l)?
False
Suppose 0 = -2*z - i + 936 - 306, z - 333 = -5*i. Suppose 5*c + 4*a = z - 90, -5*a = -4*c + 162. Is c a multiple of 11?
False
Suppose -5*s + m + 29 = -2*s, 3*s + 2*m = 14. Is 8 a factor of s?
True
Let c be (-10)/(-3)*(-180)/(-25). Let p = -6 + c. Is p a multiple of 6?
True
Let p(c) = 3*c**3 - 2*c + 1. Let q be p(1). Let f be (q/(-3))/((-1)/6). Let a(v) = 5*v - 5. Is 15 a factor of a(f)?
True
Suppose s = 6*s. Suppose s = m - 2*m + 11. Let c = 5 + m. Does 8 divide c?
True
Suppose -5*x + 170 = 3*m + 2*m, 3*m - 4*x = 116. Is m a multiple of 9?
True
Suppose 0 = -0*u - 3*u + 9. Suppose u*j + 5*p = 48, -5*j - 3*p = p - 80. Is 16 a factor of j?
True
Suppose 12 = -3*l, 5*l = -3*o + 2*l - 9. Let w be ((90 - 2) + 1)*o. Suppose 2*j - 5*j - 2*m + w = 0, 0 = -2*j - 5*m + 52. Does 14 divide j?
False
Suppose 0 = b + 3*b - 16. Suppose 24 = b*v - 2*v. Is 12 a factor of v?
True
Suppose -60 = -4*k - 5*s, 4 = -4*k - 4*s + 60. Does 10 divide k?
True
Let p = -1 + 6. Suppose p*s - 2*l = 45 - 9, 5*s + 4*l = 48. Does 8 divide s?
True
Suppose -2*k - 4 = 2*o + 16, o - 3*k - 6 = 0. Let b(d) = -d**3 - 4*d**2 - 4*d + 3. Is b(o) a multiple of 25?
False
Suppose 3 = 4*r - 3*m, 5*r + m + 4*m - 30 = 0. Suppose 66 = r*p - 0*p. Does 11 divide p?
True
Is 24 a factor of (40 - (1 - -2))*1?
False
Suppose -2*z + 8 = 0, -z + 0*z + 24 = 4*p. Does 5 divide p?
True
Let z(t) = t**3 - 5*t**2 - 3*t - 4. Let w be z(6). Suppose -v + w = -27. Suppose 0*m = m - v. Is m a multiple of 22?
False
Suppose 6*b = -c + b + 2, -4*c - 3*b + 25 = 0. Is c even?
False
Let i(y) = 4*y**2 + 1 + y**2 + 2*y - y + y**2. Is 13 a factor of i(-3)?
True
Suppose -4*z + 8*z + 8 = -2*t, -4*z - 8 = -4*t. Does 2 divide (-3)/z - (-9)/6?
False
Let c(u) = -u**3 - 4*u**2 + 5*u. Suppose 4*t + q - 2*q + 19 = 0, 4 = -t + q. Let g be c(t). Suppose 4 = -b - 2*n + 28, 4*b + 3*n - 81 = g. Does 13 divide b?
False
Let w(k) be the third derivative of 5*k**4/24 + 2*k**3/3 + 5*k**2. Is w(4) a multiple of 12?
True
Suppose -63 = -t + 2*l + 51, -408 = -4*t - 4*l. Is t a multiple of 19?
False
Let u(s) = -2*s**2 + 19*s + 3. Let v(f) = -f**2 + 9*f + 2. Suppose r - 2 + 4 = 0. Let k(w) = r*u(w) + 5*v(w). Is 8 a factor of k(4)?
True
Let j be (10/(-4))/(2/(-4)). Suppose -j*v = -14 - 21. Does 2 divide v?
False
Suppose l - 16 = -3*l. Let z = 6 - l. Is 2 a factor of z?
True
Suppose -10*v = -13*v + 18. Is v even?
True
Let c(o) = o - 5. Let y be c(10). Suppose -n = -y*n + 192. Does 16 divide n?
True
Suppose -14 = -2*q + 34. Let p be ((-10)/(-4))/((-1)/(-2)). Suppose q - 129 = -p*z. Is z a multiple of 15?
False
Suppose -2*c + 0*u = 3*u - 8, 5*u - 4 = -c. Is 6 a factor of c/6 - 112/(-21)?
True
Let b be 408/20 + 2/(-5). Suppose -2*c - 2*c = -b. Let o(w) = 3*w - 1. Is 14 a factor of o(c)?
True
Suppose -11*s = -19*s + 832. Is 9 a factor of s?
False
Let z = -39 - -45. Is 6 a factor of z?
True
Suppose -2*x - 2*h - 4 = 10, -4*x + 4*h = 60. Is 4 a factor of (-22)/121 + (-167)/x?
False
Let w(f) = -56*f + 49. Let q(k) = -7*k + 6. Let a(m) = -49*q(m) + 6*w(m). Is a(1) a multiple of 3?
False
Let w = 12 + -7. Suppose -5*j + 4*y = 18 - 55, 5*y = w*j - 40. Does 2 divide j?
False
Suppose -3*t - 4*r = -7*t + 76, 5*t - r - 107 = 0. Let q = 16 + t. Suppose -q = -2*u - 2. Is 5 a factor of u?
False
Suppose -j + 3*w = -64, -5*j - w + 367 = 111. Suppose i - j = -16. Is i a multiple of 12?
True
Is (62/(-4))/(12/(-24)) a multiple of 6?
False
Let o(r) = -3*r - 13. Let p(t) = 3*t + 14. Let d(g) = -3*o(g) - 2*p(g). Suppose 45 = 5*l - 0. Is 14 a factor of d(l)?
False
Let c = 2 + 98. Suppose -5*r = o - 18, -1 - 5 = -3*r. Suppose o*k - c = 3*k. Does 10 divide k?
True
Suppose 4*x + 5 = 25. Suppose x*o = -0*o + 260. Is 13 a factor of o?
True
Let u(o) = 2*o**2 - 8*o + 2. Let y = 15 - 9. Does 13 divide u(y)?
True
Let m = 119 - 43. Does 8 divide m?
False
Let i = 0 - -4. Suppose -3*n + 1 = f, 5*f - f = -4*n + i. Let o = f - -8. Is 8 a factor of o?
False
Suppose 0 = 22*i - 19*i - 492. Is i a multiple of 41?
True
Suppose -3*a - 12 = 0, 0*d + 4*d - 5*a - 392 = 0. Is d a multiple of 20?
False
Is 27/(2 + -2 + 1) a multiple of 9?
True
Suppose -l = o + 3*o - 142, -5*o + 405 = 3*l. Is 26 a factor of l?
True
Let w be 0/((-4)/(-6)*-3). Suppose w = d - 4 - 11. Does 5 divide d?
True
Let x = 59 + 25. Suppose 44 = 5*y - 4*m - 44, 5*