y?
True
Let y(r) = r**3 - 2*r**2 + 8. Does 31 divide y(5)?
False
Let w(t) = 6 + t - 4*t + 4*t - 1. Let c be w(-6). Is 17 a factor of c/(1/(-21)) + 1?
False
Let d be 6/2 + 4 + -12. Let r = d - -29. Is r a multiple of 12?
True
Let n = -138 + 348. Is n a multiple of 14?
True
Suppose -2*x + 2*j = -106, -5*x - j + 265 = 2*j. Let m = x - 36. Is 8 a factor of m?
False
Let t(n) = -35*n + 35. Is t(-7) a multiple of 14?
True
Let a(z) be the third derivative of z**4/4 - z**3/3 + 2*z**2. Is 8 a factor of a(2)?
False
Suppose 2*k - 74 = -12. Is k a multiple of 6?
False
Let f be 4466/42 - 2/6. Let z = f - 61. Is 15 a factor of z?
True
Let x(j) = j**2 - 13*j - 1. Does 8 divide x(15)?
False
Let s(f) = -2*f**3 - 7*f**2 + 2*f + 6. Is 26 a factor of s(-6)?
False
Suppose 4*r + 0*w + 11 = -w, r - 1 = -w. Let d(h) = -h**3 - 5*h**2 - 4*h + 1. Let u be d(r). Is 3 a factor of (3/u)/(-1 - -2)?
True
Suppose -3*l = -q - 126, -4*l = l + 4*q - 210. Is l a multiple of 8?
False
Let c(n) = 7*n**2 + 39*n - 10. Does 21 divide c(-7)?
False
Let d = 34 - -14. Is 6 a factor of d?
True
Let o = -57 - -107. Does 10 divide o?
True
Let w(u) be the first derivative of u**3/3 + 5*u**2 + 6*u - 1. Let h be w(-10). Suppose h*k - 2*k - 104 = 0. Is k a multiple of 15?
False
Suppose 3*b - 36 = -v, 5*b - 128 = -4*v + b. Is v a multiple of 15?
True
Let b be ((-3)/(-2))/((-15)/100). Let g be (-22)/(-5) - (-4)/b. Suppose -4*k = -4*x - 108, g*k - x + 2*x = 98. Does 11 divide k?
False
Suppose -2*f + 3*i + i = -106, 5*i - 148 = -3*f. Is f a multiple of 5?
False
Let n(i) = -i**2 - 2 - 1 + 8 - i**2 + 2*i. Let f be n(4). Let o = f - -35. Is o a multiple of 16?
True
Let p(x) = x**2 - x - 2. Let h be p(2). Suppose h = 3*s - 5 - 10. Does 5 divide (1 + 0)/(s/50)?
True
Suppose 0 = -5*k - 4*h + 101, -4*k - 2*h + 60 + 16 = 0. Does 5 divide k?
False
Suppose 10 - 4 = f. Does 5 divide f?
False
Suppose 20 = x - 18. Suppose p + x = 3*p. Does 19 divide p?
True
Let b = -97 - -340. Is 12 a factor of b?
False
Let z(y) = 3*y**2 + y - 6*y - y**2. Does 21 divide z(-4)?
False
Let r = -3 - 9. Let a be ((-8)/r)/((-2)/18). Let f(y) = y**3 + 6*y**2 + 6. Does 5 divide f(a)?
False
Let j be (-1 + 2)/((-8)/(-528)). Let s = 14 - 10. Suppose -j = z - s*z. Is z a multiple of 11?
True
Let q be 2 - (-12)/4 - 2. Suppose 144 = -2*x + 7*x + q*j, x - 5*j - 40 = 0. Is x a multiple of 15?
True
Suppose -8 = 4*y - 56. Suppose -18 = -2*x + y. Is x a multiple of 4?
False
Suppose -3*y + 11 = -1. Let g(l) = -l**3 + 5*l**2 - 3*l + 2. Let n be g(y). Suppose n*w - 50 = w. Is 10 a factor of w?
True
Let k(i) = -i**2 - i + 34. Let g be (-3)/(-15) - (-3)/(-15). Is 9 a factor of k(g)?
False
Let g(o) be the first derivative of o**5/20 + o**4/4 - 2*o**3/3 - 3*o**2/2 + 2*o + 1. Let i(f) be the first derivative of g(f). Is i(-3) a multiple of 9?
True
Let f be (-2)/6 - 205/15. Is 16 a factor of 14 + 7/(f/(-4))?
True
Does 31 divide 1522/22 + (-2)/11?
False
Let g(n) = n - 1. Let c(i) = -i - 10. Let k(l) = c(l) - 6*g(l). Let h(u) = u**3 - 4*u**2 + 4*u - 3. Let b be h(2). Is 6 a factor of k(b)?
False
Suppose 5*x - 70 = 15. Is x a multiple of 17?
True
Let n(a) = 5*a + 9*a + 1 + 1. Is n(2) a multiple of 16?
False
Let i(d) = -6*d + 1. Suppose -5*t + 13 = 33. Is 10 a factor of i(t)?
False
Let x = 56 - 30. Is x a multiple of 10?
False
Let b(n) be the first derivative of 1 + 2*n**2 - 3*n**2 + 0 - 7*n - 3. Does 13 divide b(-10)?
True
Suppose 9*o + 38 = 10*o. Is o a multiple of 11?
False
Let p = 84 - 64. Is 20 a factor of p?
True
Let i be 1228/22 - 2/(-11). Suppose 4*f - i = -3*a + 66, -8 = 4*a. Is 16 a factor of f?
True
Let i = -93 - -96. Is i a multiple of 3?
True
Suppose -3*u + 1434 - 369 = 0. Is u a multiple of 51?
False
Suppose -582 = 4*n - n. Is 12 a factor of (-2)/8 + n/(-8)?
True
Suppose 0 = -2*s + 9 - 1. Suppose 0 = -2*d + s*d. Is -1 + (0 - (d + -9)) a multiple of 4?
True
Let j(i) = 9*i - 16. Is j(3) a multiple of 2?
False
Let z be (-10)/(-3)*(-3 + 0). Let c = z - -4. Does 5 divide 16/3*c/(-2)?
False
Let c(y) be the second derivative of y**5/20 + 5*y**4/12 + y**3 + 2*y. Let a be c(-4). Let p = a - -13. Is p a multiple of 5?
True
Let c = 239 - 120. Does 22 divide c?
False
Suppose -5*l - 2 + 17 = 0, 4*l - 4 = 4*x. Suppose 6*z = x*z + 236. Is 16 a factor of z?
False
Let d(f) = -f**3 + 4*f**2 + 5*f + 3. Is d(4) a multiple of 6?
False
Suppose -5*k + 6 - 26 = 0. Is 2 + (-64)/k + -1 a multiple of 6?
False
Is 243/4 - 9/12 a multiple of 15?
True
Let s = 0 + -5. Does 9 divide s*1/(5/(-22))?
False
Let u(j) = -j**2 + 4*j - 1. Let d be u(3). Suppose 0*v + d*v = 4. Suppose v*b - 11 = -x, 2*x + 1 = -2*b - 3*x. Is 7 a factor of b?
True
Suppose -p - 14 = 4*u, 0 = -5*p - 4*u - 22 - 0. Let n be (3/p)/((-9)/18). Suppose -o - 12 = -n*o. Is o a multiple of 2?
True
Let d be 0/(-2 + 0/(-4)). Suppose -32 = -i - d*i. Is 14 a factor of i?
False
Let j(t) = t**2 + 2*t - 4. Let y be (0 - 1)*(3 + -7). Let d = 0 + y. Is 10 a factor of j(d)?
True
Suppose 0 = 4*u - 204 - 164. Is 23 a factor of u?
True
Let r be 12/(-5)*10/(-3). Let b = 11 - r. Suppose b*y - 14 = 10. Is y a multiple of 8?
True
Suppose -6 = -5*n - 3*k + 84, -27 = -2*n - 3*k. Let l = 52 - n. Is 11 a factor of l?
False
Let o(j) = -j**3 - j**2 - 1. Let w be o(2). Let u = w + 34. Is 6 a factor of u?
False
Let b(k) = 10*k - 11. Let r be b(-6). Let w = 101 + r. Does 15 divide w?
True
Let a = 10 + -5. Suppose 3 = s - 4*b + 4, 17 = 5*s + 2*b. Suppose -a*u = -4*r - 80, 3*u + 2 = s*r + 53. Does 4 divide u?
True
Let b(l) = -7*l - 2. Is 13 a factor of b(-9)?
False
Let d(n) = -438*n + 19. Let v be d(8). Is v/(-119) - 2/7 a multiple of 10?
False
Let l(g) be the third derivative of g**6/120 - g**5/6 - 7*g**4/24 - g**2. Is l(11) a multiple of 20?
False
Let b(m) = -m**2 + 2 + 3*m**2 + m - 1. Suppose -z + 4*z = 6. Does 4 divide b(z)?
False
Suppose 2*y = y + 5*q + 69, 0 = 5*y + 4*q - 461. Is y a multiple of 10?
False
Let i(m) = 34*m**2 + 2*m. Does 9 divide i(1)?
True
Suppose 0*j - 4*j = -8. Suppose 0 = 4*f - 18 - j, -2*v = 2*f - 32. Is 11 a factor of v?
True
Suppose x = 4*b - 179, 0*b = -2*b + 3*x + 97. Let i = b + -16. Is i a multiple of 7?
True
Let m(o) be the first derivative of 3*o**4/2 - o + 3. Let f be m(1). Suppose -4*l + f*l = 4. Is 2 a factor of l?
True
Let x(b) be the third derivative of -b**6/120 + b**5/12 + b**3/6 + 9*b**2. Does 19 divide x(3)?
True
Suppose 0 = f - 406 - 3. Let h = -244 + f. Suppose h = 4*c + 5. Is c a multiple of 16?
False
Is 5 a factor of -6*7/5*-5?
False
Let a = -7 - -65. Suppose -5*p + 158 - a = 0. Does 20 divide p?
True
Let w(y) = 32*y**2 + 1. Let n be w(1). Suppose 27 = -4*r - 3*j, -r - 5*j = 4*r + 35. Let g = r + n. Is g a multiple of 9?
True
Let r(l) = l**3 + 8*l**2 - 11*l - 4. Let q be -1*1 + -1 + -6. Let p be r(q). Suppose -p = -5*u + 31. Is 19 a factor of u?
False
Let b = -26 + 26. Is 19 a factor of -4 - -27 - (b + 1)?
False
Suppose -3*r - 968 = r. Does 24 divide r/(-10) + 1/(-5)?
True
Does 5 divide 0/(-10 - -6) - -10?
True
Let q(h) = 12*h**3 - h**2 + 5*h - 8. Is q(2) a multiple of 13?
False
Suppose -2*n - 3*n + 17 = -i, n = 1. Let o = i + 24. Is o a multiple of 3?
True
Let o = -8 - -18. Is o a multiple of 3?
False
Suppose -5*u - 5*n + 260 = 0, -4*u = -2*n - 288 + 56. Suppose -o - 4*x = -u, -3*x = 4*o - 67 - 105. Is 20 a factor of o?
True
Let x(a) be the third derivative of a**8/3360 - a**7/504 + a**6/720 + a**4/24 + 4*a**2. Let s(y) be the second derivative of x(y). Is s(4) a multiple of 18?
False
Suppose 2*g - 68 - 76 = 0. Does 12 divide g?
True
Suppose 0*n = n + 3*t + 10, 0 = -3*n + 5*t + 12. Let h be n + 3 + -1 + 2. Does 7 divide h/(-12) + 255/12?
True
Let l = -1 - -26. Is 2 a factor of l?
False
Let f(s) = s**2 - 8*s + 8. Let n be f(7). Let u(x) = 32*x**2 + x. Let k be u(n). Let q = k + -18. Does 15 divide q?
True
Suppose 2*l + 4*r = 1178, 4*l - 2321 = -2*r + r. Is (-8)/(-12) + l/9 a multiple of 13?
True
Let v = -496 + 908. Is v a multiple of 35?
False
Let r = -74 + 98. Is 6 a factor of r?
True
Let i(u) = 30*u**2 - 3*u. Is i(2) a multiple of 19?
True
Let o = 31 - 9. Is o a multiple of 11?
True
Suppose -4*v + 2*i = -3*v + 8, 3*v + 5*i = -68. Let k(g) = 6*g - 2. Let a be k(5). Let r = v + a. Does 6 divide r?
True
Suppose 44 = f + 2*m, -5*f - 5*m + 102 = -118. Is f a multiple of 22?
True
Let a(r) = -r + 1. L