*o - 2. Is j(l) a multiple of 11?
False
Suppose -16 = -0*d - 4*d. Suppose -5*c = -4*x + 15, 13 = -d*c + 1. Suppose 4*g = -x*g + 40. Does 5 divide g?
True
Suppose 4*k = k + 15. Let h = k + 0. Is h even?
False
Suppose 42*d = 41*d + 3. Does 3 divide d?
True
Suppose -4*n + 322 = 3*n. Is 5 a factor of n?
False
Let p = -2 + 4. Does 6 divide p/((-2)/(-13)) - 0?
False
Let b be 1/(1*2/4). Suppose -x + 17 = 3*s, -4*s + 36 = b*x + 2*x. Does 10 divide ((-6)/s)/((-3)/54)?
False
Is (-726)/(-15) + 8/(-20) a multiple of 8?
True
Let o(d) be the second derivative of d**7/840 + d**6/360 + 19*d**4/24 + d**3/3 - 2*d. Let y(m) be the second derivative of o(m). Does 7 divide y(0)?
False
Suppose -5*g + 230 = 5*y, 4*g - 3*y = 2*y + 184. Let h be g/2 + 2/(-2). Suppose 3*t + 5*c - h = 15, 3*t - 21 = 3*c. Is 9 a factor of t?
True
Let n be -13 - -1*(-4 + 1). Let q = n - -41. Is q a multiple of 14?
False
Let s(r) = -r**3 - 8*r**2 - 8*r - 3. Suppose 0 = 4*l - 16, -5*d - 20 - 23 = -2*l. Let i be s(d). Suppose -2*j = -4*t + 3*t - 11, i*t + 12 = 0. Does 2 divide j?
True
Suppose 5*d = 7 + 13. Suppose -3*c + 138 = 5*u, -129 = -d*c + c - 2*u. Suppose -5 = -2*v + c. Is v a multiple of 8?
False
Suppose -y + 47 = -6*w + 2*w, -y = 4*w + 41. Let a = 36 + w. Is 11 a factor of a?
False
Let r = 0 - 2. Let x be r/(-4) - (-2)/4. Suppose -3*q + x = -8. Is q a multiple of 3?
True
Suppose s - 12 = -0*s. Is (39/s)/(2/24) a multiple of 13?
True
Suppose -7*j + 2*j + 22 = r, r + 3*j = 12. Let y = 0 - r. Is 2 a factor of y?
False
Let a = 10 - 8. Suppose -4*c + 66 = -a*c. Is c a multiple of 11?
True
Suppose -1 + 31 = s. Let g = -16 + s. Does 8 divide 4/(-14) - (-340)/g?
True
Suppose -4*j + 1 - 15 = -x, -2*x - 3*j = 5. Suppose 5 + 1 = x*f. Is f a multiple of 3?
True
Let u be (-8)/6*(-12)/(-8). Let v be u/1 + 0/(-1). Is 9 a factor of 8*1*v/(-1)?
False
Let w(s) = 3*s**2 + 2*s - 1. Let o be w(3). Let h = -17 + o. Does 7 divide h?
False
Let o = -58 + 70. Does 6 divide o?
True
Let q be -3*1*(11 + -13). Does 11 divide (77/21)/(2/q)?
True
Is 22 a factor of (-16)/((-6)/5 - -1)?
False
Suppose -9 = -5*y + 26. Let f = -3 + y. Is f a multiple of 4?
True
Suppose 2*z + 4*g - 142 = 114, -4*z + 515 = 5*g. Suppose 9*o = 4*o + z. Is 13 a factor of o?
True
Let k(i) = -i**3 + 10*i**2 + 15*i - 10. Let j be k(11). Suppose 5*n = 4*c + j + 27, -n - 3*c - 3 = 0. Does 6 divide n?
False
Suppose -5*l - 4*s - 53 = 0, l - s - 4*s - 1 = 0. Let h(c) = -c**3 - 9*c**2 - 9*c + 6. Let i be h(-8). Let w = l + i. Is 2 a factor of w?
False
Does 32 divide 445/7 - (-63)/147?
True
Let k = 53 + 5. Is k a multiple of 4?
False
Let p = 3 + -1. Suppose -p*v + 20 = 3*v - 5*x, 3*v - x - 10 = 0. Suppose -v*y + 6*y = 72. Is 12 a factor of y?
True
Let n be (-1)/3 - 16/(-12). Let h = -5 + n. Is (2/h)/(4/(-16)) even?
True
Let o(b) = b**2 + 3*b**2 - 2*b**2 + 4*b. Does 3 divide o(-3)?
True
Let s(y) = -y**2 - 5*y + 4. Let u = -14 + 9. Let k be s(u). Suppose 2*z + l = 33, -27 + 88 = k*z - 3*l. Is 8 a factor of z?
True
Let o = 186 - 123. Does 21 divide o?
True
Let b(p) = p**3 + 7*p**2 - 7*p. Does 27 divide b(4)?
False
Let q = -15 + 11. Let o be q/18 + 152/36. Suppose -5*a + o*j + 42 = -34, 0 = -2*a - j + 33. Is 8 a factor of a?
True
Let l = -4 - -12. Suppose -4*a = -5*a + l. Does 3 divide a?
False
Suppose 0 = -2*c - 8. Let q(m) = m**2 - 6*m - 10. Let f be q(7). Is ((-38)/c)/(f/(-6)) a multiple of 10?
False
Suppose -4*w = -0*w - 24. Suppose w = -2*l - 18. Is 15/(-2)*l/9 a multiple of 5?
True
Let y = -140 - -221. Does 8 divide y?
False
Suppose 5*g - v - 62 = 0, 2*v - 26 = -3*g - 3*v. Is 4 a factor of 1*g/1 + 0?
True
Suppose 3*j - 2*w - 1093 = 0, -2*w - 1085 = -3*j - 4*w. Is j a multiple of 22?
False
Let c(t) = 15*t + 1. Let k be c(7). Is k/6 - 22/33 a multiple of 17?
True
Let q = 102 - 57. Does 11 divide q?
False
Let d(q) = q**2 - 3*q + 4. Let i be d(4). Suppose 2*h - 4 = i. Suppose 0 = 2*c - h*c + 28. Is 7 a factor of c?
True
Let x = -8 - -14. Let k = 18 - x. Is k a multiple of 4?
True
Suppose -2*d - 100 = 3*d. Suppose -4*n - 3*u + 81 = -44, 5*n - 3*u - 163 = 0. Let p = d + n. Does 4 divide p?
True
Suppose 0*b + 6 = b. Let x(v) = v**3 - 7*v**2 + 7*v + 7. Does 13 divide x(b)?
True
Let m be (-30)/(-1)*2*1. Suppose -m = 6*y - 222. Is y a multiple of 7?
False
Let g(x) = 2*x**3 - x**2 - 2*x - 4. Is g(4) a multiple of 25?
True
Let z = 12 - -24. Is z a multiple of 18?
True
Let z(y) be the first derivative of y**4/4 + 4*y**3/3 - 5*y**2/2 - 5*y - 7. Does 2 divide z(-4)?
False
Let z = 2 + 6. Let x = z - 5. Is x a multiple of 2?
False
Let s(f) = f**2 - 9*f + 7. Let a be s(7). Let x(h) = -h - 1. Is 5 a factor of x(a)?
False
Let x(m) be the first derivative of m**6/120 - m**5/6 - 5*m**4/12 + 5*m**3/3 + 3*m**2/2 - 1. Let b(h) be the second derivative of x(h). Is 21 a factor of b(11)?
True
Let c = -6 + 6. Suppose x - 2*x = -4*b - 14, 5*x = b + 13. Suppose x*p - 26 - 18 = c. Does 11 divide p?
True
Let y be 6/4*(-16)/12. Does 8 divide 1 - (-2 - y) - -12?
False
Let v = 28 + -6. Is v a multiple of 11?
True
Let m(v) = -2 + 1 + 0 + 33*v**2. Is 16 a factor of m(-1)?
True
Suppose 5*w - 53 = 7. Does 18 divide 40/w*33/2?
False
Let n(m) = 2*m**3 - 6*m**2 + 2*m + 2. Let i be n(4). Is 25 a factor of (-6)/i + (-351)/(-7)?
True
Let a(b) = b + 16. Let h be a(-9). Let v be (h - 7)/(1*2). Suppose 3*j + k - 7 = 7, -3*k - 12 = v. Is j a multiple of 4?
False
Let q be 3 + -3 - 0 - -1. Let w be 0/q*(-3)/6. Suppose -2*y + y + 24 = w. Is 9 a factor of y?
False
Let m(f) be the third derivative of -f**5/60 - 7*f**4/24 - f**3/3 - 3*f**2. Is m(-6) even?
True
Let q(k) be the second derivative of -k**6/240 + 7*k**5/120 - k**4/12 + 2*k. Let n(x) be the third derivative of q(x). Is n(-6) a multiple of 14?
False
Is 24/3*5/2 a multiple of 5?
True
Suppose 2*c + 30 - 106 = 0. Suppose 42 + c = 2*i. Is i a multiple of 10?
True
Let q(w) = -w**2 + 8*w + 3. Let v be q(6). Suppose 0*k = k + v. Is 6/k - (-114)/10 a multiple of 7?
False
Let m(s) = -s**3 + 7*s**2 + 2*s + 5. Does 12 divide m(6)?
False
Let p = 78 - 60. Is p a multiple of 6?
True
Is 9 a factor of (-2722)/(-18) - (-38)/(-171)?
False
Let b(f) = f**2 - 12*f - 18. Is b(15) a multiple of 9?
True
Suppose 3*r + 11*u = 9*u + 91, 0 = 3*r - 2*u - 95. Is r a multiple of 7?
False
Suppose 3*r - 9 - 6 = 0. Let n = r - 1. Is 4 a factor of n?
True
Let x = -62 - -95. Does 33 divide x?
True
Let d = -188 - -422. Is d a multiple of 39?
True
Suppose 0 = -z - 4, z = 5*d + 5*z - 74. Is 622/12 - (-3)/d a multiple of 29?
False
Suppose 6*x - 3*x = 6. Suppose 2*v - x*o - 37 = -v, 0 = -5*v + 5*o + 65. Is 2 a factor of v?
False
Suppose -4*d = -4*u + 116, -2*d + 87 = 3*u + 3*d. Suppose -2*s + 27 = -u. Does 14 divide s?
True
Suppose 3*q - 2*w + 78 = 0, 0 = -4*q + 5*w - 33 - 71. Let c = q + 68. Is 13 a factor of c?
False
Let p = -4 - 7. Let c(w) = -5*w - 2. Is c(p) a multiple of 14?
False
Suppose 0 = -4*r + 16, 335 = 2*z + 5*r + 107. Is 26 a factor of z?
True
Let p(t) = t**2 - t. Let j be p(-1). Is 0 - (-1)/(j/6) even?
False
Suppose -3*y + r - 73 = 0, -2*y - 21 = -3*r + 16. Is 16 a factor of (-4)/y + (-414)/(-13)?
True
Let y = 1 - 2. Let c(m) = -m + 3*m - 2*m**2 - 4*m - 1 - 39*m**3. Is c(y) a multiple of 19?
True
Suppose 0 = 3*d + 1 - 25. Is 4 a factor of 2/(d/12) + 12?
False
Let y be -1 - -2 - (-39)/1. Suppose 100 = 5*d - 0*h + 5*h, 0 = 2*d - 3*h - y. Is 10 a factor of d?
True
Suppose -2*h - 183 = -5*h. Is 15 a factor of h?
False
Let r = -1 - -32. Does 31 divide r?
True
Let k(a) = -a**2 + 16*a - 15. Is 12 a factor of k(9)?
True
Let h(x) be the third derivative of -x**6/60 + x**5/15 + x**4/6 + x**3/3 + 4*x**2. Is h(-2) a multiple of 13?
True
Let i(f) = f**3 - 12*f**2 + 15*f + 11. Suppose -s - 7 = -18. Is i(s) a multiple of 24?
False
Let d(f) be the third derivative of f**5/12 + f**4/24 - f**3/6 + 2*f**2. Let t be d(3). Let g = t - 8. Does 11 divide g?
False
Suppose 4*b = 4*z + 2*b - 28, 5*b + 15 = -z. Suppose 0*u = -z*u + 2*p + 230, 0 = 5*u + 2*p - 250. Does 18 divide u?
False
Let q = 4 + -12. Let u(z) = 2*z**2 + 10*z + 1. Is u(q) a multiple of 21?
False
Let m(y) = y**2 - 7*y + 12. Does 15 divide m(9)?
True
Let s = 267 + -135. Suppose -3*m - m = -s. Suppose 3*p + 0*g - 5*g - 51 = 0, 0 = -3*p - g + m. Is 12 a factor of p?
True
Let u(n) be the second derivative of n**4/2 + n**3/6 + 