 -2*t - 2*w + 2. Does 12 divide t?
True
Suppose 3*y + k - 4*k = 186, 4*k - 280 = -4*y. Is 22 a factor of y?
True
Is 10 a factor of ((-2)/((-2)/(-1)) + -61)/(-1)?
False
Suppose 4*v = -3*z + 48, -3*z + 0*v - 3*v + 51 = 0. Suppose -1 + 5 = 4*m + 5*a, -4*m - a = -z. Is 2 a factor of m?
True
Let k(r) = -r**3 + 6*r**2 + 5*r + 7. Let z be k(6). Let a = z - 26. Is 5 a factor of (a - -2) + 2 + 0?
True
Suppose -6*l - 2*s = -3*l + 16, 3*s = 5*l + 52. Let q = 13 + l. Does 3 divide q?
False
Suppose -2*h = -0*p + 5*p - 228, 88 = h - 4*p. Is h a multiple of 13?
True
Does 9 divide (-359)/(-2) + 2/4?
True
Suppose -5*g + 21 = -s, -3*g + g - 54 = 2*s. Let x be 3 + -2*52/8. Let w = x - s. Is w a multiple of 8?
True
Let d = -54 + 116. Does 9 divide d?
False
Does 5 divide (8/12)/((-2)/(-69))?
False
Suppose -2 - 250 = -3*d. Is 14 a factor of d?
True
Let b be (-124)/4 + 3 + 0. Is (-230)/(-14) - (-12)/b a multiple of 4?
True
Suppose 26 = 3*t - 5*m, t - 8 = 5*t + 4*m. Suppose -3*g + 7 = -8, 0 = t*a - 5*g + 21. Is (1 + (0 - a))*-10 a multiple of 10?
True
Suppose -193 = -3*c + s + 220, 429 = 3*c + 3*s. Is c a multiple of 38?
False
Suppose 4 - 5 = -t. Let d be (1/t)/(2/10). Suppose d*g + 40 = 110. Is g a multiple of 9?
False
Suppose 4*t - 2*h - 319 = -t, -2*h + 6 = 0. Does 2 divide (-26)/t + 22/5?
True
Let s(n) = -n**3 + 6*n**2 - n + 6. Let k be s(6). Suppose 2*f - 4 = -3*y, -3*f + k = -2*y - 19. Is 5 a factor of f?
True
Let x = -2 - -11. Is 9 a factor of x?
True
Let q = -28 - -41. Is 13 a factor of q?
True
Let g(y) = -y**2 + 17*y - 16. Let s be g(16). Let t(o) = o + 89. Is 25 a factor of t(s)?
False
Let w = 5 + -7. Let x = w + 4. Is x a multiple of 2?
True
Suppose 2*w + 2 = -3*t - 2, -2*t = 3*w + 11. Suppose -b + 3*x - 12 = 0, -b + t*x + 2 = 3*b. Suppose -z + b = -1. Does 2 divide z?
True
Suppose 51 = i - 11. Let b = i - 35. Is 7 a factor of b?
False
Suppose 2*c = -4*x - 3*c + 87, -3*c = 4*x - 89. Let u = -2 + x. Does 7 divide u?
True
Does 20 divide (7 + -2)*2148/60?
False
Suppose 3*g - 8 = 4*g. Let u = -4 - g. Is 15 a factor of (66/u)/(9/24)?
False
Let y(h) = 2*h**2 + 13*h + 11. Let s be y(-9). Let t = s + -11. Is 13 a factor of t?
False
Suppose -13*u = -3*v - 18*u + 68, 4*v = -2*u + 86. Is v even?
False
Let u = 158 + -67. Let o = u - 59. Is o a multiple of 16?
True
Suppose -x + 1 - 4 = 2*r, 0 = 3*x - 4*r - 21. Suppose -x*j = -2*o + 33, 3*o - 2*j - 42 = -5*j. Is o a multiple of 15?
True
Let b be (0 + 0)/(3 - 0). Let m be -2 + -12 - (b - 1). Let v = 20 + m. Is v a multiple of 4?
False
Suppose 0 = 4*f + p - 143 - 148, -5*f = 3*p - 355. Let k = -37 + f. Does 16 divide k?
False
Let m(a) = -a**2 - 7*a + 4. Is m(-4) a multiple of 16?
True
Let f be (-6)/9 - (-159)/9. Let z = 3 + f. Does 11 divide z?
False
Let k = 31 + -19. Let l = k + 2. Does 7 divide l?
True
Is 10 a factor of ((-4)/(-6))/(6 + 3450/(-576))?
False
Let t = -10 + 25. Is t a multiple of 15?
True
Let n be 3*(-939)/(-9) + 1. Let j = n - 223. Is j a multiple of 26?
False
Suppose -9*f = -3851 + 161. Does 41 divide f?
True
Let a(p) = -p**2 + 5*p - 2. Let c be a(4). Is 15 a factor of c*1*(-27)/(-2)?
False
Let c(p) = -p**2 - 2*p + 4. Let o = 5 + -8. Let q be c(o). Suppose s = 5*l - q, 3*s - 7 = 7*l - 2*l. Is s even?
True
Suppose -6*s + 251 = 23. Does 10 divide s?
False
Let k = 15 + -14. Does 2 divide (k/1)/(4/8)?
True
Let u = 0 - 2. Let z be 0/3 - -11 - u. Suppose 3*d = z + 56. Is 10 a factor of d?
False
Let v(n) = -24 + 5*n - 26 - n**3 + 45 - 4*n**2. Is 18 a factor of v(-6)?
False
Suppose o + 2*d + 10 = 146, -o - 3*d + 138 = 0. Does 22 divide o?
True
Let l = -21 - -77. Let s(f) = -f**3 - 4*f**2 - 4*f - 1. Let n be s(-3). Suppose 60 + 23 = 3*z + 4*o, l = n*z + 2*o. Is 16 a factor of z?
False
Let s(k) be the third derivative of -k**4/24 + 5*k**3/3 + 3*k**2. Let p be s(8). Let v = 10 - p. Does 8 divide v?
True
Suppose -3*x - 63 = -4*v, 3*x - 9 + 48 = 2*v. Is v a multiple of 4?
True
Suppose -4*w + 1736 = 4*o, -3*w + 1294 = 3*o - 2*w. Is o a multiple of 41?
False
Let w be ((-18)/(-21))/((-2)/(-14)). Let o = 22 - w. Does 11 divide o?
False
Let a = -16 - -28. Is 3 a factor of a?
True
Let x be -2 + 3 - (1 - 0). Let a be (x/2)/(0 - -1). Suppose d + 0*d + 2 = a, 5*w - 2*d - 119 = 0. Is 15 a factor of w?
False
Let t(d) = -17*d**2 - 4*d - 7. Let a(g) = g**2 + g + 1. Let f(p) = -5*a(p) - t(p). Does 13 divide f(2)?
False
Let h(t) = t + 36. Is h(0) a multiple of 6?
True
Let s = 12 - 72. Let a = s - -89. Is a a multiple of 15?
False
Let c(r) be the first derivative of 0*r + 1/3*r**3 + 27/4*r**4 + 0*r**2 + 1. Is c(1) a multiple of 14?
True
Suppose 0 = v - 3*y - 64, 3*v - 5*y + 78 = 270. Is 17 a factor of v?
False
Let j be 16 - ((1 - -2) + -3). Let h be 2/(-7) + 368/14. Let r = h - j. Is 6 a factor of r?
False
Suppose 0 = -a - 5, 10*g = 14*g - 4*a - 692. Does 27 divide g?
False
Let d(i) = i**2 + 2*i + 1. Let h be d(-1). Suppose -a + 37 + 41 = h. Is 14 a factor of a?
False
Suppose 2*p + 2*p = 0, -4*p = -r. Is (r - -3) + 3 + -2 a multiple of 3?
False
Let m = -17 + 12. Let k(u) = u**2 + 3*u + 1. Let w be k(m). Suppose l = -0*l + w. Is 3 a factor of l?
False
Let h(x) = -15*x + 4. Is h(-2) a multiple of 13?
False
Suppose 4*t = 3*t. Suppose t = 4*o - 3*u - 54, 9*o - 56 = 4*o - 2*u. Is o a multiple of 6?
True
Let l(q) = -3*q**3 - 5*q**2 - 7*q - 2. Does 23 divide l(-4)?
True
Let w = 287 + -197. Does 15 divide w?
True
Suppose 35 = -2*m + 7*m - 5*y, -3*m + y + 19 = 0. Suppose m*v + 328 = v - 4*t, -6 = -2*t. Let j = -31 - v. Does 14 divide j?
False
Let r(c) = c**2 - 2*c - 3. Suppose 4*i + 12 = 6*s - 2*s, 0 = 3*s + 2*i - 9. Let p be r(s). Does 3 divide (12 - 4)/(p + 1)?
False
Let k(g) be the second derivative of -g**5/20 + 11*g**4/12 + 2*g**3 + 2*g**2 - 4*g. Let w be k(12). Suppose 0 = o + 3*o + 20, 12 = -2*p - w*o. Does 4 divide p?
True
Let o(r) = -2*r - 6. Let h be o(-7). Suppose 5*d - 10 = 0, 7*y - 2 = 3*y + 5*d. Suppose -h = -g - y*g. Is g a multiple of 2?
True
Suppose -3*d + 2*i = -114, -4*d = i - 0*i - 152. Suppose d = 6*v + 2. Is v a multiple of 2?
True
Let x be ((-4)/(-10))/(5/475). Suppose -15*w = -16*w + x. Is 10 a factor of w?
False
Let j = 11 + -6. Let p = j + -2. Is p even?
False
Let i(a) = -a**3 - a**2 + 5. Suppose -3*b = 5*c - 31, -c + 4*b - 3 = -0*c. Suppose k + k = 4*s + 10, 0 = s - c*k + 25. Is 4 a factor of i(s)?
False
Suppose -m + 2 = -4*m + 4*f, -8 = m - 5*f. Suppose -m*b + 4*b - 62 = 0. Is 12 a factor of b?
False
Let h = -4 + 12. Is 4 a factor of h?
True
Let o(t) = -t**3 + 2*t + 2. Let k be o(0). Is 24 a factor of 15/20*208/k?
False
Let a be (4 - 1 - 0) + 2. Suppose -2*f + 4*f = -a*p + 117, -4*p = f - 66. Does 15 divide f?
False
Suppose 28 = -5*r - 3*d, 5*r + 5*d - 5 = -35. Let m(c) be the first derivative of c**2/2 + 10*c + 1. Does 4 divide m(r)?
False
Let g(o) = -o**3 - 9*o**2 + 10*o + 4. Let p be g(-10). Suppose -p*y + 103 = 43. Is y a multiple of 12?
False
Let s = 214 - 146. Does 34 divide s?
True
Let q(z) = -z**3 + 5*z**2 + 6*z - 3. Let u be q(6). Let a = u + 4. Is 14 a factor of (a + -2)*-1 - -27?
True
Let o(l) = 2*l**3 - l**2 - 2*l - 4. Suppose 4*a = 3*y + 22, -5*a - 4*y = -43 - 0. Suppose 2*z = -1 + a. Is 14 a factor of o(z)?
False
Let o(v) be the third derivative of v**6/120 - v**5/12 + v**4/8 - v**3/6 - v**2. Is 14 a factor of o(5)?
True
Let l = 251 - 142. Is 11 a factor of l?
False
Suppose g - 257 = -4*d, -3*d + 5*d - 115 = -5*g. Does 16 divide d?
False
Let a = -110 + 183. Is 21 a factor of a?
False
Suppose -2*j + 4 = -4. Suppose -j*s + 5*r + 53 = 0, 2*s + r + 13 = 3*s. Is s a multiple of 12?
True
Let h(m) = 10*m**2 + m**3 - 18*m**2 + 12*m**2 - 3. Is h(-3) a multiple of 3?
True
Let z = -6 + 4. Let m(c) = -c - 1. Let v be m(z). Does 8 divide (-1)/1 - -17*v?
True
Let p(k) = -5*k - 7. Let y be p(-2). Suppose -x + 2*a + 15 = -a, -y*a = -2*x + 33. Is 6 a factor of x?
True
Let c(f) = -f**3 - 4*f**2 + 3*f - 5. Let k be c(-5). Suppose -p = 5*q - 320, -k*p + 340 = -q + 6*q. Is 21 a factor of q?
True
Let p = 8 + -5. Suppose -p*k + 4 = -2. Let g = k - 0. Is g even?
True
Suppose -6*l - 8*l = -2016. Is 12 a factor of l?
True
Let f(i) = -4*i - 13*i**2 - 2 - i + 9*i**2 - i**3. Does 7 divide f(-4)?
False
Suppose 353 + 4 = 4*l - 3*h, 4*l = -3*h + 339. Let p = l + -61. Is 8 a factor of p?
False
Let x(d) = 6 + 2*d + d + 0*d + d. I