3*w**2 - w + 1. Let i be h(1). Let r = 21 - i. Is 5 a factor of (-1)/(-2) + 92/r?
False
Let k(m) = -9*m. Let i be k(-2). Suppose 0*f - i = -2*f. Does 8 divide f?
False
Let n(l) = -l**3 - 13*l**2 - 8*l + 12. Let i be n(-12). Let t = i - -75. Does 11 divide t?
False
Is 2 + 666/(11 - 5) a multiple of 16?
False
Let a = 4 + 0. Suppose -a*b - 55 = 49. Let q = b + 44. Is q a multiple of 18?
True
Let u = 7 + -1. Let s = u - 6. Suppose s*h - 30 = -2*h. Is h a multiple of 13?
False
Suppose -354 = -5*z + 446. Suppose -z = -10*d + 5*d. Does 16 divide d?
True
Let j(z) be the third derivative of -z**5/60 + z**4/24 + z**3/3 + 2*z**2. Let i be j(0). Is 9/(-6)*-1*i even?
False
Suppose -2*c - 2*c + 480 = 0. Suppose c = 12*r - 8*r. Is 18 a factor of r?
False
Let z(p) be the second derivative of -p**4/12 - 4*p**3/3 - p**2 - 3*p. Is z(-6) a multiple of 4?
False
Let i be 58/8 - (-6)/8. Let o be (-212)/(-14) + (-7)/49. Does 10 divide o/12*(i + 0)?
True
Let g(a) = 43*a**2 - a + 4. Is g(2) a multiple of 9?
False
Let h(b) = b**2 - 11*b - 8. Is 18 a factor of h(13)?
True
Suppose 2*l - 104 = 4. Suppose 5*y - 63 - 27 = -5*b, b = 3*y - l. Is 9 a factor of y?
True
Let q(n) = 3*n**2 + 2*n + 4. Is q(-4) a multiple of 10?
False
Is ((-10)/(-3))/5 + 22/3 a multiple of 8?
True
Let c(b) = 2*b**2 + 1. Let k be c(1). Suppose -5*a + h - 26 = 0, -4*h - 24 = 5*a - k*h. Does 16 divide 18 + (a - -3) + 0?
True
Let q(o) = o**2 + 5*o + 4. Let u be q(-5). Suppose -15 - 23 = -u*r + 2*k, 0 = 2*r - 4*k - 34. Is r a multiple of 6?
False
Does 15 divide (-1 + (-6)/(-10))/(5/(-750))?
True
Suppose -2*k + 29 = -k - 4*h, 5*h = 4*k - 171. Let w = k + -34. Let o = 2 + w. Does 7 divide o?
False
Let p be 3 + 3 + (-1 - -29). Let g = 88 - p. Is 14 a factor of g?
False
Let f(g) = -g**3 + 9*g**2 - 2*g - 3. Is 19 a factor of f(7)?
False
Let x = 4 - 3. Let l be (42 - 3)*(x - 0). Suppose -25 = -2*g + l. Is g a multiple of 16?
True
Let v(k) = k**2 - k. Let q(h) = -11 - 2*h - 5*h**2 + 11. Let a(d) = -q(d) + 2*v(d). Does 5 divide a(-1)?
False
Let z be (4/12)/(1/9). Let w be z*(2 + -9)*-3. Suppose -c - 2*c = -w. Is 12 a factor of c?
False
Is (-920)/(-14) + (-2)/(-7) a multiple of 33?
True
Let g be (34 - 1)/((-6)/220). Does 12 divide g/(-33) + (-4)/6?
True
Let q be -2*(2 + -1) + 47. Suppose 3*r - 3*x - q = -6*x, 0 = -3*x. Does 10 divide r?
False
Let l(u) = -u**3 + 10*u**2 + 12*u + 18. Does 20 divide l(10)?
False
Let b(v) = -v**3 + v**2 + 2*v - 1. Let r be b(1). Let p be r/(6/7 - 1). Let f(q) = q**2 + 6*q + 3. Does 8 divide f(p)?
False
Let f = -6 + 10. Suppose 0 = 3*u + f*j - 23, -j + 12 = u + u. Let i = 9 - u. Is i even?
True
Let z be (-3)/3 + 117 + 3. Let p = z - 66. Does 14 divide p?
False
Suppose -360 = 5*g - 10*g. Is g a multiple of 12?
True
Suppose 5*x - t = 269, 0 = 5*x + t - 420 + 159. Let f = x - 31. Does 22 divide f?
True
Let t be -1 - -2 - 6/6. Suppose 4*b + t - 12 = -2*y, -b = 5*y - 48. Does 5 divide y?
True
Suppose 7*a = 122 + 578. Is a a multiple of 20?
True
Let n(v) = -v**3 + 11*v**2 - 12. Let c be n(11). Let x = c - -32. Is 10 a factor of x?
True
Suppose -5*h + 2*x + 78 = 0, 0 = -5*h + x - 4*x + 58. Is h a multiple of 7?
True
Suppose 5*s = 4*s + 5, 3*s - 205 = -5*w. Suppose y = -f + 13, 2*f + 9 + 21 = 2*y. Let z = w - y. Is z a multiple of 8?
True
Let f = 1 + 0. Let b = f + 3. Is (2*b)/((-2)/(-7)) a multiple of 13?
False
Does 33 divide ((-6)/9)/((-6)/963)?
False
Let j be ((-4)/(-6))/(20/450). Let a = 8 + j. Does 5 divide a?
False
Let y(s) = 11*s**3 + 18*s**2 + 23*s - 2. Let t(d) = 7*d**3 + 12*d**2 + 15*d - 1. Let f(c) = 8*t(c) - 5*y(c). Let w be (-16)/(-6)*(-3)/2. Is 8 a factor of f(w)?
False
Suppose -2*v - 3*s + 18 = -v, 28 = 4*v + s. Let c(m) = m**2 + 2*m + 5. Let z be c(-3). Suppose -p - v = -q + p, z = 2*q - 2*p. Is q a multiple of 2?
True
Let z(u) = -9*u + 11. Let t(i) = 3*i - 4. Let s(d) = -8*t(d) - 3*z(d). Does 17 divide s(6)?
True
Suppose 12*x - 22 = 10*x. Let n(p) = p**3 - 11*p**2 + 4*p. Does 22 divide n(x)?
True
Let i(x) = 40*x + 7. Does 8 divide i(2)?
False
Suppose -23 = 2*n - 3*u, 3*n - 3*u + 63 = 24. Does 7 divide (84/n)/(3/(-8))?
True
Is 20 + -6 - (-3 + 1) a multiple of 8?
True
Let r(f) = f**2 - 4. Let m be r(-3). Suppose -4*u - 1 = n, -4*n = -u + 7 - 3. Suppose -o + 3*w + 16 = w, u = -m*w + 20. Does 8 divide o?
True
Let r(z) = -z**3 + 8*z**2 - 2*z - 5. Suppose -4*x + 3*x = -5. Let u be r(x). Let d = -34 + u. Is 13 a factor of d?
True
Suppose 15*o = 18*o - 273. Is o a multiple of 9?
False
Let p be (-6)/4 + 1/2. Let y(l) = 64*l**2 + l. Is y(p) a multiple of 22?
False
Suppose -3*v - 5*x = -x - 6, -6 = -3*v + x. Suppose v*k - 3 = 3*j, 3*k - 12 = -0*k - 3*j. Suppose k*n = -2*n + 160. Does 21 divide n?
False
Let i(a) = 5*a**2 - 2*a + 1. Let f be i(-2). Let o = -9 + f. Is 8 a factor of o?
True
Let y = -58 - -5. Suppose -6*j - 5*n = -2*j + 115, j - 2*n + 32 = 0. Let h = j - y. Is 23 a factor of h?
True
Suppose -4*j + 2*i = -0*j - 262, -3*j + 3*i + 198 = 0. Suppose -k = -3*k + 4*d + 36, 5*k = 5*d + j. Does 4 divide k?
True
Does 37 divide 1068/18*(-6)/(-4)?
False
Does 6 divide (90/(-4))/(9/(-12))?
True
Suppose 10 = r - a - 6, -2*a = 5*r - 80. Does 9 divide r?
False
Let y(m) = -2*m**2 - 3*m + 3. Let z be y(2). Let u(v) = 13*v**2 - 7*v - 29. Let o(a) = -7*a**2 + 3*a + 15. Let p(t) = z*o(t) - 6*u(t). Is p(8) a multiple of 8?
False
Let d = -7 + 17. Let f(p) = -p**3 + 10*p**2 + 3*p - 12. Is 12 a factor of f(d)?
False
Let r = -3 + 8. Let f = 21 - -70. Suppose -r*o = -w - 89, 5*o = w - 2*w + f. Is o a multiple of 8?
False
Let q be 10 + (-4 - -3) - -2. Let i(x) = x**3 - 11*x**2 + 2*x + 2. Is 12 a factor of i(q)?
True
Let g be (8/(-5))/(2/30). Let t = g + 4. Let l = -5 - t. Does 7 divide l?
False
Let g(d) = d**2 - 5*d. Let a be g(4). Let c = -37 - -62. Let n = c + a. Is 16 a factor of n?
False
Let k = 9 + -5. Suppose -26 = -l + a, k*a + 0*a + 76 = 3*l. Does 14 divide l?
True
Let j = 1 - -2. Is 11*(1 - (-3)/j) a multiple of 11?
True
Suppose -5*a = q + 7, 3*q - 6*a + a = 19. Suppose 0 = 2*i - 9 + q. Suppose 0 = -3*m - m + 3*u + 133, 0 = i*m - 4*u - 98. Is 21 a factor of m?
False
Let r = -89 + 137. Is 25 a factor of r?
False
Suppose 2*n = -2*n + 108. Does 7 divide n?
False
Let j = 0 + -1. Is 3 a factor of (3/(-4))/(j/4)?
True
Let v(c) = -8*c - 33. Is v(-7) a multiple of 3?
False
Let y = 10 - 4. Suppose -3*v + 42 = -y. Does 9 divide v?
False
Let l(v) = 24*v**3 + v + 1. Let r be l(-3). Let b be r/(-4)*32/20. Suppose 66 = s + 3*o - 0*o, 5*s + o - b = 0. Is s a multiple of 20?
False
Suppose w = 4*g + 24, 3 = 5*g - 2. Is 14 a factor of w?
True
Let x = 318 + -150. Suppose 2*i = -2*i + x. Does 14 divide i?
True
Let y = -3 - -5. Let c(l) = -l + 2. Let t be c(y). Does 3 divide (-2)/(-1) + (t - -1)?
True
Let y be -1 - (-78 + -1 + 1). Suppose 5*r - 3*b - y = 0, -3 = -4*r + b + 60. Is r a multiple of 8?
True
Let q = 20 - -5. Is q a multiple of 25?
True
Suppose 0 = 3*y - 9. Is y a multiple of 3?
True
Suppose 4*j + 124 = 6*j. Does 13 divide j?
False
Is 11 a factor of ((-24)/(-10))/(-12*(-2)/1760)?
True
Suppose 0*s = 2*s - 5*d - 89, 5*s + 5*d - 170 = 0. Is 11 a factor of s?
False
Suppose 4*n = r + 4*r + 1828, -r - 2306 = -5*n. Is n a multiple of 13?
False
Let h(w) = 6*w**2 - 31*w + 3. Does 2 divide h(6)?
False
Let n(q) = -106*q - 3. Let d be n(-2). Suppose -4*w - w = -25. Suppose 73 = -3*g - 4*k + d, 83 = 2*g - w*k. Is g a multiple of 15?
False
Suppose -22 = -v - v. Let g(r) = r**3 - 7*r**2 - 3*r - 3. Let u be g(8). Suppose 4*f = u + v. Is f a multiple of 12?
True
Let w = 13 + -6. Let y(i) = -i**3 + 6*i**2 - 4*i - 1. Let z be y(3). Does 13 divide (-4)/z + 317/w?
False
Suppose 3*k - 4*t = -k + 32, 2*t + 8 = 0. Suppose k*y = 3*x + 2*x - 10, -5*y - 2 = -x. Suppose y = -2*f + 3*f - 22. Does 22 divide f?
True
Suppose -17*b + 117 = -104. Is 5 a factor of b?
False
Suppose 3*u + 0*u = 198. Is 21 a factor of u?
False
Let u(g) = g - 3. Let k be u(4). Is (-1 - k)/((-2)/5) a multiple of 2?
False
Suppose 2*c + 0*c = 4. Suppose 2 - 10 = -4*r. Suppose c*v - 16 = -r*v. Is v even?
True
Suppose 3*n - 2*h - 158 = 0, -230 = -3*n - 2*n - 5*h. Is n a multiple of 15?
False
Let b(s) = s**2 - 12*s + 2. Let y be b(12). Does 20 divide 4/y - (9 - 47)?
True
Suppose 6*r = r + 60. Is r a multiple of 4?
True
Suppose -19*d + 2396 + 1366 = 0. Is 24 a f