tor of u?
False
Let d = -6 + 8. Let k = d - 2. Suppose k = -2*j + 2 + 30. Does 6 divide j?
False
Let c(m) = -m + 8. Let j = 1 + -2. Let d(v) = v - 1. Let k(s) = j*c(s) - 6*d(s). Is 6 a factor of k(-2)?
False
Let r(p) = 3*p**3 - 2*p**2 - 2*p - 1. Let x be r(3). Suppose 2*k = k - 5*f + x, 4*k + 3*f = 173. Does 15 divide k?
False
Let u(l) = l**3 + 12*l**2 + 7*l + 6. Does 22 divide u(-11)?
False
Let u(y) be the second derivative of y**5/20 - y**4/2 - 7*y**3/6 + 5*y**2 + y. Does 5 divide u(7)?
True
Let y(z) = z + 16. Let u be y(-11). Let l = -7 + u. Is 18 a factor of -45*(6/5 + l)?
True
Let b(c) = -23*c**3 - c**2. Suppose 7 - 5 = -2*v. Does 11 divide b(v)?
True
Let t be 1/3*1*3. Suppose -7 - t = -4*r. Suppose -r*u = -o + 18, o = -3*u + 2 - 4. Is 10 a factor of o?
True
Let t(a) = 212*a + 4. Does 24 divide t(1)?
True
Let x = 135 - 75. Is 38 a factor of x?
False
Let c(r) = 2*r**2 + 2*r - 2. Let f be c(2). Suppose -134 = -4*q + 2*u - f, 50 = 2*q + 2*u. Is 12 a factor of q?
False
Let p be (-2 - 0)*(0 + 3). Suppose 0 = -0*d + 4*d - 60. Let k = d + p. Is 3 a factor of k?
True
Suppose 2*o + 7 = b, -b - 2*o = -1 + 6. Let f be 875/(-10) + b/(-2). Let z = 126 + f. Does 26 divide z?
False
Suppose 3*z + 4*u - 16 = -0, 3*u = 3. Let r(k) = 4 + 3 - k - z. Does 3 divide r(0)?
True
Does 7 divide 29 + (-5)/(5/(-4))?
False
Let o(q) = -q + 7. Let f be o(5). Suppose 4*y - 4*v - 100 = 0, -11 = -4*y + f*v + 99. Suppose 0 = -2*u - 0 + y. Is u a multiple of 15?
True
Suppose 0*l + 4*g - 1 = 5*l, -5*g = 3*l - 29. Suppose -l*f + 9 + 6 = 0. Does 2 divide f + 2/(-6)*0?
False
Is 3 a factor of (-7)/21 - 98/(-6)?
False
Let o = 29 + -86. Let b = o - -114. Is 19 a factor of b?
True
Let g be 12*1*(-7)/3. Let s = g - -46. Is 7 a factor of s?
False
Let w be (-1)/2*(-103 + 9). Suppose r - w = -0. Is 17 a factor of r?
False
Suppose 3*l + 3 = 0, 3*z - 4 = -4*l - 23. Is 2/10 + (-44)/z a multiple of 9?
True
Let k = 85 - 33. Is 13 a factor of k?
True
Let l(j) = -j**3 - 6*j**2 - 7*j - 3. Does 13 divide l(-6)?
True
Let v(s) = -3*s + 3*s - 4*s. Does 12 divide v(-3)?
True
Let s = -50 + 90. Does 18 divide (21/6 + -3)*s?
False
Let j = -11 + 9. Is 7/(-7) - 102/j a multiple of 23?
False
Does 14 divide 1/4*(9 + 230/2)?
False
Suppose -4*k - 3*f + 18 = 0, 3*k + 3*f - 7 = 4*f. Suppose k*c - 218 = -74. Does 16 divide c?
True
Suppose -5*d + 630 = 4*x, 2*x - 7*x = 2*d - 235. Does 44 divide d?
False
Let n(s) = 2*s**2 + s + 1. Let k be n(-1). Suppose 0 = -4*w + d + 33, k*w - 16 = -3*d - 3. Does 7 divide w?
False
Let v = -11 + 15. Is 28 a factor of 53 - ((-4)/v + 2)?
False
Let u(g) = g + 1. Let c(t) = 8*t - 3. Let q(f) = c(f) + 2*u(f). Does 9 divide q(1)?
True
Suppose -8 = 2*i - 4*i. Suppose i*u - 176 = 8. Is 21 a factor of u?
False
Let b = 7 - 12. Let a = -3 - b. Does 8 divide a/((-45)/24 - -2)?
True
Suppose -2*p + 95 = 3*n, 32 + 1 = n + 2*p. Suppose -5*u + 4*s = -n, 0 = 2*s + s + 12. Is u a multiple of 2?
False
Let c(h) = -h**3 - 5*h**2 + 3*h - 5. Let n be c(-7). Suppose o = n - 1. Suppose 4*v - 255 = 2*s - o, -3*v = s - 128. Is 11 a factor of v?
True
Let y(g) = -g**3 + 8*g**2 - g + 6. Let c be y(8). Let q = c - -37. Is 35 a factor of q?
True
Let l(u) = 2*u + 1. Let g be l(1). Is 14 a factor of 50/g + 7/21?
False
Let t be (-2)/((18/39)/(-3)). Let r(k) = -4*k - 3. Let p be r(-3). Let g = t + p. Does 9 divide g?
False
Suppose -2*b + 3*b - 13 = 0. Suppose -3*n + b + 5 = 0. Is n a multiple of 3?
True
Suppose 6*n = 2*n + 260. Let b = -45 + n. Does 19 divide b?
False
Is 8 a factor of 6/(-5)*225/(-6)?
False
Let s(d) be the third derivative of -d**4/24 - d**3/6 - 2*d**2. Let y(v) = 3*v + 3. Let o(a) = 2*s(a) + y(a). Is o(5) a multiple of 5?
False
Let w = 12 + -2. Let y = 16 - w. Suppose 3*f - 63 = 3*r, 3*f - 5*r - y - 57 = 0. Is 8 a factor of f?
False
Suppose -3*g - q + 13 = 0, -2*g + 8*q = 5*q + 6. Suppose -2*n - 5*i = -11, g*n - i - 4*i = 4. Suppose -n = a, -182 = -4*h + 4*a - 42. Is h a multiple of 10?
False
Is 9 a factor of (20/15)/(1/15)?
False
Let g(r) = -r**2 + 4*r - 2. Let w be g(3). Suppose 0 = -5*n - w + 111. Does 11 divide n?
True
Is 30 a factor of (6/15)/((-2)/(-1350))?
True
Let h = -2 - 0. Let r be (-112)/(-2)*1 + h. Let f = r - 31. Does 10 divide f?
False
Let x(g) = 2*g**3 - 4*g**2 - 2*g + 9. Does 5 divide x(4)?
True
Let j(x) = -3*x + 9. Let y be j(-6). Let s = y - 15. Is s a multiple of 9?
False
Suppose -2*x + 28 = -4*v, 5*x + v + 25 = 10*x. Suppose x*o = 12 + 4. Let t(h) = h**2 - 4. Does 8 divide t(o)?
False
Let j = -65 - -227. Does 27 divide j?
True
Let z be (2 + (-3)/3)*-5. Let h(q) = q**2 + 4*q - 2. Let f be h(z). Suppose 120 = 4*a - 4*w, -f*w - w = a - 30. Is 19 a factor of a?
False
Does 32 divide (64/10)/(-4)*-60?
True
Suppose 5*f - 2*u = 3*u, -4*f - 4 = -5*u. Suppose -f = -0*w - 2*w. Suppose 3*h = w*s - 12 + 1, 0 = -3*s + 3*h + 21. Is 10 a factor of s?
True
Suppose 2 = -2*v, 2*h + 0*v - 33 = 5*v. Let t = 23 - h. Is 8 a factor of t?
False
Let f = 160 + -79. Is f a multiple of 17?
False
Let j(l) = l**2 - 3*l - 4. Let t be j(6). Let k = 8 - t. Let z = k + 19. Does 13 divide z?
True
Let z be 2 - (-3 + 3 - -2). Suppose -a - 4*a = z. Suppose a = -4*f + 7 + 5. Is f a multiple of 2?
False
Let i = 192 + -129. Suppose 0 = 3*r + i - 192. Does 16 divide r/(2/(-6)*-3)?
False
Suppose 0 - 15 = -l. Suppose 2*u = -8, -2*u = -3*h - 5*u + l. Does 9 divide h?
True
Let o = 2 + -3. Let z(j) = -13*j**3 - 1. Does 5 divide z(o)?
False
Let a = 8 + -6. Suppose 0 = a*y + y - 96. Is 10 a factor of y?
False
Let i be 8/(-6)*54/(-72). Let f(x) = 38*x**3 - 2*x**2 + 3*x - 2. Is f(i) a multiple of 13?
False
Let l = 14 - 20. Let j(n) = n**2 - 3*n - 5. Does 23 divide j(l)?
False
Let q = 16 + -29. Let n = q + 23. Let k = n + -1. Is 4 a factor of k?
False
Let x be (-2)/5 - (-3685)/25. Suppose -x = -3*w + 45. Suppose 6*r - 2*r = w. Is 8 a factor of r?
True
Let y be ((-26)/(-8))/((-1)/(-4)). Let c = 18 + -25. Let o = c + y. Is 6 a factor of o?
True
Is 37 a factor of -1 + -1 + 2*(-152)/(-4)?
True
Let i be 30/(((-6)/2)/3). Let u = 8 - i. Is 13 a factor of u?
False
Let k(x) = x**3 - 7*x**2 + 6*x + 4. Suppose s + 4 = 3*s. Suppose -5*q + 38 = s*g, -2*q + g + 26 = 3*q. Is 2 a factor of k(q)?
True
Let i be 1*(1 + 29) - -1. Suppose -3*u + 7*u = 16. Suppose u*b - 151 + i = w, 0 = 2*w. Does 15 divide b?
True
Let x be 9/12 + (-13)/(-4). Suppose 0 = -0*k + 2*k - x. Suppose k*w = -w + 36. Is w a multiple of 7?
False
Suppose 556 = 3*x + x. Suppose -x - 1 = -5*f. Is f a multiple of 14?
True
Let o = 178 + -104. Is 9 a factor of o?
False
Let i(c) = c**2 - 5*c - 2. Let j(q) = 4*q**2 - 15*q - 6. Let m(u) = 7*i(u) - 2*j(u). Let k be m(-4). Suppose -n = -k*n + 15. Does 15 divide n?
True
Let a = 0 - -2. Suppose -2*r - a = -3*r. Suppose 0 = 4*z + b - 85 - 6, -r*z + 5*b = -51. Is z a multiple of 23?
True
Let x(u) = -3*u - 1 + 3*u + 28*u**2 - 12*u**2. Is 15 a factor of x(-1)?
True
Let t(n) = 157*n - 7. Does 10 divide t(1)?
True
Let t(y) = 2*y**3 - 3*y**2 - 2*y - 3. Suppose 0 = -k + 6*k - 2*m - 23, 5*k = -3*m + 3. Let z be t(k). Suppose 19 + z = q. Is q a multiple of 14?
False
Suppose -2*x = 7*x - 297. Is 7 a factor of x?
False
Let u be (-132)/(-20) - (-2)/5. Suppose 0 = 2*b - u - 15. Is 7 a factor of b?
False
Let y = 11 - 2. Let a = y - 2. Let h(t) = t**3 - 7*t**2 + 2*t - 6. Does 4 divide h(a)?
True
Suppose 3*f + 2*y + 42 = 4*y, -4*f - 57 = -3*y. Let a = f - 19. Let d = -22 - a. Does 6 divide d?
False
Suppose 2*g = -b - 4, -2*g - 4 = 2*b + 3*b. Suppose b = -q + 3*q - 22. Suppose -50 = -3*j - q. Is j a multiple of 7?
False
Let l(i) = i**3 - 4*i**2 + 6*i - 4. Let r be (-2)/3 - (-6)/9. Suppose o - 4 = -r*o. Is l(o) a multiple of 7?
False
Suppose -b + 5 = 1, -3*m - 4*b - 266 = 0. Let p(t) = 45*t + 2. Let z be p(-3). Let y = m - z. Is 18 a factor of y?
False
Let l(f) = f**3 - 7*f**2 + 4*f - 8. Let o be l(7). Let k = o - 3. Does 4 divide k?
False
Suppose -4*y + 34 = -5*v - 153, -2*y + 71 = 5*v. Is 5 a factor of y?
False
Let v be 2/(-4)*2 - -19. Let k be (v/(-15))/((-3)/20). Suppose -k + 96 = 4*h - 5*r, -r = 4. Is 9 a factor of h?
False
Suppose k + 256 = 4*z - 3*k, 4 = 2*k. Does 10 divide z?
False
Suppose 0*k + 46 = 2*k. Does 13 divide k?
False
Suppose 0 = 3*d - 3, -6*i + 3*i + 7 = -2*d. Suppose -i*t = t - 28. Is t a multiple of 5?
False
Let t = -9 - -6. Let s 