f) = -2*f - 3. Let n(z) = -5*o(z) - 3*x(z). Let g be n(1). Let w(i) = -3*i - 3. Is 6 a factor of w(g)?
True
Suppose -2*u = 4 - 20. Is u a multiple of 4?
True
Suppose 4*i + 0*t + 2*t - 10 = 0, -3*i - 5*t + 11 = 0. Suppose 0*a + 2*a - 166 = -i*o, a - 5 = 0. Is o a multiple of 25?
False
Let k(y) = y**3 - y**2 - 5*y - 6. Let i(s) = -s**2 - s - 1. Let d(n) = 5*i(n) - k(n). Is d(-5) a multiple of 10?
False
Let a(b) = -b**3 + 4*b**2 - b + 4. Let s be a(4). Suppose 0 = -s*i + i + 2. Is (3/i + 3)*12 a multiple of 9?
True
Let a(p) be the third derivative of -p**5/60 - p**4/24 + 13*p**3/3 + p**2. Is a(0) a multiple of 13?
True
Let c(x) = -x**3 + 6*x**2 - 2*x + 6. Does 27 divide c(3)?
True
Let g(k) = -k**3 - 5*k**2 + k + 6. Let b be g(-5). Let i be 3 - 2/(-2*b). Suppose -i*z + 30 + 26 = 0. Is z a multiple of 14?
True
Let b = 265 - 184. Is 22 a factor of b?
False
Let h = 15 - 6. Let y = 7 + h. Is 8 a factor of y?
True
Let h = -52 + 90. Is 9 a factor of h?
False
Let p = 134 - 128. Is 5 a factor of p?
False
Suppose 4*z = 9*z + 50. Suppose -3*y = d - 23, 24 + 17 = d - 3*y. Let x = z + d. Does 11 divide x?
True
Let u be 12/(-1 + (-1 - -1)). Let s be (-2)/(-8) - 813/u. Suppose 3*x = s - 23. Is x a multiple of 12?
False
Let a(n) = n**3 + 5 + n + 9*n**2 + 0*n - 2*n - 11*n. Let q = 8 - 18. Is a(q) a multiple of 8?
False
Suppose -4 = -2*d - 0*d - 5*f, -3*d = 3*f - 6. Let u = 4 + d. Is u a multiple of 3?
True
Suppose 2*d = -d + 2*m + 11, -2*m + 3 = -d. Let a(b) = -b**2 + 8*b + 7. Is a(d) a multiple of 10?
False
Is 7 a factor of (-121)/(-3) - (-12)/18?
False
Suppose 14 = 6*s - 4*s - 5*h, s = -3*h - 4. Suppose -c = s*n - 2, -c = 4*n + 2*c - 2. Suppose -u - 3*u + 12 = 3*z, 22 = n*z - 2*u. Is 5 a factor of z?
False
Let n(s) = -7*s + 20. Is n(-5) a multiple of 10?
False
Let v(x) = -x**2 + 3*x + 2. Let k = -6 + 9. Let d be v(k). Let m(b) = 6*b**2 - 2*b + 2. Does 6 divide m(d)?
False
Suppose 2*o + 3 = -5*c, c + 0*c + 2 = o. Suppose -8*k + 3*k = -5*n + 15, o = n. Is (k - (-4)/3)*-18 a multiple of 6?
True
Let g be -2*((-450)/(-4))/(-5). Let v = g + -21. Does 20 divide v?
False
Let d be 6/(-15) + (-18)/5. Let f be (2 + 6/d)*-2. Does 6 divide (1 - f)*11/2?
False
Let c(l) = l**3 - 11*l**2 + 2. Let o be c(11). Suppose -3*p + 210 = o*p. Is p a multiple of 14?
True
Let s(o) = o**2 + 5*o - 5. Let a be s(-6). Let g be a + -3 + (-2 - -6). Suppose g*f - 24 = -f. Does 8 divide f?
True
Is (3 - 80)/(4/(-12)) a multiple of 33?
True
Let v = -15 - -20. Suppose -2*p = -g - 3*g + 4, 0 = g - 1. Let j = v + p. Does 2 divide j?
False
Let n(u) = 4*u**2 + u. Let i be n(-4). Suppose -b - i = -3*b. Is 14 a factor of b?
False
Suppose 1701 - 161 = 10*l. Does 22 divide l?
True
Suppose -5*h = 3*q - 282, 4*q - 111 = -2*h + q. Is h a multiple of 11?
False
Let f(h) = -32*h + 3. Is f(-2) a multiple of 11?
False
Suppose 0 = 7*u - 5*u - 214. Is u a multiple of 28?
False
Suppose 3*b - 54 = 2*x - 3*x, -5*x - 4*b + 292 = 0. Is x a multiple of 13?
False
Suppose 5*h = 3*h + 24. Does 4 divide (56/(-6))/((-8)/h)?
False
Let z(h) = -h**3 + 18*h**2 - 7*h - 20. Is 6 a factor of z(17)?
True
Let g be 28/(-8)*-2*1. Let c(o) = -o**2 + 9*o + 2. Let m be c(g). Suppose -44 = -5*a + u, 0 = -5*a + a - 4*u + m. Is 8 a factor of a?
True
Let y(o) = o**3 - 8*o**2 + 8*o - 3. Let f be y(7). Suppose -4*r = 16 - f. Does 6 divide 12 - (r/(-3))/(-1)?
False
Let j be 1*((-1 - -3) + 1). Suppose j*n - 12 = 0, 5*i = 4*n - 154 + 378. Is i a multiple of 24?
True
Let v(j) = -j**3 + j**2 - j + 3. Let u be v(0). Suppose -u*d - 2*g + 93 = g, 0 = -g + 5. Is 11 a factor of d?
False
Suppose 2*v + t - 180 = 0, -t - 34 = -4*v + 332. Is v a multiple of 5?
False
Let i be -49*(1 + 3 - 3). Is 23 a factor of (-1 - i)*(-16)/(-12)?
False
Let f(o) = o**3 + 8*o**2 + 4. Suppose 6 = 4*c + 38. Is 4 a factor of f(c)?
True
Let t = -45 - -81. Does 17 divide t?
False
Suppose -4*j = 4*x - 884, 5*j - 2*x = 2*x + 1132. Is j a multiple of 13?
False
Let h(w) = 2*w**2 - 4*w + 2. Let p be h(3). Let d(c) = -c**3 + 10*c**2 - 10*c + 1. Is d(p) a multiple of 16?
False
Let u(l) = 4*l + 1. Let n(c) = -c**3 - 2*c**2 - c + 2. Let z be n(-2). Is u(z) a multiple of 6?
False
Suppose 0*t + 6 = t + 5*j, 5*t + 4*j = 30. Suppose z = -2*z + t. Suppose -z*q + 0*q + 8 = 0. Is 2 a factor of q?
True
Let a(f) = -f**2 - 11*f - 4. Let w be a(-11). Let u = 28 + w. Is 8 a factor of u?
True
Suppose 6*r - 140 = 2*r + 2*z, -5*z = -2*r + 86. Is r a multiple of 11?
True
Does 42 divide 2 + 83 + 2 - 0/(-2)?
False
Let g be ((-24)/(-20))/(4/10). Suppose 2*k - 46 = -5*q, 3*k - g*q + 54 = 5*k. Let z = -16 + k. Does 17 divide z?
True
Let t = 5 + -15. Let v be (-4 - t)/(1/3). Suppose 2*n = -2*u + 22, -u - 3 + v = -3*n. Does 11 divide u?
False
Is 9 a factor of 4/8*-34*-3?
False
Suppose -2*q + 6*q - 8 = 0. Let u be 1/(q/(-48) - 0). Let z = u + 38. Does 7 divide z?
True
Let r = 615 - 419. Does 14 divide r?
True
Suppose -p = -2 + 4. Let v be (-10)/(-4) - 1/p. Suppose -v*l = 2*l - 90. Is l a multiple of 6?
True
Let l(u) = 133*u**2 + 3*u + 2. Is 22 a factor of l(-1)?
True
Let w(a) = -3*a**3 - a**2 - a + 1. Let h = 0 + -2. Let q be w(h). Suppose -3 = 4*p - q. Is 5 a factor of p?
True
Let c = 14 - 9. Suppose 3*t + 3*w + w = 58, 0 = c*w - 5. Does 9 divide t?
True
Let g = 38 + -25. Does 3 divide g?
False
Let t(g) = 86*g**2 + 2. Is t(1) a multiple of 14?
False
Let g(d) be the second derivative of d**5/10 + d**4/12 - d**3/6 + d**2/2 + 3*d. Let c be g(1). Suppose 0 = 4*i + 16, 57 - 16 = c*v + i. Is v a multiple of 15?
True
Suppose 0 = -r + 2 - 0. Let j be (-2)/4 + 45/10. Let q = r + j. Is 4 a factor of q?
False
Suppose 3*r - 90 = 2*r. Does 17 divide r?
False
Let z = -34 - -58. Is z a multiple of 12?
True
Let v be (-3 + 0 + -1)/(-2). Suppose -5*k + 72 = -v*k. Is k a multiple of 12?
True
Let d be (-3)/9 - 483/9. Let u = d + 36. Is 6 a factor of (-160)/(-9) - 4/u?
True
Let s be 6/9*(2 + 1). Suppose o + 7*f - 18 = s*f, 3*o + 6 = 5*f. Suppose -g = o*q + 2*g - 63, 2*g + 84 = 5*q. Does 14 divide q?
False
Suppose 23*u - 888 = 17*u. Does 14 divide u?
False
Let j(r) = 2*r**2 + 20*r + 12. Is 19 a factor of j(-13)?
False
Suppose 3*g - 2 = 4*g. Let k(q) = -2*q + 1. Let z be k(g). Suppose 4*l - 80 = -4*f + 8*l, 0 = z*f - 3*l - 90. Does 15 divide f?
True
Suppose 0 = 4*l - 6*l + 120. Is 10 a factor of l?
True
Let r = -7 - -11. Suppose a + 0*d - 6 = -3*d, 0 = r*d - 4. Is a a multiple of 2?
False
Suppose 3*b - 3*l = 2*l + 111, 3*b - 84 = -4*l. Is b a multiple of 9?
False
Suppose 82 + 108 = 5*o. Is o a multiple of 19?
True
Suppose 0 = 5*t + 3*o + 45 + 159, -210 = 5*t + 5*o. Let m = t + 64. Is 18 a factor of m?
False
Let r = 57 + -52. Does 2 divide r?
False
Let v(t) be the third derivative of -13*t**7/5040 + t**5/30 + 3*t**2. Let o(y) be the third derivative of v(y). Does 12 divide o(-2)?
False
Let l(b) = -16*b**3 - 2*b**2 - 3*b - 1. Let r be l(-2). Let v = 3 - 3. Suppose v = 5*z - r. Is z a multiple of 9?
False
Does 13 divide 43 + 12/(9/(-3))?
True
Suppose 5*t + 0*t + 27 = w, -w - 23 = 5*t. Let u be -3*(-1)/w*2. Let a(m) = 5*m**2 - 4*m + 2. Does 27 divide a(u)?
False
Suppose j = -j. Suppose j = -3*f - 28 + 82. Does 5 divide f?
False
Suppose -5 - 10 = -3*l. Suppose -2*g + 91 + l = 0. Is g a multiple of 25?
False
Suppose -m = 2*f - 96, 3*f - 78 = 4*m + 77. Let x = f + -24. Is 12 a factor of x?
False
Let z = -39 - -84. Suppose -2*m - m + z = 0. Suppose -4*p + m + 45 = 0. Is 6 a factor of p?
False
Suppose 0*h = h - 33. Does 8 divide h?
False
Let x(c) = 2*c**2 - 37*c - 23. Is x(21) a multiple of 39?
False
Let h(x) = x**3 + 5*x**2 - 3*x - 1. Let c be h(-4). Let s = -15 + c. Is 12 a factor of s?
True
Let o = 5 + -2. Let r be 117/(-4) + o/12. Let t = -18 - r. Is t a multiple of 5?
False
Let k(y) = y + 2. Let x be k(-6). Let n = x + 4. Suppose 3*d + v - 42 = n, 35 = 3*d - d + 3*v. Is d a multiple of 13?
True
Let f be 32/(-40)*(-70)/(-4). Does 10 divide (7/f)/(1/(-36))?
False
Let o(p) = -8*p. Suppose -5*l + u + 0 = -20, -u + 5 = 0. Let r be o(l). Is (-8)/r - (-388)/10 a multiple of 13?
True
Let m = 42 - 26. Is m a multiple of 16?
True
Let y(h) = 15*h - 5. Is y(4) a multiple of 5?
True
Suppose 3 = 3*l - 3. Suppose l*d = -0 + 2. Does 6 divide (d - 2)*(-17)/1?
False
Let v = 1 + -1. Suppose 3 = j + o, v*o + 3*o - 3 = -j. Suppose -j*i + 86 = -l, 4*l + 0*l