e
Let n = -2 + 3. Suppose -2*q = n - 11. Is q a multiple of 5?
True
Let z(i) = 2*i + 7. Does 12 divide z(12)?
False
Let b(l) = l**3 + 7*l**2 - l - 7. Suppose 3*a = 5*k - 26, 3*a + 2*k + 3*k = -16. Let p be b(a). Suppose 4*v - 5*h + 1 = p, -2 + 1 = -v + h. Does 6 divide v?
True
Let z(y) = 12*y**3 - y. Let v be z(1). Let n(m) = v*m**2 + 4*m**2 + 6*m - 7*m. Does 4 divide n(1)?
False
Does 14 divide 50/(-15)*3*-7?
True
Let m be 1/(1/8 + 0). Let j = -5 + m. Suppose j = -4*l + 43. Is 10 a factor of l?
True
Let f = -92 - -208. Let t = f - 70. Suppose -2*y - 2*g + t = 3*g, 4*y - 64 = -3*g. Is y a multiple of 11?
False
Let z be (-3 + 27)*1*-2. Let k = z - -85. Is k a multiple of 23?
False
Let b = 13 - 0. Suppose -3*o = 3*u + 2*u - b, 0 = -o + 4*u - 7. Is 43 - (o - -1 - 2) a multiple of 11?
False
Suppose -2*j - 52 = -6*j. Let o = j + -5. Suppose -19 - o = -3*b. Is 5 a factor of b?
False
Does 8 divide (-530)/(-7) - (-2)/7?
False
Let g be (120/(-18))/(1/(-6)). Suppose 3*n = g + 77. Is n a multiple of 20?
False
Let f = 231 + -102. Is f a multiple of 17?
False
Let n be (-18)/(-12) + 42/(-4). Let b be n/(-12) + 3/12. Suppose 2*h + 26 = 2*i, 2*h - 9 = b. Is 6 a factor of i?
True
Let x(w) = 2*w**2 - 2*w. Let o be x(4). Let y = -14 + o. Does 4 divide y?
False
Suppose 3*i + 124 = -191. Let h = i - -151. Is 20 a factor of h?
False
Suppose 4*o = 216 - 60. Is 39 a factor of o?
True
Let o be 70/8*(2 + 2). Let v = -63 + o. Let w = v - -67. Is w a multiple of 14?
False
Let j = 102 + -166. Let f be -3 + 5 - (j + -2). Suppose -3*i + f = i. Is i a multiple of 8?
False
Let a(u) be the first derivative of -u**4/4 + 3*u**3 - 2*u**2 + 5*u + 8. Does 17 divide a(8)?
False
Let p be (-2)/3*12/8. Let q = p + 6. Is 9 a factor of 4/(-10) + 82/q?
False
Suppose 2*l + 2*l = 28. Is l a multiple of 7?
True
Suppose 107 = 5*p + 4*z, -3*z = 4*p - 0*p - 86. Is 2 a factor of p?
False
Let x(p) = -24*p + 5. Let f be x(-3). Let d = f - 23. Is 18 a factor of d?
True
Let l(j) = j**3 - j**2 - 2*j. Let r be l(2). Suppose 5*a + 0*a - 30 = r. Is a a multiple of 3?
True
Let a be (-1022 - 0)/((-1)/(-4)). Is 2/9 - a/72 a multiple of 19?
True
Is 6/(-27) + (-166)/(-18) even?
False
Suppose 4*z + 3*m = 160, -4*z + 224 = 2*m + 64. Is z a multiple of 25?
False
Let k(p) = 4 + 3*p**2 - 7*p**2 + 5*p**2 - 2*p. Let g be 1*-1 - (-20)/5. Does 4 divide k(g)?
False
Let o = -8 - -79. Is 15 a factor of o?
False
Suppose -2*h = 3 - 11. Let s = 1 + h. Suppose 26 = s*r - 84. Is r a multiple of 11?
True
Let d be 6/(-1)*5/5. Let h = -4 - 0. Does 8 divide d/h - 45/(-2)?
True
Suppose 2 = 4*n - 6. Suppose -35 = -5*d + 4*x - 0*x, -13 = -d + n*x. Is d even?
False
Let l(p) = 30*p + 11. Let b(x) = -10*x - 4. Let q(t) = 17*b(t) + 6*l(t). Does 19 divide q(4)?
True
Let y(i) = -i**2 + 4*i - 3. Let p be y(4). Is (-24)/p - (0 - 0) a multiple of 5?
False
Let v(r) be the second derivative of -r**6/30 + r**5/60 + r**3/6 + r**2 + r. Let w(g) be the first derivative of v(g). Is w(-2) a multiple of 16?
False
Suppose -3*a + 4*a = -4*m + 17, 5*a = m + 22. Let g = a - -3. Does 4 divide g?
True
Let n(j) = j**2 - 8*j + 10. Let l(g) = g**2 + 4*g - 3. Let c be l(2). Is 19 a factor of n(c)?
True
Suppose r = -5*p + 670, 4*p + 2*r - 530 = -0*r. Is 25 a factor of p?
False
Let d(m) = 4*m + 1. Let z be d(4). Let h = -8 + z. Is h a multiple of 6?
False
Let a(h) = h**2 + 2*h - 31. Is 7 a factor of a(-10)?
True
Let v = 37 - 9. Does 9 divide v?
False
Suppose -2*o + 3*o + 754 = 5*n, -2*n - 3*o + 288 = 0. Suppose x + 4*x = n. Does 10 divide x?
True
Let l(f) be the first derivative of f**3/3 + 9*f**2/2 + f + 1. Is 11 a factor of l(-10)?
True
Let i(g) = -g**3 - 5*g**2 - g - 2. Let p be i(-5). Let a(k) = -3 + 4 + p + 6*k. Is 13 a factor of a(5)?
False
Suppose 2*p - 25 = -0*p + h, 5*h - 15 = -4*p. Is p a multiple of 5?
True
Let z be 7/3 - 10/(-15). Suppose -4*q = 7 - z. Is 5 a factor of 1/(q*3/(-42))?
False
Let s = 22 + -5. Let i = s - 3. Is 10 a factor of i?
False
Let o = -5 + 16. Let s = 1 - o. Is 8 a factor of (-164)/s - 4/10?
True
Let m(h) = h**3 + 7*h**2 + h + 9. Let v be m(-7). Suppose -v*f = -41 - 23. Suppose -f = -4*t - 2*u, 4*t + t + 3*u - 38 = 0. Is 5 a factor of t?
True
Let s(l) = l + 14. Is 4 a factor of s(5)?
False
Let y(v) = 4*v - v**3 - 3*v - 6*v**3. Does 3 divide y(-1)?
True
Let c = -51 - -81. Does 9 divide c?
False
Let n(v) be the third derivative of v**5/20 - v**4/4 - 5*v**3/6 + 8*v**2. Does 18 divide n(6)?
False
Suppose -2*j + 46 = 4. Is 4 a factor of j?
False
Let d be (-34)/6 + 3/(-9). Let o(p) = -p**2 - 6*p + 7. Is o(d) a multiple of 2?
False
Suppose -4*y - 15 - 28 = 5*f, -2*y = -3*f - 39. Does 27 divide 11/f + 164/2?
True
Suppose -20 = -3*s - s. Suppose -s*g = 6 + 4. Does 4 divide (7 - g)/(6/4)?
False
Let k(z) = -53*z + 1. Let u be k(-3). Suppose -u = -2*r - 0*r. Is r a multiple of 24?
False
Suppose -q + 0*q = -3*t + 80, -3*q - 6 = 0. Is t a multiple of 13?
True
Suppose -q + 48 = 5*d, 3*q - q - 2*d = 96. Is q a multiple of 48?
True
Let f = 10 + -6. Let d be (-24)/42*(-14)/f. Suppose -x + 32 = -d*g, -6*g + 2*g + 80 = 4*x. Is x a multiple of 18?
False
Let p(s) = s**3 - 6*s**2 + 9*s - 3. Let k(m) = 4*m**2 + 2*m - 1. Let t be k(-3). Suppose 0 = 5*c - w - t, -2*c + 4*w + 14 = c. Does 18 divide p(c)?
False
Let t be 12/8*24/9. Suppose t*b - 4*o + 24 = 0, -2*o = 5*b + 3*o. Does 5 divide -2 - 3/b - -11?
True
Suppose 5*f - 36 = -5*x + 39, -4*x + 4*f + 100 = 0. Does 8 divide x?
False
Let a(l) = -3*l - 11. Let j(x) = 2*x + 7. Let p(z) = 5*a(z) + 8*j(z). Let r(g) = -17*g**2 - 5*g - 4. Let s(h) = -4*p(h) - r(h). Does 16 divide s(-1)?
True
Let c = 27 - 24. Suppose -3*o - s = -179, 4*o = c*o - 4*s + 56. Is o a multiple of 20?
True
Let s(j) = -j. Let y be s(-2). Suppose 0*v = 5*v + 5*p - 175, -v - y*p = -35. Is 20 a factor of v?
False
Let v be (-9)/(-15)*1*135. Suppose -5 = -4*b + 7. Suppose v = z + z + p, 0 = -b*z + 4*p + 138. Does 15 divide z?
False
Does 21 divide ((-72)/(-8))/(2 - (-21)/(-11))?
False
Let y = 62 + 13. Does 15 divide y?
True
Let c be 22/(-3) + 4/(-6). Let d = -105 + 75. Let v = c - d. Is 15 a factor of v?
False
Suppose -2*m - 2 = 0, -3*h + 52 = 2*h - 2*m. Let g be 1 + 3 + 0 + 0. Suppose -h = -z + g. Does 8 divide z?
False
Let h = 17 - 9. Let b(f) = -3 + 2*f + h - f. Is b(5) a multiple of 4?
False
Suppose 2*q + 10 = 7*q. Suppose q*l - 6*l - 44 = 0. Let n = l - -20. Does 9 divide n?
True
Let n(y) = 6*y**2 + 8*y + 12. Let b(u) = u**2 + u + 1. Let d(p) = 8*b(p) - n(p). Does 14 divide d(4)?
True
Is 3 a factor of -1 - (-10)/(5 - 3)?
False
Suppose 2*n = -3*n - 465. Let u = 177 + n. Is 26 a factor of u?
False
Let s be (-1 - 0)*36/9. Let c(q) = -13*q + 8. Is 15 a factor of c(s)?
True
Suppose -2*z = -4*z + 8, 642 = 3*j + 3*z. Is 10 a factor of j?
True
Suppose -d = -5*l + 11, 3*d + 0*d + 9 = 3*l. Suppose -2*q - c = 1, -5*c - 16 = q - l*q. Does 2 divide -6*-1*q/2?
False
Suppose 0*a + 3 = a. Let g = a + -3. Suppose -4*r = g, 5*c - 35 = 5*r + 125. Is c a multiple of 12?
False
Suppose -5*r - 3*i - 3 = 0, r + 4 = 4*r - 4*i. Let z = r + 2. Suppose -5*f + 59 = 2*c, -2*f + z*c + 23 = 3*c. Does 13 divide f?
True
Let r(n) = 4*n - 1. Does 10 divide r(7)?
False
Suppose 0 = 3*y - v - 16, -1 - 2 = -y - 2*v. Let o = 102 + -99. Suppose -y*q - 5 = -n - 70, -o*n = -2*q + 39. Is 12 a factor of q?
True
Let w(q) = -2*q + 8. Let b be w(8). Is 3 a factor of (b/(-24))/((-2)/(-48))?
False
Let c = 5 - 7. Let w = c - -4. Suppose -h = -i + 40, 6*i + w*h = 3*i + 115. Is i a multiple of 13?
True
Let v be (-2)/6 - (-129)/9. Let l be (-3006)/(-63) - (-4)/v. Suppose -p + l = 3*p. Is 9 a factor of p?
False
Let o(v) = -v**3 + 2*v**2 + 3*v + 3. Let c be o(3). Let w be 0 - (12 - (c + -4)). Let i = w + 21. Does 8 divide i?
True
Let u = -41 - -125. Is 28 a factor of u?
True
Let t be (-3 - -1)/((-1)/2). Let f = 88 + -89. Let m = t + f. Is 3 a factor of m?
True
Is 34 - -1 - (-1 - 0) a multiple of 9?
True
Let f = 89 - 65. Is f a multiple of 8?
True
Let c(o) = o**2 + 2*o + 3. Let d be (-14)/(-2)*(-12)/(-14). Suppose -3*q + 2*r = 5*r + d, 3*r = -2*q. Is 12 a factor of c(q)?
False
Suppose -t = 2*t - 240. Suppose -4*o = -0*o - t. Let m = -4 + o. Does 8 divide m?
True
Suppose 0 = -n - o + 15, -40 - 26 = -4*n - o. Is n a multiple of 17?
True
Suppose 147 = 3*l - 18. Is 10 a factor of l?
False
Let n 