. Suppose -2*u - a + 28 = -u, 2*u + d*a - 65 = 0. Is 25 a factor of u?
True
Suppose -3*l + 1 + 5 = 0. Let z = 13 - 8. Suppose -z*h + 24 = -2*h - l*f, 0 = -f - 3. Is 4 a factor of h?
False
Let s = 252 - 57. Is 13 a factor of s?
True
Let a(t) be the first derivative of 17*t**3/3 + t**2 + t + 1. Is 8 a factor of a(-1)?
True
Let g be (-2 - -4)*(-1)/(-2). Suppose g + 5 = -3*a. Is 5 a factor of (20/a)/(2/(-3))?
True
Let h(b) = -b**3 + 11*b**2 - 8*b - 10. Let z be h(9). Let k = -55 + z. Is 13 a factor of k?
False
Let v(x) = -3*x - 13. Let s(b) = -8*b + 2. Let u be s(-7). Suppose -4*y = -18 + u. Is v(y) a multiple of 11?
False
Suppose 7*y - 2*y = 0. Suppose 0 = -5*m - y + 110. Does 18 divide m?
False
Let y(w) = 42*w**3 + 2*w**2 - 2*w. Is 21 a factor of y(1)?
True
Is (3 - 1)*(-47)/(-2) a multiple of 11?
False
Let t be (4/6)/(8/(-12)). Let l be 7/(t + 1 - -1). Suppose -4*x + 21 + l = 0. Is 3 a factor of x?
False
Suppose 2*z - 2*p + 6 = 0, -2*p = z + 2*z - 11. Suppose 61 = 4*w + y, w - z = -6*y + y. Is 6 a factor of w?
False
Let a(w) = -16*w**3 - 1. Let t be a(-1). Suppose 3*s - t = 48. Is 21 a factor of s?
True
Suppose 5*t = 5*z + 8 + 2, t = 3*z - 8. Let o = t + -10. Let x = o + 7. Is 2 a factor of x?
True
Let x(a) = 5*a - 2. Let f be 16 + 1/(3/(-6)). Let r be (-4)/(-16) + f/8. Does 6 divide x(r)?
False
Let v = -56 + 182. Does 21 divide v?
True
Let a be (4*-1)/2 + 6. Let s = a + 0. Is s even?
True
Let r(d) = d + 6. Let v be r(-7). Let y be (-6 + 1)/(-2 - v). Suppose y*m = -z + 5, 3*m - 13 = z - 2. Is 2 a factor of m?
True
Let t be -3*1/1 - 1. Let d(v) = 2*v - 4. Let f be d(t). Is 2*2*(-15)/f even?
False
Let q be 2 - (-3)/(9/(-15)). Let g = q + 13. Does 4 divide g?
False
Let x(b) = 4*b**2 - 2*b + 3. Does 14 divide x(-3)?
False
Suppose 2*t - 49 = 3. Is 15 a factor of t?
False
Suppose -2*g - 4 = -3*g. Suppose -2*n - 13 = -n - 5*j, -5*n + 4*j = -19. Is (g/2)/(1/n) a multiple of 6?
False
Suppose i + 0 = -6. Let j(r) = -r**3 + r. Let f be j(2). Is (2*15)/(i/f) a multiple of 11?
False
Suppose 2*d = 3*d - 6. Suppose 5*t + 4*x + 13 = 0, 4*t - x = -2*x - d. Does 8 divide -3 + 2 + t + 16?
False
Suppose -2*o = 2*o - 220. Is o a multiple of 3?
False
Suppose -5*f = -26 - 34. Does 6 divide f?
True
Suppose 2*s + 6*p + 98 = 2*p, 0 = s - 4*p + 67. Let v = -3 - s. Let c = 73 - v. Is 21 a factor of c?
True
Let n = 113 + -78. Is 7 a factor of n?
True
Does 13 divide 75/1 + (-5)/((-5)/(-4))?
False
Let f = 102 + -95. Is f a multiple of 7?
True
Let a = 174 + -110. Does 19 divide a?
False
Suppose -3*o + 381 = 3*i, 2*i = -3*o + 7*i + 365. Does 9 divide o/15 - 2/(-3)?
True
Is 20 a factor of 52 + (-3)/(6/2)?
False
Does 14 divide 126*2/(-1*9/(-3))?
True
Let f(v) = -3 - 3*v**2 - 28*v + 7*v**2 + 15*v - 2*v**2. Let z = -18 - -27. Is 21 a factor of f(z)?
True
Let a be (-15)/6 + (-2)/(-4). Let u(s) = s**2 + s + 1. Let t be u(a). Suppose t*x - 9 = 0, -5*x - 152 = -5*v - 4*x. Is v a multiple of 17?
False
Let j(u) = -2*u**3 - 5*u**2 - 9*u - 12. Is j(-4) a multiple of 24?
True
Suppose j + 50 = 6*j. Is j a multiple of 5?
True
Let w = 10 + -6. Is 17 a factor of (2 - 6/w)*98?
False
Let w(v) = -v - 4. Let n be w(-6). Let y(q) = -q**3 - 4*q**2 - q + 2*q + 11*q**n. Is y(7) a multiple of 2?
False
Suppose 3*b + b = d - 44, -5*d - 2*b + 154 = 0. Let u = 74 - d. Is 14 a factor of u?
True
Suppose -274 = -2*v + 2*o, -3*o + o - 142 = -v. Suppose 3*p - 3*m - v = 0, -4*p = m - 2*m - 185. Is p a multiple of 15?
False
Let w = -4 - -6. Suppose 0 = 2*q + 2*s + w, -3*q + s = -4*s - 5. Is q + 6 + 0 + -1 even?
False
Suppose -2*p = -8, -3*r + 8*p - 4*p = 25. Let h(c) = c**3 + 5*c**2 - 3. Is 8 a factor of h(r)?
False
Let b(z) = z - 1. Let f(v) = 55*v - 77. Let h(p) = -66*b(p) + f(p). Is 18 a factor of h(-5)?
False
Suppose -2*x - 5*h = -3*x - 12, 0 = 5*x - 5*h. Suppose x*z + 2*i - 92 = 0, -5*z = -2*z + 5*i - 104. Is z a multiple of 14?
True
Let g = 38 - -5. Suppose -22 = -5*u + g. Is u a multiple of 13?
True
Let i = -4 + 30. Let m = -18 + i. Does 8 divide m?
True
Let f be (-24)/10*(-30)/4. Suppose -2*q - f = q. Does 13 divide (15 - 1) + (-7 - q)?
True
Let o(d) = 15*d**2 - 4*d - 3. Let m be o(-3). Suppose -4*z = c - 5*c + m, 3*z = -2*c + 62. Is 9 a factor of c?
False
Suppose c - 17 = -d, -5*d + 2*c + c = -61. Let q = d + 25. Does 19 divide q?
False
Let d(f) = 11*f**3 + 2*f - 2. Let t be d(2). Let j = -41 + 49. Suppose j*n - t = 3*n. Is 9 a factor of n?
True
Let j = 590 + -312. Is 23 a factor of j?
False
Let k be (-28)/(-12) + 6/(-9)*-1. Let o be 2 - (-2)/(2/2). Suppose -b = -o*i - 29, k*b - 2*i + 33 - 170 = 0. Is b a multiple of 15?
False
Does 15 divide 96/56*(-35)/(-2)?
True
Let n = -7 - -7. Suppose 2*t = -2*k + 8, -2*t + n*k + 14 = 5*k. Does 2 divide t?
True
Let c be -6*1*184/(-16). Let z = c - 30. Is z a multiple of 13?
True
Let c(d) = 3*d**2 - 15*d - 8. Let n be c(12). Let r = n + -153. Is r a multiple of 25?
False
Let i be (0/(-4))/(2 - 1). Does 2 divide 2 + (4 - (1 - i))?
False
Let o be 1*(0 + (1 - 6)). Let j = -2 - o. Suppose -41 = -5*n - 2*a + 17, j*a = -5*n + 62. Does 7 divide n?
False
Let k be (-3)/2*64/(-24). Let n(b) = b**3 - 5*b + 4. Is 12 a factor of n(k)?
True
Let c = -5 - -11. Let f be 4/c*27/3. Let k(v) = v - 3. Is 3 a factor of k(f)?
True
Let p = -35 - -18. Let u = 3 - p. Suppose 2*z - u = -5*m + 4*m, 5*m = 3*z + 87. Is 9 a factor of m?
True
Suppose -4*g = -7*g - 33. Let b = 3 - g. Is b a multiple of 5?
False
Let v = 1 - 1. Let g(w) = 2 + v*w - w + 0*w**3 - 4 + w**3. Is 11 a factor of g(3)?
True
Let l(d) = 4*d + 6. Let b be l(-3). Let s(f) = 4*f**2 + 7*f + 9. Is s(b) a multiple of 28?
False
Let v be 1/4 + (-53)/4. Let r = 27 + v. Does 10 divide r?
False
Suppose 0 = -z + 6 - 3. Suppose 5*n = -0*s + 2*s - 37, 3*n + 60 = z*s. Is s a multiple of 16?
False
Suppose q + n - 6 = 0, 4*q = -0*n + 5*n - 3. Suppose -4*t = -5*t + 4*h + 14, -t = q*h. Is t/((-1)/(9/(-2))) a multiple of 10?
False
Suppose v = 4 - 3. Is 0 + v + 0 - -26 a multiple of 6?
False
Let z(u) be the first derivative of u**4/4 - 10*u**3/3 + 5*u**2 + u - 2. Is z(9) a multiple of 10?
True
Let z = 17 + -15. Suppose -3*a = -t - a + 17, -4*t + 4*a + 64 = 0. Is (z - 10)/((-6)/t) a multiple of 8?
False
Suppose 4*o + 2*q = 18, 3*q = 4*o - o. Suppose -o*h + 3 + 3 = 0. Suppose w - 51 = -h*c - 2*c, -4*c + 31 = 5*w. Is 14 a factor of c?
True
Is 29 a factor of 176 - (-2 + 5 + -1)?
True
Suppose 8*c - 102 - 178 = 0. Does 10 divide c?
False
Suppose 3*g + 24 = -0. Let v = g - -13. Suppose -5*d = v*k - 170, d = k + 35 + 1. Is 16 a factor of d?
False
Let o be (8/(-12))/(2/72). Is (o/15)/((-3)/90) a multiple of 12?
True
Suppose l - 4 - 8 = 0. Does 6 divide l?
True
Is (-2)/10 - (-281)/5 a multiple of 14?
True
Is 30*(-18)/(-24)*2 a multiple of 9?
True
Let g = -1 - -4. Let a = g + -1. Suppose 4*h + 5*q = 39, q + 8 = -a*h + 23. Does 6 divide h?
True
Let c(b) = 4*b**2 + 4*b + 8. Is c(-5) a multiple of 11?
True
Suppose 2*b + 3*t + 6 = 0, 3*b = -t - 0 + 5. Let f(n) = 0*n**2 + 5 - 3*n - n**b - 2*n**2 + 8*n**2. Does 10 divide f(5)?
False
Let p(y) = -y**3 - 3*y**2 - 4. Let l(q) = -4*q**3 - 11*q**2 - 16. Let f(k) = 2*l(k) - 9*p(k). Does 18 divide f(-4)?
False
Suppose 0 = -2*y + 4*y. Is 14 a factor of -2 + 27 + -3 + y?
False
Suppose -3*y = -0 - 6. Suppose y*k = 3 + 1. Suppose -2*t - 3*j = -0*j - 27, 0 = -k*j - 6. Does 11 divide t?
False
Suppose -2*a + 6*a + 112 = 0. Let w = 40 + a. Is w a multiple of 3?
True
Let v(m) = -m**2 + 8*m + 7. Let z be v(8). Suppose o - 15 = -3*j, -z*o + 75 = -2*o - 5*j. Does 15 divide o?
True
Let l(r) = 2*r + 20. Let o(a) = a**3 + 2*a**2 - 3*a - 3. Let i be o(-2). Let q(x) = x + 20. Let p(v) = i*q(v) - 2*l(v). Is 10 a factor of p(0)?
True
Let d(l) = -l**3 + 6*l**2 - 5*l. Let n be d(5). Suppose 2*o - 5*o + 63 = 2*v, n = -4*o - 2*v + 86. Does 23 divide o?
True
Suppose -4*k + 5*k = -5*z + 54, 5*z = -4*k + 51. Is 7 a factor of z?
False
Suppose 4*i - 4*l = 2*i - 8, 0 = -i + 5*l - 13. Let z be -2*-5*2/4. Is (-304)/(-10) - i/z a multiple of 15?
True
Let v = 25 - 62. Let m = -21 - v. Is m a multiple of 16?
True
Let u(b) = -3*b + 5 + 5*b**2 + 11*b + b**3 - 4*b. Does 3 divide u(-3)?
False
Let p = -108 + 192. Is 7 a factor of p/10*(-55)/(-22)?
True
Suppose -u + 0*u - 5*j = -41, 3*u - 123 = 4*j. Let m = u + -29. Does 9 divide m?
False
Suppose -4*z = z - 2