f) = -2*f**3 - 6*f**2 - 10*f + 4. Let z(b) = 5*r(b) - 3*y(b). Does 8 divide z(5)?
True
Suppose 0 = -2*c - 4*s - 4, s - 6*s - 5 = -c. Is 13 - c/4 - 2 a multiple of 11?
True
Suppose -5*r = 4*p + 5 + 11, -2*r = 4*p + 4. Is (r - -2)*-48 + 3 a multiple of 33?
True
Let l be ((-2)/(-2))/((-2)/170). Let f = 29 + l. Let v = 96 + f. Is 18 a factor of v?
False
Let o = 12 - 10. Is 10 a factor of o - (64/(-4) - -1)?
False
Suppose 0 = -11*o + 4*o + 91. Does 10 divide o + 21 + 2*-2?
True
Does 16 divide (-4)/8*8 + 92?
False
Suppose 4*o + 2*f = 14, -o + 4*f - 4 = -3. Does 18 divide 1*(o + 33)/2?
True
Let g(n) = 9*n - 2. Let l be g(6). Suppose -5*k + 4*x + 110 = 0, 2*x - l = -4*k - 2*x. Is 8 a factor of k?
False
Let o be (-6)/8*-6*2. Suppose o*i - 14*i + 225 = 0. Is 8 a factor of i?
False
Let v(p) = -4*p + 10. Let j be 1/6 + 186/(-36). Does 15 divide v(j)?
True
Let z = -21 - -36. Let q = z + 0. Is 9 a factor of q?
False
Let i(r) = -r**3 + 5*r**2 - 4*r - 1. Let j be i(4). Let s = 18 + j. Is s a multiple of 7?
False
Suppose 0 = -b - 3*b + 5*s + 905, 2*b - 450 = 2*s. Suppose -u = 4*u - b. Does 16 divide u?
False
Let w(u) = -u**3 + 6*u**2 - 6*u + 5. Let q be w(5). Suppose -h + q*h + 15 = 0. Let o = -3 + h. Is 12 a factor of o?
True
Let u(x) = -7*x. Let c be u(-2). Suppose 0 = p - t - 18, -4*p = -3*p + 3*t - c. Suppose 4*g = 23 + p. Is g a multiple of 5?
True
Suppose 4*i - 282 = -114. Is i a multiple of 14?
True
Let q = -28 - -58. Does 3 divide q?
True
Let m(k) = -k**2 - 5*k - 4. Let w be m(-3). Suppose f = -2*h - w*f + 1, -3*f = -3*h + 24. Is 6/(-15) + 152/h a multiple of 15?
True
Let h(m) = -m**3 - 19*m**2 - 37*m + 29. Is 19 a factor of h(-17)?
False
Let n = -24 - -43. Does 3 divide n?
False
Suppose s - 109 = -5*v + 14, s = 5*v - 117. Is 12 a factor of v?
True
Let w = -72 - -130. Is 27 a factor of w?
False
Suppose 31 = y + 5*o, -2*y - 2*o = -0*y - 54. Suppose 4*j - 7 = -s + y, -2*j - 78 = -4*s. Does 7 divide s?
True
Suppose 52 = -v + 3*v. Is 16 a factor of (v - 1) + -2 + 2?
False
Let b be (-2)/(-5) + (-165)/(-25). Let d(y) = 2*y**2 - 10*y + 10. Is 19 a factor of d(b)?
True
Suppose 0 = -2*r + 5*x - 9 - 8, -r - 4*x + 11 = 0. Let w = 26 - r. Is w a multiple of 13?
False
Let y(b) be the first derivative of 2/3*b**3 + 2 - 3*b - b**2. Is y(-2) a multiple of 9?
True
Let d(m) = m**2 - 5*m + 4. Let p be d(6). Suppose -2*j + p = -t, -j + 8 = -3*t + 3. Is j a multiple of 2?
False
Let d be 24 - ((-8)/(-4) - 0). Let g = d + -15. Is g a multiple of 6?
False
Let i be -2 - -2 - -1*1. Suppose -4 = 9*z - 22. Suppose 3*v - 53 = -4*t, -z*t = -v - 0*t + i. Is 6 a factor of v?
False
Suppose 0*z - 5*z - y + 257 = 0, 2*z - 89 = -5*y. Is 11 a factor of z?
False
Suppose -a = -5*w + 5, -11 = -3*w - 2*a + 5. Let m be (-2 - (-2)/w) + 3. Suppose 0 = m*c - 27 - 27. Does 16 divide c?
False
Let i be (1 - 0)*1*0. Suppose -4*l - 4 = i, 0*r = -2*r + 4*l + 84. Is r a multiple of 10?
True
Let f(y) = y**2 - 10*y + 12. Let j be f(9). Suppose -5*m = 5*b - 135, -3*m + j*b + 58 = -5. Is 12 a factor of m?
True
Suppose 5*k - 93 = 2*m, -m = -5*k + 4*m + 90. Let v = k - 6. Is 10 a factor of v?
False
Let s be (0 - 108)*(4 + -5). Suppose f + 2*f = s. Let u = f - 26. Does 6 divide u?
False
Suppose -4 = -i - n - 3*n, n - 19 = 2*i. Let m be (-2)/i - (-230)/8. Suppose 3*o = m + 73. Is 10 a factor of o?
False
Let b = -2 - -3. Let t(o) = o**3 - 2*o**2 - o + 1. Let n be t(b). Does 12 divide n + -1 + 29 + -1?
False
Let g = 29 - -43. Does 15 divide g?
False
Let c(w) = -w**3 + 10*w**2 + 2*w - 15. Suppose f + g + g - 4 = 0, -f + 19 = -3*g. Is 5 a factor of c(f)?
True
Let q(f) be the third derivative of f**6/45 + f**4/24 - f**2. Let y(u) be the second derivative of q(u). Does 9 divide y(1)?
False
Is (-16)/(-48) + 106/6 a multiple of 8?
False
Suppose -4*y + 65 = -63. Let n = y + 16. Is n a multiple of 24?
True
Let t = -14 - -63. Is 7 a factor of t?
True
Let i be (4/1)/((-4)/(-154)). Suppose 4*b = 3*f + 2*b - i, 4*f + b - 220 = 0. Does 18 divide f?
True
Suppose -23 = -3*t + m, 4*m = -8 - 0. Let q = -5 + t. Let x(j) = 7*j**2 + 2. Is 14 a factor of x(q)?
False
Suppose 0 = 3*z - 18 - 6. Suppose 3*o + o + z = 0. Is 6 a factor of (-7)/(-14) + (-23)/o?
True
Suppose s - y = 15, 5*s - 83 = 2*y - 5*y. Is s a multiple of 16?
True
Let o(t) = 49*t - 2. Let h(n) = 24*n - 1. Let w(u) = 11*h(u) - 6*o(u). Let x be w(2). Let k = x - -91. Does 11 divide k?
False
Let y = -4 + 4. Suppose y*u + 7 = u. Suppose 3 = 2*n - u. Is n a multiple of 2?
False
Suppose 0 = -f + 2*i + 11, -3 - 76 = -5*f - 2*i. Let t be (2 - -3)*36/f. Let b = t + 18. Is b a multiple of 15?
True
Let v(j) = -3*j - 15. Suppose 0 = p + 4*p - 5*c + 40, 3*c + 64 = -5*p. Is 6 a factor of v(p)?
True
Let h(k) be the first derivative of 2 + 1/2*k**2 + 18*k. Is h(0) a multiple of 18?
True
Suppose 19 - 1 = 2*o. Is 9 a factor of o?
True
Let k = 6 - 0. Does 5 divide k?
False
Let n(q) = q**3 + 5*q**2 + q - 3. Let z be n(-6). Does 15 divide (-7)/((-42)/(-4))*z?
True
Suppose f - 39 = -4*i, -3*i - f + 42 = 4*f. Suppose 0*k - 4 = -k. Suppose i*u - 68 = k*u + b, b = -5*u + 62. Does 13 divide u?
True
Let s be -2*-3*3/6. Suppose -4*n + s*n = -6. Is 2 a factor of n?
True
Let n(b) = 3*b**2 + 7*b + 6. Let l be 2/10 - 21/5. Let a be n(l). Suppose 5*t = 24 + a. Is 5 a factor of t?
True
Let t(l) = -l**3 - 6*l**2 + 26*l - 7. Does 17 divide t(-11)?
False
Let l(p) = p - 11. Let o be l(8). Let n be 1/o + (-12)/(-9). Let m(k) = 25*k**3 - 2*k + 1. Is m(n) a multiple of 14?
False
Let t(c) = 12*c + 14. Is 35 a factor of t(6)?
False
Let p be (-35)/(-10) + (-1)/(-2). Suppose 0 = -d - 2*o + 12, 2*d = p*d - 3*o + 11. Is 2 a factor of d?
True
Let c = -29 + 25. Does 15 divide (-1 - 2)/(c/100)?
True
Let v(x) = -x**3 - 5*x**2 + 4*x + 2. Let f be v(-6). Let s = -9 + f. Is 2 a factor of s?
False
Suppose -13 = -w - 9*p + 4*p, -4*w + 18 = 3*p. Let z = 6 - w. Suppose -z*j = -3*v + 33, 4*v = 3*j - 0*j + 41. Is v a multiple of 4?
True
Let k(d) be the first derivative of -13*d**4/2 - d**2 - d - 5. Does 17 divide k(-1)?
False
Does 2 divide 105/12 + 3/12?
False
Let l = -207 + 293. Is l a multiple of 10?
False
Suppose -2*u - z - 3 = 0, 3*z - 6*z - 17 = -2*u. Suppose 3*l - 4*l = n + 13, 5*l + 3*n + 67 = 0. Let a = u - l. Does 12 divide a?
False
Let h = 52 - 30. Is h a multiple of 11?
True
Suppose 3*m = -2*q + 178, q + 17 = 2*m + 99. Is q a multiple of 35?
False
Let i = 66 - -24. Does 30 divide i?
True
Let o be (-214)/(-3) + 4/6. Suppose 4*l + 24 = 4*w, -w = l - 4*l - 10. Suppose w*g - o = 44. Is 12 a factor of g?
False
Let p be ((2 + -2)/(-1))/2. Let d = p - 2. Does 16 divide 33 - d*(-1)/2?
True
Suppose 6*d - 4*d + 4 = 0, 5*d + 61 = n. Is n a multiple of 17?
True
Let h(t) = -3*t**2 + t + 6. Let q(l) = -8*l**2 + 4*l + 19. Let n(y) = -11*h(y) + 4*q(y). Does 17 divide n(-8)?
True
Let w be 5/2*36/15. Does 6 divide (-32)/(-2)*w/4?
True
Let r(j) = 2*j**2 - j + 2. Let v be r(2). Suppose -4*y + v = 5*t + 38, -y = 2*t + 9. Is 7 a factor of (t + 4)/(4/14)?
True
Suppose -3*m + 0*h + 271 = -4*h, -3*m = -3*h - 270. Let b = -35 + m. Let a = -8 + b. Is a a multiple of 21?
False
Suppose 6*t + 353 = 1487. Let n = -130 + t. Is 15 a factor of n?
False
Let j(n) = 6*n**2 - n + 1. Suppose c = -4*m - 9, 0 = m - 4*m + 4*c - 2. Is j(m) a multiple of 9?
True
Suppose i = -i - 12. Is 2 a factor of 21*(10/i)/(-5)?
False
Suppose 2*x - 3*l = 4*x - 173, 3*x + 2*l = 272. Is 17 a factor of x?
False
Let r = 3 - -20. Does 2 divide r?
False
Suppose -5*b = -b - 20. Suppose -b - 3 = -4*r. Is 2 a factor of r?
True
Does 4 divide (-2320)/(-112) - 2/(-7)?
False
Let j = -24 + 52. Suppose n + 34 = -3*o - 7, -o + n = 19. Let p = j + o. Is 5 a factor of p?
False
Let g(u) = 0*u**3 - 2 - u + 3*u**2 + u**3 + 4*u**2. Let o be g(-7). Suppose -b + o*j - 20 = -6*b, j = 3*b - 16. Does 3 divide b?
False
Let u = 5 + -11. Let w = 15 + u. Let n = w + 15. Does 12 divide n?
True
Let j(g) = -g**3 + 2*g**2 + 5*g + 2. Let z be j(-2). Does 21 divide 6/4*(40 + z)?
False
Suppose 2*y + 2*l = 286, 0 = -0*l - l + 2. Let f = -81 + y. Is f a multiple of 20?
True
Suppose -z - 2*y + 16 = 0, -3*z = -z - 2*y - 26. Let k be 1/2 - z/(-4). Suppose -k*p - x = -83, -3*x = p - 2*x - 23. Is p a multiple of 10?
True
Let f = 99 + -198. Let q = -58 - f. Is 16 a factor of q?
False
Let v = 16 - 14. Suppose r + 16