109 = 11*l. Is l even?
False
Suppose f - 21 = -16. Is f even?
False
Let s = 4 - 14. Let k(b) = b**2 + 5*b - 14. Does 18 divide k(s)?
True
Is 9 a factor of (57 + 3)*(-9)/(-12)?
True
Let u(a) = a**2 + 5*a + 6. Let t be u(-4). Suppose -t*y = -7*y + 175. Let p = 74 - y. Is 13 a factor of p?
True
Let p = -8 + 2. Let k be 40*5/p*-3. Suppose k = -5*g + 295. Does 13 divide g?
True
Let g = -50 + 75. Is g a multiple of 2?
False
Suppose 0 = x - 28 - 98. Let g = 187 - x. Is g a multiple of 27?
False
Let t(z) = 3*z**3 - z**2 - 3*z. Let l be t(-3). Suppose 0 = r + 53 - 1. Let f = r - l. Does 12 divide f?
False
Suppose 5*v - 90 = 115. Suppose 5*z - 11 = -t + v, -z = -5*t + 208. Is 14 a factor of t?
True
Let q be (-111)/(-2)*(-4 - -6). Suppose -4*f - 3*y + 145 = 0, f + 3*y - q = -2*f. Is 16 a factor of f?
False
Let t(x) = -x + 13. Let r be t(12). Let v(s) = -r - 4*s**2 + 0*s**2 + 18*s**2. Does 14 divide v(-2)?
False
Let n = -88 - -108. Is n a multiple of 5?
True
Does 2 divide (26/4)/((-1)/(-2))?
False
Let y(f) be the second derivative of -f**3/6 - 7*f**2/2 - 2*f. Let j be y(-6). Is 9 a factor of (j/(-1))/(3/27)?
True
Let t be ((-70)/15)/(4/(-6)). Is 13 a factor of (1 - 2) + 2*t?
True
Let t = 9 + -15. Let h(o) be the third derivative of -o**4/8 - 4*o**3/3 - 3*o**2. Is 7 a factor of h(t)?
False
Suppose -2*p - 4 = -3*x - 38, 11 = -x + p. Let n be ((-12)/(-16) - 2)*-32. Let i = x + n. Is 19 a factor of i?
False
Suppose -3*m + 347 = -s, 2*m - 5*s - 125 = m. Suppose m = 3*u + 2*u. Is u a multiple of 12?
False
Let i(m) be the third derivative of -m**4/3 + 2*m**3/3 - 2*m**2. Let x be i(-3). Suppose -3*a + 62 + x = 0. Is a a multiple of 15?
True
Let k = 0 + 41. Does 13 divide k?
False
Suppose 6*h = 8*h - 24. Let j be 196/h + (-1)/3. Suppose 3*r - j = 32. Is r a multiple of 8?
True
Let d = -10 + 10. Suppose d = -4*i + i + 129. Is 20 a factor of i?
False
Let q be 0*(3 - (-2 - -4)). Suppose 0*k + k - 4 = q. Suppose -2*i + 4*s + 18 = 3*i, 4*i - k*s = 16. Does 2 divide i?
True
Suppose 37 = t - 4*n, 2*t + 4*n = 3 + 47. Suppose -3*j - t = -4*x, 5*j - j = -x - 7. Is x a multiple of 3?
False
Let l(d) = -2*d**2 + 2*d - 1. Suppose 4*u + 0*u = -3*g - 23, -7 = u + g. Let r be l(u). Let v = r + 52. Is 17 a factor of v?
False
Let n(w) = 2*w**2 - w. Let b be n(-1). Suppose b*p - 5*x + 5 = 3, 0 = -2*x + 2. Suppose -3*j + 23 = -p. Is 5 a factor of j?
False
Let t be (-1)/(-1) + 2/(-1). Let s(y) = -3*y - 1. Let d be s(t). Suppose 4*z = d*x + 24, 5*x + 4 - 19 = -5*z. Is z even?
False
Is 21 a factor of 28/(-2)*21/(-2)?
True
Let t(f) = -f**2 - 15*f - 16. Let o be t(-14). Does 9 divide ((-2)/o - -24) + 3?
False
Suppose x + 15 = -y - 1, 2*y = -3*x - 30. Let d be (-68)/y - (-14)/63. Suppose 262 = d*l + 78. Does 23 divide l?
True
Let g(y) = -3*y - 1. Let z(s) = -s**3 + 9*s**2 - 4*s - 8. Let x be z(8). Let b be x/18*-3*1. Is g(b) a multiple of 10?
False
Suppose 0 = 5*p - 3 - 2. Let o = p + -10. Is (3/o)/(2/(-54)) a multiple of 9?
True
Does 28 divide 4/(-6) - ((-5565)/(-9))/(-5)?
False
Suppose -4*w + 0*t - 2*t = 16, 0 = -3*w + t - 22. Let g(h) = -8*h - 3. Let r(q) = 9*q + 2. Let x(o) = 4*g(o) + 3*r(o). Is x(w) a multiple of 11?
False
Let z(s) = s**3 - 3*s**2 + 4. Let u be z(3). Is 7 a factor of ((-21)/u)/(9/(-24))?
True
Let p = -58 + 36. Let n = p + 34. Is 6 a factor of n?
True
Suppose -v = -6*o + 3*o - 52, 2*o + 33 = -v. Let n = 31 + o. Is 6 a factor of n?
False
Let k be 121/(-4) + (-9)/(-36). Let c = k + 96. Is c a multiple of 18?
False
Suppose -p + 2*p - 3*x - 6 = 0, 2*x + 8 = p. Is (-160)/p*27/(-6) a multiple of 20?
True
Is (79 + -4)/((-3)/(-2)) a multiple of 20?
False
Let t be 2*(-3)/(-2) - -8. Let s = t + -1. Suppose 11 = m - s. Is 6 a factor of m?
False
Let d = 12 + -7. Suppose 2*l = -l + 3*u + 75, d*l + 2*u = 146. Does 22 divide l?
False
Let j = -2 + 4. Suppose -5*q + 65 = -j*k, -3*q + 3*k = -k - 39. Let t = q + -3. Does 5 divide t?
True
Suppose 0 = -w - 5*q + 36, 0*w + 114 = 4*w + 5*q. Is 5 a factor of w?
False
Let i be (0 + 1)*3 + -3. Suppose 4*k - 119 - 25 = i. Is 18 a factor of k?
True
Let f(r) = r. Let o be f(-5). Let v be 0 - (0 + 2) - o. Suppose -t = -4*k + 86, -k + 0*t + 28 = v*t. Is k a multiple of 11?
True
Suppose -o - 3*j - 15 = 2*o, 4*j = -2*o - 20. Suppose o = -5*i + 5*a + 125, 3*i - 4*a - 14 = 56. Does 15 divide i?
True
Let s = 85 - -55. Is 19 a factor of s?
False
Suppose 0 = 5*d - d - 4. Suppose 11 = 3*q - a, 2*q - 2*a - 6 - 8 = 0. Let k = q + d. Is 2 a factor of k?
False
Does 40 divide 45/6*(-32)/(-6)?
True
Suppose o = -0*o + 16. Let u = 19 + o. Does 19 divide u?
False
Suppose -100 = 3*m + m. Let b = m - -44. Is 9 a factor of b?
False
Let g(p) = 9 + 2*p**2 - p**3 + 3*p - 3*p**2 - 10. Suppose 14 = -4*y - 2*i, 6 = 4*y + 5*i + 23. Is g(y) a multiple of 4?
True
Let l be 0 - (-2 + (-1 - -3)). Suppose l = 5*d - 3*d. Suppose d = 2*m + m + 3*h - 72, -2*m + 36 = -h. Is 10 a factor of m?
True
Let v = -2 - -2. Suppose v = 6*s - 1 - 161. Is 27 a factor of s?
True
Suppose 3*d - 33 = 3*g, -5*g = d - 2 - 3. Does 5 divide d?
True
Let h = 48 - 27. Does 3 divide h?
True
Let j(r) = -r**2 + 7*r + 5. Does 2 divide j(6)?
False
Let p = -125 - -233. Suppose 0 = u + u + p. Does 9 divide 8/12*u/(-4)?
True
Let t(g) = -31*g + 1. Let k(i) = -10*i. Let a(r) = 7*k(r) - 2*t(r). Let s be a(-2). Let w = -1 + s. Is 5 a factor of w?
False
Let h(g) = g**3 + 3*g**2 - 1. Let q be h(-2). Suppose 3 + 3 = q*o. Suppose -1 = -o*r + 35. Is r a multiple of 9?
True
Suppose -r + 0*w + 12 = 3*w, -4*w = 3*r - 16. Suppose -5*h = -r*h - 340. Suppose 4*y = -3*p + 100, 0 = -2*p - 3*y - 0 + h. Is 14 a factor of p?
True
Suppose -w = 2*j - 2, -4*w - 6 + 2 = 5*j. Is 2 a factor of w/(-15) + 39/15?
False
Let c = -6 - -3. Does 15 divide ((-69)/9)/(c/9)?
False
Let i(d) = 2*d**2 - 3 + 0 + d**2 - d**3 + 5*d**2. Let k be i(7). Suppose 2*g = -o + k, -50 = -o + 4*g - 5*g. Is 14 a factor of o?
False
Suppose -4*f = f. Suppose f = -g - 5*t + 37, 0 = -0*t - 4*t. Is 18 a factor of g?
False
Suppose 4*x + 14 = 3*n, n = x - 2*x. Let m(o) = 5*o - o**2 - 6 + n*o + 0*o + o. Does 6 divide m(6)?
True
Let m = 4 - -11. Does 5 divide m?
True
Suppose 0*j - 3*j + 2*x + 45 = 0, 5*j - 100 = -5*x. Is 8 a factor of j?
False
Let x(b) = 5*b + 2. Is x(13) a multiple of 34?
False
Suppose 2*g + w + 0*w - 9 = 0, 5*w - 21 = 2*g. Let h(k) = -2 + k - 2*k**2 + 3*k**2 + 4*k**2. Is h(g) a multiple of 10?
True
Is (-2)/((-8)/(-92))*-1 a multiple of 23?
True
Suppose -2*o = -5*o + 153. Is o a multiple of 17?
True
Let v(i) = -67*i - 1. Does 11 divide v(-1)?
True
Suppose -13 = -l + 5. Is l a multiple of 9?
True
Let g(d) be the third derivative of d**8/6720 - d**7/1260 + d**6/720 + d**5/60 - 2*d**2. Let x(u) be the third derivative of g(u). Is x(-3) a multiple of 18?
False
Let o = 29 + -15. Is o a multiple of 14?
True
Let q(j) = 2*j**2 + 5*j - 2. Does 11 divide q(-6)?
False
Suppose g = -g - 3*j - 10, -2*j = 0. Does 5 divide 4/2 + (g - -16)?
False
Let m(l) be the first derivative of -2*l**3 + 3*l**2 + 22*l + 3. Let s(z) = 2*z**2 - 2*z - 7. Let c(o) = 5*m(o) + 16*s(o). Is c(5) a multiple of 13?
False
Let d = 138 - 0. Does 14 divide d?
False
Suppose 5*y = -670 + 160. Does 9 divide y/(-7) - (-16)/(-28)?
False
Is 18 a factor of (-2)/((-4)/(-108)*-1)?
True
Suppose 0 = u + 161 - 399. Is 34 a factor of u?
True
Suppose 3*g - 144 = -21. Let p = g + -25. Is p a multiple of 10?
False
Is 9 a factor of ((-27)/45)/(2/(-30))?
True
Let h = 7 + 45. Suppose -3*q = p - 73 - h, 0 = -4*p - 16. Is q a multiple of 11?
False
Let d be 4/24 - (-46)/12. Suppose u - d*i = 52, -4*u + i = 56 - 249. Does 16 divide u?
True
Is 5 a factor of (64/(-3))/(6/(-9))?
False
Let g(w) be the third derivative of w**6/120 + 7*w**5/60 - w**4/12 - 5*w**3/6 + 4*w**2. Is g(-7) a multiple of 3?
True
Suppose 3*y + 6 = 18. Is 2 a factor of y?
True
Let k = 5 + 2. Let c be (-10)/(-14) - (-2)/k. Does 14 divide -1 + (-2 - (c - 32))?
True
Let k(g) = -3*g + 110. Is 23 a factor of k(0)?
False
Suppose b + 15 = -3*y + 51, -5*b + 2*y + 129 = 0. Suppose -b = -i + 13. Suppose -a - a - 4*g + i = 0, 2*g = 10. Is a a multiple of 9?
False
Suppose -4*s + 0*s = n - 4, 2*s - 8 = -2*n. Suppose s*p - p = 0. Suppose p = 5*h - g + 2*g - 217, -12 = 4*g. Is h a multiple of 12?
False
Let p = 14 - 20. Let z be p/((-3 - -5)/1). Is 51*(-1 + (-4)/z) a mul