)/2). Let w(f) = f**3 - 7*f**2 - 6*f - 2. Let a be w(6). Is (a/(-4))/(b/(-4)) a multiple of 16?
False
Let x(p) = p + 14. Let o be x(-7). Suppose 1 = a - 2*j, 0 = 5*a - o*j + 3*j - 17. Does 5 divide a?
True
Let d(v) = 2*v**2 + 8*v - 9. Let y be d(-7). Let w = y + 5. Is 27 a factor of w?
False
Suppose 0 = y - 4*y - 12. Does 23 divide -2 + y/2*-29?
False
Let r = -3 + 21. Does 6 divide r?
True
Let n = 106 + -68. Is 11 a factor of n?
False
Let s(t) = 7*t - 19. Does 13 divide s(6)?
False
Let p(i) = 4*i**3 - 5*i**2 + 5*i - 2. Let w be p(2). Let u be -2*(-3)/(3/(-4)). Is 615/w - 2/u a multiple of 13?
False
Suppose -2*j + 8 - 4 = 0. Suppose 2*q + 81 = 5*v, 4*v + 6*q - 48 = j*q. Is v a multiple of 15?
True
Suppose -2*p + 2*o - 83 = 109, 2*o = 10. Let x = -11 - p. Suppose a = 6*a - x. Does 16 divide a?
True
Let o = 10 - 14. Is 14 a factor of 130/o*(-24)/15?
False
Let t = -8 + 10. Suppose -w - 2*y - t*y + 10 = 0, w = -3*y + 13. Is 7 a factor of w?
False
Suppose 2*i - 5*m - 116 - 169 = 0, -3*m = -4*i + 563. Does 10 divide i?
True
Let y be 1/(-3)*(158 + 1). Suppose 0*f + f - 89 = 0. Let k = y + f. Is k a multiple of 18?
True
Let c = 51 - 27. Suppose 3*y - y = c. Is y a multiple of 5?
False
Suppose 0 = 2*t + 6, 5*t - 3*t - 29 = -5*x. Let c(l) = -x*l - 3*l + 5*l. Does 2 divide c(-1)?
False
Let c be 24 + -2*(-4)/8. Let y = c + -13. Is 6 a factor of y?
True
Let c(t) = -t**2 - 3*t + 4. Let o be c(-4). Suppose -u + 3*u - 18 = o. Is 5 a factor of u?
False
Let s be (36/(-14))/(4/(-28)). Suppose 2*x + 4*d = s, 3*d = -3*x - d + 23. Does 3 divide x?
False
Suppose 2*y - 1 = 5*u + 111, -3*y + 186 = -3*u. Let t be (-9)/((-75)/y + 1). Is 8 a factor of t/4 - (-1)/2?
False
Is 34*(-1)/(-2) + (5 - 4) a multiple of 15?
False
Suppose 0 = -t + 2*t - 34. Is t a multiple of 15?
False
Let b = 5 - -135. Is 28 a factor of b?
True
Suppose 6 = -2*a + 2, 0 = 3*t + 3*a - 54. Does 6 divide t?
False
Let m be 0 + 2 + -1 + 2. Suppose 5*t - 303 = x, -m*t + 2*x = -130 - 56. Does 18 divide t?
False
Suppose 2*r = -2*r. Suppose r = -0*t - 2*t + 10. Is 5 a factor of t?
True
Let a be (-161)/(-28) + (-6)/8. Let x = a - 0. Is x a multiple of 5?
True
Let u(d) = -40*d - 6. Does 21 divide u(-6)?
False
Suppose 0 = -0*b + 2*b. Let v = b - 0. Suppose v = 5*m - 18 - 47. Does 7 divide m?
False
Suppose -18 = -2*w + 5*w + 3*v, 2*w + v = -9. Let s be 2 + (w/3 - -2). Suppose 0 = s*i - 12 + 3. Is 2 a factor of i?
False
Let v = -3 + 8. Suppose 3*f - 325 + 133 = 0. Suppose -f = o - v*o. Does 7 divide o?
False
Let o(l) = 10*l**2 - 22*l + 14 + 34*l + 3*l**3 - 4*l**3. Does 12 divide o(11)?
False
Let k(q) be the third derivative of q**4/24 + 7*q**3/6 - q**2. Let t be k(-7). Suppose 3*c + t*c - 9 = 0. Is 2 a factor of c?
False
Let b = -123 + 237. Is b a multiple of 19?
True
Suppose 4*t + 0*r + 4*r - 68 = 0, 0 = 2*t + 5*r - 31. Is t a multiple of 4?
False
Let v be ((-4)/(-6))/((-6)/9). Let s = v + 9. Is 7 a factor of 2/s - (-581)/28?
True
Let m = -67 + 48. Let o = m + 38. Suppose -4*x + 0*x - 2*a + 78 = 0, -o = -x - a. Is 12 a factor of x?
False
Suppose 3*y - 2*y = 3, -y = 2*j - 5. Let c(t) = -t + 1. Let x be c(j). Suppose 2*f = -10, x = -5*w + 3*w - 3*f + 5. Does 10 divide w?
True
Let g = -13 - -15. Suppose 2*w + 7*t = 2*t + 48, -48 = -4*w + g*t. Is w a multiple of 7?
True
Suppose 12*f - 256 = 8*f. Does 11 divide f?
False
Suppose -4*z + 0*z = 5*o + 25, z + 3*o = -15. Let d be 1*(z - 2 - -2). Suppose 3*r = -d + 51. Is 17 a factor of r?
True
Suppose -2*x = -0*x - 324. Suppose 5*y + 3*l - 61 = 3*y, 0 = 4*y - 2*l - x. Is 4/2*y/4 a multiple of 6?
False
Let p = 14 + -14. Suppose p*k = k - 16. Is 12 a factor of k?
False
Is 6 a factor of (-6)/15*(-19 - -4)?
True
Let f = 41 - 18. Is 15 a factor of f?
False
Suppose -2039 - 5458 = -21*q. Is 65 a factor of q?
False
Suppose -y - 2*y = -3*q - 9, 0 = y + 3. Let t be (-8)/3*9/q. Does 10 divide -5*t*(-1)/1?
True
Suppose 2*n + 0*n + 7 = -g, -4*g - 13 = 5*n. Suppose -g*p = -8*p + 55. Is p a multiple of 3?
False
Suppose 7*j - 3*j = 84. Does 7 divide j?
True
Let u(n) be the third derivative of -n**6/120 + n**5/10 - n**4/8 + 2*n**3/3 + n**2. Let c be 4 + (2 + -5 - -3). Is u(c) a multiple of 12?
True
Let y(d) = d**2 + 7*d + 4. Let s be y(-6). Let k(u) = 13*u**2 - u - 1. Let b be k(s). Let z = b - 27. Is z a multiple of 16?
False
Suppose 0 = 5*i + 2*q + 2*q - 35, 13 = i + 2*q. Suppose j - i*j = -42. Does 15 divide j?
False
Let s(k) = -2*k + 4 + 2*k - 5 + k**2. Let r be s(-2). Suppose -r*x - b + 83 = 0, -5*x + 0*x + 139 = b. Is x a multiple of 14?
True
Let n be 1 - (-5)/(5/(-2)). Let r be 4/n*(-30)/24. Suppose -r*h = -4*q - 131, 7 = 2*h + 2*q - 49. Is 9 a factor of h?
True
Let y(q) = q**2 - 10*q - 4. Let l be y(14). Let s = l - 30. Is s a multiple of 11?
True
Suppose -k = 4*d - 24, 0*k = 2*k - 8. Let w = d - 3. Let a(u) = 22*u + 2. Is a(w) a multiple of 17?
False
Does 9 divide 7/(70/(-4))*-75?
False
Let n be 15/(-6)*(-33 + -1). Let k = n + -60. Does 25 divide k?
True
Let d = 99 + -51. Does 16 divide d?
True
Suppose 4*w - 11 = 37. Does 2 divide w?
True
Suppose 6*u - 165 = u. Is 11 a factor of u?
True
Suppose 3*r - 2 = 13. Suppose -117 = -5*v - 3*h, 0 = r*v + h - 0*h - 109. Is 11 a factor of v?
False
Let h(m) = -m**3 + 8*m**2 + 8*m + 13. Let i be h(9). Suppose -i*t + 2*q = 4*q - 162, t - 53 = -3*q. Does 13 divide t?
False
Let t = 58 - 4. Suppose -20 = 4*a, 3*n + 14 = -a + t. Is 6 a factor of n?
False
Suppose 5*p + 0*p = -3*m + 22, 3*m = 5*p - 28. Let k = 0 - m. Is k/(9/21)*3 a multiple of 7?
True
Let c(h) = -9*h - 23. Does 12 divide c(-11)?
False
Let t(z) = -z**2 + 7*z - 2. Let o be t(6). Suppose 0 = -3*h + 4*k + 97, -h - o*h = 5*k - 150. Let c = -15 + h. Is c a multiple of 13?
False
Suppose 3*v + 1 = c + 2, 0 = c - v - 3. Suppose -f - 3*f + 36 = 0. Let k = f - c. Does 3 divide k?
False
Suppose -4*z = -3*b - 5, z - 5 = -2*b + 2*z. Suppose 8 = b*j - 17. Is 2 a factor of j?
False
Let n(h) = 7*h**2 + 6*h - 12. Let x(l) = 8*l**2 + 7*l - 13. Let d(t) = 6*n(t) - 5*x(t). Let q be d(-5). Let k = q - 21. Is 17 a factor of k?
True
Does 4 divide (-316)/(-26) + -3 + (-185)/(-65)?
True
Let v be (1 - 13)*(-6)/9. Let n = v + -6. Suppose -n*j - 2*s = -0*s - 14, -2*j + s = -17. Is j a multiple of 4?
True
Let a = 236 + -148. Suppose -a = -3*z + 56. Suppose z = t + t. Does 15 divide t?
False
Let n = 95 + -43. Is 9 a factor of n?
False
Suppose -2*w - 16 + 2 = -4*q, -w + 3*q = 12. Suppose 10 = 3*u + 4*c, -w*u + 5*c + 5 = 4*c. Suppose 3*m = 55 + u. Is m a multiple of 13?
False
Let o(p) = -10*p - 15. Let h = -26 + 19. Does 12 divide o(h)?
False
Suppose 0*b - 9 = -l - 5*b, 0 = 3*b - 9. Let g be (-4)/3 + (-2)/l. Is (-6)/3 + (g - -15) a multiple of 6?
True
Let u be 7 + (-2)/(0 + -2). Is (u + -6)/((-1)/(-6)) a multiple of 12?
True
Suppose -8 = -j + 43. Is 12 a factor of j?
False
Let f(h) = h**3 - h**2 + 3. Suppose -5*g = -0 - 15. Let u be f(g). Let v = -3 + u. Does 15 divide v?
False
Let d(l) = l**3 - 7*l**2 - 5*l - 2. Does 3 divide d(8)?
False
Let g = 10 + -6. Does 2 divide g?
True
Let b(w) = w**2 + 1. Let g(h) be the first derivative of 5*h + 1. Let p(r) = b(r) - g(r). Is p(4) a multiple of 12?
True
Suppose 4*g - 48 = -4*t, -t + 5*t + 48 = 2*g. Is 10 a factor of g?
False
Let h = 66 + -38. Is h a multiple of 14?
True
Let i(g) = 16*g - 32*g - 39*g. Does 14 divide i(-1)?
False
Suppose 2*j + 51 = -4*s + 155, -4*s + 104 = j. Does 13 divide s?
True
Let w = 128 - 65. Is 9 a factor of w?
True
Let l be 0/(2 + 2 + -3). Suppose l*q = 2*q - 18. Does 9 divide q?
True
Let n(o) = 2*o**2 + 5*o + 2. Let a be n(-3). Suppose -a*x = -2*x - 12, -2*x + 24 = k. Suppose 4 = -w + k. Is 12 a factor of w?
True
Let l(f) = 3*f**3 - f**2 + f - 1. Is 2 a factor of l(1)?
True
Let j(r) = -2*r - 7. Let i(t) = 6*t + 20. Let f(g) = 2*i(g) + 7*j(g). Let w(y) = -5*y - 28. Let k(p) = 8*f(p) - 3*w(p). Is 2 a factor of k(7)?
False
Let w(y) = 4*y**3 - 4*y**2 + 4*y. Let o be w(3). Let m = 1 + -1. Suppose m = 6*k - 2*k - o. Does 10 divide k?
False
Let d = 22 + -16. Suppose 0 = -r + d*r - 75. Is 7 a factor of 144/10 + (-6)/r?
True
Let x = -32 + 59. Is x a multiple of 8?
False
Is 14 a factor of (-394)/(-7) - 32/112?
True
Suppose 0 = -4*p - 3*s + 3 - 20, p = 3*s - 23. Let o = -2 - p. Suppose -18 = 3*g - o*g. Does 3 divide g?
True
Let c = 184 - -19. Is c a multip