 u be p(-7). Does 6 divide u + 1 + (-12)/(-1)?
True
Let b = 122 + -31. Suppose 8*z - 3*z = -3*n + b, z = 2*n + 13. Is 5 a factor of z?
False
Let m(g) = g**3 - 2*g**2 + 1. Let b be m(2). Is 2 a factor of (-4)/(b*3/(-3))?
True
Suppose -2*f + 110 = -22. Suppose 0 = -3*j + f - 21. Is 15 a factor of j?
True
Let y = -6 - 12. Is 4/y + (-164)/(-9) a multiple of 18?
True
Suppose 0 = -2*y - k + 47, -y + 5 = 5*k - 41. Does 13 divide y?
False
Let t = 67 - 43. Does 12 divide t?
True
Suppose d + 2 = -4*q, 4*q - 3*d - 10 = 2*d. Let r(u) = q*u**2 - 2*u**2 - 3*u + 7*u**2. Is 7 a factor of r(2)?
True
Let r(n) = n - 12. Let y be r(7). Let q = y + 11. Does 6 divide q?
True
Let z(u) = -67*u - 1. Let l be z(-1). Is (32/24)/(2/l) a multiple of 17?
False
Let t = -55 - -208. Is t a multiple of 14?
False
Let p(h) = 12*h - 6. Is 6 a factor of p(4)?
True
Let t = 15 + -11. Suppose 3*x - t*x + 19 = 0. Is x a multiple of 5?
False
Let j(g) be the first derivative of g**5/60 - 5*g**4/24 - 4*g**3/3 - 3*g**2/2 - 3. Let t(s) be the second derivative of j(s). Is t(8) a multiple of 16?
True
Suppose -4*d - 3*l + 420 = 0, -3*d - 2*l = l - 315. Is 28 a factor of d?
False
Is 8 a factor of 20 - (1 + (-2 - -1))?
False
Does 7 divide 8/6*189/18?
True
Suppose 278 = 4*y + 54. Is 14 a factor of y?
True
Is 28 a factor of 96/2 + 2 + 6?
True
Suppose -30 = 2*j - 3*j. Does 18 divide j?
False
Suppose 5*u - 25 = 0, -3*m + 3*u + 60 + 30 = 0. Does 7 divide m?
True
Let t = 11 - 8. Is 2 a factor of t?
False
Suppose 3*z - 56 - 28 = -5*m, 4*z - 98 = -2*m. Is z a multiple of 11?
False
Suppose -i + 29 = 4*i + 3*x, 0 = -x + 3. Let s(k) = 1 - 5*k + 2*k**2 - 4 + 0. Does 9 divide s(i)?
True
Suppose 1694 = 8*t + 3*t. Is 26 a factor of t?
False
Let o = 39 - 21. Let l = -12 + o. Does 5 divide l?
False
Does 13 divide (-327)/(-5) + 24/(-60)?
True
Let r(t) = 81*t**2 + t. Let p be r(-1). Let b = 145 - p. Is b a multiple of 23?
False
Let o(s) be the first derivative of -s**2/2 - s + 20. Let a = -1 - 7. Is 4 a factor of o(a)?
False
Is 14 a factor of (26/(-78))/(((-4)/(-318))/(-2))?
False
Let u(p) = -p**2 + 6*p + 9. Let a be u(7). Suppose a*d = -0*d - 82. Let v = d - -62. Is 21 a factor of v?
True
Let z(l) = -6*l + 4. Let m(a) = -5*a + 5. Let k(q) = -3*m(q) + 4*z(q). Let c(w) = w**2 - 2*w - 1. Let r be c(2). Is 10 a factor of k(r)?
True
Let z = 2 + 1. Suppose -6*v - r = -2*v - 95, 4*r + 95 = z*v. Is v a multiple of 11?
False
Suppose -98 = p - 3*p. Suppose 2*u - 5*m = p, -2*u - m = -4 - 15. Is 6/(-4)*(-64)/u a multiple of 5?
False
Let d be (-2)/2 + 14/2. Let y(g) = -g + 8. Let a be y(d). Suppose -3*b + 17 = -a*b. Is b a multiple of 17?
True
Suppose -2*n + 82 = 4*k, -4*k + n + 57 = -2*n. Does 6 divide k?
True
Suppose -3*x + 79 = 4*u, -5*x + 2*u = -97 - 52. Is x a multiple of 29?
True
Let a = -4 + 3. Let l be 4 + (-1 - a) + 2. Let t = l - -3. Is t a multiple of 4?
False
Suppose -2*m + 5*m + 5*i + 7 = 0, i = 3*m + 13. Let y(o) = o**3 + 4*o**2 - o + 5. Is 9 a factor of y(m)?
True
Suppose 6*b + 10 = b. Is (3 - 5)*39/b a multiple of 13?
True
Let v = -6 + 4. Let x(c) = -17 - 4*c + 17. Is 3 a factor of x(v)?
False
Suppose a + 1 = -y - 0*a, -y - 4 = -2*a. Let l = 17 + y. Is l a multiple of 8?
False
Let w(n) = n**3 + 8*n**2 + 10*n + 6. Does 9 divide w(-6)?
True
Let x(h) = -h**2 - 3*h + 2. Let p be x(-4). Is 6 a factor of (2/3)/(p/(-54))?
True
Does 12 divide (-123)/(2/2)*-1?
False
Let x(t) = -t**2 - 2*t + 2. Let c be x(2). Does 12 divide 8/c*(-66)/4?
False
Let b be (38/3)/(4/6). Suppose -69 = -4*l + b. Is 10 a factor of l?
False
Is 44 a factor of (3 - 4)/1 - -133?
True
Suppose -5*s + 10 = -0. Suppose 0 = s*g + 2*g - 332. Let d = -48 + g. Does 14 divide d?
False
Suppose -r + 83 = 4*c, 2*c + 124 = -5*r + 629. Suppose 5*x = 2*f - 172, 3*f - 3*x = r + 155. Does 21 divide f?
False
Let r be (-6)/(-33) - (-4)/(-22). Is 11 a factor of 3 + -3 - r - -11?
True
Let k = 28 - 6. Is k a multiple of 22?
True
Suppose 3*m - 28 = -m. Suppose -2*f - 2*h - 23 = -7*f, -5*f - 2*h + m = 0. Suppose 80 = 8*s - f*s. Is 5 a factor of s?
False
Let u = 57 + -21. Does 20 divide u?
False
Let p be (20 - 4) + (-1)/(-1). Suppose 8 = y + 4*j - p, -5*y - 3*j = -142. Is 14 a factor of y?
False
Let a(c) = 4*c - 4. Let n(g) = 3*g - 3. Let p(b) = -2*a(b) + 3*n(b). Let f be p(4). Suppose f*m = 8 + 4. Is m even?
True
Suppose 3*g - 5*q - 17 = 0, -4*g - q = -5*q - 28. Let t be 7 - (-4)/((-12)/g). Suppose j - t - 3 = 0. Is 2 a factor of j?
False
Let d(l) = -l**2 - 12*l - 17. Does 16 divide d(-6)?
False
Let d(z) = 6*z**2 - z - 9. Does 10 divide d(5)?
False
Suppose 0 = -3*p + p - 3*j + 194, -5*p - 3*j + 485 = 0. Does 4 divide p?
False
Let b be 10/(-4)*24/(-15). Suppose n + 0*x - 22 = -2*x, x = b. Is n a multiple of 8?
False
Suppose -4*k + 2*l = -l + 50, -k - 17 = -3*l. Let n = k - -20. Does 4 divide n?
False
Let g(o) = -o**2 + 10*o + 3. Let d be g(7). Let h = 22 + -14. Let i = d + h. Does 22 divide i?
False
Let w be -1 + 8 + 15/10*-2. Let f(a) be the third derivative of a**4/8 + 2*a**3/3 + a**2. Is 8 a factor of f(w)?
True
Let b(q) = -11*q + 3. Does 5 divide b(-2)?
True
Suppose 526 = 4*l + w, 122 = 5*l + 5*w - 543. Does 33 divide l?
False
Let m = 132 + -92. Is 27 a factor of m?
False
Let j(a) = -a + 21. Let r be j(5). Let l = r + -14. Does 2 divide l?
True
Suppose -3 = 4*l + 13. Is 6 a factor of 14 - (-1)/(2/l)?
True
Let a = 122 - 56. Let u = a + -19. Is u a multiple of 17?
False
Suppose 5 = 2*u - 1. Let p be (11/u)/(3/(-18)). Let d = 41 + p. Is 7 a factor of d?
False
Let j(f) = f - 8. Let y be j(7). Let v = 5 + y. Let z = v + 4. Does 4 divide z?
True
Suppose -60 = -t - 4*u - u, -2*t + 3*u = -120. Is 11 a factor of t?
False
Let b = -4 + 7. Let c be 3 + -1 - (b - 1). Is -2 - -19 - (c - 0) a multiple of 17?
True
Let q(t) be the second derivative of t**3/6 + 5*t**2/2 + t. Let p be q(-5). Suppose 2*j = 5*d + 49 + 22, -2*d - 10 = p. Is j a multiple of 13?
False
Suppose -5*d = 2*s - 13, -5*s + 20 + 3 = 3*d. Does 14 divide 7*(s/2 - -4)?
True
Suppose p + 68 = -48. Let r = 237 + p. Suppose 9 = -3*l + 5*t + r, -3*t - 131 = -4*l. Is l a multiple of 13?
False
Let d(q) = -6*q. Let x be d(2). Let y = x - -7. Let b(t) = -t**2 - 8*t - 6. Does 8 divide b(y)?
False
Let m(n) = 4*n**2 - 7*n - 20. Is 9 a factor of m(-4)?
True
Suppose y - 170 = 2*h + 58, 0 = 2*y - h - 444. Does 27 divide y?
False
Let h(c) = c + 1. Let k(w) = w**2 - 3*w - 1. Let g(b) = 3*h(b) + k(b). Let y = -12 - -8. Does 12 divide g(y)?
False
Let j = -1 - 1. Let q(i) = -7*i - 2. Is q(j) a multiple of 12?
True
Suppose 5*f + 0 - 15 = 0. Suppose -f*k = 2*j - 140, -3*j = 4*k + 2*j - 182. Is 12 a factor of k?
True
Let a be 5 - (-2)/(2 + 0). Suppose -a*f = -2*f - 148. Is f a multiple of 19?
False
Let u(t) = -t + 1. Is 3 a factor of u(-5)?
True
Let p(x) = 23*x**3 - 1. Let w be p(1). Let t = -62 + w. Let l = -18 - t. Is 11 a factor of l?
True
Suppose -3*y - 36 = -2*x - 3*x, -2*y + 14 = 3*x. Suppose 3*a + 270 = x*a. Suppose -5*h + 2*h + a = 0. Does 14 divide h?
False
Let r = 15 + -13. Suppose 12 + 86 = r*h. Does 13 divide h?
False
Let s(a) = -a - a**2 - a**3 - 1 - 12*a**3 - a - 7*a**3. Is s(-1) a multiple of 10?
True
Suppose 7 = v + 4. Suppose 118 = 3*k + 5*h, -6*k = -2*k - v*h - 196. Does 12 divide k?
False
Let z(c) = 83*c**2 + 3*c - 2. Is 21 a factor of z(1)?
True
Let g = 96 - 54. Does 21 divide g?
True
Suppose 3*i = 196 + 218. Is 10 a factor of i?
False
Let q be (2 - -3)/((-2)/(-4)). Suppose 24*i = 19*i - 25. Let h = q + i. Does 3 divide h?
False
Does 22 divide -4*(-335)/20*(-1)/(-1)?
False
Suppose 5*y + 0*y - 3*k - 246 = 0, -2*y + 86 = 5*k. Does 16 divide y?
True
Suppose -4*r = 2*r - 18. Suppose r*w - w = 144. Does 24 divide w?
True
Does 4 divide (-610)/(-8) + 3/(-12)?
True
Is 4 a factor of 276/20 + (-5)/(-25)?
False
Suppose -s - 4*s = -2*n - 29, 4*n - s + 85 = 0. Let x = n - -60. Does 11 divide x?
False
Let m(y) = -y**3 - 5*y**2 - 6*y + 2. Does 2 divide m(-3)?
True
Let l be (3 - 3)*(-2)/(-2). Let h(w) = 1 + l*w + 0 + 6*w**2 - 4*w - 3*w**2. Is h(4) a multiple of 11?
True
Let l(k) = 2*k**3 - 2*k**2 + 5*k - 3. Is l(3) a multiple of 16?
True
Suppose 5*o + 7*h = 2*h + 110, -2*h + 116 = 5*o. Suppose o + 303 = 3*f. Is f a multiple of 23?
False
Let y = -28 + 71. Does 11 divide y?
False
Let v(o) = -34*o + 1. Let n be v(2). Let k = n + 23. D