 z. Does 11 divide a?
True
Let j = 12 - 9. Suppose -2*y = -2*n - j*n + 346, y + 278 = 4*n. Let m = n - 45. Is 11 a factor of m?
False
Is 19 + (-5)/(15/(-6)) a multiple of 7?
True
Does 19 divide (-56)/(-3) - (-2)/6?
True
Let v(k) = -2*k**3 - 3*k**2 - 2*k - 4. Let h be v(-2). Suppose -h*g = 2*g - 12. Does 2 divide g?
True
Let i = -416 - -596. Is i a multiple of 18?
True
Let q = -5 + 9. Suppose 0 = q*u - 0*u - 88. Does 11 divide u?
True
Let n(w) be the first derivative of 2*w**3/3 + 5*w**2/2 + 5*w - 12. Let x = 5 + -10. Does 15 divide n(x)?
True
Suppose -7*v + 240 = -3*v. Is 25 a factor of v?
False
Let l(b) = b**3 + b. Let c(a) = 9*a**3 + a**2 + 7*a - 1. Let u(f) = -c(f) + 6*l(f). Let s be u(1). Does 12 divide (0 - 6)*1*s?
True
Let r(b) = -b + 3. Suppose 2*p = -0*x - x - 4, 32 = 3*x - 5*p. Let i be r(x). Let z = i + 6. Is z a multiple of 5?
True
Suppose 10*w - 420 = 3*w. Is w a multiple of 15?
True
Let l = -200 + 328. Does 32 divide l?
True
Let o(l) = 2*l + 1. Let s be o(-2). Suppose -5*d + 10 = 2*h + 2*h, 5*h = 0. Is 15 a factor of (-285)/(-9) + d/s?
False
Suppose 5*a - 673 = 3*v, 3*v - 1 + 4 = 0. Suppose 5*f = -3*w + 151, -4*f + 3*w - w + a = 0. Is 16 a factor of f?
True
Let m be -2*(-2 + -1 - 1). Suppose 0 = 2*a + 5*d - 29, -m = 2*a - 4*d - 28. Is 6 a factor of a?
True
Suppose -h = c - 134, 7*h = 6*h + 4*c + 139. Is 46 a factor of h?
False
Let y = -2 + 2. Suppose y = -2*o + o + 41. Is 19 a factor of o?
False
Suppose 21 = -5*k - 4, -5*j + 4*k = -290. Is j a multiple of 18?
True
Let r(f) = -7*f - 3. Let z be r(-5). Suppose -16 = -3*l + z. Is 5 a factor of l?
False
Let s be (-7 - -13)*(-17)/2. Let f be 75*(s/(-15) - 3). Is 3 a factor of f/(-20)*(-5 + -1)?
True
Let r = 20 + -16. Suppose -p = -14 - r. Is p a multiple of 9?
True
Suppose -2*q + 0*o = o - 103, 4*q + 5*o - 215 = 0. Is q a multiple of 8?
False
Suppose 101 = k + 3*o, 2*o = -k + 4*k - 336. Does 11 divide k?
True
Let y = -2 - -2. Suppose -5*f = 1 - 16. Suppose 0 = -2*u - 5*d + 16, y = 3*u + f*d - 0*d - 24. Is u a multiple of 4?
True
Let k(y) = 3*y + 0*y - y + 2 - 4*y + y**2. Let b be k(3). Suppose 3*d - 63 = -3*l, l = -2*l - b*d + 53. Is l a multiple of 13?
True
Let z = -233 + 383. Is z a multiple of 16?
False
Suppose 4*n + 56 = 2*c, -c + n - 2 = -27. Suppose 2*d = 4*t - 16, c - 2 = 4*t. Does 2 divide d?
True
Let g = 73 + -37. Does 12 divide g?
True
Suppose 0 = -5*h - 3*w - 0*w + 272, 2*h - 112 = -2*w. Is 13 a factor of h?
True
Let p(y) = -y - 2. Let g(k) = -2*k + 1. Let d be g(6). Is 3 a factor of p(d)?
True
Suppose 2*m - 5*m = 15. Is 11 a factor of (66/(-15))/(1/m)?
True
Let u(z) = z**3 - 4*z**2 - 3*z - 3. Let w be u(6). Let o = -27 + w. Is 18 a factor of o?
False
Let f(i) = -i**2 + 13*i - 3. Let x be f(10). Suppose x = 5*a - 18. Does 9 divide a?
True
Let w be 3 - ((-2)/2 - 1). Suppose 110 = w*v - 2*q, -4*v = q + 2*q - 111. Does 8 divide v?
True
Let z(b) be the third derivative of b**6/360 + 3*b**5/40 + 7*b**4/24 + b**3/2 - 2*b**2. Let u(h) be the first derivative of z(h). Is u(-9) a multiple of 7?
True
Let u = 25 + 2. Is 10 a factor of u?
False
Suppose -4*t + 2 + 2 = 0. Let p = -6 - t. Let r(y) = -y**3 - 6*y**2 + 3*y - 10. Does 9 divide r(p)?
True
Suppose 4*m + w = -0*m + 153, 0 = -4*m + w + 159. Is m a multiple of 13?
True
Let j(y) = -y**3 + 11*y**2 - y - 10. Is 31 a factor of j(10)?
False
Suppose 0 = 5*g - f - 19, g - 4*g = -5*f - 7. Suppose 0 = g*v - 100 - 12. Does 17 divide v?
False
Let n(b) = b - 10. Let x be n(10). Suppose -z = -4*y - x*y + 66, -2*y + 2*z + 36 = 0. Suppose 0 = -5*l + 4*t + 40, -2*l + y = -4*t - 0. Is l a multiple of 8?
True
Let b(j) be the second derivative of -j**5/20 + j**4/6 + j**3/3 + 2*j. Is b(2) a multiple of 3?
False
Let d(m) = -12*m - 20. Is 4 a factor of d(-6)?
True
Let m(u) = -u**3 - 4*u**2 - 5*u - 4. Let p be m(-4). Suppose -3*r + p = b, 5*b - 2*r - 3 = 26. Does 2 divide b?
False
Let h = 0 + 5. Suppose 120 + 90 = h*i. Is i a multiple of 15?
False
Is (-28)/2*144/(-28) a multiple of 24?
True
Let m be 1 - 2/((-4)/(-4)). Let o(v) = -42*v - 1. Is o(m) a multiple of 9?
False
Let f(c) = -3*c**3 - c**2 + 3*c + 2. Suppose a = 3 - 1. Suppose -15 = -5*y, -4 = -0*u - u - a*y. Does 11 divide f(u)?
False
Let i(o) = -2*o**2 - o + 2. Let f(j) = -2*j**2 - j + 2. Let x(z) = -3*f(z) + 2*i(z). Let u be x(-2). Is 5 a factor of u/(-10) + (-64)/(-10)?
False
Suppose z - 4 - 2 = 0. Suppose 0 = b - 4 - 1. Let x = b + z. Is 6 a factor of x?
False
Let l(u) = -2*u. Let g be l(3). Let n = g + 8. Is n/8 + (-21)/(-12) even?
True
Let a(v) = -6*v**2 + 2*v + 4. Let o be a(3). Let g = -18 - o. Is g a multiple of 15?
False
Let q(y) = -2*y**3 - 4*y + y**3 + 2 + 2*y**2 + y**2 + 2*y**2. Let x be q(4). Suppose -x*u + 40 = 2*u. Is 4 a factor of u?
False
Let j = -263 + 769. Does 22 divide j?
True
Let r = -90 - -146. Is r a multiple of 14?
True
Let k(m) = -m - 14. Let s be k(0). Let q = -6 - s. Does 4 divide q?
True
Suppose 3*o - 4 = o. Let w(m) be the first derivative of 2*m**3/3 + m**2 - 2*m - 2. Does 10 divide w(o)?
True
Let b = -17 + 31. Suppose 4 = -5*r - 4*u, 3*r - u = -4*u. Let w = r + b. Is w a multiple of 3?
False
Let j = -34 - -76. Is 21 a factor of j?
True
Let y(d) = -d - 21 + 21 - d**2 - 27*d**3. Is 21 a factor of y(-1)?
False
Let o = -251 + 421. Is 17 a factor of o?
True
Suppose 21 = 3*k + 3. Does 10 divide k/7*5*7?
True
Let m(g) = -6*g**2 + 5*g + 4. Let c(y) = 7*y**2 - 4*y - 5. Let p(a) = 5*c(a) + 6*m(a). Let n be 8/(-3)*18/(-8). Is 10 a factor of p(n)?
False
Is 4 a factor of 1/(-3) - (-765)/27?
True
Let z = 297 + -205. Suppose -s - z = -3*s. Suppose -y - s = 5*i - 237, 2*i = -3*y + 79. Does 14 divide i?
False
Let y = -7 - -9. Suppose c + 216 = 4*k, c - 108 = -y*k + 6*c. Does 15 divide k?
False
Suppose 16*w = 21*w - 115. Is 3 a factor of w?
False
Suppose 0 = 2*t + 5 + 1, -3*f + 2*t - 246 = 0. Let n be (f/(-8))/((-1)/(-6)). Suppose -3*v = -n - 51. Does 19 divide v?
True
Suppose 0 = 6*l + 18 + 12. Is 9 a factor of (-1)/((l/23)/5)?
False
Suppose 3*y - 4*g = 37, g - 6*g - 6 = 2*y. Is 2 a factor of y?
False
Let f(x) = -4*x**3 - x**2 + 2*x + 2. Let q be f(-1). Suppose 2*i = 3*i. Suppose q*l - 10 - 44 = i. Is 18 a factor of l?
True
Let g(l) = 9*l**2 + l - 1. Let h be g(-3). Suppose 5*s = 4*p - 225, -4*p - 2*s + 217 = s. Let b = h - p. Does 10 divide b?
False
Let i(l) = -11*l + 4. Let u(b) = -17*b + 6. Let y(o) = 8*i(o) - 5*u(o). Suppose 0 = -4*m, -2*j - 4 = -5*m + 2*m. Does 5 divide y(j)?
False
Suppose 0 = 3*g + 5*i - 44 - 59, 4*g - 5*i - 79 = 0. Is 7 a factor of g?
False
Is 14 a factor of 282 - (5 + -3) - (-4)/1?
False
Suppose -p - 2 - 8 = 0. Let s = 31 + p. Suppose 5*w - 24 = s. Is w a multiple of 7?
False
Suppose -5*s + 5*x + 92 + 98 = 0, 3*s = -2*x + 129. Let o = s + -23. Does 9 divide o?
True
Let s(f) be the second derivative of f**3/6 + 6*f**2 + f. Let p be -2*(-28)/(-8) - -2. Is s(p) a multiple of 3?
False
Let w = 196 - 173. Is w a multiple of 2?
False
Let z(w) = -w**3 + 13*w**2 - 8*w + 35. Is z(11) a multiple of 9?
True
Suppose 0 = 7*y - 304 - 900. Is 8 a factor of y?
False
Let x = 1 + 8. Let v = 21 - x. Does 11 divide v?
False
Suppose 0 = 5*x + j - 52, 24 = 3*x - 4*j + j. Suppose -f - 2*d = 4*f - 19, -4*f = -d - x. Is f a multiple of 3?
True
Suppose 3*i - 6 = -j, -2*i = 3*i - 5. Suppose 3*h - 66 = -j*y, y + 5*h + 6 = 32. Is 6 a factor of y?
False
Let q be (156/8)/(3/8). Suppose 0 = -v - 3*l + q, -2*v + 94 = -2*l + 3*l. Does 23 divide v?
True
Let r(m) = m + 4. Let u be r(0). Let z = 1 + u. Suppose y - z*y + 68 = 0. Is y a multiple of 6?
False
Suppose -4*i + 5*m = -806, i - 198 = 3*m - 0*m. Is i a multiple of 42?
False
Let g = 67 + -44. Let c = 16 + g. Does 13 divide c?
True
Suppose 2*x + 330 = 7*x. Does 24 divide x?
False
Suppose -3*f + 5*w = -8*f + 310, w = -1. Does 13 divide f?
False
Suppose 5*t - 14 = -2*b, -2*t = -0*t + b - 6. Suppose -i = r - 37, -2*i + 154 = t*i + 2*r. Does 11 divide i?
False
Let s = 79 + -14. Does 2 divide s?
False
Suppose -5*q - 21 - 9 = 0. Let f be q*1/(-2)*7. Does 3 divide 162/f - 4/(-14)?
False
Let k(q) = -q**3 + 7*q**2 - 2*q + 5. Let f be k(7). Let z = 18 - f. Does 8 divide z?
False
Suppose -14 = 42*a - 43*a. Is a a multiple of 7?
True
Suppose 2*i - 6 = 12. Does 5 divide i?
False
Let p be (-119)/(-6) - (-5)/30. Does 17 divide (-139)/(-4) + (-15)/p?