0)?
False
Let o be 4/(-14) + (-372)/21. Let v = o - -38. Does 20 divide v?
True
Let s(o) be the first derivative of -o**2 + 5*o - 1. Is 9 a factor of s(-2)?
True
Suppose 10 = 3*q + 1, -3 = -2*n + q. Suppose 0*b - 60 = -n*b. Is b a multiple of 18?
False
Let m(z) = 10*z + 16. Is m(4) a multiple of 8?
True
Let i = -17 + 17. Let o(w) = -w**3 - w + 7. Is 2 a factor of o(i)?
False
Let y(m) = -1 + 4*m**3 - 3*m**3 + 0 + 11*m + 10*m**2. Let k be y(-10). Does 4 divide k/(-21) + 4/(-14)?
False
Suppose 2*j + 3*j - 5 = 0, 4*z + 4 = 4*j. Suppose z*l - 1 = -l. Is 34/(1/l) + 2 a multiple of 18?
True
Let a = 84 + -154. Let q = 31 - a. Let t = -63 + q. Is t a multiple of 14?
False
Let f(v) = 8*v - 3*v + 9*v - 2*v - 3. Let l be f(4). Suppose 10*w - l = 5*w. Does 9 divide w?
True
Suppose -4*x = -2*d - 214, 4*x - 2*d - 205 = 3*d. Suppose 0 = 3*y - 5 - x. Is 11 a factor of y?
False
Let a(m) = -m**2 + m + 7. Let q be a(6). Let h = -11 - q. Is 8 a factor of h?
False
Let v(q) = q**3 - 8*q**2 + 8*q - 8. Let o be v(8). Let u = o - 26. Is 12 a factor of u?
False
Let v(n) = -2*n**3 + n**2 + 3*n + 10. Let s(a) = a**3 - a**2 - 2*a - 9. Let d(t) = -3*s(t) - 2*v(t). Let w be -1 + 1 + 0/1. Does 7 divide d(w)?
True
Suppose 0*j + 2*d - 9 = -j, 0 = 5*j - 2*d - 93. Does 4 divide j?
False
Let q = -79 + 124. Is q a multiple of 3?
True
Suppose -4*l + 8*l - 108 = 0. Is l a multiple of 3?
True
Let t = 39 + 49. Is 22 a factor of t?
True
Let h(q) = q**3 - 5*q**2 + 5*q - 1. Let x(d) be the third derivative of d**5/60 - d**4/6 + 2*d**3/3 - 2*d**2. Let z be x(4). Does 2 divide h(z)?
False
Let y(a) = a**3 - 5*a**2 - a + 1. Let q be y(3). Let v be ((-168)/(-20))/((-6)/q). Let x = v - 3. Is x a multiple of 12?
False
Let m = -16 - -31. Let d(g) = -g**3 + 15*g**2 + 3*g - 6. Does 7 divide d(m)?
False
Let s be 6/(-12) + 1/2. Suppose -4*d = -s*d. Suppose d = 4*q + 5*c - 48, -2*q = -4*q + 5*c + 54. Does 11 divide q?
False
Suppose 5*n = 2*u - 33, 2*u - 2*n - 22 = -u. Let z = 4 + -4. Suppose -u*t + z*t = -32. Is t a multiple of 8?
True
Let n = -7 - -10. Suppose -5*i + q + 26 = 0, 0 = n*i - 2*i - 3*q + 6. Does 5 divide i?
False
Suppose u = -4*u + 115. Let b = u + -7. Is 16 a factor of b?
True
Suppose -5*q + 4*s = -14, -q + 4*s - 2 = 8*s. Suppose z = q*z - 2*h + 2, -26 = z + 4*h. Is 17 a factor of (4/z)/((-5)/225)?
False
Let t(w) = w**2 - w + 6. Let a(q) = -3*q**2 + 21*q - 8. Let d(j) = j**2 - 7*j + 3. Let x(y) = -6*a(y) - 17*d(y). Let c be x(8). Is t(c) a multiple of 13?
True
Is 10 a factor of (-543)/(-6) + (-1)/2?
True
Let z(m) = 6*m - 16. Is z(7) a multiple of 13?
True
Suppose -3*q + u = -2*u - 90, q - 5*u - 38 = 0. Does 13 divide q?
False
Let c(n) = -n + 15. Let z be c(13). Suppose 0 = 4*k + l - 222, -5*k - z*l = -3*l - 282. Is k a multiple of 28?
True
Is 4/18 + (-1864)/(-36) a multiple of 13?
True
Let d(c) = 2*c**2 + 3*c - 1. Let i(s) = -s**3 - 9*s**2 + 12*s + 15. Let t be i(-10). Does 17 divide d(t)?
True
Let v = 58 + -40. Is 9 a factor of v?
True
Suppose 406 = 6*p - 458. Is 65 a factor of p?
False
Suppose 0 = 2*i - i - 13. Is i a multiple of 10?
False
Let u(j) = 2*j - 17. Is 7 a factor of u(12)?
True
Let h(l) = l**2 - 8*l - 9. Let g be h(9). Suppose g*r = 3*r. Suppose -2*m + 79 = -4*t - 37, r = -m - 4*t + 70. Does 18 divide m?
False
Suppose 0 = -0*f - f + 52. Let g = 124 - f. Is g a multiple of 18?
True
Is (0 - 4/(-8))*192 a multiple of 32?
True
Is 2 a factor of 1*(4 - 7/(-1))?
False
Let p = -68 - -102. Is 19 a factor of p?
False
Let s = -6 + 15. Is s a multiple of 9?
True
Suppose 3*u - 180 = -u. Is u a multiple of 17?
False
Let t = 0 - 0. Let p = -10 - -15. Suppose -3*z = 5*o - 77, -43 = -2*z + p*o - t*o. Is z a multiple of 12?
True
Let n(d) = -d**3 - 6*d**2 - 8*d - 6. Let z(b) = b - 3*b - 3*b. Let w be z(1). Is 7 a factor of n(w)?
False
Let s(l) = -l**3 + 9*l**2 - l - 2. Let x be s(4). Suppose 3*v = 5*d + 266, 4*d + 67 = v - 143. Let b = x + d. Does 11 divide b?
True
Let s(m) = -m - 2. Let j be s(-4). Is 2 a factor of (-1)/(-1) + j + 1?
True
Let m be (3 - 1)*1/1. Suppose -d = -0 + m. Is (-102)/(-27) + d/(-9) even?
True
Suppose 0 = 2*g - q + 86, -5 = 4*q + 3. Suppose 6*f - 10*f - 80 = 0. Let a = f - g. Is a a multiple of 13?
False
Suppose 0 = -2*u - 4*y + 29 + 23, 26 = u + y. Suppose 2*x + c = x + u, 2*x = -4*c + 58. Is 23 a factor of x?
True
Let a(l) = -8*l - 8. Let p(h) = -h - 1. Let x(z) = -a(z) + 4*p(z). Does 12 divide x(5)?
True
Suppose -44 - 162 = -4*h - 5*j, 0 = 2*j + 4. Is 14 a factor of h?
False
Let y(v) = 5 + 8*v - 5*v**2 - 8*v - v**3. Is 11 a factor of y(-6)?
False
Suppose 2*i - 345 = -i. Does 47 divide i?
False
Let n(r) = 9*r + 3*r**2 - 7 - 2*r**2 - 9. Let a be n(-11). Suppose 4*j - u = 62 - 13, -a = -2*u. Does 12 divide j?
False
Let y(q) = 4*q - 1. Let a be y(1). Let w(v) = v**3 + 4*v**2 + 2*v - 3. Let z be w(-3). Suppose z = 2*j + 5 + a, -2*u = 2*j - 18. Does 5 divide u?
False
Suppose -2*m - 4*p = -6*m + 72, 0 = 4*m + 4*p - 64. Is 11 a factor of m?
False
Suppose 2*b + 9 = -u + 6*u, -b + 2 = 4*u. Is (u + 2)/((-5)/(-15)) a multiple of 5?
False
Is (-2650)/(-17) + (-28)/(-238) a multiple of 19?
False
Let s(t) = t**3 - 8*t**2 + 7*t - 3. Let j be s(7). Is 20 a factor of (135/6)/(j/(-6))?
False
Is 6 + -2 + (-8)/(-2) a multiple of 8?
True
Let k(b) = -b**2 + 2*b + 3. Let m be k(4). Is 8 a factor of (23/(-2))/(m/10)?
False
Let s = 24 + -13. Does 11 divide (s/4)/((-5)/(-20))?
True
Let v(f) = -4*f**2 + f**3 + f**2 + f + 2*f**2 + 38. Is 19 a factor of v(0)?
True
Suppose 131 = g - 40. Does 7 divide g?
False
Let a = 31 + -21. Let g(u) = -8*u + 1 + 1 + 3*u**2 + a*u. Is g(-2) a multiple of 5?
True
Let l(f) = -6*f. Let t be l(1). Let m = t - -15. Is m a multiple of 5?
False
Let r(w) = 3*w - 1. Let z be r(2). Suppose z*l = -k - k - 5, -2 = -5*k + 2*l. Let u(q) = -q**3 + q**2 + q + 7. Does 7 divide u(k)?
True
Suppose -2*d = 3*d + 5, 0 = -5*r - 5*d + 5. Suppose 4*h - 4 = -5*c + 6, h + r*c = 1. Let q = h + 15. Is 7 a factor of q?
False
Let c(v) = -11*v - 6. Let n(f) = -16*f - 9. Let w(h) = 8*c(h) - 5*n(h). Let t be w(-3). Is t + 0/(5 + -2) a multiple of 6?
False
Let y = -71 + 99. Is y a multiple of 4?
True
Let g(f) be the third derivative of f**6/120 + 7*f**5/60 - f**4/4 - f**3 + f**2. Does 14 divide g(-7)?
False
Let n(q) = -q**3 - 12*q**2 - 15*q. Let i be n(-10). Let f = -20 - i. Does 16 divide f?
False
Let y = 3 + -5. Is 2 a factor of (3/6)/(y/(-12))?
False
Let n(g) be the second derivative of -g**5/20 - g**4/4 - 2*g**3/3 - 3*g**2/2 - g. Let d be n(-4). Does 15 divide 4/(-6)*3 + d?
False
Suppose 3*q + 4*r = 29, 0 = -q + 5*r - 2 - 20. Suppose 0*o + q*o = 4*m - 25, 2*o + 22 = 4*m. Suppose -m*u - 3 = -23. Does 5 divide u?
True
Let t(j) = -j**2 - 7*j + 9. Let o be t(-8). Let p(v) = -4*v - 2. Let i(n) = 1. Let x(g) = o*p(g) + i(g). Is 2 a factor of x(-1)?
False
Suppose -1 = -3*w + 2. Let j be (0 - (-4 + w))*7. Suppose -3*t + 24 = -j. Does 12 divide t?
False
Is 3 a factor of (4/(-6))/(5/270*-1)?
True
Let t = -3 - -3. Suppose k + 0*k = t. Suppose -5*z + 246 + 4 = k. Is 25 a factor of z?
True
Let x(b) = b**2 - 3*b - 2. Let i = -7 + 3. Let q be (-9)/i*(-8)/(-3). Is 6 a factor of x(q)?
False
Suppose 3*i - 20 = -g, g - 5*i - 28 = -0*i. Does 6 divide g?
False
Let l = 17 + -13. Suppose 3*i - 2*t - 13 = -t, 49 = l*i + 5*t. Is 6 a factor of i?
True
Suppose 3*u = -u - 16, -2*i = 2*u + 6. Does 20 divide 44 - (2 - (i - 1))?
False
Let o(y) = -y**3 - 5*y**2 - 4. Suppose -2*t = 5*w + 32, -2*w + 4*w + 32 = -4*t. Is o(t) a multiple of 13?
False
Suppose 5*v + 61 + 113 = 2*d, 3*d = -v + 244. Does 7 divide d?
False
Let u = -8 - -4. Let x = 1 + u. Let i(h) = -h**2 - 7*h - 3. Does 9 divide i(x)?
True
Is (42*2)/(-4)*-1 a multiple of 7?
True
Suppose -v + 2 + 4 = 0. Suppose 0 = u + o + 4*o - 50, 40 = u - 5*o. Suppose v*g - g = u. Is g a multiple of 9?
True
Let h be -80 - (0 + -2)/2. Does 13 divide h/(-6) + 1/(-6)?
True
Suppose 2*j - 205 = -3*j. Is j a multiple of 7?
False
Suppose 1 = 3*b + 7. Let d = b + 39. Suppose 9 - d = -2*i. Is i a multiple of 7?
True
Let k(s) = 7*s - 32. Is 10 a factor of k(6)?
True
Let d = 12 + -2. Suppose -2 = -2*r + d. Is r even?
True
Suppose 0 = 5*p - 5*k - 65, 5*p + k = 46 + 1. Does 2 divide p?
True
Let j be ((-57)/12)/(1/(-4)). Let n = -9 + j. Let x = n - -16. Is x a multiple of 13?
True
Let i(q) =