ple of 9?
False
Suppose -3*s + 71 = -73. Let x be ((-4)/8)/((-2)/s). Suppose 5*l - 43 = x. Is l a multiple of 11?
True
Let m = 35 + 14. Is m a multiple of 7?
True
Let g(c) = -c**3 - 3*c**2 - 4*c - 3. Let o(p) = p**3 + 7*p**2 - 8*p - 2. Let w be o(-8). Let l be g(w). Does 4 divide ((-6)/l)/(9/(-6))?
True
Let t(s) = -s**2 + 10*s + 3. Let i be t(10). Suppose -j + 59 = -l, -i*l + 275 + 28 = 5*j. Suppose -2*f = -5*f + j. Is f a multiple of 20?
True
Suppose -a - 2 + 7 = -d, -22 = -5*a + 2*d. Suppose 10 = -2*q + a*q. Suppose 0 = 4*v - 3*b - 53, -v - 57 = -q*v - b. Is v a multiple of 8?
False
Suppose j = -v + 4*v, 3*j + 3*v = 0. Suppose -18 = -3*a + 5*x + 38, j = -a + x + 16. Is a a multiple of 12?
True
Let f(x) = 24*x**3 - 4*x + 4. Is 42 a factor of f(2)?
False
Let s = 38 - 30. Does 8 divide s?
True
Let l(a) = a**3 + 7*a**2 - a - 6. Let f be l(-6). Suppose -2*q = -4*m + 84, -4*q - f - 123 = m. Is (1/2)/((-1)/q) a multiple of 10?
True
Let l(z) = z**3 + 4*z**2 - 7*z - 5. Let d be l(-5). Suppose d*p = p + 84. Is p a multiple of 7?
True
Suppose -9*v + 13*v = 28. Is v a multiple of 2?
False
Suppose 4*p = -m + 107, 5*m + 206 = 5*p + 41. Suppose 3*t = f - 4*f + 84, p = f + 2*t. Is 14 a factor of f?
True
Let p = 15 + -25. Let b = p - -8. Does 3 divide (-12)/((-1)/((-1)/b))?
True
Suppose -h = -4*v, -5*h - v = -2*h - 13. Suppose 3*q - 4*s = 151, -h*q + 111 + 91 = -5*s. Is q a multiple of 18?
False
Suppose g = 0, 2*y - y = -2*g + 158. Does 19 divide y?
False
Suppose 0 = 5*w - 0*w - 15. Suppose -w*r = -0*r - 78. Is r a multiple of 12?
False
Suppose 0 = 5*w - 13 - 97. Is 6 a factor of w?
False
Suppose 5 = -0*q + 5*q. Let b = 6 - q. Does 3 divide b?
False
Suppose 5*n - 2*n + 3 = 0. Is 3 a factor of (-3)/(6/(-4)) - n?
True
Suppose w + 3*v = -64, 0 = w + 5*v - 14 + 70. Let n = -38 - w. Does 19 divide n?
True
Let z(b) be the third derivative of 5*b**4/6 - b**3/3 - b**2. Does 15 divide z(1)?
False
Is 1 + (398/(-5))/((-36)/90) a multiple of 50?
True
Let n(z) = -15*z + 2. Let s be -10*(9/(-6) + 1). Suppose -6*h + 2*h - s*g - 8 = 0, 0 = 4*g. Is n(h) a multiple of 16?
True
Suppose -u + 4*u + 93 = h, -4*u = -3*h + 284. Is h a multiple of 20?
False
Suppose 6*y - 2*y = 0. Let l be (y - -2)*70/(-4). Let x = 71 + l. Does 18 divide x?
True
Let g be 4*(2/4 - 0). Suppose v - g*d = -v, -3*d = 0. Suppose 0 = -5*f + 3*q + 123, -q + v*q = 5*f - 119. Is 12 a factor of f?
True
Let m = 278 - 178. Is 10 a factor of m?
True
Let q be (-15)/(-10)*1*46. Suppose -7 + q = 2*t. Let o = -18 + t. Is o a multiple of 13?
True
Let v(r) = r**2 + 4. Does 4 divide v(3)?
False
Is 14 a factor of (-7)/(-35) - (-648)/10?
False
Let z = 39 + -27. Let x be (-5)/(-2) - 2/(-4). Is (-1 + 9)/(x/z) a multiple of 13?
False
Let y(u) = -u**3 - 6*u**2 - 7*u - 7. Let r be y(-5). Let l(t) = -2*t - 1. Let j be l(r). Let c = 11 + j. Is 4 a factor of c?
True
Let b(i) = -i**2 + 7*i - 3. Let w be (3/(-2))/(15/(-40)). Let f(q) = -q**2 + 6*q - 4. Let k be f(w). Is b(k) a multiple of 9?
True
Let r be (-2)/3 + (-104)/6. Let f = 7 - r. Is f a multiple of 8?
False
Suppose 2*b - 4*b = -10. Is 18/2 + -5 + b a multiple of 6?
False
Let o = -1 - -3. Let u be 2 + (o - 1) + 1. Let g = 17 + u. Does 15 divide g?
False
Suppose -t + 4*t - 240 = 0. Is 40 a factor of t?
True
Let q = 77 - 41. Is q a multiple of 12?
True
Let z be ((-50)/(-15))/((-2)/6). Is z/25 - (-307)/5 a multiple of 25?
False
Suppose b + z = 16, -2*z - 20 = -2*b + 28. Does 4 divide b?
True
Let v(h) = 8*h + 65. Is 10 a factor of v(10)?
False
Suppose -5*c - 5*w + 2200 = 0, 0 = c + 5*w - 0*w - 420. Let s = -267 + c. Suppose -5*j + 37 = -s. Is 24 a factor of j?
False
Let m = 2 - 11. Let z(j) = 5*j + j**3 - 7*j**3 + 5*j**3 - 3 - 8*j**2. Is 15 a factor of z(m)?
False
Does 17 divide 8/(-4) + 1/((-1)/(-104))?
True
Suppose -180 = -8*w + 6*w. Does 22 divide w?
False
Let z = -81 + 190. Is z a multiple of 8?
False
Suppose 5*n = n + 2*h - 16, 2*h + 20 = -5*n. Suppose -2*m + 5*q + 130 + 6 = 0, 3*m + 4*q - 158 = 0. Does 16 divide (10/(-5))/(n/m)?
False
Let p(h) = h**3 - 4*h**2 - 17*h - 1. Does 27 divide p(7)?
True
Suppose 2*x - 970 = -3*x. Suppose 0 = -2*c + 362 - 92. Let w = x - c. Is w a multiple of 21?
False
Let i = 3 + 15. Let h = 10 - i. Does 3 divide h/((-2)/4*4)?
False
Suppose 316 = -5*q + 4*b, q + 4*b = -0*q - 68. Let u be (q/12)/((-1)/3). Suppose -5*i - 16 = -3*z, i = -2*z - i + u. Does 4 divide z?
False
Let u be -14*(2 - 4/8). Let a = 36 + u. Does 15 divide a?
True
Is 25 a factor of (-1 + 3)/(16/632)?
False
Suppose y + 144 = 4*y. Does 24 divide y?
True
Is 6 a factor of -1 - (-11)/((-44)/(-48))?
False
Suppose 2*s + 5*a - 276 = 0, -6*s + 4*a + 437 = -3*s. Is 26 a factor of s?
False
Suppose y - 10 - 1 = -a, 4*y - 69 = a. Is y a multiple of 5?
False
Suppose -5*i - 4*p = -1233, 3*i + 3*p - 133 = 605. Is 6 a factor of i?
False
Let c = -10 - -111. Is c a multiple of 5?
False
Let d be -7*-27*2/7. Let c be 6/14 + (-77)/(-49). Suppose c*f = -0*f + d. Is 10 a factor of f?
False
Suppose 0 = -0*i - 4*i + 3*g - 3, -5*i + 10 = -g. Suppose z + 8 = i*q, 4 = -2*q - 0*z + 3*z. Is 4 a factor of q?
True
Let p = 115 - 112. Is p a multiple of 3?
True
Suppose -4*j - 104 = -x - 26, 315 = 5*x + 5*j. Is 6 a factor of x?
True
Let j(g) = 2*g**2 + 2*g + 3. Let k(t) be the third derivative of t**6/120 + t**5/20 - 5*t**4/24 - t**3/6 - t**2. Let o be k(-4). Does 11 divide j(o)?
False
Suppose q + 10 = 3*w - q, 5*q = -25. Suppose 5 = -2*z - i + 11, -5*z - 2*i = -14. Suppose w = z*p - 2*k - 30, -p + 3*p = k + 27. Does 6 divide p?
True
Suppose -h = -3*h + 184. Let w be (-44)/(-10) - 4/10. Suppose w*z - h = 4. Is z a multiple of 24?
True
Suppose 7 - 49 = -i. Does 21 divide i?
True
Is 23 a factor of (-8)/(-3)*(-138)/(-8)?
True
Let s(z) be the first derivative of -1/2*z**2 - 1/3*z**3 + 9*z - 1. Does 6 divide s(0)?
False
Is 14 a factor of (3 + -7)*16/(-2)?
False
Suppose -s + 3*s = -l + 5, -5*s + 4*l - 7 = 0. Let p = 4 - s. Suppose 0 = -x - p*x + 108. Is 12 a factor of x?
False
Let m = 0 + -1. Let c(q) = q**3 - 2*q**2 - q. Let t be c(m). Is 7 a factor of -2 - 28/t - -2?
True
Let h(p) = 9*p**2 - 2*p + 3. Does 9 divide h(2)?
False
Let v = -14 + 12. Let x = 58 - v. Is x a multiple of 30?
True
Let b(q) = q**3 - 2*q**2 - 5*q - 6. Is 18 a factor of b(6)?
True
Let d = 14 - -15. Is 14 a factor of 2*1/(-2) + d?
True
Let k(y) = y**3 + 4*y**2 - 6*y + 7. Let i be k(-5). Suppose 0 = -5*j + m + i, -2*m + 3*m = -5*j + 8. Is (-1 + 33/6)*j a multiple of 9?
True
Let a(t) = 3*t**2 + t - 1. Let y be a(1). Suppose -i + y*i = 5*r + 16, 8 = -4*i. Let h = r - -6. Is 2 a factor of h?
True
Let s = -185 + 428. Does 13 divide s?
False
Let g(d) be the second derivative of -d**5/120 + 7*d**4/6 + d**3/2 - 3*d. Let h(j) be the second derivative of g(j). Is h(0) a multiple of 16?
False
Suppose -5*u + 5*w = -5, -4 = -4*w + 4. Does 11 divide (-13 - u)/(-4)*6?
False
Suppose 0 = -2*q - 2*d + 22, -q - d - d = -13. Let a = -7 + q. Suppose 0*f = -4*m + f + 40, 14 = 2*m - a*f. Is 5 a factor of m?
False
Suppose 7 - 127 = -4*w. Is 30 a factor of w?
True
Let p(q) = 5*q**2 + 2*q. Let g be p(4). Suppose -4*f = -g + 16. Is 11 a factor of f?
False
Is (-10 - -13) + (1 - -33) a multiple of 5?
False
Let f be (-6*7)/((-12)/16). Suppose -5*v + 59 = 2*d, 4*v = 5*d + f + 11. Let s = v + 0. Does 13 divide s?
True
Suppose 5*q = -5*o + 40, -4*q - 6*o + o = -37. Suppose -t - q*t = -52. Does 13 divide t?
True
Let m(k) = k**3 - 7*k**2 + 2*k + 1. Is 3 a factor of m(7)?
True
Suppose -29*v - 82 = -30*v. Does 17 divide v?
False
Suppose 5*p - 138 = 4*o - 3*o, 0 = 3*p + 4*o - 69. Is p a multiple of 23?
False
Suppose -384 = -10*m + 26. Is m a multiple of 5?
False
Suppose -4*k - 36 = -5*k. Is k a multiple of 11?
False
Let s = 121 + -51. Is s a multiple of 10?
True
Suppose -74 = -a - 3*g + 39, 0 = -5*a - 3*g + 625. Is 32 a factor of a?
True
Let z(d) = d - 8. Let i be z(8). Is 3 a factor of i + 14 + -8 + 5?
False
Let d = -57 + 124. Does 25 divide d?
False
Let f(l) be the third derivative of 11/6*l**3 - 1/8*l**4 - l**2 + 0 + 0*l. Is 26 a factor of f(-8)?
False
Suppose 5*w = 4*h + w - 56, -2*w - 39 = -3*h. Suppose 0 = 4*u + d - h, 4*d - 4 = u + 2*d. Suppose i + 21 = p, 60 = u*p + 3*i + 13. Is p a multiple of 11?
True
Let b = 1 - -10. Suppose 0*y = -y + b. Is y a multiple of 7?
False
Let t