. Let i = 8 - f. Is i a multiple of 2?
False
Suppose 2*m = -2*m + 16. Let x(v) = 11*v - 5 + 0 + 6. Is 22 a factor of x(m)?
False
Let o = -5 - -7. Suppose l = -r + 10, -o*l + 16 = -l + 3*r. Is l even?
False
Let w(c) = -8*c**2 - c. Suppose -l - 4 = 3*l. Let d be w(l). Is 20 a factor of 278/14 + (-1)/d?
True
Let f be 297/45 + 2/5. Suppose 0 = -4*b - 2*k + f*k + 370, -5*b + 4*k + 458 = 0. Does 30 divide b?
True
Let w = -4 + 3. Suppose 3*d = g + 28, 2*g = -d - 0*d. Is 8 a factor of (2 - (1 + w))*d?
True
Suppose 4*h + 512 = 4*j, 5*j - 4*h - 1002 = -358. Is j a multiple of 12?
True
Let q(u) = u**2 + 4*u + 8. Is q(-11) a multiple of 14?
False
Suppose 0*y + 704 = 5*y - 4*q, 3*y + 3*q - 417 = 0. Suppose y = 4*a + a. Does 14 divide a?
True
Is 26 a factor of (104/(-5))/((-3)/15)?
True
Suppose 5*f - 100 = 10. Is 14 a factor of f?
False
Suppose 130 = -4*m - 2*u, -5*m + 3*m - 67 = 3*u. Let y = m + 84. Is 13 a factor of y?
True
Let q = 1 - -3. Is 18 a factor of (-222)/q*2/(-3)?
False
Let o be (-6)/15 + 6/(-10). Let w(q) = -23*q + 1. Let p be w(o). Let j = -13 + p. Does 11 divide j?
True
Suppose 4*p - 117 - 147 = 0. Is p a multiple of 22?
True
Let w = -6 + 8. Suppose 0 = 4*r + 5*u - 28, 5*u = r + 4*r + 10. Suppose 2*x = -w*f + 26, -r*x + 3*f = -f - 44. Is 16 a factor of x?
True
Let f(t) = 2 + t**2 + 0*t**2 - 4*t + t**2 + 2*t**2. Is 13 a factor of f(3)?
True
Let a be (-2)/15 - 2110/(-75). Does 12 divide ((-42)/(-8))/(7/a)?
False
Let d = -12 - -6. Let s = 34 - d. Does 8 divide s?
True
Let m = 57 - 4. Is m a multiple of 13?
False
Let x be (-2 + 1)/((-2)/(-34)). Let m = -31 - x. Is (1 + m/(-6))*3 a multiple of 9?
False
Let o(p) = p**2 - 3*p - 5. Let z be o(4). Let f(q) = -21*q + 1. Is 15 a factor of f(z)?
False
Let f(l) = -6*l - 22. Let u(j) = 5*j + 21. Let s(r) = 6*f(r) + 7*u(r). Is s(0) a multiple of 8?
False
Let l(t) = -t**2 + 9*t + 10. Suppose -v + 5 = -5. Let f be l(v). Suppose f*s + 22 = s. Does 22 divide s?
True
Let h(j) = -9*j - 1. Let q(y) = y**3 - 7*y**2 + 5*y + 5. Let m be ((-2)/4)/((-1)/12). Let b be q(m). Is h(b) a multiple of 3?
False
Suppose -4*r + 11 = -5. Suppose -q - 11 = -r*i - 2*q, -2*q = -5*i + 30. Suppose 0 = i*x - 30 - 6. Does 3 divide x?
True
Let q be 54/(-8) - (-3)/(-12). Let h(n) = -1 - 4*n + 0 - 3. Does 12 divide h(q)?
True
Let d(b) be the second derivative of b**4/4 - b**3 - b**2/2 - 5*b. Is 8 a factor of d(4)?
False
Suppose 3*t + 72 = 4*t. Is 9 a factor of (-1)/((-3)/t) + -1?
False
Suppose 155 = 2*l - 1. Let b = l + -48. Is b a multiple of 30?
True
Suppose 3*g + 4*a - 7 = 22, 3*a = -3. Does 2 divide g?
False
Let a be (-6)/(-1)*1/(-2). Suppose 5*d - q = 69, -5*q - 6 + 39 = 2*d. Let o = d + a. Is 11 a factor of o?
True
Does 12 divide (-5 + -5)/(1/(-6))?
True
Let j be (42/(-4))/(1/(-4)). Let f(v) = -2*v. Let c be f(-7). Does 3 divide 156/j + 4/c?
False
Suppose 91 = n - 2*y + 3*y, -2*n + 4*y = -206. Is n a multiple of 14?
False
Let r = 56 + -21. Is 7 a factor of r?
True
Let n be (2/(-3))/(5/(-15)). Suppose -5*w - 299 = -4*x, -127 = -n*x - 2*w - 3*w. Does 29 divide x?
False
Let g(o) = -o**2 - 3*o + 5. Let b be g(-5). Let y(s) = 5*s**3 + 1 - 4*s**3 - 7*s**3 + 7*s**3 + 5*s**2 - 7*s. Does 12 divide y(b)?
True
Suppose 4*k + 43 = 2*c - 23, -3*k - 3*c - 54 = 0. Let f = k - -28. Is 11 a factor of f?
True
Suppose -i - 12 = -p - 3, -5*p = -i - 61. Does 3 divide p?
False
Suppose 0 = 15*i - 17*i + 120. Does 15 divide i?
True
Does 17 divide ((-27)/12)/(3/(-136))?
True
Is 24/(-8)*231/(-9) a multiple of 17?
False
Suppose -4*q - 2*b = -b - 32, 0 = -q - 2*b + 8. Let m = 26 - q. Does 9 divide m?
True
Let x = -174 - -669. Suppose -x = -6*i + 3*i - 3*z, 5*z = i - 159. Is 6/(-27) + i/9 a multiple of 11?
False
Let o be 3/9 + (-60)/(-9). Is 152/o - (-4)/14 a multiple of 12?
False
Let s = -10 + 26. Let n be s - -1 - (0 - 2). Suppose 5*l = 4*w + 161, -n = 5*l - w - 168. Is l a multiple of 18?
False
Let u be -5*3/(9/(-3)). Suppose -u*f + i = -4*f - 50, -5 = -i. Let k = f - 27. Is 14 a factor of k?
True
Let p = 1 + 3. Suppose y - 2*h + 12 = 3*h, -p*y + 18 = 2*h. Suppose -5*x = -y*m - 56, 0*x - 5*m = 4*x - 67. Is 7 a factor of x?
False
Suppose 0*l + 10 = -2*l. Is -12*l/8*2 a multiple of 15?
True
Let s(u) = 30*u**2 - u. Is 11 a factor of s(-1)?
False
Let r be (1/(2/108))/2. Suppose 0 = -3*l - r + 129. Is 17 a factor of l?
True
Let r = 29 - 5. Is 3 a factor of r?
True
Let a(q) = -6*q - 2. Suppose 5*u + w + 14 = -9, -w = 3*u + 15. Does 11 divide a(u)?
True
Does 13 divide ((-26)/3)/(18/(-297))?
True
Let m be (0 - 0)/(-4 + 6). Let j be (m - (4 + -2))*10. Is 10 a factor of (j/25)/(2/(-50))?
True
Let o be (-3)/(-12) - 11/(-4). Suppose 7*s = o*s + 60. Let v = s + 27. Is v a multiple of 21?
True
Let u = -12 - -11. Let m = u - -7. Is m a multiple of 2?
True
Suppose 2*c - 3*s - 4 = 0, -s = -2*c + 4 - 0. Suppose -g + 0*v = -5*v - 41, c*g + 4*v = 124. Is g a multiple of 14?
True
Let v = 8 - -5. Does 6 divide v?
False
Let a = -6 + 18. Is (33/a)/((-3)/(-12)) a multiple of 11?
True
Suppose 78 = 2*j - u - 3*u, -195 = -5*j + u. Is j a multiple of 13?
True
Suppose -10*c + 7*c = -30. Is 6 a factor of c?
False
Let m be ((2 + -2)/(-2))/(-2). Let r(c) = -c**2 - 1. Let h(b) = b**3 - 4*b**2 + b - 21. Let y(o) = -h(o) + 5*r(o). Is y(m) a multiple of 5?
False
Suppose -3*n = 4 + 8. Let a(k) = 2*k + 8. Let x(u) = -2*u - 9. Let f(s) = -6*a(s) - 5*x(s). Does 3 divide f(n)?
False
Suppose -x = 5*f - 378, -4*f - 5*x + 298 = -2*x. Suppose 59 = 5*v - f. Suppose -4*m = -m - v. Does 9 divide m?
True
Is ((1 + -10)/3)/((-18)/102) even?
False
Let p = -10 - -13. Suppose -p*q = -y - 83, -60 = -0*q - 2*q - 4*y. Does 13 divide q?
False
Let q(z) = z**2 - 6*z + 2. Let m be q(6). Suppose m*d = 5*p + 2, 4*d + 10 = -p + 2*d. Is 14 a factor of (-700)/(-49) + p/7?
True
Let s(y) = -2*y - 6. Let m be s(-4). Let z(c) = 10*c + 2 + 0 - c. Is z(m) a multiple of 10?
True
Let z(s) = s**2 - 21*s + 22. Is z(21) a multiple of 10?
False
Suppose z + 24 = 2*z. Does 6 divide z?
True
Does 15 divide 4/6 - (-2)/(12/86)?
True
Let z = 11 + -3. Is 102/(4*4/z) a multiple of 15?
False
Suppose 4*s - 2*s = 4*r - 196, -5*r = 4*s - 232. Is 12 a factor of r?
True
Suppose 3*t - 7*t = -28. Suppose -3*c = -o - 2*c + 9, 2*o = -3*c - t. Let f = 9 - o. Is 2 a factor of f?
False
Let m = -315 - -567. Does 30 divide m?
False
Let j(r) = r**3 - r**2 + r + 5. Let y be j(0). Suppose 54 = -y*a + 2*a. Let s = -10 - a. Does 8 divide s?
True
Suppose 3*f = -5*k + 54, -4*f + 33 = -4*k - 7. Is 12 a factor of f?
False
Let d = -1 - -3. Suppose 0 = -d*j + 4*j - 132. Let x = j + -38. Does 14 divide x?
True
Suppose 8*s + 2*d = 4*s - 26, -4*d = 20. Let j = 39 + s. Suppose 0 = 4*r - 115 + j. Is 11 a factor of r?
False
Suppose 0 = 3*w + 2*w - 840. Is w a multiple of 12?
True
Let l(p) = 8*p - 2*p - p - 11. Does 19 divide l(6)?
True
Let v(b) = 22*b**2 - 2*b + 1. Let i be v(1). Is 6 a factor of 7/(i/6) + 18?
False
Let m = -5 + 8. Let j = -1 + 3. Suppose -m = j*h - 3*h. Does 3 divide h?
True
Suppose 3*n = -2*b + 10, 3*n - 31 + 6 = -5*b. Suppose n = -2*w - 5*q + 27, 25 - 60 = -2*w + 3*q. Does 6 divide w?
False
Let w(d) = 4*d - 3. Let j be w(7). Suppose -6 = x - j. Is 7 a factor of x?
False
Suppose -3*u - f - 66 + 329 = 0, 2*u - 171 = -5*f. Does 31 divide u?
False
Let o(k) be the third derivative of 1/120*k**6 + 3*k**2 + 0*k + 1/12*k**5 + 1/12*k**4 + 0 + 2/3*k**3. Is 10 a factor of o(-3)?
False
Suppose -4*d + q = -q - 282, 4*q - 116 = -2*d. Is d a multiple of 4?
True
Let p(o) be the third derivative of o**5/60 - o**4/2 + 2*o**3/3 + o**2. Let n be p(12). Let i(l) = l**2 - l. Is i(n) a multiple of 12?
True
Let d(s) = s + s**2 + 4 + 7*s**2 - s + s. Is d(-3) a multiple of 20?
False
Let u(p) = -p**3 + 7*p**2 + 8*p - 7. Let h(l) = 8*l**2 - 2*l + 1. Let j be h(1). Is 9 a factor of u(j)?
False
Suppose -14 = -0*s + s. Let i = s + 26. Does 6 divide i?
True
Let k(b) = -b**3 - 2*b - 7*b**2 + 2*b + 4 - 5. Let o be k(-7). Is 10 a factor of (-3)/o*32/6?
False
Let m(x) = -x**3 + 9*x**2 - 9*x + 5. Let u be m(8). Let o(l) = l**2 + l - 1. Is 5 a factor of o(u)?
True
Let z(p) = -p**3 + 3*p - 2. Let t be z(-3). Suppose 2*r + 4*q - 36 = 0, -2*q - 31 - 39 = -3*r. Let m = r - t. Is 6 a factor of m?
True
Let m(h) be the first derivative of h**4/12 - h**3/2 - 5*h**2/2 - 2*h + 2. Let j(i) be the firs