w) = -7 - 8*w + 3 + 4 - 2. Is 35 a factor of j(-11)?
False
Suppose -7 = 5*s + g - 47, -s + 8 = -2*g. Let u = s - 4. Suppose -4*o - 2*r = -72, o - 4 = 2*r + u. Does 16 divide o?
True
Let x(c) = -c**3 - 4*c**2 - c - 6. Let s be x(-6). Suppose 0 = -h + 3. Suppose h*z + z = s. Does 9 divide z?
True
Let v be 3*(1 + 112/(-12)). Let t = v - -58. Is t a multiple of 9?
False
Suppose -2*z - z - 129 = 0. Let s = -27 - z. Is 16 a factor of s?
True
Let z(n) be the first derivative of -n**4/4 + 8*n**3/3 + n**2/2 - 2*n + 6. Does 2 divide z(8)?
True
Let b(a) = 8 + 3*a - 7 - 7*a + 1. Let i be b(3). Let j = i - -17. Is 6 a factor of j?
False
Let r = 60 - 54. Does 3 divide r?
True
Suppose -303 = -4*o - s, 4*o - 3*s - 368 = -77. Is 15 a factor of o?
True
Let n(k) = -k**2 - 7*k - 2. Let w be n(-6). Is 20 a factor of (w - (2 - -1))*61?
False
Suppose -29 = -2*y + 31. Let f = -19 + y. Is f a multiple of 10?
False
Let o be 5/(-3 - (-1 - 1)). Let w(q) = -3*q**3 + 8*q**2 - 5*q + 14. Let u(n) = 5*n**3 - 12*n**2 + 7*n - 21. Let d(a) = 5*u(a) + 8*w(a). Is d(o) a multiple of 4?
False
Let x = 15 - -25. Does 16 divide x?
False
Let a = -405 + 625. Is a a multiple of 14?
False
Let a(f) = -f**3 + 4. Let v(t) = -t**3 - t**2 + 2*t. Let q be v(-3). Let w be (-8)/q + (-2)/(-3). Does 2 divide a(w)?
True
Let g(y) = 1 - 1 - 7*y**2 - 5*y - 3. Let t be g(-3). Let d = -25 - t. Is d a multiple of 13?
True
Let f(a) = -15*a - 1 - 3 - 5*a. Is 25 a factor of f(-3)?
False
Let m(f) = 4*f**2 + f + 1. Does 14 divide m(-2)?
False
Let f(r) = r**2 + 3*r + 1. Let s be f(-4). Suppose s*j = -q - 0 - 9, 21 = q - j. Is q a multiple of 13?
False
Suppose 17 = 3*b + 4*h, 5*h - 2*h = -3*b + 18. Does 7 divide b?
True
Let d(x) = -x**3 - 4*x**2 + 5. Let p(v) = v**2 - 10*v - 15. Let q be p(11). Does 5 divide d(q)?
True
Suppose 2*c + 12 = 5*c. Is 15 a factor of (2 - -39) + (1 - c)?
False
Is (-3)/(-2)*30*108/180 a multiple of 3?
True
Let w(z) = 20*z - 1. Let s be w(3). Suppose -5*x - 5*m = -275, 4*m = 4*x - 201 - s. Does 12 divide x?
True
Suppose -4*k = -o - o + 420, 2*o - 5*k - 415 = 0. Does 14 divide (-3)/(-12) + o/16?
True
Suppose 0 = r + 20 - 60. Suppose 5*p + r = -5*q, 0*p - 2*p - q - 18 = 0. Does 6 divide 6/15 + (-56)/p?
True
Let h(g) = -g + 5. Is 3 a factor of h(-4)?
True
Is 24 a factor of 679/14 + (-1)/2?
True
Let g = 0 - -56. Does 13 divide g?
False
Suppose 5*n - 182 = -0*n - 2*i, -37 = -n - i. Is 18 a factor of n?
True
Suppose 0 = -g - 3*g + 720. Is 32 a factor of g?
False
Let a(j) = j**2 - 2*j - 5. Let b be a(-4). Let r be b*1 - (4 + -1). Let n = r - 8. Is 4 a factor of n?
True
Suppose -2*v + 14 = -0*v. Suppose 0 = 2*a + 5*l - v, -5*l = -3*l + 2. Does 3 divide a?
True
Suppose 0 = -7*s + 12*s - 260. Suppose -4*x = -6 - 2. Suppose x*p = -8 + s. Is 11 a factor of p?
True
Suppose 0 = -2*n - 0*n + 16. Let z(c) = -c**2 + 9*c + 2. Let r be z(n). Let q(g) = g**3 - 11*g**2 + 13*g + 6. Does 18 divide q(r)?
True
Let c(l) be the second derivative of l**6/120 - l**5/120 - l**3/6 - l. Let d(a) be the second derivative of c(a). Is d(3) a multiple of 12?
True
Let k be 27*1*1/3. Is 6 a factor of (k/(-2))/(1/(-4))?
True
Let y(q) = -q**3 - 7*q**2 + 2*q - 4. Is y(-8) a multiple of 11?
True
Let w(h) = -h**3 - 2*h**2 + 3*h + 3. Let b be w(-3). Let v = 20 + 16. Suppose 0 = b*o + o - v. Is 9 a factor of o?
True
Suppose -6*f - 213 = -879. Is 11 a factor of f?
False
Let g(p) = -p**2 + 13*p - 5. Let m be g(9). Suppose -y = -2*y + 5*b + m, b + 19 = y. Let i = 52 - y. Does 12 divide i?
True
Let l be (4/2 - 11)*-2. Let n be -3*(-3)/l*46. Suppose 0 = 2*s + 7 - n. Does 3 divide s?
False
Let i(h) = h + 5. Let c be i(0). Suppose -9 - 1 = c*f + 2*a, 0 = f + 5*a + 25. Suppose f = 3*b - 2 - 46. Is b a multiple of 8?
True
Suppose 4*h - 233 = -5. Is 3 a factor of (-2)/12 - h/(-18)?
True
Suppose -3*u + 125 + 190 = 0. Does 15 divide u?
True
Suppose 136 + 80 = 4*i. Is 18 a factor of i?
True
Let o(y) be the first derivative of 2*y**3/3 + 15*y**2/2 + y + 6. Does 18 divide o(-10)?
False
Suppose f - 5*f + 2*w + 230 = 0, 3*f - 4*w - 165 = 0. Let j = f + -37. Does 11 divide j?
True
Let x = 12 + -7. Suppose 4*g - f = -3*f - 50, 60 = -5*g - x*f. Let v = g + 23. Does 6 divide v?
False
Let z(k) = -k**2 - 18*k - 17. Is 14 a factor of z(-7)?
False
Suppose 2*y - 3 = 3. Let d = y + 4. Is d a multiple of 4?
False
Let y(l) = l**3 + 14*l**2 - 4*l - 6. Is 7 a factor of y(-14)?
False
Let m(h) = -16*h + 1. Let x = -7 + 6. Does 17 divide m(x)?
True
Suppose -3*o - 5*j = -j - 106, 4*j = 4*o - 188. Does 6 divide o?
True
Suppose -w - 20 = -5*w. Let j(t) = 4*t - 9. Is 9 a factor of j(w)?
False
Suppose 40 = 2*a + 2*o, 3*o = -a + 5*a - 59. Suppose 47 = 5*k + a. Is (4/k)/(4/66) a multiple of 11?
True
Let c = -8 - -10. Suppose -5*j - 2*r + 29 = 0, -3*j + j = -3*r - 23. Suppose c*k - 31 = -j. Is k a multiple of 6?
True
Suppose -h - 8 = -2*h. Is 3 a factor of h?
False
Does 15 divide 8/2 - 11/11 - -90?
False
Suppose l - 1 = n + n, -4*l + 11 = -n. Suppose -l*p - 4*b + 4 = 0, -4*p + 7*p = b - 1. Let u = p + 4. Does 2 divide u?
True
Let m be (3 + 10/(-4))*2. Suppose 7 = 4*o - m. Is 6 a factor of 1 + o + 0 + 15?
True
Let v(i) = -4*i - i + 35 + 2*i + i**2. Let d(m) = m**2 - 4*m + 35. Let f(b) = -3*d(b) + 4*v(b). Is f(0) a multiple of 12?
False
Let v = 54 - 31. Let n = v + -13. Is n a multiple of 5?
True
Let q(n) = 3*n**2 - 4 + 7*n - 2*n + 0*n. Is 16 a factor of q(-4)?
False
Suppose 5*y - 11 - 9 = 0. Suppose -6 - y = -2*w. Suppose 3*m - 2*m - 60 = w*j, -3*m = 2*j - 112. Does 20 divide m?
True
Let c(n) = n**3 - 15*n**2 - 16*n + 19. Is c(16) a multiple of 19?
True
Let n be ((-3)/6)/(1/(-10)). Let l be n*(2 + 84/15). Suppose 5*h + 13 = l. Is h a multiple of 5?
True
Let d be -2*1/4*-2. Let h = 12 + d. Is 5 a factor of h?
False
Suppose 4*s = 3*b - 104 + 28, -44 = -2*b + s. Let u = 10 + b. Does 15 divide u?
True
Let t(u) = 2*u**2 + 10*u - 6. Is t(-6) even?
True
Let h = -1 - -6. Suppose 0 = 3*w + 4*n - 6, 2*n + 0 - 24 = -h*w. Let q = 28 - w. Does 11 divide q?
True
Let r(f) = 24*f + 15. Is r(4) a multiple of 37?
True
Suppose 2*a + 4 = 0, 4*t - 2*a - 194 = -a. Is t a multiple of 16?
True
Let o(t) = 4*t**2. Let i(j) = -j**2 + j. Let w(a) = -5*i(a) - o(a). Let n be w(3). Is 2 a factor of (-4 + 1)*4/n?
True
Suppose 56 = 2*j - 18. Is j a multiple of 16?
False
Let h(n) = -6*n + 19. Is 7 a factor of h(-5)?
True
Let c(p) = 2*p**2 - 5*p - 1. Let u be c(3). Suppose 142 = u*j - 64. Is j a multiple of 21?
False
Suppose 0*s - s + 14 = -2*l, 5*l = -20. Suppose -2*d - 12 = -s*d. Suppose -156 = -4*g + 4*v, 0*g = d*g - 4*v - 122. Is 17 a factor of g?
True
Let z = 8 + -2. Is z a multiple of 4?
False
Is 42/12*(-44)/(-7) a multiple of 11?
True
Let p = -69 - -147. Does 26 divide p?
True
Let h(b) = -5*b**2 - 5*b - 15. Let n(q) = 3*q**2 + 3*q + 8. Let s(u) = 4*h(u) + 7*n(u). Let f be s(-3). Suppose -f*d + 0*d = -52. Is d a multiple of 13?
True
Suppose 0 = 5*f - 25, -2*v - v = -5*f + 28. Let o be (2 + -3)*v - 1. Suppose 5*g - 50 = -o*g. Is g a multiple of 3?
False
Suppose 65 = 5*j - 40. Is j a multiple of 10?
False
Let i(q) = -2*q**2 - 4*q - 3. Let a be i(5). Let n be 1*-1 - a/1. Suppose 0*z - n = -3*z. Does 12 divide z?
True
Let v(y) = -y - 1. Let h be v(-7). Is 16 a factor of -2 - 102/(h/(-2))?
True
Let b(f) = 2*f - 11. Let a be b(8). Suppose l - 6 = -2. Suppose 3*u + 5*x = 64, 2*u = a*x - l*x + 60. Is u a multiple of 14?
True
Let r be (-2 - -3) + 295*1. Suppose -91 = -i + 2*d - 12, 0 = -4*i + 4*d + r. Does 23 divide i?
True
Suppose 88 = -5*q - 327. Let f = -49 - q. Let m = f + -17. Is m a multiple of 17?
True
Let i(f) = -2*f**3 + 4*f**2 - 3*f + f**3 + 0*f**3. Let n be i(3). Suppose n*q = -3*q + 12. Is q a multiple of 4?
True
Let q = 38 + 113. Let b = q + -96. Is 11 a factor of b?
True
Let k(t) = -t**3 + t**2 + t + 16. Let r be k(0). Let a be -2 - 5/(15/(-96)). Let n = a - r. Does 5 divide n?
False
Suppose 0 = -7*r + 462 + 1106. Is 16 a factor of r?
True
Let l = 9 - -15. Let i(q) = -q**2 + q - 1. Let r be i(3). Let j = l + r. Does 13 divide j?
False
Let j = 0 + 3. Suppose 4*s + 9 = -j. Does 6 divide 4 - 4/6*s?
True
Suppose -1 = -w - 2*l + 4*l, 4*w + 2*l = 24. Suppose 11 = 2*i - w. Does 4 divide i?
True
Let d(o) be the third derivative of -o**5/60 - o**4/24 + o**3/2 - o**2. Let n be d(0). Suppose n*i - 32 = -