d**5/60 + d**4/12 - d**3/3 + 2*d**2. Is 10 a factor of z(2)?
True
Suppose -b - 1 = -0*b. Let d(w) = -27*w + 1. Is 10 a factor of d(b)?
False
Let p = -13 - -5. Let o(z) = -2*z. Does 9 divide o(p)?
False
Is (-310)/(-3) - -1 - (-3)/(-9) a multiple of 26?
True
Let w = -7 + 60. Does 15 divide w?
False
Let q = -3 - -14. Does 5 divide q?
False
Suppose -4 = a, -j - 4*a + 2*a = 0. Does 2 divide j?
True
Suppose -5*a + 2*n = -a - 178, -224 = -5*a + n. Is a a multiple of 9?
True
Let x(l) = -l**3 - l**2 - l + 12. Let u be x(0). Suppose -2*n = -0*n - u. Does 6 divide n?
True
Let b = -51 + 111. Suppose 5*q = 3*t - 8*t + b, 0 = 4*q. Is t a multiple of 12?
True
Suppose -163 = -3*b - w + 5*w, -4*b - w + 192 = 0. Let a = b - 14. Is a a multiple of 12?
False
Let r(j) = -89*j**3 + 2*j**2 - 1. Does 30 divide r(-1)?
True
Let p = -496 - -727. Is p a multiple of 11?
True
Suppose 12 = 7*s - 4*s. Is s a multiple of 3?
False
Suppose -2*j - 1 = -9. Is (34/j)/((-1)/(-6)) a multiple of 17?
True
Let a = 197 + -102. Let o = a + -45. Suppose 0*l = -3*l - 2*q + o, 0 = -3*l + 3*q + 45. Is l a multiple of 16?
True
Let w(j) = -j**3 + 8*j**2 - 5. Let t(c) = -c**2 + 10*c + 15. Let u be t(11). Suppose 0 = u*n - 34 + 6. Is w(n) a multiple of 22?
True
Let h(o) = 2*o**2 - 4*o. Let k be h(3). Let q(m) = m**2 + 4. Is q(k) a multiple of 10?
True
Let v(l) = l**2 - 7. Let c be v(0). Let w = c - -7. Is (-18)/((-6)/9 + w) a multiple of 10?
False
Let n be (-84)/8*4/(-3). Let l = 33 + n. Does 15 divide l?
False
Let r be (-129)/(-3)*(-4)/2. Let v = -49 - r. Let u = v + -5. Does 16 divide u?
True
Let i be (8*(-16)/4)/(-2). Suppose -9 = -r + i. Does 7 divide r?
False
Let u(r) = 12*r - 23. Let o(q) = -6*q + 11. Let y(c) = -13*o(c) - 6*u(c). Does 5 divide y(2)?
False
Let s be (-1)/6*-4*6. Suppose 3*b - 3 = -w, -8*w = -3*w + s*b - 26. Is w a multiple of 6?
True
Let t be (-260)/(-3) + 3/9. Suppose 3*i - 78 = t. Suppose 0 = -5*c + 15 + i. Is c a multiple of 5?
False
Suppose -3*a - 4*f + 65 = 0, 7*a - 4*a - 93 = 3*f. Does 3 divide a?
True
Suppose 2*b - 26 = y, 0 = 4*b - y - 3*y - 48. Let u = b + 0. Is 7 a factor of u?
True
Suppose 3*m - 4*m + 32 = 0. Is m a multiple of 4?
True
Let z(q) = 4*q - 14. Let a be z(10). Let p = -10 + a. Is p a multiple of 16?
True
Let d(x) = 4*x + 2. Let u(j) be the first derivative of j**3/3 - 3*j**2/2 + 1. Let q be u(4). Is 9 a factor of d(q)?
True
Let g(u) = -5*u**3 + 4*u**2 - u - 8. Let q(w) = 14*w**3 - 12*w**2 + 3*w + 23. Let v(j) = 11*g(j) + 4*q(j). Is v(4) a multiple of 7?
False
Is (192/(-20))/((-9)/210) a multiple of 14?
True
Suppose 16 = 4*b - 0*b. Suppose 3*o = 5*u - 18 - 207, 4*o = -b*u + 212. Is 24 a factor of u?
True
Let o = 2 - -6. Is o a multiple of 4?
True
Let h(y) = -8*y - y + 1 + 4*y - 11*y. Is 10 a factor of h(-1)?
False
Suppose -2*i + 3*i - 24 = g, 4*i + g - 116 = 0. Suppose -2 - i = -3*x. Is x a multiple of 5?
True
Suppose 183 = 6*k - 9. Does 5 divide k?
False
Let j(l) be the second derivative of -2*l + 0 + 2/3*l**3 + 1/12*l**4 + 3*l**2. Is 12 a factor of j(-7)?
False
Suppose l + 0*l - 650 = 0. Does 19 divide l/12 + 2/(-12)?
False
Let k = -4 + 10. Let r = 16 - k. Is r a multiple of 10?
True
Let p(z) = z + 4. Let q be p(5). Suppose 2*w = -w + 18. Suppose -3*s = -q, 3*r - 45 = -s + w*s. Is 10 a factor of r?
True
Let x(s) = -9*s**2 - 11*s + 8. Let l(b) be the second derivative of b**4/2 + 7*b**3/6 - 5*b**2/2 + 2*b. Let n(c) = 8*l(c) + 5*x(c). Is n(2) a multiple of 6?
False
Let j(r) = -42*r**3 - r**2 - 2*r - 1. Let t be j(-1). Let n(g) = -g**2 + 9*g + 5. Let a be n(5). Let u = t - a. Does 13 divide u?
False
Is -1 + (5 - 2/1) even?
True
Let f(l) = -13*l + 2. Let t be f(-6). Suppose 20*o + t = 24*o. Does 10 divide o?
True
Let c = 1 + -1. Let z be 1 + (-1 - c - 0). Suppose -2*o - m + 66 = z, 0 = -2*o - 2*o - 5*m + 138. Is 16 a factor of o?
True
Let o(n) = -2*n. Let i be o(-2). Let z = 6 - i. Suppose -2*p = -5*f + 69, 2*f - z*p = 21 + 3. Is 15 a factor of f?
True
Let n(o) = -o**3 + 9*o**2 - 7*o. Does 20 divide n(6)?
False
Let a(r) = r**3 - r**2 + r. Let p be a(0). Suppose p = -6*i + i + 45. Does 7 divide i?
False
Let r be 0 + (3 - 0) + 0. Let s(n) = -2*n**r + 4*n**3 - n**2 - 4*n**2 + 2 - n**3 + 5*n. Does 2 divide s(4)?
True
Let u be 2/(0 - -1)*-4. Let d(b) = -b. Let a(j) = 6*j + 1. Let p(w) = -a(w) - 4*d(w). Does 15 divide p(u)?
True
Is (-536)/(-12) - 8/12 a multiple of 11?
True
Suppose -3*s = -4*y - 45, 5*s = -4*y + y + 75. Suppose w + s = 6*w. Is 3 a factor of w?
True
Let a be (-12)/2 - 3 - -2. Let w(l) = 3*l**2 + 1. Let q be w(-2). Let y = a + q. Is y a multiple of 6?
True
Let k(f) = f**3 - 12*f**2 + 27 - 6*f - 27 + 3*f**2. Is 20 a factor of k(10)?
True
Suppose 15*o = 335 - 20. Is 16 a factor of o?
False
Let h = -5 - -7. Suppose q - 2*q = -h. Suppose -30 = -q*v + 12. Does 15 divide v?
False
Let r(l) = l + 0*l + 0*l. Let h(p) = 10*p. Let v(x) = -h(x) + 12*r(x). Does 14 divide v(7)?
True
Let k(m) = -6*m + 3 + 7*m + 9*m. Is k(1) a multiple of 10?
False
Suppose -4*w = -5*y + 4, -4*w + 0*w = -y - 12. Suppose -3*x = -w*x + 24. Is 8 a factor of x?
True
Let y = -1 + 0. Let q = 5 + y. Is q - (2 - (-4)/(-2)) a multiple of 4?
True
Let r = 29 + -27. Suppose r*i - 25 = 39. Is i a multiple of 9?
False
Let v(o) = 21 + 17 + o + 1. Does 13 divide v(0)?
True
Suppose -6 = 3*n - 21. Suppose -a + 68 = 4*g, -a + 4*a - 183 = -n*g. Suppose -60 - a = -4*d. Does 10 divide d?
False
Let r(n) = 4*n**3 - 2*n**2 - 12*n + 11. Does 17 divide r(4)?
True
Let f be (-23)/(-6) + 2/12. Suppose -r - 51 = -f*r. Is 4 a factor of r?
False
Suppose -8*y - 108 = -12*y. Is y a multiple of 8?
False
Let v(r) = -r**3 - 9*r**2 - r - 11. Let g be v(-9). Is 7 a factor of (-18)/(-2) + (g - 0)?
True
Suppose -4*h - 4*j = -4, -1 = -4*h + 5*j - 10*j. Let s = -1 + h. Does 2 divide s?
False
Let x = 27 - 7. Let g = x + -8. Is g a multiple of 12?
True
Suppose -2*z = j - 5, -3*j = -3*z + 24 + 6. Let i(u) be the second derivative of u**3/3 - 5*u**2/2 + 2*u. Does 2 divide i(z)?
False
Let d(m) = 6*m**3 + m - 2. Is d(1) a multiple of 5?
True
Let z(o) = -4*o + 15. Suppose -2*b = -2*q + 34, 1 = 2*q - 3. Is 30 a factor of z(b)?
False
Suppose 4*h - 7 = v, 0 = -4*v + h + 11 + 6. Suppose -3*f + 4*f - 13 = -4*q, f + v*q = 15. Suppose 6 = -f*l + 6*l. Does 6 divide l?
True
Let f = -10 - -16. Suppose f = 2*q - q. Suppose -3*k - 108 = -q*k. Is 17 a factor of k?
False
Let r(w) be the first derivative of -w**2/2 - w + 2. Let c be r(-5). Suppose c*s - 2*s = 36. Does 8 divide s?
False
Suppose 0 = 5*j - 2*j - 3*z + 12, -5*z = 4*j - 20. Let d(g) = 3*g + 24. Does 6 divide d(j)?
True
Is 26 a factor of 22/(-77) + (-2736)/(-21)?
True
Let d(v) = v**2 + 4*v - 11. Let z be d(9). Let x = z + -64. Is 17 a factor of x?
False
Suppose -4*x + 3*k + 388 = 0, -2*k = 3*x - 20 - 271. Does 3 divide x?
False
Suppose -11 + 36 = 5*u - s, 5*u - 5*s - 25 = 0. Suppose 2*n + u*o + 14 = 34, -3*o = -n + 10. Is n a multiple of 6?
False
Let s = 47 - 23. Does 12 divide s?
True
Let f(x) = x**3 - 6*x**2 + 6*x - 5. Let v(i) = -i**2 + 4*i + 5. Let h be v(4). Let m be f(h). Suppose m = 3*d + 41 - 110. Is 7 a factor of d?
False
Let a be -4*2/(-4) - -1. Let b be 8/(-16)*(-1 - a). Suppose 0 = 4*j - 66 + b. Is 16 a factor of j?
True
Suppose 5*r = n - 133, n + 3*r - 154 = r. Is 37 a factor of n?
True
Let o(q) = q**2 - 13*q + 16. Let a(i) = 1. Let d(s) = 4*a(s) - o(s). Let m(r) = r**2 + 7*r - 10. Let z be m(-9). Does 16 divide d(z)?
False
Suppose 0 = 5*y + 4*i - 892, 5*i - 384 = -3*y + 159. Is 11 a factor of y?
True
Suppose 2*w = -5*h + 18, 0*h + 3*h - 4*w + 10 = 0. Suppose b + 3*i = 25, -89 = -3*b - h*i + 7*i. Is 14 a factor of b?
True
Let s be -2 + 0 + (-5 - -9). Suppose 8 = -s*v + 44. Does 18 divide v?
True
Suppose -4*q + 309 = x, 0 = 5*q - 0*q - 4*x - 360. Is 30 a factor of q?
False
Let v be 6/4 + (-6)/12. Is 2/(3/2 - v) even?
True
Let h(j) be the third derivative of j**6/120 + j**5/10 - 7*j**4/24 + 5*j**3/6 - 6*j**2. Is h(-6) a multiple of 11?
False
Let z(y) be the second derivative of -2*y**3 - 1/12*y**4 + 4*y - 5*y**2 + 0. Is z(-9) a multiple of 7?
False
Suppose -3*n + 2*g = -167, n + 4*g + 24 - 89 = 0. Is 14 a factor of n?
False
Let k(u) = -u**2 + 3*u + 4. Let h be k(9). Suppose -3*z + 226 = l, 4*z - l - 288 = l. Let s = h + z. Is s a multiple of 10?
False
Suppose 4*i = 5