be 1 - (2 - (-120)/i). Let z = p + -17. Does 11 divide z?
True
Let l(w) be the first derivative of 109*w**3/3 + w**2/2 - 4. Let a be l(1). Suppose -2*r = 10, 3*r = 5*y + 6*r - a. Does 11 divide y?
False
Let q be (18/45)/((-1)/(-5)). Suppose 6*b - 80 = q*b. Is b a multiple of 10?
True
Suppose 0 = 2*j - 5*j + 132. Does 14 divide j?
False
Suppose 0 = 5*u - 3*p - 94, 7*p - 3*p + 97 = 5*u. Suppose 5*j = -3*y + 85, -j - y + u = -4*y. Is 17 a factor of j?
True
Let j(s) = 2*s - 7. Is j(9) a multiple of 2?
False
Let a(s) = -s**2 - s + 32. Suppose 0 = -p - 3*g + 3, 4*p + 3 = -2*g + 5. Does 23 divide a(p)?
False
Suppose -g = -26 - 10. Let f(c) = 5*c + 8. Let q be f(-6). Let j = q + g. Is 7 a factor of j?
True
Suppose 4*l + 31 = 3*i, -2*i = -l - 5 - 9. Is 8 a factor of (-195)/(-25) + 1/i?
True
Let w = 26 - -6. Is w a multiple of 8?
True
Does 4 divide (7/((-28)/(-32)))/2?
True
Suppose 0*h = 3*h. Suppose h = -3*k + 2*k + 6. Suppose 36 = -k*n + 10*n. Is 4 a factor of n?
False
Let f be 36/((15/(-4))/(-5)). Suppose -5*s = -2*s - f. Suppose m = s - 0. Does 16 divide m?
True
Does 8 divide (16/(-3))/(24/(-108))?
True
Let b(c) = 2*c**2 - 7*c - 12. Is 15 a factor of b(-7)?
True
Let h = 35 - 12. Does 3 divide h?
False
Is 15 a factor of (-1084)/(-24) + (-2)/12?
True
Let b = -8 + 10. Let d = b + 11. Does 6 divide d?
False
Let p be -3 - ((-48)/18 + 1/(-3)). Let y(c) = -c**2 + 7*c + 5. Let f be y(7). Suppose -r - f = -4*t - 37, 4*r + 3*t - 166 = p. Does 11 divide r?
False
Suppose 3*u = u + 174. Is 22 a factor of u?
False
Let a = 42 - 22. Is a a multiple of 17?
False
Let u(b) = b**3 + 5*b**2 + b + 1. Let w be u(-5). Let r be (-619)/w + 2/8. Suppose -r = -4*s - 51. Does 13 divide s?
True
Let j(v) = v + 9. Let o be j(-6). Does 19 divide 58/o + (-3)/9?
True
Let g(j) = -4*j**2 + 4*j + 3. Let r be g(5). Is 3/6 - r/2 a multiple of 17?
False
Suppose 0 = -2*r - 8, d - 5*d + 4*r + 208 = 0. Does 12 divide d?
True
Suppose -595 = -5*j + 2*o, -2*j + 132 = -o - 107. Does 10 divide j?
False
Suppose -5*h - 5 = -10*h. Let f = h - -10. Is f a multiple of 7?
False
Let r(q) = -8*q. Let y be r(-1). Let l(o) = 6*o - 14. Is l(y) a multiple of 8?
False
Suppose q - 1 - 53 = 0. Is 7 a factor of q?
False
Let u(l) = -3*l - 2. Let z be u(-3). Let h = z - -11. Suppose -h = -w - 0*w. Is 18 a factor of w?
True
Let b = -117 + 171. Suppose -7*o + 4*o = -b. Is o a multiple of 5?
False
Let q be -1*(-9 + (-1 - -2)). Suppose -3*g + 7 = -q. Suppose -g*d = -7*d + 64. Is 13 a factor of d?
False
Let c be 5/(-10) - 9/(-2). Let p be (2/c)/((-1)/(-22)). Suppose -u = -p - 0. Does 11 divide u?
True
Let y(x) = -x**2 + x + 71. Let m be y(0). Suppose -37 = -4*f + m. Is f a multiple of 9?
True
Let m = 2 + 0. Suppose 21 = -2*t + 141. Suppose -5*c + 5*d = -t, 2*c - 3*d = -m*c + 48. Is c a multiple of 4?
True
Suppose -2*g - 115 + 29 = 0. Does 11 divide 6/24 - g/4?
True
Let z(u) = -8*u. Let r be z(-6). Suppose j - r = 5*j. Is (-53)/(-5) + j/(-30) a multiple of 4?
False
Let j(m) = 29*m**3 - 3*m**2 + 5. Let x(h) = -10*h**3 + h**2 - 2. Let r(w) = -4*j(w) - 11*x(w). Is r(-2) a multiple of 18?
True
Let q = 349 - 143. Is 36 a factor of q?
False
Suppose 5*u + 44 = -3*j, -4*j - u = j + 44. Let m = j + 19. Is 11 a factor of m?
True
Let r(t) = -4*t - 4. Let q be r(-2). Suppose 0 = -4*v + 5*k + 85, -q*v + 3*k - 59 = -6*v. Is v a multiple of 4?
False
Suppose 5*i + 3*h + 15 = 0, i - 7 - 8 = 3*h. Suppose v + 2*q = i, 0 = -4*q - q - 20. Is 5 a factor of v?
False
Does 21 divide 7/(-2)*(-17 - -5)?
True
Let g(r) = -2*r**3 - r**2 + 3*r - 4. Suppose 0 = -t + 2*x + 5 - 0, 0 = -4*t + 5*x + 8. Is g(t) a multiple of 7?
False
Suppose 10*c - 8*c = 128. Is c a multiple of 34?
False
Suppose -2*k = -0*k + 38. Let c = 16 - k. Suppose d + 4*d = c. Is 7 a factor of d?
True
Let k be 1 + (3 - (1 + -2)). Let h = k - 7. Is -56*(h + (-10)/(-8)) a multiple of 21?
True
Let c be (6/4)/(6/16). Let i(y) = y**3 + 4*y**2 - 2. Let g be i(-4). Let d = c - g. Does 3 divide d?
True
Suppose 3*y - 216 = 2*k, -y + k = -7 - 65. Is 12 a factor of y?
True
Suppose 0 = -5*f + 7 - 42. Let w(o) = o**3 + 7*o**2 - 2*o + 10. Does 12 divide w(f)?
True
Let u(x) = 4*x + 1. Is 16 a factor of u(14)?
False
Suppose 3*r - 2 - 10 = 0. Suppose 0 = -0*t + t + 4*z - 63, -r*z = -t + 31. Let b = t + -27. Is b a multiple of 10?
True
Suppose 7*a - 1495 = -6*a. Does 17 divide a?
False
Let o(s) = s**3 - s**2 - 3*s - 5. Suppose 0 = 4*w + 8 + 4. Let c be (-13)/w + (-1)/3. Is 18 a factor of o(c)?
False
Suppose -18 = -3*g + 30. Suppose y - g = -2*o - 0, 5*o + 116 = 4*y. Does 6 divide y?
True
Suppose 2*m - 44 = 2*l, 0*m + 4*m + 3*l = 123. Is m a multiple of 9?
True
Suppose -292 - 188 = -6*w. Does 20 divide w?
True
Let v = -52 + 72. Does 9 divide v?
False
Let h be 2*1/(-3)*39. Let r = h + 46. Let i = r - 10. Is i a multiple of 10?
True
Let j(h) = -2*h + 4. Is j(-2) a multiple of 4?
True
Let n(r) = -r**3 + 9*r**2 + 13*r. Let v = 30 + -20. Is n(v) a multiple of 15?
True
Let t(m) be the first derivative of -11*m - 10/3*m**3 + 9/2*m**2 + 4 - 1/4*m**4. Is 10 a factor of t(-11)?
False
Suppose 2*h - 12 = -0*h. Let k = h + -3. Suppose -2*a + 10 = g - k*a, 28 = 2*g + 2*a. Is g a multiple of 6?
True
Let p = -31 - -61. Does 10 divide p?
True
Let p(x) = x**3 - 7*x**2 + x - 9. Let f be p(7). Let l be f/(-3)*24*-2. Is (12/(-16))/(2/l) a multiple of 10?
False
Is 2 - -1 - (-78 - 15) a multiple of 12?
True
Let d(t) = t**3 + 17*t**2 - 18*t + 4. Is 3 a factor of d(-18)?
False
Let f = -63 + 103. Is f a multiple of 8?
True
Let j be -1*((-1 - -2) + -1). Suppose j = -5*v + 153 + 12. Is v a multiple of 14?
False
Let d be 6/(-27) - 330/(-27). Let u(j) = 8*j**3 - j**2 - 2*j**2 - d*j**3. Does 10 divide u(-2)?
True
Let f = 13 + 5. Is 11 a factor of f?
False
Let w(x) = -x**3 + 4*x**2 + 6*x. Let m be w(5). Suppose -m*h = -84 + 9. Suppose -a + 1 = -h. Is 8 a factor of a?
True
Let h(j) = 3*j**2 + 15*j + 10. Let c be h(-8). Suppose 5*k = 20, -3*t + 2*k + c + 99 = 0. Does 16 divide t?
False
Let z(l) = 2*l**2 + 4*l + 4. Is 17 a factor of z(-5)?
True
Suppose -l = -8 + 20. Let i be 2/(-8) - (-717)/l. Is 10 a factor of (3/(-2))/(9/i)?
True
Suppose -2*l = -32 - 6. Let w = -13 + l. Does 3 divide w?
True
Let v = 1 - 19. Let j = 54 - v. Is j a multiple of 20?
False
Suppose -4*m = -2*m - 4*s - 30, -s - 2 = 0. Let q = -5 + m. Is 4 a factor of ((-52)/6)/((-4)/q)?
False
Let k(z) = -2*z**3 - 2*z**2 - 5*z + 5. Let s(m) = -m**3 + m**2 + 1. Let q(x) = -k(x) + 3*s(x). Is q(5) a multiple of 23?
True
Let a be 2/(-20)*-8*5. Suppose -144 = -a*y + y. Is 12 a factor of y?
True
Is 10/(-3)*45/(-6) a multiple of 6?
False
Let j = 35 + 37. Is j a multiple of 10?
False
Suppose 0 = p + p + 2*o - 14, -5*p = -3*o - 27. Does 4 divide p?
False
Let m(v) be the third derivative of -1/4*v**4 - 1/3*v**3 - v**2 - 1/60*v**5 + 0*v + 0. Is m(-4) even?
True
Let o = 8 + -7. Let b(x) = 2*x + o - x - 4. Does 7 divide b(12)?
False
Let r(s) = s**2 + 2*s - 5. Let p be r(-7). Let z = p - -38. Is 22 a factor of z?
False
Does 15 divide ((-12)/2 - -1)*-6?
True
Let a be (4/(-10))/((-3)/15). Suppose 4*l - a*l = 5*h + 29, 4*l = 4*h + 28. Suppose 2*v + 2 = -v + 5*d, -2*d = l*v - 20. Is 6 a factor of v?
True
Let s(o) = -o**3 + 7*o**2 - 5*o - 4. Is 12 a factor of s(5)?
False
Does 6 divide (-1 - (1 + -4)) + 16?
True
Let r(q) = -3*q - 2. Let g be r(-9). Suppose 0 = -5*a + g, 4*a + 0 + 6 = k. Is k a multiple of 14?
False
Let p = 4 - -9. Is p a multiple of 5?
False
Suppose -5*x + o - 12 = 0, -2*o = -3*x - 0*x - 10. Let m = x - -6. Is (m/(-5))/(6/(-45)) a multiple of 6?
True
Suppose -3*u = -7*u + 64. Suppose 4 = -2*o + u. Is 4 a factor of o?
False
Suppose -3*d + 72 = 5*w - 0*w, -4*d + 2*w + 70 = 0. Is d a multiple of 5?
False
Let f(p) be the third derivative of 1/120*p**6 - 2*p**2 + 0 + 0*p + 1/2*p**3 - 1/12*p**5 + 0*p**4. Is f(5) a multiple of 2?
False
Suppose 2*i + 0*i - 3*k = 110, 0 = 3*i + 4*k - 199. Is i a multiple of 19?
False
Let j(d) = 12*d. Let h be j(2). Let f = h + -16. Does 4 divide -1 + f + (-2 - -1)?
False
Suppose 3*y + 3 - 93 = 0. Suppose 2*b - y = -3*b. Suppose j - b = 3. Does 4 divide j?
False
Let c = 11 + -8. Let j(b) = b**3 - 2*b**2 + b - 4. Let o be j(c). Let h = 44 - o. Does 18 divide h?
True
Let k(a) = a. Is 2 a factor of k(11)?
False
Let i(x) = x**3 + x. Let c be i(1). Suppose