h*r, 8*u + 10 = -r + 3*u. Is 11 a factor of t(r)?
False
Suppose -3*w + 12 = w. Suppose w*o + 2 + 1 = d, 2*d + 5*o + 5 = 0. Let t(n) = n + 10. Is 5 a factor of t(d)?
True
Let i be ((-92)/3)/(6/(-9)). Suppose 5*c + 11 - i = 0. Does 3 divide c?
False
Let h be (-2)/7 + 23/7. Suppose 2*k + 0*a + h*a - 31 = 0, 5*a = -3*k + 49. Let m = k - 5. Is 2 a factor of m?
False
Suppose 54 = -3*y - 0*y. Suppose -6 = -2*l + 14. Let f = l - y. Is 14 a factor of f?
True
Let i be (0*1/(-2))/(-1). Suppose -4*a + 20 = -i. Is a a multiple of 3?
False
Suppose 4*n - 4*k = 632, -2*k + 160 = n - 4*k. Is 19 a factor of n?
False
Let s be (-3)/5 + (-2)/5. Let r = 4 + s. Is 3 a factor of r?
True
Let n(h) = -h**2 + 4*h - 1. Let q be n(3). Let j(w) = 7*w - 5*w**2 - 4 - 1 - 3*w**3 - w**q + 4*w**3. Is j(5) even?
False
Let k = 492 - 298. Is 36 a factor of k?
False
Let o(y) be the third derivative of y**5/60 - y**4/24 + y**3/3 + 2*y**2. Let f be o(0). Is 3/(f - (2 + -1)) even?
False
Suppose 2*a - 282 = -a. Let m = -51 + a. Does 16 divide m?
False
Suppose -3*g + 212 = g - y, 0 = 4*g - 5*y - 212. Is g a multiple of 14?
False
Let p = -67 + 87. Is 4 a factor of p?
True
Let t = -47 - -51. Is t a multiple of 2?
True
Let v be ((-72)/(-14))/((-9)/(-63)). Suppose -v = -z + 34. Is 12 a factor of z?
False
Let s = -27 + 40. Is 2 a factor of s?
False
Suppose 0 = -4*w + 5*n - 206, 2*w = -0*n - n - 96. Let d = w - -76. Is 19 a factor of d?
False
Let m(f) = 7*f + 10*f**2 + 4 + 4*f + f**3 + 0. Let s be m(-8). Suppose w + s = 2*w. Is 15 a factor of w?
False
Let b(m) = 10*m**2 + 4*m - 4. Let o be b(-4). Suppose -3*d + o = -2*v, -42 - 58 = -2*d + 3*v. Does 22 divide d?
True
Suppose 23 + 1 = 4*l. Is 2 a factor of l?
True
Let o = 11 + -3. Let d(w) = -w**3 - w + 49. Let i be d(0). Suppose 3*f = i + o. Is f a multiple of 9?
False
Suppose -3 = -3*k, j + 0*j - k = 63. Is j a multiple of 5?
False
Does 8 divide (-81)/(-5)*(-5)/(-1)?
False
Let x be 6*3/6 - -1. Is 4 a factor of -12*x/16*-3?
False
Let k(b) = 5*b**2 + b. Let i be k(1). Let u be i/4*(-2)/(-3). Let h(z) = 17*z**3 + 2*z**2 - z. Does 9 divide h(u)?
True
Suppose -2*h + 0 = r + 1, -5*h = -4*r - 4. Suppose -5*w + 99 - 34 = h. Let z = w + -8. Is z a multiple of 2?
False
Suppose 3*y - 12 = -y - 2*p, -4*y + 12 = -p. Suppose y*i = i + 32. Is i a multiple of 8?
True
Let f = 26 + -16. Does 2 divide f?
True
Let k = 12 - 7. Suppose -102 = -k*w + 2*v, 4*w - 5*v - 72 = -v. Is 17 a factor of w?
False
Suppose 113 = -5*o - 82. Is 1 - o - (-5 + 6) a multiple of 13?
True
Let q = -12 - -20. Let m = q - 3. Let v = 3 + m. Is v a multiple of 5?
False
Is 7 a factor of 20 + 3 + -4*(-1)/(-2)?
True
Let x be 9/(-3) + 7 + -2. Let g(y) = 5*y**2 - 2*y + 1. Is 5 a factor of g(x)?
False
Let t = 175 + -73. Is 12 a factor of t?
False
Suppose -5*u + 2*u + 4*c + 29 = 0, 0 = 4*c + 20. Let l(k) = 12*k**2 + k + 3. Let t be l(u). Suppose -5*o + t + 56 = 0. Does 16 divide o?
False
Suppose 0 = -3*b + 10 - 7. Let y be 2/(-4)*(-28)/b. Let r = -9 + y. Does 5 divide r?
True
Suppose 5*o = -3*n - 179, 0 = 2*n - 5*n + 3*o - 147. Let p = -19 - n. Is 11 a factor of p?
False
Does 11 divide 1/(-2) - 65/(-2)?
False
Suppose -4*a - 2*n + 16 + 46 = 0, 2*a + 3*n - 37 = 0. Does 2 divide a?
True
Suppose -8 = -2*d + 280. Is 14 a factor of d?
False
Let p(k) = k**3 + 2*k**2 + k + 2. Let z be p(-2). Suppose 16 = 5*g + 2*c, -2 + z = -4*g + 2*c. Suppose g*a + 8 = 5*m + 3, 2*a - 25 = -m. Is 5 a factor of a?
True
Suppose -355 = -4*h + 485. Suppose l = 4*l - h. Is l a multiple of 24?
False
Let g(f) = f**3 + 7*f**2 + 6*f + 3. Let z = 9 + -21. Let j be 25/(-4) - 3/z. Is g(j) even?
False
Suppose -u = -5*b + 113, 2*u + 4 + 2 = 0. Is 16 a factor of b?
False
Let p be (-2)/(-1) + 0 + 0. Suppose 2*b + 3*l = -0*l + 128, 0 = -3*b + l + 203. Suppose -5*a + 3*q = -q - b, -q + 32 = p*a. Is 5 a factor of a?
True
Let v be ((-4)/(-2))/((-6)/105). Does 8 divide (-2)/(-5) - 371/v?
False
Let f = 345 + -223. Is f a multiple of 16?
False
Let u = 665 + -449. Is 54 a factor of u?
True
Suppose -i + 5 = 0, 0*v = -2*v + 3*i + 555. Does 15 divide v?
True
Suppose 0 = -4*x - 5*w + 808 + 102, 0 = 2*x + 2*w - 456. Is 16 a factor of x?
False
Suppose -13 = 2*a + 5*f, -5*f - 10 + 3 = 3*a. Suppose -a = -2*i + 6. Is 6 a factor of i?
True
Suppose 4*v - 138 = -3*l, -156 - 16 = -5*v - 4*l. Suppose -v = -0*h - 2*h. Is 9 a factor of h?
True
Let k(g) = -g**2 - 7*g - 7. Suppose 0 = -2*r + 4. Suppose -3*h - 25 = r*h. Does 2 divide k(h)?
False
Does 3 divide (-4 + (-11)/(-3))*-51?
False
Let c be 1/((-3)/6) - -2. Let d be (c - (-1 + -1)) + 0. Suppose -9 = d*s - 69. Is 15 a factor of s?
True
Suppose -25 + 8 = -v. Is v a multiple of 5?
False
Let n = 490 + -268. Does 18 divide n?
False
Let y(s) = 18*s - 1. Let g(j) be the third derivative of -35*j**4/24 + j**3/3 + 4*j**2. Let f(k) = -4*g(k) - 9*y(k). Does 16 divide f(-2)?
False
Suppose 200 = -3*u + 8*u. Is u a multiple of 17?
False
Let m(j) = 17*j - 4. Is m(3) a multiple of 8?
False
Is 4 a factor of 42/2 + 3 - 0?
True
Let y(v) = 27*v**3 + v**2 - 2*v + 1. Suppose 0 = -5*w + w + 4. Let f be y(w). Let i = 43 - f. Does 8 divide i?
True
Let h = -21 - -51. Is h a multiple of 15?
True
Let h = -3 + 11. Suppose -2*y + 48 = 3*b + 10, 0 = -2*y + h. Does 10 divide b?
True
Is 2 a factor of -4*(17/(-7) + (-48)/(-112))?
True
Does 5 divide (-1 - 3) + 2*11?
False
Let c = 4 + 0. Suppose -c*f = -2*f + 68. Let u = f - -50. Is 8 a factor of u?
True
Let s(v) be the first derivative of v**3/3 - v**2 + 3*v - 10. Is 3 a factor of s(4)?
False
Let a(l) = -2*l**3 - l**2 - l - 2. Let n be a(3). Let c be (-2 - n) + (2 - 2). Suppose o = 2*y + y + 12, 0 = 4*o - 3*y - c. Is o a multiple of 8?
False
Let l = -1 - -12. Let b(o) = -2*o - 6 + l*o - o**3 - 8*o**2 - o**2. Is b(-10) a multiple of 4?
True
Let j = -4 + -1. Let i = 3 - j. Suppose 5*b - i - 17 = 0. Does 2 divide b?
False
Let p = 6 + 9. Let z be 4/(-3*(-1)/p). Suppose -3*l + 5*l = z. Does 8 divide l?
False
Let q(l) = 4*l - 6. Let g be 21/6 - (-2)/4. Does 5 divide q(g)?
True
Let t(m) = -3*m + 10. Let n be t(-7). Is 10 a factor of (5 - 2) + n + 0?
False
Suppose 0 = 4*x + 3*r - 271, 0 = -4*x - r + 6*r + 231. Is 56 a factor of x?
False
Let y be -2 - (-5 - 0) - 43. Let i = 210 - 137. Let a = i + y. Does 22 divide a?
False
Suppose 3*p - 3*t - 120 = 0, -5*t + 22 = p - 0*p. Suppose -o + 2*o + 32 = 5*h, 0 = -2*o - 4*h - 22. Let n = p + o. Does 12 divide n?
False
Suppose 4*m + 1191 = m. Does 22 divide 1/(-6) + m/(-6)?
True
Suppose 5*l - 6*l + 105 = 0. Suppose 4*o - 299 = 5*f, 5*o - 274 = f + l. Suppose -p + 2*b + 12 + 7 = 0, -4*p + o = -4*b. Is p a multiple of 12?
False
Suppose -2044 = 5*b - 19*b. Is b a multiple of 8?
False
Let y(k) = -19*k + 10. Let m(s) = -28*s + 15. Let i(r) = -5*m(r) + 8*y(r). Does 15 divide i(-5)?
False
Suppose 0 = -y + 2*y - 4. Suppose -y*l = 2 - 18. Does 3 divide l?
False
Let y(x) = -3*x**3 + x**2 + x - 2. Let r = -7 - -1. Let f = -8 - r. Is y(f) a multiple of 19?
False
Suppose -2*k - 5*f + 18 = -19, 2*f = 10. Let l = 59 + -57. Suppose -n - z + 9 = 0, -l*n = -z - 3 - k. Does 2 divide n?
True
Suppose -3*v = 26 + 58. Is 10 a factor of (-19 + -2)*24/v?
False
Let z = 9 - -10. Suppose -2*o + z = 3*i, 2*o = 5*i - 7 + 2. Suppose -o*k - 18 + 58 = -3*q, 3*q + 29 = 4*k. Is k a multiple of 11?
True
Let h(p) = -27*p**3 + p**2 + p - 1. Let i(u) = -u**2 - 4*u - 4. Let a be i(-3). Does 8 divide h(a)?
False
Suppose -c - z + 127 = -0*c, 0 = -4*c + 2*z + 538. Let p be (-9)/(-6)*10/3. Suppose p*t - c = -37. Is t a multiple of 19?
True
Let z(b) = -b - 4. Let l be z(-7). Suppose -21 = -l*c + 12. Does 3 divide (0 - c)*(-2 + 1)?
False
Let z = -193 - -114. Let j = z + 55. Let g = -14 - j. Is g a multiple of 9?
False
Let g be (-165)/(-25) + (-4)/(-10). Let z = g - 7. Suppose -3*p + 2*p + 55 = z. Is 20 a factor of p?
False
Let c(d) = -d**2 + 20*d + 32. Does 8 divide c(12)?
True
Let h(i) = 4*i**2 - i + 1. Let g be h(1). Suppose 0 = 5*b + 3*v - 31, -g*b = -5*v + 2*v - 41. Suppose b + 58 = x. Does 22 divide x?
True
Let d be (489/(-6))/(1/(-2)). Let s = d - 111. Does 10 divide s?
False
Let x be 2*(-1)/(4/(-4)). Suppose x*f = 4*v + 64, -2*f + 2*v = -v - 64. Does 16 divide f?
True
Let j be (-1 + -2)/(3/14). Let x = 59 + j. Is x a multiple of 20?
False
Suppose 5*f - 6*f + 15 = 0. Is 7 a factor of f?
False
Su