) = 4*i**3 - 4*i**2 - 4*i - 1. Let s(d) = 5*a(d) + 3*o(d). Is 6 a factor of s(5)?
False
Suppose 26 = 5*k - 2*v, v = -3*k + 9 - 0. Is 6 a factor of (k - 2) + 4/1?
True
Suppose 3*r = 2*y - 682 - 176, 1732 = 4*y - 2*r. Is y/9 - (-2)/(-6) a multiple of 16?
True
Let r = 58 - -16. Is r a multiple of 33?
False
Let n = -10 - -15. Suppose 0 = 2*p - n*p + 42. Is 14 a factor of p?
True
Suppose 10 = 4*t - 6*t. Let r(h) = 4*h**3 + 2*h**2 - 3*h + 3. Let s(w) = 5*w**3 + w**2 - 3*w + 3. Let z(u) = t*s(u) + 6*r(u). Does 14 divide z(3)?
False
Does 3 divide 18/(-4)*18/(-27)?
True
Let s(d) = -73*d - 3. Does 14 divide s(-1)?
True
Let u(r) = -2*r + 2. Let w be u(4). Let d(l) = -l**2 - 5*l + 7. Let s be d(w). Does 14 divide -111*s/(2 - 5)?
False
Let o(l) = l**2 - l + 7. Let k be o(0). Is 153/21 - 2/k a multiple of 5?
False
Let d be 1/(((-15)/(-96))/5). Suppose -92 = -3*y - 0*g - 4*g, -y + d = g. Is y a multiple of 8?
False
Let l = 9 + -5. Let j = l + -1. Suppose -z = 3*w + 2*z - 21, -5*w = j*z - 27. Is w a multiple of 3?
True
Suppose -4 = 2*k - 0, -95 = -o - 5*k. Is o a multiple of 15?
True
Let w(t) = -9*t - 5. Let f be -2 + -1 + (-8)/4. Is 23 a factor of w(f)?
False
Suppose o = 4*o - 594. Does 22 divide o?
True
Let n = 28 - 14. Is n a multiple of 3?
False
Let c be -3 + (-1 - -1 - -12). Let o = c + 19. Is 11 a factor of o?
False
Let q be 18/5 + 2/5. Let z be (2/q)/(2/48). Let y = z + -4. Is 4 a factor of y?
True
Let l be (-2)/4*(-4 + -2). Suppose -2*r = l*r - 35. Is r a multiple of 2?
False
Suppose -1056 = -6*m - 0*m. Is 16 a factor of m?
True
Suppose 0 = 5*w - f - 2317, 5*w - 2*f = -0*f + 2314. Is 14 a factor of w?
False
Let w(b) be the second derivative of b**4/3 + b**3/6 - 2*b. Let d be w(1). Suppose -k - 3*v + 20 = 0, -5*k - d*v = -4*v - 44. Is k a multiple of 4?
True
Suppose 0 = 13*n - 14*n + 62. Does 18 divide n?
False
Let z = 63 - 20. Does 14 divide z?
False
Let h be -5*((-16)/10 + 1). Suppose -5*z + 25 = 0, -h*k + z = -3*z + 8. Suppose -c + 50 = k*c. Is 5 a factor of c?
True
Does 7 divide 4*1*4 - 192/(-48)?
False
Let k be 190/15*3/2. Suppose 8 - k = -j. Is 3 a factor of j?
False
Let c = -18 + 9. Is 51*((-3)/c)/1 a multiple of 6?
False
Let r be (2 - (0 + -191)) + 1. Suppose -a = 5*m - r, -2*a - 2*a + 35 = m. Suppose -4*d = -4 - 8, 0 = -2*u - 5*d + m. Is 6 a factor of u?
True
Let d = 91 - 48. Is d a multiple of 9?
False
Does 4 divide -22*(20/(-8) + 2)?
False
Let r = 120 + -52. Does 12 divide r?
False
Let i be 9 - (-3 + 0/1). Is 2 a factor of 44/i + (-1)/(-3)?
True
Suppose 5*a + 4*g = 382, -65 - 99 = -2*a + 4*g. Is a a multiple of 17?
False
Let m be (-2 - -1 - -2) + 7. Suppose -h - h + m = 0. Suppose -h*o + 0*o = -52. Is o a multiple of 7?
False
Suppose 2*w + z - 78 = 5*z, -180 = -5*w + 5*z. Is 13 a factor of w?
False
Let p be ((-46)/3)/(2/3). Let q = -8 - p. Does 5 divide q?
True
Let b = 4 + -2. Does 9 divide b + -1 + 1 + 10?
False
Let c be -3 + 8 - (0 - 0). Suppose 0 = 4*r - q - 19, 8 + 27 = 5*r - c*q. Is 2 a factor of 3/((r - 2) + -1)?
False
Let x(v) = -v**2 - 6*v - 1. Let n be x(-5). Suppose n*i = -i - 5*k + 65, 3*k = 3. Does 6 divide i?
True
Let n = 9 - 4. Let x(a) = 7*a + 1. Let i be x(2). Suppose -2*q - i = -n*q. Is q even?
False
Let m = 20 - 15. Suppose 97 = 2*q + m*f, 0 = 3*q + 2*f - 4 - 125. Does 14 divide q?
False
Suppose -3*d + 532 = 4*v, -v + 532 = 3*v + 2*d. Suppose 2*j = v - 37. Does 11 divide j?
False
Let y be 0/(-2 - -3 - 0). Suppose -2*h + 7 = -y*g - g, -2*g + h = 5. Does 14 divide g/(-1*2/46)?
False
Let s be (4/(-3))/(-2)*-3. Let m be 1/((-3)/12*s). Is 14 a factor of -34*1*(1 - m)?
False
Let o = 55 + -13. Does 7 divide o?
True
Let f be 1/2 - 3/(-2). Suppose f*w = -17 + 61. Is w a multiple of 11?
True
Suppose -18*x + 26*x = 208. Is 4 a factor of x?
False
Suppose -2*a - 16 = -5*k + a, 4*a = 4*k - 16. Suppose 18 = -k*u + 3*z + 52, 0 = -2*u + 2*z + 30. Is 9 a factor of u?
False
Let b be ((-2)/(-6))/(2/(-6)). Does 17 divide (38 - 5) + (-1 - b)?
False
Let j(v) be the second derivative of -v**3/6 + 3*v**2/2 + v. Let b be j(3). Suppose b = 4*n + n - 140. Is n a multiple of 14?
True
Let h = -2 - -4. Suppose w = h*w - 8. Suppose w*r - 110 = 3*r. Is 11 a factor of r?
True
Suppose 2*l = -4*h + 52, 5*l - 94 = h - 2*h. Let q = -25 + l. Let r(n) = -4*n + 8. Does 21 divide r(q)?
False
Let c = -37 + 135. Is 24 a factor of c?
False
Let k = 10 - 0. Is (k + 1)*1 - 4 a multiple of 2?
False
Let a(s) = -s + 8. Is 5 a factor of a(-22)?
True
Suppose 0 = 5*k + 2*g - 761, -3*g + 14 = k - 146. Let h = k + -97. Let r = h - 32. Is r a multiple of 14?
False
Suppose -5*z = 20, -2*l - 36 = -6*l + 4*z. Suppose 5*f = -0*f - 3*d + 98, 2*f = l*d + 64. Is 22 a factor of f?
True
Let q = 55 + 1. Does 8 divide q?
True
Suppose 2*m + 3 = 11. Suppose m*z = z + 192. Is z a multiple of 17?
False
Let s be 9*((-2)/6)/(-1). Suppose 2*r + 5*x = 111, -5*x + 315 = s*r + 2*r. Suppose 4*j - r = -0*j. Is 9 a factor of j?
False
Let v(u) = -u**2 - 3*u + 1. Let p(w) = w + 3. Let b be p(-6). Let y be v(b). Suppose y = -a + 36. Does 12 divide a?
False
Let b(t) = -t**2 + 4*t + 5. Let j be b(5). Suppose 11 = -2*p + 3, -3*n - 5*p - 8 = j. Suppose -n*m = -5*m + 38. Does 19 divide m?
True
Suppose -4*c + 2*z + 8 = 0, c - 4*z - 16 = -0*c. Suppose -4*u + 24 = 2*f - 34, -4*u - 20 = c. Is 8 a factor of f?
False
Suppose 2*z - 12 = 5*z, 3 = -5*o - 2*z. Does 14 divide -12*(o + 22/(-4))?
False
Let u(c) = c + 7. Let d be u(-8). Let p be (-2)/1*7/d. Suppose -2*w + 18 = -3*m, -2*w - 4*m = m + p. Is 2 a factor of w?
False
Let c(n) = 0*n**2 + n + 6 + 6*n + 2*n**2. Let j(y) = -2*y**3 + 5*y**2 - 3*y - 2. Let a be j(2). Is c(a) a multiple of 6?
False
Let p = -21 - -18. Does 23 divide (p/(-6) + -1)*-138?
True
Let i = 85 - 80. Does 5 divide i?
True
Let w(q) = -q**3 + q**2 - 1. Let z = -4 + 6. Let y be w(z). Is 6 a factor of (-60)/8*4/y?
True
Let m = 13 - -5. Let j be ((-10)/(-3))/(-5)*m. Is 12 a factor of (-285)/j + (-2)/(-8)?
True
Suppose 0 = -12*y + 4*y + 448. Does 26 divide y?
False
Is (-90)/12*(-2 + 0) - 0 a multiple of 4?
False
Let q(i) = -i**2 + 11*i + 7. Suppose 5*k - 4*n - 26 = 24, 4*k + 2*n = 40. Is 6 a factor of q(k)?
False
Let o = 1 + 4. Let u = o + 19. Suppose 3*c = c + u. Is c a multiple of 6?
True
Suppose 4*o = -62 + 166. Suppose -3*s - 3*z - 14 = 22, s - z = -16. Let g = s + o. Does 11 divide g?
False
Suppose -3*l = -7*l. Is 2 a factor of 0 - (l + 3 + -10)?
False
Let k be 74/12 + (-1)/6. Let l(o) = -3*o - k + 2*o - 4*o + 2*o. Is 10 a factor of l(-11)?
False
Suppose -2*x - 23 = -7. Let l(t) = 5*t**3 - 9*t**2 - 6*t - 20. Let j(c) = 3*c**3 - 4*c**2 - 3*c - 10. Let f(h) = -7*j(h) + 4*l(h). Is 4 a factor of f(x)?
False
Suppose -70 - 113 = -3*z. Is 8 a factor of z?
False
Let o = -6 - -13. Let v be 4/2 + -4 - -10. Is 4 a factor of 4/v - o/(-2)?
True
Suppose -4*a = a. Suppose 0 = -o - 4*h + 2*h - 4, a = o - 5*h - 31. Is 24 a factor of (0 - -4)/(1/o)?
True
Let y(u) = 2*u + 5. Let f be y(-4). Let v(j) = -4*j**3 + 4*j**2 + 2*j + 1. Let g be v(f). Suppose -g = -5*w - 9. Does 13 divide w?
True
Let a(d) = 34*d**2 + 2*d + 1. Is 11 a factor of a(-1)?
True
Is (-13)/(-65) - (-138)/10 a multiple of 3?
False
Suppose -s + 43 = -3*u + 1, -2*s + 48 = 3*u. Is s a multiple of 8?
False
Let g = 46 + -29. Let a = -12 + g. Suppose -y + a*l = 2, y = -l + 5 + 5. Is 6 a factor of y?
False
Let i(p) = -p + 14. Let c(y) = -y + 28. Let j(b) = 6*c(b) - 11*i(b). Is 22 a factor of j(6)?
True
Let g = 24 + -7. Is g a multiple of 7?
False
Suppose -3*g + 0*c - 4*c - 2 = 0, -5*g + 20 = 2*c. Is 21 a factor of (-1)/g + 313/6?
False
Suppose 0 = -t - 3*t - 8, 0 = 4*v + 2*t - 876. Is 20 a factor of v?
True
Let l = 3 - 1. Suppose 3*t + 1 = l*t. Does 18 divide (-17 - 1)*t - -1?
False
Suppose 2*c + 0*c = 0. Suppose z - 3*t - 17 = c, t = 2*z - 9 - 0. Suppose -z*g = 4 - 42. Is g a multiple of 19?
True
Let u(s) = s**2 + s - 7. Let t(n) = -6*n**3 + n**2 - 1. Let p be t(1). Is u(p) a multiple of 9?
False
Let d be (0/(-2))/(16/8). Suppose 2*o - 7 - 3 = d. Suppose -2*z + 35 = 3*v - 22, -o*v = -2*z - 111. Is 8 a factor of v?
False
Let x(j) = -4*j**3 + j**2 - 2*j + 1. Let r(f) = 23*f**3 - 6*f**2 + 11*f - 6. Let h(m) = 6*r(m) + 34*x(m). Is h(3) a multiple of 9?
False
Let f be (-4 + 5)*(-3)/(-1). Let v = f - 1. Suppose -b - 18 = -3*b - v*t, -3*b + 27 = -t. Is 9 a fac