e
Let q = 10 - 7. Suppose 0 = -q*f + 5 + 4. Is 17 a factor of f/(-3) - -29*1?
False
Suppose 0 = -5*s + 2*p + 17, p = -5*s + 4*p + 18. Suppose -5*o = k - 368, -3*o - 4*k + s + 228 = 0. Is o a multiple of 14?
False
Let x(t) = -t**3 + t**2 - t + 6. Let h be x(0). Suppose -h = k - 2. Let a(r) = -6*r - 6. Is a(k) a multiple of 9?
True
Suppose 4*k = -2*m + 86, m = -3*m + 2*k + 142. Suppose 5*b + 130 = 5*r, -4*r - m + 159 = 2*b. Does 6 divide r?
False
Let m(k) = k + 30. Is m(18) a multiple of 12?
True
Suppose 0 = -4*z + 145 + 11. Is z a multiple of 38?
False
Suppose 0*j + 4 = -j, -3*w - j + 11 = 0. Suppose 0 = -w*h + 4*l - 7*l + 110, -h = -5*l - 22. Does 11 divide h?
True
Suppose 5 + 3 = 2*u. Let h be (6/4*-2)/(-1). Suppose h*j - 3*s + 0*s - 30 = 0, -4*j - u*s = -24. Does 4 divide j?
True
Let b(i) = 2*i + 2. Let d be b(-2). Does 5 divide (d/(-1))/((-1)/(-11))?
False
Let u(q) = -2*q**3 - 12*q**2 - 17*q - 9. Does 8 divide u(-7)?
True
Is 3 a factor of 1 + 6 + -2 - -31?
True
Let d = -4 - -6. Suppose -s - d*s = 9. Let n(l) = -4*l - 4. Does 8 divide n(s)?
True
Suppose 5*w = 5*f - 5, w - 3*f + 10 - 1 = 0. Suppose 3*c - 78 - 84 = w*v, 0 = 5*v + 20. Suppose 3*n - c = -5*h, -5*h = -4*n - n - 90. Is h a multiple of 9?
False
Suppose 5*i + 21 = -4. Let q = i + 47. Suppose 6*g - 3*g = -5*h + q, 0 = h - 3. Does 9 divide g?
True
Is 6 a factor of (9/18)/((-2)/(-48))?
True
Suppose -5*w = -169 - 216. Is w a multiple of 16?
False
Let h be -3 - -4 - 773/(-1). Suppose -318 = 3*b - h. Suppose -3*y + 1 = -2, b = 4*n + 4*y. Is 13 a factor of n?
False
Let d be (-78)/(-4) - 1/2. Suppose -d + 7 = -4*x. Suppose x*v + 3 = 54. Is v a multiple of 17?
True
Let i(f) = f**3 - 3*f**2 + 4*f + 7. Is 7 a factor of i(5)?
True
Let s = -181 - -295. Is 19 a factor of s?
True
Let g = -62 - -103. Is g a multiple of 23?
False
Let b(r) = -10 - 3*r + 3*r + r. Let q be b(9). Does 8 divide (20/(-15))/(q/6)?
True
Let d be 1 - ((-5)/(-1) - 1). Is 18 a factor of 38 + d + (2 - 1)?
True
Suppose 5*d - 162 = 3*l, -4*l - 19 = -3. Is d a multiple of 10?
True
Suppose -3*m = 3*q - 87, m + 0*m + 4*q = 20. Suppose 0 = -3*w + 4*w - m. Is 16 a factor of w?
True
Suppose 37 = q - 0. Is q a multiple of 15?
False
Suppose 4*j - 182 = -3*r, 5*j + 5*r - 228 = r. Suppose 3*q = 2*q + j. Does 16 divide q?
False
Suppose -276 = -2*o - 2*b, 65 = 5*o + 4*b - 625. Is o a multiple of 23?
True
Let i = 49 - 14. Is i a multiple of 24?
False
Suppose 0 = -6*c + 9*c - 117. Suppose -b = 17 - c. Does 11 divide b?
True
Let n = 13 - -23. Does 24 divide n?
False
Let q(c) = -c - 1. Let p be q(-3). Suppose -p*r = 19 - 7. Does 4 divide (-114)/(-27) - r/(-27)?
True
Let a(x) = 5*x + 61. Is 11 a factor of a(-9)?
False
Let b = 55 - -48. Is 24 a factor of b?
False
Let z be (10 - 1)/(1/6). Let u = z - -10. Is u a multiple of 16?
True
Suppose q = 2*s + 13 + 20, 0 = -q + 4*s + 37. Is 5 a factor of q?
False
Let z(o) = -o**2 - 12*o + 11. Let m be z(-13). Is m - (2 + 1*-68) a multiple of 12?
False
Let q(y) = 12*y. Is q(16) a multiple of 32?
True
Let m(n) = n. Let t be m(7). Suppose 37 = 2*o - t. Is 20 a factor of o?
False
Let q(r) = 3*r**3 + r**2 + r. Is q(2) a multiple of 14?
False
Suppose -3*d = -0*d - 9. Let n = d - 0. Suppose -3*m - 3 = -4*m - 5*u, 0 = -u - n. Is 11 a factor of m?
False
Let w be (-3)/(-1)*(-4)/3. Let u(l) = l**3 + 5*l**2 + 3*l - 5. Let r be u(w). Is (2/5)/(r/(-35)) a multiple of 5?
False
Does 10 divide (-2)/5*15/12*-26?
False
Let x(a) = 22*a**2 - 2*a - 1. Is 4 a factor of x(-1)?
False
Suppose -m + 3*m - 2 = 0. Does 24 divide 6*(m - 56/(-6))?
False
Let s(h) = 2*h + 11. Does 23 divide s(12)?
False
Let u = 1 + -1. Suppose -4*f = -3*i + 54, u*i = i - f - 17. Does 14 divide i?
True
Suppose 3*w = x + 48, -5*x + 123 = 5*w + 363. Is 11 a factor of (18/(-4))/(9/x)?
False
Suppose 0 = -g + 2, 5*g - 3 = n - 1. Suppose -2*h + 8 = -n. Does 8 divide h?
True
Does 4 divide ((-64)/3)/((-8)/12)?
True
Suppose 5*a + 5*d - d = -28, 0 = 5*a - 4*d + 12. Is a/(3/(-36)*2) a multiple of 8?
True
Suppose 120 = 3*w - 216. Does 28 divide w?
True
Let v(a) = 3*a**2 + 7*a - 8. Let o(p) = 4*p**2 + 6*p - 7. Let m(c) = -2*o(c) + 3*v(c). Let s be m(-10). Is (-17)/((-1)/(1 - s)) a multiple of 5?
False
Let j = 0 - -3. Suppose j*g = 4*g - 2. Suppose g*z - 3*h - 56 = -0*h, -190 = -5*z - 5*h. Is z a multiple of 17?
True
Suppose 6 = 3*w + d, 4*w + 2*d = d + 8. Suppose 0 = -0*h - 4*h - w*x + 12, 5*h + 5*x = 20. Suppose -u + h*t = 6*t - 70, 10 = 2*t. Is u a multiple of 13?
False
Suppose 0*h = -4*p + 2*h + 70, -5*h + 5 = 2*p. Does 12 divide p?
False
Let t(r) = -r**2 + 10*r - 8. Let o = -8 - -14. Is t(o) a multiple of 8?
True
Let l be 2/2 + (4 - -2). Let z(n) = 3 - l*n + 2 - 4. Is z(-1) a multiple of 5?
False
Suppose 0 = 4*h - h - 264. Is h a multiple of 11?
True
Let u(h) = 2*h**2 + 0*h**2 - 5*h**2 + 3 - h**3 + 2*h - h**3. Does 12 divide u(-3)?
True
Suppose -3*f + 5*v = 11, 0*f + 13 = -f + 4*v. Suppose 39 = 2*x + u, -u + 2 + f = 0. Is x a multiple of 10?
False
Let d(t) = -t**3 - 7*t**2 + t + 6. Suppose f - 7 = 2*f. Let k be d(f). Is (8 - 2)*k/(-2) a multiple of 2?
False
Suppose -209 = -15*i + 61. Does 12 divide i?
False
Let v be (-6)/(1 - 2/(-4)). Let m = -1 - 0. Is 17 a factor of -2*(-82)/v*m?
False
Let t(u) = -u**3 - u**2 + u + 402. Let z be t(0). Suppose -2*l + 4*j = 3*l - 669, 3*l = 3*j + z. Suppose 0 = -5*i + l - 13. Is i a multiple of 12?
True
Let r(n) = 5 + 6 - n - 9*n - n**2. Is 4 a factor of r(-10)?
False
Suppose -6*c - 45 = -9*c. Is 5 a factor of c?
True
Let f(b) = 2*b**2 - b + 14. Is f(-7) a multiple of 11?
False
Suppose 15 = 5*q - 0. Suppose -7 + 4 = -3*l, 5*l - 23 = q*s. Is 4 a factor of 4/s + 28/6?
True
Suppose 4*x = 4*j + 188, -3*x - x - 4*j = -204. Is 22 a factor of x?
False
Suppose 4*f - p - 2*p = 6, 3*f + 3*p = -6. Suppose f = -0*w - 2*w + 2. Is 19 a factor of (-1)/w*(-78)/2?
False
Suppose x - 1 = -5, 5*w + 2*x = 7. Suppose -15 = w*r, 7*r = 4*l + 4*r + 45. Is 13 a factor of 115/3 - (-5)/l?
False
Let h = -29 + 95. Is 13 a factor of h?
False
Let f(s) be the first derivative of -s**4/4 - s**3/3 + s**2/2 + 2*s - 2. Let w be f(-2). Suppose -2*l - o = -40, -28 = -2*l - w*o - 0*o. Is l a multiple of 11?
True
Suppose 2*n + 4*k - 122 = 0, 2*n + 5*k - 98 = 20. Let h = -41 + n. Is 14 a factor of h?
True
Let x(v) = -v**2 + v. Let w(b) = -b**2 - 5*b + 7. Let s be w(-6). Let k be x(s). Suppose 6 + k = 3*z. Is 2 a factor of z?
True
Does 3 divide 2/(4/(-18)*-3)?
True
Let o = 401 - 101. Is o a multiple of 50?
True
Let z = 92 - 37. Is z a multiple of 16?
False
Let n = -24 - -46. Suppose 21 = 2*c + 3*x, -4 = -4*c + c + x. Suppose -4*r + c*r = -n. Is 8 a factor of r?
False
Suppose -8 = -3*q - 2. Let j(z) = -4*z + 2*z + 3*z - z**2 + q*z**2 - 4. Does 5 divide j(3)?
False
Suppose 5*z - 2*d - 15 = 0, 4*z - 4*d - 15 = -z. Suppose z*q - 2*q = 0. Suppose 2*a = 0, -2*s + q*a = 3*a - 18. Is 4 a factor of s?
False
Let r be 4/(-14) - 1692/(-42). Let p = -15 + r. Is p a multiple of 11?
False
Suppose 2*s - 3*b - 12 = 0, -3*s - 2*s + 11 = 2*b. Suppose 4*c - s*c - 14 = 0. Does 7 divide c?
True
Let p(o) = 24*o. Is 16 a factor of p(10)?
True
Let h(l) = -l**2 - 19*l - 2. Let c be -16 + (2 - (-6)/(-2)). Is 8 a factor of h(c)?
True
Suppose 5*c - 196 + 72 = -j, 0 = -3*j - 5*c + 332. Is j a multiple of 26?
True
Let w(n) = 4*n + 7. Let c(h) = 5*h + 8. Let j(g) = -5*c(g) + 6*w(g). Let k be j(6). Is 5 a factor of (-8)/k*(2 - -1)?
False
Suppose 2*y - 6 = 32. Suppose -2*w = 3*b + y, -b + 46 = -4*w + b. Let t = 26 + w. Does 6 divide t?
False
Suppose 0 = -0*z + 4*z - 44. Suppose -2*c + 51 = z. Does 6 divide c?
False
Suppose -10 = -5*c - 0. Suppose c*k + 42 = 3*k. Suppose -k = 2*n - 102. Does 15 divide n?
True
Let w(z) = z**2 - z. Let o(h) = 10*h**2 - 10*h - 2. Let t(u) = -o(u) + 12*w(u). Suppose 2*k - 6 = n, -4*k + 2*n - n = -14. Is t(k) a multiple of 26?
True
Suppose -3*y + 0 = -c - 1, 2*y = 4*c + 4. Suppose 4*d - 40 = -4*i, y = -3*i - 0*d + d + 30. Is i a multiple of 5?
True
Let y(r) = r**3 - 6*r**2 + 6*r - 12. Is 6 a factor of y(6)?
True
Suppose 4*s - 140 = -0*r - 4*r, -40 = -r - 2*s. Is r a multiple of 10?
True
Let k(h) = -h. Let j be k(-2). Suppose o = j*o. Does 14 divide (o + 1)*33 - 1?
False
Let q(m) = -m**3 + 5*m**2 + 3*m + 3. Let d be q(4). Let k(p) = -p**2 + 7*p + 2. Let f be k(4). Let v = d - f.