f - 1. Let w(j) = -j**2 - 4*j - 1. Let y(n) = 4*b(n) - w(n). Does 4 divide y(-3)?
False
Is 15/3 - 132/(-2) a multiple of 10?
False
Let h be 3 + (1 - (-1 - 2)). Suppose 0 = 2*y - h + 3. Suppose -y*x + 49 = 1. Is x a multiple of 24?
True
Suppose f - 2*n - 9 = 0, 4*f - 17 = 2*n + 1. Is 2 a factor of f?
False
Does 11 divide 2250/51 + 2/(-17)?
True
Suppose -15*i + 1638 = -6*i. Does 19 divide i?
False
Suppose -5*a = -3*t - 647, 0 = -3*a - 2*t + 278 + 114. Suppose a = 3*k + f, k = -0*k - 5*f + 34. Is k a multiple of 11?
True
Suppose -123 = -5*a - q + 77, 0 = -2*a + q + 87. Is 11 a factor of a?
False
Let c = -1 - 9. Let g = 6 + c. Let z(x) = -5*x - 2. Is z(g) a multiple of 6?
True
Let m = 7 - 7. Suppose 2*a + m = 2. Is (-28)/8*(a + -9) a multiple of 11?
False
Let o be -2 - (-6 + 2 + 2). Suppose o = 4*y - 24 - 52. Is y/(1 - (0 + 0)) a multiple of 19?
True
Suppose -4*d = -0*d - 40. Let m be ((-16)/(-10))/(d/25). Suppose 0 = -3*c - n + 14, -m*c - 2*n + 7 = -15. Is c even?
False
Let t be 9 + (-4 - 3/(-3)). Suppose -4*q + a + 56 = 0, t*q - q - 2*a - 67 = 0. Is q a multiple of 5?
True
Let j(d) = 4*d**2 + 4*d - 8. Is j(4) a multiple of 12?
True
Let z = -6 + 5. Let m(w) = -33*w - 2. Does 7 divide m(z)?
False
Let v(l) = -12*l**3 - l**2 + 1. Suppose c + 3*c = -5*r - 31, -15 = 5*r. Let y = c + 3. Is v(y) a multiple of 12?
True
Let f = -1 - -2. Suppose -11 = -5*j - 3*n, 0*j - n + f = j. Suppose -64 - 8 = -j*g. Is g a multiple of 9?
True
Let l(y) = y**3 - 4*y**2 + 3. Let p be l(4). Suppose 7 = g - m, -2*g + 5*m - 1 = -p*g. Is g a multiple of 3?
True
Let d = 102 + -2. Is d a multiple of 20?
True
Suppose x + 3*x - 44 = 0. Let c = x + -1. Does 2 divide (30/25)/(3/c)?
True
Let c be 56/12 - (-2)/6. Suppose 0*j - 85 = -c*j. Is 12 a factor of j?
False
Let i be (-9)/3 + (-1 - -7). Suppose 0 = -2*b - i - 1. Let o = 12 - b. Is o a multiple of 14?
True
Suppose -4*l + 0*l = -300. Is l a multiple of 25?
True
Let m(p) be the third derivative of -p**5/30 - p**4/24 - 2*p**3/3 - 2*p**2. Let o be m(-3). Let r = -11 - o. Is 8 a factor of r?
True
Suppose -d - 35 + 4 = -3*f, f + 5*d = 21. Is 4 a factor of f?
False
Let l = 165 + -125. Is 20 a factor of l?
True
Let u = -3 + 3. Suppose u = 3*d - 3 - 18. Does 4 divide d?
False
Let i = -7 - -9. Suppose p + i*z - 20 = -0*z, 0 = 5*p - 2*z - 40. Does 7 divide p?
False
Suppose -2*w + b + 12 = 0, 0 = 2*b + 3*b. Let r(m) = 7*m**2 + 0*m**2 - 28 + 30 - m**3. Is 17 a factor of r(w)?
False
Let s(j) = -j**2 - 8*j - 2. Let i be s(-8). Let a(n) = 2*n**2 - n - 2. Let r be a(i). Suppose -5*t + r*t - 42 = 0. Does 4 divide t?
False
Let n(j) = j**2 + 16*j - 11. Let b(g) = g**3 - 9*g**2 - 2*g + 1. Let w be b(9). Is n(w) a multiple of 2?
True
Let k = 32 - 48. Suppose 0 = -5*r + r - 128. Let m = k - r. Is m a multiple of 8?
True
Is 13 a factor of 65/(-1)*9/(-15)?
True
Let o be 4*(15/(-6))/(-5). Suppose 0 = -q - o*w + 29, 3*w + 0*w - 30 = -q. Suppose 167 = 5*a + q. Is 14 a factor of a?
True
Suppose -5*p + 15 = -5*x - 0*p, -4*x + 2*p = 14. Let k = 0 - x. Is k even?
True
Suppose -2*b + 5 + 55 = 0. Does 5 divide b?
True
Let q = 59 + 11. Is 5 a factor of q?
True
Suppose 2*i - 4*h = 28, -h + 26 - 5 = 3*i. Let a(d) = d**2 - 6*d. Does 16 divide a(i)?
True
Suppose -411 = -4*r + 5*u, -5*r + 209 + 271 = 5*u. Is r a multiple of 11?
True
Let i(g) = -4*g**2 - 6*g + 9. Let b(w) = 5*w**2 + 6*w - 9. Let z(n) = 5*b(n) + 6*i(n). Let d = -14 - -20. Does 3 divide z(d)?
True
Suppose 0 = -3*p - 7 - 5, 5*p + 236 = -3*n. Is 18 a factor of (n/10)/(5/(-25))?
True
Suppose 0 = 3*c + 3*k - 1125, -1784 = -4*c - 2*k - 278. Is 54 a factor of c?
True
Let v(n) = -n**3 + 9*n**2 - 8*n - 15. Is 9 a factor of v(7)?
True
Suppose 3*s + 2*m - 46 - 14 = 0, s + 2*m = 16. Let h(o) = -o**3 + 4*o**2 - 4*o + 3. Let y be h(2). Is s/(-2 + 12/y) a multiple of 9?
False
Let n = -11 + 0. Let m = -7 - n. Suppose -72 = -4*r + m*z, -z - 4 + 6 = 0. Is 10 a factor of r?
True
Suppose d = -3 + 71. Is 17 a factor of d?
True
Let c = -8 - -15. Suppose z + 5 = c. Suppose 3*l = z*s - 0*l - 29, 79 = 5*s - l. Does 8 divide s?
True
Suppose -h - 4*h = -z - 12, 0 = 4*h - 4*z. Suppose r - 23 = -n, -h*n = -5*r - 5*n + 103. Does 8 divide r?
False
Suppose 5*y + 46 = 256. Does 7 divide y?
True
Let c(y) = -y - 10. Let j(i) = -4*i - 29. Let w(f) = 11*c(f) - 4*j(f). Suppose -6 = -0*z - z. Does 18 divide w(z)?
True
Suppose -4*q + 6*q - 82 = 0. Does 21 divide q?
False
Let y(x) = -x**3 - x**2 + 4. Let b be y(0). Suppose 39 = -4*p + 5*v + 173, -5*p + b*v + 172 = 0. Does 12 divide p?
True
Let h be 276/15 + (-4)/10. Let j = h + -1. Is j a multiple of 17?
True
Suppose -3*m + 42 = -36. Is 4 a factor of m?
False
Let q(j) = j**2 - 7*j + 3. Let i be q(7). Let h(g) = g**2 + 3*g + 2. Does 13 divide h(i)?
False
Suppose 5*d = 2*x + 208, 6*d - 3*d + 4*x = 104. Suppose 2*s + d = 3*s. Does 16 divide s?
False
Let a(x) = 12*x. Is 15 a factor of a(5)?
True
Suppose -4*i = -9*i + 270. Suppose -i = 2*m - 5*m. Is m a multiple of 3?
True
Let d(w) = -6*w**3 - w**2. Let f be d(-1). Suppose 0 = -6*x + f*x + 5. Is 5 a factor of x?
True
Suppose 19 = d - 6. Suppose -f + 20 = 4*c, 3*f - d = -5*c - 0*c. Suppose -5*x - j - 4*j + 80 = f, -2*j - 73 = -3*x. Is 10 a factor of x?
False
Let n be (0/(-1))/(2/1). Suppose -k + 7*k - 180 = n. Does 10 divide k?
True
Suppose 4 - 10 = -3*h. Suppose -5*k + h*r + 56 = -105, -70 = -2*k - 2*r. Is 11 a factor of k?
True
Let g = 8 + 25. Is g a multiple of 2?
False
Suppose -2*b + 0*b = 6, 2*b + 2 = 4*j. Suppose 35*p = 41*p + 78. Let k = j - p. Does 6 divide k?
True
Let f(x) = -1 - 6*x + 7 + 0 + x. Does 12 divide f(-6)?
True
Let t(g) = 11*g - 3. Suppose -3*k - b + 1 = -0*b, -3*k - 4*b - 14 = 0. Does 7 divide t(k)?
False
Let h(x) = 119*x**2 - 7*x + 4. Let d(n) = 59*n**2 - 3*n + 2. Let m(c) = 13*d(c) - 6*h(c). Is m(-1) a multiple of 26?
True
Let w(p) = -p**3 - 14*p**2 + 22*p - 6. Does 13 divide w(-16)?
False
Let k = -9 - -98. Suppose -o - 3*j = -69, o + 8 - k = 3*j. Does 19 divide o?
False
Let d(u) = u**3 + 4*u**2 - u + 3. Suppose 4*g = 4*r + 20, -2 = -2*r + 3*r + 2*g. Is d(r) a multiple of 7?
True
Let l be (-2)/(-4) - 34/4. Let q(f) = 3*f**3 + 3*f**2 - f - 4. Let b be q(-3). Let v = l - b. Does 20 divide v?
False
Let t be 1*-1 + 8/8. Does 11 divide 1*(12 - t/1)?
False
Let j(x) be the second derivative of x**5/10 - x**4/4 - 2*x**3/3 - 2*x**2 - 2*x. Does 15 divide j(4)?
True
Let h be 6/(-4)*(-8)/12. Let a(s) = s**3 + 5*s**2 - 5*s - 4. Let u be a(-6). Does 9 divide (-2 - h)/(2/u)?
False
Let q = -4 - 2. Let r(f) = f**3 + 7*f**2 + 7*f + 8. Let o be r(q). Is 10 a factor of (-219)/(-15) + o/5?
False
Suppose v + v + 8 = 0. Let n be v/14 + (-4)/(-14). Suppose -4*p + 36 = -n*p. Does 9 divide p?
True
Let g = 2 - 6. Is 5 a factor of g/((-16)/(-10) + -2)?
True
Let a(z) = -13*z**3 + z**2. Let t(h) = -h**3 - 3*h**2 - 4*h - 2. Let j be t(-2). Let k be (-1)/2*j/1. Does 7 divide a(k)?
True
Let p = 505 - 711. Is p/(-6) + (-2)/(-3) a multiple of 17?
False
Does 17 divide (136/(-12))/(2/(-9))?
True
Suppose 7*v - 138 = 10*v. Let f = 108 + v. Does 18 divide f?
False
Let d(k) be the second derivative of -k**5/20 - k**4/2 - 2*k**3/3 + 7*k**2/2 - 3*k. Does 2 divide d(-5)?
True
Let i(o) = 4*o**3 + 3*o**2 - 2*o + 3. Is 23 a factor of i(2)?
False
Suppose -22 = -3*g - 3*u - 1, g - u - 1 = 0. Let t be (-604)/(-8) + (-2)/g. Suppose -y = 4*m - 111 - 50, 0 = 2*m - 5*y - t. Is 17 a factor of m?
False
Let p = 17 - -1. Is p + (-3)/(3 + 0) a multiple of 7?
False
Suppose 0 = -i + 3*i - 162. Is i a multiple of 21?
False
Let y be (-42)/(-9) + 1/3. Let k be (-34 + 16)*2/(-1). Suppose -2*c - 40 = -2*b + 10, k = 2*b + y*c. Is b a multiple of 23?
True
Let v(x) = 6*x**2 - 41*x - 30. Let g(k) = k**2 - 8*k - 6. Let a(b) = -11*g(b) + 2*v(b). Does 13 divide a(-8)?
False
Is 8 a factor of 2/8 - (-318)/8?
True
Let a be 4 - 2*2/(-4). Suppose -a*y + 2*l + l + 12 = 0, 0 = -l + 1. Suppose -w + 2*w - 47 = -2*g, 2*g + y*w - 49 = 0. Is 15 a factor of g?
False
Let t = 39 + -5. Let m = 56 - t. Is 11 a factor of m?
True
Suppose 5*r - 19 = 11. Let w(d) = -d**2 + 7*d + 8. Is 10 a factor of w(r)?
False
Suppose 5*k - 3*m - 383 = 0, 33 = -k + 4*m + 96. Is k a multiple of 18?
False
Suppose -5*d = -4*f + 412, 0 = f + d + 32 - 126. Is 49 a factor of f?
True
Let p(w) = 7*w**2 - 4*w + 1. Is 14 a factor of p(-3)